depager 0.2.0 → 0.2.2

data/examples/sample_calc/calc.astdf.dr

@@ -14,11 +14,11 @@
 %AST{
   Node [value]     { @value = nil }
   Visitor          { }
-  add(left, right) { ~value = ~left.value + ~right.value }
-  sub(left, right) { ~value = ~left.value - ~right.value }
-  mul(left, right) { ~value = ~left.value * ~right.value }
-  div(left, right) { ~value = ~left.value / ~right.value }
-  literal(-n)      { ~value = ~n.value }
+  add(left, right) { $.value = $.left.value + $.right.value }
+  sub(left, right) { $.value = $.left.value - $.right.value }
+  mul(left, right) { $.value = $.left.value * $.right.value }
+  div(left, right) { $.value = $.left.value / $.right.value }
+  literal(-n)      { $.value = $.n.value }
 %}
 
 #begin-rule

data/examples/sample_calc/calc.astdf.tab.rb

@@ -3,8 +3,8 @@ begin; require 'rubygems'; rescue Exception; end
 require 'depager/parser.rb'
 
 
-module D4TinyCalc
-end
+module Depager::DecoratorUtils; end
+module D4TinyCalc;    end
 
 class TinyCalc < Depager::LALR::Basis
   
@@ -12,14 +12,14 @@ class TinyCalc < Depager::LALR::Basis
   ### Reduce Table
   reduce_table = [
     [   -1,    1 ], # (  0) $start : expr
-    [    0,    3 ], # (  1) expr : expr + term
-    [    0,    3 ], # (  2) expr : expr - term
+    [    0,    3 ], # (  1) expr : expr '+' term
+    [    0,    3 ], # (  2) expr : expr '-' term
     [    0,    1 ], # (  3) expr : term
-    [    1,    3 ], # (  4) term : term * fact
-    [    1,    3 ], # (  5) term : term / fact
+    [    1,    3 ], # (  4) term : term '*' fact
+    [    1,    3 ], # (  5) term : term '/' fact
     [    1,    1 ], # (  6) term : fact
     [    2,    1 ], # (  7) fact : NUM
-    [    2,    3 ], # (  8) fact : ( expr )
+    [    2,    3 ], # (  8) fact : '(' expr ')'
   ]
   ### Extension Params
   nparams = {
@@ -51,26 +51,25 @@ class TinyCalc < Depager::LALR::Basis
   ]
   ### Action Table
   action_table = [
-    [ nil, nil, nil, nil, nil, nil, 5, 1, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 5, 1, nil, ], 
-    [ ACC, nil, 7, 8, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, 9, 10, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, 4, 5, nil, ], 
+    [ ACC, nil, 6, 7, nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, 8, 9, nil, nil, nil, ], 
     [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
     [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, 7, 8, nil, nil, nil, nil, 11, ], 
-    [ nil, nil, nil, nil, nil, nil, 5, 1, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 5, 1, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 5, 1, nil, ], 
-    [ nil, nil, nil, nil, nil, nil, 5, 1, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, 4, 5, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, 4, 5, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, 4, 5, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, 4, 5, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, 4, 5, nil, ], 
+    [ nil, nil, 6, 7, nil, nil, nil, nil, 15, ], 
+    [ nil, nil, nil, nil, 8, 9, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, 8, 9, nil, nil, nil, ], 
     [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, 9, 10, nil, nil, nil, ], 
-    [ nil, nil, nil, nil, 9, 10, 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, 
     -3, 
@@ -81,17 +80,17 @@ class TinyCalc < Depager::LALR::Basis
     nil, 
     nil, 
     nil, 
-    -8, 
+    nil, 
     -1, 
     -2, 
     -4, 
     -5, 
+    -8, 
   ]
   defred_after_shift_table = [
     nil, 
     nil, 
     nil, 
-    nil, 
     -6, 
     -7, 
     nil, 
@@ -99,11 +98,12 @@ class TinyCalc < Depager::LALR::Basis
     nil, 
     nil, 
     nil, 
-    -8, 
+    nil, 
     nil, 
     nil, 
     -4, 
     -5, 
+    -8, 
   ]
   ### Nonterm to Int
   nt2i = { 
@@ -119,17 +119,17 @@ class TinyCalc < Depager::LALR::Basis
   ]
   ### Goto Table
   goto_table = [ 
-   [ 2, 3, 4, ], 
-   [ 6, 3, 4, ], 
-   [ nil, nil, nil, ], 
+   [ 1, 2, 3, ], 
    [ nil, nil, nil, ], 
    [ nil, nil, nil, ], 
    [ nil, nil, nil, ], 
    [ nil, nil, nil, ], 
-   [ nil, 12, 4, ], 
-   [ nil, 13, 4, ], 
+   [ 10, 2, 3, ], 
+   [ nil, 11, 3, ], 
+   [ nil, 12, 3, ], 
+   [ nil, nil, 13, ], 
    [ nil, nil, 14, ], 
-   [ nil, nil, 15, ], 
+   [ nil, nil, nil, ], 
    [ nil, nil, nil, ], 
    [ nil, nil, nil, ], 
    [ nil, nil, nil, ], 
@@ -137,6 +137,188 @@ class TinyCalc < Depager::LALR::Basis
    [ nil, nil, nil, ], 
   ]
 
+
+  alias orig_error error
+  def error
+    orig_error
+    warn "current state: #{StateInfo[@stack.last]}"
+  end
+
+  ### States
+  StateInfo = [ 
+<<'----------',
+I000 = 
+  (  0) $start : _ expr
+
+  NUM             shift, and goto to state 4
+  '('             shift, and goto to state 5
+
+
+----------
+  
+<<'----------',
+I001 = 
+  (  0) $start : expr _
+  (  1) expr : expr _ '+' term
+  (  2) expr : expr _ '-' term
+
+  '+'             shift, and goto to state 6
+  '-'             shift, and goto to state 7
+
+
+  $end            accept
+
+----------
+  
+<<'----------',
+I002 = 
+  (  3) expr : term _
+  (  4) term : term _ '*' fact
+  (  5) term : term _ '/' fact
+
+  '*'             shift, and goto to state 8
+  '/'             shift, and goto to state 9
+
+  $default       reduce using rule 3 (expr) 
+
+----------
+  
+<<'----------',
+I003 = 
+  (  6) term : fact _
+
+
+  $default       reduce using rule 6 (term)  [after shift]
+
+----------
+  
+<<'----------',
+I004 = 
+  (  7) fact : NUM _
+
+
+  $default       reduce using rule 7 (fact)  [after shift]
+
+----------
+  
+<<'----------',
+I005 = 
+  (  8) fact : '(' _ expr ')'
+
+  NUM             shift, and goto to state 4
+  '('             shift, and goto to state 5
+
+
+----------
+  
+<<'----------',
+I006 = 
+  (  1) expr : expr '+' _ term
+
+  NUM             shift, and goto to state 4
+  '('             shift, and goto to state 5
+
+
+----------
+  
+<<'----------',
+I007 = 
+  (  2) expr : expr '-' _ term
+
+  NUM             shift, and goto to state 4
+  '('             shift, and goto to state 5
+
+
+----------
+  
+<<'----------',
+I008 = 
+  (  4) term : term '*' _ fact
+
+  NUM             shift, and goto to state 4
+  '('             shift, and goto to state 5
+
+
+----------
+  
+<<'----------',
+I009 = 
+  (  5) term : term '/' _ fact
+
+  NUM             shift, and goto to state 4
+  '('             shift, and goto to state 5
+
+
+----------
+  
+<<'----------',
+I010 = 
+  (  8) fact : '(' expr _ ')'
+  (  1) expr : expr _ '+' term
+  (  2) expr : expr _ '-' term
+
+  '+'             shift, and goto to state 6
+  '-'             shift, and goto to state 7
+  ')'             shift, and goto to state 15
+
+
+----------
+  
+<<'----------',
+I011 = 
+  (  1) expr : expr '+' term _
+  (  4) term : term _ '*' fact
+  (  5) term : term _ '/' fact
+
+  '*'             shift, and goto to state 8
+  '/'             shift, and goto to state 9
+
+  $default       reduce using rule 1 (expr) 
+
+----------
+  
+<<'----------',
+I012 = 
+  (  2) expr : expr '-' term _
+  (  4) term : term _ '*' fact
+  (  5) term : term _ '/' fact
+
+  '*'             shift, and goto to state 8
+  '/'             shift, and goto to state 9
+
+  $default       reduce using rule 2 (expr) 
+
+----------
+  
+<<'----------',
+I013 = 
+  (  4) term : term '*' fact _
+
+
+  $default       reduce using rule 4 (term)  [after shift]
+
+----------
+  
+<<'----------',
+I014 = 
+  (  5) term : term '/' fact _
+
+
+  $default       reduce using rule 5 (term)  [after shift]
+
+----------
+  
+<<'----------',
+I015 = 
+  (  8) fact : '(' expr ')' _
+
+
+  $default       reduce using rule 8 (fact)  [after shift]
+
+----------
+  ]
+
+
   Tables = [ reduce_table, nparams, action_table,
              defred_table, defred_after_shift_table, goto_table,
              t2i, i2t, nt2i, i2nt ]
@@ -179,207 +361,236 @@ end
 
 ### Outer Code
 
-  class Node
-    attr_accessor :lineno
-    attr_accessor :value
-    
+class Node
+  attr_accessor :lineno
+  attr_accessor :value
+  
           def initialize
                  @value = nil 
 
           end
         
-    def to_ary
-      [self]
-    end
-    def self.[] lineno, *args
-      self.new lineno, *args
-    end
-    def accept v
-    end
+  def self.[] lineno, *args
+    self.new lineno, *args
   end
-  require 'forwardable'
-  class NodeList < Node
-    attr_accessor :lineno
-    extend Forwardable
-    _methods = Array.instance_methods -
-      Object.instance_methods -
-      ['push', 'concat', 'to_ary', 'map']
-    def_delegators(:@lst, *_methods)
-    def initialize(lineno, lst=[])
-      @lineno = lineno
-      @lst = lst.to_a
-    end
-    
-        def value
-          @lst.map{|i| "i.value"} 
-        end
-      
-    def push(i)   @lst.push i; self;          end
-    def concat(i) @lst.concat i; self;        end
-    def map(&b)   @lst.map(&b);               end
-    def to_ary()  @lst;                       end
-    def accept(v)
-      @lst.each{|i| i.accept(v) }
-    end
+  def accept v
+  end
+end
+class NodeList < Node
+  attr_accessor :lineno
+  def initialize(lineno, lst=[])
+    @lineno = lineno
+    @lst = lst.to_a.select{|i| ! i.is_a?(NilNode)}
+  end
+  
+  def all_value
+    @lst.map{|i| i.value} 
   end
+  
+  def size
+    @lst.size
+  end
+  alias length size
+  def push(i)
+    @lst.push i unless i.is_a? NilNode
+    self
+  end
+  def concat(i)
+    @lst.concat i
+    self
+  end
+  def to_ary()
+    @lst
+  end
+  alias to_a to_ary
+  alias list to_ary
+  def accept(v)
+    @lst.each{|i| i.accept(v) }
+  end
+end
+class NilNode
+  attr_accessor :lineno
+  attr_accessor :value
+  def initialize(lineno, *args)
+    @lineno = lineno
+  end
+  def accept v
+  end
+end
 
-  class Node_add < Node
-    attr_accessor :left, :right
-    attr_accessor 
-    def initialize lineno, left, right
-      super()
-      @lineno = lineno
-          @lineno = lineno
+
+class Node_add < Node
+  attr_accessor :left, :right
+  attr_accessor 
+  def initialize lineno, left, right
+    super()
+    @lineno = lineno
+        @lineno = lineno
     @left = left
     @right = right
 
-    end
-    def accept v
-      warn @lineno.to_s+':'+self.class.to_s if $DEBUG
-              @left.accept(v)
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+            @left.accept(v)
         @right.accept(v)
 
-      v.visit_Node_add(self)
-      self
-    end
+    v.visit_Node_add(self)
+    self
   end
+end
 
-  class Node_sub < Node
-    attr_accessor :left, :right
-    attr_accessor 
-    def initialize lineno, left, right
-      super()
-      @lineno = lineno
-          @lineno = lineno
+class Node_sub < Node
+  attr_accessor :left, :right
+  attr_accessor 
+  def initialize lineno, left, right
+    super()
+    @lineno = lineno
+        @lineno = lineno
     @left = left
     @right = right
 
-    end
-    def accept v
-      warn @lineno.to_s+':'+self.class.to_s if $DEBUG
-              @left.accept(v)
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+            @left.accept(v)
         @right.accept(v)
 
-      v.visit_Node_sub(self)
-      self
-    end
+    v.visit_Node_sub(self)
+    self
   end
+end
 
-  class Node_mul < Node
-    attr_accessor :left, :right
-    attr_accessor 
-    def initialize lineno, left, right
-      super()
-      @lineno = lineno
-          @lineno = lineno
+class Node_mul < Node
+  attr_accessor :left, :right
+  attr_accessor 
+  def initialize lineno, left, right
+    super()
+    @lineno = lineno
+        @lineno = lineno
     @left = left
     @right = right
 
-    end
-    def accept v
-      warn @lineno.to_s+':'+self.class.to_s if $DEBUG
-              @left.accept(v)
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+            @left.accept(v)
         @right.accept(v)
 
-      v.visit_Node_mul(self)
-      self
-    end
+    v.visit_Node_mul(self)
+    self
   end
+end
 
-  class Node_div < Node
-    attr_accessor :left, :right
-    attr_accessor 
-    def initialize lineno, left, right
-      super()
-      @lineno = lineno
-          @lineno = lineno
+class Node_div < Node
+  attr_accessor :left, :right
+  attr_accessor 
+  def initialize lineno, left, right
+    super()
+    @lineno = lineno
+        @lineno = lineno
     @left = left
     @right = right
 
-    end
-    def accept v
-      warn @lineno.to_s+':'+self.class.to_s if $DEBUG
-              @left.accept(v)
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+            @left.accept(v)
         @right.accept(v)
 
-      v.visit_Node_div(self)
-      self
-    end
+    v.visit_Node_div(self)
+    self
   end
+end
 
-  class Node_literal < Node
-    attr_accessor :n
-    attr_accessor :n
-    def initialize lineno, n
-      super()
-      @lineno = lineno
-          @lineno = lineno
+class Node_literal < Node
+  attr_accessor :n
+  attr_accessor :n
+  def initialize lineno, n
+    super()
+    @lineno = lineno
+        @lineno = lineno
     @n = n
 
-    end
-    def accept v
-      warn @lineno.to_s+':'+self.class.to_s if $DEBUG
-      
-      v.visit_Node_literal(self)
-      self
-    end
   end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+    
+    v.visit_Node_literal(self)
+    self
+  end
+end
 
           class Visitor
             def visit node
               node.accept(self)
             end
           
-module_eval <<-'.,.,118754108843671.,.,', 'sample_calc/calc.astdf.dr', 16
+module_eval <<-'.,.,120998293320397.,.,', 'sample_calc/calc.astdf.dr', 16
      
 
-.,.,118754108843671.,.,
+.,.,120998293320397.,.,
 
-module_eval <<-'.,.,118754108831511.,.,', 'sample_calc/calc.astdf.dr', 16
-  def visit_Node_add node
+module_eval <<-'.,.,120998293317058.,.,', 'sample_calc/calc.astdf.dr', 16
+def visit_Node_add node
      node.value = node.left.value + node.right.value 
 
-  end
-
-.,.,118754108831511.,.,
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,120998293317058.,.,
       
-module_eval <<-'.,.,118754108811762.,.,', 'sample_calc/calc.astdf.dr', 17
-  def visit_Node_sub node
+module_eval <<-'.,.,12099829337992.,.,', 'sample_calc/calc.astdf.dr', 17
+def visit_Node_sub node
      node.value = node.left.value - node.right.value 
 
-  end
-
-.,.,118754108811762.,.,
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,12099829337992.,.,
       
-module_eval <<-'.,.,118754108823654.,.,', 'sample_calc/calc.astdf.dr', 18
-  def visit_Node_mul node
+module_eval <<-'.,.,12099829331479.,.,', 'sample_calc/calc.astdf.dr', 18
+def visit_Node_mul node
      node.value = node.left.value * node.right.value 
 
-  end
-
-.,.,118754108823654.,.,
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,12099829331479.,.,
       
-module_eval <<-'.,.,118754108858414.,.,', 'sample_calc/calc.astdf.dr', 19
-  def visit_Node_div node
+module_eval <<-'.,.,120998293356650.,.,', 'sample_calc/calc.astdf.dr', 19
+def visit_Node_div node
      node.value = node.left.value / node.right.value 
 
-  end
-
-.,.,118754108858414.,.,
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,120998293356650.,.,
       
-module_eval <<-'.,.,118754108849141.,.,', 'sample_calc/calc.astdf.dr', 20
-  def visit_Node_literal node
+module_eval <<-'.,.,120998293349915.,.,', 'sample_calc/calc.astdf.dr', 20
+def visit_Node_literal node
      node.value = node.n.value 
 
-  end
-
-.,.,118754108849141.,.,
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,120998293349915.,.,
       
           end
         
 class D4TinyCalc::ASTBuilderDepthFirst < Depager::LALR::Action #:nodoc:all
   include Depager::DecoratorUtils
-  
+  []
   on_reduce = [
     nil,
               :_ast_0,
@@ -400,61 +611,53 @@ class D4TinyCalc::ASTBuilderDepthFirst < Depager::LALR::Action #:nodoc:all
   end
   
 
-module_eval <<-'.,.,118754108836976.,.,', 'sample_calc/calc.astdf.dr', 26
-  def _ast_0 val
+module_eval <<-'.,.,12099829331599.,.,', 'sample_calc/calc.astdf.dr', 26
+def _ast_0 val
 Node_add.new(val[0].lineno, val[0], val[2])
-  end
-
-.,.,118754108836976.,.,
+end
+.,.,12099829331599.,.,
       
-module_eval <<-'.,.,118754108859323.,.,', 'sample_calc/calc.astdf.dr', 28
-  def _ast_1 val
+module_eval <<-'.,.,12099829338068.,.,', 'sample_calc/calc.astdf.dr', 28
+def _ast_1 val
 Node_sub.new(val[0].lineno, val[0], val[2])
-  end
-
-.,.,118754108859323.,.,
+end
+.,.,12099829338068.,.,
       
-module_eval <<-'.,.,11875410886924.,.,', 'sample_calc/calc.astdf.dr', 30
-  def _ast_2 val
+module_eval <<-'.,.,12099829334432.,.,', 'sample_calc/calc.astdf.dr', 30
+def _ast_2 val
 val[0]
-  end
-
-.,.,11875410886924.,.,
+end
+.,.,12099829334432.,.,
       
-module_eval <<-'.,.,118754108848739.,.,', 'sample_calc/calc.astdf.dr', 34
-  def _ast_3 val
+module_eval <<-'.,.,120998293324156.,.,', 'sample_calc/calc.astdf.dr', 34
+def _ast_3 val
 Node_mul.new(val[0].lineno, val[0], val[2])
-  end
-
-.,.,118754108848739.,.,
+end
+.,.,120998293324156.,.,
       
-module_eval <<-'.,.,118754108840033.,.,', 'sample_calc/calc.astdf.dr', 36
-  def _ast_4 val
+module_eval <<-'.,.,120998293347721.,.,', 'sample_calc/calc.astdf.dr', 36
+def _ast_4 val
 Node_div.new(val[0].lineno, val[0], val[2])
-  end
-
-.,.,118754108840033.,.,
+end
+.,.,120998293347721.,.,
       
-module_eval <<-'.,.,118754108834371.,.,', 'sample_calc/calc.astdf.dr', 38
-  def _ast_5 val
+module_eval <<-'.,.,120998293340404.,.,', 'sample_calc/calc.astdf.dr', 38
+def _ast_5 val
 val[0]
-  end
-
-.,.,118754108834371.,.,
+end
+.,.,120998293340404.,.,
       
-module_eval <<-'.,.,118754108849607.,.,', 'sample_calc/calc.astdf.dr', 42
-  def _ast_6 val
+module_eval <<-'.,.,120998293339461.,.,', 'sample_calc/calc.astdf.dr', 42
+def _ast_6 val
 Node_literal.new(val[0].lineno, val[0])
-  end
-
-.,.,118754108849607.,.,
+end
+.,.,120998293339461.,.,
       
-module_eval <<-'.,.,118754108811811.,.,', 'sample_calc/calc.astdf.dr', 44
-  def _ast_7 val
+module_eval <<-'.,.,120998293325172.,.,', 'sample_calc/calc.astdf.dr', 44
+def _ast_7 val
 val[1]
-  end
-
-.,.,118754108811811.,.,
+end
+.,.,120998293325172.,.,
       
 end