packcr 0.0.6 → 0.0.7

data/lib/packcr/templates/node/charclass_one.rb.erb

@@ -1,23 +1,23 @@
 <%- if a -%>
 if (
   refill_buffer(1) < 1 ||
-  @buffer[@cur] == "<%= Packcr.escape_character(charclass[0]) %>"
+  @buffer[@position_offset] == "<%= Packcr.escape_character(charclass[0]) %>"
 )
   throw(<%= onfail %>)
 end
 <%-   if gen.location -%>
-@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
 <%-   end -%>
-@cur += 1
+@position_offset += 1
 <%- else -%>
 if (
   refill_buffer(1) < 1 ||
-  @buffer[@cur] != "<%= Packcr.escape_character(charclass[0]) %>"
+  @buffer[@position_offset] != "<%= Packcr.escape_character(charclass[0]) %>"
 )
   throw(<%= onfail %>)
 end
 <%-   if gen.location -%>
-@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
 <%-   end -%>
-@cur += 1
+@position_offset += 1
 <%- end -%>

data/lib/packcr/templates/node/charclass_utf8.c.erb

@@ -3,7 +3,7 @@
 {
     int u;
     const size_t n = pcc_get_char_as_utf32(ctx, &u);
-    if (n == 0) goto L<%= "%04d" % onfail %>;
+    if (n == 0) goto L<%= format("%04d", onfail) %>;
 <%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
 <%-   u0 = 0 -%>
 <%-   r = false -%>
@@ -20,12 +20,12 @@
 <%-     i += 1 -%>
 <%-     if r -%>
 <%-       # character range -%>
-        (u >= 0x<%= "%06x" % u0  %> && u <= 0x<%= "%06x" % u %>)<% if i < n %> ||<% end %>
+        (u >= 0x<%= format("%06x", u0) %> && u <= 0x<%= format("%06x", u) %>)<% if i < n %> ||<% end %>
 <%-       u0 = 0 -%>
 <%-       r = false -%>
 <%-     elsif charclass[i] != "-" || i == n - 1 # the individual '-' character is valid when it is at the first or the last position -%>
 <%-       # single character -%>
-        u == 0x<%= "%06x" % u %><% if i < n %> ||<% end %>
+        u == 0x<%= format("%06x", u) %><% if i < n %> ||<% end %>
 <%-       u0 = 0 -%>
 <%-       r = false -%>
 <%-     elsif charclass[i] == "-" -%>
@@ -37,13 +37,13 @@
 <%-     end -%>
 <%-   end -%>
 <%-   if a -%>
-    ) goto L<%= "%04d" % onfail %>;
+    ) goto L<%= format("%04d", onfail) %>;
 <%-   else -%>
-    )) goto L<%= "%04d" % onfail %>;
+    )) goto L<%= format("%04d", onfail) %>;
 <%-   end -%>
 <%- end -%>
 <%- if gen.location -%>
-    pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, n);
+    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, n);
 <%- end -%>
-    ctx->cur += n;
+    ctx->position_offset += n;
 }

data/lib/packcr/templates/node/charclass_utf8.rb.erb

@@ -3,7 +3,7 @@
 if refill_buffer(1) < 1
   throw(<%= onfail %>)
 end
-u<%= gen.level %> = @buffer[@cur]
+u<%= gen.level %> = @buffer[@position_offset]
 <%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
 <%-   u0 = nil -%>
 <%-   r = false -%>
