depager 0.2.3 → 0.3.0.b20250423

data/lib/depager/plugins/cst.rb

@@ -0,0 +1,591 @@
+###
+### Depager::CSTBuilderExtension - Depager Extension (master)
+###
+require 'depager/parser.rb'
+
+
+module Depager ; end
+
+class Depager::CSTBuilderExtension < Depager::Extension
+
+  def initialize
+    super
+    @master = self
+    @slaves = []
+  end
+
+  def extension_registered g_parser
+    super g_parser
+
+    @slaves << Depager::CSTBuilderExtension::PreRuleList0::Parser.new(g_parser, self)
+    g_parser.hooks[:pre_rule_list].push [@slaves.last, :do_parse]
+    @slaves << Depager::CSTBuilderExtension::PostLhs1::Parser.new(g_parser, self)
+    g_parser.hooks[:post_lhs].push [@slaves.last, :do_parse]
+  end
+
+module_eval <<'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 7
+  attr_accessor :action_code, :nodes_code, :visitor_code
+  def init_extension
+    @n = 0
+    @visitor_code = ''
+    @nodes_code   = ''
+    @action_code   = ''
+    @on_reduce    = []
+  end
+
+  def modify_action_code code
+    code.gsub(/\$\.([a-z_])/, 'node.\1')
+  end
+
+  def post_rhs
+    code, lineno = '', g_parser.file.lineno
+    if g_parser.line =~ /\s*\{/
+      @original_line, @line = g_parser.original_line, g_parser.line
+      code = parse_block
+
+      g_parser.update_context @line
+    end
+
+    node_name = "#{g_parser.lhs_name}_#{g_parser.nrhs}"
+    accept = ""
+    nodes = g_parser.rhs.map do |i|
+      x = g_parser.int_to_sym(i)
+      if x.class == String
+        "tx#{x.unpack("H*")[0]}"
+      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 << <<-CODE
+      class Node_#{node_name} < Node_#{g_parser.lhs_name}
+        attr_accessor #{attrc}
+        def initialize #{nodes.join(', ')}
+          super()
+          #{inic}
+        end
+        def accept v
+          #{accept}
+          v.visit_Node_#{node_name}(self)
+        end
+        def children
+          [#{nodes.join(', ')}]
+        end
+      end
+    CODE
+
+    @visitor_code <<
+      expand_inline_code(modify_action_code(code), lineno, :wrap => "def visit_Node_#{node_name} node")
+
+    args  = nodes.inject([]){|r, i| r << "val[#{r.size}]"}
+    code = "#{target_namespace}::Node_#{node_name}.new(#{args.join(', ')})"
+    n = g_parser.rules.size-1
+    @action_code <<
+      expand_inline_code(code, lineno, :wrap => "def _cst_#{n} val")
+
+    @on_reduce[n] = ":_cst_#{n}"
+  end
+
+  def term_extension
+    g_parser.outer_code << "module #{target_namespace}\n"
+    g_parser.outer_code << @nodes_code
+    g_parser.outer_code << <<-CODE
+      class Visitor
+      #{@visitor_code}
+      end
+    CODE
+    g_parser.outer_code << "end\n"
+    g_parser.outer_code << generate_action_decorator_code(@on_reduce, @action_code)
+  end
+
+DEPAGER_EXPANDED_CODE
+
+end
+
+###
+### Depager::CSTBuilderExtension::PreRuleList0 - Part of Depager Extension (slave)
+###
+
+module Depager::CSTBuilderExtension::PreRuleList0 #:nodoc:all
+  class Parser < Depager::LALR::Basis #:nodoc:all
+    include Depager::Utils::ExtensionSlaveMethods
+
+    ### Reduce Table
+    REDUCE_TABLE = [
+      [ -1, 1 ],
+      [ 0, 2 ],
+      [ 1, 0 ],
+      [ 1, 2 ],
+      [ 2, 0 ],
+      [ 2, 2 ],
+    ]
+    def reduce_table; REDUCE_TABLE; end
+
+    ### Term to Int
+    TERM_TO_INT = {
+      nil => 0,
+      false => 1,
+      :NODE => 2,
+      :ACTION => 3,
+      :VISITOR => 4,
+    }
+    def term_to_int; TERM_TO_INT; end
+
+    ### Int to Term
+    INT_TO_TERM = [
+      nil,
+      false,
+      :NODE,
+      :ACTION,
+      :VISITOR,
+    ]
+    def int_to_term; INT_TO_TERM; end
+
+    ### Action Table
+    ACTION_TABLE = [
+      [ nil, nil, 3, nil, nil, ],
+      [ ACC, nil, nil, nil, nil, ],
+      [ nil, nil, nil, nil, 5, ],
+      [ nil, nil, nil, 6, nil, ],
+      [ nil, nil, nil, nil, nil, ],
+      [ nil, nil, nil, 7, nil, ],
+      [ nil, nil, nil, nil, nil, ],
+      [ nil, nil, nil, nil, nil, ],
+    ]
+    def action_table; ACTION_TABLE; end
+
+    ### Default Reduce Table
+    DEFRED_TABLE = [
+      -2,
+      nil,
+      -4,
+      nil,
+      -1,
+      nil,
+      -3,
+      -5,
+    ]
+    def defred_table; DEFRED_TABLE; end
+
+    DEFRED_AFTER_SHIFT_TABLE = [
+      nil,
+      nil,
+      nil,
+      nil,
+      -1,
+      nil,
+      -3,
+      -5,
+    ]
+    def defred_after_shift_table; DEFRED_AFTER_SHIFT_TABLE; end
+
+    ### Nonterm to Int
+    NONTERM_TO_INT = {
+      :start => 0,
+      :opt_node => 1,
+      :opt_visitor => 2,
+    }
+    def nonterm_to_int; NONTERM_TO_INT; end
+
+    ### Int to Nonterm
+    INT_TO_NONTERM = [
+      :start,
+      :opt_node,
+      :opt_visitor,
+    ]
+    def int_to_nonterm; INT_TO_NONTERM; end
+
+    ### Goto Table
+    GOTO_TABLE = [
+      [ 1, 2, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, 4, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+    ]
+    def goto_table; GOTO_TABLE; end
+
+    def initialize g_parser, master
+      super()
+      @g_parser  = g_parser
+      @d_parser  = g_parser.d_parser
+      @master    = master
+      @decorated = Action.new(self)
+    end
+
+    
+    def do_parse?
+      if @line.match(/^\s*%CST\{\s*\Z/)
+         @line = $' 
+        true
+      else
+        false
+      end
+    end
+    
+
+    def banner
+      "%CST{ ... } / Depager::CSTBuilderExtension"
+    end
+
+def lex
+  begin
+    until @line.empty?
+      case @line
+          when /\A\s+/, /\A#.*/
+            @line = $'
+                 
+
+          when /\A%\}\s*\Z/
+            @line = $'
+                 yield nil,nil 
+
+          when /\ANode/
+            @line = $'
+                 yield token(:NODE, $&) 
+
+          when /\AVisitor/
+            @line = $'
+                 yield token(:VISITOR, $&) 
+
+          when /\A\{/
+            #
+                 lineno = file.lineno; yield token(:ACTION, parse_block, lineno) 
+
+
+      else
+        raise RuntimeError, "must not happen #{@line}"
+      end
+    end
+  end while @original_line = @line = file.gets
+  yield nil, nil
+end
+
+  end
+end
+
+class Depager::CSTBuilderExtension::PreRuleList0::Action < Depager::LALR::Action #:nodoc:all
+  include Depager::Utils::ExtensionSlaveDecoratorMethods
+ON_REDUCE = [
+              nil,
+            :_act_1,
+            :_act_2,
+            :_act_3,
+            :_act_4,
+            :_act_5,
+
+]
+def on_reduce; ON_REDUCE; end
+
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 97
+def _act_1 val
+    _opt_node, _opt_visitor, = *val
+
+        master.nodes_code << <<-CODE
+          class Node
+            def accept
+            end
+          #{_opt_node}
+          end
+        CODE
+        master.visitor_code << _opt_visitor
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 109
+def _act_2 val
+    # empty rule
+     '' 
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 110
+def _act_3 val
+    _NODE, _ACTION, = *val
+     _ACTION.value 
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 113
+def _act_4 val
+    # empty rule
+     '' 
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 114
+def _act_5 val
+    _VISITOR, _ACTION, = *val
+     _ACTION.value 
+
+end
+DEPAGER_EXPANDED_CODE
+
+
+end
+
+###
+### Depager::CSTBuilderExtension::PostLhs1 - Part of Depager Extension (slave)
+###
+
+module Depager::CSTBuilderExtension::PostLhs1 #:nodoc:all
+  class Parser < Depager::LALR::Basis #:nodoc:all
+    include Depager::Utils::ExtensionSlaveMethods
+
+    ### Reduce Table
+    REDUCE_TABLE = [
+      [ -1, 1 ],
+      [ 0, 3 ],
+      [ 1, 1 ],
+      [ 1, 3 ],
+      [ 2, 1 ],
+      [ 2, 3 ],
+    ]
+    def reduce_table; REDUCE_TABLE; end
+
+    ### Term to Int
+    TERM_TO_INT = {
+      nil => 0,
+      false => 1,
+      "[" => 2,
+      "]" => 3,
+      "," => 4,
+      :ID => 5,
+      "=" => 6,
+      :LIT => 7,
+    }
+    def term_to_int; TERM_TO_INT; end
+
+    ### Int to Term
+    INT_TO_TERM = [
+      nil,
+      false,
+      "[",
+      "]",
+      ",",
+      :ID,
+      "=",
+      :LIT,
+    ]
+    def int_to_term; INT_TO_TERM; end
+
+    ### Action Table
+    ACTION_TABLE = [
+      [ nil, nil, 2, nil, nil, nil, nil, nil, ],
+      [ ACC, nil, nil, nil, nil, nil, nil, nil, ],
+      [ nil, nil, nil, nil, nil, 5, 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, ],
+    ]
+    def action_table; ACTION_TABLE; end
+
+    ### Default Reduce Table
+    DEFRED_TABLE = [
+      nil,
+      nil,
+      nil,
+      nil,
+      -2,
+      -4,
+      -1,
+      nil,
+      nil,
+      -3,
+      -5,
+    ]
+    def defred_table; DEFRED_TABLE; end
+
+    DEFRED_AFTER_SHIFT_TABLE = [
+      nil,
+      nil,
+      nil,
+      nil,
+      -2,
+      nil,
+      -1,
+      nil,
+      nil,
+      -3,
+      -5,
+    ]
+    def defred_after_shift_table; DEFRED_AFTER_SHIFT_TABLE; end
+
+    ### Nonterm to Int
+    NONTERM_TO_INT = {
+      :start => 0,
+      :pair => 1,
+      :expr => 2,
+    }
+    def nonterm_to_int; NONTERM_TO_INT; end
+
+    ### Int to Nonterm
+    INT_TO_NONTERM = [
+      :start,
+      :pair,
+      :expr,
+    ]
+    def int_to_nonterm; INT_TO_NONTERM; end
+
+    ### Goto Table
+    GOTO_TABLE = [
+      [ 1, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, 3, 4, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, 9, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+      [ nil, nil, nil, ],
+    ]
+    def goto_table; GOTO_TABLE; end
+
+    def initialize g_parser, master
+      super()
+      @g_parser  = g_parser
+      @d_parser  = g_parser.d_parser
+      @master    = master
+      @decorated = Action.new(self)
+    end
+
+    
+    def do_parse?
+      if @line.match(/^\s*\[/)
+         @line = $' 
+        true
+      else
+        false
+      end
+    end
+    
+
+    def banner
+      "[ ... ] / Depager::CSTBuilderExtension"
+    end
+
+def lex
+  begin
+    until @line.empty?
+      case @line
+          when /\A\A\s+/
+            @line = $'
+                 
+
+          when /\A""/, /\A''/, /\A[0-9]+/, /\A\{\s*\}/, /\A\[\s*\]/, /\Anil/
+            @line = $'
+                 yield token(:LIT, $&) 
+
+          when /\A\A[a-z][a-z_]*/
+            @line = $'
+                 yield token(:ID, $&)  
+
+          when /\A\A(.)/
+            @line = $'
+                 yield token($&, $&)   
+
+
+      else
+        raise RuntimeError, "must not happen #{@line}"
+      end
+    end
+  end while @original_line = @line = file.gets
+  yield nil, nil
+end
+module_eval <<'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 123
+  def do_default
+    master.nodes_code << <<-CODE
+      class Node_#{g_parser.lhs_name} < Node
+        def initialize
+          super()
+        end
+      end
+    CODE
+  end
+
+DEPAGER_EXPANDED_CODE
+
+  end
+end
+
+class Depager::CSTBuilderExtension::PostLhs1::Action < Depager::LALR::Action #:nodoc:all
+  include Depager::Utils::ExtensionSlaveDecoratorMethods
+ON_REDUCE = [
+              nil,
+            :_act_1,
+            :_act_2,
+            :_act_3,
+            :_act_4,
+            :_act_5,
+
+]
+def on_reduce; ON_REDUCE; end
+
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 145
+def _act_1 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 << <<-CODE
+          class Node_#{g_parser.lhs_name} < Node
+            attr_accessor #{attrc}
+            def initialize
+              super
+              #{code}
+            end
+          end
+        CODE
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 164
+def _act_2 val
+    _expr, = *val
+     [ _expr ] 
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 165
+def _act_3 val
+    _pair, _, _expr, = *val
+     _pair << _expr 
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 168
+def _act_4 val
+    _ID, = *val
+     [ _ID.value, nil] 
+
+end
+DEPAGER_EXPANDED_CODE
+module_eval <<-'DEPAGER_EXPANDED_CODE', 'lib/depager/plugins/cst.dr', 169
+def _act_5 val
+    _ID, _, _LIT, = *val
+     [ _ID.value, _LIT.value ] 
+
+end
+DEPAGER_EXPANDED_CODE
+
+
+end
+
+