packcr 0.0.4 → 0.0.7

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

@@ -0,0 +1,49 @@
+<%- a = charclass && charclass[0] == '^' -%>
+<%- i = a ? 1 : 0 -%>
+{
+    int u;
+    const size_t n = pcc_get_char_as_utf32(ctx, &u);
+    if (n == 0) goto L<%= format("%04d", onfail) %>;
+<%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
+<%-   u0 = 0 -%>
+<%-   r = false -%>
+<%-   if a -%>
+    if (
+<%-   else -%>
+    if (!(
+<%-   end -%>
+<%-   while i < n -%>
+<%-     if charclass[i] == '\\' && i + 1 < n -%>
+<%-       i += 1 -%>
+<%-     end -%>
+<%-     u = charclass[i].ord -%>
+<%-     i += 1 -%>
+<%-     if r -%>
+<%-       # character range -%>
+        (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<%= format("%06x", u) %><% if i < n %> ||<% end %>
+<%-       u0 = 0 -%>
+<%-       r = false -%>
+<%-     elsif charclass[i] == "-" -%>
+<%-       i += 1 -%>
+<%-       u0 = u -%>
+<%-       r = true -%>
+<%-     else -%>
+<%-       raise "unexpected charclass #{charclass[i]}" -%>
+<%-     end -%>
+<%-   end -%>
+<%-   if a -%>
+    ) goto L<%= format("%04d", onfail) %>;
+<%-   else -%>
+    )) goto L<%= format("%04d", onfail) %>;
+<%-   end -%>
+<%- end -%>
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, n);
+<%- end -%>
+    ctx->position_offset += n;
+}

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

@@ -0,0 +1,50 @@
+<%- a = charclass && charclass[0] == '^' -%>
+<%- i = a ? 1 : 0 -%>
+if refill_buffer(1) < 1
+  throw(<%= onfail %>)
+end
+u<%= gen.level %> = @buffer[@position_offset]
+<%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
+<%-   u0 = nil -%>
+<%-   r = false -%>
+<%-   if a -%>
+if (
+<%-   else -%>
+if (!(
+  <%-   end -%>
+  <%-   while i < n -%>
+  <%-     if charclass[i] == '\\' && i + 1 < n -%>
+  <%-       i += 1 -%>
+  <%-     end -%>
+  <%-     u = charclass[i] -%>
+  <%-     i += 1 -%>
+  <%-     if r -%>
+  <%-       # character range -%>
+  (u<%= gen.level %> >= <%= u0.dump  %> && u<%= gen.level %> <= <%= u.dump %>)<% 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<%= gen.level %> == <%= u.dump %><% if i < n %> ||<% end %>
+  <%-       u0 = 0 -%>
+  <%-       r = false -%>
+  <%-     elsif charclass[i] == "-" -%>
+  <%-       i += 1 -%>
+  <%-       u0 = u -%>
+  <%-       r = true -%>
+  <%-     else -%>
+  <%-       raise "unexpected charclass #{charclass[i]}" -%>
+  <%-     end -%>
+  <%-   end -%>
+  <%-   if a -%>
+)
+<%-   else -%>
+))
+<%-   end -%>
+  throw(<%= onfail %>)
+end
+<%- end -%>
+<%- if gen.location -%>
+@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
+<%- end -%>
+@position_offset += 1

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

@@ -0,0 +1,51 @@
+<%- a = charclass && charclass[0] == '^' -%>
+<%- i = a ? 1 : 0 -%>
+if refill_buffer(1) >= 1
+  u<%= gen.level %> = @buffer[@position_offset]
+  <%- if charclass && !(a && n == 1) # not '.' or '[^]' -%>
+  <%-   u0 = nil -%>
+  <%-   r = false -%>
+  <%-   if a -%>
+  unless (
+  <%-   else -%>
+  if (
+  <%-   end -%>
+    <%-   while i < n -%>
+    <%-     if charclass[i] == '\\' && i + 1 < n -%>
+    <%-       i += 1 -%>
+    <%-     end -%>
+    <%-     u = charclass[i] -%>
+    <%-     i += 1 -%>
+    <%-     if r -%>
+    <%-       # character range -%>
+    (u<%= gen.level %> >= <%= u0.dump  %> && u<%= gen.level %> <= <%= u.dump %>)<% 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<%= gen.level %> == <%= u.dump %><% if i < n %> ||<% end %>
+    <%-       u0 = 0 -%>
+    <%-       r = false -%>
+    <%-     elsif charclass[i] == "-" -%>
+    <%-       i += 1 -%>
+    <%-       u0 = u -%>
+    <%-       r = true -%>
+    <%-     else -%>
+    <%-       raise "unexpected charclass #{charclass[i]}" -%>
+    <%-     end -%>
+    <%-   end -%>
+  )
+    <%-   if gen.location -%>
+    @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
+    <%-   end -%>
+    @position_offset += 1
+    throw(<%= onsuccess %>)
+  end
+  <%- else # '.' or '[^]' -%>
+  <%-   if gen.location -%>
+  @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
+  <%-   end -%>
+  @position_offset += 1
+  throw(<%= onsuccess %>)
+  <%- end -%>
+end

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

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

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

@@ -0,0 +1,3 @@
+if refill_buffer(1) >= 1
+  throw(<%= onfail %>)
+end

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

@@ -0,0 +1,28 @@
+{
+    <%- l = gen.next_label -%>
+    <%- m = gen.next_label -%>
+    <%- -%><%= gen.generate_code(expr, l, 4, true) -%>
+    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 %>);
+<%- vars.each do |var| -%>
+        thunk->data.leaf.values.buf[<%= var.index %>] = &(chunk->values.buf[<%= var.index %>]);
+<%- end -%>
+<%- capts.each do |capt| -%>
+        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->position_offset;
+<%- if gen.location -%>
+        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<%= format("%04d", onfail) %>;
+L<%= format("%04d", m) %>:;
+}

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