@@ -45,6 +45,6 @@ if (!(
 end
 <%- end -%>
 <%- if gen.location -%>
-@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
 <%- end -%>
-@cur += 1
+@position_offset += 1

data/lib/packcr/templates/node/charclass_utf8_reverse.rb.erb

@@ -1,7 +1,7 @@
 <%- a = charclass && charclass[0] == '^' -%>
 <%- i = a ? 1 : 0 -%>
 if refill_buffer(1) >= 1
-  u<%= gen.level %> = @buffer[@cur]
+  u<%= gen.level %> = @buffer[@position_offset]
   <%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
   <%-   u0 = nil -%>
   <%-   r = false -%>
@@ -36,16 +36,16 @@ if refill_buffer(1) >= 1
     <%-   end -%>
   )
     <%-   if gen.location -%>
-    @cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+    @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
     <%-   end -%>
-    @cur += 1
+    @position_offset += 1
     throw(<%= onsuccess %>)
   end
   <%- else # '.' or '[^]' -%>
   <%-   if gen.location -%>
-  @cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+  @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
   <%-   end -%>
-  @cur += 1
+  @position_offset += 1
   throw(<%= onsuccess %>)
   <%- end -%>
 end

data/lib/packcr/templates/node/eof.c.erb

@@ -1 +1 @@
-if (pcc_refill_buffer(ctx, 1) >= 1) goto L<%= "%04d" % onfail %>;
+if (pcc_refill_buffer(ctx, 1) >= 1) goto L<%= format("%04d", onfail) %>;

data/lib/packcr/templates/node/error.c.erb

@@ -2,8 +2,8 @@
     <%- l = gen.next_label -%>
     <%- m = gen.next_label -%>
     <%- -%><%= gen.generate_code(expr, l, 4, true) -%>
-    goto L<%= "%04d" % m %>;
-L<%= "%04d" % l %>:;
+    goto L<%= format("%04d", m) %>;
+L<%= format("%04d", l) %>:;
     {
         pcc_value_t null;
         pcc_thunk_t *const thunk = pcc_thunk__create_leaf(ctx->auxil, pcc_action_<%= gen.rule.name %>_<%= index %>, <%= gen.rule.vars.length %>, <%= gen.rule.capts.length %>);
@@ -14,15 +14,15 @@ L<%= "%04d" % l %>:;
         thunk->data.leaf.capts.buf[<%= capt.index %>] = &(chunk->capts.buf[<%= capt.index %>]);
 <%- end -%>
         thunk->data.leaf.capt0.range.start = chunk->pos;
-        thunk->data.leaf.capt0.range.end = ctx->cur;
+        thunk->data.leaf.capt0.range.end = ctx->position_offset;
 <%- if gen.location -%>
-        thunk->data.leaf.capt0.range.start_loc_ptr = &chunk->pos_loc;
-        thunk->data.leaf.capt0.range.end_loc_ptr = &ctx->cur_loc;
+        thunk->data.leaf.capt0.range.start_loc = chunk->pos_loc;
+        thunk->data.leaf.capt0.range.end_loc = ctx->position_offset_loc;
 <%- end -%>
         memset(&null, 0, sizeof(pcc_value_t)); /* in case */
         thunk->data.leaf.action(ctx, thunk, &null);
         pcc_thunk__destroy(ctx->auxil, thunk);
     }
-    goto L<%= "%04d" % onfail %>;
-L<%= "%04d" % m %>:;
+    goto L<%= format("%04d", onfail) %>;
+L<%= format("%04d", m) %>:;
 }

data/lib/packcr/templates/node/error.rb.erb

@@ -10,9 +10,9 @@ catch(<%= m %>) do
     ThunkLeaf.new(
       :action_<%= gen.rule.name %>_<%= index %>,
       Capture.new(
-        answer.pos, @cur,
+        answer.pos, @position_offset,
         <%- if gen.location -%>
-        answer.pos_loc,@cur_loc,
+        answer.pos_loc,@position_offset_loc,
         <%- end -%>
       ),
       <%- if vars.empty? -%>

data/lib/packcr/templates/node/expand.c.erb

@@ -1,16 +1,16 @@
 {
     const size_t n = chunk->capts.buf[<%= index %>].range.end - chunk->capts.buf[<%= index %>].range.start;
-    if (pcc_refill_buffer(ctx, n) < n) goto L<%= "%04d" % onfail %>;
+    if (pcc_refill_buffer(ctx, n) < n) goto L<%= format("%04d", onfail) %>;
     if (n > 0) {
-        const char *const p = ctx->buffer.buf + ctx->cur;
+        const char *const p = ctx->buffer.buf + ctx->position_offset;
         const char *const q = ctx->buffer.buf + chunk->capts.buf[<%= index %>].range.start;
         size_t i;
         for (i = 0; i < n; i++) {
-            if (p[i] != q[i]) goto L<%= "%04d" % onfail %>;
+            if (p[i] != q[i]) goto L<%= format("%04d", onfail) %>;
         }
 <%- if gen.location -%>
-        pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, n);
+        pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, n);
 <%- end -%>
-        ctx->cur += n;
+        ctx->position_offset += n;
     }
 }

