as2fm.jani_generator.scxml_helpers.roaml_model.RoamlParameters

class as2fm.jani_generator.scxml_helpers.roaml_model.RoamlParameters(params_element: _Element | None)

Bases: object

Handler for the parameters section of a ROAML file.

__init__(params_element: _Element | None)

Methods

__init__(params_element)
from_roaml_xml(parent_element)	Generate a RoamlParameters instance from the roaml (parent) xml def.
get_bt_tick_rate()
get_max_array_size()
get_max_time()
get_tag()
get_tick_when_not_running()

static from_roaml_xml(parent_element: _Element) → RoamlParameters

Generate a RoamlParameters instance from the roaml (parent) xml def.