uppaal2jetracer.parser package
Subpackages
- uppaal2jetracer.parser.declarationparser package
- Subpackages
- Submodules
- uppaal2jetracer.parser.declarationparser.declaration_lexer module
DeclarationLexer
DeclarationLexer.BAD_CHAR_CONST
DeclarationLexer.BAD_ESCAPE
DeclarationLexer.BOOL_CONST
DeclarationLexer.CCONST_CHAR
DeclarationLexer.DECIMAL_ESCAPE
DeclarationLexer.ESCAPE_SEQUENCE_START_IN_STRING
DeclarationLexer.EXPONENT_PART
DeclarationLexer.FRACTIONAL_CONSTANT
DeclarationLexer.IDENTIFIER
DeclarationLexer.SIMPLE_ESCAPE
DeclarationLexer.STRING_CHAR
DeclarationLexer.bad_string_literal
DeclarationLexer.build()
DeclarationLexer.char_const
DeclarationLexer.decimal_constant
DeclarationLexer.double_constant
DeclarationLexer.escape_sequence
DeclarationLexer.find_tok_column()
DeclarationLexer.input()
DeclarationLexer.keyword
DeclarationLexer.keyword_map
DeclarationLexer.keywords
DeclarationLexer.reset_lineno()
DeclarationLexer.string_literal
DeclarationLexer.t_AND
DeclarationLexer.t_ANDEQUAL
DeclarationLexer.t_ARROW
DeclarationLexer.t_BAD_CHAR_CONST()
DeclarationLexer.t_BAD_STRING_LITERAL()
DeclarationLexer.t_BOOL_CONST()
DeclarationLexer.t_CHAR_CONST()
DeclarationLexer.t_COLON
DeclarationLexer.t_COMMA
DeclarationLexer.t_DIVEQUAL
DeclarationLexer.t_DIVIDE
DeclarationLexer.t_DOUBLE_CONST()
DeclarationLexer.t_EQ
DeclarationLexer.t_EQUALS
DeclarationLexer.t_GE
DeclarationLexer.t_GT
DeclarationLexer.t_ID()
DeclarationLexer.t_INT_CONST_DEC()
DeclarationLexer.t_LAND
DeclarationLexer.t_LBRACE()
DeclarationLexer.t_LBRACKET
DeclarationLexer.t_LE
DeclarationLexer.t_LNOT
DeclarationLexer.t_LOR
DeclarationLexer.t_LPAREN
DeclarationLexer.t_LSHIFT
DeclarationLexer.t_LSHIFTEQUAL
DeclarationLexer.t_LT
DeclarationLexer.t_MINUS
DeclarationLexer.t_MINUSEQUAL
DeclarationLexer.t_MOD
DeclarationLexer.t_MODEQUAL
DeclarationLexer.t_NE
DeclarationLexer.t_NEWLINE()
DeclarationLexer.t_NOT
DeclarationLexer.t_OR
DeclarationLexer.t_OREQUAL
DeclarationLexer.t_PERIOD
DeclarationLexer.t_PLUS
DeclarationLexer.t_PLUSEQUAL
DeclarationLexer.t_RBRACE()
DeclarationLexer.t_RBRACKET
DeclarationLexer.t_RPAREN
DeclarationLexer.t_RSHIFT
DeclarationLexer.t_RSHIFTEQUAL
DeclarationLexer.t_SEMI
DeclarationLexer.t_STRING_LITERAL
DeclarationLexer.t_TIMES
DeclarationLexer.t_TIMESEQUAL
DeclarationLexer.t_UNMATCHED_QUOTE()
DeclarationLexer.t_XOR
DeclarationLexer.t_XOREQUAL
DeclarationLexer.t_error()
DeclarationLexer.t_ignore
DeclarationLexer.token()
DeclarationLexer.tokens
DeclarationLexer.unmatched_quote
- uppaal2jetracer.parser.declarationparser.declaration_parser module
DeclarationParser
DeclarationParser.dlex
DeclarationParser.p_abstract_declarator_3()
DeclarationParser.p_abstract_declarator_opt()
DeclarationParser.p_argument_expression_list()
DeclarationParser.p_assignment_expression()
DeclarationParser.p_assignment_expression_opt()
DeclarationParser.p_assignment_operator()
DeclarationParser.p_binary_expression()
DeclarationParser.p_block_item()
DeclarationParser.p_block_item_list()
DeclarationParser.p_block_item_list_opt()
DeclarationParser.p_brace_close()
DeclarationParser.p_brace_open()
DeclarationParser.p_compound_statement_1()
DeclarationParser.p_conditional_expression()
DeclarationParser.p_constant_1()
DeclarationParser.p_constant_2()
DeclarationParser.p_constant_3()
DeclarationParser.p_constant_4()
DeclarationParser.p_constant_expression()
DeclarationParser.p_decl_body()
DeclarationParser.p_declaration()
DeclarationParser.p_declaration_list()
DeclarationParser.p_declaration_list_opt()
DeclarationParser.p_declaration_specifiers_1()
DeclarationParser.p_declaration_specifiers_2()
DeclarationParser.p_declaration_specifiers_4()
DeclarationParser.p_declaration_specifiers_5()
DeclarationParser.p_declaration_specifiers_6()
DeclarationParser.p_declaration_specifiers_no_type_1()
DeclarationParser.p_declaration_specifiers_no_type_2()
DeclarationParser.p_declaration_specifiers_no_type_opt()
DeclarationParser.p_declarator()
DeclarationParser.p_designation()
DeclarationParser.p_designation_opt()
DeclarationParser.p_designator()
DeclarationParser.p_designator_list()
DeclarationParser.p_direct_abstract_declarator_1()
DeclarationParser.p_direct_abstract_declarator_2()
DeclarationParser.p_direct_abstract_declarator_3()
DeclarationParser.p_direct_abstract_declarator_6()
DeclarationParser.p_direct_abstract_declarator_7()
DeclarationParser.p_direct_id_declarator_1()
DeclarationParser.p_direct_id_declarator_2()
DeclarationParser.p_direct_id_declarator_3()
DeclarationParser.p_direct_id_declarator_4()
DeclarationParser.p_direct_id_declarator_5()
DeclarationParser.p_direct_id_declarator_6()
DeclarationParser.p_direct_id_declarator_7()
DeclarationParser.p_direct_typeid_declarator_1()
DeclarationParser.p_direct_typeid_declarator_2()
DeclarationParser.p_direct_typeid_declarator_3()
DeclarationParser.p_direct_typeid_declarator_4()
DeclarationParser.p_direct_typeid_declarator_5()
DeclarationParser.p_direct_typeid_declarator_6()
DeclarationParser.p_direct_typeid_declarator_7()
DeclarationParser.p_direct_typeid_noparen_declarator_1()
DeclarationParser.p_direct_typeid_noparen_declarator_3()
DeclarationParser.p_direct_typeid_noparen_declarator_4()
DeclarationParser.p_direct_typeid_noparen_declarator_5()
DeclarationParser.p_direct_typeid_noparen_declarator_6()
DeclarationParser.p_direct_typeid_noparen_declarator_7()
DeclarationParser.p_empty()
DeclarationParser.p_error()
DeclarationParser.p_expression()
DeclarationParser.p_expression_opt()
DeclarationParser.p_expression_statement()
DeclarationParser.p_external_declaration_1()
DeclarationParser.p_external_declaration_2()
DeclarationParser.p_external_declaration_3()
DeclarationParser.p_function_definition()
DeclarationParser.p_id_declarator_1()
DeclarationParser.p_id_init_declarator()
DeclarationParser.p_id_init_declarator_list()
DeclarationParser.p_id_init_declarator_list_opt()
DeclarationParser.p_identifier()
DeclarationParser.p_identifier_list()
DeclarationParser.p_identifier_list_opt()
DeclarationParser.p_init_declarator()
DeclarationParser.p_init_declarator_list()
DeclarationParser.p_init_declarator_list_opt()
DeclarationParser.p_initializer_1()
DeclarationParser.p_initializer_2()
DeclarationParser.p_initializer_list()
DeclarationParser.p_initializer_list_opt()
DeclarationParser.p_iteration_statement_1()
DeclarationParser.p_iteration_statement_2()
DeclarationParser.p_iteration_statement_3()
DeclarationParser.p_iteration_statement_4()
DeclarationParser.p_jump_statement()
DeclarationParser.p_parameter_declaration_1()
DeclarationParser.p_parameter_declaration_2()
DeclarationParser.p_parameter_list()
DeclarationParser.p_parameter_type_list()
DeclarationParser.p_parameter_type_list_opt()
DeclarationParser.p_parenthesized_compound_expression()
DeclarationParser.p_postfix_expression_1()
DeclarationParser.p_postfix_expression_2()
DeclarationParser.p_postfix_expression_3()
DeclarationParser.p_postfix_expression_4()
DeclarationParser.p_postfix_expression_6()
DeclarationParser.p_primary_expression_1()
DeclarationParser.p_primary_expression_2()
DeclarationParser.p_primary_expression_3()
DeclarationParser.p_primary_expression_4()
DeclarationParser.p_selection_statement_1()
DeclarationParser.p_selection_statement_2()
DeclarationParser.p_specifier_qualifier_list_1()
DeclarationParser.p_specifier_qualifier_list_2()
DeclarationParser.p_specifier_qualifier_list_3()
DeclarationParser.p_specifier_qualifier_list_4()
DeclarationParser.p_statement()
DeclarationParser.p_struct_declaration_1()
DeclarationParser.p_struct_declaration_2()
DeclarationParser.p_struct_declaration_list()
DeclarationParser.p_struct_declarator()
DeclarationParser.p_struct_declarator_list()
DeclarationParser.p_struct_declarator_list_opt()
DeclarationParser.p_struct_specifier_1()
DeclarationParser.p_struct_specifier_2()
DeclarationParser.p_struct_specifier_3()
DeclarationParser.p_translation_unit_1()
DeclarationParser.p_translation_unit_2()
DeclarationParser.p_translation_unit_or_empty()
DeclarationParser.p_type_name()
DeclarationParser.p_type_qualifier()
DeclarationParser.p_type_qualifier_list()
DeclarationParser.p_type_qualifier_list_opt()
DeclarationParser.p_type_specifier()
DeclarationParser.p_type_specifier_no_typeid()
DeclarationParser.p_typedef_name()
DeclarationParser.p_typeid_declarator_1()
DeclarationParser.p_typeid_noparen_declarator_1()
DeclarationParser.p_unary_expression_1()
DeclarationParser.p_unary_expression_2()
DeclarationParser.p_unary_operator()
DeclarationParser.p_unified_string_literal()
DeclarationParser.parse()
DeclarationParser.precedence
SingleStatementParser
SingleStatementParser.dlex
SingleStatementParser.p_abstract_declarator_opt()
SingleStatementParser.p_assignment_expression_opt()
SingleStatementParser.p_block_item_list_opt()
SingleStatementParser.p_declaration_list_opt()
SingleStatementParser.p_declaration_specifiers_no_type_opt()
SingleStatementParser.p_designation_opt()
SingleStatementParser.p_expression_opt()
SingleStatementParser.p_expression_statement()
SingleStatementParser.p_external_declaration_6()
SingleStatementParser.p_id_init_declarator_list_opt()
SingleStatementParser.p_identifier_list_opt()
SingleStatementParser.p_init_declarator_list_opt()
SingleStatementParser.p_initializer_list_opt()
SingleStatementParser.p_parameter_type_list_opt()
SingleStatementParser.p_single_line_expression()
SingleStatementParser.p_struct_declarator_list_opt()
SingleStatementParser.p_type_qualifier_list_opt()
- uppaal2jetracer.parser.declarationparser.plyparser module
- Module contents
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]