packcr 0.0.7 → 0.1.0

data/lib/packcr/templates/context/source.rb.erb

@@ -1,12 +1,141 @@
 # A packrat parser generated by PackCR <%= Packcr::VERSION %>
-<%- if !code(:source).empty? -%>
 
-<%-   code(:source).each do |code| -%>
+<%- if !code(:esource).empty? -%>
+<%-   code(:esource).each do |code| -%>
 <%=     stream.get_code_block(code, 0, @iname) -%>
 <%-   end -%>
-<%- end -%>
 
+<%- end -%>
 class <%= class_name %>
+  <%- code(:location).each do |code| -%>
+  <%- %><%= stream.get_code_block(code, 2, @iname) -%>
+
+  <%- end -%>
+  <%- code(:source).each do |code| -%>
+  <%=   stream.get_code_block(code, 2, @iname) -%>
+
+  <%- end -%>
+  class LrMemoTable
+    def initialize
+      @memos = {}
+    end
+
+    def clear
+      @memos.clear
+    end
+
+    def []=(index, rule_name, memo)
+      entry = @memos[index] ||= {}
+      entry[rule_name] = memo
+    end
+
+    def [](index, rule_name)
+      @memos.dig(index, rule_name)
+    end
+  end
+
+  class LrMemo
+    attr_accessor :grow, :answer, :offset, :fail
+    <%- if @location -%>
+    attr_accessor :offset_loc
+    <%- end -%>
+
+    def initialize(offset<% if @location %>, offset_loc<% end %>)
+      @offset = offset
+      <%- if @location -%>
+      @offset_loc = offset_loc
+      <%- end -%>
+      @fail = true
+      @grow = false
+    end
+
+    def answer=(answer)
+      @fail = nil
+      @answer = answer
+    end
+  end
+
+  class ThunkChunk
+    attr_accessor :thunks, :capts, :pos, :values
+    <%- if @location -%>
+    attr_accessor :pos_loc
+    <%- end -%>
+
+    def initialize
+      super
+      @thunks = []
+      @capts = {}
+      @pos = 0
+      @values = {}
+    end
+
+    def resize_captures(len)
+      len.times do |i|
+        @capts[i] = Capture.new
+      end
+    end
+  end
+
+  class ThunkLeaf
+    attr_accessor :capt0, :capts, :value_refs, :action
+
+    def initialize(action, capt0 = Capture.new, value_refs = {}, capts = {})
+      @value_refs = value_refs
+      @capts = capts
+      @capt0 = capt0
+      @action = action
+    end
+
+    def do_action(ctx, values, index)
+      ctx.public_send(action, self, values, index)
+    end
+  end
+
+  class ThunkNode
+    attr_accessor :thunks, :values, :index
+
+    def initialize(thunks, values, index)
+      @thunks = thunks
+      @values = values
+      @index = index
+      values[index] ||= Value.new if values
+    end
+
+    def do_action(ctx, _values, _index)
+      @thunks.each do |thunk|
+        thunk.do_action(ctx, @values, @index)
+      end
+    end
+
+    def clear
+      @thunks.clear
+    end
+  end
+
+  class Capture
+    attr_accessor :range_start, :range_end
+    <%- if @location -%>
+    attr_accessor :start_loc, :end_loc
+    <%- end -%>
+
+    def initialize(range_start = 0, range_end = 0<% if @location %>, start_loc = nil, end_loc = nil<% end%>)
+      @range_start = range_start
+      @range_end = range_end
+      <%- if @location -%>
+      @start_loc = start_loc || Location.new
+      @end_loc = end_loc || Location.new
+      <%- end -%>
+    end
+
+    def capture_string(buffer)
+      @capture_string ||= buffer[@range_start, @range_end - @range_start]
+    end
+  end
+
+  class Value
+    attr_accessor :value
+  end
+
   def initialize(<% if @auxil_type %><%= auxil_type %>, <% end %>debug: false)
     <%- if @utf8 -%>
     @buffer = +""
@@ -84,47 +213,6 @@ class <%= class_name %>
     nil while parse
   end
 
