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.coco.platform.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.coco.platform.coco.BehaviouralInstance> leafInstances()¶

states¶

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

toString¶

public String toString()¶

topLevelInstances¶

public java.util.ArrayList<io.cocotec.coco.platform.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.