cauldron 0.1.0

data/test/tc_requirement.rb

@@ -0,0 +1,30 @@
+require 'required'
+require 'test/unit'
+
+# Simple tests for the requirements class.
+#
+class TestRequirement < Test::Unit::TestCase
+  
+  def setup
+    
+  end
+  
+  def teardown
+System.reset
+    RuntimeMethod.reset_global_id    
+  end
+  
+  def test_structure_match_method
+    
+    # Create a simple requirement to test the structure match with
+    must_be_an_eight = Requirement.new(This.new,Equal.new,Literal.new(8))
+    
+    # Check that the structure matches the requirement
+    assert(must_be_an_eight.structure_match?([This,Equal,Literal]))
+    
+    # Check that a longer structure fails
+    assert_equal(false,must_be_an_eight.structure_match?([This,Equal,Literal,Subtract]))
+    
+  end
+  
+end

data/test/tc_suite_complete.rb

@@ -0,0 +1,26 @@
+require 'find'
+require 'test/unit'
+
+class TestSuiteComplete < Test::Unit::TestCase
+  
+  def setup
+  end
+  
+  def teardown
+  end
+
+  def test_all_test_cases_have_been_added
+    test_cases = []
+    Find.find('test') do |path|
+      if FileTest.file?(path) && File.basename(path) =~ /^tc_.*\.rb$/ 
+        test_cases << File.basename(path)
+      end
+    end
+    missing = test_cases.inject([]) do |total,x|
+       total << x unless open(File.join('test','ts_complete.rb')).read.include?(x.gsub(/\.rb$/,''))
+       total
+    end
+    assert_equal(0,missing.length)
+  end
+  
+end

data/test/tc_variable.rb

@@ -0,0 +1,52 @@
+require 'required'
+require 'test/unit'
+
+class TestVariable < Test::Unit::TestCase
+  
+  def setup    
+    
+    # Create a number of variables to use when testing
+    @string_var = 'test'.to_var 
+    @manny_var = 'manny'.to_var        
+    
+    # Simple chop instance call
+    @ruby_string = 'ruby'.to_var
+    @ruby_chop = InstanceCallContainer.new(@ruby_string,Chop.new)
+        
+  end
+  
+  def teardown
+    System.reset
+  end
+  
+  def test_variable_access
+    
+    # Create a simple string variable
+    var1 = 'test'.to_var
+    
+    # Confirm that the variable isn't literalisable?, since it has no literal value
+    assert_equal(true,var1.literalisable?)
+    
+    # Confirm that the variable is written properly
+    assert_equal('var_'+var1.variable_id.to_s,var1.write)
+    
+  end
+  
+  def test_variable_copy
+    
+    # Create a simple string variable
+    var1 = 'test'.to_var
+    
+    # Copy the variable and confirm data type
+    copied_var1 = var1.copy
+    assert_equal( true,copied_var1.kind_of?(Variable) ) 
+    
+    # Confirm that both variables have the same data type
+    assert_equal(var1.variable_id,copied_var1.variable_id,'Copied variable doesn\'t match original')
+    
+    # Confirm the length of the variables
+    assert_equal(var1.length,copied_var1.length)
+    
+  end
+  
+end

data/test/ts_complete.rb

