cauldron 0.1.3 → 0.1.5

data/spec/cauldron/unified_chain_spec.rb

@@ -1,140 +0,0 @@
-require 'spec_helper'
-
-module Cauldron
-  
-  describe 'UnifiedChain' do 
-    
-    describe '#theory_variables' do
-      it 'gets the correct number of variables for demo 1' do
-        temp = Object.new
-        temp.extend(Cauldron::Demos)
-        demo = temp.demo_one
-        # => TODO Demos should probably only save unified chains
-        unified_chain = demo[:chain].unify_chain
-        unified_chain.theory_variables.length.should == 3           
-      end
-      it 'gets the correct number of variables for demo 2' do
-        temp = Object.new
-        temp.extend(Cauldron::Demos)
-        demo = temp.demo_two
-        unified_chain = demo[:chain].unify_chain
-        unified_chain.theory_variables.length.should == 6       
-        unified_chain.theory_variables.collect {|x| x.theory_variable_id}.uniq.length.should == 6 
-      end
-    end
-    
-    describe '#implementation_permuatations' do
-      context 'when using demo one chain' do
-        
-        it 'creates just one implementation permutation' do
-          temp = Object.new
-          temp.extend(Cauldron::Demos)
-          demo = temp.demo_one
-          unified_chain = demo[:chain].unify_chain
-          test_cases = demo[:test_cases]   
-          
-          unified_chain.implementation_permuatations(
-            RuntimeMethod.new(MethodUsage.new(MethodParameter.new)),
-            test_cases,
-            Mapping.new
-          ).length.should == 1
-        end
-        
-        it 'is a unified chain' do 
-          temp = Object.new
-          temp.extend(Cauldron::Demos)
-          demo = temp.demo_one
-          unified_chain = demo[:chain].unify_chain
-          test_cases = demo[:test_cases]   
-                    
-          unified_chain.implementation_permuatations(
-            RuntimeMethod.new(MethodUsage.new(MethodParameter.new)),
-            test_cases,
-            Mapping.new
-          )[0].should be_kind_of(ImplementedChain)          
-          
-          unified_chain.implementation_permuatations(
-            RuntimeMethod.new(MethodUsage.new(MethodParameter.new)),
-            test_cases,
-            Mapping.new
-          )[0].write.should_not include('var')          
-          
-        end
-        context 'when using demo two' do
-          it 'creates just one implementation permutation' do
-            temp = Object.new
-            temp.extend(Cauldron::Demos)
-            demo = temp.demo_two
-            unified_chain = demo[:chain].unify_chain   
-            test_cases = demo[:test_cases]   
-          
-            unified_chain.implementation_permuatations(
-              RuntimeMethod.new(MethodUsage.new(MethodParameter.new)),
-              test_cases,
-              Mapping.new
-            ).each {|chain| chain.write.should_not include('var')}          
-                                       
-          end
-        end
-      end
-      
-      describe '#mapping_permutations' do
-        before(:each) {
-          temp = Object.new
-          temp.extend(Cauldron::Demos)
-          demo = temp.demo_one
-          @unified_chain = demo[:chain].unify_chain          
-        }
-        it 'should create four permutations with one variable id and four values' do
-          values = [IntrinsicRuntimeMethod.new,IntrinsicTestCases.new,IntrinsicLiteral.new(0),IntrinsicLiteral.new(1)]
-          @unified_chain.mapping_permutations([0],values).length.should == 4
-        end
-        it 'should create 9 permutations with three variable id and three values' do
-          values = [IntrinsicRuntimeMethod.new,IntrinsicTestCases.new,IntrinsicLiteral.new(1)]
-          @unified_chain.mapping_permutations([0,1,2],values).length.should == 6
-        end
-      end
-      
-      describe '#partial_chain' do
-        before(:each) {
-          temp = Object.new
-          temp.extend(Cauldron::Demos)
-          demo = temp.demo_one
-          @unified_chain = demo[:chain].unify_chain          
-        }        
-        it 'should return a chain of length 1 when passed the range 0..0' do
-          @unified_chain.partial_chain(0..0).length.should == 1
-        end
-        
-      end
-      
-      describe '#complete?' do
-        context 'when using demo 1' do
-          before(:each) {
-            temp = Object.new
-            temp.extend(Cauldron::Demos)
-            demo = temp.demo_one
-            @unified_chain = demo[:chain].unify_chain   
-          }
-          it 'should be a complete chain' do
-            @unified_chain.complete?.should == true
-          end
-        end
-        context 'when using demo 2' do
-          before(:each){
-            temp = Object.new
-            temp.extend(Cauldron::Demos)
-            demo = temp.demo_two
-            @unified_chain = demo[:chain].unify_chain            
-          }
-          it 'should be a complete chain' do
-            @unified_chain.complete?.should == true
-          end
-        end
-      end
-      
-    end
-    
-  end
-
-end

