lrama 0.5.6 → 0.5.8

data/lib/lrama/parser.rb

@@ -1,293 +1,1802 @@
-require "lrama/report/duration"
-require "lrama/parser/token_scanner"
+#
+# DO NOT MODIFY!!!!
+# This file is automatically generated by Racc 1.7.1
+# from Racc grammar file "".
+#
+
+###### racc/parser.rb begin
+unless $".find {|p| p.end_with?('/racc/parser.rb')}
+$".push "#{__dir__}/racc/parser.rb"
+self.class.module_eval(<<'...end racc/parser.rb/module_eval...', 'racc/parser.rb', 1)
+# frozen_string_literal: false
+#--
+# Copyright (c) 1999-2006 Minero Aoki
+#
+# This program is free software.
+# You can distribute/modify this program under the same terms of ruby.
+#
+# As a special exception, when this code is copied by Racc
+# into a Racc output file, you may use that output file
+# without restriction.
+#++
+
+unless $".find {|p| p.end_with?('/racc/info.rb')}
+$".push "#{__dir__}/racc/info.rb"
+#--
+#
+#
+#
+# Copyright (c) 1999-2006 Minero Aoki
+#
+# This program is free software.
+# You can distribute/modify this program under the same terms of ruby.
+# see the file "COPYING".
+#
+#++
+
+module Racc
+  VERSION   = '1.7.1'
+  Version = VERSION
+  Copyright = 'Copyright (c) 1999-2006 Minero Aoki'
+end
+
+end
+
+
+unless defined?(NotImplementedError)
+  NotImplementedError = NotImplementError # :nodoc:
+end
+
+module Racc
+  class ParseError < StandardError; end
+end
+unless defined?(::ParseError)
+  ParseError = Racc::ParseError # :nodoc:
+end
+
+# Racc is a LALR(1) parser generator.
+# It is written in Ruby itself, and generates Ruby programs.
+#
+# == Command-line Reference
+#
+#     racc [-o<var>filename</var>] [--output-file=<var>filename</var>]
+#          [-e<var>rubypath</var>] [--executable=<var>rubypath</var>]
+#          [-v] [--verbose]
+#          [-O<var>filename</var>] [--log-file=<var>filename</var>]
+#          [-g] [--debug]
+#          [-E] [--embedded]
+#          [-l] [--no-line-convert]
+#          [-c] [--line-convert-all]
+#          [-a] [--no-omit-actions]
+#          [-C] [--check-only]
+#          [-S] [--output-status]
+#          [--version] [--copyright] [--help] <var>grammarfile</var>
+#
+# [+grammarfile+]
+#   Racc grammar file. Any extension is permitted.
+# [-o+outfile+, --output-file=+outfile+]
+#   A filename for output. default is <+filename+>.tab.rb
+# [-O+filename+, --log-file=+filename+]
+#   Place logging output in file +filename+.
+#   Default log file name is <+filename+>.output.
+# [-e+rubypath+, --executable=+rubypath+]
+#   output executable file(mode 755). where +path+ is the Ruby interpreter.
+# [-v, --verbose]
+#   verbose mode. create +filename+.output file, like yacc's y.output file.
+# [-g, --debug]
+#   add debug code to parser class. To display debuggin information,
+#   use this '-g' option and set @yydebug true in parser class.
+# [-E, --embedded]
+#   Output parser which doesn't need runtime files (racc/parser.rb).
+# [-C, --check-only]
+#   Check syntax of racc grammar file and quit.
+# [-S, --output-status]
+#   Print messages time to time while compiling.
+# [-l, --no-line-convert]
+#   turns off line number converting.
+# [-c, --line-convert-all]
+#   Convert line number of actions, inner, header and footer.
+# [-a, --no-omit-actions]
+#   Call all actions, even if an action is empty.
+# [--version]
+#   print Racc version and quit.
+# [--copyright]
+#   Print copyright and quit.
+# [--help]
+#   Print usage and quit.
+#
+# == Generating Parser Using Racc
+#
+# To compile Racc grammar file, simply type:
+#
+#   $ racc parse.y
+#
+# This creates Ruby script file "parse.tab.y". The -o option can change the output filename.
+#
+# == Writing A Racc Grammar File
+#
+# If you want your own parser, you have to write a grammar file.
+# A grammar file contains the name of your parser class, grammar for the parser,
+# user code, and anything else.
+# When writing a grammar file, yacc's knowledge is helpful.
+# If you have not used yacc before, Racc is not too difficult.
+#
+# Here's an example Racc grammar file.
+#
+#   class Calcparser
+#   rule
+#     target: exp { print val[0] }
+#
+#     exp: exp '+' exp
+#        | exp '*' exp
+#        | '(' exp ')'
+#        | NUMBER
+#   end
+#
+# Racc grammar files resemble yacc files.
+# But (of course), this is Ruby code.
+# yacc's $$ is the 'result', $0, $1... is
+# an array called 'val', and $-1, $-2... is an array called '_values'.
+#
+# See the {Grammar File Reference}[rdoc-ref:lib/racc/rdoc/grammar.en.rdoc] for
+# more information on grammar files.
+#
+# == Parser
+#
+# Then you must prepare the parse entry method. There are two types of
+# parse methods in Racc, Racc::Parser#do_parse and Racc::Parser#yyparse
+#
+# Racc::Parser#do_parse is simple.
+#
+# It's yyparse() of yacc, and Racc::Parser#next_token is yylex().
+# This method must returns an array like [TOKENSYMBOL, ITS_VALUE].
+# EOF is [false, false].
+# (TOKENSYMBOL is a Ruby symbol (taken from String#intern) by default.
+# If you want to change this, see the grammar reference.
+#
+# Racc::Parser#yyparse is little complicated, but useful.
+# It does not use Racc::Parser#next_token, instead it gets tokens from any iterator.
+#
+# For example, <code>yyparse(obj, :scan)</code> causes
+# calling +obj#scan+, and you can return tokens by yielding them from +obj#scan+.
+#
+# == Debugging
+#
+# When debugging, "-v" or/and the "-g" option is helpful.
+#
+# "-v" creates verbose log file (.output).
+# "-g" creates a "Verbose Parser".
+# Verbose Parser prints the internal status when parsing.
+# But it's _not_ automatic.
+# You must use -g option and set +@yydebug+ to +true+ in order to get output.
+# -g option only creates the verbose parser.
+#
+# === Racc reported syntax error.
+#
+# Isn't there too many "end"?
+# grammar of racc file is changed in v0.10.
+#
+# Racc does not use '%' mark, while yacc uses huge number of '%' marks..
+#
+# === Racc reported "XXXX conflicts".
+#
+# Try "racc -v xxxx.y".
+# It causes producing racc's internal log file, xxxx.output.
+#
+# === Generated parsers does not work correctly
+#
+# Try "racc -g xxxx.y".
+# This command let racc generate "debugging parser".
+# Then set @yydebug=true in your parser.
+# It produces a working log of your parser.
+#
+# == Re-distributing Racc runtime
+#
+# A parser, which is created by Racc, requires the Racc runtime module;
+# racc/parser.rb.
+#
+# Ruby 1.8.x comes with Racc runtime module,
+# you need NOT distribute Racc runtime files.
+#
+# If you want to include the Racc runtime module with your parser.
+# This can be done by using '-E' option:
+#
+#   $ racc -E -omyparser.rb myparser.y
+#
+# This command creates myparser.rb which `includes' Racc runtime.
+# Only you must do is to distribute your parser file (myparser.rb).
+#
+# Note: parser.rb is ruby license, but your parser is not.
+# Your own parser is completely yours.
+module Racc
+
+  unless defined?(Racc_No_Extensions)
+    Racc_No_Extensions = false # :nodoc:
+  end
 