@@ -0,0 +1,34 @@
+<%- l = gen.next_label -%>
+<%- m = gen.next_label -%>
+catch(<%= m %>) do
+  catch(<%= l %>) do
+    <%- -%><%= gen.generate_code(expr, l, 4, false) -%>
+    throw(<%= m %>)
+  end
+
+  action_<%= gen.rule.name %>_<%= index %>(
+    ThunkLeaf.new(
+      :action_<%= gen.rule.name %>_<%= index %>,
+      Capture.new(
+        answer.pos, @position_offset,
+        <%- if gen.location -%>
+        answer.pos_loc,@position_offset_loc,
+        <%- end -%>
+      ),
+      <%- if vars.empty? -%>
+      {},
+      <%- else -%>
+      answer.values.slice(<% vars.each_with_index do |var, i| %><%= ", " if i > 0 %><%= var.index %><% end %>),
+      <%- end -%>
+      <%- if capts.empty? -%>
+      {},
+      <%- else -%>
+      answer.capts.slice(<% capts.each_with_index do |capt, i| %><%= ", " if i > 0 %><%= capt.index %><% end %>),
+      <%- end -%>
+    ),
+    nil,
+    0
+  )
+
+  throw(<%= onfail %>)
+end

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

@@ -0,0 +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<%= format("%04d", onfail) %>;
+    if (n > 0) {
+        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<%= format("%04d", onfail) %>;
+        }
+<%- if gen.location -%>
+        pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, n);
+<%- end -%>
+        ctx->position_offset += n;
+    }
+}

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

@@ -0,0 +1,16 @@
+capt<%= gen.level %> = answer.capts[<%= index %>]
+n<%= gen.level %> = capt<%= gen.level %>.range_end - capt<%= gen.level %>.range_start
+if refill_buffer(n<%= gen.level %>) < n<%= gen.level %>
+  throw(<%= onfail %>)
+end
+if n<%= gen.level %> > 0
+  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 -%>
+  @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, n<%= gen.level %>)
+  <%- end -%>
+  @position_offset += n<%= gen.level %>
+end

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

@@ -0,0 +1,30 @@
+<%- l = gen.next_label -%>
+<%- m = gen.next_label -%>
+<%- r = expr.reachability -%>
+{
+    const size_t p = ctx->position_offset;
+<%- if gen.location -%>
+    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->position_offset = p;
+<%-   if gen.location -%>
+    ctx->position_offset_loc = p_loc;
+<%-   end -%>
+<%- end -%>
+<%- if r == Packcr::CODE_REACH__BOTH -%>
+    goto L<%= format("%04d", m) %>;
+<%- end -%>
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+L<%= format("%04d", l) %>:;
+    ctx->position_offset = p;
+<%-   if gen.location -%>
+    ctx->position_offset_loc = p_loc;
+<%-   end -%>
+    goto L<%= format("%04d", onfail) %>;
+<%- end -%>
+<%- if r == Packcr::CODE_REACH__BOTH -%>
+L<%= format("%04d", m) %>:;
+<%- end -%>
+}

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

