as2fm.jani_generator.scxml_helpers.top_level_interpreter

Module reading the top level xml file containing the whole model to check.

Functions

export_plain_scxml_models(...)	Generate the plain SCXML files adding all compatibility entries to fit the SCXML standard.
generate_plain_scxml_models_and_timers(model)	Generate all plain SCXML models loaded from the full model dictionary.
interpret_top_level_xml(xml_path, *[, ...])	Interpret the top-level XML file as a Jani model.