AmberVM 0.0.19

data/spec/languages/ecma/ecma_objects_spec.rb

@@ -0,0 +1,165 @@
+$: << 'lib'
+
+require 'amber'
+require 'amber/languages'
+require 'amber/languages/ecma'
+
+
+describe AmberVM::Languages::ECMA do
+  before(:each) do
+    @env = AmberVM::Interpreter.env
+    @compiler = AmberVM::Languages::ECMA.new
+  end
+  
+  def run code, &tests 
+    env = @env.dup
+    yield(@compiler.compile(code).execute(@env), @env)
+    yield(@compiler.compile(code).optimize.execute(env), env)
+  end 
+  
+  describe "objects" do
+    it "should see outer functions" do
+    code = <<-CODE
+      function a() {
+        return 1;
+      }
+      o = {
+        b: function() {
+          return a();
+        }
+      };
+      o.b();
+    CODE
+      run code do
+      end
+    end
+    
+    it "should not automaticall address it's own variables" do
+      code = <<-CODE
+        x = 42;
+        o = {
+          x: 23,
+          f: function() {
+            return x;
+          }
+        };
+        o.f();
+      CODE
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+    
+    it "should not make functions closours" do
+      code = <<-CODE
+        x = 1;
+        o = {
+          x: 23,
+          f: function() {
+            return x;
+          }
+        };
+        x = 42;
+        o.f();
+      CODE
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+    
+    it "should see it's own variables with this" do
+      code = <<-CODE
+        o = {
+          x: 23,
+          f: function() {
+            return this.x;
+          }
+        };
+        o.f();
+      CODE
+      run code do |result, env|
+        result.should == 23
+      end
+    end
+
+    it "should switch this correctly" do
+      code = <<-CODE
+      n = {
+        x: 42,
+        f: function() {
+          return this.x;
+        }
+      };
+        o = {
+          x: 23,
+          f: function() {
+            return n.f();
+          }
+        };
+        o.f();
+      CODE
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+    
+    it "should switch this back correctly" do
+      code = <<-CODE
+      n = {
+        x: 42,
+        f: function() {
+          return this.x;
+        }
+      };
+        o = {
+          x: 23,
+          f: function() {
+            n.f();
+            return this.x;
+          }
+        };
+        o.f();
+      CODE
+      run code do |result, env|
+        result.should == 23
+      end
+    end
+
+    it "should get varibles" do
+      object = AmberVM::Classes::Object.new(nil)
+      object.variables['variable'] = 42
+      @env['obj'] = object
+      code = <<-CODE
+        obj.variable
+      CODE
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+    
+    it "should allow to concat objects varibles" do
+      object = AmberVM::Classes::Object.new(nil)
+      object2 =AmberVM::Classes::Object.new(nil)
+      object.variables['obj'] = object2
+      object2.variables['variable'] = 42
+      @env['obj'] = object
+      code = <<-CODE
+        obj.obj.variable
+      CODE
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+    
+    it "should allow to assign literals to variables" do
+      code = <<-CODE
+        test = 23;
+      CODE
+      run code do |result, env|
+        result.should == 23
+        env['test'].val.should == 23
+      end
+     
+    end
+  end
+end

data/spec/languages/ecma/ecma_old_spec.rb

