whitespace-ruby 1.0.0

data/test/whitespace/instructions/arithmetic/mul_test.rb

@@ -0,0 +1,43 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Mul do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "#execute" do
+      describe "when the value stack is empty" do
+        it "raises Whitespace::EmptyError" do
+          expect(@vm.vstack.size).must_equal 0
+
+          expect { Mul.new(@vm).execute }.must_raise Whitespace::EmptyError
+        end
+      end
+
+      describe "when the value stack has one element" do
+        it "raises Whitespace::EmptyError" do
+          @vm.vstack.push 1
+          expect(@vm.vstack.size).must_equal 1
+
+          expect { Mul.new(@vm).execute }.must_raise Whitespace::EmptyError
+        end
+      end
+
+      describe "when the value stack has at least 2 elements" do
+        it "replaces the top 2 elements with their product" do
+          @vm.vstack.push 1
+          @vm.vstack.push 2
+          @vm.vstack.push 3
+          expect(@vm.vstack.size).must_equal 3
+
+          Mul.new(@vm).execute
+
+          expect(@vm.vstack.pop).must_equal 6
+          expect(@vm.vstack.pop).must_equal 1
+          expect(@vm.vstack.size).must_equal 0
+        end
+      end
+    end
+  end
+end

data/test/whitespace/instructions/arithmetic/sub_test.rb

@@ -0,0 +1,43 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Sub do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "#execute" do
+      describe "when the value stack is empty" do
+        it "raises Whitespace::EmptyError" do
+          expect(@vm.vstack.size).must_equal 0
+
+          expect { Sub.new(@vm).execute }.must_raise Whitespace::EmptyError
+        end
+      end
+
+      describe "when the value stack has one element" do
+        it "raises Whitespace::EmptyError" do
+          @vm.vstack.push 1
+          expect(@vm.vstack.size).must_equal 1
+
+          expect { Sub.new(@vm).execute }.must_raise Whitespace::EmptyError
+        end
+      end
+
+      describe "when the value stack has at least 2 elements" do
+        it "replaces the top 2 elements with their difference" do
+          @vm.vstack.push 1
+          @vm.vstack.push 3
+          @vm.vstack.push 2
+          expect(@vm.vstack.size).must_equal 3
+
+          Sub.new(@vm).execute
+
+          expect(@vm.vstack.pop).must_equal 1
+          expect(@vm.vstack.pop).must_equal 1
+          expect(@vm.vstack.size).must_equal 0
+        end
+      end
+    end
+  end
+end

data/test/whitespace/instructions/flow_control/call_test.rb

@@ -0,0 +1,50 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Call do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "initialization" do
+      describe "when given a non-label value" do
+        it "raises ArgumentError" do
+          e = expect { Call.new(@vm, :not_a_label) }.must_raise(ArgumentError)
+          e.message.must_match /must be a label/
+        end
+      end
+    end
+
+    describe "#execute" do
+      describe "when the label doesn't exist" do
+        it "raises Whitespace::LabelError" do
+          e = expect { Call.new(@vm, " ").execute }.must_raise \
+            Whitespace::LabelError
+          expect(e.message).must_match /missing: " "/
+        end
+      end
+
+      describe "when the label does exist" do
+        it "puts the current value of the pc on the call stack and sets it " \
+            "to the index of the instruction after the label" do
+          @vm.load [
+            "instruction 1",
+            Label.new(@vm, " "),
+            "instruction 3",
+            "instruction 4",
+            "instruction 5"
+          ]
+          @vm.pc.change_to 4
+
+          expect(@vm.cstack.size).must_equal 0
+
+          Call.new(@vm, " ").execute
+
+          expect(@vm.cstack.size).must_equal 1
+          expect(@vm.cstack.top).must_equal 4
+          expect(@vm.pc.to_int).must_equal 2
+        end
+      end
+    end
+  end
+end

data/test/whitespace/instructions/flow_control/end_test.rb