-module Lrama
-  # Parser for parse.y, generates a grammar
   class Parser
-    include Lrama::Report::Duration
 
-    T = Lrama::Lexer::Token
+    Racc_Runtime_Version = ::Racc::VERSION
+    Racc_Runtime_Core_Version_R = ::Racc::VERSION
+
+    begin
+      if Object.const_defined?(:RUBY_ENGINE) and RUBY_ENGINE == 'jruby'
+        require 'jruby'
+        require 'racc/cparse-jruby.jar'
+        com.headius.racc.Cparse.new.load(JRuby.runtime, false)
+      else
+        require 'racc/cparse'
+      end
+
+      unless new.respond_to?(:_racc_do_parse_c, true)
+        raise LoadError, 'old cparse.so'
+      end
+      if Racc_No_Extensions
+        raise LoadError, 'selecting ruby version of racc runtime core'
+      end
+
+      Racc_Main_Parsing_Routine    = :_racc_do_parse_c # :nodoc:
+      Racc_YY_Parse_Method         = :_racc_yyparse_c # :nodoc:
+      Racc_Runtime_Core_Version    = Racc_Runtime_Core_Version_C # :nodoc:
+      Racc_Runtime_Type            = 'c' # :nodoc:
+    rescue LoadError
+      Racc_Main_Parsing_Routine    = :_racc_do_parse_rb
+      Racc_YY_Parse_Method         = :_racc_yyparse_rb
+      Racc_Runtime_Core_Version    = Racc_Runtime_Core_Version_R
+      Racc_Runtime_Type            = 'ruby'
+    end
 
-    def initialize(text)
-      @text = text
+    def Parser.racc_runtime_type # :nodoc:
+      Racc_Runtime_Type
     end
 
-    def parse
-      report_duration(:parse) do
-        lexer = Lexer.new(@text)
-        grammar = Grammar.new
-        process_prologue(grammar, lexer)
-        parse_bison_declarations(TokenScanner.new(lexer.bison_declarations_tokens), grammar)
-        parse_grammar_rules(TokenScanner.new(lexer.grammar_rules_tokens), grammar)
-        process_epilogue(grammar, lexer)
-        grammar.prepare
-        grammar.compute_nullable
-        grammar.compute_first_set
-        grammar.validate!
-
-        grammar
+    def _racc_setup
+      @yydebug = false unless self.class::Racc_debug_parser
+      @yydebug = false unless defined?(@yydebug)
+      if @yydebug
+        @racc_debug_out = $stderr unless defined?(@racc_debug_out)
+        @racc_debug_out ||= $stderr
       end
+      arg = self.class::Racc_arg
+      arg[13] = true if arg.size < 14
+      arg
     end
 
-    private
+    def _racc_init_sysvars
+      @racc_state  = [0]
+      @racc_tstack = []
+      @racc_vstack = []
 
-    def process_prologue(grammar, lexer)
-      grammar.prologue_first_lineno = lexer.prologue.first[1] if lexer.prologue.first
-      grammar.prologue = lexer.prologue.map(&:first).join
+      @racc_t = nil
+      @racc_val = nil
+
+      @racc_read_next = true
+
+      @racc_user_yyerror = false
+      @racc_error_status = 0
+    end
+
+    # The entry point of the parser. This method is used with #next_token.
+    # If Racc wants to get token (and its value), calls next_token.
+    #
+    # Example:
+    #     def parse
+    #       @q = [[1,1],
+    #             [2,2],
+    #             [3,3],
+    #             [false, '$']]
+    #       do_parse
+    #     end
+    #
+    #     def next_token
+    #       @q.shift
+    #     end
+    class_eval <<~RUBY, __FILE__, __LINE__ + 1
+    def do_parse
+      #{Racc_Main_Parsing_Routine}(_racc_setup(), false)
     end
+    RUBY
 
-    def process_epilogue(grammar, lexer)
-      grammar.epilogue_first_lineno = lexer.epilogue.first[1] if lexer.epilogue.first
-      grammar.epilogue = lexer.epilogue.map(&:first).join
+    # The method to fetch next token.
+    # If you use #do_parse method, you must implement #next_token.
+    #
+    # The format of return value is [TOKEN_SYMBOL, VALUE].
+    # +token-symbol+ is represented by Ruby's symbol by default, e.g. :IDENT
+    # for 'IDENT'.  ";" (String) for ';'.
+    #
+    # The final symbol (End of file) must be false.
+    def next_token
+      raise NotImplementedError, "#{self.class}\#next_token is not defined"
     end
 
