as2fm.jani_generator.scxml_helpers.top_level_interpreter.parse_main_xml

as2fm.jani_generator.scxml_helpers.top_level_interpreter.parse_main_xml(xml_path: str) → FullModel

Interpret the top-level XML file as a dictionary.

The returned dictionary contains the following keys: - max_time: The maximum time in nanoseconds. - bt: The path to the Behavior Tree definition. - plugins: A list of paths to the Behavior Tree plugins. - skills: A list of paths to SCXML files encoding an FSM. - components: Similar to skills, but representing abstract models of existing skills - properties: A list of paths to Jani properties.