@@ -0,0 +1,15 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe End do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "#execute" do
+      it "raise Whitespace::Halt" do
+        expect { End.new(@vm).execute }.must_raise Whitespace::Halt
+      end
+    end
+  end
+end

data/test/whitespace/instructions/flow_control/label_test.rb

@@ -0,0 +1,24 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Label do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "initialization" do
+      describe "when given a non-label value" do
+        it "raises ArgumentError" do
+          e = expect { Label.new(@vm, :not_a_label) }.must_raise(ArgumentError)
+          e.message.must_match /must be a label/
+        end
+      end
+    end
+
+    describe "#execute" do
+      it "doesn't raise NotImplementedError" do
+        Label.new(@vm, " ").execute
+      end
+    end
+  end
+end

data/test/whitespace/instructions/flow_control/njmp_test.rb

@@ -0,0 +1,94 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Njmp do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "initialization" do
+      describe "when given a non-label value" do
+        it "raises ArgumentError" do
+          e = expect { Njmp.new(@vm, :not_a_label) }.must_raise(ArgumentError)
+          e.message.must_match /must be a label/
+        end
+      end
+    end
+
+    describe "#execute" do
+      describe "when the value stack is empty" do
+        it "raises Whitespace::EmptyError" do
+          expect { Njmp.new(@vm, " ").execute }.must_raise \
+            Whitespace::EmptyError
+        end
+      end
+
+      describe "when the value stack has at least 1 element" do
+        describe "when the top element is negative" do
+          before do
+            @vm.vstack.push -5
+          end
+
+          describe "when the label exists" do
+            it "changes the current value of the pc to the index of the " \
+                "instruction after the label" do
+              @vm.load [
+                "instruction 1",
+                Label.new(@vm, " "),
+                "instruction 3"
+              ]
+              expect(@vm.pc.to_int).must_equal 0
+
+              Njmp.new(@vm, " ").execute
+
+              expect(@vm.pc.to_int).must_equal 2
+              expect(@vm.vstack.size).must_equal 0
+            end
+          end
+
+          describe "when the label doesn't exist" do
+            it "raises Whitespace::LabelError" do
+              e = expect { Njmp.new(@vm, " ").execute }.must_raise \
+                Whitespace::LabelError
+              expect(e.message).must_match /missing: " "/
+            end
+          end
+        end
+
+        describe "when the top element is non-negative" do
+          before do
+            @vm.vstack.push 0
+          end
+
+          describe "when the label exists" do
+            it "pops the top element but does not change the pc" do
+              @vm.load [
+                "instruction 1",
+                Label.new(@vm, " "),
+                "instruction 3"
+              ]
+
+              expect(@vm.pc.to_int).must_equal 0
+
+              Njmp.new(@vm, " ").execute
+
+              expect(@vm.pc.to_int).must_equal 0
+              expect(@vm.vstack.size).must_equal 0
+            end
+          end
+
+          describe "when the label doesn't exist" do
+            it "pops the top element but does not change the pc" do
+              expect(@vm.pc.to_int).must_equal 0
+
+              Njmp.new(@vm, " ").execute
+
+              expect(@vm.pc.to_int).must_equal 0
+              expect(@vm.vstack.size).must_equal 0
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/test/whitespace/instructions/flow_control/return_test.rb

@@ -0,0 +1,33 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Return do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "#execute" do
+      describe "when the call stack is empty" do
+        it "raises Whitespace::EmptyError" do
+          expect { Return.new(@vm).execute }.must_raise Whitespace::EmptyError
+        end
+      end
+
+      describe "when the call stack has at least 1 element" do
+        it "changes the current value of the pc to the value taken from the " \
+            "top of the call stack" do
+          @vm.cstack.push 4
+          @vm.cstack.push 5
+
+          expect(@vm.pc.to_int).must_equal 0
+
+          Return.new(@vm).execute
+
+          expect(@vm.pc.to_int).must_equal 5
+          expect(@vm.cstack.top).must_equal 4
+          expect(@vm.cstack.size).must_equal 1
+        end
+      end
+    end
+  end
+end

