BehaviouralInstance¶

public class BehaviouralInstance extends StructuredValue ¶

Constructors¶

BehaviouralInstance¶

protected BehaviouralInstance(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static BehaviouralInstance fromProtobuf(APIClient client, Out.CocoValue inputValue)¶: Internal constructor

hasStateMachine¶

public boolean hasStateMachine()¶: Does this have a state machine?

instanceOf¶

public io.cocotec.coco.platform.coco.Node instanceOf()¶: The node that this is an instance of.

isComponentInstance¶

public boolean isComponentInstance()¶: Is this an instance of a component?

isPortInstance¶

public boolean isPortInstance()¶: Is this an instance of a port?

name¶

public String name()¶: The name of this instance.

topLevelInstance¶

public io.cocotec.coco.platform.coco.BehaviouralInstance topLevelInstance()¶: The instance of Counterexample::top_level_instances() that owns this.