packcr 0.0.4 → 0.0.6

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

@@ -0,0 +1,406 @@
+# A packrat parser generated by PackCR <%= Packcr::VERSION %>
+<%- if !code(:source).empty? -%>
+
+<%-   code(:source).each do |code| -%>
+<%=     stream.get_code_block(code, 0, @iname) -%>
+<%-   end -%>
+<%- end -%>
+
+class <%= class_name %>
+  def initialize(<% if @auxil_type %><%= auxil_type %>, <% end %>debug: false)
+    <%- if @utf8 -%>
+    @buffer = +""
+    <%- else -%>
+    @buffer = +"".b
+    <%- end %>
+    @pos = 0
+    @cur = 0
+    @level = 0
+    @lrstack = []
+    @thunk = ThunkNode.new([], nil, 0)
+    @heads = {}
+    @memos = LrMemoTable.new
+    @debug = debug
+    @global_values = {}
+    <%- if @location -%>
+    @pos_loc = Location.new
+    @cur_loc = Location.new
+    <%- end -%>
+    <%- code(:init).each do |code| -%>
+    <%- %><%= stream.get_code_block(code, 4, @iname) -%>
+    <%- end -%>
+  end
+
+  def debug
+    yield if @debug
+  end
+
+  def getc
+    <%- if @utf8 -%>
+    $stdin.getc
+    <%- else -%>
+    $stdin.getc&.b
+    <%- end -%>
+  end
+
+  def refill_buffer(num, mode = nil)
+    len = @buffer.length
+    if len >= @cur + num
+      return len - @cur
+    end
+    while len < @cur + num
+      c = getc
+      break if !c
+      @buffer << c
+      len = @buffer.length
+    end
+    return len - @cur
+  end
+
+  def commit_buffer
+    @buffer = @buffer[@cur, @buffer.length - @cur]
+    @pos += @cur
+    @heads.clear
+    @memos.clear
+    @cur = 0
+    <%- if @location -%>
+    @pos_loc = @pos_loc + @cur_loc
+    @cur_loc = Location.new
+    <%- end -%>
+  end
+
+  def parse
+    pos = @pos
+    <%- if !@root.rules.empty? -%>
+    if apply_rule(:evaluate_rule_<%= @root.rules[0].name %>, @thunk.thunks, nil, 0)
+      @thunk.do_action(self, nil, 0)
+    else
+      raise SyntaxError, "can't parse"
+    end
+    commit_buffer
+    <%- end -%>
+    @thunk.clear
+    refill_buffer(1) >= 1 && pos != @pos
+  end
+
+  def run
+    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 = @pos + __pcc_in.capt0.range_start
+    __0e = @pos + __pcc_in.capt0.range_end
+    <%-   if @location -%>
+    __0sl = @pos_loc + __pcc_in.capt0.start_loc
+    __0el = @pos_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 = @pos + __pcc_in.capts[<%= capture.index %>].range_start
+    __<%= capture.index + 1 %>e = @pos + __pcc_in.capts[<%= capture.index %>].range_end
+    <%-     if @location -%>
+    __<%= capture.index + 1 %>sl = @pos_loc + __pcc_in.capts[<%= capture.index %>].start_loc
+    __<%= capture.index + 1 %>el = @pos_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| -%>
+  def evaluate_rule_<%= rule.name %>
+    answer = ThunkChunk.new
+    answer.pos = @cur
+    <%-   if @location -%>
+    answer.pos_loc = @cur_loc
+    <%-   end -%>
+    <%-   gen = ::Packcr::Generator.new(rule, @ascii, @location, :rb) -%>
+    <%-   -%><%= gen.generate_code(rule, 0, 4, false) -%>
+  end
+
+  <%- end -%>
+  def setup_lr(rule, lr)
+    lr.head ||= LrHead.new(rule)
+    @lrstack.reverse_each do |lrentry|
+      if lrentry.head == lr.head
+        break
+      end
+      lrentry.head = lr.head
+      lr.head.involved_set[lrentry.rule] = true
+    end
+  end
+
+  def grow_lr(rule, memo, head, pos<% if @location %>, p_loc<% end %>)
+    @heads[pos] = head
+    while true
+      @cur = pos - @pos
+      <%- if @location -%>
+      @cur_loc = p_loc - @pos_loc
+      <%- end -%>
+      head.involved_set_to_eval_set
+      answer = public_send(rule)
+      if !answer || @pos + @cur <= memo.pos
+        break
+      end
+      memo.answer = answer
+      memo.pos = @pos + @cur
+      <%- if @location -%>
+      memo.pos_loc = @pos_loc + @cur_loc
+      <%- end -%>
+    end
+    @heads[pos] = nil
+    @cur = memo.pos - @pos
+    <%- if @location -%>
+    @cur_loc = memo.pos_loc - @pos_loc
+    <%- end -%>
+    memo.answer
+  end
+
+  def lr_answer(rule, memo, pos<% if @location %>, p_loc<% end %>)
+    head = memo.lr.head
+    if head.rule_name != rule
+      return memo.lr.seed
+    end
+
+    memo.answer = memo.lr.seed
+    if !memo.answer
+      return nil
+    end
+    grow_lr(rule, memo, head, pos<% if @location %>, p_loc<% end %>)
+  end
+
+  def rule_answer(rule)
+    pos = @pos + @cur
+    <%- if @location -%>
+    p_loc = @pos_loc + @cur_loc
+    <%- end -%>
+    memo = @memos[pos, rule]
+    head = @heads[pos]
+
+    if head
+      if !memo && rule != head.rule_name && !head.involved_set[rule]
+        return nil
+      end
+      if head.eval_set.delete(rule)
+        return public_send(rule)
+      end
+    end
+
+    if memo
+      @cur = memo.pos - @pos
+      <%- if @location -%>
+      @cur_loc = memo.pos_loc - @pos_loc
+      <%- end -%>
+      if !memo.lr
+        return memo.answer
+      end
+      setup_lr(rule, memo.lr)
+      return memo.lr.seed
+    end
+
+    lr = LrEntry.new
+    lr.rule = rule
+    @lrstack.push(lr)
+    memo = LrMemo.new(lr, pos<% if @location %>, p_loc<% end %>)
+    @memos[pos, rule] = memo
+    answer = public_send(rule)
+    @lrstack.pop
+    memo.pos = @pos + @cur
+    <%- if @location -%>
+    memo.pos_loc = @pos_loc + @cur_loc
+    <%- end -%>
+    if !lr.head
+      memo.answer = answer
+      return answer
+    end
+
+    lr.seed = answer
+    lr_answer(rule, memo, pos<% if @location %>, p_loc<% end %>)
+  end
+
+  def apply_rule(rule, thunks, values, index)
+    answer = rule_answer(rule)
+    if !answer
+      return false
+    end
+    values ||= @global_values
+    thunks << ThunkNode.new(answer.thunks, values, index)
+    return true
+  end
+
+  def do_action(thunks, values, index)
+    thunks.each do |thunk|
+      thunk.do_action(self, values, index)
+    end
+  end
+
+  <%-   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 LrHead
+    attr_accessor :rule_name, :involved_set, :eval_set
+
+    def initialize(rule_name)
+      @rule_name = rule_name
+      @involved_set = {}
+      @eval_set = {}
+    end
+
+    def involved_set_to_eval_set
+      @eval_set.clear
+      @involved_set.each do |k, v|
+        @eval_set[k] = true
+      end
+    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 Thunk
+  end
+
+  class ThunkLeaf < Thunk
+    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 < Thunk
+    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 LrEntry
+    attr_accessor :rule, :head, :seed
+  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)
+      @string ||= buffer[@range_start, @range_end - @range_start]
+    end
+  end
+
+  class LrMemo
+    attr_accessor :lr, :answer, :pos
+    <%- if @location -%>
+    attr_accessor :pos_loc
+    <%- end -%>
+
+    def initialize(lr, pos<% if @location %>, pos_loc<% end %>)
+      @pos = pos
+      <%- if @location -%>
+      @pos_loc = pos_loc
+      <%- end -%>
+      @lr = lr
+    end
+
+    def answer=(answer)
+      @lr = nil
+      @answer = answer
+    end
+  end
+
+  class Value
+    attr_accessor :value
+  end
+end
+<%- if !code(:lsource).empty? -%>
+
+<%-   code(:lsource).each do |code| -%>
+<%=     stream.get_code_block(code, 0, @iname) -%>
+<%-   end -%>
+<%- end -%>

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

