robolson-simplesem 0.1.0

data/LICENSE

@@ -0,0 +1,183 @@
+Academic Free License (AFL) v. 3.0
+
+This Academic Free License (the "License") applies to any original work
+of authorship (the "Original Work") whose owner (the "Licensor") has
+placed the following licensing notice adjacent to the copyright notice
+for the Original Work:
+
+Licensed under the Academic Free License version 3.0
+
+1) Grant of Copyright License. Licensor grants You a worldwide,
+royalty-free, non-exclusive, sublicensable license, for the duration of
+the copyright, to do the following:
+
+a) to reproduce the Original Work in copies, either alone or as part of
+a collective work;
+
+b) to translate, adapt, alter, transform, modify, or arrange the
+Original Work, thereby creating derivative works ("Derivative Works")
+based upon the Original Work;
+
+c) to distribute or communicate copies of the Original Work and
+Derivative Works to the public, under any license of your choice that
+does not contradict the terms and conditions, including Licensor's
+reserved rights and remedies, in this Academic Free License;
+
+d) to perform the Original Work publicly; and
+
+e) to display the Original Work publicly.
+
+2) Grant of Patent License. Licensor grants You a worldwide,
+royalty-free, non-exclusive, sublicensable license, under patent claims
+owned or controlled by the Licensor that are embodied in the Original
+Work as furnished by the Licensor, for the duration of the patents, to
+make, use, sell, offer for sale, have made, and import the Original Work
+and Derivative Works.
+
+3) Grant of Source Code License. The term "Source Code" means the
+preferred form of the Original Work for making modifications to it and
+all available documentation describing how to modify the Original Work.
+Licensor agrees to provide a machine-readable copy of the Source Code of
+the Original Work along with each copy of the Original Work that
+Licensor distributes. Licensor reserves the right to satisfy this
+obligation by placing a machine-readable copy of the Source Code in an
+information repository reasonably calculated to permit inexpensive and
+convenient access by You for as long as Licensor continues to distribute
+the Original Work.
+
+4) Exclusions From License Grant. Neither the names of Licensor, nor the
+names of any contributors to the Original Work, nor any of their
+trademarks or service marks, may be used to endorse or promote products
+derived from this Original Work without express prior permission of the
+Licensor. Except as expressly stated herein, nothing in this License
+grants any license to Licensor's trademarks, copyrights, patents, trade
+secrets or any other intellectual property. No patent license is granted
+to make, use, sell, offer for sale, have made, or import embodiments of
+any patent claims other than the licensed claims defined in Section 2.
+No license is granted to the trademarks of Licensor even if such marks
+are included in the Original Work. Nothing in this License shall be
+interpreted to prohibit Licensor from licensing under terms different
+from this License any Original Work that Licensor otherwise would have a
+right to license.
+
+5) External Deployment. The term "External Deployment" means the use,
+distribution, or communication of the Original Work or Derivative Works
+in any way such that the Original Work or Derivative Works may be used
+by anyone other than You, whether those works are distributed or
+communicated to those persons or made available as an application
+intended for use over a network. As an express condition for the grants
+of license hereunder, You must treat any External Deployment by You of
+the Original Work or a Derivative Work as a distribution under section
+1(c).
+
+6) Attribution Rights. You must retain, in the Source Code of any
+Derivative Works that You create, all copyright, patent, or trademark
+notices from the Source Code of the Original Work, as well as any
+notices of licensing and any descriptive text identified therein as an
+"Attribution Notice." You must cause the Source Code for any Derivative
+Works that You create to carry a prominent Attribution Notice reasonably
+calculated to inform recipients that You have modified the Original
+Work.
+
+7) Warranty of Provenance and Disclaimer of Warranty. Licensor warrants
+that the copyright in and to the Original Work and the patent rights
+granted herein by Licensor are owned by the Licensor or are sublicensed
+to You under the terms of this License with the permission of the
+contributor(s) of those copyrights and patent rights. Except as
+expressly stated in the immediately preceding sentence, the Original
+Work is provided under this License on an "AS IS" BASIS and WITHOUT
+WARRANTY, either express or implied, including, without limitation, the
+warranties of non-infringement, merchantability or fitness for a
+particular purpose. THE ENTIRE RISK AS TO THE QUALITY OF THE ORIGINAL
+WORK IS WITH YOU. This DISCLAIMER OF WARRANTY constitutes an essential
+part of this License. No license to the Original Work is granted by this
+License except under this disclaimer.
+
+8) Limitation of Liability. Under no circumstances and under no legal
+theory, whether in tort (including negligence), contract, or otherwise,
+shall the Licensor be liable to anyone for any indirect, special,
+incidental, or consequential damages of any character arising as a
+result of this License or the use of the Original Work including,
+without limitation, damages for loss of goodwill, work stoppage,
+computer failure or malfunction, or any and all other commercial damages
+or losses. This limitation of liability shall not apply to the extent
+applicable law prohibits such limitation.
+
+9) Acceptance and Termination. If, at any time, You expressly assented
+to this License, that assent indicates your clear and irrevocable
+acceptance of this License and all of its terms and conditions. If You
+distribute or communicate copies of the Original Work or a Derivative
+Work, You must make a reasonable effort under the circumstances to
+obtain the express assent of recipients to the terms of this License.
+This License conditions your rights to undertake the activities listed
+in Section 1, including your right to create Derivative Works based upon
+the Original Work, and doing so without honoring these terms and
+conditions is prohibited by copyright law and international treaty.
+Nothing in this License is intended to affect copyright exceptions and
+limitations (including "fair use" or "fair dealing"). This License shall
+terminate immediately and You may no longer exercise any of the rights
+granted to You by this License upon your failure to honor the conditions
+in Section 1(c).
+
+10) Termination for Patent Action. This License shall terminate
+automatically and You may no longer exercise any of the rights granted
+to You by this License as of the date You commence an action, including
+a cross-claim or counterclaim, against Licensor or any licensee alleging
+that the Original Work infringes a patent. This termination provision
+shall not apply for an action alleging patent infringement by
+combinations of the Original Work with other software or hardware.
+
+11) Jurisdiction, Venue and Governing Law. Any action or suit relating
+to this License may be brought only in the courts of a jurisdiction
+wherein the Licensor resides or in which Licensor conducts its primary
+business, and under the laws of that jurisdiction excluding its
+conflict-of-law provisions. The application of the United Nations
+Convention on Contracts for the International Sale of Goods is expressly
+excluded. Any use of the Original Work outside the scope of this License
+or after its termination shall be subject to the requirements and
+penalties of copyright or patent law in the appropriate jurisdiction.
+This section shall survive the termination of this License.
+
+12) Attorneys' Fees. In any action to enforce the terms of this License
+or seeking damages relating thereto, the prevailing party shall be
+entitled to recover its costs and expenses, including, without
+limitation, reasonable attorneys' fees and costs incurred in connection
+with such action, including any appeal of such action. This section
+shall survive the termination of this License.
+
+13) Miscellaneous. If any provision of this License is held to be
+unenforceable, such provision shall be reformed only to the extent
+necessary to make it enforceable.
+
+14) Definition of "You" in This License. "You" throughout this License,
+whether in upper or lower case, means an individual or a legal entity
+exercising rights under, and complying with all of the terms of, this
+License. For legal entities, "You" includes any entity that controls, is
+controlled by, or is under common control with you. For purposes of this
+definition, "control" means (i) the power, direct or indirect, to cause
+the direction or management of such entity, whether by contract or
+otherwise, or (ii) ownership of fifty percent (50%) or more of the
+outstanding shares, or (iii) beneficial ownership of such entity.
+
+15) Right to Use. You may use the Original Work in all ways not
+otherwise restricted or conditioned by this License or by law, and
+Licensor promises not to interfere with or be responsible for such uses
+by You.
+
+16) Modification of This License. This License is Copyright (c) 2005
+Lawrence Rosen. Permission is granted to copy, distribute, or
+communicate this License without modification. Nothing in this License
+permits You to modify this License as applied to the Original Work or to
+Derivative Works. However, You may modify the text of this License and
+copy, distribute or communicate your modified version (the "Modified
+License") and apply it to other original works of authorship subject to
+the following conditions: (i) You may not indicate in any way that your
+Modified License is the "Academic Free License" or "AFL" and you may not
+use those names in the name of your Modified License; (ii) You must
+replace the notice specified in the first paragraph above with the
+notice "Licensed under <insert your license name here>" or with a notice
+of your own that is not confusingly similar to the notice in this
+License; and (iii) You may not claim that your original works are open
+source software unless your Modified License has been approved by Open
+Source Initiative (OSI) and You comply with its license review and
+certification process.

data/README.textile

@@ -0,0 +1,122 @@
+h1. SIMPLESEM Interpreter
+
+h2. Description
+
+Interpreter for the SIMPLESEM language.
+
+Author: "Rob Olson":http://thinkingdigitally.com
+
+SIMPLESEM is used in the CS141 Programming Languages course taught by "Professor Shannon Tauro":http://www.ics.uci.edu/~stauro/ at UC Irvine. This Rubygem was created out of my desire to execute SIMPLESEM programs. To my knowledge, there are none publicly available.
+
+This interpreter utilizes Nathan Sobo's "Treetop":http://github.com/nathansobo/treetop gem to create a parsing expression grammar for parsing SIMPLESEM commands.  
+
+h2. Installation and Usage
+
+Install the simplesem gem with:
+
+  $ sudo gem install robolson-simplesem
+
+Execute a SIMPLESEM program using the simplesem command. Pass the filename of the SIMLESEM source file as an argument.
+
+  $ simplesem simplesem_file.txt
+
+h2. Introduction to SIMPLESEM
+
+SIMPLESEM is an abstract semantic processor that is based on the Von Neumann model of the fetch-execute cycle.
+
+h3. SET
+
+The @set@ command is used to modify the value stored in a cell. It takes two parameters: the address of the cell whose contents is to be set, and the expression evaluating the new value.
+
+Evaluate the expression (4 * 2) and places the result into location 0:
+
+  set 0, 4 * 2
+
+Assign the value stored at location 0 into location 2:
+
+  set 2, D[0]
+
+h3. Input/Output with SET
+
+The @set@ command is also used to print to the screen and to get input from the user, through the special registers @read@ and @write@.
+
+Print the value stored at location 0:
+
+  set write, D[0]
+
+Get input from the user and store it at location 1:
+
+  set 0, read
+
+h3. JUMP
+
+The @jump@ command performs and unconditional jump to the line number specified.
+
+Jump program execution to the address at location 0:
+
+  jump D[0]
+
+h3. JUMPT
+
+The @jumpt@ command (pronounced jump-true), is a conditional jump. It only jumps if the expression given is true.
+
+Jump to line 7 if the value at <notextile>D[1]</notextile> is equal to the value at <notextile>D[0]</notextile>:
+
+  jumpt 7, D[1] = D[0]
+
+SIMPLESEM supports all the common comparison operators: >, <, >=, <=, !=, and =. Take note that the equality operator is a single '=' sign, not the usual '=='.
+
+h2. Slightly More Advanced Features of SIMPLESEM
+
+h3. Nested Data Lookups
+
+SIMPLESEM supports nesting expressions inside of the address location for accessing the data array. This statement looks up the value at location 0, adds 1 to it, then uses the result as the address of another data lookup. If <notextile>D[0]</notextile> contains the value 9--this statement will set location 5 with the value at location 10.
+
+  set 5, D[D[0]+1]
+
+h3. Indirect Addressing
+
+Assigns the value stored at location 15 into the cell whose address is the value stored at location 10:
+
+  set D[10], D[15]
+
+h3. Complex Math Expressions
+
+SIMPLESEM supports standard mathematical order of operations. The following statement sets location 1 to 14 as expected:
+
+  set 1, 2+3*4
+
+h3. Using The Instruction Pointer Variable
+
+At any point you can use the @ip@ placeholder in your code and it will evaluate to the current value of the instruction pointer, also known as the program counter. The ip is always 1 greater than the current line number because in the fetch-execute cycle the processor increments the ip after fetching the next instruction and executing it.
+
+The following program will output the text "hello world!" five times and then exit. It uses the @ip@ variable to jump execution back to the @set write@ statement.
+
+<pre><code>
+set 0, 0
+set write, "hello world!"
+set 0, D[0]+1
+jumpt ip-3, D[0] < 5
+halt
+</code></pre>
+
+h3. A Sample SIMPLESEM Program
+
+The following SIMPLESEM program calculates the "GCD":http://en.wikipedia.org/wiki/Greatest_common_divisor of two numbers. The program prompts the user to enter the two numbers when the program is executed. This program is also included in the @sample_programs@ folder.
+
+<pre><code>
+set 0, read               // first number 'n'
+set 1, read               // second number 'm'
+set 2, ip + 1             // return pointer for call to GCD
+jump 8
+set write, D[0]           // print the GCD
+halt
+jumpt D[2], D[0] = D[1]   // while(m != n)
+jumpt 12, D[1] < D[0]     // if(m < n)
+set 1, D[1]-D[0]
+jump 13
+set 0, D[0]-D[1]
+jump 8
+</code></pre>
+
+

data/Rakefile

@@ -0,0 +1,13 @@
+require 'rubygems'
+require 'rake'
+require 'echoe'
+
+Echoe.new('simplesem', '0.1.0') do |p|
+  p.description         = "SIMPLESEM Interpreter"
+  p.url                 = "http://github.com/robolson/simplesem"
+  p.author              = "Rob Olson"
+  p.email               = "rko618@gmail.com"
+  p.development_dependencies = ['treetop']
+end
+
+Dir["#{File.dirname(__FILE__)}/tasks/*.rake"].sort.each { |ext| load ext }

data/bin/simplesem

@@ -0,0 +1,15 @@
+#!/usr/bin/env ruby
+require 'rubygems'
+
+$LOAD_PATH.unshift(File.expand_path(File.dirname(__FILE__) + "/../lib"))
+require 'simplesem'
+
+if ARGV.empty?
+  puts "Usage:\n\nsimplesem simplesem_file.txt\n\n"
+  exit
+end
+
+ssp = SimpleSemProgram.new(ARGV.shift)
+ssp.run
+
+puts "\nDATA: " + ssp.data.inspect

data/lib/simplesem/arithmetic.treetop

@@ -0,0 +1,99 @@
+grammar Arithmetic  
+  rule expression
+    comparative / additive
+  end
+  
+  rule comparative
+    operand_1:additive space operator:comparison_op space operand_2:additive <BinaryOperation>
+  end
+  
+  rule comparison_op
+    '>=' {
+      def apply(a, b)
+        a >= b
+      end
+    }
+    /
+    '<=' {
+      def apply(a, b)
+        a <= b
+      end
+    }
+    /
+    '>' {
+      def apply(a, b)
+        a > b
+      end
+    }
+    /
+    '<' {
+      def apply(a, b)
+        a < b
+      end
+    }
+    /
+    '!=' {
+      def apply(a, b)
+        a != b
+      end
+    }
+    /
+    '=' {
+      def apply(a, b)
+        a == b
+      end
+    }
+  end
+  
+  rule additive
+    operand_1:multitive space operator:additive_op space operand_2:additive <BinaryOperation>
+    /
+    multitive
+  end
+  
+  rule additive_op
+    '+' {
+      def apply(a, b)
+        a + b
+      end
+    }
+    /
+    '-' {
+      def apply(a, b)
+        a - b
+      end
+    }
+  end
+
+  rule multitive
+    operand_1:primary space operator:multitive_op space operand_2:multitive <BinaryOperation>
+    /
+    primary
+  end
+  
+  rule multitive_op
+    '*' {
+      def apply(a, b)
+        a * b
+      end
+    }
+    /
+    '/' {
+      def apply(a, b)
+        a / b
+      end
+    }
+  end  
+
+  rule number
+    ('-'? [1-9] [0-9]* / '0') {
+      def eval(env={})
+        text_value.to_i
+      end
+    }
+  end
+  
+  rule space
+    ' '*
+  end
+end

data/lib/simplesem/arithmetic_node_classes.rb

@@ -0,0 +1,7 @@
+module Arithmetic
+  class BinaryOperation < Treetop::Runtime::SyntaxNode
+    def eval(env={})
+      operator.apply(operand_1.eval(env), operand_2.eval(env))      
+    end
+  end
+end

data/lib/simplesem/simple_sem.treetop

@@ -0,0 +1,103 @@
+grammar SimpleSem
+  include Arithmetic
+  
+  rule statement
+    set_stmt / jump_stmt / jumpt_stmt / halt
+  end
+  
+  rule halt
+    'halt' {
+      def execute(env={})
+        raise ProgramHalt
+      end
+    }
+  end
+  
+  rule set_stmt
+    set_stmt_assign / set_stmt_write / set_stmt_read
+  end
+
+  rule set_stmt_assign
+    'set' space loc:additive comma value:additive {
+      def execute(env)
+        env.data[loc.eval(env)] = value.eval(env)
+      end
+    }
+  end
+  
+  rule set_stmt_write
+    'set' space 'write' comma expression {
+      def execute(env)
+        puts expression.eval(env)
+      end
+    }
+    /
+    'set' space 'write' comma '"' string:(!'"' . )* '"' {
+      def execute(env)
+        puts string.text_value
+      end
+    }
+  end
+  
+  rule set_stmt_read
+    'set' space loc:additive comma 'read' {
+      def execute(env)
+        print "input: "
+        env.data[loc.eval(env)] = $stdin.gets.strip.to_i
+      end  
+    }
+  end
+  
+  rule jump_stmt
+    'jump' space loc:additive {
+      def execute(env)
+        env.pc = loc.eval(env)
+      end
+    }
+  end
+  
+  rule jumpt_stmt
+    'jumpt' space loc:additive comma expression {
+      def execute(env)
+        if expression.eval(env)
+          env.pc = loc.eval(env)
+        end
+      end
+    }
+  end
+  
+  rule primary
+    ip
+    /
+    data_lookup
+    /
+    number
+    /
+    '(' space expression space ')' {
+      def eval(env={})
+        expression.eval(env)
+      end
+    }
+  end
+  
+  rule data_lookup
+    'D[' expr:additive ']' {
+      def eval(env)
+        env.data[expr.eval(env)]
+      end
+    }
+  end
+  
+  rule ip
+    'ip' {
+      def eval(env)
+        env.pc
+      end
+    }
+  end
+  
+  rule comma
+    space ',' space
+  end
+  
+end

data/lib/simplesem/simplesem_program.rb

@@ -0,0 +1,45 @@
+require 'rubygems'
+require 'treetop'
+dir = File.dirname(__FILE__)
+require File.expand_path("#{dir}/arithmetic_node_classes")
+Treetop.load File.expand_path("#{dir}/arithmetic")
+Treetop.load File.expand_path("#{dir}/simple_sem")
+
+class ProgramHalt < Exception
+end
+
+class SimpleSemProgram
+  attr_reader :code
+  attr_accessor :data, :pc
+  
+  # Create a SimpleSemProgram instance
+  # Params:
+  #   (String)filepath: path to SimpleSem source file.
+  #   Optional because it's useful to use in tests without needing to load a file
+  def initialize filepath=nil
+    @code = Array.new
+    if filepath
+      IO.foreach(filepath) do |line|
+        @code << line.split("//", 2)[0].strip # seperate the comment from the code
+      end
+    end
+    
+    @data = Array.new
+    @pc = 0
+  end
+  
+  def run
+    @parser = SimpleSemParser.new
+    
+    @pc = 0
+    loop do
+      instruction = @code[@pc]  # fetch
+      @pc += 1                  # increment
+      begin
+        @parser.parse(instruction).execute(self)  # decode and execute
+      rescue ProgramHalt
+        break
+      end
+    end
+  end
+end

data/lib/simplesem.rb

@@ -0,0 +1,2 @@
+dir = File.dirname(__FILE__)
+require "#{dir}/simplesem/simplesem_program"

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,37 @@
+# -*- encoding: utf-8 -*-
+
+Gem::Specification.new do |s|
+  s.name = %q{simplesem}
+  s.version = "0.1.0"
+
+  s.required_rubygems_version = Gem::Requirement.new(">= 1.2") if s.respond_to? :required_rubygems_version=
+  s.authors = ["Rob Olson"]
+  s.date = %q{2009-02-26}
+  s.default_executable = %q{simplesem}
+  s.description = %q{SIMPLESEM Interpreter}
+  s.email = %q{rko618@gmail.com}
+  s.executables = ["simplesem"]
+  s.extra_rdoc_files = ["LICENSE", "README.textile", "bin/simplesem", "lib/simplesem/arithmetic.treetop", "lib/simplesem/arithmetic_node_classes.rb", "lib/simplesem/simple_sem.treetop", "lib/simplesem/simplesem_program.rb", "lib/simplesem.rb"]
+  s.files = ["LICENSE", "Manifest", "README.textile", "Rakefile", "bin/simplesem", "lib/simplesem/arithmetic.treetop", "lib/simplesem/arithmetic_node_classes.rb", "lib/simplesem/simple_sem.treetop", "lib/simplesem/simplesem_program.rb", "lib/simplesem.rb", "sample_programs/case-statement.txt", "sample_programs/gcd.txt", "sample_programs/hello-world.txt", "sample_programs/while-loop.txt", "simplesem.gemspec", "simplesem.tmproj", "test/simplesem_test.rb", "test/test_helper.rb"]
+  s.has_rdoc = true
+  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.1}
+  s.summary = %q{SIMPLESEM Interpreter}
+  s.test_files = ["test/simplesem_test.rb", "test/test_helper.rb"]
+
+  if s.respond_to? :specification_version then
+    current_version = Gem::Specification::CURRENT_SPECIFICATION_VERSION
+    s.specification_version = 2
+
+    if Gem::Version.new(Gem::RubyGemsVersion) >= Gem::Version.new('1.2.0') then
+      s.add_development_dependency(%q<treetop>, [">= 0"])
+    else
+      s.add_dependency(%q<treetop>, [">= 0"])
+    end
+  else
+    s.add_dependency(%q<treetop>, [">= 0"])
+  end
+end

