as2fm.jani_generator.main.main_scxml_to_jani

as2fm.jani_generator.main.main_scxml_to_jani(_args: Sequence[str] | None = None) → None

Main function for the SCXML to JANI conversion.

Module containing the main entry points, pulling all necessary files together. convince.jani BT.xml plugin.scxml node1.scxml => main_scxml_to_jani => main.jani node2.scxml / env.scxml /

Parameters:

args – The arguments to parse. If None, sys.argv is used.

Returns:

None