@@ -0,0 +1,84 @@
+$LOAD_PATH << File.expand_path('../../lib',__FILE__)
+
+require 'cauldron'
+
+require 'test/unit'
+
+#require 'test/tc_suite_complete'
+
+require 'test/unit/core/tc_literal'
+require 'test/unit/core/tc_instance_call_container'
+
+# require 'test/unit/core/syntax/tc_block_container'
+# require 'test/unit/core/syntax/tc_if_container'
+# require 'test/unit/core/declaration/tc_literal_declaration'
+# 
+require 'test/unit/ruby_code/tc_string'
+require 'test/unit/ruby_code/tc_fixnum'
+require 'test/unit/ruby_code/tc_hash'
+require 'test/unit/ruby_code/tc_array'
+
+require 'test/unit/core/tc_class_method_call'
+require 'test/unit/core/method_call/tc_class_call'
+# require 'test/unit/core/tc_container'
+# require 'test/unit/core/tc_theory_generator'
+#require 'test/unit/core/tc_ctest_case'
+
+require 'test/unit/core/statement/tc_hack_statement'
+require 'test/unit/core/statement/tc_block_statement'
+require 'test/unit/core/statement/tc_open_statement'
+require 'test/unit/core/statement/tc_statement_replace_variable'
+require 'test/unit/core/statement/tc_statement'
+require 'test/unit/core/statement/tc_statement_group'
+require 'test/unit/core/statement/tc_array_access'
+require 'test/unit/core/statement/tc_theory_statement'
+
+require 'test/unit/core/structure/tc_return_structure'
+require 'test/unit/core/structure/tc_instance_call_container_structure'
+require 'test/unit/core/structure/tc_declare_new_instance_structure'
+require 'test/unit/core/structure/tc_declare_variable_as_literal_structure'
+require 'test/unit/core/structure/tc_declare_variable_as_variable_structure'
+
+require 'test/unit/core/tracking/tc_history'
+require 'test/unit/core/tracking/tc_step'
+
+require 'test/unit/core/variable/tc_array_variable'
+require 'test/unit/core/variable/tc_block_variable'
+require 'test/unit/core/variable/tc_string_variable'
+require 'test/unit/core/variable/tc_fixnum_variable'
+require 'test/unit/core/variable/tc_runtime_method_variable'
+require 'test/unit/core/variable/tc_variable_reference'
+require 'test/unit/core/variable/tc_unknown'
+require 'test/unit/core/variable/tc_method_parameter_variable'
+
+require 'test/unit/variable/tc_method_usage_variable'
+
+require 'test/unit/util/tc_method_validation'
+require 'test/unit/util/tc_string_to_theory'
+require 'test/unit/util/tc_parser'
+
+require 'test/unit/theory/tc_theory_variable'
+require 'test/unit/theory/tc_theory_dependent'
+require 'test/unit/theory/tc_theory_action'
+require 'test/unit/theory/tc_theory_result'
+#require 'test/unit/theory/tc_theory_connector'
+require 'test/unit/theory/tc_theory_implementation'
+# require 'test/unit/theory/tc_theory_chain_validator'
+require 'test/unit/theory/tc_theory_action_implementation'
+
+require 'test/unit/tc_instance_call_structure'
+require 'test/unit/tc_instance_call'
+require 'test/unit/tc_method_usage'
+require 'test/unit/tc_runtime_tracking_method'
+require 'test/unit/core/statement/tc_statement_dependencies'
+require 'test/unit/tc_statement_structure_2'
+require 'test/unit/tc_variable_declaration'
+
+require 'test/tc_contextual_variables'
+require 'test/tc_describe'
+require 'test/tc_method'
+require 'test/tc_requirement'
+require 'test/unit/core/runtime_method/tc_runtime_method'
+require 'test/unit/core/runtime_method/tc_realised_runtime_method'
+require 'test/tc_variable'
+require 'test/unit/tc_theory'

data/test/ts_stable.rb

@@ -0,0 +1,81 @@
+require 'test/unit'
+
+# TODO  Should still explictly omit the larger tests
+# require 'test/tc_suite_complete'
+
+require 'test/unit/core/tc_literal'
+require 'test/unit/core/tc_instance_call_container'
+
+require 'test/unit/core/syntax/tc_block_container'
+require 'test/unit/core/syntax/tc_if_container'
+require 'test/unit/core/declaration/tc_literal_declaration'
+
+require 'test/unit/ruby_code/tc_string'
+require 'test/unit/ruby_code/tc_fixnum'
+require 'test/unit/ruby_code/tc_hash'
+require 'test/unit/ruby_code/tc_array'
+
+require 'test/unit/core/tc_class_method_call'
+require 'test/unit/core/method_call/tc_class_call'
+require 'test/unit/core/tc_container'
+require 'test/unit/core/tc_theory_generator'
+require 'test/unit/core/tc_ctest_case'
+
+require 'test/unit/core/statement/tc_hack_statement'
+require 'test/unit/core/statement/tc_block_statement'
+require 'test/unit/core/statement/tc_open_statement'
+require 'test/unit/core/statement/tc_statement_replace_variable'
+require 'test/unit/core/statement/tc_statement'
+require 'test/unit/core/statement/tc_statement_group'
+require 'test/unit/core/statement/tc_array_access'
+require 'test/unit/core/statement/tc_theory_statement'
+
+require 'test/unit/core/structure/tc_return_structure'
+require 'test/unit/core/structure/tc_instance_call_container_structure'
+require 'test/unit/core/structure/tc_declare_new_instance_structure'
+require 'test/unit/core/structure/tc_declare_variable_as_literal_structure'
+require 'test/unit/core/structure/tc_declare_variable_as_variable_structure'
+
+require 'test/unit/core/tracking/tc_history'
+require 'test/unit/core/tracking/tc_step'
+
+require 'test/unit/core/variable/tc_array_variable'
+require 'test/unit/core/variable/tc_block_variable'
+require 'test/unit/core/variable/tc_string_variable'
+require 'test/unit/core/variable/tc_fixnum_variable'
+require 'test/unit/core/variable/tc_runtime_method_variable'
+require 'test/unit/core/variable/tc_variable_reference'
+require 'test/unit/core/variable/tc_unknown'
+require 'test/unit/core/variable/tc_method_parameter_variable'
+
+require 'test/unit/variable/tc_method_usage_variable'
+
+require 'test/unit/util/tc_method_validation'
+require 'test/unit/util/tc_string_to_theory'
+require 'test/unit/util/tc_parser'
+
+require 'test/unit/theory/tc_theory_variable'
+require 'test/unit/theory/tc_theory_dependent'
+require 'test/unit/theory/tc_theory_action'
+require 'test/unit/theory/tc_theory_result'
+require 'test/unit/theory/tc_theory_connector'
+require 'test/unit/theory/tc_theory_implementation'
+require 'test/unit/theory/tc_theory_chain_validator'
+require 'test/unit/theory/tc_theory_action_implementation'
+
+require 'test/unit/tc_instance_call_structure'
+require 'test/unit/tc_instance_call'
+require 'test/unit/tc_method_usage'
+require 'test/unit/tc_runtime_tracking_method'
+require 'test/unit/core/statement/tc_statement_dependencies'
+require 'test/unit/tc_statement_structure_2'
+require 'test/unit/tc_variable_declaration'
+
+require 'test/tc_contextual_variables'
+require 'test/tc_describe'
+require 'test/tc_method'
+require 'test/tc_requirement'
+require 'test/unit/core/runtime_method/tc_runtime_method'
+require 'test/unit/core/runtime_method/tc_realised_runtime_method'
+require 'test/tc_variable'
+require 'test/unit/tc_theory'

