packcr 0.0.4 → 0.0.7

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

@@ -0,0 +1,341 @@
+# 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 %>
+    @buffer_start_position = 0
+    @position_offset = 0
+    @level = 0
+    @thunk = ThunkNode.new([], nil, 0)
+    @memos = LrMemoTable.new
+    @debug = debug
+    @global_values = {}
+    <%- if @location -%>
+    @buffer_start_position_loc = Location.new
+    @position_offset_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 >= @position_offset + num
+      return len - @position_offset
+    end
+    while len < @position_offset + num
+      c = getc
+      break if !c
+      @buffer << c
+      len = @buffer.length
+    end
+    return len - @position_offset
+  end
+
+  def commit_buffer
+    @buffer = @buffer[@position_offset, @buffer.length - @position_offset]
+    @buffer_start_position += @position_offset
+    @memos.clear
+    @position_offset = 0
+    <%- if @location -%>
+    @buffer_start_position_loc = @buffer_start_position_loc + @position_offset_loc
+    @position_offset_loc = Location.new
+    <%- end -%>
+  end
+
+  def parse
+    pos = @buffer_start_position
+    <%- if !@root.rules.empty? -%>
+    if apply_rule(:evaluate_rule_<%= @root.rules[0].name %>, @thunk.thunks, nil, 0, @buffer_start_position<% if @location %>, @buffer_start_position_loc<% end %>)
+      @thunk.do_action(self, nil, 0)
+    else
+      raise SyntaxError, "can't parse"
+    end
+    commit_buffer
+    <%- end -%>
+    @thunk.clear
+    refill_buffer(1) >= 1 && pos != @buffer_start_position
+  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 = @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
+      @position_offset = offset
+      <%- if @location -%>
+      @position_offset_loc = offset_loc
+      <%- end -%>
+      answer = public_send(rule, offset<% if @location %>, offset_loc<% end %>, limits: {rule => true})
+      if !answer || @position_offset <= old_offset
+        break
+      end
+      memo = @memos[offset, rule]
+      memo.answer = answer
+      memo.offset = @position_offset
+      <%- if @location -%>
+      memo.offset_loc = @position_offset_loc
+      <%- end -%>
+    end
+  end
+
+  def rule_answer(rule)
+    offset = @position_offset
+    <%- if @location -%>
+    offset_loc = @position_offset_loc
+    <%- end -%>
+    memo = @memos[offset, rule]
+
+    if !memo
+      memo = LrMemo.new(offset<% if @location %>, offset_loc<% end %>)
+      @memos[offset, rule] = memo
+      answer = public_send(rule, offset<% if @location %>, offset_loc<% end %>)
+      memo.answer = answer
+      memo.offset = @position_offset
+      <%- if @location -%>
+      memo.offset_loc = @position_offset_loc
+      <%- end -%>
+      if memo.grow
+        grow_lr(rule, offset<% if @location %>, offset_loc<% end %>)
+        memo.grow = false
+        answer = memo.answer
+        @position_offset = memo.offset
+      end
+      return answer
+    elsif memo.fail
+      memo.answer = nil
+      memo.grow = true
+      return nil
+    else
+      @position_offset = memo.offset
+      return memo.answer
+    end
+  end
+
+  def apply_rule(rule, thunks, values, index, offset<% if @location %>, offset_loc<% end %>, limits: nil)
+    if limits
+      limits = limits.merge(rule => true)
+      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
+      else
+        memo.answer = answer
+        memo.offset = @position_offset
+      end
+    else
+      answer = rule_answer(rule)
+    end
+
+    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 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
+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->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 -%>
+    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, @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 -%>
+  )
+)

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

@@ -0,0 +1,34 @@
+<%-   m = 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;
+<%- 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<%= format("%04d", m) %>;
+<%-     end -%>
+<%-   end -%>
+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);
+<%-   if !c -%>
+    goto L<%= format("%04d", onfail) %>;
+<%-   end -%>
+<%- end -%>
+L<%= format("%04d", m) %>:;
+}

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

