Note

You are not reading the most recent version of this documentation.

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