data/test/fixtures/chains/1/declaration.txt

@@ -1,26 +0,0 @@
-
-        runtime_method = RuntimeMethod.new(MethodUsage.new(MethodParameter.new))
-        sparky = CTestCase.new
-        sparky[:params] = ['sparky']
-        sparky[:output] = 6
-        kel = CTestCase.new
-        kel[:params] = ['kel']
-        kel[:output] = 3
-        test_cases = [
-          sparky,kel
-        ]    
-        finish = Parser.run("if(runtime_method.all_pass?(test_cases))\nreturn true\nend")
-        
-        # Generate the head theory - this is the starting point and doesn't have any dependents
-        accessors, mapping = TheoryGenerator.new.generate_accessors_and_mapping(test_cases,runtime_method,7,0)
-        
-        # * Generate all the possible results of this runtime method
-        theory_results = TheoryGenerator.new.get_theory_results(accessors)
-        
-        # * Create the actual head theory
-        head_theory = Theory.new([],nil,theory_results,runtime_method.copy)        
-    
-        intial_chain = Chain.new
-        intial_chain.form_chain(head_theory,finish,mapping)
-        intial_chain
-      

data/test/fixtures/chains/2/declaration.txt

@@ -1,26 +0,0 @@
-
-        runtime_method = RuntimeMethod.new(MethodUsage.new(MethodParameter.new))
-        sparky = CTestCase.new
-        sparky[:params] = ['sparky']
-        sparky[:output] = 6
-        kel = CTestCase.new
-        kel[:params] = ['kel']
-        kel[:output] = 3
-        test_cases = [
-          sparky,kel
-        ]    
-        finish = Parser.run("if(runtime_method.all_pass?(test_cases))\nreturn true\nend")
-        
-        # Generate the head theory - this is the starting point and doesn't have any dependents
-        accessors, mapping = TheoryGenerator.new.generate_accessors_and_mapping(test_cases,runtime_method,7,0)
-        
-        # * Generate all the possible results of this runtime method
-        theory_results = TheoryGenerator.new.get_theory_results(accessors)
-        
-        # * Create the actual head theory
-        head_theory = Theory.new([],nil,theory_results,runtime_method.copy)        
-    
-        intial_chain = Chain.new
-        intial_chain.form_chain(head_theory,finish,mapping)
-        intial_chain
-      

data/test/fixtures/chains/3/declaration.txt

@@ -1,26 +0,0 @@
-
-        runtime_method = RuntimeMethod.new(MethodUsage.new(MethodParameter.new))
-        sparky = CTestCase.new
-        sparky[:params] = ['sparky']
-        sparky[:output] = 6
-        kel = CTestCase.new
-        kel[:params] = ['kel']
-        kel[:output] = 3
-        test_cases = [
-          sparky,kel
-        ]    
-        finish = Parser.run("if(runtime_method.all_pass?(test_cases))\nreturn true\nend")
-        
-        # Generate the head theory - this is the starting point and doesn't have any dependents
-        accessors, mapping = TheoryGenerator.new.generate_accessors_and_mapping(test_cases,runtime_method,7,0)
-        
-        # * Generate all the possible results of this runtime method
-        theory_results = TheoryGenerator.new.get_theory_results(accessors)
-        
-        # * Create the actual head theory
-        head_theory = Theory.new([],nil,theory_results,runtime_method.copy)        
-    
-        intial_chain = Chain.new
-        intial_chain.form_chain(head_theory,finish,mapping)
-        intial_chain
-      

data/test/fixtures/implementation_results/0/declaration.txt

@@ -1,3 +0,0 @@
-
-          TheoryResult.new(Parser.run("if(runtime_method.all_pass?(test_cases))\nreturn true\nend"))
-        

data/test/fixtures/theories/0/declaration.txt

