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 plain SCXML models and ROS timers from the full model dictionary.
interpret_top_level_xml(xml_path, jani_file)	Interpret the top-level XML file as a Jani model.
parse_main_xml(xml_path)	Interpret the top-level XML file and return it as a FullModel object.

Classes

FullModel(max_time, max_array_size, ...)