-  <%- @root.rules.each do |rule| -%>
-  <%-   rule.codes.each do |code| -%>
-  def action_<%= rule.name %>_<%= code.index %>(__pcc_in, __pcc_vars, __pcc_index)
-    ____ = (__pcc_vars[__pcc_index] ||= Value.new).value if __pcc_vars
-    <%-   code.vars.each do |ref| -%>
-    <%= ref.var %> = (__pcc_in.value_refs[<%= ref.index %>]  ||= Value.new).value
-    <%-   end -%>
-    __0 = __pcc_in.capt0.capture_string(@buffer)
-    __0s = @buffer_start_position + __pcc_in.capt0.range_start
-    __0e = @buffer_start_position + __pcc_in.capt0.range_end
-    <%-   if @location -%>
-    __0sl = @buffer_start_position_loc + __pcc_in.capt0.start_loc
-    __0el = @buffer_start_position_loc + __pcc_in.capt0.end_loc
-    <%-   end -%>
-    <%-   if @capture_in_code -%>
-    __0c = __pcc_in.capt0
-    <%-   end -%>
-    <%-   code.capts.each do |capture| -%>
-    __<%= capture.index + 1 %> = __pcc_in.capts[<%= capture.index %>].capture_string(@buffer)
-    __<%= capture.index + 1 %>s = @buffer_start_position + __pcc_in.capts[<%= capture.index %>].range_start
-    __<%= capture.index + 1 %>e = @buffer_start_position + __pcc_in.capts[<%= capture.index %>].range_end
-    <%-     if @location -%>
-    __<%= capture.index + 1 %>sl = @buffer_start_position_loc + __pcc_in.capts[<%= capture.index %>].start_loc
-    __<%= capture.index + 1 %>el = @buffer_start_position_loc + __pcc_in.capts[<%= capture.index %>].end_loc
-    <%-     end -%>
-    <%-     if @capture_in_code -%>
-    __<%= capture.index + 1 %>c = __pcc_in.capts[<%= capture.index %>]
-    <%-     end -%>
-    <%-   end -%>
-    <%- %><%=   stream.get_code_block(code.code, 4, @iname) -%>
-
-    __pcc_vars[__pcc_index].value = ____ if __pcc_vars
-  end
-
-  <%-   end -%>
-  <%- end -%>
-  <%- @root.rules.each do |rule| -%>
-  <%-   gen = ::Packcr::Generator.new(rule, @ascii, @location, :rb) -%>
-  <%-   -%><%= gen.generate_code(rule, 0, 2, false) -%>
-
-  <%- end -%>
   def grow_lr(rule, offset<% if @location %>, offset_loc<% end %>)
     while true
       old_offset = @position_offset
@@ -166,6 +254,9 @@ class <%= class_name %>
         memo.grow = false
         answer = memo.answer
         @position_offset = memo.offset
+        <%- if @location -%>
+        @position_offset_loc = memo.offset_loc
+        <%- end -%>
       end
       return answer
     elsif memo.fail
@@ -174,6 +265,9 @@ class <%= class_name %>
       return nil
     else
       @position_offset = memo.offset
+      <%- if @location -%>
+      @position_offset_loc = memo.offset_loc
+      <%- end -%>
       return memo.answer
     end
   end
@@ -184,11 +278,19 @@ class <%= class_name %>
       answer = public_send(rule, offset<% if @location %>, offset_loc<% end %>, limits: limits)
       memo = @memos[offset, rule]
       if !answer || @position_offset <= memo.offset
-        answer = memo.answer
-        @position_offset = memo.offset
+        if memo
+          answer = memo.answer
+          @position_offset = memo.offset
+          <%- if @location -%>
+          @position_offset_loc = memo.offset_loc
+          <%- end -%>
+        end
       else
         memo.answer = answer
         memo.offset = @position_offset
+        <%- if @location -%>
+        memo.offset_loc = @position_offset_loc
+        <%- end -%>
       end
     else
       answer = rule_answer(rule)
@@ -207,131 +309,47 @@ class <%= class_name %>
       thunk.do_action(self, values, index)
     end
   end
+  <%- @root.rules.each do |rule| -%>
+  <%-   rule.codes.each do |code| -%>
 