@@ -0,0 +1,16 @@
+{
+    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->cur;
+<%- 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;
+<%- end -%>
+    pcc_thunk_array__add(ctx->auxil, &chunk->thunks, thunk);
+}

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

@@ -0,0 +1,21 @@
+answer.thunks.push(
+  ThunkLeaf.new(
+    :action_<%= gen.rule.name %>_<%= index %>,
+    Capture.new(
+      answer.pos, @cur,
+      <%- if gen.location -%>
+      answer.pos_loc, @cur_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 -%>
+  )
+)

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

@@ -0,0 +1,34 @@
+<%-   m = gen.next_label -%>
+{
+    const size_t p = ctx->cur;
+<%- if gen.location -%>
+    const pcc_location_t p_loc = ctx->cur_loc;
+<%- end -%>
+    const size_t n = chunk->thunks.len;
+<%- nodes.each_with_index do |expr, i| -%>
+<%-   c = i + 1 < nodes.length -%>
+<%-   l = gen.next_label -%>
+<%-   r = expr.reachability -%>
+<%-   -%><%= gen.generate_code(expr, l, 4, false) -%>
+<%-   if r == Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+<%-     if c -%>
+    /* unreachable codes omitted */
+<%-     end -%>
+<%-     break -%>
+<%-   else -%>
+<%-     if r == Packcr::CODE_REACH__BOTH -%>
+    goto L<%= "%04d" % m %>;
+<%-     end -%>
+<%-   end -%>
+L<%= "%04d" % l %>:;
+    ctx->cur = p;
+<%- if gen.location -%>
+    ctx->cur_loc = p_loc;
+<%- end -%>
+    pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);
+<%-   if !c -%>
+    goto L<%= "%04d" % onfail %>;
+<%-   end -%>
+<%- end -%>
+L<%= "%04d" % m %>:;
+}

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

