depager 0.2.0 → 0.2.2

data/examples/sample_calc/{calc.astl.dr → calc.ast.dr}

@@ -1,7 +1,7 @@
 %class TinyCalc
 %extend Lexer ('depager/lex.rb')
-%extend ASTBuilderLazy ('depager/astl.rb')
-%decorate @ASTBuilderLazy
+%extend ASTBuilder ('depager/ast.rb')
+%decorate @ASTBuilder
 #%decorate ShiftReducePrinter ('depager/srp.rb')
 %%
 
@@ -14,11 +14,11 @@
 %AST{
   Node [value]     { @value = nil }
   Visitor          { }
-  add(left, right) { ~value = visit(~left).value + visit(~right).value }
-  sub(left, right) { ~value = visit(~left).value - visit(~right).value }
-  mul(left, right) { ~value = visit(~left).value * visit(~right).value }
-  div(left, right) { ~value = visit(~left).value / visit(~right).value }
-  literal(-n)      { ~value = ~n.value }
+  add(left, right) { $.value = visit($.left).value + visit($.right).value }
+  sub(left, right) { $.value = visit($.left).value - visit($.right).value }
+  mul(left, right) { $.value = visit($.left).value * visit($.right).value }
+  div(left, right) { $.value = visit($.left).value / visit($.right).value }
+  literal(-n)      { $.value = $.n.value }
 %}
 
 #begin-rule

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

