as2fm.jani_generator.scxml_helpers.top_level_interpreter.interpret_top_level_xml
- as2fm.jani_generator.scxml_helpers.top_level_interpreter.interpret_top_level_xml(xml_path: str, jani_file: str, generated_scxmls_dir: str | None = None)
Interpret the top-level XML file as a Jani model. And write it to a file. The generated Jani model is written to the same directory as the input XML file under the name main.jani.
- Parameters:
xml_path – The path to the XML file to interpret.
jani_file – The path to the output Jani file.
generated_scxmls_dir – The directory to store the generated plain SCXML files.