cauldron 0.1.0

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

@@ -0,0 +1,26 @@
+
+    dependent_one = TheoryDependent.new(StringToTheory.run(
+      "if(var5.history2(var2[var3][:params]).any? { |x| x['statement_id'] == var1.last.statement_id })\nreturn true\nend"
+    ))
+    dependent_two = TheoryDependent.new(StringToTheory.run(
+      "if((var5.history2(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(var5.pass?(var2[var4])==false)\nreturn true\nend"
+    ))  
+    result_three = TheoryResult.new(StringToTheory.run(
+      "if(var5.pass?(var2[var3]))\nreturn true\nend"
+    ))    
+    Theory.new(
+      [dependent_one,dependent_two],
+      action,
+      [result_one,result_two,result_three]
+    )
+    

data/test/fixtures/theories/14/desc

@@ -0,0 +1,20 @@
+if: 
+	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
+
+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(var5.pass?(var2[var4]) == false)
+		return true
+	end
+	if(var5.pass?(var2[var3]))
+		return true
+	end

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

@@ -0,0 +1,20 @@
+
+    dependent_one = TheoryDependent.new(StringToTheory.run(
+      "if(var5.pass?(var2[var3]))\nreturn true\nend"
+    ))
+    dependent_two = TheoryDependent.new(StringToTheory.run(
+      "if(var5.pass?(var2[var4]) == false)\nreturn true\nend"
+    ))
+    action = TheoryAction.new(
+      TheoryStatement.new(StringToTheory.run('Statement.new(Return.new,var2[var4][:output])')),
+      StringToTheory.run('var5.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/15/desc

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

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

@@ -0,0 +1,30 @@
+
+      dependent_one = TheoryDependent.new(
+        StringToTheory.run(
+          "if(var1.kind_of?(RuntimeMethod))\nreturn true\nend"
+        )
+      )     
+      dependent_two = TheoryDependent.new(
+        StringToTheory.run(
+          "if(var3[var4].kind_of?(CTestCase))\nreturn true\nend"
+        )
+      )     
+      action = TheoryAction.new(
+        TheoryStatement.new(
+          StringToTheory.run(
+            'BlockStatement.new(Statement.new(InstanceCallContainer.new(Container.new(InstanceCallContainer.new(var1.params[var2],StringLength.new),Subtract.new,1),Times.new)))'
+          )
+        ),
+        StringToTheory.run('var1.statement_id')
+      )
+      result_one = TheoryResult.new(
+        StringToTheory.run(
+          "if(var1.history2(var3[var4][:params]).select {|x| x['statement_id'] == var1.last.statement_id} == var3[var4][:params][var2].length-1)\nreturn true\nend"
+        )
+      )
+        Theory.new(
+          [dependent_one,dependent_two],
+          action,
+          [result_one]
+        )    
+      

data/test/fixtures/theories/16/desc

@@ -0,0 +1,14 @@
+if: 
+	if(var1.kind_of?(RuntimeMethod))
+		return true
+	end
+	if(var3[var4].kind_of?(CTestCase))
+		return true
+	end
+
+action: 
+	<runtime_method>.add_statement_at(BlockStatement.new(Statement.new(InstanceCallContainer.new(Container.new(InstanceCallContainer.new(var1.params[var2], StringLength.new), Subtract.new, 1), Times.new))),var1.statement_id)
+result: 
+	if((var1.history2(var3[var4][:params]).select{ |x| x['statement_id'] == var1.last.statement_id} ) == var3[var4][:params][var2].length - 1)
+		return true
+	end

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

@@ -0,0 +1,25 @@
+
+        dependent_one = TheoryDependent.new(
+          StringToTheory.run(
+            "if(var1.history2(var3[var4][:params]).select {|x| x['statement_id'] == var1.last.statement_id} == var3[var4][:params][var2].length-1)\nreturn true\nend"
+          )
+        )    
+        action = TheoryAction.new(
+          TheoryStatement.new(
+            StringToTheory.run(
+              "Statement.new(var1.params[var2],Equal.new,InstanceCallContainer.new(var1.params[var2],Chop.new))"
+            )
+          ),
+          StringToTheory.run('var1.last.statement_id')
+        )
+        result_one = TheoryResult.new(
+          StringToTheory.run(
+            "if(var5.history2(var3[var4][:params]).last['variables'].last['value'] == var3[var4][:output].length)\nreturn true\nend"
+          )
+        )
+        Theory.new(
+          [dependent_one],
+          action,
+          [result_one]
+        )
+      

data/test/fixtures/theories/17/desc

@@ -0,0 +1,11 @@
+if: 
+	if((var1.history2(var3[var4][:params]).select{ |x| x['statement_id'] == var1.last.statement_id} ) == var3[var4][:params][var2].length - 1)
+		return true
+	end
+
+action: 
+	<runtime_method>.add_statement_at(Statement.new(var1.params[var2], Equal.new, InstanceCallContainer.new(var1.params[var2], Chop.new)),var1.last.statement_id)
+result: 
+	if(var5.history2(var3[var4][:params]).last['variables'].last['value'] == var3[var4][:output].length)
+		return true
+	end

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

@@ -0,0 +1,23 @@
+
+        dependent_one = TheoryDependent.new(
+          StringToTheory.run(
+            "if(var5.history2(var3[var4][:params]).last['variables'].last['value'] == var3[var4][:output].length)\nreturn true\nend"
+          )
+        )    
+        action = TheoryAction.new(
+          TheoryStatement.new(
+            StringToTheory.run(
+              "Statement.new(Return.new,var1.params[var2])"
+            )
+          ),
+          StringToTheory.run('var1.statement_id')    
+        )
+        result_one = TheoryResult.new(StringToTheory.run(
+          "if(var1.pass?(var3[var4]))\nreturn true\nend"
+        ))
+        Theory.new(
+          [dependent_one],
+          action,
+          [result_one]
+        )
+      

data/test/fixtures/theories/18/desc

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

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

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

data/test/fixtures/theories/19/desc

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

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

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

data/test/fixtures/theories/2/desc

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

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

@@ -0,0 +1,23 @@
+
+    dependent_one = TheoryDependent.new(StringToTheory.run("if(var2[var3].kind_of?(CTestCase))\nreturn true\nend"))
+    dependent_two = 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(IfContainer.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],
+      action,
+      [result_one,result_two]
+    )  
+      

data/test/fixtures/theories/20/desc

@@ -0,0 +1,17 @@
+if: 
+	if(var2[var3].kind_of?(CTestCase))
+		return true
+	end
+	if((var2[var3][:params][var6] == var2[var4][:params][var6]) == false)
+		return true
+	end
+
+action: 
+	<runtime_method>.add_statement_at(OpenStatement.new(IfContainer.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

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

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

data/test/fixtures/theories/3/desc

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

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

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

data/test/fixtures/theories/4/desc

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

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

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

data/test/fixtures/theories/5/desc

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

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

@@ -0,0 +1,13 @@
+
+    dependent_one = TheoryDependent.new(
+    	StringToTheory.run("if(var1.realise2(var2[var3][:params]).params[var3].value.length == var2[var3][:output])\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?(var2))\nreturn true\nend"),true
+		)    
+    Theory.new([dependent_one],action_one,[result_one])
+