-  <%-   code(:location).each do |code| -%>
-  <%- %><%= stream.get_code_block(code, 2, @iname) -%>
-
-  <%-   end -%>
-  class LrMemoTable
-    def initialize
-      @memos = {}
-    end
-
-    def clear
-      @memos.clear
-    end
-
-    def []=(index, rule_name, memo)
-      entry = @memos[index] ||= {}
-      entry[rule_name] = memo
-    end
-
-    def [](index, rule_name)
-      @memos.dig(index, rule_name)
-    end
-  end
-
-  class LrMemo
-    attr_accessor :grow, :answer, :offset, :fail
-    <%- if @location -%>
-    attr_accessor :offset_loc
-    <%- end -%>
-
-    def initialize(offset<% if @location %>, offset_loc<% end %>)
-      @offset = offset
-      <%- if @location -%>
-      @offset_loc = offset_loc
-      <%- end -%>
-      @fail = true
-      @grow = false
-    end
-
-    def answer=(answer)
-      @fail = nil
-      @answer = answer
-    end
-  end
-
-  class ThunkChunk
-    attr_accessor :thunks, :capts, :pos, :values
-    <%- if @location -%>
-    attr_accessor :pos_loc
-    <%- end -%>
-
-    def initialize
-      super
-      @thunks = []
-      @capts = {}
-      @pos = 0
-      @values = {}
-    end
-
-    def resize_captures(len)
-      len.times do |i|
-        @capts[i] = Capture.new
-      end
-    end
-  end
-
-  class ThunkLeaf
-    attr_accessor :capt0, :capts, :value_refs, :action
-
-    def initialize(action, capt0 = Capture.new, value_refs = {}, capts = {})
-      @value_refs = value_refs
-      @capts = capts
-      @capt0 = capt0
-      @action = action
-    end
-
-    def do_action(ctx, values, index)
-      ctx.public_send(action, self, values, index)
-    end
-  end
-
-  class ThunkNode
-    attr_accessor :thunks, :values, :index
-
-    def initialize(thunks, values, index)
-      @thunks = thunks
-      @values = values
-      @index = index
-      values[index] ||= Value.new if values
-    end
-
-    def do_action(ctx, _values, _index)
-      @thunks.each do |thunk|
-        thunk.do_action(ctx, @values, @index)
-      end
-    end
-
-    def clear
-      @thunks.clear
-    end
-  end
-
-  class Capture
-    attr_accessor :range_start, :range_end
-    <%- if @location -%>
-    attr_accessor :start_loc, :end_loc
-    <%- end -%>
-
-    def initialize(range_start = 0, range_end = 0<% if @location %>, start_loc = nil, end_loc = nil<% end%>)
-      @range_start = range_start
-      @range_end = range_end
-      <%- if @location -%>
-      @start_loc = start_loc || Location.new
-      @end_loc = end_loc || Location.new
-      <%- end -%>
-    end
+  def action_<%= rule.name %>_<%= code.index %>(__packcr_in, __packcr_vars, __packcr_index)
+    ____ = (__packcr_vars[__packcr_index] ||= Value.new).value if __packcr_vars
+    <%-   code.vars.each do |ref| -%>
+    <%= ref.var %> = (__packcr_in.value_refs[<%= ref.index %>]  ||= Value.new).value
+    <%-   end -%>
+    __0 = __packcr_in.capt0.capture_string(@buffer)
+    __0s = @buffer_start_position + __packcr_in.capt0.range_start
+    __0e = @buffer_start_position + __packcr_in.capt0.range_end
+    <%-   if @location -%>
+    __0sl = @buffer_start_position_loc + __packcr_in.capt0.start_loc
+    __0el = @buffer_start_position_loc + __packcr_in.capt0.end_loc
+    <%-   end -%>
+    <%-   if @capture_in_code -%>
+    __0c = __packcr_in.capt0
+    <%-   end -%>
+    <%-   code.capts.each do |capture| -%>
+    __<%= capture.index + 1 %> = __packcr_in.capts[<%= capture.index %>].capture_string(@buffer)
+    __<%= capture.index + 1 %>s = @buffer_start_position + __packcr_in.capts[<%= capture.index %>].range_start
+    __<%= capture.index + 1 %>e = @buffer_start_position + __packcr_in.capts[<%= capture.index %>].range_end
+    <%-     if @location -%>
+    __<%= capture.index + 1 %>sl = @buffer_start_position_loc + __packcr_in.capts[<%= capture.index %>].start_loc
+    __<%= capture.index + 1 %>el = @buffer_start_position_loc + __packcr_in.capts[<%= capture.index %>].end_loc
+    <%-     end -%>
+    <%-     if @capture_in_code -%>
+    __<%= capture.index + 1 %>c = __packcr_in.capts[<%= capture.index %>]
+    <%-     end -%>
+    <%-   end -%>
+    <%- %><%=   stream.get_code_block(code.code, 4, @iname) -%>
 
-    def capture_string(buffer)
-      @capture_string ||= buffer[@range_start, @range_end - @range_start]
-    end
+    __packcr_vars[__packcr_index].value = ____ if __packcr_vars
   end
+  <%-   end -%>
+  <%- end -%>
+  <%- @root.rules.each do |rule| -%>
 
-  class Value
-    attr_accessor :value
-  end
+  <%-   gen = ::Packcr::Generator.new(rule, @ascii, @location, :rb) -%>
+  <%-   -%><%= gen.generate_code(rule, 0, 2, false) -%>
+  <%- end -%>
 end
 <%- if !code(:lsource).empty? -%>