depager 0.2.0 → 0.2.2

data/examples/sample_calc/calc.lex.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 = {
@@ -50,26 +50,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, 
@@ -80,17 +79,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, 
@@ -98,11 +97,12 @@ class TinyCalc < Depager::LALR::Basis
     nil, 
     nil, 
     nil, 
-    -8, 
+    nil, 
     nil, 
     nil, 
     -4, 
     -5, 
+    -8, 
   ]
   ### Nonterm to Int
   nt2i = { 
@@ -118,17 +118,17 @@ class TinyCalc < Depager::LALR::Basis
   ]
   ### Goto Table
   goto_table = [ 
-   [ 2, 3, 4, ], 
-   [ 6, 3, 4, ], 
+   [ 1, 2, 3, ], 
    [ nil, nil, nil, ], 
    [ 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, ], 
@@ -136,6 +136,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 ]

data/examples/sample_calc/calc.nvaction.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,24 +119,206 @@ class TinyCalc < Depager::LALR::Basis
   ]
   ### Goto Table
   goto_table = [ 
-   [ 2, 3, 4, ], 
-   [ 6, 3, 4, ], 
+   [ 1, 2, 3, ], 
    [ nil, nil, nil, ], 
    [ 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, ], 
    [ 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 ]
@@ -181,7 +363,7 @@ end
 
 class D4TinyCalc::NVAction < Depager::LALR::Action #:nodoc:all
   include Depager::DecoratorUtils
-  
+  []
   on_reduce = [
     nil,
               :_act_0,
@@ -202,77 +384,69 @@ class D4TinyCalc::NVAction < Depager::LALR::Action #:nodoc:all
   end
   
 
-module_eval <<-'.,.,11875410918262.,.,', 'sample_calc/calc.nvaction.dr', 14
-  def _act_0 val
-    _expr, _, _term = *val 
+module_eval <<-'.,.,120998293534507.,.,', 'sample_calc/calc.nvaction.dr', 14
+def _act_0 val
+    _expr, _, _term, = *val 
      _expr + _term 
 
-  end
-
-.,.,11875410918262.,.,
+end
+.,.,120998293534507.,.,
       
-module_eval <<-'.,.,1187541091927.,.,', 'sample_calc/calc.nvaction.dr', 15
-  def _act_1 val
-    _expr, _, _term = *val 
+module_eval <<-'.,.,120998293543793.,.,', 'sample_calc/calc.nvaction.dr', 15
+def _act_1 val
+    _expr, _, _term, = *val 
      _expr - _term 
 
-  end
-
-.,.,1187541091927.,.,
+end
+.,.,120998293543793.,.,
       
-module_eval <<-'.,.,118754109144413.,.,', 'sample_calc/calc.nvaction.dr', 16
-  def _act_2 val
-    _term = *val 
+module_eval <<-'.,.,12099829356139.,.,', 'sample_calc/calc.nvaction.dr', 16
+def _act_2 val
+    _term, = *val 
      _term 
 
-  end
-
-.,.,118754109144413.,.,
+end
+.,.,12099829356139.,.,
       
-module_eval <<-'.,.,118754109140027.,.,', 'sample_calc/calc.nvaction.dr', 19
-  def _act_3 val
-    _term, _, _fact = *val 
+module_eval <<-'.,.,120998293556044.,.,', 'sample_calc/calc.nvaction.dr', 19
+def _act_3 val
+    _term, _, _fact, = *val 
      _term * _fact 
 
-  end
-
-.,.,118754109140027.,.,
+end
+.,.,120998293556044.,.,
       
-module_eval <<-'.,.,118754109114448.,.,', 'sample_calc/calc.nvaction.dr', 20
-  def _act_4 val
-    _term, _, _fact = *val 
+module_eval <<-'.,.,120998293536062.,.,', 'sample_calc/calc.nvaction.dr', 20
+def _act_4 val
+    _term, _, _fact, = *val 
      _term / _fact 
 
-  end
-
-.,.,118754109114448.,.,
+end
+.,.,120998293536062.,.,
       
-module_eval <<-'.,.,11875410913851.,.,', 'sample_calc/calc.nvaction.dr', 21
-  def _act_5 val
-    _fact = *val 
+module_eval <<-'.,.,12099829353784.,.,', 'sample_calc/calc.nvaction.dr', 21
+def _act_5 val
+    _fact, = *val 
      _fact 
 
-  end
-
-.,.,11875410913851.,.,
+end
+.,.,12099829353784.,.,
       
-module_eval <<-'.,.,118754109131622.,.,', 'sample_calc/calc.nvaction.dr', 24
-  def _act_6 val
-    _NUM = *val 
+module_eval <<-'.,.,120998293538888.,.,', 'sample_calc/calc.nvaction.dr', 24
+def _act_6 val
+    _NUM, = *val 
      _NUM.value 
 
-  end
-
-.,.,118754109131622.,.,
+end
+.,.,120998293538888.,.,
       
-module_eval <<-'.,.,118754109111174.,.,', 'sample_calc/calc.nvaction.dr', 25
-  def _act_7 val
-    _, _expr, _ = *val 
+module_eval <<-'.,.,120998293537392.,.,', 'sample_calc/calc.nvaction.dr', 25
+def _act_7 val
+    _, _expr, _, = *val 
      _expr 
 
-  end
-
-.,.,118754109111174.,.,
+end
+.,.,120998293537392.,.,
       
 end