yaparc 0.3.0 → 0.4.0

data/lib/yaparc.rb

@@ -1,617 +1,47 @@
 # frozen_string_literal: true
 
-module Yaparc
-  VERSION = "0.3.0"
-
-  module Result
-    class Base
-      attr_accessor :message, :input, :value
-      def initialize(options = {})
-        @message = options[:message] if options[:message]
-        @input = options[:input] if options[:input]
-        @value = options[:value]
-      end
-    end
-
-    class OK < Base
-    end
-
-    class Fail < Base
-    end
-
-    class Error < Base
-    end
-  end # of module Result
-
-  module Parsable
-    attr_accessor :tree
-
-    IS_LOWER = lambda {|c| c >= 'a' and c <= 'z'}
-    IS_ALPHANUM = lambda {|c| (c >= 'a' and c <= 'z') or (c >= '0' and c <= '9')}
-    IS_DIGIT = lambda {|i| i >= '0' and i <= '9'}
-    IS_SPACE = lambda {|i| i == ' '}
-    IS_WHITESPACE = lambda {|i| i == ' ' or i == "\n" or i == "\t"}
-    IS_CR = lambda {|i| i == "\n"}
-
-    def parse(input) #, &block)
-      result = @parser.call(input)
-
-      if result.respond_to?(:parse)
-        result.parse(input)
-      else
-        result
-      end
-    end
-
-  end # of Module Parsable
-
-  class Succeed
-    include Parsable
-    attr_reader :remaining
-
-    def initialize(value, remaining = nil)
-      @parser = lambda do |input|
-        Result::OK.new(:value => value, :input => input)
-      end
-      @remaining = remaining
-    end
-  end
-
-  class Fail
-    include Parsable
-    def initialize
-      @parser = lambda do |input|
-        Result::Fail.new(:input => input)
-      end
-    end
-  end
-
-
-  class Item
-    include Parsable
-
-    def initialize
-      @parser = lambda do |input|
-        if input.nil? or input.empty?
-          Result::Fail.new(:input => input)
-        else
-          Result::OK.new(:value => input[0..0],:input => input[1..input.length])
-        end
-      end
-    end
-  end
-
-  class ZeroOne
-    include Parsable
-
-    def initialize(parser, identity = [])
-      @parser = lambda do |input|
-        case result = parser.parse(input)
-        when Result::Fail
-          Result::OK.new(:value => identity, :input => input)
-#          Succeed.new(identity)
-        when Result::Error
-          Result::Error.new(:value => result.value, :input => result.input)
-        when Result::OK
-          result
-        else
-          raise
-        end
-      end
-    end
-  end
-
-  class Satisfy
-    include Parsable
-
-    def initialize(predicate)
-      raise unless predicate.instance_of?(Proc)
-      @parser = lambda do |input|
-        result = Item.new.parse(input)
-        if result.instance_of?(Result::OK) and predicate.call(result.value)
-          Succeed.new(result.value, result.input)
-        else
-          Fail.new
-        end
-      end
-    end
-
-    def parse(input)
-      case parser = @parser.call(input)
-      when Succeed
-        parser.parse(parser.remaining)
-      when Fail
-        parser.parse(input)
-      else
-        raise
-      end
-    end
-  end
-
-
-  class NoFail
-    # hutton92:_higher_order_funct_parsin,p.19
-    include Parsable
-
-    def initialize(parser, &block)
-      @parser = lambda do |input|
-        result = parser.parse(input)
-        if result.instance_of?(Result::Fail)
-          Result::Error.new(:value => result.value, :input => result.input)
-        else
-          Succeed.new(result.value)
-        end
-      end
-    end
-  end # of NoFail
-
-
-  class Seq
-    include Parsable
-
-    def initialize(*parsers, &block)
-      @parser = lambda do |input|
-        args = []
-        initial_result = Result::OK.new(:input => input)
-        final_result = parsers.inject(initial_result) do |subsequent, parser|
-          result = parser.parse(subsequent.input)
-          if result.instance_of?(Result::Fail)
-            break Result::Fail.new(:input => subsequent.input)
-          else
-            args << result.value
-            result
-          end
-        end
-
-        case final_result
-        when Result::Fail
-          Result::Fail.new(:input => final_result.input)
-        when Result::OK
-          final_value = if block_given?
-                          yield(*args)
-                        else
-                          args.last
-                        end
-          Result::OK.new(:value => final_value, :input => final_result.input)
-        else
-          raise
-        end
-      end
-    end # of initialize
-  end # of Seq
-
-  class Alt
-    include Parsable
-    def initialize(*parsers)
-      @parser = lambda do |input|
-        final_result = Result::Fail.new(:input => input)
-        parsers.each do |parser|
-          case result = parser.parse(input)
-          when Result::Fail
-            next
-#           when Result::Error
-#             raise
-#             return Result::Error.new(:value => result.value, :input => result.input)
-          when Result::OK
-            break final_result = result
-          else
-            raise
-          end
-        end
-        final_result
-      end
-    end # of initialize
-  end
-
-#   class Alt
-#     include Parsable
-#     def initialize(*parsers)
-#       @parser = lambda do |input|
-#         if head = parsers[0]
-#           case result = head.parse(input)
-#           when Result::Fail
-#             if parsers.empty?
-#               result
-#             else
-#               Alt.new(*parsers[1..-1]).parse(input)
-#             end
-#           when Result::OK
-#             result
-#           else
-#             raise
-#           end
-#         else
-#           Result::Fail.new(:input => input)
-#         end
-#       end
-#     end # of initialize
-#   end
-
-
-  class Apply
-    include Parsable
-
-    def initialize(parser, &block)
-      @parser = lambda do |input|
-        result = parser.parse(input)
-        if result.instance_of?(Result::OK)
-          Succeed.new(yield(result.value)).parse(result.input)
-        else
-          Fail.new.parse(input)
-        end
-      end
-    end # of initialize
-  end # of Apply
-
-
-  class String
-    include Parsable
-
-    def initialize(string, case_sensitive = true)
-      @parser = lambda do |input|
-        result = Item.new.parse(string)
-        if result.instance_of?(Result::OK)
-          Seq.new(
-                  Char.new(result.value, case_sensitive),
-                  Yaparc::String.new(result.input, case_sensitive),
-                  Succeed.new(result.value + result.input)
-#                  ) do |char_result, string_result, succeed_result|
-                  ) do |_, _, succeed_result|
-            succeed_result
-          end
-        else
-          Succeed.new(result)
-        end
-      end
-    end
-  end
-
-  class Regex
-    include Parsable
-
-    def initialize(regex, &block)
-      @regex = regex
-      @parser = lambda do |input|
-        if match = Regexp.new(regex).match(input)
-          if block_given?
-            Succeed.new(yield(*match.to_a[1..match.to_a.length])).parse(match.post_match)
-          else
-            Result::OK.new(:value => match[0], :input => match.post_match)
-          end
-        else
-          Result::Fail.new(:input => input)
-        end
-      end
-    end
-
-#     def parse_with_parameter(input)
-#       raise "Deprecated!! Use Regex with block"
-#       if match = Regexp.new(@regex).match(input)
-#         if block_given?
-#           yield match.to_a[1..match.to_a.length]
-#         else
-#           Result::OK.new(:value => match, :input => match.post_match)
-#         end
-#       else
-#         Result::Fail.new(:input => input)
-#       end
-#     end
-  end
-
-  # permits zero or more applications of parser.
-  class Many
-    include Parsable
-
-    def initialize(parser, identity = [])
-      @parser = lambda do |input|
-        Alt.new(ManyOne.new(parser, identity), Succeed.new(identity))
-      end
-    end
-  end
-
-  # requires at least one successfull application of parser.
-  class ManyOne
-    include Parsable
-
-    def initialize(parser, identity = [])
-      @parser = lambda do |input|
-        Seq.new(parser, Many.new(parser, identity)) do |head, tail|
-          case head
-          when ::String
-            if tail.instance_of?(::String)
-              head + tail
-            else
-              raise "Incompatible type: head => #{head.inspect}, tail => #{tail.inspect}"
-            end
-          when ::Array
-            if tail.instance_of?(Array)
-              head + tail
-            else
-              raise "Incompatible type: head => #{head.inspect}, tail => #{tail.inspect}"
-            end
-          when ::Hash
-            if tail.instance_of?(Hash)
-              head.merge(tail)
-            else
-              raise "Incompatible type: head => #{head.inspect}, tail => #{tail.inspect}"
-            end
-          when ::Integer
-            if tail.kind_of?(Integer)
-              head + tail
-            else
-              raise "Incompatible type: head => #{head.inspect}, tail => #{tail.inspect}"
-            end
-          else
-            if tail.nil?
-              head
-            else
-              [head] + tail
-            end
-          end
-        end
-      end
-    end
-  end
-
-  class Space
-    include Parsable
-    def initialize
-      @parser = lambda do |input|
-        #Many.new(Satisfy.new(IS_SPACE),"")
-        Regex.new(/\A[ ]*/)
-      end
-    end
-  end
-
-  class CR
-    include Parsable
-    def initialize
-      @parser = lambda do |input|
-        Regex.new(/\A[ \t]+[\n][ \t\n]+/)
-      end
-    end
-  end
-
-  class WhiteSpace
-    include Parsable
-
-    def initialize
-      @parser = lambda do |input|
-        #Many.new(Satisfy.new(IS_WHITESPACE),'')
-        Regex.new(/\A[\t\n ]*/)
-      end
-    end
-  end
-
-  class Tokenize
-    include Parsable
-    attr_accessor :prefix, :postfix
-
-    def initialize(parser, args = {}, &block)
-      @parser = lambda do |input|
-        @prefix = args[:prefix] ? args[:prefix] : WhiteSpace.new
-        @postfix = args[:postfix] ? args[:postfix] : WhiteSpace.new
-        if block_given?
-          yield self
-          Seq.new(@prefix, parser, @postfix) do |_, vs, _|
-            vs
-          end
-        else
-          Seq.new(@prefix, parser, @postfix) do |_, vs, _|
-            vs
-          end
-        end
-      end
-    end
-  end
-
-  class Literal
-    include Parsable
-
-    def initialize(literal, case_sensitive = true)
-      @parser =  lambda do |input|
-        Tokenize.new(Yaparc::String.new(literal, case_sensitive))
-      end
-    end
-  end
-
-#   class Tokenizer
-#     include Parsable
-#     attr_accessor :prefix, :postfix
-
-#     def initialize(args = {})
-#       @parser = lambda do |input|
-#         @prefix = args[:prefix] ? args[:prefix] : WhiteSpace.new
-#         @postfix = args[:postfix] ? args[:postfix] : WhiteSpace.new
-#       end
-#     end
-
-#     def tokenize(&block)
-#       parser = yield
-
-#       Seq.new(@prefix, parser, @postfix) do |_, vs, _|
-#         vs
-#       end
-#     end
-#   end
-
-#   class Literalizer
-#     include Parsable
-
-#     def initialize(literal, options = {})
-#       unless case_sensitive = options[:case_sensitive]
-#         true
-#       end
-
-#       unless tokenizer = options[:tokenizer]
-#         tokenizer = Tokenizer.new
-#       end
-
-#       @parser =  lambda do |input|
-#         tokenizer.tokenize do
-#           Yaparc::String.new(literal, case_sensitive)
-#         end
-#       end
-#     end
-#   end
+require_relative 'yaparc/alt'
+require_relative 'yaparc/apply'
+require_relative 'yaparc/char'
+require_relative 'yaparc/cr'
+require_relative 'yaparc/digit'
+require_relative 'yaparc/fail_parser'
+require_relative 'yaparc/ident'
+require_relative 'yaparc/identifier'
+require_relative 'yaparc/item'
+require_relative 'yaparc/literal'
+require_relative 'yaparc/many'
+require_relative 'yaparc/many_one'
+require_relative 'yaparc/nat'
+require_relative 'yaparc/natural'
+require_relative 'yaparc/no_fail'
+require_relative 'yaparc/parsable'
+require_relative 'yaparc/regex'
+require_relative 'yaparc/satisfy'
+require_relative 'yaparc/seq'
+require_relative 'yaparc/space'
+require_relative 'yaparc/string'
+require_relative 'yaparc/succeed'
+require_relative 'yaparc/symbol'
+require_relative 'yaparc/tokenize'
+require_relative 'yaparc/white_space'
+require_relative 'yaparc/zero_one'
 
