as2fm.jani_generator.scxml_helpers.roaml_model.RoamlDataStructures

class as2fm.jani_generator.scxml_helpers.roaml_model.RoamlDataStructures(data_element: _Element | None, folder_path: str)

Bases: object

Handler for the data_declarations section of a ROAML file.

__init__(data_element: _Element | None, folder_path: str)

Methods

__init__(data_element, folder_path)
from_roaml_xml(parent_element, folder)	Load the Data Structures declaration from the RoAML XML node.
get_data_declarations()
get_tag()

Attributes

AVAILABLE_STRUCT_DEFINITIONS

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

Load the Data Structures declaration 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 RoamlDataStructures.