@@ -0,0 +1,672 @@
+
+begin; require 'rubygems'; rescue Exception; end
+require 'depager/parser.rb'
+
+
+module Depager::DecoratorUtils; end
+module D4TinyCalc;    end
+
+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,    1 ], # (  3) expr : term
+    [    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 ')'
+  ]
+  ### Extension Params
+  nparams = {
+    'ASTBuilder' => 2, 
+  }
+  ### Term to Int
+  t2i = {
+    nil => 0, 
+    false => 1, 
+    "+" => 2, 
+    "-" => 3, 
+    "*" => 4, 
+    "/" => 5, 
+    :NUM => 6, 
+    "(" => 7, 
+    ")" => 8, 
+  }
+  ### Int to Term
+  i2t = [
+    nil, 
+    false, 
+    "+", 
+    "-", 
+    "*", 
+    "/", 
+    :NUM, 
+    "(", 
+    ")", 
+  ]
+  ### Action Table
+  action_table = [
+    [ 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, 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, nil, nil, nil, nil, nil, ], 
+    [ nil, nil, nil, nil, nil, nil, nil, nil, nil, ], 
+  ]
+  ### Default Reduce Table
+  defred_table = [
+    nil, 
+    nil, 
+    -3, 
+    -6, 
+    -7, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    -1, 
+    -2, 
+    -4, 
+    -5, 
+    -8, 
+  ]
+  defred_after_shift_table = [
+    nil, 
+    nil, 
+    nil, 
+    -6, 
+    -7, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    nil, 
+    -4, 
+    -5, 
+    -8, 
+  ]
+  ### Nonterm to Int
+  nt2i = { 
+    :expr => 0,  
+    :term => 1,  
+    :fact => 2, 
+  }
+  ### Int to Nonterm
+  i2nt = [
+    :expr, 
+    :term, 
+    :fact, 
+  ]
+  ### Goto Table
+  goto_table = [ 
+   [ 1, 2, 3, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ 10, 2, 3, ], 
+   [ nil, 11, 3, ], 
+   [ nil, 12, 3, ], 
+   [ nil, nil, 13, ], 
+   [ nil, nil, 14, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ nil, nil, nil, ], 
+   [ 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 ]
+
+  def self.createDecoratedParser
+    D4TinyCalc::ASTBuilder.new(TinyCalc.new())
+  end
+
+  ### Inner Code
+
+          def lex
+            begin
+              until @line.empty?
+                case @line
+                
+          when /\A\s+/, /\A\#.*/
+            @oldline = @line; @line = $'
+                 
+
+        
+          when /\A[1-9][0-9]*/
+            @oldline = @line; @line = $'
+                 yield _Token(:NUM, $&.to_i) 
+
+        
+          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 Node
+  attr_accessor :lineno
+  attr_accessor :value
+  
+          def initialize
+                 @value = nil 
+
+          end
+        
+  def self.[] lineno, *args
+    self.new lineno, *args
+  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
+    @left = left
+    @right = right
+
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+    
+    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
+    @left = left
+    @right = right
+
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+    
+    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
+    @left = left
+    @right = right
+
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+    
+    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
+    @left = left
+    @right = right
+
+  end
+  def accept v
+    warn @lineno.to_s+':'+self.class.to_s if $DEBUG
+    
+    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
+    @n = n
+
+  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 <<-'.,.,120998293265197.,.,', 'sample_calc/calc.ast.dr', 16
+     
+
+.,.,120998293265197.,.,
+
+module_eval <<-'.,.,120998293245244.,.,', 'sample_calc/calc.ast.dr', 16
+def visit_Node_add node
+     node.value = visit(node.left).value + visit(node.right).value 
+
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,120998293245244.,.,
+      
+module_eval <<-'.,.,120998293213935.,.,', 'sample_calc/calc.ast.dr', 17
+def visit_Node_sub node
+     node.value = visit(node.left).value - visit(node.right).value 
+
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,120998293213935.,.,
+      
+module_eval <<-'.,.,12099829324616.,.,', 'sample_calc/calc.ast.dr', 18
+def visit_Node_mul node
+     node.value = visit(node.left).value * visit(node.right).value 
+
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,12099829324616.,.,
+      
+module_eval <<-'.,.,120998293234368.,.,', 'sample_calc/calc.ast.dr', 19
+def visit_Node_div node
+     node.value = visit(node.left).value / visit(node.right).value 
+
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,120998293234368.,.,
+      
+module_eval <<-'.,.,120998293249216.,.,', 'sample_calc/calc.ast.dr', 20
+def visit_Node_literal node
+     node.value = node.n.value 
+
+      rescue
+        warn "raise at src:#{node.lineno}/#{node.class.name}"
+        raise
+    
+end
+.,.,120998293249216.,.,
+      
+          end
+        
+class D4TinyCalc::ASTBuilder < Depager::LALR::Action #:nodoc:all
+  include Depager::DecoratorUtils
+  []
+  on_reduce = [
+    nil,
+              :_ast_0,
+  :_ast_1,
+  :_ast_2,
+  :_ast_3,
+  :_ast_4,
+  :_ast_5,
+  :_ast_6,
+  :_ast_7,
+
+  ]
+  Tables = [on_reduce]
+  def initialize inside
+    super inside, 'ASTBuilder'
+    @on_reduce, = self.class::Tables
+    init_parser
+  end
+  
+
+module_eval <<-'.,.,120998293222606.,.,', 'sample_calc/calc.ast.dr', 26
+def _ast_0 val
+Node_add.new(val[0].lineno, val[0], val[2])
+end
+.,.,120998293222606.,.,
+      
+module_eval <<-'.,.,120998293214748.,.,', 'sample_calc/calc.ast.dr', 28
+def _ast_1 val
+Node_sub.new(val[0].lineno, val[0], val[2])
+end
+.,.,120998293214748.,.,
+      
+module_eval <<-'.,.,120998293241279.,.,', 'sample_calc/calc.ast.dr', 30
+def _ast_2 val
+val[0]
+end
+.,.,120998293241279.,.,
+      
+module_eval <<-'.,.,120998293210610.,.,', 'sample_calc/calc.ast.dr', 34
+def _ast_3 val
+Node_mul.new(val[0].lineno, val[0], val[2])
+end
+.,.,120998293210610.,.,
+      
+module_eval <<-'.,.,120998293222357.,.,', 'sample_calc/calc.ast.dr', 36
+def _ast_4 val
+Node_div.new(val[0].lineno, val[0], val[2])
+end
+.,.,120998293222357.,.,
+      
+module_eval <<-'.,.,120998293264485.,.,', 'sample_calc/calc.ast.dr', 38
+def _ast_5 val
+val[0]
+end
+.,.,120998293264485.,.,
+      
+module_eval <<-'.,.,120998293260105.,.,', 'sample_calc/calc.ast.dr', 42
+def _ast_6 val
+Node_literal.new(val[0].lineno, val[0])
+end
+.,.,120998293260105.,.,
+      
+module_eval <<-'.,.,120998293251005.,.,', 'sample_calc/calc.ast.dr', 44
+def _ast_7 val
+val[1]
+end
+.,.,120998293251005.,.,
+      
+end
+      
+
+def createDecoratedTinyCalc
+  D4TinyCalc::ASTBuilder.new(TinyCalc.new())
+end
+
+### main
+if __FILE__ == $0
+### Main Code
+require 'pp'
+parser = createDecoratedTinyCalc()
+t, = parser.yyparse(STDIN)
+v = Visitor.new
+pp t.accept(v).value
+pp t
+
+
+end