-    def parse_bison_declarations(ts, grammar)
-      precedence_number = 0
-
-      while !ts.eots? do
-        case ts.current_type
-        when T::P_expect
-          ts.next
-          grammar.expect = ts.consume!(T::Number).s_value
-        when T::P_define
-          ts.next
-          # Ignore
-          ts.consume_multi(T::Ident)
-        when T::P_printer
-          lineno = ts.current_token.line
-          ts.next
-          code = ts.consume!(T::User_code)
-          code = grammar.build_code(:printer, code)
-          ident_or_tags = ts.consume_multi(T::Ident, T::Tag)
-          grammar.add_printer(ident_or_tags: ident_or_tags, code: code, lineno: lineno)
-        when T::P_error_token
-          lineno = ts.current_token.line
-          ts.next
-          code = ts.consume!(T::User_code)
-          code = grammar.build_code(:printer, code)
-          ident_or_tags = ts.consume_multi(T::Ident, T::Tag)
-          grammar.add_error_token(ident_or_tags: ident_or_tags, code: code, lineno: lineno)
-        when T::P_lex_param
-          ts.next
-          code = ts.consume!(T::User_code)
-          code = grammar.build_code(:lex_param, code)
-          grammar.lex_param = code.token_code.s_value
-        when T::P_parse_param
-          ts.next
-          code = ts.consume!(T::User_code)
-          code = grammar.build_code(:parse_param, code)
-          grammar.parse_param = code.token_code.s_value
-        when T::P_initial_action
-          ts.next
-          code = ts.consume!(T::User_code)
-          code = grammar.build_code(:initial_action, code)
-          ts.consume(T::Semicolon)
-          grammar.initial_action = code
-        when T::P_union
-          lineno = ts.current_token.line
-          ts.next
-          code = ts.consume!(T::User_code)
-          code = grammar.build_code(:union, code)
-          ts.consume(T::Semicolon)
-          grammar.set_union(code, lineno)
-        when T::P_token
-          # %token tag? (ident number? string?)+
-          #
-          # * ident can be char, e.g. '\\', '\t', '\13'
-          # * number is a token_id for term
-          #
-          # These are valid token declaration (from CRuby parse.y)
-          #
-          # %token END_OF_INPUT   0 "end-of-input"
-          # %token <id> '\\'      "backslash"
-          # %token tSP            "escaped space"
-          # %token tUPLUS         132 "unary+"
-          # %token tCOLON3        ":: at EXPR_BEG"
-          # %token tSTRING_DBEG tSTRING_DVAR tLAMBEG tLABEL_END
-          #
-          #
-          # See: https://www.gnu.org/software/bison/manual/html_node/Symbol-Decls.html
-          ts.next
-          opt_tag = ts.consume(T::Tag)
-
-          while (id = ts.consume(T::Ident, T::Char)) do
-            opt_number = ts.consume(T::Number)
-            opt_string = ts.consume(T::String)
-            # Can replace 0 (EOF)
-            grammar.add_term(
-              id: id,
-              alias_name: opt_string && opt_string.s_value,
-              token_id: opt_number && opt_number.s_value,
-              tag: opt_tag,
-              replace: true,
-            )
+    def _racc_do_parse_rb(arg, in_debug)
+      action_table, action_check, action_default, action_pointer,
+      _,            _,            _,              _,
+      _,            _,            token_table,    * = arg
+
+      _racc_init_sysvars
+      tok = act = i = nil
+
+      catch(:racc_end_parse) {
+        while true
+          if i = action_pointer[@racc_state[-1]]
+            if @racc_read_next
+              if @racc_t != 0   # not EOF
+                tok, @racc_val = next_token()
+                unless tok      # EOF
+                  @racc_t = 0
+                else
+                  @racc_t = (token_table[tok] or 1)   # error token
+                end
+                racc_read_token(@racc_t, tok, @racc_val) if @yydebug
+                @racc_read_next = false
+              end
+            end
+            i += @racc_t
+            unless i >= 0 and
+                   act = action_table[i] and
+                   action_check[i] == @racc_state[-1]
+              act = action_default[@racc_state[-1]]
+            end
+          else
+            act = action_default[@racc_state[-1]]
           end
-        when T::P_type
-          # %type tag? (ident|char|string)+
-          #
-          # See: https://www.gnu.org/software/bison/manual/html_node/Symbol-Decls.html
-          ts.next
-          opt_tag = ts.consume(T::Tag)
-
-          while (id = ts.consume(T::Ident, T::Char, T::String)) do
-            grammar.add_type(
-              id: id,
-              tag: opt_tag
-            )
+          while act = _racc_evalact(act, arg)
+            ;
           end
-        when T::P_nonassoc
-          # %nonassoc (ident|char|string)+
-          ts.next
-          while (id = ts.consume(T::Ident, T::Char, T::String)) do
-            sym = grammar.add_term(id: id)
-            grammar.add_nonassoc(sym, precedence_number)
+        end
+      }
+    end
+
+    # Another entry point for the parser.
+    # If you use this method, you must implement RECEIVER#METHOD_ID method.
+    #
+    # RECEIVER#METHOD_ID is a method to get next token.
+    # It must 'yield' the token, which format is [TOKEN-SYMBOL, VALUE].
+    class_eval <<~RUBY, __FILE__, __LINE__ + 1
+    def yyparse(recv, mid)
+      #{Racc_YY_Parse_Method}(recv, mid, _racc_setup(), false)
+    end
+    RUBY
+
+    def _racc_yyparse_rb(recv, mid, arg, c_debug)
+      action_table, action_check, action_default, action_pointer,
+      _,            _,            _,              _,
+      _,            _,            token_table,    * = arg
+
+      _racc_init_sysvars
+
+      catch(:racc_end_parse) {
+        until i = action_pointer[@racc_state[-1]]
+          while act = _racc_evalact(action_default[@racc_state[-1]], arg)
+            ;
           end
-          precedence_number += 1
-        when T::P_left
-          # %left (ident|char|string)+
-          ts.next
-          while (id = ts.consume(T::Ident, T::Char, T::String)) do
-            sym = grammar.add_term(id: id)
-            grammar.add_left(sym, precedence_number)
+        end
+        recv.__send__(mid) do |tok, val|
+          unless tok
+            @racc_t = 0
+          else
+            @racc_t = (token_table[tok] or 1)   # error token
           end
-          precedence_number += 1
-        when T::P_right
-          # %right (ident|char|string)+
-          ts.next
-          while (id = ts.consume(T::Ident, T::Char, T::String)) do
-            sym = grammar.add_term(id: id)
-            grammar.add_right(sym, precedence_number)
+          @racc_val = val
+          @racc_read_next = false
+
+          i += @racc_t
+          unless i >= 0 and
+                 act = action_table[i] and
+                 action_check[i] == @racc_state[-1]
+            act = action_default[@racc_state[-1]]
           end
-          precedence_number += 1
-        when T::P_precedence
-          # %precedence (ident|char|string)+
-          ts.next
-          while (id = ts.consume(T::Ident, T::Char, T::String)) do
-            sym = grammar.add_term(id: id)
-            grammar.add_precedence(sym, precedence_number)
+          while act = _racc_evalact(act, arg)
+            ;
+          end
+
+          while !(i = action_pointer[@racc_state[-1]]) ||
+                ! @racc_read_next ||
+                @racc_t == 0  # $
+            unless i and i += @racc_t and
+                   i >= 0 and
+                   act = action_table[i] and
+                   action_check[i] == @racc_state[-1]
+              act = action_default[@racc_state[-1]]
+            end
+            while act = _racc_evalact(act, arg)
+              ;
+            end
           end
-          precedence_number += 1
-        when nil
-          # end of input
-          raise "Reach to end of input within declarations"
-        else
-          raise "Unexpected token: #{ts.current_token}"
         end
-      end
+      }
     end
 
-    def parse_grammar_rules(ts, grammar)
-      while !ts.eots? do
-        parse_grammar_rule(ts, grammar)
+    ###
+    ### common
+    ###
+
+    def _racc_evalact(act, arg)
+      action_table, action_check, _, action_pointer,
+      _,            _,            _, _,
+      _,            _,            _, shift_n,
+      reduce_n,     * = arg
+      nerr = 0   # tmp
+
+      if act > 0 and act < shift_n
+        #
+        # shift
+        #
+        if @racc_error_status > 0
+          @racc_error_status -= 1 unless @racc_t <= 1 # error token or EOF
+        end
+        @racc_vstack.push @racc_val
+        @racc_state.push act
+        @racc_read_next = true
+        if @yydebug
+          @racc_tstack.push @racc_t
+          racc_shift @racc_t, @racc_tstack, @racc_vstack
+        end
+
+      elsif act < 0 and act > -reduce_n
+        #
+        # reduce
+        #
+        code = catch(:racc_jump) {
+          @racc_state.push _racc_do_reduce(arg, act)
+          false
+        }
+        if code
+          case code
+          when 1 # yyerror
+            @racc_user_yyerror = true   # user_yyerror
+            return -reduce_n
+          when 2 # yyaccept
+            return shift_n
+          else
+            raise '[Racc Bug] unknown jump code'
+          end
+        end
+
+      elsif act == shift_n
+        #
+        # accept
+        #
+        racc_accept if @yydebug
+        throw :racc_end_parse, @racc_vstack[0]
+
+      elsif act == -reduce_n
+        #
+        # error
+        #
+        case @racc_error_status
+        when 0
+          unless arg[21]    # user_yyerror
+            nerr += 1
+            on_error @racc_t, @racc_val, @racc_vstack
+          end
+        when 3
+          if @racc_t == 0   # is $
+            # We're at EOF, and another error occurred immediately after
+            # attempting auto-recovery
+            throw :racc_end_parse, nil
+          end
+          @racc_read_next = true
+        end
+        @racc_user_yyerror = false
+        @racc_error_status = 3
+        while true
+          if i = action_pointer[@racc_state[-1]]
+            i += 1   # error token
+            if  i >= 0 and
+                (act = action_table[i]) and
+                action_check[i] == @racc_state[-1]
+              break
+            end
+          end
+          throw :racc_end_parse, nil if @racc_state.size <= 1
+          @racc_state.pop
+          @racc_vstack.pop
+          if @yydebug
+            @racc_tstack.pop
+            racc_e_pop @racc_state, @racc_tstack, @racc_vstack
+          end
+        end
+        return act
+
+      else
+        raise "[Racc Bug] unknown action #{act.inspect}"
       end
+
+      racc_next_state(@racc_state[-1], @racc_state) if @yydebug
+
+      nil
     end
 
