simplesem 0.1.4

data/sample_programs/case-statement.txt

@@ -0,0 +1,11 @@
+set 0, read
+jumpt 5, D[0] = 1
+jumpt 7, D[0] = 2
+jumpt 9, D[0] = 3
+halt
+set 1, 1
+jump 4
+set 1, 2 
+jump 4
+set 1, 3
+jump 4

data/sample_programs/gcd.txt

@@ -0,0 +1,12 @@
+set 0, read               // first number 'n'
+set 1, read               // second number 'm'
+set 2, ip + 1             // return pointer for call to GCD
+jump 6
+set write, D[0]           // print the GCD
+halt
+jumpt D[2], D[0] = D[1]   // while(m != n)
+jumpt 10, D[1] < D[0]     // if(m < n)
+set 1, D[1]-D[0]
+jump 11
+set 0, D[0]-D[1]
+jump 6

data/sample_programs/hello-world.txt

@@ -0,0 +1,5 @@
+set 0, 0
+set write, "hello world!"
+set 0, D[0]+1
+jumpt ip-3, D[0] < 5
+halt

data/sample_programs/while-loop.txt

@@ -0,0 +1,14 @@
+set 0, 4
+set 1, 1
+set 2, -1
+jumpt 10, D[0] <= D[2]
+jumpt 7, D[0] != 0
+set write, D[1]
+jump 8
+set 1, D[1]+D[0]
+set 0, D[0] - 1
+jump 3
+set write, D[0]
+set write, D[1]
+set write, D[2]
+halt

data/simplesem.gemspec