@@ -0,0 +1,40 @@
+<%-   m = gen.next_label -%>
+catch(<%= m %>) do
+  pos<%= gen.level %> = @cur
+  <%- if gen.location -%>
+  p_loc<%= gen.level %> = @cur_loc
+  <%- end -%>
+  n<%= gen.level %> = answer.thunks.length
+  <%- nodes.each_with_index do |expr, i| -%>
+  <%-   c = i + 1 < nodes.length -%>
+  <%- if expr.reversible?(gen) -%>
+  <%-   r = expr.reachability -%>
+  <%-   %><%= gen.generate_code(expr, m, 2, false, reverse: true, oncut: onfail) -%>
+  <%- else -%>
+  <%-   l = gen.next_label -%>
+  catch(<%= l %>) do
+    <%-   r = expr.reachability -%>
+    <%-   %><%= gen.generate_code(expr, l, 4, false, oncut: onfail) -%>
+    <%-   if r == Packcr::CODE_REACH__ALWAYS_SUCCEED -%>
+    <%-     if c -%>
+    # unreachable codes omitted
+    <%-     end -%>
+  end
+    <%-     break -%>
+    <%-   else -%>
+    <%-     if r == Packcr::CODE_REACH__BOTH -%>
+    throw(<%= m %>)
+    <%-     end -%>
+    <%-   end -%>
+  end
+  <%- end -%>
+  @cur = pos<%= gen.level %>
+  <%- if gen.location -%>
+  @cur_loc = p_loc<%= gen.level %>
+  <%- end -%>
+  answer.thunks[n<%= gen.level %>..-1] = []
+  <%-   if !c -%>
+  throw(<%= onfail %>)
+  <%-   end -%>
+  <%- end -%>
+end

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