@@ -0,0 +1,540 @@
+$: << 'lib'
+
+require 'amber'
+require 'amber/languages'
+require 'amber/languages/ecma'
+
+describe AmberVM::Languages::ECMA do
+  before(:each) do
+    @compiler = AmberVM::Languages::ECMA.new
+    @env = @compiler.env
+  end
+  
+  
+  
+  def run code, &test 
+    env = @compiler.env
+    @env.data[:locals].each do |k,v|
+      env[k] = v.val
+    end
+    yield(@compiler.compile(code).execute(@env), @env)
+    yield(@compiler.compile(code).optimize.execute(env), env)
+  end
+  
+  describe "literals" do
+    describe "strings" do
+      it "should handle string literals" do
+        code = <<-EOC
+          "Hallo!"
+        EOC
+        run code do |result, env|
+          result.should == "Hallo!"
+        end
+      end
+      
+      it "should handle newline replacements" do
+        code = '"\n"'
+        run code do |result, env|
+          result.should == "\n"
+        end
+      end
+      
+      it "should handle newline replacements" do
+        code =<<-'EOC'
+          "\t"
+        EOC
+        run code do |result, env|
+          result.should == "\t"
+        end
+      end
+      it "should handle newline replacements" do
+        code = <<-'EOC'
+          "\n"
+        EOC
+        run code do |result, env|
+          result.should == "\n"
+        end
+      end
+      
+      it "should handle double escapes" do
+        code = <<-'EOC'
+          "\\t"
+        EOC
+        run code do |result, env|
+          result.should == "\\t"
+        end
+      end
+      
+      it "should handle double escapes followed by single escapes" do
+        code = <<-'EOF'
+          "\\\t"
+        EOF
+        run code do |result, env|
+          result.should == "\\\t"
+        end
+      end
+    end
+    
+    it "should handle number literals" do
+      code = <<-EOC
+        42
+      EOC
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+    
+    describe "array" do
+      it "should handle array literals with no elements" do
+        code = <<-EOC
+          []
+        EOC
+        run code do |result, env|
+          result.should == []
+        end
+      end
+      
+      it "should handle array literals with one element" do
+        code = <<-EOC
+          ["Kekse!"]
+        EOC
+        run code do |result, env|
+          result.should == ["Kekse!"]
+        end
+      end
+
+      it "should handle array literals with arrays in it" do
+        code = <<-EOC
+          [["Kekse!",2],1]
+        EOC
+        run code do |result, env|
+          result.should == [["Kekse!",2],1]
+        end
+      end      
+      
+      it "should handle array literals with multiple elements" do
+        code = <<-EOC
+          [42, "Kekse!"]
+        EOC
+        run code do |result, env|
+          result.should == [42, "Kekse!"]
+        end
+      end
+      
+      it "should allow to set array elements" do
+        code = <<-EOC
+          array = [];
+          array[0] = 42;
+          array;
+        EOC
+        run code do |result, env|
+          result.should == [42]
+        end
+      end
+    end
+    
+    describe "Objects array" do
+      it "should handle an empty object" do
+        code = <<-EOC
+          {}
+        EOC
+        run code do |result, env|
+          result.should be_instance_of(AmberVM::Classes::Object)
+        end
+      end
+      
+      it "should handle an object with variables" do
+        code = <<-EOC
+          {a: 1}
+        EOC
+        run code do |result, env|
+          result.should be_instance_of(AmberVM::Classes::Object)
+          result.variables['a'].val.should == 1
+        end
+      end
+      it "should handle an object with functions" do
+        code = <<-EOC
+          o = {
+            f: function(){
+              return 1;
+            }
+          };
+        EOC
+        run code do |result, env|
+          result.should be_instance_of(AmberVM::Classes::Object)
+          result.variables.keys.should include('f')
+        end
+      end
+    end
+    
+    it "should handle true literals" do
+      code = <<-EOC
+        true
+      EOC
+      run code do |result, env|
+        result.should be_is_true
+      end
+    end
+    
+    it "should handle false literals" do
+      code = <<-EOC
+        false
+      EOC
+      run code do |result, env|
+        result.should_not be_is_true
+      end
+    end
+  end
+  
+  describe "array" do
+    it "should allow accessing elements" do
+      @env['a'] = AmberVM::Classes::List.new([1,2,3])
+      code = <<-EOC
+        a[0]
+      EOC
+      run code do |result, env|
+        result.should == 1
+      end
+    end
+    
+    it "should allow setting elements" do
+      @env['a'] = AmberVM::Classes::List.new([1,2,3])
+      code = <<-EOC
+        a[0] = 42;
+      EOC
+      run code do |result, env|
+        result.should == 42
+        env['a'].val[0].val.should == 42
+      end
+    end
+    
+    it "should allow accessing the length" do
+      @env['a'] = AmberVM::Classes::List.new([1,2,3])
+      code = <<-EOC
+        a.length;
+      EOC
+      run code do |result, env|
+        result.should == 3
+      end
+    end
+  end
+  
+  describe "variables" do
+    it "should recognize simple assignments" do
+      code = <<-EOC
+        variable = 'value';
+      EOC
+      run code do |result, env|
+        result.should == 'value'
+        env['variable'].val.should == 'value'
+      end
+    end
+  
+    it "should recognize local assignments" do
+      code = <<-EOC
+        var variable = 'value';
+      EOC
+      run code do |result, env|
+        result.should == 'value'
+        env['variable'].val.should == 'value'
+      end
+    end
+  
+    it "should recognize multiple local assignments" do
+      code = <<-EOC
+        var i = 'a', j= 'b';
+      EOC
+      run code do |result, env|
+        result.should == 'b'
+        env['i'].val.should == 'a'
+        env['j'].val.should == 'b'
+      end
+    end
+    
+    it "should scope local assignments correctly" do
+      code = <<-EOC
+        variable = 'outer scope';
+        {
+          var variable = 'inner scope';
+        }
+      EOC
+      run code do |result, env|
+        result.should == 'inner scope'
+        env['variable'].val.should == 'inner scope'
+      end
+    end
+  end
+  
+  describe "conditions" do
+    describe "true condition" do
+      describe "without blocks" do
+        
+        it "should handle conditions without else" do
+          code = <<-EOC
+            if (true)
+              42
+          EOC
+          run code do |result, env|
+            result.should == 42
+          end
+        end
+        
+        it "should handle conditions with else" do
+          code = <<-EOC
+            if (true)
+              42;
+            else
+              23;
+          EOC
+          run code do |result, env|
+            result.should == 42
+          end
+        end
+        
+        it "should handle conditions with else and ugly ';'" do
+          code = <<-EOC
+            if (true)
+              42;
+            else
+              23
+          EOC
+          run code do |result, env|
+            result.should == 42
+          end
+        end
+      end
+      
+      describe "with blocks" do
+        it "should handle conditions without else" do
+          code = <<-EOC
+            if (true) {
+              42;
+            }
+          EOC
+          run code do |result, env|
+            result.should == 42
+          end
+        end
+        it "should handle conditions with else" do
+          code = <<-EOC
+            if (true) {
+              42;
+            } else {
+              23;
+            }
+          EOC
+          run code do |result, env|
+            result.should == 42
+          end
+        end
+      end
+    end
+    describe "false condition" do
+      describe "without blocks" do
+        it "should handle loops without else" do
+          code = <<-EOC
+            if (false)
+              42;
+          EOC
+          run code do |result, env|
+            result.should be_nil
+          end
+        end
+        it "should handle conditions with else" do
+          code = <<-EOC
+            if (false)
+              42;
+            else
+              23;
+          EOC
+          run code do |result, env|
+            result.should == 23
+          end
+        end
+      end
+      describe "with blocks" do
+        it "should handle conditions without else" do
+          code = <<-EOC
+            if (false) {
+              42;
+            }
+          EOC
+          run code do |result, env|
+            result.should be_nil
+          end
+        end
+        it "should handle conditions with else" do
+          code = <<-EOC
+            if (false) {
+              42;
+            } else {
+              23;
+            }
+          EOC
+          run code do |result, env|
+            result.should == 23
+          end
+        end
+      end
+    end
+  end
+  
+  describe "loops" do
+    it "should handle for loops" do
+      code = <<-EOC
+        variable = "";
+        for (i = 0; i <= 3; i = i + 1) {
+          variable = variable + i;
+        }
+      EOC
+      run code do |result, env|
+        result.should == 4
+        env['variable'].val.should == '0123'
+      end  
+    end
+    
+    it "should handle for loops (bug prevention)" do
+      code = <<-EOC
+        function test() {for (var i = 1; i <= 2; i+=1) {};};
+        test();
+      EOC
+      (proc{ run(code){} }).should_not raise_error
+    end  
+    
+    it "should handle while loops" do
+      code = <<-EOC
+        variable = "";
+        i = 0;
+        while (i < 3) {
+          i = i + 1;
+          variable = variable + i;
+        }
+      EOC
+      run code do |result, env|
+        result.should == '123'
+        env['variable'].val.should == '123'
+      end
+    end
+    
+    it "should handle do while loops" do
+      code = <<-EOC
+        variable = "";
+        i = 0;
+        do {
+          i = i + 1;
+          variable = variable + i;
+        } while (i < 3)
+      EOC
+      run code do |result, env|
+        result.should == '123'
+        env['variable'].val.should == '123'
+      end   
+    end
+  end
+  
+  it "should execute do while loops at least once" do
+    code = <<-EOC
+      variable = "";
+      i = 0;
+      do {
+        i = i + 1;
+        variable = variable + i;
+      } while (i < 0);
+    EOC
+    run code do |result, env|
+      result.should be_nil
+      env['variable'].val.should == '1'
+    end
+  end
+  
+
+
+  describe "functions" do
+    it "should handle function definitions without variables" do
+      code = <<-EOC
+        function f() {
+          42;
+        }
+      EOC
+      run code do |result, env|
+        result.class.should.kind_of? AmberVM::Interpreter::Clousure::Binding
+        env['f'].should be
+      end
+    end
+  
+    it "should handle function definitions with variables" do
+      code = <<-EOC
+        function g(x) {
+          42 + x;
+        }
+      EOC
+      run code do |result, env|
+        result.class.should <= AmberVM::Interpreter::Clousure::Binding
+        env['g'].should be
+      end
+    end
+  end
+  
+  describe "objects" do
+    it "should handle object variables" do
+      obj = mock('object mock')
+      varialbes = mock('variables')
+      obj.should_receive(:variables).twice.and_return(varialbes)
+      varialbes.should_receive(:[]).twice.with('test').and_return(AmberVM::Interpreter::VariableStorage.new('ok'))
+      @env['obj'] = obj
+      code = <<-EOC
+        obj.test;
+      EOC
+      run code do |result, env|
+        result.should == 'ok'
+      end
+    end
+  
+  end
+  
+  
+  describe "opperators" do
+    it "should recognize ++" do
+      @env['i'] = AmberVM::Classes::Number.new(41) 
+      code = <<-EOC
+        i++;
+      EOC
+      run code do |result, env|
+        result.should == 41
+        env['i'].val.should == 42
+      end
+    end
+    
+    it "should recognize --" do
+      @env['i'] = AmberVM::Classes::Number.new(43) 
+      code = <<-EOC
+        i--;
+      EOC
+      run code do |result, env|
+        result.should == 43
+        env['i'].val.should == 42
+      end
+    end
+    
+    it "should recognize +=" do
+      @env['i'] = AmberVM::Classes::Number.new(40) 
+      code = <<-EOC
+        i += 2;
+      EOC
+      v = 42
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+    it "should recognize -=" do
+      @env['i'] = AmberVM::Classes::Number.new(44) 
+      code = <<-EOC
+        i -= 2;
+      EOC
+      v = 42
+      run code do |result, env|
+        result.should == 42
+      end
+    end
+  end
+end