-    # TODO: Take care of %prec of rule.
-    #       If %prec exists, user code before %prec
-    #       is NOT an action. For example "{ code 3 }" is NOT an action.
-    #
-    #  keyword_class { code 2 } tSTRING '!' keyword_end { code 3 } %prec "="
-    def parse_grammar_rule(ts, grammar)
-      # LHS
-      lhs = ts.consume!(T::Ident_Colon) # class:
-      lhs.type = T::Ident
-      if named_ref = ts.consume(T::Named_Ref)
-        lhs.alias = named_ref.s_value
+    def _racc_do_reduce(arg, act)
+      _,          _,            _,            _,
+      goto_table, goto_check,   goto_default, goto_pointer,
+      nt_base,    reduce_table, _,            _,
+      _,          use_result,   * = arg
+
+      state = @racc_state
+      vstack = @racc_vstack
+      tstack = @racc_tstack
+
+      i = act * -3
+      len       = reduce_table[i]
+      reduce_to = reduce_table[i+1]
+      method_id = reduce_table[i+2]
+      void_array = []
+
+      tmp_t = tstack[-len, len] if @yydebug
+      tmp_v = vstack[-len, len]
+      tstack[-len, len] = void_array if @yydebug
+      vstack[-len, len] = void_array
+      state[-len, len]  = void_array
+
+      # tstack must be updated AFTER method call
+      if use_result
+        vstack.push __send__(method_id, tmp_v, vstack, tmp_v[0])
+      else
+        vstack.push __send__(method_id, tmp_v, vstack)
       end
+      tstack.push reduce_to
 
-      rhs = parse_grammar_rule_rhs(ts, grammar, lhs)
-
-      grammar.add_rule(lhs: lhs, rhs: rhs, lineno: rhs.first ? rhs.first.line : lhs.line)
-
-      while true do
-        case ts.current_type
-        when T::Bar
-          # |
-          bar_lineno = ts.current_token.line
-          ts.next
-          rhs = parse_grammar_rule_rhs(ts, grammar, lhs)
-          grammar.add_rule(lhs: lhs, rhs: rhs, lineno: rhs.first ? rhs.first.line : bar_lineno)
-        when T::Semicolon
-          # ;
-          ts.next
-          break
-        when T::Ident_Colon
-          # Next lhs can be here because ";" is optional.
-          # Do not consume next token.
-          break
-        when nil
-          # end of input can be here when ";" is omitted
-          break
-        else
-          raise "Unexpected token: #{ts.current_token}"
+      racc_reduce(tmp_t, reduce_to, tstack, vstack) if @yydebug
+
+      k1 = reduce_to - nt_base
+      if i = goto_pointer[k1]
+        i += state[-1]
+        if i >= 0 and (curstate = goto_table[i]) and goto_check[i] == k1
+          return curstate
         end
       end
+      goto_default[k1]
     end
 
-    def parse_grammar_rule_rhs(ts, grammar, lhs)
-      a = []
-      prec_seen = false
-      code_after_prec = false
-
-      while true do
-        # TODO: String can be here
-        case ts.current_type
-        when T::Ident
-          # keyword_class
-
-          raise "Ident after %prec" if prec_seen
-          a << ts.current_token
-          ts.next
-        when T::Char
-          # '!'
-
-          raise "Char after %prec" if prec_seen
-          a << ts.current_token
-          ts.next
-        when T::P_prec
-          # %prec tPLUS
-          #
-          # See: https://www.gnu.org/software/bison/manual/html_node/Contextual-Precedence.html
-
-          ts.next
-          prec_seen = true
-          precedence_id = ts.consume!(T::Ident, T::String, T::Char)
-          precedence_sym = grammar.find_symbol_by_id!(precedence_id)
-          a << precedence_sym
-        when T::User_code
-          # { code } in the middle of rhs
-
-          if prec_seen
-            raise "Multiple User_code after %prec" if code_after_prec
-            code_after_prec = true
-          end
+    # This method is called when a parse error is found.
+    #
+    # ERROR_TOKEN_ID is an internal ID of token which caused error.
+    # You can get string representation of this ID by calling
+    # #token_to_str.
+    #
+    # ERROR_VALUE is a value of error token.
+    #
+    # value_stack is a stack of symbol values.
+    # DO NOT MODIFY this object.
+    #
+    # This method raises ParseError by default.
+    #
+    # If this method returns, parsers enter "error recovering mode".
+    def on_error(t, val, vstack)
+      raise ParseError, sprintf("\nparse error on value %s (%s)",
+                                val.inspect, token_to_str(t) || '?')
+    end
 
-          code = ts.current_token
-          code.numberize_references(lhs, a)
-          grammar.build_references(code)
-          a << code
-          ts.next
-        when T::Named_Ref
-          ts.previous_token.alias = ts.current_token.s_value
-          ts.next
-        when T::Bar
-          # |
-          break
-        when T::Semicolon
-          # ;
-          break
-        when T::Ident_Colon
-          # Next lhs can be here because ";" is optional.
-          break
-        when nil
-          # end of input can be here when ";" is omitted
-          break
-        else
-          raise "Unexpected token: #{ts.current_token}"
-        end
+    # Enter error recovering mode.
+    # This method does not call #on_error.
+    def yyerror
+      throw :racc_jump, 1
+    end
+
+    # Exit parser.
+    # Return value is +Symbol_Value_Stack[0]+.
+    def yyaccept
+      throw :racc_jump, 2
+    end
+
+    # Leave error recovering mode.
+    def yyerrok
+      @racc_error_status = 0
+    end
+
+    # For debugging output
+    def racc_read_token(t, tok, val)
+      @racc_debug_out.print 'read    '
+      @racc_debug_out.print tok.inspect, '(', racc_token2str(t), ') '
+      @racc_debug_out.puts val.inspect
+      @racc_debug_out.puts
+    end
+
+    def racc_shift(tok, tstack, vstack)
+      @racc_debug_out.puts "shift   #{racc_token2str tok}"
+      racc_print_stacks tstack, vstack
+      @racc_debug_out.puts
+    end
+
+    def racc_reduce(toks, sim, tstack, vstack)
+      out = @racc_debug_out
+      out.print 'reduce '
+      if toks.empty?
+        out.print ' <none>'
+      else
+        toks.each {|t| out.print ' ', racc_token2str(t) }
+      end
+      out.puts " --> #{racc_token2str(sim)}"
+      racc_print_stacks tstack, vstack
+      @racc_debug_out.puts
+    end
+
+    def racc_accept
+      @racc_debug_out.puts 'accept'
+      @racc_debug_out.puts
+    end
+
+    def racc_e_pop(state, tstack, vstack)
+      @racc_debug_out.puts 'error recovering mode: pop token'
+      racc_print_states state
+      racc_print_stacks tstack, vstack
+      @racc_debug_out.puts
+    end
+
+    def racc_next_state(curstate, state)
+      @racc_debug_out.puts  "goto    #{curstate}"
+      racc_print_states state
+      @racc_debug_out.puts
+    end
+
+    def racc_print_stacks(t, v)
+      out = @racc_debug_out
+      out.print '        ['
+      t.each_index do |i|
+        out.print ' (', racc_token2str(t[i]), ' ', v[i].inspect, ')'
       end
+      out.puts ' ]'
+    end
+
+    def racc_print_states(s)
+      out = @racc_debug_out
+      out.print '        ['
+      s.each {|st| out.print ' ', st }
+      out.puts ' ]'
+    end
 
-      return a
+    def racc_token2str(tok)
+      self.class::Racc_token_to_s_table[tok] or
+          raise "[Racc Bug] can't convert token #{tok} to string"
     end