@@ -0,0 +1,17 @@
+{
+    const size_t p = ctx->cur;
+    size_t q;
+<%- if gen.location -%>
+    pcc_location_t p_loc = ctx->cur_loc;
+    pcc_location_t q_loc;
+<%- end -%>
+<%= gen.generate_code(expr, onfail, 4, false) -%>
+    q = ctx->cur;
+    chunk->capts.buf[<%= index %>].range.start = p;
+    chunk->capts.buf[<%= index %>].range.end = q;
+<%- if gen.location -%>
+    q_loc = ctx->cur_loc;
+    *chunk->capts.buf[<%= index %>].range.start_loc_ptr = p_loc;
+    *chunk->capts.buf[<%= index %>].range.end_loc_ptr = q_loc;
+<%- end -%>
+}

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

@@ -0,0 +1,14 @@
+pos<%= gen.level %> = @cur
+<%- if gen.location -%>
+p_loc<%= gen.level %> = @cur_loc
+<%- end -%>
+<%- %><%= gen.generate_code(expr, onfail, 0, false) -%>
+q<%= gen.level %> = @cur
+capt<%= gen.level %> = answer.capts[<%= index %>]
+capt<%= gen.level %>.range_start = pos<%= gen.level %>
+capt<%= gen.level %>.range_end = q<%= gen.level %>
+<%- if gen.location -%>
+q_loc<%= gen.level %> = @cur_loc
+capt<%= gen.level %>.start_loc = p_loc<%= gen.level %>
+capt<%= gen.level %>.end_loc = q_loc<%= gen.level %>
+<%- end -%>

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

@@ -0,0 +1,47 @@
+{
+<%- if !a && charclass =~ /\A[^\\]-.\z/ -%>
+    char c;
+    if (pcc_refill_buffer(ctx, 1) < 1) goto L<%= "%04d" % onfail %>;
+    c = ctx->buffer.buf[ctx->cur];
+<%- if a -%>
+    if (c >= '<%= Packcr.escape_character(charclass[0]) %>' && c <= '<%= Packcr.escape_character(charclass[2]) %>') goto L<%= "%04d" % onfail %>;
+<%- else -%>
+    if (!(c >= '<%= Packcr.escape_character(charclass[0]) %>' && c <= '<%= Packcr.escape_character(charclass[2]) %>')) goto L<%= "%04d" % onfail %>;
+<%- end -%>
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, 1);
+<%- end -%>
+    ctx->cur++;
+<%- else -%>
+    char c;
+    if (pcc_refill_buffer(ctx, 1) < 1) goto L<%= "%04d" % onfail %>;
+    c = ctx->buffer.buf[ctx->cur];
+<%- if a -%>
+    if (
+<%- else -%>
+    if (!(
+<%- end -%>
+<%- i = 0 -%>
+<%- while i < n -%>
+<%-   if charclass[i] == "\\" && i + 1 < n -%>
+<%-     i += 1 -%>
+<%-   end -%>
+<%-   if i + 2 < n && charclass[i + 1] == '-' -%>
+        (c >= '<%= Packcr.escape_character(charclass[i]) %>' && c <= '<%= Packcr.escape_character(charclass[i + 2]) %>')<%= (i + 3 == n) ? "" : " ||" %>
+<%-     i += 2 -%>
+<%-   else -%>
+        c == '<%= Packcr.escape_character(charclass[i]) %>'<%= (i + 1 == n) ? "" : " ||" %>
+<%-   end -%>
+<%-   i += 1 -%>
+<%- end -%>
+<%- if a -%>
+    ) goto L<%= "%04d" % onfail %>;
+<%- else -%>
+    )) goto L<%= "%04d" % onfail %>;
+<%- end -%>
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, 1);
+<%- end -%>
+    ctx->cur++;
+<%- end -%>
+}

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