data/lib/packcr/templates/node/expand.rb.erb

@@ -4,13 +4,13 @@ if refill_buffer(n<%= gen.level %>) < n<%= gen.level %>
   throw(<%= onfail %>)
 end
 if n<%= gen.level %> > 0
-  ptr<%= gen.level %> = @buffer[@cur, n<%= gen.level %>]
+  ptr<%= gen.level %> = @buffer[@position_offset, n<%= gen.level %>]
   q<%= gen.level %> = @buffer[capt<%= gen.level %>.range_start, n<%= gen.level %>]
   if ptr<%= gen.level %> != q<%= gen.level %>
     throw(<%= onfail %>)
   end
   <%- if gen.location -%>
-  @cur_loc = @cur_loc.forward(@buffer, @cur, n<%= gen.level %>)
+  @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, n<%= gen.level %>)
   <%- end -%>
-  @cur += n<%= gen.level %>
+  @position_offset += n<%= gen.level %>
 end

data/lib/packcr/templates/node/predicate.c.erb

@@ -2,29 +2,29 @@
 <%- m = gen.next_label -%>
 <%- r = expr.reachability -%>
 {
-    const size_t p = ctx->cur;
+    const size_t p = ctx->position_offset;
 <%- if gen.location -%>
-    const pcc_location_t p_loc = ctx->cur_loc;
+    const pcc_location_t p_loc = ctx->position_offset_loc;
 <%- end -%>
 <%= gen.generate_code(expr, l, 4, false) -%>
 <%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
-    ctx->cur = p;
+    ctx->position_offset = p;
 <%-   if gen.location -%>
-    ctx->cur_loc = p_loc;
+    ctx->position_offset_loc = p_loc;
 <%-   end -%>
 <%- end -%>
 <%- if r == Packcr::CODE_REACH__BOTH -%>
-    goto L<%= "%04d" % m %>;
+    goto L<%= format("%04d", m) %>;
 <%- end -%>
 <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
-L<%= "%04d" % l %>:;
-    ctx->cur = p;
+L<%= format("%04d", l) %>:;
+    ctx->position_offset = p;
 <%-   if gen.location -%>
-    ctx->cur_loc = p_loc;
+    ctx->position_offset_loc = p_loc;
 <%-   end -%>
-    goto L<%= "%04d" % onfail %>;
+    goto L<%= format("%04d", onfail) %>;
 <%- end -%>
 <%- if r == Packcr::CODE_REACH__BOTH -%>
-L<%= "%04d" % m %>:;
+L<%= format("%04d", m) %>:;
 <%- end -%>
 }

data/lib/packcr/templates/node/predicate.rb.erb

@@ -2,16 +2,16 @@
 <%- m = gen.next_label -%>
 <%- r = expr.reachability -%>
 catch(<%= m %>) do
-  pos<%= gen.level %> = @cur
+  pos<%= gen.level %> = @position_offset
   <%- if gen.location -%>
-  p_loc<%= gen.level %> = @cur_pos
+  p_loc<%= gen.level %> = @position_offset_pos
   <%- end -%>
   catch(<%= l %>) do
     <%- %><%= gen.generate_code(expr, l, 4, false) -%>
     <%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
