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.