+
+    # Convert internal ID of token symbol to the string.
+    def token_to_str(t)
+      self.class::Racc_token_to_s_table[t]
+    end
+
+  end
+
+end
+
+...end racc/parser.rb/module_eval...
+end
+###### racc/parser.rb end
+module Lrama
+  class Parser < Racc::Parser
+
+module_eval(<<'...end parser.y/module_eval...', 'parser.y', 388)
+
+include Lrama::Report::Duration
+
+def initialize(text, path)
+  @text = text
+  @path = path
+end
+
+def parse
+  report_duration(:parse) do
+    @lexer = Lrama::Lexer.new(@text)
+    @grammar = Lrama::Grammar.new
+    @precedence_number = 0
+    do_parse
+    @grammar.extract_references
+    @grammar.prepare
+    @grammar.compute_nullable
+    @grammar.compute_first_set
+    @grammar.validate!
+    @grammar
+  end
+end
+
+def next_token
+  @lexer.next_token
+end
+
+def on_error(error_token_id, error_value, value_stack)
+  source = @text.split("\n")[error_value.line - 1]
+  raise ParseError, <<~ERROR
+    #{@path}:#{@lexer.line}:#{@lexer.column}: parse error on value #{error_value.inspect} (#{token_to_str(error_token_id) || '?'})
+    #{source}
+    #{' ' * @lexer.column}^
+  ERROR
+end
+...end parser.y/module_eval...
+##### State transition tables begin ###
+
+racc_action_table = [
+    82,   132,    83,    42,    42,    41,    41,    65,    65,    42,
+    42,    41,    41,   131,    56,    68,     3,     8,    38,   134,
+   134,    42,    42,    41,    41,    65,    61,    68,    38,     6,
+    32,     7,    84,    77,   135,   135,    20,    22,    23,    24,
+    25,    26,    27,    28,    29,    30,    20,    22,    23,    24,
+    25,    26,    27,    28,    29,    30,     9,    39,    44,    14,
+    12,    13,    15,    16,    17,    18,    46,    46,    19,    20,
+    22,    23,    24,    25,    26,    27,    28,    29,    30,    42,
+    42,    41,    41,    46,    68,    68,    42,    42,    41,    41,
+    65,   153,    42,    42,    41,    41,    65,   153,    42,    42,
+    41,    41,    65,   153,    42,    42,    41,    41,    65,   153,
+    42,    42,    41,    41,    65,   153,    42,    42,    41,    41,
+    65,   153,    42,    42,    41,    41,    65,    65,    42,    42,
+    41,    41,    65,    65,    42,    42,    41,    41,    65,    65,
+    42,    42,    41,    41,    42,    42,    41,    41,    42,    42,
+    41,    41,    42,    42,    41,    41,    49,    50,    51,    52,
+    53,    74,    78,    80,    85,    85,    85,    92,    96,    97,
+   105,   106,   108,   109,   110,   111,   112,   113,   116,   118,
+   119,   122,   123,   124,   138,   139,   140,   141,   142,   143,
+   122,    80,   148,   149,   156,   160,   161,    80,    80 ]
+
+racc_action_check = [
+    40,   120,    40,   121,   144,   121,   144,   121,   144,    25,
+    27,    25,    27,   120,    25,    27,     1,     3,     9,   121,
+   144,    26,    28,    26,    28,    26,    26,    28,    33,     2,
+     7,     2,    40,    33,   121,   144,     9,     9,     9,     9,
+     9,     9,     9,     9,     9,     9,    33,    33,    33,    33,
+    33,    33,    33,    33,    33,    33,     4,    12,    14,     4,
+     4,     4,     4,     4,     4,     4,    15,    16,     4,     4,
+     4,     4,     4,     4,     4,     4,     4,     4,     4,    29,
+    30,    29,    30,    17,    29,    30,   141,    13,   141,    13,
+   141,   141,   142,    55,   142,    55,   142,   142,   143,    56,
+   143,    56,   143,   143,   150,    66,   150,    66,   150,   150,
+   154,    67,   154,    67,   154,   154,   155,    68,   155,    68,
+   155,   155,    60,    61,    60,    61,    60,    61,    97,    99,
+    97,    99,    97,    99,   117,   135,   117,   135,   117,   135,
+    71,    72,    71,    72,    73,    92,    73,    92,    94,   100,
+    94,   100,   102,   114,   102,   114,    18,    20,    22,    23,
+    24,    31,    36,    37,    45,    47,    48,    54,    58,    59,
+    79,    80,    86,    87,    88,    89,    90,    91,    95,   103,
+   104,   105,   106,   107,   125,   126,   127,   128,   129,   130,
+   131,   133,   136,   137,   146,   157,   159,   160,   161 ]
+
+racc_action_pointer = [
+   nil,    16,    19,    17,    47,   nil,   nil,    23,   nil,    14,
+   nil,   nil,    51,    84,    51,    47,    48,    64,   137,   nil,
+   138,   nil,   139,   140,   141,     6,    18,     7,    19,    76,
+    77,   159,   nil,    24,   nil,   nil,   141,   128,   nil,   nil,
+    -5,   nil,   nil,   nil,   nil,   145,   nil,   146,   147,   nil,
+   nil,   nil,   nil,   nil,   159,    90,    96,   nil,   162,   161,
+   119,   120,   nil,   nil,   nil,   nil,   102,   108,   114,   nil,
+   nil,   137,   138,   141,   nil,   nil,   nil,   nil,   nil,   138,
+   166,   nil,   nil,   nil,   nil,   nil,   170,   171,   172,   173,
+   174,   175,   142,   nil,   145,   171,   nil,   125,   nil,   126,
+   146,   nil,   149,   168,   178,   162,   146,   181,   nil,   nil,
+   nil,   nil,   nil,   nil,   150,   nil,   nil,   131,   nil,   nil,
+   -20,     0,   nil,   nil,   nil,   164,   165,   166,   167,   168,
+   169,   171,   nil,   156,   nil,   132,   190,   173,   nil,   nil,
+   nil,    83,    89,    95,     1,   nil,   192,   nil,   nil,   nil,
+   101,   nil,   nil,   nil,   107,   113,   nil,   175,   nil,   176,
+   162,   163,   nil,   nil ]
+
+racc_action_default = [
+    -2,  -104,    -8,  -104,  -104,    -3,    -4,  -104,   164,  -104,
+    -9,   -10,  -104,  -104,  -104,  -104,  -104,  -104,  -104,   -20,
+  -104,   -24,  -104,  -104,  -104,  -104,  -104,  -104,  -104,  -104,
+  -104,  -104,    -7,   -91,   -71,   -73,  -104,   -88,   -90,   -11,
+   -95,   -69,   -70,   -94,   -13,   -14,   -60,   -15,   -16,   -17,
+   -21,   -25,   -28,   -31,   -34,   -40,  -104,   -43,   -46,   -35,
+   -50,  -104,   -53,   -55,   -56,  -103,   -36,   -63,  -104,   -66,
+   -68,   -37,   -38,   -39,    -5,    -1,   -72,   -92,   -74,  -104,
+  -104,   -12,   -96,   -97,   -98,   -57,  -104,  -104,  -104,  -104,
+  -104,  -104,  -104,   -44,   -41,   -48,   -47,  -104,   -54,   -51,
+   -65,   -67,   -64,  -104,  -104,   -79,  -104,  -104,   -61,   -18,
+   -22,   -26,   -29,   -32,   -42,   -45,   -49,   -52,    -6,   -93,
+   -75,   -76,   -84,   -89,   -58,  -104,  -104,  -104,  -104,  -104,
+  -104,   -79,   -78,   -88,   -81,  -104,  -104,  -104,   -62,   -19,
+   -23,  -104,  -104,  -104,   -77,   -80,  -104,   -87,   -85,   -59,
+   -27,   -99,  -101,  -102,   -30,   -33,   -82,  -104,  -100,  -104,
+   -88,   -88,   -86,   -83 ]
+
+racc_goto_table = [
+    79,    43,    62,    60,    55,   121,    93,   101,    34,    66,
+    71,    72,    73,    58,     1,    70,    70,    70,    70,   100,
+     2,   102,     4,   158,   100,   100,   100,   158,   158,    33,
+    75,   144,    76,     5,    31,    94,    98,    62,    99,   103,
+   101,    10,   101,    58,    58,    93,    45,    47,    48,   150,
+   154,   155,    11,    40,    70,    70,    70,    81,    87,    70,
+    70,    70,   126,    88,   127,    93,    89,   128,    90,   129,
+    91,   114,   130,    62,   117,    98,    54,    59,    95,   115,
+    58,   107,    58,   137,    86,   125,   120,   146,    70,   159,
+    70,   136,   157,    98,   104,   nil,   145,   133,   nil,   nil,
+   nil,   nil,    58,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   147,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   133,   nil,   nil,   162,   163 ]
+
+racc_goto_check = [
+    46,    31,    35,    34,    29,    48,    30,    42,    43,    28,
+    28,    28,    28,    31,     1,    31,    31,    31,    31,    41,
+     2,    41,     3,    54,    41,    41,    41,    54,    54,     4,
+     5,    48,    43,     6,     7,    29,    35,    35,    34,     8,
+    42,     9,    42,    31,    31,    30,    13,    13,    13,    17,
+    17,    17,    10,    11,    31,    31,    31,    12,    14,    31,
+    31,    31,    15,    18,    19,    30,    20,    21,    22,    23,
+    24,    29,    25,    35,    34,    35,    26,    27,    32,    33,
+    31,    37,    31,    38,    39,    40,    47,    49,    31,    50,
+    31,    51,    52,    35,    53,   nil,    46,    35,   nil,   nil,
+   nil,   nil,    31,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    35,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    35,   nil,   nil,    46,    46 ]
+
+racc_goto_pointer = [
+   nil,    14,    20,    20,    20,    -3,    31,    28,   -35,    37,
+    48,    40,    17,    31,     9,   -47,   nil,   -92,    13,   -46,
+    15,   -44,    16,   -43,    17,   -41,    51,    51,   -18,   -21,
+   -49,   -12,    20,   -16,   -23,   -24,   nil,    -4,   -41,    38,
+   -23,   -47,   -60,    -1,   nil,   nil,   -37,   -19,  -100,   -47,
+   -67,   -31,   -56,    17,  -127 ]
+
+racc_goto_default = [
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    36,   nil,   nil,   nil,   nil,   nil,    21,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    57,    63,   nil,   nil,   nil,   152,    64,   nil,   nil,   nil,
+   nil,    67,    69,   nil,    35,    37,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   151 ]
+
+racc_reduce_table = [
+  0, 0, :racc_error,
+  5, 39, :_reduce_none,
+  0, 40, :_reduce_none,
+  2, 40, :_reduce_none,
+  0, 45, :_reduce_4,
+  0, 46, :_reduce_5,
+  5, 44, :_reduce_6,
+  2, 44, :_reduce_none,
+  0, 41, :_reduce_8,
+  2, 41, :_reduce_none,
+  1, 47, :_reduce_none,
+  2, 47, :_reduce_11,
+  3, 47, :_reduce_none,
+  2, 47, :_reduce_none,
+  2, 47, :_reduce_none,
+  2, 47, :_reduce_15,
+  2, 47, :_reduce_16,
+  0, 52, :_reduce_17,
+  0, 53, :_reduce_18,
+  6, 47, :_reduce_19,
+  1, 47, :_reduce_none,
+  0, 56, :_reduce_21,
+  0, 57, :_reduce_22,
+  6, 48, :_reduce_23,
+  1, 48, :_reduce_none,
+  0, 58, :_reduce_25,
+  0, 59, :_reduce_26,
+  7, 48, :_reduce_none,
+  0, 60, :_reduce_28,
+  0, 61, :_reduce_29,
+  7, 48, :_reduce_30,
+  0, 62, :_reduce_31,
+  0, 63, :_reduce_32,
+  7, 48, :_reduce_33,
+  2, 54, :_reduce_none,
+  2, 54, :_reduce_35,
+  2, 54, :_reduce_36,
+  2, 54, :_reduce_37,
+  2, 54, :_reduce_38,
+  2, 54, :_reduce_39,
+  1, 64, :_reduce_40,
+  2, 64, :_reduce_41,
+  3, 64, :_reduce_42,
+  1, 67, :_reduce_43,
+  2, 67, :_reduce_44,
+  3, 68, :_reduce_45,
+  0, 70, :_reduce_none,
+  1, 70, :_reduce_none,
+  0, 71, :_reduce_none,
+  1, 71, :_reduce_none,
+  1, 65, :_reduce_50,
+  2, 65, :_reduce_51,
+  3, 65, :_reduce_52,
+  1, 72, :_reduce_53,
+  2, 72, :_reduce_54,
+  1, 73, :_reduce_none,
+  1, 73, :_reduce_none,
+  0, 75, :_reduce_57,
+  0, 76, :_reduce_58,
+  6, 51, :_reduce_59,
+  0, 77, :_reduce_60,
+  0, 78, :_reduce_61,
+  5, 51, :_reduce_62,
+  1, 66, :_reduce_63,
+  2, 66, :_reduce_64,
+  2, 66, :_reduce_65,
+  1, 79, :_reduce_66,
+  2, 79, :_reduce_67,
+  1, 80, :_reduce_none,
+  1, 69, :_reduce_69,
+  1, 69, :_reduce_70,
+  1, 42, :_reduce_none,
+  2, 42, :_reduce_none,
+  1, 81, :_reduce_none,
+  2, 81, :_reduce_none,
+  4, 82, :_reduce_75,
+  1, 85, :_reduce_76,
+  3, 85, :_reduce_77,
+  2, 85, :_reduce_none,
+  0, 86, :_reduce_79,
+  3, 86, :_reduce_80,
+  0, 87, :_reduce_81,
+  0, 88, :_reduce_82,
+  7, 86, :_reduce_83,
+  0, 89, :_reduce_84,
+  0, 90, :_reduce_85,
+  6, 86, :_reduce_86,
+  3, 86, :_reduce_87,
+  0, 84, :_reduce_none,
+  3, 84, :_reduce_89,
+  1, 83, :_reduce_none,
+  0, 43, :_reduce_none,
+  0, 91, :_reduce_92,
+  3, 43, :_reduce_93,
+  1, 49, :_reduce_none,
+  0, 50, :_reduce_none,
+  1, 50, :_reduce_none,
+  1, 50, :_reduce_none,
+  1, 50, :_reduce_none,
+  1, 55, :_reduce_99,
+  2, 55, :_reduce_100,
+  1, 92, :_reduce_none,
+  1, 92, :_reduce_none,
+  1, 74, :_reduce_103 ]
+
+racc_reduce_n = 104
+
+racc_shift_n = 164
+
+racc_token_table = {
+  false => 0,
+  :error => 1,
+  :C_DECLARATION => 2,
+  :CHARACTER => 3,
+  :IDENT_COLON => 4,
+  :IDENTIFIER => 5,
+  :INTEGER => 6,
+  :STRING => 7,
+  :TAG => 8,
+  "%%" => 9,
+  "%{" => 10,
+  "%}" => 11,
+  "%require" => 12,
+  "%expect" => 13,
+  "%define" => 14,
+  "%param" => 15,
+  "%lex-param" => 16,
+  "%parse-param" => 17,
+  "%initial-action" => 18,
+  "{" => 19,
+  "}" => 20,
+  ";" => 21,
+  "%union" => 22,
+  "%destructor" => 23,
+  "%printer" => 24,
+  "%error-token" => 25,
+  "%token" => 26,
+  "%type" => 27,
+  "%left" => 28,
+  "%right" => 29,
+  "%precedence" => 30,
+  "%nonassoc" => 31,
+  ":" => 32,
+  "|" => 33,
+  "%prec" => 34,
+  "[" => 35,
+  "]" => 36,
+  "{...}" => 37 }
+
+racc_nt_base = 38
+
+racc_use_result_var = true
+
+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 ]
+Ractor.make_shareable(Racc_arg) if defined?(Ractor)
+
+Racc_token_to_s_table = [
+  "$end",
+  "error",
+  "C_DECLARATION",
+  "CHARACTER",
+  "IDENT_COLON",
+  "IDENTIFIER",
+  "INTEGER",
+  "STRING",
+  "TAG",
+  "\"%%\"",
+  "\"%{\"",
+  "\"%}\"",
+  "\"%require\"",
+  "\"%expect\"",
+  "\"%define\"",
+  "\"%param\"",
+  "\"%lex-param\"",
+  "\"%parse-param\"",
+  "\"%initial-action\"",
+  "\"{\"",
+  "\"}\"",
+  "\";\"",
+  "\"%union\"",
+  "\"%destructor\"",
+  "\"%printer\"",
+  "\"%error-token\"",
+  "\"%token\"",
+  "\"%type\"",
+  "\"%left\"",
+  "\"%right\"",
+  "\"%precedence\"",
+  "\"%nonassoc\"",
+  "\":\"",
+  "\"|\"",
+  "\"%prec\"",
+  "\"[\"",
+  "\"]\"",
+  "\"{...}\"",
+  "$start",
+  "input",
+  "prologue_declarations",
+  "bison_declarations",
+  "grammar",
+  "epilogue_opt",
+  "prologue_declaration",
+  "@1",
+  "@2",
+  "bison_declaration",
+  "grammar_declaration",
+  "variable",
+  "value",
+  "params",
+  "@3",
+  "@4",
+  "symbol_declaration",
+  "generic_symlist",
+  "@5",
+  "@6",
+  "@7",
+  "@8",
+  "@9",
+  "@10",
+  "@11",
+  "@12",
+  "token_declarations",
+  "symbol_declarations",
+  "token_declarations_for_precedence",
+  "token_declaration_list",
+  "token_declaration",
+  "id",
+  "int_opt",
+  "alias",
+  "symbol_declaration_list",
+  "symbol",
+  "string_as_id",
+  "@13",
+  "@14",
+  "@15",
+  "@16",
+  "token_declaration_list_for_precedence",
+  "token_declaration_for_precedence",
+  "rules_or_grammar_declaration",
+  "rules",
+  "id_colon",
+  "named_ref_opt",
+  "rhs_list",
+  "rhs",
+  "@17",
+  "@18",
+  "@19",
+  "@20",
+  "@21",
+  "generic_symlist_item" ]
+Ractor.make_shareable(Racc_token_to_s_table) if defined?(Ractor)
+
+Racc_debug_parser = false
+
+##### State transition tables end #####
+
+# reduce 0 omitted
+
+# reduce 1 omitted
+
+# reduce 2 omitted
+
+# reduce 3 omitted
+
+module_eval(<<'.,.,', 'parser.y', 10)
+  def _reduce_4(val, _values, result)
+                                @lexer.status = :c_declaration
+                            @lexer.end_symbol = '%}'
+                            @grammar.prologue_first_lineno = @lexer.line
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 16)
+  def _reduce_5(val, _values, result)
+                                @lexer.status = :initial
+                            @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 21)
+  def _reduce_6(val, _values, result)
+                                @grammar.prologue = val[2].s_value
+
+    result
+  end
+.,.,
+
+# reduce 7 omitted
+
+module_eval(<<'.,.,', 'parser.y', 25)
+  def _reduce_8(val, _values, result)
+     result = ""
+    result
+  end
+.,.,
+
+# reduce 9 omitted
+
+# reduce 10 omitted
+
+module_eval(<<'.,.,', 'parser.y', 29)
+  def _reduce_11(val, _values, result)
+     @grammar.expect = val[1]
+    result
+  end
+.,.,
+
+# reduce 12 omitted
+
+# reduce 13 omitted
+
+# reduce 14 omitted
+
+module_eval(<<'.,.,', 'parser.y', 35)
+  def _reduce_15(val, _values, result)
+                             val[1].each {|token|
+                           token.references = []
+                           @grammar.lex_param = @grammar.build_code(:lex_param, token).token_code.s_value
+                         }
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 42)
+  def _reduce_16(val, _values, result)
+                             val[1].each {|token|
+                           token.references = []
+                           @grammar.parse_param = @grammar.build_code(:parse_param, token).token_code.s_value
+                         }
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 49)
+  def _reduce_17(val, _values, result)
+                             @lexer.status = :c_declaration
+                         @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 54)
+  def _reduce_18(val, _values, result)
+                             @lexer.status = :initial
+                         @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 59)
+  def _reduce_19(val, _values, result)
+                             @grammar.initial_action = @grammar.build_code(:initial_action, val[3])
+
+    result
+  end
+.,.,
+
+# reduce 20 omitted
+
+module_eval(<<'.,.,', 'parser.y', 65)
+  def _reduce_21(val, _values, result)
+                               @lexer.status = :c_declaration
+                           @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 70)
+  def _reduce_22(val, _values, result)
+                               @lexer.status = :initial
+                           @lexer.end_symbol = nil
+
+    result
   end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 75)