@@ -1,9 +0,0 @@
-
-    dependent_one = TheoryDependent.new(StringToTheory.run("if(var1.realise2(var2).params[0].value.length == var3.length)\nend"))
-    action_one = TheoryAction.new(
-    	TheoryStatement.new(StringToTheory.run('Statement.new(Return.new,var4.params[0])')),
-    	StringToTheory.run('var1.statement_id')
-		)
-    result_one = TheoryResult.new(StringToTheory.run("if(var1.all_pass?(var5))\nreturn true\nend"),true)      
-    Theory.new([dependent_one],action_one,[result_one]) 
-    

data/test/fixtures/theories/0/desc

@@ -1,10 +0,0 @@
-if: 
-  if(var1.realise2(var2).params[0].value.length == var3.length)
-  end
-
-action: 
-  <runtime_method>.add_statement_at(Statement.new(Return.new, var4.params[0]),var1.statement_id)
-result: 
-  if(var1.all_pass?(var5))
-    return true
-  end

data/test/fixtures/theories/1/declaration.txt

@@ -1,15 +0,0 @@
-
-    dependent_one = TheoryDependent.new(
-    	StringToTheory.run(
-    		"if(var1.realise2(var3[var4][:params]).params[0].value.length == var3[var4][:output].length)\nreturn true\nend"
-			)
-		)
-    action_one = TheoryAction.new(
-    	TheoryStatement.new(
-    		StringToTheory.run('Statement.new(Return.new,var1.params[0])')
-			),
-			StringToTheory.run('var1.statement_id')
-		)
-    result_one = TheoryResult.new(StringToTheory.run("if(var1.all_pass?(var3))\nreturn true\nend"))      
-    Theory.new([dependent_one],action_one,[result_one]) 
-    

data/test/fixtures/theories/1/desc

@@ -1,11 +0,0 @@
-if: 
-  if(var1.realise2(var3[var4][:params]).params[0].value.length == var3[var4][:output].length)
-    return true
-  end
-
-action: 
-  <runtime_method>.add_statement_at(Statement.new(Return.new, var1.params[0]),var1.statement_id)
-result: 
-  if(var1.all_pass?(var3))
-    return true
-  end

data/test/fixtures/theories/10/declaration.txt

@@ -1,23 +0,0 @@
-
-    dependent_one = TheoryResult.new(StringToTheory.run(
-      "if(var1.history(var2[var3][:params]).any? { |x| x.statement_id == var1.last.statement_id })\nreturn true\nend"
-    ))
-    dependent_two = TheoryResult.new(StringToTheory.run(
-      "if((var1.history(var2[var4][:params]).any? { |x| x.statement_id == var1.last.statement_id })==false)\nreturn true\nend"
-    ))
-    action = TheoryAction.new(
-      TheoryStatement.new(StringToTheory.run('Statement.new(Return.new,var2[var3][:output])')),
-      StringToTheory.run('var1.last.statement_id')
-    )    
-    result_one = TheoryResult.new(StringToTheory.run(
-      "if(var1.pass?(var2[var3]))\nreturn true\nend"
-    ))
-    result_two = TheoryResult.new(StringToTheory.run(
-      "if(var1.pass?(var2[var4])==false)\nreturn true\nend"
-    ))    
-    Theory.new(
-      [dependent_one,dependent_two],
-      action,
-      [result_one,result_two]
-    )
-    

data/test/fixtures/theories/10/desc

@@ -1,17 +0,0 @@
-if: 
-  if(var1.history(var2[var3][:params]).any?{ |x| x.statement_id == var1.last.statement_id} )
-    return true
-  end
-  if((var1.history(var2[var4][:params]).any?{ |x| x.statement_id == var1.last.statement_id} ) == false)
-    return true
-  end
-
-action: 
-  <runtime_method>.add_statement_at(Statement.new(Return.new, var2[var3][:output]),var1.last.statement_id)
-result: 
-  if(var1.pass?(var2[var3]))
-    return true
-  end
-  if(var1.pass?(var2[var4]) == false)
-    return true
-  end

data/test/fixtures/theories/11/declaration.txt