data/test/whitespace/instructions/flow_control/ujmp_test.rb

@@ -0,0 +1,44 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Ujmp do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "initialization" do
+      describe "when given a non-label value" do
+        it "raises ArgumentError" do
+          e = expect { Ujmp.new(@vm, :not_a_label) }.must_raise(ArgumentError)
+          e.message.must_match /must be a label/
+        end
+      end
+    end
+
+    describe "#execute" do
+      describe "when the label doesn't exist" do
+        it "raises Whitespace::LabelError" do
+          e = expect { Ujmp.new(@vm, " ").execute }.must_raise \
+            Whitespace::LabelError
+          expect(e.message).must_match /missing: " "/
+        end
+      end
+
+      describe "when the label does exist" do
+        it "changes the current value of the pc to the index of the " \
+            "instruction after the label" do
+          @vm.load [
+            Label.new(@vm, " "),
+            "instruction 2",
+            "instruction 3"
+          ]
+          @vm.pc.change_to 2
+
+          Ujmp.new(@vm, " ").execute
+
+          expect(@vm.pc.to_int).must_equal 1
+        end
+      end
+    end
+  end
+end

data/test/whitespace/instructions/flow_control/zjmp_test.rb

@@ -0,0 +1,94 @@
+require "test_helper"
+
+module Whitespace::ISA
+  describe Zjmp do
+    before do
+      @vm = Whitespace::VM.new
+    end
+
+    describe "initialization" do
+      describe "when given a non-label value" do
+        it "raises ArgumentError" do
+          e = expect { Zjmp.new(@vm, :not_a_label) }.must_raise(ArgumentError)
+          e.message.must_match /must be a label/
+        end
+      end
+    end
+
+    describe "#execute" do
+      describe "when the value stack is empty" do
+        it "raises Whitespace::EmptyError" do
+          expect { Zjmp.new(@vm, " ").execute }.must_raise \
+            Whitespace::EmptyError
+        end
+      end
+
+      describe "when the value stack has at least 1 element" do
+        describe "when the top element is 0" do
+          before do
+            @vm.vstack.push 0
+          end
+
+          describe "when the label exists" do
+            it "changes the current value of the pc to the index of the " \
+                "instruction after the label" do
+              @vm.load [
+                "instruction 1",
+                Label.new(@vm, " "),
+                "instruction 3"
+              ]
+              expect(@vm.pc.to_int).must_equal 0
+
+              Zjmp.new(@vm, " ").execute
+
+              expect(@vm.pc.to_int).must_equal 2
+              expect(@vm.vstack.size).must_equal 0
+            end
+          end
+
+          describe "when the label doesn't exist" do
+            it "raises Whitespace::LabelError" do
+              e = expect { Zjmp.new(@vm, " ").execute }.must_raise \
+                Whitespace::LabelError
+              expect(e.message).must_match /missing: " "/
+            end
+          end
+        end
+
+        describe "when the top element is non-zero" do
+          before do
+            @vm.vstack.push 1
+          end
+
+          describe "when the label exists" do
+            it "pops the top element but does not change the pc" do
+              @vm.load [
+                "instruction 1",
+                Label.new(@vm, " "),
+                "instruction 3"
+              ]
+
+              expect(@vm.pc.to_int).must_equal 0
+
+              Zjmp.new(@vm, " ").execute
+
+              expect(@vm.pc.to_int).must_equal 0
+              expect(@vm.vstack.size).must_equal 0
+            end
+          end
+
+          describe "when the label doesn't exist" do
+            it "pops the top element but does not change the pc" do
+              expect(@vm.pc.to_int).must_equal 0
+
+              Zjmp.new(@vm, " ").execute
+
+              expect(@vm.pc.to_int).must_equal 0
+              expect(@vm.vstack.size).must_equal 0
+            end
+          end
+        end
+      end
+    end
+  end
+end