BaseTraceRefinementCounterexample¶

public class BaseTraceRefinementCounterexample extends RefinementCounterexample ¶

Constructors¶

BaseTraceRefinementCounterexample¶

protected BaseTraceRefinementCounterexample(APIClient client)¶: Internal constructor

Methods¶

errorEvent¶

public io.cocotec.coco.platform.coco.Event errorEvent()¶

fromProtobuf¶

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

specPermitsFunctionCalls¶

public boolean specPermitsFunctionCalls()¶

specPermittedEvents¶

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