packcr 0.0.6 → 0.0.7

data/lib/packcr/generated/node/action_node.rb

@@ -0,0 +1,60 @@
+class Packcr
+  class Node
+    class ActionNode
+      def get_code(gen, onfail, indent, bare, oncut)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "{\n    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});\n".freeze
+
+          vars.each do |var|
+            erbout << "    thunk->data.leaf.values.buf[#{var.index}] = &(chunk->values.buf[#{var.index}]);\n".freeze
+          end
+          capts.each do |capt|
+            erbout << "    thunk->data.leaf.capts.buf[#{capt.index}] = &(chunk->capts.buf[#{capt.index}]);\n".freeze
+          end
+          erbout << "    thunk->data.leaf.capt0.range.start = chunk->pos;\n    thunk->data.leaf.capt0.range.end = ctx->position_offset;\n".freeze
+
+          if gen.location
+            erbout << "    thunk->data.leaf.capt0.range.start_loc = chunk->pos_loc;\n    thunk->data.leaf.capt0.range.end_loc = ctx->position_offset_loc;\n".freeze
+          end
+          erbout << "    pcc_thunk_array__add(ctx->auxil, &chunk->thunks, thunk);\n}\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          erbout << "answer.thunks.push(\n  ThunkLeaf.new(\n    :action_#{gen.rule.name}_#{index},\n    Capture.new(\n      answer.pos, @position_offset,\n".freeze
+
+          if gen.location
+            erbout << "      answer.pos_loc, @position_offset_loc,\n".freeze
+          end
+          erbout << "    ),\n".freeze
+
+          if vars.empty?
+            erbout << "    {},\n".freeze
+
+          else
+            erbout << "    answer.values.slice(".freeze
+            vars.each_with_index do |var, i|
+              erbout << "#{", " if i > 0}#{var.index}".freeze
+            end
+            erbout << "),\n".freeze
+          end
+          if capts.empty?
+            erbout << "    {},\n".freeze
+
+          else
+            erbout << "    answer.capts.slice(".freeze
+            capts.each_with_index do |capt, i|
+              erbout << "#{", " if i > 0}#{capt.index}".freeze
+            end
+            erbout << "),\n".freeze
+          end
+          erbout << "  )\n)\n".freeze
+
+          erbout
+        end
+      end
+    end
+  end
+end

data/lib/packcr/generated/node/alternate_node.rb

@@ -0,0 +1,98 @@
+class Packcr
+  class Node
+    class AlternateNode
+      def get_code(gen, onfail, indent, bare, oncut)
+        case gen.lang
+        when :c
+          erbout = +""
+          m = gen.next_label
+          erbout << "{\n    const size_t p = ctx->position_offset;\n".freeze
+
+          if gen.location
+            erbout << "    const pcc_location_t p_loc = ctx->position_offset_loc;\n".freeze
+          end
+          erbout << "    const size_t n = chunk->thunks.len;\n".freeze
+
+          nodes.each_with_index do |expr, i|
+            c = i + 1 < nodes.length
+            l = gen.next_label
+            r = expr.reachability
+
+            erbout << "#{gen.generate_code(expr, l, 4, false)}".freeze
+            case r
+            when Packcr::CODE_REACH__ALWAYS_SUCCEED
+              if c
+                erbout << "    /* unreachable codes omitted */\n".freeze
+              end
+              break
+            when Packcr::CODE_REACH__BOTH
+              erbout << "    goto L#{format("%04d", m)};\n".freeze
+            end
+            erbout << "L#{format("%04d", l)}:;\n    ctx->position_offset = p;\n".freeze
+
+            if gen.location
+              erbout << "    ctx->position_offset_loc = p_loc;\n".freeze
+            end
+            erbout << "    pcc_thunk_array__revert(ctx->auxil, &chunk->thunks, n);\n".freeze
+
+            next if c
+
+            erbout << "    goto L#{format("%04d", onfail)};\n".freeze
+          end
+          erbout << "L#{format("%04d", m)}:;\n}\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          m = gen.next_label
+          erbout << "catch(#{m}) do\n  pos#{gen.level} = @position_offset\n".freeze
+
+          if gen.location
+            erbout << "  p_loc#{gen.level} = @position_offset_loc\n".freeze
+          end
+          erbout << "  n#{gen.level} = answer.thunks.length\n".freeze
+
+          nodes.each_with_index do |expr, i|
+            c = i + 1 < nodes.length
+            if expr.reversible?(gen)
+
+              erbout << "#{gen.generate_code(expr, m, 2, false, reverse: true, oncut: onfail)}".freeze
+            else
+              l = gen.next_label
+              erbout << "  catch(#{l}) do\n".freeze
+
+              r = expr.reachability
+
+              erbout << "#{gen.generate_code(expr, l, 4, false, oncut: onfail)}".freeze
+              case r
+              when Packcr::CODE_REACH__ALWAYS_SUCCEED
+                if c
+                  erbout << "    # unreachable codes omitted\n".freeze
+                end
+                erbout << "  end\n".freeze
+
+                break
+              when Packcr::CODE_REACH__BOTH
+                erbout << "    throw(#{m})\n".freeze
+              end
+              erbout << "  end\n".freeze
+            end
+            erbout << "  @position_offset = pos#{gen.level}\n".freeze
+
+            if gen.location
+              erbout << "  @position_offset_loc = p_loc#{gen.level}\n".freeze
+            end
+            erbout << "  answer.thunks[n#{gen.level}..-1] = []\n".freeze
+
+            next if c
+
+            erbout << "  throw(#{onfail})\n".freeze
+          end
+          erbout << "end\n".freeze
+
+          erbout
+        end
+      end
+    end
+  end
+end

data/lib/packcr/generated/node/capture_node.rb

@@ -0,0 +1,39 @@
+class Packcr
+  class Node
+    class CaptureNode
+      def get_code(gen, onfail, indent, bare, oncut)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "{\n    const size_t p = ctx->position_offset;\n    size_t q;\n".freeze
+
+          if gen.location
+            erbout << "    pcc_location_t p_loc = ctx->position_offset_loc;\n    pcc_location_t q_loc;\n".freeze
+          end
+          erbout << "#{gen.generate_code(expr, onfail, 4, false)}    q = ctx->position_offset;\n    chunk->capts.buf[#{index}].range.start = p;\n    chunk->capts.buf[#{index}].range.end = q;\n".freeze
+
+          if gen.location
+            erbout << "    q_loc = ctx->position_offset_loc;\n    chunk->capts.buf[#{index}].range.start_loc = p_loc;\n    chunk->capts.buf[#{index}].range.end_loc = q_loc;\n".freeze
+          end
+          erbout << "}\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          erbout << "pos#{gen.level} = @position_offset\n".freeze
+
+          if gen.location
+            erbout << "p_loc#{gen.level} = @position_offset_loc\n".freeze
+          end
+
+          erbout << "#{gen.generate_code(expr, onfail, 0, false)}q#{gen.level} = @position_offset\ncapt#{gen.level} = answer.capts[#{index}]\ncapt#{gen.level}.range_start = pos#{gen.level}\ncapt#{gen.level}.range_end = q#{gen.level}\n".freeze
+
+          if gen.location
+            erbout << "q_loc#{gen.level} = @position_offset_loc\ncapt#{gen.level}.start_loc = p_loc#{gen.level}\ncapt#{gen.level}.end_loc = q_loc#{gen.level}\n".freeze
+          end
+          erbout
+        end
+      end
+    end
+  end
+end

data/lib/packcr/generated/node/charclass_node.rb

@@ -0,0 +1,372 @@
+class Packcr
+  class Node
+    class CharclassNode
+      def get_code(gen, onfail, indent, bare, charclass, n, a)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "{\n    char c;\n    if (pcc_refill_buffer(ctx, 1) < 1) goto L#{format("%04d", onfail)};\n    c = ctx->buffer.buf[ctx->position_offset];\n".freeze
+          if !a && charclass =~ /\A[^\\]-.\z/
+
+            if a
+              erbout << "    if (c >= '#{Packcr.escape_character(charclass[0])}' && c <= '#{Packcr.escape_character(charclass[2])}') goto L#{format("%04d", onfail)};\n".freeze
+
+            else
+              erbout << "    if (!(c >= '#{Packcr.escape_character(charclass[0])}' && c <= '#{Packcr.escape_character(charclass[2])}')) goto L#{format("%04d", onfail)};\n".freeze
+            end
+
+          else
+
+            if a
+              erbout << "    if (\n".freeze
+
+            else
+              erbout << "    if (!(\n".freeze
+            end
+            i = 0
+            while i < n
+              if charclass[i] == "\\" && i + 1 < n
+                i += 1
+              end
+              if i + 2 < n && charclass[i + 1] == "-"
+                erbout << "        (c >= '#{Packcr.escape_character(charclass[i])}' && c <= '#{Packcr.escape_character(charclass[i + 2])}')#{i + 3 == n ? "" : " ||"}\n".freeze
+
+                i += 2
+              else
+                erbout << "        c == '#{Packcr.escape_character(charclass[i])}'#{i + 1 == n ? "" : " ||"}\n".freeze
+              end
+              i += 1
+            end
+            if a
+              erbout << "    ) goto L#{format("%04d", onfail)};\n".freeze
+
+            else
+              erbout << "    )) goto L#{format("%04d", onfail)};\n".freeze
+            end
+          end
+          if gen.location
+            erbout << "    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, 1);\n".freeze
+          end
+          erbout << "    ctx->position_offset++;\n}\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          erbout << "if refill_buffer(1) < 1\n  throw(#{onfail})\nend\nc#{gen.level} = @buffer[@position_offset]\n".freeze
+          if !a && charclass =~ /\A[^\\]-.\z/
+
+            if a
+              erbout << "if c#{gen.level} >= \"#{Packcr.escape_character(charclass[0])}\" && c#{gen.level} <= \"#{Packcr.escape_character(charclass[2])}\"\n  throw(#{onfail})\nend\n".freeze
+
+            else
+              erbout << "unless c#{gen.level} >= \"#{Packcr.escape_character(charclass[0])}\" && c#{gen.level} <= \"#{Packcr.escape_character(charclass[2])}\"\n  throw(#{onfail})\nend\n".freeze
+            end
+
+          else
+
+            if a
+              erbout << "if (\n".freeze
+
+            else
+              erbout << "unless (\n".freeze
+            end
+            i = 0
+            while i < n
+              if charclass[i] == "\\" && i + 1 < n
+                i += 1
+              end
+              if i + 2 < n && charclass[i + 1] == "-"
+                erbout << "  (c#{gen.level} >= \"#{Packcr.escape_character(charclass[i])}\" && c#{gen.level} <= \"#{Packcr.escape_character(charclass[i + 2])}\")#{i + 3 == n ? "" : " ||"}\n".freeze
+
+                i += 2
+              else
+                erbout << "  c#{gen.level} == \"#{Packcr.escape_character(charclass[i])}\"#{i + 1 == n ? "" : " ||"}\n".freeze
+              end
+              i += 1
+            end
+            erbout << ")\n  throw(#{onfail})\nend\n".freeze
+
+          end
+          if gen.location
+            erbout << "@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)\n".freeze
+          end
+          erbout << "@position_offset += 1\n".freeze
+          erbout
+        end
+      end
+
+      def get_any_code(gen, onfail, indent, bare, charclass)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "if (pcc_refill_buffer(ctx, 1) < 1) goto L#{format("%04d", onfail)};\n".freeze
+
+          if gen.location
+            erbout << "pcc_location_forward(&ctx->position_offset, ctx->buffer.buf + ctx->position_offset, 1);\n".freeze
+          end
+          erbout << "ctx->position_offset++;\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          erbout << "if refill_buffer(1) < 1\n  throw(#{onfail})\nend\n".freeze
+
+          if gen.location
+            erbout << "@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)\n".freeze
+          end
+          erbout << "@position_offset += 1\n".freeze
+
+          erbout
+        end
+      end
+
+      def get_fail_code(gen, onfail, indent, bare)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "goto L#{format("%04d", onfail)};\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          erbout << "throw(#{onfail})\n".freeze
+
+          erbout
+        end
+      end
+
+      def get_one_code(gen, onfail, indent, bare, charclass, n, a)
+        case gen.lang
+        when :c
+          erbout = +""
+          if a
+            erbout << "if (\n    pcc_refill_buffer(ctx, 1) < 1 ||\n    ctx->buffer.buf[ctx->position_offset] == '#{Packcr.escape_character(charclass[i])}'\n) goto L#{format("%04d", onfail)};\n".freeze
+
+          else
+            erbout << "if (\n    pcc_refill_buffer(ctx, 1) < 1 ||\n    ctx->buffer.buf[ctx->position_offset] != '#{Packcr.escape_character(charclass[0])}'\n) goto L#{format("%04d", onfail)};\n".freeze
+
+          end
+          if gen.location
+            erbout << "    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, 1);\n".freeze
+          end
+          erbout << "ctx->position_offset++;\n".freeze
+          erbout
+        when :rb
+          erbout = +""
+          if a
+            erbout << "if (\n  refill_buffer(1) < 1 ||\n  @buffer[@position_offset] == \"#{Packcr.escape_character(charclass[0])}\"\n)\n  throw(#{onfail})\nend\n".freeze
+
+          else
+            erbout << "if (\n  refill_buffer(1) < 1 ||\n  @buffer[@position_offset] != \"#{Packcr.escape_character(charclass[0])}\"\n)\n  throw(#{onfail})\nend\n".freeze
+
+          end
+          if gen.location
+            erbout << "@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)\n".freeze
+          end
+          erbout << "@position_offset += 1\n".freeze
+          erbout
+        end
+      end
+
+      def get_utf8_code(gen, onfail, indent, bare, charclass, n)
+        case gen.lang
+        when :c
+          erbout = +""
+          a = charclass && charclass[0] == "^"
+          i = a ? 1 : 0
+          erbout << "{\n    int u;\n    const size_t n = pcc_get_char_as_utf32(ctx, &u);\n    if (n == 0) goto L#{format("%04d", onfail)};\n".freeze
+
+          if charclass && !(a && n == 1) # not '.' or '[^]'
+            u0 = 0
+            r = false
+            if a
+              erbout << "    if (\n".freeze
+
+            else
+              erbout << "    if (!(\n".freeze
+            end
+            while i < n
+              if charclass[i] == "\\" && i + 1 < n
+                i += 1
+              end
+              u = charclass[i].ord
+              i += 1
+              if r
+                # character range
+                erbout << "        (u >= 0x#{format("%06x", u0)} && u <= 0x#{format("%06x", u)})".freeze
+                if i < n
+                  erbout << " ||".freeze
+                end
+                erbout << "\n".freeze
+
+                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
+                erbout << "        u == 0x#{format("%06x", u)}".freeze
+                if i < n
+                  erbout << " ||".freeze
+                end
+                erbout << "\n".freeze
+
+                u0 = 0
+                r = false
+              elsif charclass[i] == "-"
+                i += 1
+                u0 = u
+                r = true
+              else
+                raise "unexpected charclass #{charclass[i]}"
+              end
+            end
+            if a
+              erbout << "    ) goto L#{format("%04d", onfail)};\n".freeze
+
+            else
+              erbout << "    )) goto L#{format("%04d", onfail)};\n".freeze
+            end
+          end
+          if gen.location
+            erbout << "    pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, n);\n".freeze
+          end
+          erbout << "    ctx->position_offset += n;\n}\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          a = charclass && charclass[0] == "^"
+          i = a ? 1 : 0
+          erbout << "if refill_buffer(1) < 1\n  throw(#{onfail})\nend\nu#{gen.level} = @buffer[@position_offset]\n".freeze
+
+          if charclass && !(a && n == 1) # not '.' or '[^]'
+            u0 = nil
+            r = false
+            if a
+              erbout << "if (\n".freeze
+
+            else
+              erbout << "if (!(\n".freeze
+            end
+            while i < n
+              if charclass[i] == "\\" && i + 1 < n
+                i += 1
+              end
+              u = charclass[i]
+              i += 1
+              if r
+                # character range
+                erbout << "  (u#{gen.level} >= #{u0.dump} && u#{gen.level} <= #{u.dump})".freeze
+                if i < n
+                  erbout << " ||".freeze
+                end
+                erbout << "\n".freeze
+
+                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
+                erbout << "  u#{gen.level} == #{u.dump}".freeze
+                if i < n
+                  erbout << " ||".freeze
+                end
+                erbout << "\n".freeze
+
+                u0 = 0
+                r = false
+              elsif charclass[i] == "-"
+                i += 1
+                u0 = u
+                r = true
+              else
+                raise "unexpected charclass #{charclass[i]}"
+              end
+            end
+            if a
+              erbout << ")\n".freeze
+
+            else
+              erbout << "))\n".freeze
+            end
+            erbout << "  throw(#{onfail})\nend\n".freeze
+          end
+          if gen.location
+            erbout << "@position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)\n".freeze
+          end
+          erbout << "@position_offset += 1\n".freeze
+
+          erbout
+        end
+      end
+
+      def get_utf8_reverse_code(gen, onsuccess, indent, bare, charclass, n)
+        case gen.lang
+        when :rb
+          erbout = +""
+          a = charclass && charclass[0] == "^"
+          i = a ? 1 : 0
+          erbout << "if refill_buffer(1) >= 1\n  u#{gen.level} = @buffer[@position_offset]\n".freeze
+
+          if charclass && !(a && n == 1) # not '.' or '[^]'
+            u0 = nil
+            r = false
+            if a
+              erbout << "  unless (\n".freeze
+
+            else
+              erbout << "  if (\n".freeze
+            end
+            while i < n
+              if charclass[i] == "\\" && i + 1 < n
+                i += 1
+              end
+              u = charclass[i]
+              i += 1
+              if r
+                # character range
+                erbout << "    (u#{gen.level} >= #{u0.dump} && u#{gen.level} <= #{u.dump})".freeze
+                if i < n
+                  erbout << " ||".freeze
+                end
+                erbout << "\n".freeze
+
+                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
+                erbout << "    u#{gen.level} == #{u.dump}".freeze
+                if i < n
+                  erbout << " ||".freeze
+                end
+                erbout << "\n".freeze
+
+                u0 = 0
+                r = false
+              elsif charclass[i] == "-"
+                i += 1
+                u0 = u
+                r = true
+              else
+                raise "unexpected charclass #{charclass[i]}"
+              end
+            end
+            erbout << "  )\n".freeze
+
+            if gen.location
+              erbout << "    @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)\n".freeze
+            end
+            erbout << "    @position_offset += 1\n    throw(#{onsuccess})\n  end\n".freeze
+
+          else # '.' or '[^]'
+            if gen.location
+              erbout << "  @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, 1)\n".freeze
+            end
+            erbout << "  @position_offset += 1\n  throw(#{onsuccess})\n".freeze
+          end
+          erbout << "end\n".freeze
+
+          erbout
+        end
+      end
+    end
+  end
+end

data/lib/packcr/generated/node/eof_node.rb

@@ -0,0 +1,20 @@
+class Packcr
+  class Node
+    class EofNode
+      def get_code(gen, onfail, indent, bare, oncut)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "if (pcc_refill_buffer(ctx, 1) >= 1) goto L#{format("%04d", onfail)};\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          erbout << "if refill_buffer(1) >= 1\n  throw(#{onfail})\nend\n".freeze
+
+          erbout
+        end
+      end
+    end
+  end
+end

data/lib/packcr/generated/node/error_node.rb

@@ -0,0 +1,67 @@
+class Packcr
+  class Node
+    class ErrorNode
+      def get_code(gen, onfail, indent, bare, oncut)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "{\n".freeze
+
+          l = gen.next_label
+          m = gen.next_label
+
+          erbout << "#{gen.generate_code(expr, l, 4, true)}    goto L#{format("%04d", m)};\nL#{format("%04d", l)}:;\n    {\n        pcc_value_t null;\n        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});\n".freeze
+
+          vars.each do |var|
+            erbout << "        thunk->data.leaf.values.buf[#{var.index}] = &(chunk->values.buf[#{var.index}]);\n".freeze
+          end
+          capts.each do |capt|
+            erbout << "        thunk->data.leaf.capts.buf[#{capt.index}] = &(chunk->capts.buf[#{capt.index}]);\n".freeze
+          end
+          erbout << "        thunk->data.leaf.capt0.range.start = chunk->pos;\n        thunk->data.leaf.capt0.range.end = ctx->position_offset;\n".freeze
+
+          if gen.location
+            erbout << "        thunk->data.leaf.capt0.range.start_loc = chunk->pos_loc;\n        thunk->data.leaf.capt0.range.end_loc = ctx->position_offset_loc;\n".freeze
+          end
+          erbout << "        memset(&null, 0, sizeof(pcc_value_t)); /* in case */\n        thunk->data.leaf.action(ctx, thunk, &null);\n        pcc_thunk__destroy(ctx->auxil, thunk);\n    }\n    goto L#{format("%04d", onfail)};\nL#{format("%04d", m)}:;\n}\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          l = gen.next_label
+          m = gen.next_label
+          erbout << "catch(#{m}) do\n  catch(#{l}) do\n#{gen.generate_code(expr, l, 4, false)}    throw(#{m})\n  end\n\n  action_#{gen.rule.name}_#{index}(\n    ThunkLeaf.new(\n      :action_#{gen.rule.name}_#{index},\n      Capture.new(\n        answer.pos, @position_offset,\n".freeze
+
+          if gen.location
+            erbout << "        answer.pos_loc,@position_offset_loc,\n".freeze
+          end
+          erbout << "      ),\n".freeze
+
+          if vars.empty?
+            erbout << "      {},\n".freeze
+
+          else
+            erbout << "      answer.values.slice(".freeze
+            vars.each_with_index do |var, i|
+              erbout << "#{", " if i > 0}#{var.index}".freeze
+            end
+            erbout << "),\n".freeze
+          end
+          if capts.empty?
+            erbout << "      {},\n".freeze
+
+          else
+            erbout << "      answer.capts.slice(".freeze
+            capts.each_with_index do |capt, i|
+              erbout << "#{", " if i > 0}#{capt.index}".freeze
+            end
+            erbout << "),\n".freeze
+          end
+          erbout << "    ),\n    nil,\n    0\n  )\n\n  throw(#{onfail})\nend\n".freeze
+
+          erbout
+        end
+      end
+    end
+  end
+end

data/lib/packcr/generated/node/expand_node.rb

@@ -0,0 +1,30 @@
+class Packcr
+  class Node
+    class ExpandNode
+      def get_code(gen, onfail, indent, bare, oncut)
+        case gen.lang
+        when :c
+          erbout = +""
+          erbout << "{\n    const size_t n = chunk->capts.buf[#{index}].range.end - chunk->capts.buf[#{index}].range.start;\n    if (pcc_refill_buffer(ctx, n) < n) goto L#{format("%04d", onfail)};\n    if (n > 0) {\n        const char *const p = ctx->buffer.buf + ctx->position_offset;\n        const char *const q = ctx->buffer.buf + chunk->capts.buf[#{index}].range.start;\n        size_t i;\n        for (i = 0; i < n; i++) {\n            if (p[i] != q[i]) goto L#{format("%04d", onfail)};\n        }\n".freeze
+
+          if gen.location
+            erbout << "        pcc_location_forward(&ctx->position_offset_loc, ctx->buffer.buf + ctx->position_offset, n);\n".freeze
+          end
+          erbout << "        ctx->position_offset += n;\n    }\n}\n".freeze
+
+          erbout
+        when :rb
+          erbout = +""
+          erbout << "capt#{gen.level} = answer.capts[#{index}]\nn#{gen.level} = capt#{gen.level}.range_end - capt#{gen.level}.range_start\nif refill_buffer(n#{gen.level}) < n#{gen.level}\n  throw(#{onfail})\nend\nif n#{gen.level} > 0\n  ptr#{gen.level} = @buffer[@position_offset, n#{gen.level}]\n  q#{gen.level} = @buffer[capt#{gen.level}.range_start, n#{gen.level}]\n  if ptr#{gen.level} != q#{gen.level}\n    throw(#{onfail})\n  end\n".freeze
+
+          if gen.location
+            erbout << "  @position_offset_loc = @position_offset_loc.forward(@buffer, @position_offset, n#{gen.level})\n".freeze
+          end
+          erbout << "  @position_offset += n#{gen.level}\nend\n".freeze
+
+          erbout
+        end
+      end
+    end
+  end
+end