-    @cur = pos<%= gen.level %>
+    @position_offset = pos<%= gen.level %>
     <%-   if gen.location -%>
-    @cur_loc = p_loc<%= gen.level %>
+    @position_offset_loc = p_loc<%= gen.level %>
     <%-   end -%>
     <%- end -%>
     <%- if r == Packcr::CODE_REACH__BOTH -%>
@@ -19,9 +19,9 @@ catch(<%= m %>) do
     <%- end -%>
   end
   <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
-  @cur = pos<%= gen.level %>
+  @position_offset = pos<%= gen.level %>
   <%-   if gen.location -%>
-  @cur_loc = p_loc<%= gen.level %>
+  @position_offset_loc = p_loc<%= gen.level %>
   <%-   end -%>
   throw(<%= onfail %>)
   <%- end -%>

data/lib/packcr/templates/node/predicate_neg.c.erb

@@ -1,23 +1,23 @@
 <%- l = gen.next_label -%>
 <%- r = expr.reachability -%>
 {
-    const size_t p = ctx->cur;
+    const size_t p = ctx->position_offset;
 <%- if gen.location -%>
-    const pcc_location_t p_loc = ctx->cur_loc;
+    const pcc_location_t p_loc = ctx->position_offset_loc;
 <%- end -%>
 <%= gen.generate_code(expr, l, 4, false) -%>
 <%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
-    ctx->cur = p;
+    ctx->position_offset = p;
 <%-   if gen.location -%>
-    ctx->cur_loc = p_loc;
+    ctx->position_offset_loc = p_loc;
 <%-   end -%>
-    goto L<%= "%04d" % onfail %>;
+    goto L<%= format("%04d", onfail) %>;
 <%- end -%>
 <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
-L<%= "%04d" % l %>:;
-    ctx->cur = p;
+L<%= format("%04d", l) %>:;
+    ctx->position_offset = p;
 <%-   if gen.location -%>
-    ctx->cur_loc = p_loc;
+    ctx->position_offset_loc = p_loc;
 <%-   end -%>
 <%- end -%>
 }

data/lib/packcr/templates/node/predicate_neg.rb.erb

@@ -1,22 +1,22 @@
 <%- l = gen.next_label -%>
 <%- r = expr.reachability -%>
-pos<%= gen.level %> = @cur
+pos<%= gen.level %> = @position_offset
 <%- if gen.location -%>
-p_loc<%= gen.level %> = @cur_loc
+p_loc<%= gen.level %> = @position_offset_loc
 <%- end -%>
 catch(<%= l %>) do
   <%- %><%= gen.generate_code(expr, l, 2, false) -%>
   <%- if r != Packcr::CODE_REACH__ALWAYS_FAIL -%>
-  @cur = pos<%= gen.level %>
+  @position_offset = pos<%= gen.level %>
   <%-   if gen.location -%>
-  @cur_loc = p_loc<%= gen.level %>
+  @position_offset_loc = p_loc<%= gen.level %>
   <%-   end -%>
   throw(<%= onfail %>)
   <%- end -%>
 end
 <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
-@cur = pos<%= gen.level %>
+@position_offset = pos<%= gen.level %>
 <%-   if gen.location -%>
-@cur_loc = p_loc<%= gen.level %>
+@position_offset_loc = p_loc<%= gen.level %>
 <%-   end -%>
 <%- end -%>

data/lib/packcr/templates/node/{quantify_many.c.erb → quantity_many.c.erb}