@@ -0,0 +1,28 @@
+<%- l = gen.next_label -%>
+<%- m = gen.next_label -%>
+<%- r = expr.reachability -%>
+catch(<%= m %>) do
+  pos<%= gen.level %> = @position_offset
+  <%- if gen.location -%>
+  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 -%>
+    @position_offset = pos<%= gen.level %>
+    <%-   if gen.location -%>
+    @position_offset_loc = p_loc<%= gen.level %>
+    <%-   end -%>
+    <%- end -%>
+    <%- if r == Packcr::CODE_REACH__BOTH -%>
+    throw(<%= m %>)
+    <%- end -%>
+  end
+  <%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+  @position_offset = pos<%= gen.level %>
+  <%-   if gen.location -%>
+  @position_offset_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  throw(<%= onfail %>)
+  <%- end -%>
+end

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

@@ -0,0 +1,23 @@
+<%- l = gen.next_label -%>
+<%- r = expr.reachability -%>
+{
+    const size_t p = ctx->position_offset;
+<%- if gen.location -%>
+    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->position_offset = p;
+<%-   if gen.location -%>
+    ctx->position_offset_loc = p_loc;
+<%-   end -%>
+    goto L<%= format("%04d", onfail) %>;
+<%- end -%>
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+L<%= format("%04d", l) %>:;
+    ctx->position_offset = p;
+<%-   if gen.location -%>
+    ctx->position_offset_loc = p_loc;
+<%-   end -%>
+<%- end -%>
+}

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

@@ -0,0 +1,22 @@
+<%- l = gen.next_label -%>
+<%- r = expr.reachability -%>
+pos<%= gen.level %> = @position_offset
+<%- if gen.location -%>
+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 -%>
+  @position_offset = pos<%= gen.level %>
+  <%-   if gen.location -%>
+  @position_offset_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  throw(<%= onfail %>)
+  <%- end -%>
+end
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+@position_offset = pos<%= gen.level %>
+<%-   if gen.location -%>
+@position_offset_loc = p_loc<%= gen.level %>
+<%-   end -%>
+<%- end -%>

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

@@ -0,0 +1,45 @@
+{
+<%- if min > 0 -%>
+    const size_t p0 = ctx->position_offset;
+<%-   if gen.location -%>
+    const pcc_location_t p0_loc = ctx->position_offset_loc;
+<%-   end -%>
+    const size_t n0 = chunk->thunks.len;
+<%- end -%>
+    int i;
+<%- if max < 0 -%>
+    for (i = 0;; i++) {
+<%- else -%>
+    for (i = 0; i < <%= max %>; i++) {
+<%- end -%>
+        const size_t p = ctx->position_offset;
+<%- if gen.location -%>
+        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->position_offset == p) break;
+<%- if r != Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+        continue;
+    L<%= format("%04d", l) %>:;
+        ctx->position_offset = p;
+<%-   if gen.location -%>
+        ctx->position_offset_loc = p_loc;
+<%-   end -%>
+        pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);
+        break;
+<%- end -%>
+    }
+<%- if min > 0 -%>
+    if (i < <%= min %>) {
+        ctx->position_offset = p0;
+<%-   if gen.location -%>
+        ctx->position_offset_loc = p0_loc;
+<%-   end -%>
+        pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n0);
+        goto L<%= format("%04d", onfail) %>;
+    }
+<%- end -%>
+}

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

@@ -0,0 +1,47 @@
+<%- if min > 0 -%>
+q<%= gen.level %> = @position_offset
+<%-   if gen.location -%>
+q_loc<%= gen.level %> = @position_offset_loc
+<%-   end -%>
+m<%= gen.level %> = answer.thunks.length
+<%- end -%>
+i<%= gen.level %> = 0
+pos<%= gen.level %> = nil
+<%- if gen.location -%>
+p_loc<%= gen.level %> = nil
+<%- end -%>
+n<%= gen.level %> = nil
+<%- l = gen.next_label -%>
+catch(<%= l %>) do
+  pos<%= gen.level %> = @position_offset
+  <%- if gen.location -%>
+  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 @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 %>
+  @position_offset = pos<%= gen.level %>
+  <%-   if gen.location -%>
+  @position_offset_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  answer.thunks[n<%= gen.level %>..-1] = []
+end
+<%- end -%>
+<%- if min > 0 -%>
+if i<%= gen.level %> < <%= min %>
+  @position_offset = q<%= gen.level %>
+  <%-   if gen.location -%>
+  @position_offset_loc = q_loc<%= gen.level %>
+  <%-   end -%>
+  answer.thunks[m<%= gen.level %>..-1] = []
+  throw(<%= onfail %>)
+end
+<%- end -%>

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

@@ -0,0 +1,21 @@
+{
+<%- l = gen.next_label -%>
+    const size_t p = ctx->position_offset;
+<%- if gen.location -%>
+    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<%= format("%04d", m) %>;
+L<%= format("%04d", l) %>:;
+<%-   if gen.location -%>
+    ctx->position_offset_loc = p_loc;
+<%-   end -%>
+    ctx->position_offset = p;
+    pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);
+L<%= format("%04d", m) %>:;
+<%- end -%>
+}

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

