depager 0.2.3 → 0.3.0.b20250423

data/lib/depager/ruby/plugins/slex.rb

@@ -1,817 +0,0 @@
-
-###
-### StatefulLexerExtension - Depager Extension (master)
-###
-require 'pp.rb'
-require 'depager/parser.rb'
-
-
-module D4StatefulLexerExtension #:nodoc:all
-end
-
-class StatefulLexerExtension #:nodoc:all
-  include Depager::ExtensionUtils
-  
-  attr_accessor :h2p
-
-  def initialize
-    @master = self
-    @hook = []
-    @h2p = {}
-    init_parser
-  end
-
-  def __regext__ p
-    super p, :default, nil
-    
-    @hook[0] = StatefulLexerExtension_pre_rhs__post_symbol.new(p, @nparam, self)
-    @h2p['pre_rhs__post_symbol'] = @hook[0] 
-    p.hooks[:post_symbol].push [@hook[0], :do_parse]
-    
-    @hook[1] = StatefulLexerExtension_pre_rule_list.new(p, @nparam, self)
-    @h2p['pre_rule_list'] = @hook[1] 
-    p.hooks[:pre_rule_list].push [@hook[1], :do_parse]
-    
-    # use @hook[0](StatefulLexerExtension_pre_rhs__post_symbol)
-    p.hooks[:pre_rhs].push [@hook[0], :do_parse]
-    
-    regext p
-  end
-
-  ### Inner Code
-  attr_accessor :ins, :code, :optval
-  def init_parser
-    super
-    @ins = []
-    @optouter = []
-    @on_reduce = []
-    @addition = []
-  end
-  def post_rule_list
-    @optouter << %{
-      def afterError
-        warn "StatefulLex: lex_state==\#{@basis.lex_state}" if $MP_DEBUG
-      end
-    }
-    g_parser.optouter <<
-      gen_action_decorator_code(target_name, paramkey,
-                                @on_reduce, @optouter)
-  end
-  def post_rhs
-    j = 0
-    rhs = g_parser.rhs
-    @ins.each do |i, option_list, debug|
-      state_name = "#{lhs_name}_#{nrhs}_#{i}"
-      m_name     = "_lex_#{state_name}"
-      if i != rhs.size
-        nt_name  = "__#{state_name}__"
-        isym     = g_parser.add_nonterm(nt_name)
-        g_parser.rhs_insert_sym(i+j, isym, nt_name)
-        @addition << [ isym, m_name ]
-        j += 1
-      else
-        @on_reduce[nrules] = ':'+m_name
-      end
-
-      codes = option_list.map do |k, m|
-        case k
-        when :GOTO
-          "@basis.lex_state = #{m}" <<
-            (debug ? ";warn 'MODE:->#{m}'" : '')
-        when :ADD 
-          "@basis.lex_context[#{m}] = true" <<
-            (debug ? ";warn 'CONTEXT:+#{m}/\#{@context.inspect}'" : '')
-        when :SUB
-          "@basis.lex_context.delete #{m}" <<
-            (debug ? ";warn 'CONTEXT:-#{m}'/\#{@context.inspect}" : '')
-        else
-        end
-      end
-      @optouter.push << %{
-        def #{m_name} val
-          #{codes.join("\n          ")}
-        end
-      }
-    end
-    @ins.clear
-  end
-  def post_rhs_list
-    @addition.each do |isym, m_name|  
-      g_parser.add_rule isym, []
-      @on_reduce[nrules] = ':'+m_name
-    end
-    @addition.clear
-  end
-
-end
-
-### Outer Code
-
-###
-### StatefulLexerExtension_pre_rule_list - Part of Depager Extension (slave)
-###
-module D4StatefulLexerExtension_pre_rule_list #:nodoc:all
-end
-
-class StatefulLexerExtension_pre_rule_list < Depager::LALR::Basis #:nodoc:all
-  include Depager::ExtensionUtils
-  
-
-  ### Reduce Table
-  reduce_table = [
-    [ -1, 1 ],
-    [ 0, 1 ],
-    [ 1, 0 ],
-    [ 1, 3 ],
-    [ 2, 4 ],
-    [ 4, 0 ],
-    [ 4, 2 ],
-    [ 3, 1 ],
-    [ 3, 2 ],
-    [ 5, 3 ],
-    [ 7, 0 ],
-    [ 7, 1 ],
-    [ 6, 1 ],
-    [ 6, 3 ],
-  ]
-  ### Extension Params
-  nparams = {
-    'NVAction' => 2, 
-  }
-  ### Term to Int
-  t2i = {
-    nil => 0, 
-    false => 1, 
-    "<" => 2, 
-    :ID => 3, 
-    ">" => 4, 
-    ":" => 5, 
-    :ACTION => 6, 
-    "!" => 7, 
-    :LEX => 8, 
-    "," => 9, 
-  }
-  ### Int to Term
-  i2t = [
-    nil, 
-    false, 
-    "<", 
-    :ID, 
-    ">", 
-    ":", 
-    :ACTION, 
-    "!", 
-    :LEX, 
-    ",", 
-  ]
-  ### Action Table
-  action_table = [
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ ACC, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, 3, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, 5, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, 6, nil, ], 
-    [ nil, nil, nil, nil, nil, 11, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, 12, nil, 13, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, 6, nil, ], 
-    [ nil, nil, nil, nil, 16, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, 17, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, 18, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 19, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-  ]
-  ### Default Reduce Table
-  defred_table = [
-    -2, 
-    nil, 
-    -1, 
-    nil, 
-    nil, 
-    -5, 
-    -12, 
-    -7, 
-    -10, 
-    -3, 
-    nil, 
-    nil, 
-    -11, 
-    nil, 
-    nil, 
-    -8, 
-    -4, 
-    -6, 
-    -13, 
-    -9, 
-  ]
-  defred_after_shift_table = [
-    -2, 
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    -12, 
-    -7, 
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    -11, 
-    nil, 
-    nil, 
-    -8, 
-    -4, 
-    -6, 
-    -13, 
-    -9, 
-  ]
-  ### Nonterm to Int
-  nt2i = { 
-    :start => 0,  
-    :mode_list => 1,  
-    :mode => 2,  
-    :lexactlist => 3,  
-    :opt_super => 4,  
-    :lexact => 5,  
-    :lexlist => 6,  
-    :opt_noskip => 7, 
-  }
-  ### Int to Nonterm
-  i2nt = [
-    :start, 
-    :mode_list, 
-    :mode, 
-    :lexactlist, 
-    :opt_super, 
-    :lexact, 
-    :lexlist, 
-    :opt_noskip, 
-  ]
-  ### Goto Table
-  goto_table = [ 
-   [ 1, 2, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, 4, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, 9, nil, 7, 8, nil, ], 
-   [ nil, nil, nil, nil, 10, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, 14, ], 
-   [ nil, nil, nil, nil, nil, 15, 8, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-   [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
-  ]
-
-  Tables = [ reduce_table, nparams, action_table,
-             defred_table, defred_after_shift_table, goto_table,
-             t2i, i2t, nt2i, i2nt ]
-
-  attr_accessor :p, :m
-  def initialize p, nparam, master = nil
-    super()
-    @g_parser = @p = p
-    @master   = @m = master
-    @nparam   = nparam
-    @dect     = D4StatefulLexerExtension_pre_rule_list::NVAction.new(self)
-    init_parser
-  end
-
-  
-  def do_parse?
-    if @line =~ /^\s*%LEX\{\s*\Z/
-       @line = $' 
-      true
-    else
-      false
-    end
-  end
-  
-
-  def banner
-    "%LEX{ ... } / #{@master.class.name}" 
-  end
-
-  ### Inner Code
-
-          def lex
-            begin
-              until @line.empty?
-                case @line
-                
-          when /\A\s+/, /\A#.*\Z/
-            @oldline = @line; @line = $'
-                 
-
-        
-          when /\A[A-Z]+/
-            @oldline = @line; @line = $'
-                 yield token(:ID, $&) 
-
-        
-          when /\A\%\}\s*\Z/
-            @oldline = @line; @line = $'
-                 yield nil,nil 
-
-        
-          when /\A\/(([^\/\\]+|\\.)*)\//
-            @oldline = @line; @line = $'
-                 yield token(:LEX, "/\\A#{$1}/") 
-
-        
-          when /\A'([^'\\]+|\\.)*'/, /\A"([^"\\]+|\\.)*"/
-            @oldline = @line; @line = $'
-             
-    yield token(:LEX, "/\\A#{Regexp.escape($1).gsub('/', '\/')}/")
-
-        
-          when /\A\{/
-            #
-             
-    _lineno = lineno
-    yield token(:ACTION, parse_action, _lineno)
-
-        
-          when /\A./
-            @oldline = @line; @line = $'
-                 yield token($&, $&) 
-
-        
-                else
-                  raise RuntimeError, "must not happen #{@line}"
-                end
-              end
-            end while @line0 = @line = getline
-            yield nil, nil
-          end
-        
-end
-
-### Outer Code
-
-class D4StatefulLexerExtension_pre_rule_list::NVAction < Depager::LALR::Action #:nodoc:all
-  include Depager::DecoratorUtils
-  
-  on_reduce = [
-    nil,
-              :_act_0,
-  :_act_1,
-  :_act_2,
-  :_act_3,
-  :_act_4,
-  :_act_5,
-  :_act_6,
-  :_act_7,
-  :_act_8,
-  :_act_9,
-  :_act_10,
-  :_act_11,
-  :_act_12,
-
-  ]
-  Tables = [on_reduce]
-  def initialize inside
-    super inside, 'NVAction'
-    @on_reduce, = self.class::Tables
-    init_parser
-  end
-  
-
-module_eval <<-'.,.,1227458033159.,.,', 'slex.dr', 95
-def _act_0 val
-    _mode_list, = *val 
-
-        ll = ''
-        _mode_list.each do |m, s, l|
-          else_code = if s
-                        "lex_#{s}(&block)"
-                      else
-                        'raise RuntimeError, "must not happen #{@line}"'
-                      end
-          ll << %{
-            def lex_#{m}(&block)
-              case @line
-                #{l}
-              else
-                #{else_code}
-              end
-            end
-          }; #code
-        end
-        g_parser.optinner << ll << %{
-          attr_accessor :lex_state, :lex_context
-          def lex(&block)
-            @lex_state   ||= :START
-            @lex_context ||= {}
-            begin
-              until @line.empty?
-                self.send "lex_\#{@lex_state}", &block
-              end
-            end while @line0 = @line = getline
-            yield nil, nil
-          end
-        }; #code
-
-end
-.,.,1227458033159.,.,
-      
-module_eval <<-'.,.,122745803342120.,.,', 'slex.dr', 129
-def _act_1 val
-     [ ] 
-
-end
-.,.,122745803342120.,.,
-      
-module_eval <<-'.,.,12274580336600.,.,', 'slex.dr', 130
-def _act_2 val
-    _mode_list, _mode, _lexactlist, = *val 
-     _mode_list << [_mode[0], _mode[1], _lexactlist] 
-
-end
-.,.,12274580336600.,.,
-      
-module_eval <<-'.,.,122745803347797.,.,', 'slex.dr', 133
-def _act_3 val
-    _, _ID, _opt_super, _, = *val 
-     [ _ID.value, _opt_super ] 
-
-end
-.,.,122745803347797.,.,
-      
-module_eval <<-'.,.,122745803312942.,.,', 'slex.dr', 136
-def _act_4 val
-     nil 
-
-end
-.,.,122745803312942.,.,
-      
-module_eval <<-'.,.,122745803315084.,.,', 'slex.dr', 137
-def _act_5 val
-    _, _ID, = *val 
-     _ID.value 
-
-end
-.,.,122745803315084.,.,
-      
-module_eval <<-'.,.,12274580334440.,.,', 'slex.dr', 140
-def _act_6 val
-    _lexact, = *val 
-     _lexact 
-
-end
-.,.,12274580334440.,.,
-      
-module_eval <<-'.,.,122745803358254.,.,', 'slex.dr', 141
-def _act_7 val
-    _lexactlist, _lexact, = *val 
-     _lexactlist << _lexact 
-
-end
-.,.,122745803358254.,.,
-      
-module_eval <<-'.,.,122745803337351.,.,', 'slex.dr', 145
-def _act_8 val
-    _lexlist, _opt_noskip, _ACTION, = *val 
-
-        %{
-          when #{_lexlist.join(', ')}
-            #{ _opt_noskip ? '#' : "@oldline = @line; @line = $'" }
-            #{ _ACTION.value }
-        }; #code
-
-end
-.,.,122745803337351.,.,
-      
-module_eval <<-'.,.,122745803316408.,.,', 'slex.dr', 154
-def _act_9 val
-     false 
-
-end
-.,.,122745803316408.,.,
-      
-module_eval <<-'.,.,122745803341193.,.,', 'slex.dr', 155
-def _act_10 val
-    _, = *val 
-     true  
-
-end
-.,.,122745803341193.,.,
-      
-module_eval <<-'.,.,12274580332500.,.,', 'slex.dr', 158
-def _act_11 val
-    _LEX, = *val 
-     [ _LEX.value ] 
-
-end
-.,.,12274580332500.,.,
-      
-module_eval <<-'.,.,122745803323427.,.,', 'slex.dr', 159
-def _act_12 val
-    _lexlist, _, _LEX, = *val 
-     _lexlist.push _LEX.value 
-
-end
-.,.,122745803323427.,.,
-      
-end
-      
-
-###
-### StatefulLexerExtension_pre_rhs__post_symbol - Part of Depager Extension (slave)
-###
-module D4StatefulLexerExtension_pre_rhs__post_symbol #:nodoc:all
-end
-
-class StatefulLexerExtension_pre_rhs__post_symbol < Depager::LALR::Basis #:nodoc:all
-  include Depager::ExtensionUtils
-  
-
-  ### Reduce Table
-  reduce_table = [
-    [ -1, 1 ],
-    [ 0, 3 ],
-    [ 0, 4 ],
-    [ 1, 1 ],
-    [ 1, 2 ],
-    [ 2, 2 ],
-    [ 2, 2 ],
-    [ 2, 2 ],
-  ]
-  ### Extension Params
-  nparams = {
-    'NVAction' => 2, 
-  }
-  ### Term to Int
-  t2i = {
-    nil => 0, 
-    false => 1, 
-    "[" => 2, 
-    "]" => 3, 
-    "?" => 4, 
-    ">" => 5, 
-    :SYMBOL => 6, 
-    "+" => 7, 
-    "-" => 8, 
-  }
-  ### Int to Term
-  i2t = [
-    nil, 
-    false, 
-    "[", 
-    "]", 
-    "?", 
-    ">", 
-    :SYMBOL, 
-    "+", 
-    "-", 
-  ]
-  ### Action Table
-  action_table = [
-    [ nil, nil, 1, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, 7, nil, 3, 4, ], 
-    [ ACC, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 8, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 9, nil, nil, ], 
-    [ nil, nil, nil, 10, 11, 7, nil, 3, 4, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 13, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, 14, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-  ]
-  ### Default Reduce Table
-  defred_table = [
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    -3, 
-    nil, 
-    -6, 
-    -7, 
-    -1, 
-    nil, 
-    -4, 
-    -5, 
-    -2, 
-  ]
-  defred_after_shift_table = [
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    nil, 
-    -3, 
-    nil, 
-    -6, 
-    -7, 
-    -1, 
-    nil, 
-    -4, 
-    -5, 
-    -2, 
-  ]
-  ### Nonterm to Int
-  nt2i = { 
-    :start => 0,  
-    :option_list => 1,  
-    :option => 2, 
-  }
-  ### Int to Nonterm
-  i2nt = [
-    :start, 
-    :option_list, 
-    :option, 
-  ]
-  ### Goto Table
-  goto_table = [ 
-   [ 2, nil, nil, ], 
-   [ nil, 5, 6, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, 12, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-   [ nil, nil, nil, ], 
-  ]
-
-  Tables = [ reduce_table, nparams, action_table,
-             defred_table, defred_after_shift_table, goto_table,
-             t2i, i2t, nt2i, i2nt ]
-
-  attr_accessor :p, :m
-  def initialize p, nparam, master = nil
-    super()
-    @g_parser = @p = p
-    @master   = @m = master
-    @nparam   = nparam
-    @dect     = D4StatefulLexerExtension_pre_rhs__post_symbol::NVAction.new(self)
-    init_parser
-  end
-
-  
-  def do_parse?
-    if @line =~ /^\s*\[/
-      
-      true
-    else
-      false
-    end
-  end
-  
-
-  def banner
-    "[> ...] / #{@master.class.name}" 
-  end
-
-  ### Inner Code
-
-          def lex
-            begin
-              until @line.empty?
-                case @line
-                
-          when /\A\s+/
-            @oldline = @line; @line = $'
-                 
-
-        
-          when /\A:[a-zA-Z_]+\??/
-            @oldline = @line; @line = $'
-                 yield token(:SYMBOL, $&) 
-
-        
-          when /\A\]/
-            @oldline = @line; @line = $'
-                 yield token($&, $&); @line = $'; yield nil, nil 
-
-        
-          when /\A./
-            @oldline = @line; @line = $'
-                 yield token($&, $&) 
-
-        
-                else
-                  raise RuntimeError, "must not happen #{@line}"
-                end
-              end
-            end while @line0 = @line = getline
-            yield nil, nil
-          end
-        
-end
-
-### Outer Code
-
-class D4StatefulLexerExtension_pre_rhs__post_symbol::NVAction < Depager::LALR::Action #:nodoc:all
-  include Depager::DecoratorUtils
-  
-  on_reduce = [
-    nil,
-              :_act_0,
-  :_act_1,
-  :_act_2,
-  :_act_3,
-  :_act_4,
-  :_act_5,
-  :_act_6,
-
-  ]
-  Tables = [on_reduce]
-  def initialize inside
-    super inside, 'NVAction'
-    @on_reduce, = self.class::Tables
-    init_parser
-  end
-  
-
-module_eval <<-'.,.,122745803310395.,.,', 'slex.dr', 179
-def _act_0 val
-    _, _option_list, _, = *val 
-
-        master.ins.push [g_parser.rhs.size, _option_list, false]
-
-end
-.,.,122745803310395.,.,
-      
-module_eval <<-'.,.,122745803327506.,.,', 'slex.dr', 183
-def _act_1 val
-    _, _option_list, _, _, = *val 
-
-        master.ins.push [g_parser.rhs.size, _option_list, true]
-
-end
-.,.,122745803327506.,.,
-      
-module_eval <<-'.,.,122745803335394.,.,', 'slex.dr', 189
-def _act_2 val
-    _option, = *val 
-     [_option] 
-
-end
-.,.,122745803335394.,.,
-      
-module_eval <<-'.,.,122745803345722.,.,', 'slex.dr', 190
-def _act_3 val
-    _option_list, _option, = *val 
-     _option_list << _option 
-
-end
-.,.,122745803345722.,.,
-      
-module_eval <<-'.,.,122745803311899.,.,', 'slex.dr', 193
-def _act_4 val
-    _, _SYMBOL, = *val 
-     [:GOTO, _SYMBOL.value] 
-
-end
-.,.,122745803311899.,.,
-      
-module_eval <<-'.,.,122745803346690.,.,', 'slex.dr', 194
-def _act_5 val
-    _, _SYMBOL, = *val 
-     [:ADD, _SYMBOL.value]  
-
-end
-.,.,122745803346690.,.,
-      
-module_eval <<-'.,.,122745803330412.,.,', 'slex.dr', 195
-def _act_6 val
-    _, _SYMBOL, = *val 
-     [:SUB, _SYMBOL.value]  
-
-end
-.,.,122745803330412.,.,
-      
-end
-      
-