@@ -1,8 +1,8 @@
 {
 <%- if min > 0 -%>
-    const size_t p0 = ctx->cur;
+    const size_t p0 = ctx->position_offset;
 <%-   if gen.location -%>
-    const pcc_location_t p0_loc = ctx->cur_loc;
+    const pcc_location_t p0_loc = ctx->position_offset_loc;
 <%-   end -%>
     const size_t n0 = chunk->thunks.len;
 <%- end -%>
@@ -12,21 +12,21 @@
 <%- else -%>
     for (i = 0; i < <%= max %>; i++) {
 <%- end -%>
-        const size_t p = ctx->cur;
+        const size_t p = ctx->position_offset;
 <%- if gen.location -%>
-        const pcc_location_t p_loc = ctx->cur_loc;
+        const pcc_location_t p_loc = ctx->position_offset_loc;
 <%- end -%>
         const size_t n = chunk->thunks.len;
 <%- l = gen.next_label -%>
 <%- r = expr.reachability -%>
 <%= gen.generate_code(expr, l, 8, false) -%>
-        if (ctx->cur == p) break;
+        if (ctx->position_offset == p) break;
 <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
         continue;
-    L<%= "%04d" % l %>:;
-        ctx->cur = p;
+    L<%= format("%04d", l) %>:;
+        ctx->position_offset = p;
 <%-   if gen.location -%>
-        ctx->cur_loc = p_loc;
+        ctx->position_offset_loc = p_loc;
 <%-   end -%>
         pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);
         break;
@@ -34,12 +34,12 @@
     }
 <%- if min > 0 -%>
     if (i < <%= min %>) {
-        ctx->cur = p0;
+        ctx->position_offset = p0;
 <%-   if gen.location -%>
-        ctx->cur_loc = p0_loc;
+        ctx->position_offset_loc = p0_loc;
 <%-   end -%>
         pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n0);
-        goto L<%= "%04d" % onfail %>;
+        goto L<%= format("%04d", onfail) %>;
     }
 <%- end -%>
 }

data/lib/packcr/templates/node/{quantify_many.rb.erb → quantity_many.rb.erb}

@@ -1,7 +1,7 @@
 <%- if min > 0 -%>
-q<%= gen.level %> = @cur
+q<%= gen.level %> = @position_offset
 <%-   if gen.location -%>
-q_loc<%= gen.level %> = @cur_loc
+q_loc<%= gen.level %> = @position_offset_loc
 <%-   end -%>
 m<%= gen.level %> = answer.thunks.length
 <%- end -%>
@@ -13,33 +13,33 @@ p_loc<%= gen.level %> = nil
 n<%= gen.level %> = nil
 <%- l = gen.next_label -%>
 catch(<%= l %>) do
-  pos<%= gen.level %> = @cur
+  pos<%= gen.level %> = @position_offset
   <%- if gen.location -%>
-  p_loc<%= gen.level %> = @cur_loc
+  p_loc<%= gen.level %> = @position_offset_loc
   <%- end -%>
   n<%= gen.level %> = answer.thunks.length
   <%- r = expr.reachability -%>
   <%- %><%= gen.generate_code(expr, l, 2, false) -%>
   i<%= gen.level %> += 1
-  if @cur != pos<%= gen.level %><% if max >= 0 %> || i<%= gen.level %> < <%= max %><% end %>
+  if @position_offset != pos<%= gen.level %><% if max >= 0 %> || i<%= gen.level %> < <%= max %><% end %>
     redo
   end
   pos<%= gen.level %> = nil
 end
 <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
 if pos<%= gen.level %>
-  @cur = pos<%= gen.level %>
+  @position_offset = pos<%= gen.level %>
   <%-   if gen.location -%>
-  @cur_loc = p_loc<%= gen.level %>
+  @position_offset_loc = p_loc<%= gen.level %>
   <%-   end -%>
   answer.thunks[n<%= gen.level %>..-1] = []
 end
 <%- end -%>
 <%- if min > 0 -%>
 if i<%= gen.level %> < <%= min %>
-  @cur = q<%= gen.level %>
+  @position_offset = q<%= gen.level %>
   <%-   if gen.location -%>
-  @cur_loc = q_loc<%= gen.level %>
+  @position_offset_loc = q_loc<%= gen.level %>
   <%-   end -%>
   answer.thunks[m<%= gen.level %>..-1] = []
   throw(<%= onfail %>)

