rparsec2 1.2.1 → 1.3.0

data/lib/rparsec/peek_parser.rb

@@ -0,0 +1,16 @@
+require "rparsec/parser"
+
+module RParsec
+  class PeekParser < Parser # :nodoc:
+    init :parser
+    def _parse ctxt
+      ind = ctxt.index
+      return false unless @parser._parse ctxt
+      ctxt.index = ind
+      return true
+    end
+    def peek
+      self
+    end
+  end
+end

data/lib/rparsec/plus_parser.rb

@@ -0,0 +1,32 @@
+require "rparsec/look_ahead_sensitive_parser"
+require "rparsec/failures"
+
+module RParsec
+  class PlusParser < LookAheadSensitiveParser # :nodoc:
+    def initialize(alts, la = 1)
+      super(la)
+      @alts = alts
+    end
+    def _parse ctxt
+      ind = ctxt.index
+      result = ctxt.result
+      err = ctxt.error
+      for p in @alts
+        ctxt.reset_error
+        ctxt.index = ind
+        ctxt.result = result
+        return true if p._parse(ctxt)
+        return false unless visible(ctxt, ind)
+        err = Failures.add_error(err, ctxt.error)
+      end
+      ctxt.error = err
+      return false
+    end
+    def withLookahead(n)
+      PlusParser.new(@alts, n)
+    end
+    def plus other
+      PlusParser.new(@alts.dup << other, @lookahead).tap { |p| p.name = name }
+    end
+  end
+end

data/lib/rparsec/regexp_parser.rb

@@ -0,0 +1,17 @@
+require "rparsec/parser"
+
+module RParsec
+  class RegexpParser < Parser # :nodoc:
+    init :ptn, :msg
+    def _parse ctxt
+      scanner = ctxt.scanner
+      result = scanner.check @ptn
+      if result.nil?
+        ctxt.expecting(@msg)
+      else
+        ctxt.advance(scanner.matched_size)
+        ctxt.retn(result)
+      end
+    end
+  end
+end

data/lib/rparsec/repeat__parser.rb

@@ -0,0 +1,13 @@
+require "rparsec/parser"
+
+module RParsec
+  class Repeat_Parser < Parser # :nodoc:
+    init :parser, :times
+    def _parse ctxt
+      @times.times do
+        return false unless @parser._parse ctxt
+      end
+      return true
+    end
+  end
+end

data/lib/rparsec/repeat_parser.rb

@@ -0,0 +1,15 @@
+require "rparsec/parser"
+
+module RParsec
+  class RepeatParser < Parser # :nodoc:
+    init :parser, :times
+    def _parse ctxt
+      result = []
+      @times.times do
+        return false unless @parser._parse ctxt
+        result << ctxt.result
+      end
+      return ctxt.retn(result)
+    end
+  end
+end

data/lib/rparsec/satisfies_parser.rb

@@ -0,0 +1,15 @@
+require "rparsec/parser"
+
+module RParsec
+  class SatisfiesParser < Parser # :nodoc:
+    init :pred, :expected
+    def _parse ctxt
+      elem = nil
+      if ctxt.eof || !@pred.call(elem = ctxt.current)
+        return ctxt.expecting(@expected)
+      end
+      ctxt.next
+      ctxt.retn elem
+    end
+  end
+end

data/lib/rparsec/sequence_parser.rb

@@ -0,0 +1,25 @@
+require "rparsec/parser"
+
+module RParsec
+  class SequenceParser < Parser # :nodoc:
+    init :parsers, :proc
+    def _parse ctxt
+      if @proc.nil?
+        for p in @parsers
+          return false unless p._parse(ctxt)
+        end
+      else
+        results = []
+        for p in @parsers
+          return false unless p._parse(ctxt)
+          results << ctxt.result
+        end
+        ctxt.retn(@proc.call(*results))
+      end
+      return true
+    end
+    def seq(other, &block)
+      SequenceParser.new(@parsers.dup << other, &block)
+    end
+  end
+end

data/lib/rparsec/set_index_parser.rb

@@ -0,0 +1,10 @@
+require 'rparsec/parser'
+
+module RParsec
+  class SetIndexParser < Parser # :nodoc:
+    init :index
+    def _parse ctxt
+      ctxt.index = @index
+    end
+  end
+end

data/lib/rparsec/some__parser.rb

@@ -0,0 +1,19 @@
+require "rparsec/parser"
+
+module RParsec
+  class Some_Parser < Parser # :nodoc:
+    init :parser, :least, :max
+    def _parse ctxt
+      @least.times { return false unless @parser._parse ctxt }
+      (@least...@max).each do
+        ind = ctxt.index
+        if @parser._parse ctxt
+          return true if ind == ctxt.index # infinite loop
+          next
+        end
+        return ind == ctxt.index
+      end
+      return true
+    end
+  end
+end

