cauldron 0.1.2 → 0.1.3
Sign up to get free protection for your applications and to get access to all the features.
- data/Gemfile +6 -0
- data/Gemfile.lock +63 -0
- data/History.md +5 -0
- data/Rakefile +62 -16
- data/VERSION +1 -1
- data/cauldron.gemspec +463 -0
- data/cauldron/lib/cauldron.rb +1 -1
- data/features/cauldron_generates_runtime_method.feature +7 -4
- data/features/cauldron_generates_single_paramter_methods.feature +25 -0
- data/features/cauldron_interactive_start_terminal.feature +17 -0
- data/features/cauldron_quit_terminal.feature +9 -0
- data/features/cauldron_start_terminal.feature +0 -1
- data/features/step_definitions/cauldron_steps.rb +10 -5
- data/features/step_definitions/terminal_steps.rb +27 -0
- data/features/support/env.rb +2 -0
- data/features/support/hooks.rb +15 -0
- data/lib/Chain.rb +3 -3
- data/lib/Mapping.rb +1 -0
- data/lib/PartialChain.rb +253 -0
- data/lib/Theory.rb +28 -4
- data/lib/UnifiedChain.rb +94 -125
- data/lib/cauldron.rb +3 -0
- data/lib/cauldron/demos.rb +4 -4
- data/lib/cauldron/env.rb +1 -0
- data/lib/cauldron/pot.rb +42 -38
- data/lib/cauldron/terminal.rb +19 -3
- data/lib/cauldron/util/home.rb +21 -0
- data/lib/cauldron/util/saver.rb +45 -0
- data/lib/core/Container.rb +1 -1
- data/lib/core/runtime_method/ActsAsRuntimeMethod.rb +28 -28
- data/lib/core/runtime_method/RuntimeMethod.rb +6 -23
- data/lib/core/statement/ActsAsStatement.rb +0 -96
- data/lib/core/statement/BlockStatement.rb +1 -1
- data/lib/core/statement/OpenStatement.rb +1 -1
- data/lib/core/statement/Statement.rb +39 -94
- data/lib/core/statement/TheoryStatement.rb +1 -1
- data/lib/core/syntax/BlockContainer.rb +0 -28
- data/lib/core/variable/MethodParameter.rb +1 -1
- data/lib/required.rb +2 -14
- data/lib/theories.rb +0 -1
- data/lib/theory/ActionImplementation.rb +1 -1
- data/lib/theory/TheoryAction.rb +2 -2
- data/lib/theory/TheoryConnector.rb +11 -14
- data/lib/theory/TheoryImplementation.rb +10 -9
- data/lib/util/MethodWriter.rb +10 -10
- data/sandbox.rb +23 -0
- data/spec/cauldron/pot_spec.rb +62 -10
- data/spec/cauldron/runtime_method_spec.rb +31 -17
- data/spec/cauldron/saver_spec.rb +45 -0
- data/spec/cauldron/terminal_spec.rb +10 -1
- data/spec/cauldron/theory_spec.rb +4 -4
- data/spec/cauldron/unified_chain_spec.rb +38 -0
- data/spec/spec_helper.rb +3 -1
- data/tasks/development_tasks.rake +4 -0
- data/tasks/theory_tasks.rake +16 -20
- data/test/fixtures/theories/0/desc +6 -6
- data/test/fixtures/theories/0/dump +0 -0
- data/test/fixtures/theories/1/desc +7 -7
- data/test/fixtures/theories/1/dump +0 -0
- data/test/fixtures/theories/10/desc +13 -13
- data/test/fixtures/theories/10/dump +0 -0
- data/test/fixtures/theories/11/desc +10 -10
- data/test/fixtures/theories/11/dump +0 -0
- data/test/fixtures/theories/12/desc +9 -9
- data/test/fixtures/theories/12/dump +0 -0
- data/test/fixtures/theories/13/desc +16 -16
- data/test/fixtures/theories/13/dump +0 -0
- data/test/fixtures/theories/14/desc +16 -16
- data/test/fixtures/theories/14/dump +0 -0
- data/test/fixtures/theories/15/desc +10 -10
- data/test/fixtures/theories/15/dump +0 -0
- data/test/fixtures/theories/16/desc +10 -10
- data/test/fixtures/theories/16/dump +0 -0
- data/test/fixtures/theories/17/desc +7 -7
- data/test/fixtures/theories/17/dump +0 -0
- data/test/fixtures/theories/18/desc +7 -7
- data/test/fixtures/theories/18/dump +0 -0
- data/test/fixtures/theories/19/desc +7 -7
- data/test/fixtures/theories/19/dump +0 -0
- data/test/fixtures/theories/2/desc +6 -6
- data/test/fixtures/theories/2/dump +0 -0
- data/test/fixtures/theories/20/desc +13 -13
- data/test/fixtures/theories/20/dump +0 -0
- data/test/fixtures/theories/3/desc +7 -7
- data/test/fixtures/theories/3/dump +0 -0
- data/test/fixtures/theories/4/desc +7 -7
- data/test/fixtures/theories/4/dump +0 -0
- data/test/fixtures/theories/5/desc +6 -6
- data/test/fixtures/theories/5/dump +0 -0
- data/test/fixtures/theories/6/desc +7 -7
- data/test/fixtures/theories/6/dump +0 -0
- data/test/fixtures/theories/7/desc +7 -7
- data/test/fixtures/theories/7/dump +0 -0
- data/test/fixtures/theories/8/desc +7 -7
- data/test/fixtures/theories/8/dump +0 -0
- data/test/fixtures/theories/9/desc +16 -16
- data/test/fixtures/theories/9/dump +0 -0
- data/test/fixtures/theory_implementations/0/dump +0 -0
- data/test/fixtures/theory_implementations/2/dump +0 -0
- data/test/ts_complete.rb +1 -10
- data/test/unit/core/runtime_method/tc_realised_runtime_method.rb +1 -0
- data/test/unit/core/runtime_method/tc_runtime_method.rb +16 -39
- data/test/unit/core/statement/tc_block_statement.rb +3 -3
- data/test/unit/core/statement/tc_open_statement.rb +4 -4
- data/test/unit/core/statement/tc_statement.rb +2 -147
- data/test/unit/core/statement/tc_theory_statement.rb +1 -1
- data/test/unit/theory/tc_theory_dependent.rb +3 -3
- data/test/unit/theory/tc_theory_result.rb +5 -5
- data/test/unit/util/tc_method_validation.rb +45 -45
- data/test/unit/util/tc_parser.rb +1 -1
- data/test/unit/util/tc_string_to_theory.rb +2 -2
- metadata +74 -48
- data/lib/ScopeDependencies.rb +0 -8
- data/lib/core/statement/StatementDependencies.rb +0 -271
- data/lib/core/structure/DeclareNewInstanceStructure.rb +0 -49
- data/lib/core/structure/DeclareRuntimeMethodStructure.rb +0 -34
- data/lib/core/structure/DeclareVariableAsLiteralStructure.rb +0 -31
- data/lib/core/structure/DeclareVariableAsVariableStructure.rb +0 -52
- data/lib/core/structure/FixnumAdditionStructure.rb +0 -56
- data/lib/core/structure/InstanceCallContainerStructure.rb +0 -50
- data/lib/core/structure/InstanceCallStructure.rb +0 -53
- data/lib/core/structure/InstanceMethodCallStructure.rb +0 -21
- data/lib/core/structure/ReturnStructure.rb +0 -20
- data/lib/core/structure/StatementStructure.rb +0 -11
- data/test/unit/core/statement/tc_statement_dependencies.rb +0 -147
- data/test/unit/core/structure/tc_declare_new_instance_structure.rb +0 -41
- data/test/unit/core/structure/tc_declare_variable_as_literal_structure.rb +0 -41
- data/test/unit/core/structure/tc_declare_variable_as_variable_structure.rb +0 -66
- data/test/unit/core/structure/tc_instance_call_container_structure.rb +0 -41
- data/test/unit/core/structure/tc_return_structure.rb +0 -32
- data/test/unit/tc_instance_call_structure.rb +0 -35
- data/test/unit/tc_statement_structure_2.rb +0 -43
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
2
|
+
if(var1.realise2(var2).params[0].value.length == var3.length)
|
|
3
|
+
end
|
|
4
4
|
|
|
5
5
|
action:
|
|
6
|
-
|
|
6
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var4.params[0]),var1.statement_id)
|
|
7
7
|
result:
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
8
|
+
if(var1.all_pass?(var5))
|
|
9
|
+
return true
|
|
10
|
+
end
|
|
Binary file
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
2
|
+
if(var1.realise2(var3[var4][:params]).params[0].value.length == var3[var4][:output].length)
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
5
|
|
|
6
6
|
action:
|
|
7
|
-
|
|
7
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var1.params[0]),var1.statement_id)
|
|
8
8
|
result:
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
9
|
+
if(var1.all_pass?(var3))
|
|
10
|
+
return true
|
|
11
|
+
end
|
|
Binary file
|
|
@@ -1,17 +1,17 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
2
|
+
if(var1.history(var2[var3][:params]).any?{ |x| x.statement_id == var1.last.statement_id} )
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if((var1.history(var2[var4][:params]).any?{ |x| x.statement_id == var1.last.statement_id} ) == false)
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
8
|
|
|
9
9
|
action:
|
|
10
|
-
|
|
10
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var2[var3][:output]),var1.last.statement_id)
|
|
11
11
|
result:
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
12
|
+
if(var1.pass?(var2[var3]))
|
|
13
|
+
return true
|
|
14
|
+
end
|
|
15
|
+
if(var1.pass?(var2[var4]) == false)
|
|
16
|
+
return true
|
|
17
|
+
end
|
|
Binary file
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
2
|
+
if(var1.pass?(var2[var3]))
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if(var1.pass?(var2[var4]) == false)
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
8
|
|
|
9
9
|
action:
|
|
10
|
-
|
|
10
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var2[var4][:output]),var1.statement_id)
|
|
11
11
|
result:
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
12
|
+
if(var1.pass?(var2[var4]))
|
|
13
|
+
return true
|
|
14
|
+
end
|
|
Binary file
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
2
|
+
if(var1.pass?(var2[var3]))
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if(var1.pass?(var2[var4]))
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
8
|
|
|
9
9
|
result:
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
10
|
+
if(var1.all_pass?(var2))
|
|
11
|
+
return true
|
|
12
|
+
end
|
|
Binary file
|
|
@@ -1,20 +1,20 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
2
|
+
if(var2[var3].kind_of?(CTestCase))
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if(var6.kind_of?(Fixnum))
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
|
+
if((var2[var3][:params][var6] == var2[var4][:params][var6]) == false)
|
|
9
|
+
return true
|
|
10
|
+
end
|
|
11
11
|
|
|
12
12
|
action:
|
|
13
|
-
|
|
13
|
+
<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)
|
|
14
14
|
result:
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
15
|
+
if(var5.history2(var2[var3][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} )
|
|
16
|
+
return true
|
|
17
|
+
end
|
|
18
|
+
if((var5.history2(var2[var4][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} ) == false)
|
|
19
|
+
return true
|
|
20
|
+
end
|
|
Binary file
|
|
@@ -1,20 +1,20 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
2
|
+
if(var5.history2(var2[var3][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} )
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if((var5.history2(var2[var4][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} ) == false)
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
8
|
|
|
9
9
|
action:
|
|
10
|
-
|
|
10
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var2[var3][:output]),var1.last.statement_id)
|
|
11
11
|
result:
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
12
|
+
if(var1.pass?(var2[var3]))
|
|
13
|
+
return true
|
|
14
|
+
end
|
|
15
|
+
if(var5.pass?(var2[var4]) == false)
|
|
16
|
+
return true
|
|
17
|
+
end
|
|
18
|
+
if(var5.pass?(var2[var3]))
|
|
19
|
+
return true
|
|
20
|
+
end
|
|
Binary file
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
2
|
+
if(var5.pass?(var2[var3]))
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if(var5.pass?(var2[var4]) == false)
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
8
|
|
|
9
9
|
action:
|
|
10
|
-
|
|
10
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var2[var4][:output]),var5.statement_id)
|
|
11
11
|
result:
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
12
|
+
if(var1.pass?(var2[var4]))
|
|
13
|
+
return true
|
|
14
|
+
end
|
|
Binary file
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
2
|
+
if(var1.kind_of?(RuntimeMethod))
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if(var3[var4].kind_of?(CTestCase))
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
8
|
|
|
9
9
|
action:
|
|
10
|
-
|
|
10
|
+
<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)
|
|
11
11
|
result:
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
12
|
+
if((var1.history2(var3[var4][:params]).select{ |x| x['statement_id'] == var1.last.statement_id} ) == var3[var4][:params][var2].length - 1)
|
|
13
|
+
return true
|
|
14
|
+
end
|
|
Binary file
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
2
|
+
if((var1.history2(var3[var4][:params]).select{ |x| x['statement_id'] == var1.last.statement_id} ) == var3[var4][:params][var2].length - 1)
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
5
|
|
|
6
6
|
action:
|
|
7
|
-
|
|
7
|
+
<runtime_method>.add_statement_at(Statement.new(var1.params[var2], Equal.new, InstanceCallContainer.new(var1.params[var2], Chop.new)),var1.last.statement_id)
|
|
8
8
|
result:
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
9
|
+
if(var5.history2(var3[var4][:params]).last['variables'].last['value'] == var3[var4][:output].length)
|
|
10
|
+
return true
|
|
11
|
+
end
|
|
Binary file
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
2
|
+
if(var5.history2(var3[var4][:params]).last['variables'].last['value'] == var3[var4][:output].length)
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
5
|
|
|
6
6
|
action:
|
|
7
|
-
|
|
7
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var1.params[var2]),var1.statement_id)
|
|
8
8
|
result:
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
9
|
+
if(var1.pass?(var3[var4]))
|
|
10
|
+
return true
|
|
11
|
+
end
|
|
Binary file
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
2
|
+
if(var3[var4][:params][var5].length == var3[var4][:output])
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
5
|
|
|
6
6
|
action:
|
|
7
|
-
|
|
7
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, InstanceCallContainer.new(var1.params[var2], StringLength.new)),var1.statement_id)
|
|
8
8
|
result:
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
9
|
+
if(var1.all_pass?(var3))
|
|
10
|
+
return true
|
|
11
|
+
end
|
|
Binary file
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
2
|
+
if(var1.length == var2.length)
|
|
3
|
+
end
|
|
4
4
|
|
|
5
5
|
action:
|
|
6
|
-
|
|
6
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var3),var4.statement_id)
|
|
7
7
|
result:
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
8
|
+
if(var4.all_pass?(var5))
|
|
9
|
+
return true
|
|
10
|
+
end
|
|
Binary file
|
|
@@ -1,17 +1,17 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
2
|
+
if(var2[var3].kind_of?(CTestCase))
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
|
+
if((var2[var3][:params][var6] == var2[var4][:params][var6]) == false)
|
|
6
|
+
return true
|
|
7
|
+
end
|
|
8
8
|
|
|
9
9
|
action:
|
|
10
|
-
|
|
10
|
+
<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)
|
|
11
11
|
result:
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
12
|
+
if(var5.history2(var2[var3][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} )
|
|
13
|
+
return true
|
|
14
|
+
end
|
|
15
|
+
if((var5.history2(var2[var4][:params]).any?{ |x| x['statement_id'] == var1.last.statement_id} ) == false)
|
|
16
|
+
return true
|
|
17
|
+
end
|
|
Binary file
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
2
|
+
if(var1.realise2(var2[var3][:params]).params[0].value.length == var2[var3][:output])
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
5
|
|
|
6
6
|
action:
|
|
7
|
-
|
|
7
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, InstanceCallContainer.new(var1.params[0], StringLength.new)),var1.statement_id)
|
|
8
8
|
result:
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
9
|
+
if(var1.all_pass?(var2))
|
|
10
|
+
return true
|
|
11
|
+
end
|
|
Binary file
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
2
|
+
if(var1.realise2(var2[var3][:params]).params[var3].value.length == var2[var3][:output])
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
5
|
|
|
6
6
|
action:
|
|
7
|
-
|
|
7
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var1.params[var3]),var1.statement_id)
|
|
8
8
|
result:
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
9
|
+
if(var1.pass?(var2[var3]))
|
|
10
|
+
return true
|
|
11
|
+
end
|
|
Binary file
|
|
Binary file
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
if:
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
2
|
+
if(var1.realise2(var2[var3][:params]).params[var3].value.length == var2[var3][:output])
|
|
3
|
+
return true
|
|
4
|
+
end
|
|
5
5
|
|
|
6
6
|
action:
|
|
7
|
-
|
|
7
|
+
<runtime_method>.add_statement_at(Statement.new(Return.new, var1.params[0]),var1.statement_id)
|
|
8
8
|
result:
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
9
|
+
if(var1.all_pass?(var2))
|
|
10
|
+
return true
|
|
11
|
+
end
|