data/lib/packcr/templates/node/{quantify_one.c.erb → quantity_one.c.erb}

@@ -1,21 +1,21 @@
 {
 <%- l = gen.next_label -%>
-    const size_t p = ctx->cur;
+    const size_t p = ctx->position_offset;
 <%- if gen.location -%>
-    const pcc_location_t p_loc = ctx->cur_loc;
+    const pcc_location_t p_loc = ctx->position_offset_loc;
 <%- end -%>
     const size_t n = chunk->thunks.len;
 <%- r = expr.reachability -%>
 <%= gen.generate_code(expr, l, 4, false) -%>
 <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
 <%-   m = gen.next_label -%>
-    goto L<%= "%04d" % m %>;
-L<%= "%04d" % l %>:;
+    goto L<%= format("%04d", m) %>;
+L<%= format("%04d", l) %>:;
 <%-   if gen.location -%>
-    ctx->cur_loc = p_loc;
+    ctx->position_offset_loc = p_loc;
 <%-   end -%>
-    ctx->cur = p;
+    ctx->position_offset = p;
     pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);
-L<%= "%04d" % m %>:;
+L<%= format("%04d", m) %>:;
 <%- end -%>
 }

data/lib/packcr/templates/node/{quantify_one.rb.erb → quantity_one.rb.erb}

@@ -1,7 +1,7 @@
 <%- l = gen.next_label -%>
-pos<%= gen.level %> = @cur
+pos<%= gen.level %> = @position_offset
 <%- if gen.location -%>
-p_loc<%= gen.level %> = @cur_loc
+p_loc<%= gen.level %> = @position_offset_loc
 <%- end -%>
 n<%= gen.level %> = answer.thunks.length
 <%- r = expr.reachability -%>
@@ -15,9 +15,9 @@ catch(<%= m %>) do
     throw(<%= m %>)
   end
   <%-   if gen.location -%>
-  @cur_loc = p_loc<%= gen.level %>
+  @position_offset_loc = p_loc<%= gen.level %>
   <%-   end -%>
-  @cur = pos<%= gen.level %>
+  @position_offset = pos<%= gen.level %>
   answer.thunks[n<%= gen.level %>..-1] = []
 end
 <%- end -%>

data/lib/packcr/templates/node/reference.c.erb

@@ -1,5 +1,17 @@
 <%- if index != nil -%>
-if (!pcc_apply_rule(ctx, pcc_evaluate_rule_<%= name %>, &chunk->thunks, &(chunk->values.buf[<%= index %>]))) goto L<%= "%04d" % onfail %>;
+{
+    pcc_rule_set_t *l = NULL;
+    if (limits && ctx->position_offset == offset && pcc_rule_set__index(ctx->auxil, limits, pcc_evaluate_rule_<%= name %>) == PCC_VOID_VALUE) {
+        l = limits;
+    }
+    if (!pcc_apply_rule(ctx, pcc_evaluate_rule_<%= name %>, &chunk->thunks, &(chunk->values.buf[<%= index %>]), offset<% if gen.location %>, offset_loc<% end %>, l)) goto L<%= format("%04d", onfail) %>;
+}
 <%- else -%>
-if (!pcc_apply_rule(ctx, pcc_evaluate_rule_<%= name %>, &chunk->thunks, NULL)) goto L<%= "%04d" % onfail %>;
+{
+    pcc_rule_set_t *l = NULL;
+    if (limits && ctx->position_offset == offset && pcc_rule_set__index(ctx->auxil, limits, pcc_evaluate_rule_<%= name %>) == PCC_VOID_VALUE) {
+        l = limits;
+    }
+    if (!pcc_apply_rule(ctx, pcc_evaluate_rule_<%= name %>, &chunk->thunks, NULL, offset<% if gen.location %>, offset_loc<% end %>, l)) goto L<%= format("%04d", onfail) %>;
+}
 <%- end -%>