data/test/unit/core/declaration/tc_literal_declaration.rb

@@ -0,0 +1,34 @@
+require 'required'
+require 'test/unit'
+
+class TestLiteralDeclaration < Test::Unit::TestCase
+  
+  def setup
+   
+    @marly = 'Marly'
+    @string_declaration_a = LiteralDeclaration.new(@marly)
+    
+    @lions, @tigers, @and, @bears, @oh, @my = 'lions', 'tigers', 'and', 'bears', 'oh', 'my'
+    @woods = LiteralDeclaration.new([@lions,@tigers,@and,@bears,@oh,@my])
+          
+  end
+  
+  def teardown
+System.reset
+    RuntimeMethod.reset_global_id    
+  end
+  
+  def test_copy
+    assert_equal(@string_declaration_a.copy.write,@string_declaration_a.write)
+    assert_not_equal(@string_declaration_a.copy.value.object_id,@string_declaration_a.value.object_id)
+    
+    # Check Nil can be declared
+    assert_nothing_raised(){LiteralDeclaration.new(nil).copy}
+    
+    # Check that no relationships are maintained in arrays.
+    assert_equal(@woods.write,@woods.copy.write)        
+    assert_not_equal(@woods.value.first.object_id,@woods.copy.value.first.object_id)
+
+  end
+  
+end

data/test/unit/core/method_call/tc_class_call.rb

@@ -0,0 +1,20 @@
+require 'required'
+require 'test/unit'
+
+class TestClassCall < Test::Unit::TestCase
+  
+  def setup
+
+  end
+  
+  def teardown
+    CodeHandler.reset_global_id
+System.reset
+    RuntimeMethod.reset_global_id   
+  end  
+  
+  def test_copy
+    assert(true,ClassCall.new.copy.kind_of?(ClassCall))
+  end
+        
+end

data/test/unit/core/runtime_method/tc_realised_runtime_method.rb

