IllegalCounterexample¶

public class IllegalCounterexample extends PropertyCounterexample ¶: A counterexample where an illegal function is called on a required port.

Constructors¶

IllegalCounterexample¶

protected IllegalCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

handler¶

public io.cocotec.coco.platform.coco.Node handler()¶: The handler that determined that this event was illegal.