as2fm.jani_generator.scxml_helpers.roaml_model.RoamlMain

class as2fm.jani_generator.scxml_helpers.roaml_model.RoamlMain(xml_path: str)

Bases: object

This is the entry point of any RoAML model.

__init__(xml_path: str)

Methods

__init__(xml_path)
get_loaded_model()	Get the parsed model as a FullModel object.
get_tag()

get_loaded_model() → FullModel

Get the parsed model as a FullModel object.