as2fm.jani_generator.scxml_helpers.roaml_model.RoamlProperties

class as2fm.jani_generator.scxml_helpers.roaml_model.RoamlProperties(props_element: _Element | None = None, folder_path: str = '')

Bases: object

Handler for the properties section of a RoAML file.

__init__(props_element: _Element | None = None, folder_path: str = '')

Methods

__init__([props_element, folder_path])
from_roaml_xml(parent_element, folder)	Load the declaration of the properties to be verified from the RoAML XML node.
get_properties()
get_tag()

static from_roaml_xml(parent_element: _Element, folder: str) → RoamlProperties

Load the declaration of the properties to be verified from the RoAML XML node.

Parent_element:

The RoAML element to extract the information from.

Parent folder:

Path to the folder containing the RoAML xml file.

Returns:

An instance of RoamlProperties.