uppaal2jetracer.parser package

Subpackages

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.

static parse(t: Tag, global_frame: Frame = None, system_frame: Frame = None, params: List[FileAST] = None) Automaton[source]

Parse an XML tag to UPPAAL automata.

Parameters:
  • t (Tag) – XML tag to parse.

  • global_frame (Frame) – Global frame.

  • system_frame (Frame) – System frame.

  • params (List[str]) – Parameters to parse.

Returns:

List of UPPAAL automata.

Return type:

List[Automaton]

class LocationParser[source]

Bases: UppaalParser

An UPPAAL parser that parses UPPAAL locations.

static parse(t: Tag) Location[source]

Parse an XML tag to UPPAAL locations.

Parameters:

t (Tag) – XML tag to parse.

Returns:

List of UPPAAL locations.

Return type:

List[Location]

class SystemParser[source]

Bases: UppaalParser

An UPPAAL parser that parses UPPAAL systems.

static parse(t: Tag) System[source]

Parse an XML tag to UPPAAL system.

Parameters:

t (Tag) – XML tag to parse.

Returns:

UPPAAL system.

Return type:

[System]

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]

exception XMLParseError(message: str)[source]

Bases: Exception

An error class for XML parsing.

Module contents