as2fm.jani_generator.scxml_helpers.scxml_to_jani.convert_scxml_root_to_jani_automaton

as2fm.jani_generator.scxml_helpers.scxml_to_jani.convert_scxml_root_to_jani_automaton(scxml_root: ScxmlRoot, jani_automaton: JaniAutomaton, events_holder: EventsHolder, max_array_size: int) → None

Convert an SCXML element to a Jani automaton.

Parameters:

• element – The SCXML element to convert (Must be the root scxml tag of the file).

• jani_automaton – The Jani automaton to write the converted element to.

• events_holder – The holder for the events to be implemented as Jani syncs.

• max_array_size – The max size of the arrays in the model.