@@ -1,20 +0,0 @@
-
-    dependent_one = TheoryResult.new(StringToTheory.run(
-      "if(var1.pass?(var2[var3]))\nreturn true\nend"
-    ))
-    dependent_two = TheoryResult.new(StringToTheory.run(
-      "if(var1.pass?(var2[var4]) == false)\nreturn true\nend"
-    ))
-    action = TheoryAction.new(
-      TheoryStatement.new(StringToTheory.run('Statement.new(Return.new,var2[var4][:output])')),
-      StringToTheory.run('var1.statement_id')
-    )
-    result_one = TheoryResult.new(StringToTheory.run(
-      "if(var1.pass?(var2[var4]))\nreturn true\nend"
-    ))    
-    Theory.new(
-      [dependent_one,dependent_two],
-      action,
-      [result_one]
-    )
-    

data/test/fixtures/theories/11/desc

@@ -1,14 +0,0 @@
-if: 
-  if(var1.pass?(var2[var3]))
-    return true
-  end
-  if(var1.pass?(var2[var4]) == false)
-    return true
-  end
-
-action: 
-  <runtime_method>.add_statement_at(Statement.new(Return.new, var2[var4][:output]),var1.statement_id)
-result: 
-  if(var1.pass?(var2[var4]))
-    return true
-  end

data/test/fixtures/theories/12/declaration.txt

@@ -1,18 +0,0 @@
-
-    dependent_one = TheoryDependent.new(StringToTheory.run(
-      "if(var1.pass?(var2[var3]))\nreturn true\nend"
-    ))
-    dependent_two = TheoryDependent.new(StringToTheory.run(
-      "if(var1.pass?(var2[var4]))\nreturn true\nend"
-    ))    
-    
-    result_one = TheoryResult.new(StringToTheory.run(
-      "if(var1.all_pass?(var2))\nreturn true\nend"
-    ))        
-    
-      Theory.new(
-        [dependent_one,dependent_two],
-        nil,
-        [result_one]
-      )        
-    

data/test/fixtures/theories/12/desc

@@ -1,12 +0,0 @@
-if: 
-  if(var1.pass?(var2[var3]))
-    return true
-  end
-  if(var1.pass?(var2[var4]))
-    return true
-  end
-
-result: 
-  if(var1.all_pass?(var2))
-    return true
-  end

data/test/fixtures/theories/13/declaration.txt

@@ -1,24 +0,0 @@
-
-    dependent_one = TheoryDependent.new(StringToTheory.run("if(var2[var3].kind_of?(CTestCase))\nreturn true\nend"))
-    dependent_two = TheoryDependent.new(StringToTheory.run("if(var6.kind_of?(Fixnum))\nreturn true\nend"))
-    dependent_three = TheoryDependent.new(
-      StringToTheory.run("if((var2[var3][:params][var6] == var2[var4][:params][var6])==false)\nreturn true\nend")
-    )
-    action = TheoryAction.new(
-      TheoryStatement.new(StringToTheory.run(
-        'OpenStatement.new(Statement.new(If.new,Container.new(var1.params[var6],Equivalent.new,var2[var3][:params][var6])))'
-      )),
-      StringToTheory.run('var1.statement_id')
-    )
-    result_one = TheoryResult.new(StringToTheory.run(
-      "if(var5.history2(var2[var3][:params]).any? { |x| x['statement_id'] == var1.last.statement_id })\nreturn true\nend"
-    ))
-    result_two = TheoryResult.new(StringToTheory.run(
-      "if((var5.history2(var2[var4][:params]).any? { |x| x['statement_id'] == var1.last.statement_id })==false)\nreturn true\nend"
-    ))    
-    Theory.new(
-      [dependent_one,dependent_two,dependent_three],
-      action,
-      [result_one,result_two]
-    )  
-    

data/test/fixtures/theories/13/desc

@@ -1,20 +0,0 @@
-if: 
-  if(var2[var3].kind_of?(CTestCase))
-    return true
-  end
-  if(var6.kind_of?(Fixnum))
-    return true
-  end
-  if((var2[var3][:params][var6] == var2[var4][:params][var6]) == false)
-    return true
-  end
-
-action: 
-  <runtime_method>.add_statement_at(OpenStatement.new(Statement.new(If.new, Container.new(var1.params[var6], Equivalent.new, var2[var3][:params][var6]))),var1.statement_id)
-result: 
-  if(var5.history2(var2[var3][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} )
-    return true
-  end
-  if((var5.history2(var2[var4][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} ) == false)
-    return true
-  end