StateDiagram¶

public class StateDiagram¶: Represents a state machine diagram.

Constructors¶

StateDiagram¶

protected StateDiagram(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static StateDiagram fromProtobuf(APIClient client, Out.CocoStateDiagram inputValue)¶: Internal constructor

getDotDiagram¶

public final String getDotDiagram()¶: Get a textual ‘dot’ representation of the state diagram.

getElements¶

public final java.util.ArrayList<java.util.ArrayList<io.cocotec.coco.platform.coco.Node>> getElements()¶: Get mapping of dot/SVG graph element IDs to lists of AST Nodes they represent. A single dot graph element can represent multiple AST Nodes, for instance one edge can represent multiple transitions. The indexes in the vector are dot/SVG element IDs.

getHighlightGroups¶

public final java.util.ArrayList<java.util.ArrayList<Integer>> getHighlightGroups()¶: Get a vector of of “highlight groups”, which are groups of IDs of elements to highlight if element “i” is focused/hovered on, where “i” is an index into the vector.