Class: OCL::Parser

Inherits:
Racc::Parser
  • Object
show all
Defined in:
lib/dbc/ocl.rb

Constant Summary collapse

Racc_arg = 
[
racc_action_table,
racc_action_check,
racc_action_default,
racc_action_pointer,
racc_goto_table,
racc_goto_check,
racc_goto_default,
racc_goto_pointer,
racc_nt_base,
racc_reduce_table,
racc_token_table,
racc_shift_n,
racc_reduce_n,
racc_use_result_var ]
Racc_token_to_s_table = 
[
'$end',
'error',
'"."',
'"->"',
'UADDRS',
'UDEREF',
'UPLUS',
'UMINUS',
'"@pre"',
'"not"',
'"sizeof"',
'"*"',
'"/"',
'"%"',
'"+"',
'"-"',
'RANGE',
'IN_RANGE',
'"<"',
'"<="',
'">"',
'">="',
'"=="',
'"!="',
'"and"',
'"or"',
'"xor"',
'"implies"',
'POINTER',
'INTEGER',
'FLOATING',
'CHARACTER',
'STRING',
'TYPEDEF_NAME',
'IDENTIFIER',
'LABEL',
'END_OF_STATEMENT',
'"context"',
'"inv"',
'"pre"',
'"post"',
'"("',
'")"',
'"return"',
'"in"',
'"["',
'"]"',
'","',
'"&"',
'"forall"',
'"|"',
'"exists"',
'".."',
'"..."',
'"void"',
'"char"',
'"short"',
'"int"',
'"long"',
'"float"',
'"double"',
'"signed"',
'"unsigned"',
'"struct"',
'"union"',
'"const"',
'"volatile"',
'"enum"',
'$start',
'target',
'statement',
'conditions',
'context',
'dbc_condition',
'context_name',
'declaration',
'identifier',
'dbc_condition_start',
'expression',
'dbc_steriotype',
'primary_expression',
'postfix_expression',
'argument_expression_list',
'at_pre_expression',
'argument_expression',
'type_name',
'unary_expression',
'cast_expression',
'iterator_declaration',
'multiplicative_expression',
'additive_expression',
'in_expression',
'range',
'relational_expression',
'and_expression',
'or_expression',
'xor_expression',
'primitive_type',
'struct_or_union',
'type_qualifier',
'specifier_qualifier_list',
'declarator',
'primitive_type_specifier',
'type_specifier',
'struct_or_union_specifier',
'enum_specifier',
'struct_or_union_or_enum_name',
'declarator_sequence',
'pointer',
'direct_declarator',
'declarator_identifier',
'parameter_type_list',
'identifier_list',
'type_qualifier_list',
'parameter_list',
'parameter_declaration',
'abstract_declarator',
'identifier_sequence',
'abstract_declarator_sequence',
'direct_abstract_declarator']
Racc_debug_parser = 
false

Instance Method Summary collapse

Instance Method Details

#_reduce_none(val, _values, result) ⇒ Object 



2162
2163
2164
 
# File 'lib/dbc/ocl.rb', line 2162

def _reduce_none( val, _values, result )
 result
end