ajlisp 0.0.0

data/test/test_file_source.rb

@@ -0,0 +1,11 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFileSource < Test::Unit::TestCase
+	def test_next_char
+		source = AjLisp::FileSource.new __FILE__
+		assert 'r', source.nextChar
+		assert 'e', source.nextChar
+		assert 'q', source.nextChar
+	end
+end

data/test/test_fprimitive_closure.rb

@@ -0,0 +1,29 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveClosure < Test::Unit::TestCase
+    def test_new_with_no_context
+        arguments = AjLisp::List.make [ :a, :b ]
+        body = AjLisp::List.make [[ :cons, :a, :b ]]
+        closure = AjLisp::FPrimitiveClosure.new arguments, body
+        assert_equal arguments, closure.arguments
+        assert_equal body, closure.body
+        assert_nil closure.context
+    end
+
+    def test_evaluate_simple_body
+        arguments = AjLisp::List.make [ :a, :b ]
+        body = [ AjLisp::List.make([ :cons, :a, :b ])]
+        closure = AjLisp::FPrimitiveClosure.new arguments, body
+        list = AjLisp::List.make [closure, "a", [:b, :c]]
+        
+        result = closure.evaluate(AjLisp::context, list)
+        
+        assert_not_nil result
+        assert result.is_a? AjLisp::List
+        assert_equal "a", result.first
+        assert_equal :b, result.rest.first.name
+        assert_equal :c, result.rest.rest.first.name
+        assert_nil result.rest.rest.rest
+    end
+end

data/test/test_fprimitive_define.rb

@@ -0,0 +1,65 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveDefine < Test::Unit::TestCase
+    def test_evaluate_define_atom_as_constant
+        list = AjLisp::List.make [AjLisp::FPrimitiveDefine.instance, :a, 1]
+        
+        result = list.evaluate(AjLisp::context)
+
+		assert_equal 1, result
+		assert_equal 1, AjLisp::context.getValue(:a)
+    end
+
+    def test_evaluate_define_two_atoms
+        list = AjLisp::List.make [AjLisp::FPrimitiveDefine.instance, :a, 1]        
+        result = list.evaluate(AjLisp::context)
+
+        list = AjLisp::List.make [AjLisp::FPrimitiveDefine.instance, :b, :a]
+        result = list.evaluate(AjLisp::context)
+
+		assert_equal 1, result
+		assert_equal 1, AjLisp::context.getValue(:a)
+		assert_equal 1, AjLisp::context.getValue(:b)
+    end
+
+    def test_evaluate_define_atom_as_lambda
+        list = AjLisp::List.make [AjLisp::FPrimitiveDefine.instance, :mycons, [:lambda, [:a, :b], [:cons, :a, :b]]]
+        
+        result = list.evaluate(AjLisp::context)
+
+		assert result.is_a? AjLisp::PrimitiveClosure
+		
+		list = AjLisp::List.make [:mycons, 1, [:quote, [:b, :c]]]
+		
+		result = list.evaluate(AjLisp::context)
+		
+		assert_not_nil result
+		assert result.is_a? AjLisp::List
+		assert_equal 1, result.first
+		assert_equal :b, result.rest.first.name
+		assert_equal :c, result.rest.rest.first.name
+		assert_nil result.rest.rest.rest
+    end
+
+    def test_evaluate_define_form
+        list = AjLisp::List.make [AjLisp::FPrimitiveDefine.instance, :mycons, [:a, :b], [:cons, :a, :b]]
+        
+        result = list.evaluate(AjLisp::context)
+
+		assert_not_nil result
+		assert result.is_a? AjLisp::PrimitiveClosure
+		
+		list = AjLisp::List.make [:mycons, 1, [:quote, [:b, :c]]]
+		
+		result = list.evaluate(AjLisp::context)
+		
+		assert_not_nil result
+		assert result.is_a? AjLisp::List
+		assert_equal 1, result.first
+		assert_equal :b, result.rest.first.name
+		assert_equal :c, result.rest.rest.first.name
+		assert_nil result.rest.rest.rest
+    end
+end
+

data/test/test_fprimitive_definef.rb

@@ -0,0 +1,20 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveDefinef < Test::Unit::TestCase
+    def test_evaluate_definef_form_myquote
+        list = AjLisp::List.make [:definef, :myquote, [:x], :x]
+        
+        result = list.evaluate(AjLisp::context)
+
+		assert_not_nil AjLisp::context.getValue(:myquote)
+        
+        list = AjLisp::List.make [:myquote, :a]
+        result = list.evaluate(AjLisp::context)
+        
+        assert_not_nil result
+		assert result.is_a? AjLisp::NamedAtom
+        assert_equal :a, result.name
+    end
+end
+

data/test/test_fprimitive_definem.rb

