Note

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

Behaviour¶

public class Behaviour¶

Fields¶

client¶

protected final APIClient client¶

handle¶

protected long handle¶

Constructors¶

Behaviour¶

protected Behaviour(APIClient client)¶: Internal constructor

Methods¶

events¶

public java.util.ArrayList<io.cocotec.popili.coco.Event> events()¶

fromProtobuf¶

public static Behaviour fromProtobuf(APIClient client, Out.CocoBehaviour inputValue)¶: Internal constructor

getHandle¶

public final long getHandle()¶

hasTrailingEvent¶

public boolean hasTrailingEvent()¶

leafInstances¶

public java.util.ArrayList<io.cocotec.popili.coco.BehaviouralInstance> leafInstances()¶

states¶

public java.util.ArrayList<io.cocotec.popili.coco.InstanceNetworkState> states()¶

toString¶

public String toString()¶

topLevelInstances¶

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