ajlisp 0.0.0

data/test/test_dot_verb_atom.rb

@@ -0,0 +1,29 @@
+
+require 'ajlisp'
+require 'test/unit'
+
+module AjLisp
+
+class TestDotVerbAtom < Test::Unit::TestCase
+	def test_initialize
+		atom = AjLisp::DotVerbAtom.new(".do")
+		assert_equal ".do".intern, atom.name
+        assert_equal :do, atom.symbol
+	end
+
+	def test_evaluate
+		atom = AjLisp::DotVerbAtom.new(".do")
+        method = atom.evaluate nil
+        assert method.is_a? PrimitiveNativeMethod
+	end
+
+	def test_apply_arity_0
+		atom = AjLisp::DotVerbAtom.new(".length")
+        method = atom.evaluate nil
+        result = method.apply(nil, ["foo"])
+        assert_equal 3, result
+	end
+end
+
+end
+

data/test/test_evaluate.rb

@@ -0,0 +1,289 @@
+require 'ajlisp'
+require 'test/unit'
+
+module AjLisp
+
+class TestEvaluate < Test::Unit::TestCase
+	def test_evaluate_integer
+		result = evaluateText("1")
+		
+		assert_not_nil result
+		assert result.is_a? Fixnum
+		assert_equal 1, result
+	end
+	
+	def test_evaluate_string
+		result = evaluateText('"foo"')
+		
+		assert_not_nil result
+		assert result.is_a? String
+		assert_equal "foo", result
+	end
+	
+	def test_evaluate_simple_quote
+		result = evaluateText('(quote a)')
+		
+		assert_not_nil result
+		assert result.is_a? NamedAtom
+		assert_equal :a, result.name
+	end
+	
+	def test_evaluate_quoted_list
+		result = evaluateText('(quote (a b))')
+		
+		assert_not_nil result
+		assert result.is_a? List
+		assert_equal :a, result.first.name
+		assert_equal :b, result.rest.first.name
+		assert_nil result.rest.rest
+	end
+
+	def test_evaluate_simple_cons
+		result = evaluateText('(cons (quote a) (quote (b)))')
+		
+		assert_not_nil result
+		assert result.is_a? List
+		assert_equal :a, result.first.name
+		assert_equal :b, result.rest.first.name
+		assert_nil result.rest.rest
+	end
+	
+	def test_evaluate_simple_list
+		result = evaluateText("(list (quote a) (quote b))")
+		
+		assert_not_nil result
+		assert result.is_a? List
+		assert_equal :a, result.first.name
+		assert_equal :b, result.rest.first.name
+		assert_nil result.rest.rest
+	end
+	
+	def test_evaluate_simple_list_with_character_quote
+		result = evaluateText("(list 'a 'b))")
+		
+		assert_not_nil result
+		assert result.is_a? List
+		assert_equal :a, result.first.name
+		assert_equal :b, result.rest.first.name
+		assert_nil result.rest.rest
+	end
+	
+	def test_evaluate_simple_define
+		result = evaluateText("(define one 1)")
+		
+		assert_not_nil result
+		assert_equal 1, AjLisp::context.getValue(:one)
+	end
+	
+	def test_define_and_evaluate_simple_form
+		evaluateText("(define mycons (a b) (cons a b))")
+		result = evaluateText('(mycons (quote a) (quote (b)))')
+		
+		assert_not_nil result
+		assert result.is_a? List
+		assert_equal :a, result.first.name
+		assert_equal :b, result.rest.first.name
+		assert_nil result.rest.rest
+	end
+	
+	def test_evaluate_simple_add
+		result = evaluateText("(+ 1 2)")
+		assert_not_nil result
+		assert result.is_a? Fixnum
+		assert_equal 3, result
+	end
+	
+	def test_define_form_with_closure
+		evaluateText("(define addx (x) (lambda (a) (+ a x)))")
+		evaluateText("(define addone (addx 1))")
+		result = evaluateText('(addone 3)')
+		
+		assert_not_nil result
+		assert result.is_a? Fixnum
+		assert_equal 4, result
+	end
+	
+	def test_define_form_with_free_variable
+		evaluateText("(define one 1)")
+		evaluateText("(define addone (x) (+ x one))")
+		assert_equal 4, evaluateText('(addone 3)')
+		evaluateText("(define one 2)")
+		assert_equal 5, evaluateText('(addone 3)')
+	end
+		
+	def test_evaluate_native_method_arity_0
+		result = evaluateText('(.length "foo")')
+		assert_equal 3, result
+	end
+		
+	def test_evaluate_native_method_arity_1
+		result = evaluateText('(.include? "foo" "o")')
+		assert_equal true, result
+	end
+    
+	def test_evaluate_simple_constant
+		result = evaluateText('@String')
+		assert_equal String, result
+	end
+    
+	def test_evaluate_nested_constant
+		result = evaluateText('@AjLisp::List')
+		assert_equal AjLisp::List, result
+	end
+    
+	def test_evaluate_add
+		assert_equal 3, evaluateText('(+ 1 2)')
+		assert_equal 6, evaluateText('(+ 1 2 3)')
+		assert_equal 1, evaluateText('(+ 1)')
+		assert_equal 0, evaluateText('(+)')
+	end
+    
+	def test_evaluate_add_string
+		assert_equal "foobar", evaluateText('(+ "foo" "bar")')
+	end
+    
+	def test_evaluate_subtract
+		assert_equal -1, evaluateText('(- 1 2)')
+		assert_equal -4, evaluateText('(- 1 2 3)')
+		assert_equal 1, evaluateText('(- 1)')
+	end
+    
+	def test_evaluate_multiply
+		assert_equal 2, evaluateText('(* 1 2)')
+		assert_equal 6, evaluateText('(* 1 2 3)')
+		assert_equal 1, evaluateText('(* 1)')
+		assert_equal 1, evaluateText('(*)')
+	end
+    
+	def test_evaluate_divide
+		assert_equal 2, evaluateText('(/ 4 2)')
+		assert_equal 2, evaluateText('(/ 8 2 2)')
+		assert_equal 1, evaluateText('(/ 1)')
+	end
+    
+	def test_evaluate_equal
+		assert evaluateText('(= 2 2)')
+		assert !evaluateText('(= 2 3)')
+		assert evaluateText('(= "foo" "foo")')
+		assert !evaluateText('(= "foo" "bar")')
+	end
+    
+	def test_evaluate_less_than
+		assert evaluateText('(< 2 3)')
+		assert !evaluateText('(< 2 2)')
+		assert evaluateText('(< "bar" "foo")')
+		assert !evaluateText('(< "foo" "bar")')
+	end
+    
+	def test_evaluate_greater_than
+		assert evaluateText('(> 4 3)')
+		assert !evaluateText('(> 2 2)')
+		assert evaluateText('(> "foo" "bar")')
+		assert !evaluateText('(> "bar" "foo")')
+	end
+    
+	def test_evaluate_less_equal_than
+		assert evaluateText('(<= 2 3)')
+		assert evaluateText('(<= 2 2)')
+		assert !evaluateText('(<= 2 1)')
+		assert evaluateText('(<= "bar" "foo")')
+		assert evaluateText('(<= "bar" "bar")')
+		assert !evaluateText('(<= "foo" "bar")')
+	end
+    
+	def test_evaluate_greater_equal_than
+		assert evaluateText('(>= 4 3)')
+		assert evaluateText('(>= 4 4)')
+		assert !evaluateText('(>= 1 2)')
+		assert evaluateText('(>= "foo" "bar")')
+		assert evaluateText('(>= "foo" "foo")')
+		assert !evaluateText('(>= "bar" "foo")')
+	end
+    
+    def test_equal_on_atoms
+        assert evaluateText("(= 'a 'a)")
+        assert !evaluateText("(= 'a 'b)")
+        assert !evaluateText("(= 'a 1)")
+        assert !evaluateText("(= 1 'a)")
+    end
+
+    def test_equal_on_list
+        assert evaluateText("(= '(a b (c d)) '(a b (c d)))")
+        assert !evaluateText("(= '(a b (c d)) 'b)")
+        assert !evaluateText("(= '(a b (c d)) '(a b))")
+        assert !evaluateText("(= '(a b (c d)) 1)")
+        assert !evaluateText("(= 1 '(a b (c d)))")
+    end
+    
+    def test_booleans
+        assert_equal true, evaluateText("true")
+        assert_equal false, evaluateText("false")
+    end
+
+    def test_nil_predicate
+        assert evaluateText("(nil? nil)")
+        assert !evaluateText("(nil? 0)")
+        assert !evaluateText("(nil? false)")
+        assert !evaluateText("(nil? true)")
+        assert !evaluateText("(nil? 'a)")
+        assert !evaluateText("(nil? '(a b))")
+    end
+
+    def test_atom_predicate
+        assert evaluateText("(atom? 'a)")
+        assert evaluateText("(atom? 1)")
+        assert evaluateText("(atom? true)")
+        assert evaluateText("(atom? false)")
+        assert evaluateText('(atom? "foo")')
+        assert !evaluateText("(atom? nil)")
+        assert !evaluateText("(atom? '())")
+        assert !evaluateText("(atom? '(a b))")
+    end
+    
+    def test_get_empty_list
+        assert evaluateText("'()").is_a? EmptyList
+    end
+
+    def test_list_predicate
+        assert evaluateText("(list? '(a b))")
+        assert !evaluateText("(list? false)")
+        assert evaluateText("(list? '())")
+        assert !evaluateText("(list? true)")
+        assert !evaluateText("(list? nil)")
+        assert !evaluateText("(list? 1)")
+        assert !evaluateText("(list? 'a)")
+    end
+
+    def test_define_and_apply_append
+        evaluateText("(define append (x y) (if (nil? x) y (cons (first x) (append (rest x) y))))")
+        assert_equal "(1 2 3 4 5)", evaluateText("(append (list 1 2) (list 3 4 5))").to_s
+        assert_equal "(1 2)", evaluateText("(append (list 1 2) nil)").to_s
+        evaluateText("(define x '(b b))")
+        assert_equal "(b b)", evaluateText("(append x nil)").to_s
+        assert_equal "(b b b b)", evaluateText("(append x x)").to_s
+    end
+    
+    def test_nil_to_s
+        assert_equal "nil", AjLisp::to_s(evaluateText("nil"))
+    end
+
+    def test_cons_nil_nil
+        assert_equal "(nil)", evaluateText("(cons nil nil)").to_s
+    end
+
+    def test_define_and_evaluate_mylist
+        evaluateText("(define mylist x x)")
+        
+        assert_equal "(1 2 3)", evaluateText("(mylist 1 2 3)").to_s
+    end
+    
+	def evaluateText(text)
+		source = StringSource.new text
+		lexer = Lexer.new source
+		parser = Parser.new lexer
+		expr = parser.parseExpression
+		return AjLisp::evaluate AjLisp::context, expr
+	end
+end
+
+end

