depager 0.1.9

data/lib/depager/cst.rb

@@ -0,0 +1,625 @@
+
+###
+### CSTBuilderExtension - Depager Extension (master)
+###
+require 'pp.rb'
+require 'depager/parser.rb'
+require 'depager/parse_action'
+
+
+module D4CSTBuilderExtension #:nodoc:all
+end
+
+class CSTBuilderExtension #:nodoc:all
+  include Depager::ExtensionUtils
+  
+  include ActionParser
+  attr_accessor :h2p
+
+  def initialize
+    @master = self
+    @hook = []
+    @h2p = {}
+    init_parser
+  end
+
+  def __regext__ p
+    super p, :default, nil
+    
+    @hook[0] = CSTBuilderExtension_prerulelist.new(p, @nparam, self)
+    @h2p['prerulelist'] = @hook[0] 
+    p.prerulelist.push [@hook[0], :do_parse]
+    
+    @hook[1] = CSTBuilderExtension_postlhs.new(p, @nparam, self)
+    @h2p['postlhs'] = @hook[1] 
+    p.postlhs.push [@hook[1], :do_parse]
+    
+    regext p
+  end
+
+  ### Inner Code
+  attr_accessor :optouter, :nodes_code
+  def init_parser
+    super
+    @n = 0
+    @visitor_code = []
+    @nodes_code = []
+    @optouter = []
+    @on_reduce = []
+  end
+  def modify_action_code code
+    code.gsub(/~([a-z_])/, 'node.\1')
+  end
+  def postRhs
+    code = ''
+    lineno = g_parser.lineno
+    if token[0] == '{'
+      @line0, @line = g_parser.line0, g_parser.oldline
+      code = parse_action
+
+      fixline @line
+      gettoken
+    end
+
+    node_name = "#{lhs_name}_#{nrhs}"
+    accept = ""
+    nodes = g_parser.rhs.map do |i| 
+      x = g_parser.int_to_sym(i)
+      if x.class == String
+        "tx#{x[0].to_s(16)}"
+      else
+        x = x.to_s
+        accept << "#{x}.accept(v); " if x =~ /\A[a-z_]+\Z/
+        x.downcase
+      end
+    end
+    attrc = nodes.map{|i| ":#{i}" }.join(', ')
+    inic  = nodes.map{|i| "@#{i} = #{i}"}.join('; ')
+    @nodes_code << %{
+      class Node_#{node_name} < Node_#{lhs_name}
+        attr_accessor #{attrc}
+        def initialize #{nodes.join(', ')}
+          super()
+          #{inic}
+        end
+        def accept v
+          #{accept}
+          v.visit_Node_#{node_name}(self)
+        end
+      end
+    }; #code
+
+    @visitor_code <<
+      gen_defm_code("visit_Node_#{node_name} node",
+                    modify_action_code(code), lineno)
+
+    args  = nodes.inject([]){|r, i| r << "val[#{r.size}]"}
+    code = "Node_#{node_name}.new(#{args.join(', ')})"
+    @optouter << 
+      gen_defm_code("_cst_#{nrules} val", code, lineno)
+
+    @on_reduce[nrules] = ":_cst_#{nrules}"
+  end
+  def postRuleList
+    code = unindent %{
+      class Node
+        def accept
+        end
+      end
+    }; #code
+    g_parser.optouter << code
+
+    code = unindent %{
+      class Visitor
+      $$!!@ CST @!!$$
+      end
+    }; #code
+    g_parser.optouter <<
+      code.sub!('$$!!@ CST @!!$$', @visitor_code.to_s) <<
+      unindent(@nodes_code) <<
+      gen_action_decorator_code(target_name, paramkey,
+                                @on_reduce, @optouter)
+  end
+
+end
+
+### Outer Code
+
+###
+### CSTBuilderExtension_prerulelist - Part of Depager Extension (slave)
+###
+module D4CSTBuilderExtension_prerulelist #:nodoc:all
+end
+
+class CSTBuilderExtension_prerulelist < Basis #:nodoc:all
+  include Depager::ExtensionUtils
+  
+  include ActionParser
+
+  ### Reduce Table
+  reduce_table = [
+    [ -1, 1 ],
+    [ 0, 2 ],
+    [ 1, 0 ],
+    [ 1, 2 ],
+    [ 2, 0 ],
+    [ 2, 2 ],
+  ]
+  ### Extension Params
+  nparams = {
+    'NVAction' => 2, 
+  }
+  ### Term to Int
+  t2i = {
+    nil => 0, 
+    false => 1, 
+    :NODE => 2, 
+    :ACTION => 3, 
+    :VISITOR => 4, 
+  }
+  ### Int to Term
+  i2t = [
+    nil, 
+    false, 
+    :NODE, 
+    :ACTION, 
+    :VISITOR, 
+  ]
+  ### Action Table
+  action_table = [
+    [ nil, nil, 1, nil, nil, ], 
+    [ nil, nil, nil, 4, nil, ], 
+    [ ACC, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, 5, ], 
+    [ nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, 7, nil, ], 
+    [ nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, ], 
+  ]
+  ### Default Reduce Table
+  defred_table = [
+    -2, 
+    nil, 
+    nil, 
+    -4, 
+    -3, 
+    nil, 
+    -1, 
+    -5, 
+  ]
+  defred_after_shift_table = [
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    -3, 
+    nil, 
+    -1, 
+    -5, 
+  ]
+  ### Nonterm to Int
+  nt2i = { 
+    :start => 0,  
+    :opt_node => 1,  
+    :opt_visitor => 2, 
+  }
+  ### Int to Nonterm
+  i2nt = [
+    :start, 
+    :opt_node, 
+    :opt_visitor, 
+  ]
+  ### Goto Table
+  goto_table = [ 
+   [ 2, 3, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, 6, ], 
+   [ 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     = D4CSTBuilderExtension_prerulelist::NVAction.new(self)
+    init_parser
+  end
+
+  
+  def do_parse?
+    if @line =~ /^\s*%CST\{\s*\Z/
+       @line = $' 
+      true
+    else
+      false
+    end
+  end
+  
+
+  def banner
+    "%CST{ ... } / #{@master.class.name}" 
+  end
+
+  ### Inner Code
+
+          def lex
+            begin
+              until @line.empty? do
+                case @line
+                  when /\A\s+/, /\A#.*/
+     
+when /\A%\}\s*\Z/
+     @line = $'; yield nil,nil 
+when /\ANode/
+     yield _Token(:NODE, $&) 
+when /\A\{/
+     ln = lineno; yield _Token(:ACTION, parse_action, ln); //=~'' 
+
+                else
+                  raise RuntimeError, "must not happen #{@line}"
+                end
+                @oldline = @line
+                @line = $'
+              end
+            end while @line = getline
+            yield nil, nil
+          end
+        
+end
+
+### Outer Code
+
+class D4CSTBuilderExtension_prerulelist::NVAction < Depager::Action #:nodoc:all
+  include Depager::DecoratorUtils
+          include ActionParser
+include ActionParser
+
+  on_reduce = [
+    nil,
+              :_act_0,
+  :_act_1,
+  :_act_2,
+  :_act_3,
+  :_act_4,
+
+  ]
+  Tables = [on_reduce]
+  def initialize inside
+    super inside, 'NVAction'
+    @on_reduce, = self.class::Tables
+    init_parser
+  end
+  
+
+module_eval <<-'.,.,118028145930197.,.,', 'cst.dr', 104
+  def _act_0 val
+    _opt_node, _opt_visitor = *val 
+
+        code = %{
+          class Node
+            $$!!@ NODE @!!$$
+          end
+          class Visitor
+            $$!!@ VISITOR @!!$$
+          end
+        }; #code
+        master.nodes_code <<
+          code.sub!('$$!!@ NODE @!!$$', _opt_node) \
+              .sub!('$$!!@ VISITOR @!!$$', _opt_visitor)
+
+  end
+
+.,.,118028145930197.,.,
+      
+module_eval <<-'.,.,11802814596438.,.,', 'cst.dr', 118
+  def _act_1 val
+     '' 
+
+  end
+
+.,.,11802814596438.,.,
+      
+module_eval <<-'.,.,118028145919370.,.,', 'cst.dr', 119
+  def _act_2 val
+    _NODE, _ACTION = *val 
+     _ACTION.value 
+
+  end
+
+.,.,118028145919370.,.,
+      
+module_eval <<-'.,.,118028145927531.,.,', 'cst.dr', 121
+  def _act_3 val
+     warn "VIS";'' 
+
+  end
+
+.,.,118028145927531.,.,
+      
+module_eval <<-'.,.,118028145925004.,.,', 'cst.dr', 122
+  def _act_4 val
+    _VISITOR, _ACTION = *val 
+     _ACTION.value 
+
+  end
+
+.,.,118028145925004.,.,
+      
+end
+      
+
+###
+### CSTBuilderExtension_postlhs - Part of Depager Extension (slave)
+###
+module D4CSTBuilderExtension_postlhs #:nodoc:all
+end
+
+class CSTBuilderExtension_postlhs < Basis #:nodoc:all
+  include Depager::ExtensionUtils
+  
+  include ActionParser
+
+  ### Reduce Table
+  reduce_table = [
+    [ -1, 1 ],
+    [ 0, 3 ],
+    [ 1, 1 ],
+    [ 1, 3 ],
+    [ 2, 1 ],
+    [ 2, 3 ],
+  ]
+  ### Extension Params
+  nparams = {
+    'NVAction' => 2, 
+  }
+  ### Term to Int
+  t2i = {
+    nil => 0, 
+    false => 1, 
+    "[" => 2, 
+    "]" => 3, 
+    "," => 4, 
+    :ID => 5, 
+    "=" => 6, 
+    :LIT => 7, 
+  }
+  ### Int to Term
+  i2t = [
+    nil, 
+    false, 
+    "[", 
+    "]", 
+    ",", 
+    :ID, 
+    "=", 
+    :LIT, 
+  ]
+  ### Action Table
+  action_table = [
+    [ nil, nil, 1, nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, 5, nil, nil, ], 
+    [ ACC, nil, nil, nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, 6, 7, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, 8, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, 5, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, nil, 10, ], 
+    [ 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, 
+    -2, 
+    -4, 
+    -1, 
+    nil, 
+    nil, 
+    -3, 
+    -5, 
+  ]
+  defred_after_shift_table = [
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    -2, 
+    nil, 
+    -1, 
+    nil, 
+    nil, 
+    -3, 
+    -5, 
+  ]
+  ### Nonterm to Int
+  nt2i = { 
+    :start => 0,  
+    :pair => 1,  
+    :expr => 2, 
+  }
+  ### Int to Nonterm
+  i2nt = [
+    :start, 
+    :pair, 
+    :expr, 
+  ]
+  ### Goto Table
+  goto_table = [ 
+   [ 2, nil, nil, ], 
+   [ nil, 3, 4, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, 9, ], 
+   [ 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     = D4CSTBuilderExtension_postlhs::NVAction.new(self)
+    init_parser
+  end
+
+  
+  def do_parse?
+    if @line =~ /^\s*\[/
+       @line = $' 
+      true
+    else
+      false
+    end
+  end
+  
+
+  def banner
+    "[ ... ] / #{@master.class.name}" 
+  end
+
+  ### Inner Code
+
+          def lex
+            begin
+              until @line.empty? do
+                case @line
+                  when /\A\A\s+/
+     
+when /\A""/, /\A''/, /\A[0-9]+/, /\A\{\s*\}/, /\A\[\s*\]/, /\Anil/
+     yield _Token(:LIT, $&) 
+when /\A\A[a-z][a-z_]*/
+     yield _Token(:ID, $&)  
+when /\A\A(.)/
+     yield _Token($&, $&)   
+
+                else
+                  raise RuntimeError, "must not happen #{@line}"
+                end
+                @oldline = @line
+                @line = $'
+              end
+            end while @line = getline
+            yield nil, nil
+          end
+          def do_default
+    master.nodes_code << %{
+      class Node_#{master.lhs_name} < Node
+        def initialize
+          super()
+        end
+      end
+    }; #code
+  end
+
+end
+
+### Outer Code
+
+class D4CSTBuilderExtension_postlhs::NVAction < Depager::Action #:nodoc:all
+  include Depager::DecoratorUtils
+          include ActionParser
+
+  on_reduce = [
+    nil,
+              :_act_0,
+  :_act_1,
+  :_act_2,
+  :_act_3,
+  :_act_4,
+
+  ]
+  Tables = [on_reduce]
+  def initialize inside
+    super inside, 'NVAction'
+    @on_reduce, = self.class::Tables
+    init_parser
+  end
+  
+
+module_eval <<-'.,.,118028145927473.,.,', 'cst.dr', 153
+  def _act_0 val
+    _, _pair, _ = *val 
+
+        args = []; code = ''
+        _pair.each do |id, lit|
+          args <<  id
+          code << "#{id} = #{lit}; " if lit
+        end
+        attrc = args.map{|i| ":#{i}"}.join(', ')
+        master.nodes_code << %{
+          class Node_#{master.lhs_name} < Node
+            attr_accessor #{attrc}
+            def initialize
+              super()
+              #{code}
+            end
+          end
+        }; #code
+
+  end
+
+.,.,118028145927473.,.,
+      
+module_eval <<-'.,.,118028145920598.,.,', 'cst.dr', 172
+  def _act_1 val
+    _expr = *val 
+     [ _expr ] 
+
+  end
+
+.,.,118028145920598.,.,
+      
+module_eval <<-'.,.,11802814597299.,.,', 'cst.dr', 173
+  def _act_2 val
+    _pair, _, _expr = *val 
+     _pair << _expr 
+
+  end
+
+.,.,11802814597299.,.,
+      
+module_eval <<-'.,.,118028145933452.,.,', 'cst.dr', 176
+  def _act_3 val
+    _ID = *val 
+     [ _ID.value, nil] 
+
+  end
+
+.,.,118028145933452.,.,
+      
+module_eval <<-'.,.,118028145946002.,.,', 'cst.dr', 177
+  def _act_4 val
+    _ID, _, _LIT = *val 
+     [ _ID.value, _LIT.value ] 
+
+  end
+
+.,.,118028145946002.,.,
+      
+end
+      
+