yaparc 0.2.3 → 0.3.0

data/test/test_calc.rb

@@ -1,112 +0,0 @@
-require 'lib/yaparc.rb'
-require 'test/unit'
-
-module Calc
-
-  class Expr
-    include Yaparc::Parsable
-    
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(
-                        Yaparc::Seq.new(Term.new,
-                                        Yaparc::Symbol.new('+'),
-                                        Expr.new) do |term, _, expr|
-                          ['+', term,expr]
-                        end,
-                        Term.new
-                        )
-      end
-    end
-
-    def evaluate(input)
-      result = parse(input)
-      tree = result.value
-      eval_tree(tree)
-    end
-
-    def eval_tree(tree)
-      case tree
-      when Array
-        case tree[0]
-        when '+'
-          eval_tree(tree[1]) + eval_tree(tree[2])
-        when '-'
-          eval_tree(tree[1]) - eval_tree(tree[2])
-        when '*'
-          eval_tree(tree[1]) * eval_tree(tree[2])
-        when '/'
-          eval_tree(tree[1]) / eval_tree(tree[2])
-        end
-      else
-        tree
-      end
-    end
-  end
-
-  class Term
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(
-                        Yaparc::Seq.new(Factor.new,
-                                        Yaparc::Symbol.new('*'),
-                                        Term.new) do |factor, _, term|
-                          ['*', factor,term]
-                        end,
-                        Factor.new)
-      end
-    end
-  end
-
-  class Factor
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(
-                        Yaparc::Seq.new(
-                                        Yaparc::Symbol.new('('),
-                                        Expr.new,
-                                        Yaparc::Symbol.new(')')
-                                        ) do |_,expr, _|
-                          expr
-                        end,
-                        Yaparc::Natural.new)
-      end
-    end
-  end
-end # of Calc
-
-class YaparcCalcTest < Test::Unit::TestCase
-  include ::Yaparc
-
-  def setup
-    @expr = Calc::Expr.new
-    @factor = Calc::Factor.new
-  end
-
-  def test_expr
-    result = @expr.parse("1 + 2 ")
-    assert_instance_of Result::OK,  result
-    assert_equal ["+", 1, 2],  result.value
-    assert_equal "",  result.input
-    assert_equal 3, @expr.evaluate("1 + 2 ")
-    assert_equal 9, @expr.evaluate("(1 + 2) * 3 ")
-  end
-
-  def test_factor
-    result = @factor.parse("1")
-    assert_equal 1,  result.value
-    assert_equal "",  result.input
-
-    result = @factor.parse("( 1 )")
-    assert_equal 1,  result.value
-    assert_equal "",  result.input
-
-    result = @factor.parse("( 312 )")
-    assert_equal 312,  result.value
-    assert_equal "",  result.input
-  end
-end

data/test/test_lambda.rb

@@ -1,87 +0,0 @@
-require 'lib/yaparc.rb'
-require 'test/unit'
-
-=begin
-<expression> ::= <identifier>
-             ::= "(" lambda (<identifier> <expression> ")"
-             ::= "(" <expression> <expression> ")"
-=end
-
-module LambdaParser
-
-
-  class Identifier
-    include Yaparc::Parsable
-    RESERVED = %w{lambda}
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Identifier.new(:exclude => RESERVED)
-      end
-    end
-  end
-
-  # KEYWORDS = %w{lambda}
-  # <expression> ::= <identifier>
-  class Expression
-    include Yaparc::Parsable
-    OPEN_PAREN = Yaparc::String.new("(")
-    CLOSE_PAREN = Yaparc::String.new(")")
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(#<identifier>
-                        Identifier.new,
-                        #"(" lambda "(" <identifier> ")" <expression> ")"
-                        Yaparc::Seq.new(OPEN_PAREN,
-                                        Yaparc::String.new("lambda"),
-                                        Yaparc::Tokenize.new(OPEN_PAREN),
-                                        Identifier.new,
-                                        CLOSE_PAREN,
-                                        Expression.new),
-                        #"(" <expression> <expression> ")"
-                        Yaparc::Seq.new(OPEN_PAREN,
-                                        Expression.new,
-                                        Expression.new,
-                                        CLOSE_PAREN))
-      end
-    end
-  end
-end # of LambdaParser
-
-
-class LambdaIdentifierParserTest < Test::Unit::TestCase
-  include ::Yaparc
-
-  def setup
-    @parser = LambdaParser::Identifier.new
-  end
-
-  def test_identifier
-    result = @parser.parse("identifier")
-    assert_instance_of Result::OK, result
-    result = @parser.parse("lambda")
-    assert_instance_of Result::Fail, result
-
-    result = @parser.parse(" identifier")
-    assert_instance_of Result::OK, result
-    result = @parser.parse(" identifier ")
-    assert_instance_of Result::OK, result
-    result = @parser.parse("identifier ")
-    assert_instance_of Result::OK, result
-  end
-end
-
-class LambdaExpressionParserTest < Test::Unit::TestCase
-  include ::Yaparc
-
-  def setup
-    @parser = LambdaParser::Expression.new
-  end
-
-  def test_expression
-    assert_instance_of Result::OK, @parser.parse("identifier")
-    assert_instance_of Result::OK, @parser.parse("(lambda (x) x)")
-    assert_instance_of Result::OK, @parser.parse("(apply argument)")
-  end
-end