uppaal2jetracer.parser package
Submodules
uppaal2jetracer.parser.parser module
Parser
This file provides all uppaal parsers required to create an executable uppaal model.
This file can be imported as a module and contains the following classes:
UppaalParser: Interface for all uppaal parsers.
SystemParser: Uppaal parser for parsing an uppaal system.
AutomatonParser: Uppaal parser for parsing an uppaal automaton.
LocationParser: Uppaal parser for parsing an uppaal location.
TransitionParser: Uppaal parser for parsing an uppaal transition.
- class AutomatonParser[source]
Bases:
UppaalParser
An UPPAAL parser that parses UPPAAL automata.
- class LocationParser[source]
Bases:
UppaalParser
An UPPAAL parser that parses UPPAAL locations.
- class SystemParser[source]
Bases:
UppaalParser
An UPPAAL parser that parses UPPAAL systems.
- class TransitionParser[source]
Bases:
UppaalParser
An UPPAAL parser that parses UPPAAL transitions.
- static parse(t: Tag) Transition [source]
Parse an XML tag to UPPAAL transitions.
- Parameters:
t (Tag) – XML tag to parse.
- Returns:
List of UPPAAL automata.
- Return type:
List[Transition]
- class UppaalParser[source]
Bases:
ABC
Abstract base class for all parsers that convert an XMl file to UPPAAL model objects.
- abstract static parse(t: Tag) UppaalElement [source]
Parses an XML tag to UPPAAL element.
- Parameters:
t (Tag) – XML tag to parse.
- Returns:
List of UPPAAL elements.
- Return type:
List[UppaalElement]