@@ -0,0 +1,39 @@
+<%-   m = gen.next_label -%>
+catch(<%= m %>) do
+  pos<%= gen.level %> = @position_offset
+  <%- if gen.location -%>
+  p_loc<%= gen.level %> = @position_offset_loc
+  <%- end -%>
+  n<%= gen.level %> = answer.thunks.length
+  <%- nodes.each_with_index do |expr, i| -%>
+  <%-   c = i + 1 < nodes.length -%>
+  <%- if expr.reversible?(gen) -%>
+  <%-   %><%= 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 -%>
+  @position_offset = pos<%= gen.level %>
+  <%- if gen.location -%>
+  @position_offset_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->position_offset;
+    size_t q;
+<%- if gen.location -%>
+    pcc_location_t p_loc = ctx->position_offset_loc;
+    pcc_location_t q_loc;
+<%- end -%>
+<%= gen.generate_code(expr, onfail, 4, false) -%>
+    q = ctx->position_offset;
+    chunk->capts.buf[<%= index %>].range.start = p;
+    chunk->capts.buf[<%= index %>].range.end = q;
+<%- if gen.location -%>
+    q_loc = ctx->position_offset_loc;
+    chunk->capts.buf[<%= index %>].range.start_loc = p_loc;
+    chunk->capts.buf[<%= index %>].range.end_loc = q_loc;
+<%- end -%>
+}

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

@@ -0,0 +1,14 @@
+pos<%= gen.level %> = @position_offset
+<%- if gen.location -%>
+p_loc<%= gen.level %> = @position_offset_loc
+<%- end -%>
+<%- %><%= gen.generate_code(expr, onfail, 0, false) -%>
+q<%= gen.level %> = @position_offset
+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 %> = @position_offset_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<%= format("%04d", onfail) %>;
+    c = ctx->buffer.buf[ctx->position_offset];
+<%- if a -%>
+    if (c >= '<%= Packcr.escape_character(charclass[0]) %>' && c <= '<%= Packcr.escape_character(charclass[2]) %>') goto L<%= format("%04d", onfail) %>;
+<%- else -%>
+    if (!(c >= '<%= Packcr.escape_character(charclass[0]) %>' && c <= '<%= Packcr.escape_character(charclass[2]) %>')) goto L<%= format("%04d", onfail) %>;
+<%- end -%>
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, 1);
+<%- end -%>
+    ctx->position_offset++;
+<%- else -%>
+    char c;
+    if (pcc_refill_buffer(ctx, 1) < 1) goto L<%= format("%04d", onfail) %>;
+    c = ctx->buffer.buf[ctx->position_offset];
+<%- 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<%= format("%04d", onfail) %>;
+<%- else -%>
+    )) goto L<%= format("%04d", onfail) %>;
+<%- end -%>
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, 1);
+<%- end -%>
+    ctx->position_offset++;
+<%- 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[@position_offset]
+<%-   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 -%>
+@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
+<%-   end -%>
+@position_offset += 1
+<%- else -%>
+if refill_buffer(1) < 1
+  throw(<%= onfail %>)
+end
+c<%= gen.level %> = @buffer[@position_offset]
+<%-   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 -%>
+@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)
+<%-   end -%>
+@position_offset += 1
+<%- end -%>

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

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

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

@@ -0,0 +1,7 @@
+if refill_buffer(1) < 1
+  throw(<%= onfail %>)
+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_fail.c.erb

@@ -0,0 +1 @@
+goto L<%= format("%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->position_offset] == '<%= Packcr.escape_character(charclass[i]) %>'
+) goto L<%= format("%04d", onfail) %>;
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, 1);
+<%- end -%>
+ctx->position_offset++;
+<%- else -%>
+if (
+    pcc_refill_buffer(ctx, 1) < 1 ||
+    ctx->buffer.buf[ctx->position_offset] != '<%= Packcr.escape_character(charclass[0]) %>'
+) goto L<%= format("%04d", onfail) %>;
+<%- if gen.location -%>
+    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, 1);
+<%- end -%>
+ctx->position_offset++;
+<%- end -%>

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

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