RefinementCounterexample¶

public class RefinementCounterexample extends BehaviourComparisonCounterexample ¶

Constructors¶

RefinementCounterexample¶

protected RefinementCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

implementationInstance¶

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

specificationInstance¶

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