Skip to main content

inline_submachines

Function inline_submachines 

Source
pub fn inline_submachines(
    node: &StateNode,
    registry: &HashMap<String, StateNode>,
    stack: &HashSet<String>,
) -> Result<StateNode, Vec<LoadError>>
Expand description

Inline submachine: references into a nested state tree (SPEC §5.6.1).

A state with submachine: <id> becomes a composite whose single child (named <id>) is the referenced definition’s top (recursively inlined), marked as an esv-scope boundary and carrying the with: seeding. registry maps definition id -> its raw top. Returns errors for unknown or cyclic references.