IllegalSignalCounterexample

public class IllegalSignalCounterexample extends IllegalCounterexample

Indicates that a signal can be received by the component at a point it cannot handle it.

Constructors

IllegalSignalCounterexample

protected IllegalSignalCounterexample(APIClient client)

Internal constructor

Methods

componentInstance

public io.cocotec.coco.platform.coco.BehaviouralInstance componentInstance()

The instance that emitted the exception

fromProtobuf

public static IllegalSignalCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)

Internal constructor