@@ -0,0 +1,129 @@
+require 'required'
+require 'test/unit'
+
+class TestRealisedRuntimeMethod < Test::Unit::TestCase
+  
+  def setup
+    
+    # Create the method usage 
+    @method_var_a = MethodParameter.new(Requirement.new(InstanceCallContainer.new(This.new,ClassCall.new),Equivalent.new,StringClass.new))
+    # Not used in the method
+    @method_var_b = MethodParameter.new(Requirement.new(InstanceCallContainer.new(This.new,ClassCall.new),Equivalent.new,StringClass.new))
+    @single_parameter_usage = MethodUsage.new(@method_var_a,@method_var_b)
+    
+    # Create the simple method used in the tests
+    @simple_method = RuntimeMethod.new(@single_parameter_usage)    
+    
+    # Add a few simple statements to the method
+    @var_b = Unknown.new
+    @statement_a = Statement.new(@var_b,Equal.new,Literal.new(9))
+    @var_c = Unknown.new
+    @statement_b = Statement.new(@var_c,Equal.new,InstanceCallContainer.new(@method_var_a,Chop.new))
+    @var_d = Unknown.new
+    @statement_c = Statement.new(@var_d,Equal.new,InstanceCallContainer.new(@var_c,StringLength.new))
+    @var_e = Unknown.new
+    @var_f = Unknown.new
+    @statement_d = Statement.new(@var_e,Equal.new,@var_b,Addition.new,@var_d)
+    @simple_method.push(@statement_a)
+    @simple_method.push(@statement_b)
+    @simple_method.push(@statement_c)    
+    @simple_method.push(@statement_d)    
+    @simple_method.push(Statement.new(@var_f,Equal.new,InstanceCallContainer.new(@var_c,StringLength.new)))      
+    
+    # Create a runtime method that use nested statements
+    # var_0 = ''
+    # var_1 = 'x'
+    # 3.times do |var_2|
+    #   var_0 = var_0 + var_1
+    # end
+    #
+    @build_xxx_method = RuntimeMethod.new(MethodUsage.new)    
+    @blank_variable = Unknown.new
+    @x_variable = Unknown.new
+    @build_xxx_method.push( Statement.new(@blank_variable,Equal.new,Literal.new('')) )
+    @build_xxx_method.push( Statement.new(@x_variable,Equal.new,Literal.new('x')) )
+    nested_xxx_statement = BlockStatement.new( Statement.new(InstanceCallContainer.new(Literal.new(3),Times.new)) )
+    nested_xxx_statement.push(Statement.new(@blank_variable,Equal.new,@blank_variable,Addition.new,@x_variable) )
+    @build_xxx_method.push( nested_xxx_statement )    
+    
+  end
+  
+  def teardown
+    System.reset
+  end  
+  
+  # 1.  Test last variables are returned
+  # 2.  Test that nested variables are ignored
+  # 3.  Test that overridden variables are updated.
+  #
+  def test_final_variables
+
+      # Check that the right number of variables are returned for the method
+      #  #
+      #  # @param  [StringVariable] 'oblivion'
+      #  # @param  [StringVariable] 'daggerfall'
+      #  #
+      #  def method_0(var_0, var_1)
+      #    var_3 = 9 
+      #    var_4 = var_0.chop 
+      #    var_5 = var_4.length 
+      #    var_6 = var_3  +  var_5 
+      #    var_7 = var_4.length 
+      #  end
+      
+      # Create the realised runtime method
+      realised_simple_method = @simple_method.realise2(['oblivion','daggerfall'])
+      
+      assert_equal(
+        7,
+        realised_simple_method.final_variables().length
+      )
+      assert(realised_simple_method.final_variables().all? {|x| x.kind_of?(Variable)})
+      
+      # 2.  Check that variables declared in nested/open statements are ignored
+      
+      # `a. Create method with an open statement in it.  The final method
+      #     will look like the following:
+      #     
+      #     def test_method
+      #       var_0 = 'firefox'
+      #       if var_0.length == 7
+      #         var_1 = 'IE'
+      #       end
+      #     end
+      statement_with_open_statement = RuntimeMethod.new(MethodUsage.new)
+      # TODO  It would be useful to have a to_declaration_statement
+      firefox = 'firefox'.to_declared_variable_statement
+      statement_with_open_statement.push(firefox)
+      firefox_var = firefox.declared_variable
+      if_statement = Statement.new(IfContainer.new(InstanceCallContainer.new(firefox_var,StringLength.new),Equivalent.new,7.to_literal))
+      open_if_statement = OpenStatement.new(if_statement)
+      open_if_statement.push('IE'.to_declared_variable_statement)
+      statement_with_open_statement.push(open_if_statement)
+      realised_statement_with_open_statement = statement_with_open_statement.realise2(ParametersContainer.new)
+
+      # b.  Check that only one variables is availabe
+      assert_equal(1,realised_statement_with_open_statement.final_variables(ParametersContainer.new).length)
+      
+      # 3.  Check that overriden variables are updated so that the new value is used
+      realised_build_xxx_method = @build_xxx_method.realise2(ParametersContainer.new)
+      assert_equal(2,realised_build_xxx_method.final_variables(ParametersContainer.new).length)      
+      assert_equal(true,realised_build_xxx_method.final_variables(ParametersContainer.new).any? {|x| x.variable_id == @blank_variable.variable_id} )            
+      assert_equal(true,realised_build_xxx_method.final_variables(ParametersContainer.new).any? {|x| x.variable_id == @x_variable.variable_id} )                  
+      assert_equal(false,realised_build_xxx_method.final_variables(ParametersContainer.new).any? {|x| x.variable_id == -10 })
+      
+      # 4.  Test with additional method calls
+           
+  end  
+  
+  def test_copy
+  
+    # Create a realised method from a simple runtime method
+   runtime_method_a = RuntimeMethod.new(MethodUsage.new) 
+   runtime_method_a.push(Statement.new(Unknown.new,Equal.new,8.to_literal))
+   realised_method_a = runtime_method_a.realise2(ParametersContainer.new)
+   assert_equal(realised_method_a.length,realised_method_a.copy.length)
+    
+  end
+  
+end