+  def _reduce_23(val, _values, result)
+                               @grammar.set_union(@grammar.build_code(:union, val[3]), val[3].line)
+
+    result
+  end
+.,.,
+
+# reduce 24 omitted
+
+module_eval(<<'.,.,', 'parser.y', 80)
+  def _reduce_25(val, _values, result)
+                               @lexer.status = :c_declaration
+                           @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 85)
+  def _reduce_26(val, _values, result)
+                               @lexer.status = :initial
+                           @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+# reduce 27 omitted
+
+module_eval(<<'.,.,', 'parser.y', 91)
+  def _reduce_28(val, _values, result)
+                               @lexer.status = :c_declaration
+                           @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 96)
+  def _reduce_29(val, _values, result)
+                               @lexer.status = :initial
+                           @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 101)
+  def _reduce_30(val, _values, result)
+                               @grammar.add_printer(ident_or_tags: val[6], code: @grammar.build_code(:printer, val[3]), lineno: val[3].line)
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 105)
+  def _reduce_31(val, _values, result)
+                               @lexer.status = :c_declaration
+                           @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 110)
+  def _reduce_32(val, _values, result)
+                               @lexer.status = :initial
+                           @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 115)
+  def _reduce_33(val, _values, result)
+                               @grammar.add_error_token(ident_or_tags: val[6], code: @grammar.build_code(:error_token, val[3]), lineno: val[3].line)
+
+    result
+  end
+.,.,
+
+# reduce 34 omitted
+
+module_eval(<<'.,.,', 'parser.y', 121)
+  def _reduce_35(val, _values, result)
+                              val[1].each {|hash|
+                            hash[:tokens].each {|id|
+                              @grammar.add_type(id: id, tag: hash[:tag])
+                            }
+                          }
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 129)
+  def _reduce_36(val, _values, result)
+                              val[1].each {|hash|
+                            hash[:tokens].each {|id|
+                              sym = @grammar.add_term(id: id)
+                              @grammar.add_left(sym, @precedence_number)
+                            }
+                          }
+                          @precedence_number += 1
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 139)
+  def _reduce_37(val, _values, result)
+                              val[1].each {|hash|
+                            hash[:tokens].each {|id|
+                              sym = @grammar.add_term(id: id)
+                              @grammar.add_right(sym, @precedence_number)
+                            }
+                          }
+                          @precedence_number += 1
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 149)
+  def _reduce_38(val, _values, result)
+                              val[1].each {|hash|
+                            hash[:tokens].each {|id|
+                              sym = @grammar.add_term(id: id)
+                              @grammar.add_precedence(sym, @precedence_number)
+                            }
+                          }
+                          @precedence_number += 1
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 159)
+  def _reduce_39(val, _values, result)
+                              val[1].each {|hash|
+                            hash[:tokens].each {|id|
+                              sym = @grammar.add_term(id: id)
+                              @grammar.add_nonassoc(sym, @precedence_number)
+                            }
+                          }
+                          @precedence_number += 1
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 170)
+  def _reduce_40(val, _values, result)
+                              val[0].each {|token_declaration|
+                            @grammar.add_term(id: token_declaration[0], alias_name: token_declaration[2], token_id: token_declaration[1], tag: nil, replace: true)
+                          }
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 176)
+  def _reduce_41(val, _values, result)
+                              val[1].each {|token_declaration|
+                            @grammar.add_term(id: token_declaration[0], alias_name: token_declaration[2], token_id: token_declaration[1], tag: val[0], replace: true)
+                          }
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 182)
+  def _reduce_42(val, _values, result)
+                              val[2].each {|token_declaration|
+                            @grammar.add_term(id: token_declaration[0], alias_name: token_declaration[2], token_id: token_declaration[1], tag: val[1], replace: true)
+                          }
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 187)
+  def _reduce_43(val, _values, result)
+     result = [val[0]]
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 188)
+  def _reduce_44(val, _values, result)
+     result = val[0].append(val[1])
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 190)
+  def _reduce_45(val, _values, result)
+     result = val
+    result
+  end
+.,.,
+
+# reduce 46 omitted
+
+# reduce 47 omitted
+
+# reduce 48 omitted
+
+# reduce 49 omitted
+
+module_eval(<<'.,.,', 'parser.y', 200)
+  def _reduce_50(val, _values, result)
+                               result = [{tag: nil, tokens: val[0]}]
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 204)
+  def _reduce_51(val, _values, result)
+                               result = [{tag: val[0], tokens: val[1]}]
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 208)
+  def _reduce_52(val, _values, result)
+                             result = val[0].append({tag: val[1], tokens: val[2]})
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 211)
+  def _reduce_53(val, _values, result)
+     result = [val[0]]
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 212)
+  def _reduce_54(val, _values, result)
+     result = val[0].append(val[1])
+    result
+  end
+.,.,
+
+# reduce 55 omitted
+
+# reduce 56 omitted
+
+module_eval(<<'.,.,', 'parser.y', 219)
+  def _reduce_57(val, _values, result)
+                  @lexer.status = :c_declaration
+              @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 224)
+  def _reduce_58(val, _values, result)
+                  @lexer.status = :initial
+              @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 229)
+  def _reduce_59(val, _values, result)
+                  result = val[0].append(val[3])
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 233)
+  def _reduce_60(val, _values, result)
+                  @lexer.status = :c_declaration
+              @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 238)
+  def _reduce_61(val, _values, result)
+                  @lexer.status = :initial
+              @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 243)
+  def _reduce_62(val, _values, result)
+                  result = [val[2]]
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 248)
+  def _reduce_63(val, _values, result)
+                                             result = [{tag: nil, tokens: val[0]}]
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 252)
+  def _reduce_64(val, _values, result)
+                                             result = [{tag: val[0], tokens: val[1]}]
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 256)
+  def _reduce_65(val, _values, result)
+                                             result = val[0].append({tag: nil, tokens: val[1]})
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 259)
+  def _reduce_66(val, _values, result)
+     result = [val[0]]
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 260)
+  def _reduce_67(val, _values, result)
+     result = val[0].append(val[1])
+    result
+  end
+.,.,
+
+# reduce 68 omitted
+
+module_eval(<<'.,.,', 'parser.y', 264)
+  def _reduce_69(val, _values, result)
+     raise "Ident after %prec" if @prec_seen
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 265)
+  def _reduce_70(val, _values, result)
+     raise "Char after %prec" if @prec_seen
+    result
+  end
+.,.,
+
+# reduce 71 omitted
+
+# reduce 72 omitted
+
+# reduce 73 omitted
+
+# reduce 74 omitted
+
+module_eval(<<'.,.,', 'parser.y', 275)
+  def _reduce_75(val, _values, result)
+                 lhs = val[0]
+             lhs.alias = val[1]
+             val[3].each {|hash|
+               @grammar.add_rule(lhs: lhs, rhs: hash[:rhs], lineno: hash[:lineno])
+             }
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 284)
+  def _reduce_76(val, _values, result)
+                    result = [{rhs: val[0], lineno: val[0].first&.line || @lexer.line - 1}]
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 288)
+  def _reduce_77(val, _values, result)
+                    result = val[0].append({rhs: val[2], lineno: val[2].first&.line || @lexer.line - 1})
+
+    result
+  end
+.,.,
+
+# reduce 78 omitted
+
+module_eval(<<'.,.,', 'parser.y', 294)
+  def _reduce_79(val, _values, result)
+               result = []
+           @prec_seen = false
+           @code_after_prec = false
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 300)
+  def _reduce_80(val, _values, result)
+               token = val[1]
+           token.alias = val[2]
+           result = val[0].append(token)
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 306)
+  def _reduce_81(val, _values, result)
+               if @prec_seen
+             raise "Multiple User_code after %prec" if @code_after_prec
+             @code_after_prec = true
+           end
+           @lexer.status = :c_declaration
+           @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 315)
+  def _reduce_82(val, _values, result)
+               @lexer.status = :initial
+           @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 320)
+  def _reduce_83(val, _values, result)
+               token = val[3]
+           token.alias = val[6]
+           result = val[0].append(token)
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 326)
+  def _reduce_84(val, _values, result)
+               if @prec_seen
+             raise "Multiple User_code after %prec" if @code_after_prec
+             @code_after_prec = true
+           end
+           @lexer.status = :c_declaration
+           @lexer.end_symbol = '}'
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 335)
+  def _reduce_85(val, _values, result)
+               @lexer.status = :initial
+           @lexer.end_symbol = nil
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 340)
+  def _reduce_86(val, _values, result)
+               token = val[2]
+           token.alias = val[5]
+           result = [token]
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 346)
+  def _reduce_87(val, _values, result)
+               sym = @grammar.find_symbol_by_id!(val[2])
+           result = val[0].append(sym)
+           @prec_seen = true
+
+    result
+  end
+.,.,
+
+# reduce 88 omitted
+
+module_eval(<<'.,.,', 'parser.y', 352)
+  def _reduce_89(val, _values, result)
+     result = val[1].s_value
+    result
+  end
+.,.,
+
+# reduce 90 omitted
+
+# reduce 91 omitted
+
+module_eval(<<'.,.,', 'parser.y', 359)
+  def _reduce_92(val, _values, result)
+                        @lexer.status = :c_declaration
+                    @lexer.end_symbol = '\Z'
+                    @grammar.epilogue_first_lineno = @lexer.line + 1
+
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 365)
+  def _reduce_93(val, _values, result)
+                        @lexer.status = :initial
+                    @lexer.end_symbol = nil
+                    @grammar.epilogue = val[2].s_value
+
+    result
+  end
+.,.,
+
+# reduce 94 omitted
+
+# reduce 95 omitted
+
+# reduce 96 omitted
+
+# reduce 97 omitted
+
+# reduce 98 omitted
+
+module_eval(<<'.,.,', 'parser.y', 377)
+  def _reduce_99(val, _values, result)
+     result = [val[0]]
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 378)
+  def _reduce_100(val, _values, result)
+     result = val[0].append(val[1])
+    result
+  end
+.,.,
+
+# reduce 101 omitted
+
+# reduce 102 omitted
+
+module_eval(<<'.,.,', 'parser.y', 383)
+  def _reduce_103(val, _values, result)
+     result = Lrama::Lexer::Token.new(type: Lrama::Lexer::Token::Ident, s_value: val[0])
+    result
+  end
+.,.,
+
+def _reduce_none(val, _values, result)
+  val[0]
 end
+
+  end   # class Parser
+end   # module Lrama