-  # Refer to http://www.cs.nott.ac.uk/~gmh/monparsing.pdf, p.23
-  class Identifier
-    include Yaparc::Parsable
-
-    IDENTIFIER_REGEX = /\A[a-zA-Z_]+[a-zA-Z0-9_]*/
-
-    def initialize(options = {})
-      identifier_regex = if regex = options[:regex]
-                           ::Yaparc::Regex.new(regex)
-                         else
-                           ::Yaparc::Regex.new(IDENTIFIER_REGEX)
-                         end
-
-      tokenizer = Tokenize.new(identifier_regex)
-
-      if exclude = options[:exclude]
-        @parser = lambda do |input|
-          keyword_parsers = exclude.map {|keyword| Yaparc::String.new(keyword)}
-
-          case result = Yaparc::Alt.new(*keyword_parsers).parse(input)
-          when Yaparc::Result::OK
-            Yaparc::Fail.new
-          else # Result::Fail or Result::Error
-            tokenizer
-          end
-        end
-      else
-        @parser = lambda do |input|
-          tokenizer
-        end
-      end
-    end
-  end
-
-#   class Identifier
-#     include Yaparc::Parsable
-#     @@identifier_regex = ::Yaparc::Regex.new(/\A[a-zA-Z_]+[a-zA-Z0-9_]*/)
-
-#     def initialize(*keywords)
-# #    def initialize(*keywords, &block)
-#       if keywords == []
-#         @parser = lambda do |input|
-#           Tokenize.new(@@identifier_regex)
-# #           if block_given?
-# #             tokenize = Tokenize.new(@@identifier_regex)
-# #             yield tokenize
-# #             tokenize
-# #           else
-# #             Tokenize.new(@@identifier_regex)
-# #           end
-#         end
-#       else
-#         @parser = lambda do |input|
-#           keyword_parsers = keywords.map {|keyword| Yaparc::String.new(keyword)}
-
-#           case result = Yaparc::Alt.new(*keyword_parsers).parse(input)
-#           when Yaparc::Result::OK
-#             Yaparc::Fail.new
-#           else # Result::Fail or Result::Error
-#             Tokenize.new(@@identifier_regex)
-#           end
-#         end
-#       end
-#     end
-#   end
-
-  class Char
-    include Parsable
-
-    def initialize(char, case_sensitive = true)
-      raise unless char.length == 1
-      if case_sensitive
-        equal_char = lambda {|i| i == char}
-      else # in case of case-insentive
-        equal_char = lambda {|i| i.casecmp(char) == 0}
-      end
-      @parser =  lambda do |input|
-        Satisfy.new(equal_char)
-      end
-    end
-  end
-
-  class Ident
-    include Parsable
-    def initialize
-      @parser = lambda do |input|
-        Seq.new(
-                Satisfy.new(IS_LOWER),
-                Many.new(Satisfy.new(IS_ALPHANUM),"")
-                ) do |head, tail|
-          head + tail
-        end
-      end
-    end
-  end
-
-  class Digit
-    include Parsable
-    def initialize
-      @parser = lambda do |input|
-        Satisfy.new(IS_DIGIT)
-      end
-    end
-  end
-
-  class Nat
-    include Parsable
-    def initialize
-      @parser = lambda do |input|
-        Seq.new(ManyOne.new(Digit.new,'')) do |vs|
-          if vs == ""
-            0 #            vs
-          else
-            vs.to_i
-          end
-        end
-      end
-    end
-  end
+module Yaparc
+  VERSION = '0.4.0'
 
+  begin
+    base = Class.new do
+      attr :input, :value
 
-  class Natural
-    include Parsable
-    def initialize(args = {})
-      @parser = lambda do |input|
-        Tokenize.new(Nat.new, args)
+      def initialize(input:, value: nil)
+        @input = input
+        @value = value
       end
     end
-  end
 
-  class Symbol
-    include Parsable
-    def initialize(literal, args = {})
-      @parser = lambda do |input|
-        Literal.new(literal)
-      end
-    end
-  end
-
-  class AbstractParser
-    include Parsable
-
-#     def parse(input, &block)
-#       tree = @parser.call.parse(input)
-#       if block_given?
-#         yield tree
-#       else
-#         tree
-#       end
-#     end
-    def parse(input, &block)
-      tree = @parser.call.parse(input)
-      if block_given?
-        @tree = yield tree
-      else
-        @tree = tree
-      end
-    end
+    OK = Class.new(base)
+    Fail = Class.new(base)
+    Error = Class.new(base)
   end
-end # of Yaparc
+end