Counterexample¶

public class Counterexample¶

Fields¶

client¶

protected final APIClient client¶

handle¶

protected long handle¶

Constructors¶

Counterexample¶

protected Counterexample(APIClient client)¶: Internal constructor

Methods¶

errorToString¶

public String errorToString()¶: Returns just a description of the error as a string, without printing the trace of how the error was reached.

fromProtobuf¶

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

getHandle¶

public final long getHandle()¶

getIsWarning¶

public final boolean getIsWarning()¶: Indicates this counterexample is just a warning, rather than an error.

getKind¶

public final io.cocotec.coco.platform.coco.Kind getKind()¶

getLeafInstances¶

public final java.util.ArrayList<io.cocotec.coco.platform.coco.BehaviouralInstance> getLeafInstances()¶

getTopLevelInstances¶

public final java.util.ArrayList<io.cocotec.coco.platform.coco.Value> getTopLevelInstances()¶: The top-level instances that are active in this counterexample. Each behavioural instance may consist of several other instances.

title¶

public String title()¶: Returns a human-readable title for this counterexample.

toString¶

public String toString()¶