data/lib/rparsec/some_parser.rb

@@ -0,0 +1,28 @@
+require "rparsec/parser"
+
+module RParsec
+  class SomeParser < Parser # :nodoc:
+    init :parser, :least, :max
+    def _parse ctxt
+      result = []
+      @least.times do
+        return false unless @parser._parse ctxt
+        result << ctxt.result
+      end
+      (@least...@max).each do
+        ind = ctxt.index
+        if @parser._parse ctxt
+          result << ctxt.result
+          return ctxt.retn(result) if ind == ctxt.index # infinite loop
+          next
+        end
+        if ind == ctxt.index
+          return ctxt.retn(result)
+        else
+          return false
+        end
+      end
+      return ctxt.retn(result)
+    end
+  end
+end

data/lib/rparsec/string_case_insensitive_parser.rb

@@ -0,0 +1,26 @@
+require "rparsec/parser"
+
+module RParsec
+  class StringCaseInsensitiveParser < Parser # :nodoc:
+    init :str, :msg
+    def _downcase c
+      case when c.ord >= ?A.ord && c.ord <= ?Z.ord then (c.ord + (?a.ord - ?A.ord)).chr else c end
+    end
+    private :_downcase
+
+    def _parse ctxt
+      if @str.length > ctxt.available
+        return ctxt.expecting(@msg)
+      end
+      cur = 0
+      for cur in (0...@str.length)
+        if _downcase(@str[cur]) != _downcase(ctxt.peek(cur))
+          return ctxt.expecting(@msg)
+        end
+      end
+      result = ctxt.src[ctxt.index, @str.length]
+      ctxt.advance(@str.length)
+      ctxt.retn result
+    end
+  end
+end

data/lib/rparsec/throw_parser.rb

@@ -0,0 +1,10 @@
+require "rparsec/parser"
+
+module RParsec
+  class ThrowParser < Parser # :nodoc:
+    init :symbol
+    def _parse _ctxt
+      throw @symbol
+    end
+  end
+end

data/lib/rparsec/token.rb

@@ -1,45 +1,26 @@
 # frozen_string_literal: true
 
-require 'rparsec/misc'
-
 module RParsec
 
   #
   # Represents a token during lexical analysis.
   #
-  class Token
-    extend DefHelper
-
-    def_ctor :kind, :text, :index
-
-    #
-    # The type of the token
-    #
-    attr_reader :kind
-
-    #
-    # The text of the matched range
-    #
-    attr_reader :text
-
-    #
-    # The starting index of the matched range
-    #
-    attr_reader :index
+  # kind  :: The type of the token
+  # text  :: The text of the matched range
+  # index :: The starting index of the matched range
+  #
+  Token = Data.define(:kind, :text, :index)
 
+  class Token
     #
     # The length of the token.
     #
-    def length
-      @text.length
-    end
+    def length = @text.length
 
     #
     # String representation of the token.
     #
-    def to_s
-      "#{@kind}: #{@text}"
-    end
+    def to_s = "#{@kind}: #{@text}"
   end
 
-end # module
+end # module

data/lib/rparsec/token_parser.rb

@@ -0,0 +1,14 @@
+require "rparsec/parser"
+
+module RParsec
+  class TokenParser < Parser # :nodoc:
+    init :symbol, :parser
+    def _parse ctxt
+      ind = ctxt.index
+      return false unless @parser._parse ctxt
+      raw = ctxt.result
+      raw = ctxt.src[ind, ctxt.index - ind] unless raw.kind_of? String
+      ctxt.retn(Token.new(@symbol, raw, ind))
+    end
+  end
+end

data/lib/rparsec/value_parser.rb

@@ -0,0 +1,10 @@
+require "rparsec/parser"
+
+module RParsec
+  class ValueParser < Parser # :nodoc:
+    init :value
+    def _parse ctxt
+      ctxt.retn @value
+    end
+  end
+end

data/lib/rparsec/watch_parser.rb

@@ -0,0 +1,11 @@
+require "rparsec/parser"
+
+module RParsec
+  class WatchParser < Parser # :nodoc:
+    init :proc
+    def _parse ctxt
+      @proc.call(ctxt.result)
+      true
+    end
+  end
+end

data/lib/rparsec/watchn_parser.rb

@@ -0,0 +1,11 @@
+require "rparsec/parser"
+
+module RParsec
+  class WatchnParser < Parser # :nodoc:
+    init :proc
+    def _parse ctxt
+      @proc.call(*ctxt.result)
+      true
+    end
+  end
+end

data/lib/rparsec/zero_parser.rb

