saealib.core.ComponentGraph

class saealib.core.ComponentGraph(*, nodes, data_edges=(), control_edges=(), state_bindings=(), entry_points=())

Bases: object

A self-contained graph and its declared entry points.

Parameters:

• nodes (tuple[ComponentNode, ...])

• data_edges (tuple[DataEdge, ...])

• control_edges (tuple[ControlEdge, ...])

• state_bindings (tuple[StateBinding, ...])

• entry_points (tuple[NodeRef, ...])

Methods

__init__
node_by_id	Return the first node with the requested component ID.
well_formedness	Collect structural and graph-level diagnostics without raising.

Method Details

ComponentGraph.__init__(*, nodes, data_edges=(), control_edges=(), state_bindings=(), entry_points=())

Parameters:

• nodes (tuple[ComponentNode, ...])

• data_edges (tuple[DataEdge, ...])

• control_edges (tuple[ControlEdge, ...])

• state_bindings (tuple[StateBinding, ...])

• entry_points (tuple[NodeRef, ...])

Return type:

None

ComponentGraph.node_by_id(component_id)

Return the first node with the requested component ID.

Parameters:

component_id (str)

Return type:

ComponentNode

ComponentGraph.well_formedness()

Collect structural and graph-level diagnostics without raising.

Return type:

DiagnosticBag