Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

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()¶