data/lib/packcr/templates/node/reference.rb.erb

@@ -1,9 +1,21 @@
 <%- if index != nil -%>
-if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>)
-  throw(<%= onfail %>)
+if limits && @position_offset == offset && !limits[:evaluate_rule_<%= name %>]
+  if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>, offset<% if gen.location %>, offset_loc<% end %>, limits: limits)
+    throw(<%= onfail %>)
+  end
+else
+  if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>, offset<% if gen.location %>, offset_loc<% end %>)
+    throw(<%= onfail %>)
+  end
 end
 <%- else -%>
-if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0)
-  throw(<%= onfail %>)
+if limits && @position_offset == offset && !limits[:evaluate_rule_<%= name %>]
+  if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0, offset<% if gen.location %>, offset_loc<% end %>, limits: limits)
+    throw(<%= onfail %>)
+  end
+else
+  if !apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0, offset<% if gen.location %>, offset_loc<% end %>)
+    throw(<%= onfail %>)
+  end
 end
 <%- end -%>

data/lib/packcr/templates/node/reference_reverse.rb.erb

@@ -1,9 +1,21 @@
 <%- if index != nil -%>
-if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>)
-  throw(<%= onsuccess %>)
+if limits && @position_offset == offset && !limits[:evaluate_rule_<%= name %>]
+  if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>, offset<% if gen.location %>, offset_loc<% end %>, limits: limits)
+    throw(<%= onsuccess %>)
+  end
+else
+  if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, answer.values, <%= index %>, offset<% if gen.location %>, offset_loc<% end %>)
+    throw(<%= onsuccess %>)
+  end
 end
 <%- else -%>
-if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0)
-  throw(<%= onsuccess %>)
+if limits && @position_offset == offset && !limits[:evaluate_rule_<%= name %>]
+  if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0, offset<% if gen.location %>, offset_loc<% end %>, limits: limits)
+    throw(<%= onsuccess %>)
+  end
+else
+  if apply_rule(:evaluate_rule_<%= name %>, answer.thunks, nil, 0, offset<% if gen.location %>, offset_loc<% end %>)
+    throw(<%= onsuccess %>)
+  end
 end
 <%- end -%>

data/lib/packcr/templates/node/rule.c.erb

@@ -1,3 +1,9 @@
+static pcc_thunk_chunk_t *pcc_evaluate_rule_<%= name %>(pcc_context_t *ctx, size_t offset<% if gen.location %>, pcc_location_t offset_loc<% end %>, pcc_rule_set_t *limits) {
+    pcc_thunk_chunk_t *const chunk = pcc_thunk_chunk__create(ctx);
+    chunk->pos = ctx->position_offset;
+<%-   if gen.location -%>
+    chunk->pos_loc = ctx->position_offset_loc;
+<%-   end -%>
     PCC_DEBUG(ctx->auxil, PCC_DBG_EVALUATE, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->buffer.len - chunk->pos));
     ctx->level++;
     pcc_value_table__resize(ctx->auxil, &chunk->values, <%= vars.length %>);
@@ -8,12 +14,13 @@
     <%- r = expr.reachability -%>
     <%- -%><%= gen.generate_code(expr, 0, 4, false) -%>
     ctx->level--;
-    PCC_DEBUG(ctx->auxil, PCC_DBG_MATCH, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->cur - chunk->pos));
+    PCC_DEBUG(ctx->auxil, PCC_DBG_MATCH, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->position_offset - chunk->pos));
     return chunk;
     <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
 L0000:;
     ctx->level--;
-    PCC_DEBUG(ctx->auxil, PCC_DBG_NOMATCH, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->cur - chunk->pos));
+    PCC_DEBUG(ctx->auxil, PCC_DBG_NOMATCH, "<%= name %>", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->position_offset - chunk->pos));
     pcc_thunk_chunk__destroy(ctx, chunk);
     return NULL;
     <%- end -%>
+}