Class: Tla2DotParser

Inherits:
Racc::Parser
  • Object
show all
Defined in:
lib/tla2dot/parser.tab.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",
"TRANS",
"\"-->\"",
"INTEGER",
"STATE",
"\"<\"",
"\">\"",
"IDENT",
"\",\"",
"AND",
"\"=\"",
"STRING",
"\"[\"",
"\"]\"",
"\"|->\"",
"\"{\"",
"\"}\"",
"$start",
"target",
"entries",
"entry",
"state",
"trans",
"state_def",
"variables",
"state_id",
"actiondef",
"actionspecs",
"actionspec",
"variable",
"name",
"value",
"record",
"set",
"seq",
"rlist",
"ritem",
"seqlist",
"seqitem",
"slist",
"sitem" ]
Racc_debug_parser = 
false

Instance Method Summary collapse

Instance Method Details

#_reduce_none(val, _values) ⇒ Object 



693
694
695
 
# File 'lib/tla2dot/parser.tab.rb', line 693

def _reduce_none(val, _values)
  val[0]
end