data/test/simplesem_test.rb

@@ -0,0 +1,119 @@
+dir = File.dirname(__FILE__)
+require File.expand_path("#{dir}/test_helper")
+libdir = dir + "/../lib"
+require File.expand_path("#{libdir}/simplesem")
+
+class SimpleSemParserTest < Test::Unit::TestCase
+  include ParserTestHelper
+  
+  def setup
+    @parser = SimpleSemParser.new
+    @ssp = SimpleSemProgram.new
+    @ssp.data[0] = 1
+  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
+    assert_nil parse('set write, "hello world!"').execute(@ssp)
+  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]
+  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]
+  end
+  
+  def test_parenthesis
+    @ssp.data[1] = 2
+    parse('set 2, (D[0]+D[1])*2').execute(@ssp)
+    assert_equal 6, @ssp.data[2]
+  end
+  
+  def test_set_increment_instr
+    parse('set 0, D[0]+1').execute(@ssp)
+    assert_equal 2, @ssp.data[0]
+  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]
+  end
+  
+  def test_instruction_pointer
+    # run two dummy instructions, manually incrementing the program counter
+    @ssp.pc = 1
+    parse('set 0, 0').execute(@ssp)
+    @ssp.pc = 2
+    parse('set 0, ip').execute(@ssp)
+    assert_equal 2, @ssp.data[0]  # check that the parser was able to read the 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]
+  end
+  
+  def test_halt
+    assert_raise ProgramHalt do
+      parse('halt').execute(@ssp)
+    end
+  end
+end