@@ -0,0 +1,49 @@
+<%- if !a && charclass =~ /\A[^\\]-.\z/ -%>
+if refill_buffer(1) < 1
+  throw(<%= onfail %>)
+end
+c<%= gen.level %> = @buffer[@cur]
+<%-   if a -%>
+if c<%= gen.level %> >= "<%= Packcr.escape_character(charclass[0]) %>" && c<%= gen.level %> <= "<%= Packcr.escape_character(charclass[2]) %>"
+  throw(<%= onfail %>)
+end
+<%-   else -%>
+unless c<%= gen.level %> >= "<%= Packcr.escape_character(charclass[0]) %>" && c<%= gen.level %> <= "<%= Packcr.escape_character(charclass[2]) %>"
+  throw(<%= onfail %>)
+end
+<%-   end -%>
+<%-   if gen.location -%>
+@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+<%-   end -%>
+@cur += 1
+<%- else -%>
+if refill_buffer(1) < 1
+  throw(<%= onfail %>)
+end
+c<%= gen.level %> = @buffer[@cur]
+<%-   if a -%>
+if (
+<%-   else -%>
+unless (
+<%-   end -%>
+<%-   i = 0 -%>
+<%-   while i < n -%>
+<%-     if charclass[i] == "\\" && i + 1 < n -%>
+<%-       i += 1 -%>
+<%-     end -%>
+<%-     if i + 2 < n && charclass[i + 1] == '-' -%>
+  (c<%= gen.level %> >= "<%= Packcr.escape_character(charclass[i]) %>" && c<%= gen.level %> <= "<%= Packcr.escape_character(charclass[i + 2]) %>")<%= (i + 3 == n) ? "" : " ||" %>
+<%-       i += 2 -%>
+<%-     else -%>
+  c<%= gen.level %> == "<%= Packcr.escape_character(charclass[i]) %>"<%= (i + 1 == n) ? "" : " ||" %>
+<%-     end -%>
+<%-     i += 1 -%>
+<%-   end -%>
+)
+  throw(<%= onfail %>)
+end
+<%-   if gen.location -%>
+@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+<%-   end -%>
+@cur += 1
+<%- end -%>

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

@@ -0,0 +1,5 @@
+if (pcc_refill_buffer(ctx, 1) < 1) goto L<%= "%04d" % onfail %>;
+<%- if gen.location -%>
+pcc_location_forward(&ctx->cur, ctx->buffer.buf + ctx->cur, 1);
+<%- end -%>
+ctx->cur++;

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

@@ -0,0 +1,7 @@
+if refill_buffer(1) < 1
+  throw(<%= onfail %>)
+end
+<%- if gen.location -%>
+@cur_loc = @cur_loc.forward(@buffer, @cur, 1)
+<%- end -%>
+@cur += 1

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

@@ -0,0 +1 @@
+goto L<%= "%04d" % onfail %>;

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

@@ -0,0 +1 @@
+throw(<%= onfail %>)

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

@@ -0,0 +1,19 @@
+<%- if a -%>
+if (
+    pcc_refill_buffer(ctx, 1) < 1 ||
+    ctx->buffer.buf[ctx->cur] == '<%= Packcr.escape_character(charclass[i]) %>'
+) goto L<%= "%04d" % onfail %>;
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, 1);
+<%- end -%>
+ctx->cur++;
+<%- else -%>
+if (
+    pcc_refill_buffer(ctx, 1) < 1 ||
+    ctx->buffer.buf[ctx->cur] != '<%= Packcr.escape_character(charclass[0]) %>'
+) goto L<%= "%04d" % onfail %>;
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->cur_loc, ctx->buffer.buf + ctx->cur, 1);
+<%- end -%>
+ctx->cur++;
+<%- end -%>