@@ -0,0 +1,9 @@
+require "rparsec/parser"
+
+module RParsec
+  class ZeroParser < Parser # :nodoc:
+    def _parse ctxt
+      return ctxt.failure
+    end
+  end
+end

data/lib/rparsec.rb

@@ -6,5 +6,5 @@ require "rparsec/keywords"
 require "rparsec/expressions"
 
 module RParsec
-  VERSION = "1.2.1"
+  VERSION = "1.3.0"
 end

metadata

@@ -1,39 +1,84 @@
 --- !ruby/object:Gem::Specification
 name: rparsec2
 version: !ruby/object:Gem::Version
-  version: 1.2.1
+  version: 1.3.0
 platform: ruby
 authors:
 - Ben Yu
+- gemmaro
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-11-17 00:00:00.000000000 Z
+date: 2025-01-20 00:00:00.000000000 Z
 dependencies: []
 description: rparsec is a recursive descent parser combinator framework. Declarative
   API allows creating parser intuitively and dynamically.
-email: ajoo.email@gmail.com
+email:
+- ajoo.email@gmail.com
+- gemmaro.dev@gmail.com
 executables: []
 extensions: []
 extra_rdoc_files: []
 files:
 - lib/rparsec.rb
+- lib/rparsec/alt_parser.rb
+- lib/rparsec/any_parser.rb
+- lib/rparsec/are_parser.rb
+- lib/rparsec/atom_parser.rb
+- lib/rparsec/best_parser.rb
+- lib/rparsec/bound_parser.rb
+- lib/rparsec/boundn_parser.rb
+- lib/rparsec/catch_parser.rb
 - lib/rparsec/context.rb
+- lib/rparsec/def_helper.rb
+- lib/rparsec/eof_parser.rb
 - lib/rparsec/error.rb
+- lib/rparsec/expect_parser.rb
 - lib/rparsec/expressions.rb
+- lib/rparsec/failure_parser.rb
+- lib/rparsec/failures.rb
+- lib/rparsec/followed_parser.rb
+- lib/rparsec/fragment_parser.rb
 - lib/rparsec/functor_mixin.rb
 - lib/rparsec/functors.rb
-- lib/rparsec/id_monad.rb
+- lib/rparsec/get_index_parser.rb
 - lib/rparsec/keywords.rb
+- lib/rparsec/lazy_parser.rb
 - lib/rparsec/locator.rb
-- lib/rparsec/misc.rb
+- lib/rparsec/look_ahead_sensitive_parser.rb
+- lib/rparsec/many__parser.rb
+- lib/rparsec/many_parser.rb
+- lib/rparsec/map_current_parser.rb
+- lib/rparsec/map_parser.rb
+- lib/rparsec/mapn_current_parser.rb
+- lib/rparsec/mapn_parser.rb
 - lib/rparsec/monad.rb
+- lib/rparsec/nested_parser.rb
+- lib/rparsec/not_parser.rb
+- lib/rparsec/one_parser.rb
 - lib/rparsec/operator_table.rb
 - lib/rparsec/operators.rb
 - lib/rparsec/parser.rb
 - lib/rparsec/parser_monad.rb
 - lib/rparsec/parsers.rb
+- lib/rparsec/peek_parser.rb
+- lib/rparsec/plus_parser.rb
+- lib/rparsec/regexp_parser.rb
+- lib/rparsec/repeat__parser.rb
+- lib/rparsec/repeat_parser.rb
+- lib/rparsec/satisfies_parser.rb
+- lib/rparsec/sequence_parser.rb
+- lib/rparsec/set_index_parser.rb
+- lib/rparsec/some__parser.rb
+- lib/rparsec/some_parser.rb
+- lib/rparsec/string_case_insensitive_parser.rb
+- lib/rparsec/throw_parser.rb
 - lib/rparsec/token.rb
+- lib/rparsec/token_parser.rb
+- lib/rparsec/value_parser.rb
+- lib/rparsec/watch_parser.rb
+- lib/rparsec/watchn_parser.rb
+- lib/rparsec/zero_parser.rb
 homepage: https://git.disroot.org/gemmaro/rparsec2
 licenses:
 - BSD-3-Clause
@@ -53,14 +98,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '3.1'
+      version: '3.2'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.26
+rubygems_version: 3.4.19
 signing_key:
 specification_version: 4
 summary: A Ruby Parser Combinator Framework

data/lib/rparsec/id_monad.rb

@@ -1,19 +0,0 @@
-# frozen_string_literal: true
-
-module RParsec
-
-  class IdMonad # :nodoc:
-    def value v
-      v
-    end
-
-    def bind prev
-      yield prev
-    end
-
-    def mplus a, _b
-      a
-    end
-  end
-
-end # module