as2fm.jani_generator.main.roaml_to_jani

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

Main function for the RoAML model (with ASCXML models) to JANI conversion.

The RoAML model describes the full system, and pulls all necessary files together: properties.jani BT.xml plugin.ascxml node1.ascxml => roaml_to_jani => main.jani node2.ascxml / env.ascxml /

Parameters:

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

Returns:

None