m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser

Classes

CoreDSL2Parser

Functions

serializedATN()

Module Contents

serializedATN()[source]
class CoreDSL2Parser(input: TokenStream, output: TextIO = sys.stdout)[source]

Bases: Parser

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser
grammarFileName = 'CoreDSL2.g4'[source]
atn[source]
decisionsToDFA[source]
sharedContextCache[source]
literalNames = ['<INVALID>', "'import'", "'InstructionSet'", "'extends'", "','", "'{'", "'}'", "'Core'",...[source]
symbolicNames = ['<INVALID>', '<INVALID>', '<INVALID>', '<INVALID>', '<INVALID>', '<INVALID>', '<INVALID>',...[source]
RULE_description_content = 0[source]
RULE_import_file = 1[source]
RULE_isa = 2[source]
RULE_section = 3[source]
RULE_always_block = 4[source]
RULE_instruction = 5[source]
RULE_rule_encoding = 6[source]
RULE_encoding_entry = 7[source]
RULE_function_definition = 8[source]
RULE_parameter_list = 9[source]
RULE_parameter_declaration = 10[source]
RULE_statement = 11[source]
RULE_switch_block_statement_group = 12[source]
RULE_switch_label = 13[source]
RULE_block = 14[source]
RULE_block_item = 15[source]
RULE_for_condition = 16[source]
RULE_declaration = 17[source]
RULE_type_specifier = 18[source]
RULE_value_type_specifier = 19[source]
RULE_integer_signedness = 20[source]
RULE_integer_shorthand = 21[source]
RULE_float_shorthand = 22[source]
RULE_attribute = 23[source]
RULE_bit_size_specifier = 24[source]
RULE_enumerator_list = 25[source]
RULE_enumerator = 26[source]
RULE_struct_declaration = 27[source]
RULE_struct_declaration_specifier = 28[source]
RULE_declarator = 29[source]
RULE_initializer = 30[source]
RULE_initializerList = 31[source]
RULE_designated_initializer = 32[source]
RULE_designator = 33[source]
RULE_expression = 34[source]
RULE_primary = 35[source]
RULE_string_literal = 36[source]
RULE_constant = 37[source]
RULE_integer_constant = 38[source]
RULE_floating_constant = 39[source]
RULE_bool_constant = 40[source]
RULE_character_constant = 41[source]
RULE_double_left_bracket = 42[source]
RULE_double_right_bracket = 43[source]
RULE_data_types = 44[source]
RULE_type_qualifier = 45[source]
RULE_storage_class_specifier = 46[source]
RULE_struct_or_union = 47[source]
ruleNames = ['description_content', 'import_file', 'isa', 'section', 'always_block', 'instruction',...[source]
EOF[source]
T__0 = 1[source]
T__1 = 2[source]
T__2 = 3[source]
T__3 = 4[source]
T__4 = 5[source]
T__5 = 6[source]
T__6 = 7[source]
T__7 = 8[source]
T__8 = 9[source]
T__9 = 10[source]
T__10 = 11[source]
T__11 = 12[source]
T__12 = 13[source]
T__13 = 14[source]
T__14 = 15[source]
T__15 = 16[source]
T__16 = 17[source]
T__17 = 18[source]
T__18 = 19[source]
T__19 = 20[source]
T__20 = 21[source]
T__21 = 22[source]
T__22 = 23[source]
T__23 = 24[source]
T__24 = 25[source]
T__25 = 26[source]
T__26 = 27[source]
T__27 = 28[source]
T__28 = 29[source]
T__29 = 30[source]
T__30 = 31[source]
T__31 = 32[source]
T__32 = 33[source]
T__33 = 34[source]
T__34 = 35[source]
T__35 = 36[source]
T__36 = 37[source]
T__37 = 38[source]
T__38 = 39[source]
T__39 = 40[source]
T__40 = 41[source]
T__41 = 42[source]
T__42 = 43[source]
T__43 = 44[source]
T__44 = 45[source]
T__45 = 46[source]
T__46 = 47[source]
T__47 = 48[source]
T__48 = 49[source]
T__49 = 50[source]
T__50 = 51[source]
T__51 = 52[source]
T__52 = 53[source]
T__53 = 54[source]
T__54 = 55[source]
T__55 = 56[source]
T__56 = 57[source]
T__57 = 58[source]
T__58 = 59[source]
T__59 = 60[source]
T__60 = 61[source]
T__61 = 62[source]
T__62 = 63[source]
T__63 = 64[source]
T__64 = 65[source]
T__65 = 66[source]
T__66 = 67[source]
T__67 = 68[source]
T__68 = 69[source]
T__69 = 70[source]
T__70 = 71[source]
T__71 = 72[source]
T__72 = 73[source]
T__73 = 74[source]
T__74 = 75[source]
T__75 = 76[source]
T__76 = 77[source]
T__77 = 78[source]
T__78 = 79[source]
T__79 = 80[source]
T__80 = 81[source]
T__81 = 82[source]
T__82 = 83[source]
T__83 = 84[source]
T__84 = 85[source]
T__85 = 86[source]
T__86 = 87[source]
T__87 = 88[source]
T__88 = 89[source]
T__89 = 90[source]
T__90 = 91[source]
LEFT_BR = 92[source]
RIGHT_BR = 93[source]
BOOLEAN = 94[source]
FLOAT = 95[source]
INTEGER = 96[source]
IDENTIFIER = 97[source]
CHARCONST = 98[source]
ENCSTRINGCONST = 99[source]
STRING = 100[source]
ML_COMMENT = 101[source]
SL_COMMENT = 102[source]
WS = 103[source]
_interp[source]
_predicates = None[source]
class Description_contentContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Description_contentContext
__slots__ = 'parser'[source]
parser[source]
_import_file = None[source]
imports[source]
_isa = None[source]
definitions[source]
import_file(i: int = None)[source]
isa(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
description_content()[source]
class Import_fileContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Import_fileContext
__slots__ = 'parser'[source]
parser[source]
uri = None[source]
STRING()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
import_file()[source]
class IsaContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.IsaContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
copyFrom(ctx: ParserRuleContext)[source]
class Instruction_setContext(parser, ctx: ParserRuleContext)[source]

Bases: IsaContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Instruction_setContext
name = None[source]
_IDENTIFIER = None[source]
extension[source]
_section = None[source]
sections[source]
IDENTIFIER(i: int = None)[source]
section(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Core_defContext(parser, ctx: ParserRuleContext)[source]

Bases: IsaContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Core_defContext
name = None[source]
_IDENTIFIER = None[source]
contributing_types[source]
_section = None[source]
sections[source]
IDENTIFIER(i: int = None)[source]
section(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
isa()[source]
class SectionContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.SectionContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
copyFrom(ctx: ParserRuleContext)[source]
class Section_instructionsContext(parser, ctx: ParserRuleContext)[source]

Bases: SectionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Section_instructionsContext
type_ = None[source]
_attribute = None[source]
attributes[source]
_instruction = None[source]
instructions[source]
attribute(i: int = None)[source]
instruction(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Section_alwaysContext(parser, ctx: ParserRuleContext)[source]

Bases: SectionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Section_alwaysContext
type_ = None[source]
_attribute = None[source]
attributes[source]
_always_block = None[source]
always_blocks[source]
attribute(i: int = None)[source]
always_block(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Section_functionsContext(parser, ctx: ParserRuleContext)[source]

Bases: SectionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Section_functionsContext
type_ = None[source]
_function_definition = None[source]
functions[source]
function_definition(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Section_arch_stateContext(parser, ctx: ParserRuleContext)[source]

Bases: SectionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Section_arch_stateContext
type_ = None[source]
_declaration = None[source]
declarations[source]
_expression = None[source]
expressions[source]
declaration(i: int = None)[source]
expression(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
section()[source]
class Always_blockContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Always_blockContext
__slots__ = 'parser'[source]
parser[source]
name = None[source]
_attribute = None[source]
attributes[source]
behavior = None[source]
IDENTIFIER()[source]
block()[source]
attribute(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
always_block()[source]
class InstructionContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.InstructionContext
__slots__ = 'parser'[source]
parser[source]
name = None[source]
_attribute = None[source]
attributes[source]
_encoding_entry = None[source]
encoding[source]
disass = None[source]
behavior = None[source]
IDENTIFIER()[source]
encoding_entry(i: int = None)[source]
statement()[source]
attribute(i: int = None)[source]
STRING()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
instruction()[source]
class Rule_encodingContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Rule_encodingContext
__slots__ = 'parser'[source]
parser[source]
_encoding_entry = None[source]
fields[source]
encoding_entry(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
rule_encoding()[source]
class Encoding_entryContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Encoding_entryContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
copyFrom(ctx: ParserRuleContext)[source]
class Bit_fieldContext(parser, ctx: ParserRuleContext)[source]

Bases: Encoding_entryContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Bit_fieldContext
name = None[source]
left = None[source]
right = None[source]
LEFT_BR()[source]
RIGHT_BR()[source]
IDENTIFIER()[source]
integer_constant(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Bit_valueContext(parser, ctx: ParserRuleContext)[source]

Bases: Encoding_entryContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Bit_valueContext
value = None[source]
integer_constant()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
encoding_entry()[source]
class Function_definitionContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Function_definitionContext
__slots__ = 'parser'[source]
parser[source]
extern = None[source]
type_ = None[source]
name = None[source]
params = None[source]
_attribute = None[source]
attributes[source]
behavior = None[source]
type_specifier()[source]
IDENTIFIER()[source]
parameter_list()[source]
attribute(i: int = None)[source]
block()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
function_definition()[source]
class Parameter_listContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Parameter_listContext
__slots__ = 'parser'[source]
parser[source]
_parameter_declaration = None[source]
params[source]
parameter_declaration(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
parameter_list()[source]
class Parameter_declarationContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Parameter_declarationContext
__slots__ = 'parser'[source]
parser[source]
type_ = None[source]
decl = None[source]
type_specifier()[source]
declarator()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
parameter_declaration()[source]
class StatementContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.StatementContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
copyFrom(ctx: ParserRuleContext)[source]
class For_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.For_statementContext
type_ = None[source]
cond = None[source]
stmt = None[source]
for_condition()[source]
statement()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Spawn_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Spawn_statementContext
type_ = None[source]
stmt = None[source]
statement()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Continue_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Continue_statementContext
type_ = None[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Expression_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Expression_statementContext
expr = None[source]
expression()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class If_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.If_statementContext
type_ = None[source]
_expression = None[source]
cond[source]
_statement = None[source]
stmt[source]
expression(i: int = None)[source]
statement(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Procedure_callContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Procedure_callContext
ref = None[source]
_expression = None[source]
args[source]
IDENTIFIER()[source]
expression(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class While_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.While_statementContext
type_ = None[source]
cond = None[source]
stmt = None[source]
expression()[source]
statement()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Switch_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Switch_statementContext
type_ = None[source]
cond = None[source]
_switch_block_statement_group = None[source]
items[source]
expression()[source]
switch_label(i: int = None)[source]
switch_block_statement_group(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Block_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Block_statementContext
block()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Do_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Do_statementContext
type_ = None[source]
stmt = None[source]
cond = None[source]
statement()[source]
expression()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Break_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Break_statementContext
type_ = None[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Return_statementContext(parser, ctx: ParserRuleContext)[source]

Bases: StatementContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Return_statementContext
type_ = None[source]
expr = None[source]
expression()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
statement()[source]
class Switch_block_statement_groupContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Switch_block_statement_groupContext
__slots__ = 'parser'[source]
parser[source]
_switch_label = None[source]
labels[source]
_statement = None[source]
statements[source]
switch_label(i: int = None)[source]
statement(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
switch_block_statement_group()[source]
class Switch_labelContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Switch_labelContext
__slots__ = 'parser'[source]
parser[source]
const_expr = None[source]
expression()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
switch_label()[source]
class BlockContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.BlockContext
__slots__ = 'parser'[source]
parser[source]
_block_item = None[source]
items[source]
block_item(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
block()[source]
class Block_itemContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Block_itemContext
__slots__ = 'parser'[source]
parser[source]
statement()[source]
declaration()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
block_item()[source]
class For_conditionContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.For_conditionContext
__slots__ = 'parser'[source]
parser[source]
start_decl = None[source]
start_expr = None[source]
end_expr = None[source]
_expression = None[source]
loop_exprs[source]
declaration()[source]
expression(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
for_condition()[source]
class DeclarationContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.DeclarationContext
__slots__ = 'parser'[source]
parser[source]
_storage_class_specifier = None[source]
storage[source]
_type_qualifier = None[source]
qualifiers[source]
_attribute = None[source]
attributes[source]
type_ = None[source]
_declarator = None[source]
declarations[source]
type_specifier()[source]
storage_class_specifier(i: int = None)[source]
type_qualifier(i: int = None)[source]
attribute(i: int = None)[source]
declarator(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
declaration()[source]
class Type_specifierContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Type_specifierContext
__slots__ = 'parser'[source]
parser[source]
type_ = None[source]
ptr = None[source]
value_type_specifier()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
type_specifier()[source]
class Value_type_specifierContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Value_type_specifierContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
copyFrom(ctx: ParserRuleContext)[source]
class Composite_declarationContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Composite_declarationContext
type_ = None[source]
name = None[source]
_struct_declaration = None[source]
declarations[source]
struct_or_union()[source]
IDENTIFIER()[source]
struct_declaration(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Composite_referenceContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Composite_referenceContext
type_ = None[source]
name = None[source]
struct_or_union()[source]
IDENTIFIER()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Enum_declarationContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Enum_declarationContext
type_ = None[source]
name = None[source]
enumerator_list()[source]
IDENTIFIER()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Void_typeContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Void_typeContext
type_ = None[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Enum_referenceContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Enum_referenceContext
type_ = None[source]
name = None[source]
IDENTIFIER()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Float_typeContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Float_typeContext
shorthand = None[source]
float_shorthand()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Bool_typeContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Bool_typeContext
type_ = None[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Integer_typeContext(parser, ctx: ParserRuleContext)[source]

Bases: Value_type_specifierContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Integer_typeContext
signed = None[source]
shorthand = None[source]
size = None[source]
integer_signedness()[source]
integer_shorthand()[source]
primary()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
value_type_specifier()[source]
class Integer_signednessContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Integer_signednessContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
integer_signedness()[source]
class Integer_shorthandContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Integer_shorthandContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
integer_shorthand()[source]
class Float_shorthandContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Float_shorthandContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
float_shorthand()[source]
class AttributeContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.AttributeContext
__slots__ = 'parser'[source]
parser[source]
name = None[source]
_expression = None[source]
params[source]
IDENTIFIER()[source]
expression(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
attribute()[source]
class Bit_size_specifierContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Bit_size_specifierContext
__slots__ = 'parser'[source]
parser[source]
_primary = None[source]
size[source]
primary(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
bit_size_specifier()[source]
class Enumerator_listContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Enumerator_listContext
__slots__ = 'parser'[source]
parser[source]
_enumerator = None[source]
enumerators[source]
enumerator(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
enumerator_list()[source]
class EnumeratorContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.EnumeratorContext
__slots__ = 'parser'[source]
parser[source]
name = None[source]
IDENTIFIER()[source]
expression()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
enumerator()[source]
class Struct_declarationContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Struct_declarationContext
__slots__ = 'parser'[source]
parser[source]
specifier = None[source]
_declarator = None[source]
declarators[source]
struct_declaration_specifier()[source]
declarator(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
struct_declaration()[source]
class Struct_declaration_specifierContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Struct_declaration_specifierContext
__slots__ = 'parser'[source]
parser[source]
type_ = None[source]
_type_qualifier = None[source]
qualifiers[source]
type_specifier()[source]
type_qualifier()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
struct_declaration_specifier()[source]
class DeclaratorContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.DeclaratorContext
__slots__ = 'parser'[source]
parser[source]
name = None[source]
_expression = None[source]
size[source]
_attribute = None[source]
attributes[source]
init = None[source]
IDENTIFIER()[source]
LEFT_BR(i: int = None)[source]
RIGHT_BR(i: int = None)[source]
expression(i: int = None)[source]
attribute(i: int = None)[source]
initializer()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
declarator()[source]
class InitializerContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.InitializerContext
__slots__ = 'parser'[source]
parser[source]
expr = None[source]
expression()[source]
initializerList()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
initializer()[source]
class InitializerListContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.InitializerListContext
__slots__ = 'parser'[source]
parser[source]
designated_initializer(i: int = None)[source]
initializer(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
initializerList()[source]
class Designated_initializerContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Designated_initializerContext
__slots__ = 'parser'[source]
parser[source]
_designator = None[source]
designators[source]
init = None[source]
initializer()[source]
designator(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
designated_initializer()[source]
class DesignatorContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.DesignatorContext
__slots__ = 'parser'[source]
parser[source]
idx = None[source]
prop = None[source]
LEFT_BR()[source]
RIGHT_BR()[source]
expression()[source]
IDENTIFIER()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
designator()[source]
class ExpressionContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.ExpressionContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
copyFrom(ctx: ParserRuleContext)[source]
class Cast_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Cast_expressionContext
type_ = None[source]
sign = None[source]
right = None[source]
expression()[source]
type_specifier()[source]
integer_signedness()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Binary_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Binary_expressionContext
left = None[source]
bop = None[source]
right = None[source]
expression(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Preinc_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Preinc_expressionContext
op = None[source]
right = None[source]
expression()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Conditional_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Conditional_expressionContext
cond = None[source]
bop = None[source]
then_expr = None[source]
else_expr = None[source]
expression(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Deref_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Deref_expressionContext
bop = None[source]
ref = None[source]
IDENTIFIER()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Prefix_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Prefix_expressionContext
prefix = None[source]
right = None[source]
expression()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Postinc_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Postinc_expressionContext
left = None[source]
op = None[source]
expression()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Concat_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Concat_expressionContext
left = None[source]
bop = None[source]
right = None[source]
expression(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Assignment_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Assignment_expressionContext
left = None[source]
bop = None[source]
right = None[source]
expression(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Method_callContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Method_callContext
ref = None[source]
_expression = None[source]
args[source]
IDENTIFIER()[source]
expression(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Primary_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Primary_expressionContext
primary()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Slice_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: ExpressionContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Slice_expressionContext
expr = None[source]
bop = None[source]
left = None[source]
right = None[source]
RIGHT_BR()[source]
expression(i: int = None)[source]
LEFT_BR()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
expression(_p: int = 0)[source]
class PrimaryContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.PrimaryContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
copyFrom(ctx: ParserRuleContext)[source]
class Reference_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: PrimaryContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Reference_expressionContext
ref = None[source]
IDENTIFIER()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Constant_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: PrimaryContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Constant_expressionContext
const_expr = None[source]
constant()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Literal_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: PrimaryContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Literal_expressionContext
_string_literal = None[source]
literal[source]
string_literal(i: int = None)[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
class Parens_expressionContext(parser, ctx: ParserRuleContext)[source]

Bases: PrimaryContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Parens_expressionContext
expr = None[source]
expression()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
primary()[source]
class String_literalContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.String_literalContext
__slots__ = 'parser'[source]
parser[source]
ENCSTRINGCONST()[source]
STRING()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
string_literal()[source]
class ConstantContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.ConstantContext
__slots__ = 'parser'[source]
parser[source]
integer_constant()[source]
floating_constant()[source]
character_constant()[source]
bool_constant()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
constant()[source]
class Integer_constantContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Integer_constantContext
__slots__ = 'parser'[source]
parser[source]
value = None[source]
INTEGER()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
integer_constant()[source]
class Floating_constantContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Floating_constantContext
__slots__ = 'parser'[source]
parser[source]
value = None[source]
FLOAT()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
floating_constant()[source]
class Bool_constantContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Bool_constantContext
__slots__ = 'parser'[source]
parser[source]
value = None[source]
BOOLEAN()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
bool_constant()[source]
class Character_constantContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Character_constantContext
__slots__ = 'parser'[source]
parser[source]
value = None[source]
CHARCONST()[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
character_constant()[source]
class Double_left_bracketContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Double_left_bracketContext
__slots__ = 'parser'[source]
parser[source]
LEFT_BR(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
double_left_bracket()[source]
class Double_right_bracketContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Double_right_bracketContext
__slots__ = 'parser'[source]
parser[source]
RIGHT_BR(i: int = None)[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
double_right_bracket()[source]
class Data_typesContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Data_typesContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
data_types()[source]
class Type_qualifierContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Type_qualifierContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
type_qualifier()[source]
class Storage_class_specifierContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Storage_class_specifierContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
storage_class_specifier()[source]
class Struct_or_unionContext(parser, parent: ParserRuleContext = None, invokingState: int = -1)[source]

Bases: ParserRuleContext

Inheritance diagram of m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.CoreDSL2Parser.Struct_or_unionContext
__slots__ = 'parser'[source]
parser[source]
getRuleIndex()[source]
enterRule(listener: ParseTreeListener)[source]
exitRule(listener: ParseTreeListener)[source]
accept(visitor: ParseTreeVisitor)[source]
struct_or_union()[source]
sempred(localctx: RuleContext, ruleIndex: int, predIndex: int)[source]
expression_sempred(localctx: ExpressionContext, predIndex: int)[source]