PropertyCounterexample¶

public class PropertyCounterexample extends BehaviourCounterexample ¶

Constructors¶

PropertyCounterexample¶

protected PropertyCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

topLevelInstance¶

public io.cocotec.coco.platform.coco.BehaviouralInstance topLevelInstance()¶