@@ -0,0 +1,23 @@
+<%- l = gen.next_label -%>
+pos<%= gen.level %> = @position_offset
+<%- if gen.location -%>
+p_loc<%= gen.level %> = @position_offset_loc
+<%- end -%>
+n<%= gen.level %> = answer.thunks.length
+<%- r = expr.reachability -%>
+<%- if r == Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+<%- %><%= gen.generate_code(expr, l, 0, false) -%>
+<%- else -%>
+<%-   m = gen.next_label -%>
+catch(<%= m %>) do
+  catch(<%= l %>) do
+    <%- %><%= gen.generate_code(expr, l, 4, false) -%>
+    throw(<%= m %>)
+  end
+  <%-   if gen.location -%>
+  @position_offset_loc = p_loc<%= gen.level %>
+  <%-   end -%>
+  @position_offset = pos<%= gen.level %>
+  answer.thunks[n<%= gen.level %>..-1] = []
+end
+<%- end -%>

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

@@ -0,0 +1,17 @@
+<%- if index != nil -%>
+{
+    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 -%>
+{
+    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

@@ -0,0 +1,21 @@
+<%- if index != nil -%>
+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 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

@@ -0,0 +1,21 @@
+<%- if index != nil -%>
+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 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

@@ -0,0 +1,26 @@
+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 %>);
+    pcc_capture_table__resize(ctx->auxil, &chunk->capts, <%= capts.length %>);
+    <%- if vars.length > 0 -%>
+    pcc_value_table__clear(ctx->auxil, &chunk->values);
+    <%- end -%>
+    <%- 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->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->position_offset - chunk->pos));
+    pcc_thunk_chunk__destroy(ctx, chunk);
+    return NULL;
+    <%- end -%>
+}

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

@@ -0,0 +1,30 @@
+def evaluate_rule_<%= name %>(offset<% if gen.location %>, offset_loc<% end %>, limits: nil)
+  answer = ThunkChunk.new
+  answer.pos = @position_offset
+  <%-   if gen.location -%>
+  answer.pos_loc = @position_offset_loc
+  <%-   end -%>
+  debug { warn "#{ "  " * @level}EVAL    <%= name %> #{answer.pos} #{@buffer[answer.pos..-1].inspect}" }
+  @level += 1
+  answer.resize_captures(<%= capts.length %>)
+  <%- if vars.length > 0 -%>
+  answer.values = {}
+  <%- end -%>
+  <%- r = expr.reachability -%>
+  <%- if r == Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+  <%- -%><%= gen.generate_code(expr, 0, 2, false) -%>
+  @level -= 1
+  debug { warn "#{ "  " * @level}MATCH   <%= name %> #{answer.pos} #{@buffer[answer.pos...@position_offset].inspect}" }
+  return answer
+  <%- else -%>
+  catch(0) do
+    <%- -%><%= gen.generate_code(expr, 0, 4, false) -%>
+    @level -= 1
+    debug { warn "#{ "  " * @level}MATCH   <%= name %> #{answer.pos} #{@buffer[answer.pos...@position_offset].inspect}" }
+    return answer
+  end
+  @level -= 1
+  debug { warn "#{ "  " * @level}NOMATCH <%= name %> #{answer.pos} #{@buffer[answer.pos...@position_offset].inspect}" }
+  return nil
+  <%- end -%>
+end

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

@@ -0,0 +1,12 @@
+<%- if @cut && oncut -%>
+<%-   onfail, oncut = oncut, nil -%>
+<%- end -%>
+<%- nodes.each_with_index do |expr, i| -%>
+<%- -%><%= gen.generate_code(expr, onfail, 0, false, oncut: oncut) -%>
+<%-   if expr.reachability == Packcr::CODE_REACH__ALWAYS_FAIL -%>
+<%-     if i + 1 < nodes.length -%>
+/* unreachable codes omitted */
+<%-     end -%>
+<%-     break -%>
+<%-   end -%>
+<%- end -%>

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

@@ -0,0 +1,12 @@
+<%- if @cut && oncut -%>
+<%-   onfail, oncut = oncut, nil -%>
+<%- end -%>
+<%- nodes.each_with_index do |expr, i| -%>
+<%- -%><%= gen.generate_code(expr, onfail, 0, false, oncut: oncut) -%>
+<%-   if expr.reachability == Packcr::CODE_REACH__ALWAYS_FAIL -%>
+<%-     if i + 1 < nodes.length -%>
+# unreachable codes omitted
+<%-     end -%>
+<%-     break -%>
+<%-   end -%>
+<%- end -%>