@@ -0,0 +1,20 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveDefinem < Test::Unit::TestCase
+    def test_evaluate_definem_form
+        list = AjLisp::List.make [:definem, :mycompose, [:a, :b], [:list, :a, :b]]
+        
+        result = list.evaluate(AjLisp::context)
+
+		assert_not_nil AjLisp::context.getValue(:mycompose)
+        
+        list = AjLisp::List.make [:mycompose, :first, [:quote, [:a, :b]]]
+        result = list.evaluate(AjLisp::context)
+        
+        assert_not_nil result
+		assert result.is_a? AjLisp::NamedAtom
+        assert_equal :a, result.name
+    end
+end
+

data/test/test_fprimitive_do.rb

@@ -0,0 +1,18 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveDo < Test::Unit::TestCase
+    def test_evaluate_simple_body
+        doform = AjLisp::FPrimitiveDo.instance
+        list = AjLisp::List.make [doform, [:define, :a, 1], [:define, :b, 2], [:define, :c, 3] ]
+
+        result = doform.evaluate(AjLisp::context, list)
+
+        assert_not_nil result
+        assert_equal 3, result
+		assert_equal 1, AjLisp::context.getValue(:a)
+		assert_equal 2, AjLisp::context.getValue(:b)
+		assert_equal 3, AjLisp::context.getValue(:c)
+    end
+end
+

data/test/test_fprimitive_flambda.rb

@@ -0,0 +1,15 @@
+
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveFLambda < Test::Unit::TestCase
+	def test_evaluate
+		list = AjLisp::List.make [[:flambda, [:a, :b], [:cons, :a, :b]], "a", [:b, :c]]
+        result = list.evaluate(AjLisp::context)
+        assert result.is_a? AjLisp::List
+        assert_equal "a", result.first
+        assert_equal :b, result.rest.first.name
+        assert_equal :c, result.rest.rest.first.name
+        assert_nil result.rest.rest.rest
+	end
+end

data/test/test_fprimitive_if.rb

@@ -0,0 +1,29 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveIf < Test::Unit::TestCase
+    def test_evaluate_if_false
+        ifform = AjLisp::FPrimitiveIf.instance
+        list = AjLisp::List.make [ifform, false, [:define, :b1, 2], [:define, :c1, 3] ]
+
+        result = ifform.evaluate(AjLisp::context, list)
+
+        assert_not_nil result
+        assert_equal 3, result
+		assert_nil AjLisp::context.getValue(:b1)
+		assert_equal 3, AjLisp::context.getValue(:c1)
+    end
+
+    def test_evaluate_if_true
+        ifform = AjLisp::FPrimitiveIf.instance
+        list = AjLisp::List.make [ifform, true, [:define, :b2, 2], [:define, :c2, 3] ]
+
+        result = ifform.evaluate(AjLisp::context, list)
+
+        assert_not_nil result
+        assert_equal 2, result
+		assert_equal 2, AjLisp::context.getValue(:b2)
+		assert_nil AjLisp::context.getValue(:c2)
+    end
+end
+

data/test/test_fprimitive_lambda.rb

@@ -0,0 +1,15 @@
+
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveLambda < Test::Unit::TestCase
+	def test_evaluate
+		list = AjLisp::List.make [[:lambda, [:a, :b], [:cons, :a, :b]], "a", [:quote, [:b, :c]]]
+        result = list.evaluate(AjLisp::context)
+        assert result.is_a? AjLisp::List
+        assert_equal "a", result.first
+        assert_equal :b, result.rest.first.name
+        assert_equal :c, result.rest.rest.first.name
+        assert_nil result.rest.rest.rest
+	end
+end

data/test/test_fprimitive_let.rb

@@ -0,0 +1,18 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveLet < Test::Unit::TestCase
+    def test_evaluate_simple_body
+        let = AjLisp::FPrimitiveLet.instance
+        list = AjLisp::List.make [let, [[:a, 1], [:b, 2]], [:cons, :a, [:cons, :b]] ]
+
+        result = let.evaluate(AjLisp::context, list)
+
+        assert_not_nil result
+        assert result.is_a? AjLisp::List
+        assert_equal 1, result.first
+        assert_equal 2, result.rest.first
+		assert_nil result.rest.rest
+    end
+end
+

data/test/test_fprimitive_macro_closure.rb

@@ -0,0 +1,17 @@
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveMacroClosure < Test::Unit::TestCase
+    def test_evaluate_simple_body
+        arguments = AjLisp::List.make [ :a, :b ]
+        body = [ AjLisp::List.make([ :list, :a, :b ])]
+        mclosure = AjLisp::FPrimitiveMacroClosure.new arguments, body
+        list = AjLisp::List.make [mclosure, :first, [:quote, [:b, :c]]]
+        
+        result = mclosure.evaluate(AjLisp::context, list)
+        
+        assert_not_nil result
+        assert result.is_a? AjLisp::NamedAtom
+        assert_equal :b, result.name
+    end
+end