data/test/test_evaluate_files.rb

@@ -0,0 +1,136 @@
+require 'ajlisp'
+require 'test/unit'
+
+module AjLisp
+
+class TestEvaluate < Test::Unit::TestCase
+  def test_evaluate_define123
+    result = evaluateFile("define123.lsp")
+		
+    assert_equal 3, result
+    assert_equal 1, AjLisp::context.getValue(:one)
+    assert_equal 2, AjLisp::context.getValue(:two)
+    assert_equal 3, AjLisp::context.getValue(:three)
+  end
+
+  def test_evaluate_dodefine123
+    result = evaluateFile("dodefine123.lsp")
+		
+    assert_equal 3, result
+    assert_equal 1, AjLisp::context.getValue(:one)
+    assert_equal 2, AjLisp::context.getValue(:two)
+    assert_equal 3, AjLisp::context.getValue(:three)
+  end
+	
+  def test_evaluate_mycons
+    result = evaluateFile("mycons.lsp")
+    
+    assert_not_nil result
+    assert result.is_a? List
+    assert_equal :a, result.first.name
+    assert_equal :b, result.rest.first.name
+    assert_nil result.rest.rest
+  end
+
+  def test_evaluate_append
+    evaluateFile("append.lsp")
+    
+    assert_equal "(1 2 3 4 5)", evaluateText("(append (list 1 2) (list 3 4 5))").to_s
+    assert_equal "(1 2)", evaluateText("(append (list 1 2) nil)").to_s
+    evaluateText("(define x '(b b))")
+    assert_equal "(b b)", evaluateText("(append x nil)").to_s
+    assert_equal "(b b b b)", evaluateText("(append x x)").to_s
+  end
+
+  def test_evaluate_mapfirst
+    evaluateFile("mapfirst.lsp")
+		
+    assert_equal "((1) (2) (3))", evaluateText("(mapfirst list (list 1 2 3))").to_s
+    assert_equal "(1 2 3)", evaluateText("(mapfirst first (quote ((1) (2) (3))))").to_s
+	end
+
+  def test_evaluate_mapcond
+    evaluateFile("mapcond.lsp")
+		
+    assert_equal "((2))", evaluateText("(mapcond list? (list 1 (list 2) 3))").to_s
+    assert_equal "(nil)", evaluateText("(mapcond nil? (list 1 nil 3))").to_s
+  end
+
+  def test_evaluate_definem
+    evaluateFile("definem.lsp")
+
+    evaluateText("(definem myquote (x) (list 'quote x))")
+		
+    assert_equal "x", evaluateText("(myquote x)").to_s
+    assert_equal "(1 2 3)", evaluateText("(myquote (1 2 3))").to_s
+
+    evaluateText("(definem myfirst (x) (list 'first x))")
+		
+    assert_equal "a", evaluateText("(myfirst '(a b c))").to_s
+  end  
+
+  def test_evaluate_cond
+    evaluateFile("cond.lsp")    
+
+    assert_equal false, evaluateText("(cond)")
+    assert_equal false, evaluateText("(cond (nil 'a))")
+    assert_equal "a", evaluateText("(cond (true 'a))").to_s
+    assert_equal "b", evaluateText("(cond (nil 'a) (true 'b))").to_s
+    assert_equal "c", evaluateText("(cond (nil 'a) (true 'b 'c))").to_s
+	end
+
+	def test_evaluate_and
+		evaluateFile("cond.lsp")
+		evaluateFile("and.lsp")
+
+    assert_equal true, evaluateText("(and)")
+    assert_equal true, evaluateText("(and true)")
+    assert_equal false, evaluateText("(and true false)")
+    assert_equal false, evaluateText("(and false)")
+  end
+  
+  def test_evaluate_backquote
+    evaluateFile("append.lsp")
+    evaluateFile("definem.lsp")
+    evaluateFile("cond.lsp")
+    evaluateFile("and.lsp")
+    evaluateFile("backquote.lsp")
+
+    assert_equal "(a b c)", evaluateText("(backquote (a b c))").to_s
+    assert_equal "(a (b c) d)", evaluateText("(backquote (a (b c) d))").to_s
+    evaluateText("(define x '(b b))")
+    assert_equal "(b b)", evaluateText("(backquote (unquote x))").to_s
+    assert_equal "((b b))", evaluateText("(backquote ((unquote x)))").to_s
+    assert_equal "(a (b b) c)", evaluateText("(backquote (a (unquote x) c))").to_s
+    assert_equal "(a ((b b)) c)", evaluateText("(backquote (a ((unquote x)) c))").to_s
+
+    assert_equal "(b b)", evaluateText("(backquote ((unquote-slice x)))").to_s
+    assert_equal "(a b b c)", evaluateText("(backquote (a (unquote-slice x) c))").to_s
+  end
+
+  def evaluateFile(filename)  
+    source = FileSource.new File.expand_path(filename, File.dirname(__FILE__))
+    lexer = Lexer.new source
+    parser = Parser.new lexer
+    expr = parser.parseExpression
+    
+    result = nil
+    
+    while expr
+      result = AjLisp::evaluate AjLisp::context, expr
+      expr = parser.parseExpression
+    end
+    
+    return result
+  end
+
+  def evaluateText(text)
+    source = StringSource.new text
+    lexer = Lexer.new source
+    parser = Parser.new lexer
+    expr = parser.parseExpression
+    return AjLisp::evaluate AjLisp::context, expr
+  end
+end
+
+end