cauldron 0.1.3 → 0.1.5

data/test/tc_requirement.rb

@@ -1,30 +0,0 @@
-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

@@ -1,26 +0,0 @@
-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

@@ -1,52 +0,0 @@
-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

@@ -1,74 +0,0 @@
-$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/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'
-require 'test/unit/tc_method_usage'
-require 'test/unit/tc_runtime_tracking_method'
-require 'test/unit/tc_variable_declaration'
-
-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

@@ -1,81 +0,0 @@
-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

@@ -1,34 +0,0 @@
-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

@@ -1,20 +0,0 @@
-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

@@ -1,132 +0,0 @@
-$LOAD_PATH << File.expand_path('../../../../../lib',__FILE__)
-
-require 'cauldron'
-require 'required'
-require 'test/unit'
-
-class TestRealisedRuntimeMethod < Test::Unit::TestCase
-  
-  def setup
-    
-    # Create the method usage 
-    @method_var_a = MethodParameter.new
-    # Not used in the method
-    @method_var_b = MethodParameter.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(If.new,Container.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