IllegalFunctionCallCounterexample¶

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

Constructors¶

IllegalFunctionCallCounterexample¶

protected IllegalFunctionCallCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

portInstance¶

public io.cocotec.coco.platform.coco.BehaviouralInstance portInstance()¶: The required port instance that emitted the exception