BaseMissingSignalCounterexample¶

public class BaseMissingSignalCounterexample extends RefinementCounterexample ¶

Constructors¶

BaseMissingSignalCounterexample¶

protected BaseMissingSignalCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static BaseMissingSignalCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)¶: Internal constructor

specExpectedSignals¶

public java.util.ArrayList<io.cocotec.coco.platform.coco.Event> specExpectedSignals()¶