@@ -0,0 +1,36 @@
+# -*- encoding: utf-8 -*-
+
+Gem::Specification.new do |s|
+  s.name = %q{simplesem}
+  s.version = "0.1.4"
+
+  s.required_rubygems_version = Gem::Requirement.new(">= 1.2") if s.respond_to? :required_rubygems_version=
+  s.authors = ["Rob Olson"]
+  s.date = %q{2009-09-27}
+  s.default_executable = %q{simplesem}
+  s.description = %q{Interpreter for parsing and executing SIMPLESEM programs}
+  s.email = %q{rob@thinkingdigitally.com}
+  s.executables = ["simplesem"]
+  s.extra_rdoc_files = ["LICENSE", "README.textile", "bin/simplesem", "lib/simplesem.rb", "lib/simplesem/arithmetic.treetop", "lib/simplesem/arithmetic_node_classes.rb", "lib/simplesem/simple_sem.treetop", "lib/simplesem/simplesem_program.rb", "lib/simplesem/version.rb", "lib/trollop/trollop.rb"]
+  s.files = ["LICENSE", "Manifest", "README.textile", "Rakefile", "bin/simplesem", "lib/simplesem.rb", "lib/simplesem/arithmetic.treetop", "lib/simplesem/arithmetic_node_classes.rb", "lib/simplesem/simple_sem.treetop", "lib/simplesem/simplesem_program.rb", "lib/simplesem/version.rb", "lib/trollop/trollop.rb", "sample_programs/case-statement.txt", "sample_programs/gcd.txt", "sample_programs/hello-world.txt", "sample_programs/while-loop.txt", "test/simplesem_test.rb", "test/test_helper.rb", "simplesem.gemspec"]
+  s.homepage = %q{http://github.com/robolson/simplesem}
+  s.rdoc_options = ["--line-numbers", "--inline-source", "--title", "Simplesem", "--main", "README.textile"]
+  s.require_paths = ["lib"]
+  s.rubyforge_project = %q{simplesem}
+  s.rubygems_version = %q{1.3.5}
+  s.summary = %q{SIMPLESEM Interpreter}
+  s.test_files = ["test/test_helper.rb", "test/simplesem_test.rb"]
+
+  if s.respond_to? :specification_version then
+    current_version = Gem::Specification::CURRENT_SPECIFICATION_VERSION
+    s.specification_version = 3
+
+    if Gem::Version.new(Gem::RubyGemsVersion) >= Gem::Version.new('1.2.0') then
+      s.add_runtime_dependency(%q<treetop>, [">= 1.2.4"])
+    else
+      s.add_dependency(%q<treetop>, [">= 1.2.4"])
+    end
+  else
+    s.add_dependency(%q<treetop>, [">= 1.2.4"])
+  end
+end

data/test/simplesem_test.rb

@@ -0,0 +1,140 @@
+require 'test_helper'
+require 'simplesem'
+
+class SimpleSemParserTest < Test::Unit::TestCase
+  include ParserTestHelper
+  
+  def setup
+    @parser = SimpleSem::SimpleSemParser.new
+    @ssp = SimpleSem::Program.new
+    @ssp.data[0] = [1]
+  end
+
+  def test_version_constant_is_set
+    assert_not_nil SimpleSem::VERSION
+  end
+  
+  def test_set_stmt_assign
+    parse('set 1, D[0]').execute(@ssp)
+    assert_equal [[1], [1]], @ssp.data
+  end
+  
+  def test_set_stmt_write_string
+    out = capture_stdout do
+      parse('set write, "Hello World!"').execute(@ssp)
+    end
+    assert_equal "Hello World!\n", out.string
+  end
+  
+  def test_set_stmt_write_expr
+    out = capture_stdout do
+      parse('set write, 2 > 1').execute(@ssp)
+    end
+    assert_equal "true\n", out.string
+  end
+  
+  def test_set_stmt_read
+    fake_in = StringIO.new("2\n3\n")
+    $stdin = fake_in
+    
+    capture_stdout do     # capture_stdout because we do not want "input:"'s in the test output
+      parse('set 1, read').execute(@ssp)
+      parse('set 1, read').execute(@ssp)
+    end
+    assert_equal [2, 3], @ssp.data[1]
+  end
+  
+  def test_jump_stmt
+    parse('jump 5').execute(@ssp)
+    assert_equal 5, @ssp.pc
+  end
+  
+  def test_set_to_data_loc
+    parse('set D[0], 2').execute(@ssp)
+    assert_equal 2, @ssp.data[1].last
+  end
+  
+  def test_complex_expr
+    @ssp.data[1] = [2]
+    parse('set 2, D[0]+D[1]*2').execute(@ssp)
+    assert_equal 5, @ssp.data[2].last
+  end
+  
+  def test_parenthesis
+    @ssp.data[1] = [2]
+    parse('set 2, (D[0]+D[1])*2').execute(@ssp)
+    assert_equal 6, @ssp.data[2].last
+  end
+  
+  def test_set_increment_instr
+    parse('set 0, D[0]+1').execute(@ssp)
+    assert_equal 2, @ssp.data[0].last
+  end
+  
+  def test_nested_data_lookup
+    @ssp.data[0] = [0]
+    @ssp.data[1] = [1]
+    parse('set 2, D[D[0]+1]').execute(@ssp)
+    assert_equal 1, @ssp.data[2].last
+  end
+  
+  def test_instruction_pointer
+    # manually incrementing the program counter is required here
+    @ssp.pc = 1
+    parse('set 0, ip').execute(@ssp)
+    assert_equal 1, @ssp.data[0].last  # checking that the parser was able to evaluate ip correctly
+  end
+  
+  def test_jump_to_data_loc
+    @ssp.data[0] = [2]
+    parse('jump D[0]').execute(@ssp)
+    assert_equal 2, @ssp.pc
+  end
+  
+  def test_jumpt_stmt_true
+    @ssp.data[0] = [1]
+    parse('jumpt 5, D[0]=D[0]').execute(@ssp)
+    assert_equal 5, @ssp.pc
+  end
+    
+  def test_jumpt_stmt_false
+    @ssp.data[0] = [1]
+    parse('jumpt 5, D[0]=2').execute(@ssp)
+    assert_equal 0, @ssp.pc   # pc should not have changed
+  end
+  
+  def test_less_than_comparison
+    # test a jumpt that returns false
+    parse('jumpt 5, D[0] < 0').execute(@ssp)
+    assert_not_equal 5, @ssp.pc    
+    
+    parse('jumpt 5, D[0] < 2').execute(@ssp)
+    assert_equal 5, @ssp.pc
+  end
+  
+  def test_greater_than_comparison
+    parse('jumpt 5, D[0] > 0').execute(@ssp)
+    assert_equal 5, @ssp.pc    
+  end
+  
+  def test_greater_than_or_eql_comparison
+    parse('jumpt 5, 1 >= D[0]').execute(@ssp)
+    assert_equal 5, @ssp.pc    
+  end
+  
+  def test_less_than_or_eql_comparison
+    parse('jumpt 5, 0 <= D[0]').execute(@ssp)
+    assert_equal 5, @ssp.pc    
+  end
+  
+  def test_negative_number
+    parse('set 0, -1').execute(@ssp)
+    assert_equal -1, @ssp.data[0].last
+  end
+  
+  def test_halt
+    assert_raise SimpleSem::ProgramHalt do
+      parse('halt').execute(@ssp)
+    end
+  end
+end

data/test/test_helper.rb

@@ -0,0 +1,28 @@
+require 'test/unit'
+require 'stringio'
+require 'treetop'
+
+module ParserTestHelper
+  def assert_evals_to_self(input)
+    assert_evals_to(input, input)
+  end
+  
+  def parse(input)
+    result = @parser.parse(input)
+    unless result
+      puts @parser.terminal_failures.join("\n")
+    end
+    assert !result.nil?
+    result
+  end
+end
+
+module Kernel
+  def capture_stdout
+    out = StringIO.new
+    $stdout = out
+    yield
+    $stdout = STDOUT
+    return out
+  end
+end

metadata

@@ -0,0 +1,97 @@
+--- !ruby/object:Gem::Specification 
+name: simplesem
+version: !ruby/object:Gem::Version 
+  version: 0.1.4
+platform: ruby
+authors: 
+- Rob Olson
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2009-09-27 00:00:00 -07:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: treetop
+  type: :runtime
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: 1.2.4
+    version: 
+description: Interpreter for parsing and executing SIMPLESEM programs
+email: rob@thinkingdigitally.com
+executables: 
+- simplesem
+extensions: []
+
+extra_rdoc_files: 
+- LICENSE
+- README.textile
+- bin/simplesem
+- lib/simplesem.rb
+- lib/simplesem/arithmetic.treetop
+- lib/simplesem/arithmetic_node_classes.rb
+- lib/simplesem/simple_sem.treetop
+- lib/simplesem/simplesem_program.rb
+- lib/simplesem/version.rb
+- lib/trollop/trollop.rb
+files: 
+- LICENSE
+- Manifest
+- README.textile
+- Rakefile
+- bin/simplesem
+- lib/simplesem.rb
+- lib/simplesem/arithmetic.treetop
+- lib/simplesem/arithmetic_node_classes.rb
+- lib/simplesem/simple_sem.treetop
+- lib/simplesem/simplesem_program.rb
+- lib/simplesem/version.rb
+- lib/trollop/trollop.rb
+- sample_programs/case-statement.txt
+- sample_programs/gcd.txt
+- sample_programs/hello-world.txt
+- sample_programs/while-loop.txt
+- test/simplesem_test.rb
+- test/test_helper.rb
+- simplesem.gemspec
+has_rdoc: true
+homepage: http://github.com/robolson/simplesem
+licenses: []
+
+post_install_message: 
+rdoc_options: 
+- --line-numbers
+- --inline-source
+- --title
+- Simplesem
+- --main
+- README.textile
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "1.2"
+  version: 
+requirements: []
+
+rubyforge_project: simplesem
+rubygems_version: 1.3.5
+signing_key: 
+specification_version: 3
+summary: SIMPLESEM Interpreter
+test_files: 
+- test/test_helper.rb
+- test/simplesem_test.rb