data/test/test_helper.rb

@@ -0,0 +1,18 @@
+require 'test/unit'
+require 'rubygems'
+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

metadata

@@ -0,0 +1,92 @@
+--- !ruby/object:Gem::Specification 
+name: robolson-simplesem
+version: !ruby/object:Gem::Version 
+  version: 0.1.0
+platform: ruby
+authors: 
+- Rob Olson
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2009-02-26 00:00:00 -08:00
+default_executable: simplesem
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: treetop
+  type: :development
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+description: SIMPLESEM Interpreter
+email: rko618@gmail.com
+executables: 
+- simplesem
+extensions: []
+
+extra_rdoc_files: 
+- LICENSE
+- README.textile
+- bin/simplesem
+- lib/simplesem/arithmetic.treetop
+- lib/simplesem/arithmetic_node_classes.rb
+- lib/simplesem/simple_sem.treetop
+- lib/simplesem/simplesem_program.rb
+- lib/simplesem.rb
+files: 
+- LICENSE
+- Manifest
+- README.textile
+- Rakefile
+- bin/simplesem
+- lib/simplesem/arithmetic.treetop
+- lib/simplesem/arithmetic_node_classes.rb
+- lib/simplesem/simple_sem.treetop
+- lib/simplesem/simplesem_program.rb
+- lib/simplesem.rb
+- sample_programs/case-statement.txt
+- sample_programs/gcd.txt
+- sample_programs/hello-world.txt
+- sample_programs/while-loop.txt
+- simplesem.gemspec
+- simplesem.tmproj
+- test/simplesem_test.rb
+- test/test_helper.rb
+has_rdoc: true
+homepage: http://github.com/robolson/simplesem
+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.2.0
+signing_key: 
+specification_version: 2
+summary: SIMPLESEM Interpreter
+test_files: 
+- test/simplesem_test.rb
+- test/test_helper.rb