data/test/test_fprimitive_mlambda.rb

@@ -0,0 +1,12 @@
+
+require 'ajlisp'
+require 'test/unit'
+
+class TestFPrimitiveMLambda < Test::Unit::TestCase
+	def test_evaluate
+		list = AjLisp::List.make [[:mlambda, [:a, :b], [:list, :a, :b]], :first, [:quote, [:b, :c]]]
+        result = list.evaluate AjLisp::context
+        assert result.is_a? AjLisp::NamedAtom
+        assert_equal :b, result.name
+	end
+end

data/test/test_fprimitive_quote.rb

@@ -0,0 +1,35 @@
+
+require 'ajlisp'
+require 'test/unit'
+
+module AjLisp
+
+class TestFPrimitiveQuote < Test::Unit::TestCase
+	def test_simple_apply
+		list = List.new("a")
+		quote = FPrimitiveQuote.instance
+        result = quote.apply(nil, [list])
+        assert result.is_a? List
+        assert_equal "a", result.first
+        assert_nil result.rest
+	end
+	
+	def test_simple_evaluate_with_atom
+		form = List.make [:quote, :a]
+		result = form.evaluate(AjLisp::context)
+        assert_not_nil result
+		assert_equal :a, result.name
+	end
+	
+	def test_simple_evaluate_with_list
+		form = List.make [:quote, [:a, :b]]
+		result = form.evaluate(AjLisp::context)
+        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
+end
+
+end

data/test/test_lexer.rb

@@ -0,0 +1,208 @@
+require 'ajlisp'
+require 'test/unit'
+
+module AjLisp
+
+class TestLexer < Test::Unit::TestCase
+    def test_get_atom_token
+        source = StringSource.new "atom"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "atom", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+
+    def test_get_atom_token_with_spaces
+        source = StringSource.new "  atom   "
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "atom", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+
+    def test_get_two_atoms
+        source = StringSource.new "foo bar"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "foo", token.value
+        assert_equal TokenType::ATOM, token.type
+
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "bar", token.value
+        assert_equal TokenType::ATOM, token.type
+        
+        assert_nil lexer.nextToken
+    end
+
+    def test_get_parentheses
+        source = StringSource.new "()"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "(", token.value
+        assert_equal TokenType::SEPARATOR, token.type
+
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal ")", token.value
+        assert_equal TokenType::SEPARATOR, token.type
+        
+        assert_nil lexer.nextToken
+    end
+    
+    def test_get_integer
+        source = StringSource.new "123"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "123", token.value
+        assert_equal TokenType::INTEGER, token.type
+        assert_nil lexer.nextToken
+    end
+    
+    def test_get_add
+        source = StringSource.new "+"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "+", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+    
+    def test_get_less_equal
+        source = StringSource.new "<="
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "<=", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+    
+    def test_get_quote_and_atom
+        source = StringSource.new "'a"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "'", token.value
+        assert_equal TokenType::ATOM, token.type
+
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "a", token.value
+        assert_equal TokenType::ATOM, token.type
+
+        assert_nil lexer.nextToken
+    end
+    
+    def test_get_backquote_and_atom
+        source = StringSource.new "`a"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "`", token.value
+        assert_equal TokenType::ATOM, token.type
+
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "a", token.value
+        assert_equal TokenType::ATOM, token.type
+
+        assert_nil lexer.nextToken
+    end
+    
+    def test_get_unquote_and_atom
+        source = StringSource.new ",a"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal ",", token.value
+        assert_equal TokenType::ATOM, token.type
+
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "a", token.value
+        assert_equal TokenType::ATOM, token.type
+
+        assert_nil lexer.nextToken
+    end
+    
+    def test_get_string
+        source = StringSource.new '"foo"'
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "foo", token.value
+        assert_equal TokenType::STRING, token.type
+        assert_nil lexer.nextToken
+    end
+
+    def test_get_verb_atom_token
+        source = StringSource.new ".verb"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal ".verb", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+
+    def test_get_verb_atom_token_with_question_mark
+        source = StringSource.new ".include?"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal ".include?", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+
+    def test_get_predicate_atom
+        source = StringSource.new "nil?"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "nil?", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+
+    def test_get_constant_atom_token
+        source = StringSource.new "@String"
+        lexer = Lexer.new source
+        token = lexer.nextToken
+        
+        assert_not_nil token
+        assert_equal "@String", token.value
+        assert_equal TokenType::ATOM, token.type
+        assert_nil lexer.nextToken
+    end
+end
+
+end