rubybreaker 0.0.7 → 0.0.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (73) hide show
  1. data/README.md +6 -6
  2. data/TUTORIAL.md +64 -34
  3. data/VERSION +1 -1
  4. data/lib/rubybreaker/debug/error.rb +7 -1
  5. data/lib/rubybreaker/runtime/monitor.rb +2 -2
  6. data/lib/rubybreaker/runtime/object_wrapper.rb +32 -1
  7. data/lib/rubybreaker/runtime/overrides.rb +31 -1
  8. data/lib/rubybreaker/runtime/type_system.rb +67 -11
  9. data/test/integrated/tc_checking.rb +35 -5
  10. data/test/integrated/tc_class_methods.rb +4 -1
  11. data/test/integrated/tc_original_behavior.rb +68 -0
  12. data/test/runtime/tc_obj_wrapper.rb +50 -4
  13. data/test/testtask/tc_testtask.rb +1 -1
  14. data/test/ts_integrated.rb +3 -1
  15. data/webpage/images/title.png +0 -0
  16. data/webpage/index.html +6 -6
  17. data/webpage/rdoc/Object.html +5 -1
  18. data/webpage/rdoc/Rake.html +5 -1
  19. data/webpage/rdoc/Rake/RubyBreakerTestTask.html +5 -1
  20. data/webpage/rdoc/RubyBreaker.html +5 -1
  21. data/webpage/rdoc/RubyBreaker/Breakable.html +5 -1
  22. data/webpage/rdoc/RubyBreaker/Broken.html +5 -1
  23. data/webpage/rdoc/RubyBreaker/Context.html +5 -1
  24. data/webpage/rdoc/RubyBreaker/Errors.html +5 -1
  25. data/webpage/rdoc/RubyBreaker/Errors/ArgumentTypeError.html +216 -0
  26. data/webpage/rdoc/RubyBreaker/Errors/{SubtypeFailure.html → ArityError.html} +7 -3
  27. data/webpage/rdoc/RubyBreaker/Errors/InternalError.html +5 -1
  28. data/webpage/rdoc/RubyBreaker/Errors/InvalidSubtypeCheck.html +5 -1
  29. data/webpage/rdoc/RubyBreaker/Errors/InvalidTypeConstruction.html +5 -1
  30. data/webpage/rdoc/RubyBreaker/Errors/ReturnTypeError.html +216 -0
  31. data/webpage/rdoc/RubyBreaker/Errors/TypeError.html +5 -1
  32. data/webpage/rdoc/RubyBreaker/Errors/UserError.html +5 -1
  33. data/webpage/rdoc/RubyBreaker/ObjectPosition.html +5 -1
  34. data/webpage/rdoc/RubyBreaker/Position.html +5 -1
  35. data/webpage/rdoc/RubyBreaker/RDocSupport.html +5 -1
  36. data/webpage/rdoc/RubyBreaker/RubyTypeUtils.html +5 -1
  37. data/webpage/rdoc/RubyBreaker/Runtime.html +10 -1
  38. data/webpage/rdoc/RubyBreaker/Runtime/Inspector.html +5 -1
  39. data/webpage/rdoc/RubyBreaker/Runtime/MethodInfo.html +5 -1
  40. data/webpage/rdoc/RubyBreaker/Runtime/Monitor.html +7 -3
  41. data/webpage/rdoc/RubyBreaker/Runtime/MonitorInstaller.html +5 -1
  42. data/webpage/rdoc/RubyBreaker/Runtime/MonitorSwitch.html +5 -1
  43. data/webpage/rdoc/RubyBreaker/Runtime/ObjectWrapper.html +37 -2
  44. data/webpage/rdoc/RubyBreaker/Runtime/Pluggable.html +5 -1
  45. data/webpage/rdoc/RubyBreaker/Runtime/TypeSigParser.html +5 -1
  46. data/webpage/rdoc/RubyBreaker/Runtime/TypeSigUnparser.html +5 -1
  47. data/webpage/rdoc/RubyBreaker/Runtime/TypeSystem.html +103 -16
  48. data/webpage/rdoc/RubyBreaker/TypeComparer.html +5 -1
  49. data/webpage/rdoc/RubyBreaker/TypeDefs.html +5 -1
  50. data/webpage/rdoc/RubyBreaker/TypeDefs/AnyType.html +5 -1
  51. data/webpage/rdoc/RubyBreaker/TypeDefs/BlockType.html +5 -1
  52. data/webpage/rdoc/RubyBreaker/TypeDefs/DuckType.html +5 -1
  53. data/webpage/rdoc/RubyBreaker/TypeDefs/FusionType.html +5 -1
  54. data/webpage/rdoc/RubyBreaker/TypeDefs/MethodListType.html +5 -1
  55. data/webpage/rdoc/RubyBreaker/TypeDefs/MethodType.html +5 -1
  56. data/webpage/rdoc/RubyBreaker/TypeDefs/NilType.html +5 -1
  57. data/webpage/rdoc/RubyBreaker/TypeDefs/NominalType.html +5 -1
  58. data/webpage/rdoc/RubyBreaker/TypeDefs/OptionalType.html +5 -1
  59. data/webpage/rdoc/RubyBreaker/TypeDefs/OrType.html +5 -1
  60. data/webpage/rdoc/RubyBreaker/TypeDefs/SelfType.html +5 -1
  61. data/webpage/rdoc/RubyBreaker/TypeDefs/Type.html +5 -1
  62. data/webpage/rdoc/RubyBreaker/TypeDefs/VarLengthType.html +5 -1
  63. data/webpage/rdoc/RubyBreaker/TypeUnparser.html +5 -1
  64. data/webpage/rdoc/RubyBreaker/Typing.html +5 -1
  65. data/webpage/rdoc/RubyBreaker/Util.html +5 -1
  66. data/webpage/rdoc/Test.html +5 -1
  67. data/webpage/rdoc/Test/Unit.html +5 -1
  68. data/webpage/rdoc/created.rid +8 -8
  69. data/webpage/rdoc/index.html +5 -1
  70. data/webpage/rdoc/js/search_index.js +1 -1
  71. data/webpage/rdoc/table_of_contents.html +39 -31
  72. data/webpage/tutorial.html +69 -39
  73. metadata +8 -5
data/webpage/rdoc/RubyBreaker/Runtime/Inspector.html CHANGED
@@ -94,13 +94,17 @@
94
94
 
95
95
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
96
96
 
97
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
98
+
99
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
100
+
97
101
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
98
102
 
99
103
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
100
104
 
101
105
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
102
106
 
103
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
107
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
104
108
 
105
109
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
106
110
 
data/webpage/rdoc/RubyBreaker/Runtime/MethodInfo.html CHANGED
@@ -94,13 +94,17 @@
94
94
 
95
95
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
96
96
 
97
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
98
+
99
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
100
+
97
101
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
98
102
 
99
103
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
100
104
 
101
105
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
102
106
 
103
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
107
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
104
108
 
105
109
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
106
110
 
data/webpage/rdoc/RubyBreaker/Runtime/Monitor.html CHANGED
@@ -108,13 +108,17 @@
108
108
 
109
109
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
110
110
 
111
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
112
+
113
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
114
+
111
115
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
112
116
 
113
117
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
114
118
 
115
119
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
116
120
 
117
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
121
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
118
122
 
119
123
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
120
124
 
@@ -425,7 +429,7 @@ call.</p>
425
429
  <span class="ruby-keyword">when</span> <span class="ruby-value">:check</span>
426
430
  <span class="ruby-identifier">mm</span>.<span class="ruby-identifier">check_before_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
427
431
  <span class="ruby-keyword">end</span>
428
- <span class="ruby-keyword">rescue</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">TypeError</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-identifier">e</span>
432
+ <span class="ruby-keyword">rescue</span> <span class="ruby-operator">::</span><span class="ruby-constant">Exception</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-identifier">e</span>
429
433
  <span class="ruby-comment"># Trap it, turn on the global monitor and then re-raise the</span>
430
434
  <span class="ruby-comment"># exception</span>
431
435
  <span class="ruby-constant">GLOBAL_MONITOR_SWITCH</span>.<span class="ruby-identifier">turn_on</span>()
@@ -453,7 +457,7 @@ call.</p>
453
457
  <span class="ruby-keyword">when</span> <span class="ruby-value">:check</span>
454
458
  <span class="ruby-identifier">mm</span>.<span class="ruby-identifier">check_after_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
455
459
  <span class="ruby-keyword">end</span>
456
- <span class="ruby-keyword">rescue</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">TypeError</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-identifier">e</span>
460
+ <span class="ruby-keyword">rescue</span> <span class="ruby-operator">::</span><span class="ruby-constant">Exception</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-identifier">e</span>
457
461
  <span class="ruby-comment"># Trap it, turn on the global monitor and then re-raise the</span>
458
462
  <span class="ruby-comment"># exception</span>
459
463
  <span class="ruby-constant">GLOBAL_MONITOR_SWITCH</span>.<span class="ruby-identifier">turn_on</span>()
data/webpage/rdoc/RubyBreaker/Runtime/MonitorInstaller.html CHANGED
@@ -92,13 +92,17 @@
92
92
 
93
93
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
94
94
 
95
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
96
+
97
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
98
+
95
99
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
96
100
 
97
101
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
98
102
 
99
103
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
100
104
 
101
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
105
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
102
106
 
103
107
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
104
108
 
data/webpage/rdoc/RubyBreaker/Runtime/MonitorSwitch.html CHANGED
@@ -100,13 +100,17 @@
100
100
 
101
101
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
102
102
 
103
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
104
+
105
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
106
+
103
107
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
104
108
 
105
109
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
106
110
 
107
111
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
108
112
 
109
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
113
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
110
114
 
111
115
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
112
116
 
data/webpage/rdoc/RubyBreaker/Runtime/ObjectWrapper.html CHANGED
@@ -102,13 +102,17 @@
102
102
 
103
103
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
104
104
 
105
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
106
+
107
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
108
+
105
109
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
106
110
 
107
111
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
108
112
 
109
113
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
110
114
 
111
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
115
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
112
116
 
113
117
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
114
118
 
@@ -346,14 +350,45 @@ instance_exec</p>
346
350
  <span class="ruby-keyword">def</span> <span class="ruby-identifier">method_missing</span>(<span class="ruby-identifier">mname</span>,*<span class="ruby-identifier">args</span>,&amp;<span class="ruby-identifier">blk</span>)
347
351
  <span class="ruby-operator">::</span><span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;Method_missing for #{mname}&quot;</span>)
348
352
  <span class="ruby-keyword">if</span> <span class="ruby-constant">GLOBAL_MONITOR_SWITCH</span>.<span class="ruby-identifier">switch</span>
353
+
354
+ <span class="ruby-comment"># Be safe and turn the switch off</span>
355
+ <span class="ruby-constant">GLOBAL_MONITOR_SWITCH</span>.<span class="ruby-identifier">turn_off</span>
356
+
349
357
  <span class="ruby-comment"># Must handle send method specially (do not track them)</span>
350
358
  <span class="ruby-keyword">if</span> [<span class="ruby-value">:&quot;__send__&quot;</span>, <span class="ruby-value">:send</span>].<span class="ruby-identifier">include?</span>(<span class="ruby-identifier">mname</span>)
351
359
  <span class="ruby-identifier">mname</span> = <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>]
352
360
  <span class="ruby-identifier">args</span> = <span class="ruby-identifier">args</span>[<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-value">-1</span>]
353
361
  <span class="ruby-keyword">end</span>
354
362
  <span class="ruby-ivar">@__rubybreaker_type</span>.<span class="ruby-identifier">add_meth</span>(<span class="ruby-identifier">mname</span>)
363
+
364
+ <span class="ruby-comment"># If self is not subject to breaking, then no need to send the</span>
365
+ <span class="ruby-comment"># wrapped arguments. This part is super IMPORTANT. Otherwise many</span>
366
+ <span class="ruby-comment"># native code stuff won't work including Numeric#+.</span>
367
+ <span class="ruby-identifier">obj</span> = <span class="ruby-keyword">self</span>.<span class="ruby-identifier">__rubybreaker_obj</span>
368
+ <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-operator">::</span><span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-operator">::</span><span class="ruby-constant">Module</span>)
369
+ <span class="ruby-identifier">mod</span> = <span class="ruby-identifier">is_obj_mod</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Runtime</span>.<span class="ruby-identifier">eigen_class</span>(<span class="ruby-identifier">obj</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span>
370
+
371
+ <span class="ruby-comment"># Monitor map doesn't exist MEANS it's not being monitored.</span>
372
+ <span class="ruby-keyword">unless</span> <span class="ruby-constant">MONITOR_MAP</span>[<span class="ruby-identifier">mod</span>]
373
+ <span class="ruby-identifier">args</span>.<span class="ruby-identifier">map!</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">arg</span><span class="ruby-operator">|</span>
374
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">respond_to?</span>(<span class="ruby-constant">WRAPPED_INDICATOR</span>)
375
+ <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">__rubybreaker_obj</span>
376
+ <span class="ruby-keyword">else</span>
377
+ <span class="ruby-identifier">arg</span>
378
+ <span class="ruby-keyword">end</span>
379
+ <span class="ruby-keyword">end</span>
380
+ <span class="ruby-keyword">end</span>
381
+
382
+ <span class="ruby-comment"># Turn on the global switch again</span>
383
+ <span class="ruby-constant">GLOBAL_MONITOR_SWITCH</span>.<span class="ruby-identifier">turn_on</span>
384
+
385
+ <span class="ruby-comment"># And call the original method </span>
355
386
  <span class="ruby-identifier">retval</span> = <span class="ruby-ivar">@__rubybreaker_obj</span>.<span class="ruby-identifier">send</span>(<span class="ruby-identifier">mname</span>, *<span class="ruby-identifier">args</span>, &amp;<span class="ruby-identifier">blk</span>)
356
- <span class="ruby-identifier">retval</span> = <span class="ruby-constant">ObjectWrapper</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">retval</span>)
387
+
388
+ <span class="ruby-comment"># No need to wrap the object again...if it's wrapped already</span>
389
+ <span class="ruby-keyword">unless</span> <span class="ruby-identifier">retval</span>.<span class="ruby-identifier">respond_to?</span>(<span class="ruby-constant">WRAPPED_INDICATOR</span>)
390
+ <span class="ruby-identifier">retval</span> = <span class="ruby-constant">ObjectWrapper</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">retval</span>)
391
+ <span class="ruby-keyword">end</span>
357
392
  <span class="ruby-keyword">else</span>
358
393
  <span class="ruby-identifier">retval</span> = <span class="ruby-ivar">@__rubybreaker_obj</span>.<span class="ruby-identifier">send</span>(<span class="ruby-identifier">mname</span>, *<span class="ruby-identifier">args</span>, &amp;<span class="ruby-identifier">blk</span>)
359
394
  <span class="ruby-keyword">end</span>
data/webpage/rdoc/RubyBreaker/Runtime/Pluggable.html CHANGED
@@ -94,13 +94,17 @@
94
94
 
95
95
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
96
96
 
97
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
98
+
99
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
100
+
97
101
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
98
102
 
99
103
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
100
104
 
101
105
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
102
106
 
103
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
107
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
104
108
 
105
109
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
106
110
 
data/webpage/rdoc/RubyBreaker/Runtime/TypeSigParser.html CHANGED
@@ -88,13 +88,17 @@
88
88
 
89
89
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
90
90
 
91
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
92
+
93
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
94
+
91
95
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
92
96
 
93
97
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
94
98
 
95
99
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
96
100
 
97
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
101
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
98
102
 
99
103
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
100
104
 
data/webpage/rdoc/RubyBreaker/Runtime/TypeSigUnparser.html CHANGED
@@ -104,13 +104,17 @@
104
104
 
105
105
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
106
106
 
107
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
108
+
109
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
110
+
107
111
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
108
112
 
109
113
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
110
114
 
111
115
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
112
116
 
113
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
117
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
114
118
 
115
119
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
116
120
 
data/webpage/rdoc/RubyBreaker/Runtime/TypeSystem.html CHANGED
@@ -86,6 +86,8 @@
86
86
 
87
87
  <ul class="link-list">
88
88
 
89
+ <li><a href="#method-i-arity_check">#arity_check</a>
90
+
89
91
  <li><a href="#method-i-break_after_method">#break_after_method</a>
90
92
 
91
93
  <li><a href="#method-i-break_before_method">#break_before_method</a>
@@ -124,13 +126,17 @@
124
126
 
125
127
  <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
126
128
 
129
+ <li><a href="../../RubyBreaker/Errors/ArgumentTypeError.html">RubyBreaker::Errors::ArgumentTypeError</a>
130
+
131
+ <li><a href="../../RubyBreaker/Errors/ArityError.html">RubyBreaker::Errors::ArityError</a>
132
+
127
133
  <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
128
134
 
129
135
  <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
130
136
 
131
137
  <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
132
138
 
133
- <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
139
+ <li><a href="../../RubyBreaker/Errors/ReturnTypeError.html">RubyBreaker::Errors::ReturnTypeError</a>
134
140
 
135
141
  <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
136
142
 
@@ -265,7 +271,7 @@ module/class specified for “breaking”. It updates the type information.</p>
265
271
 
266
272
 
267
273
  <div class="method-source-code" id="break_after_method-source">
268
- <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 301</span>
274
+ <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 357</span>
269
275
  <span class="ruby-keyword">def</span> <span class="ruby-identifier">break_after_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
270
276
 
271
277
  <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Module</span>)
@@ -319,7 +325,7 @@ wrapper so it can be tracked of the method calls.</p>
319
325
 
320
326
 
321
327
  <div class="method-source-code" id="break_before_method-source">
322
- <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 238</span>
328
+ <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 294</span>
323
329
  <span class="ruby-keyword">def</span> <span class="ruby-identifier">break_before_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
324
330
 
325
331
  <span class="ruby-comment"># Use the eigen class if the object is a module/class and use the</span>
@@ -336,7 +342,7 @@ wrapper so it can be tracked of the method calls.</p>
336
342
  <span class="ruby-identifier">ret</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">ret</span>
337
343
 
338
344
  <span class="ruby-identifier">args</span> = <span class="ruby-identifier">args</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">arg</span><span class="ruby-operator">|</span>
339
- <span class="ruby-keyword">if</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">TrueClass</span>) <span class="ruby-operator">||</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">FalseClass</span>)
345
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">arg</span> <span class="ruby-operator">==</span> <span class="ruby-keyword">nil</span> <span class="ruby-operator">||</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">TrueClass</span>) <span class="ruby-operator">||</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">FalseClass</span>)
340
346
  <span class="ruby-comment"># XXX: would overrides resolve this issue?</span>
341
347
  <span class="ruby-identifier">arg</span>
342
348
  <span class="ruby-keyword">else</span>
@@ -405,7 +411,7 @@ wrapper so it can be tracked of the method calls.</p>
405
411
 
406
412
 
407
413
  <div class="method-source-code" id="check_after_method-source">
408
- <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 211</span>
414
+ <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 269</span>
409
415
  <span class="ruby-keyword">def</span> <span class="ruby-identifier">check_after_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
410
416
  <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Module</span>)
411
417
  <span class="ruby-identifier">mod</span> = <span class="ruby-identifier">is_obj_mod</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Runtime</span>.<span class="ruby-identifier">eigen_class</span>(<span class="ruby-identifier">obj</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span>
@@ -415,8 +421,6 @@ wrapper so it can be tracked of the method calls.</p>
415
421
 
416
422
  <span class="ruby-comment"># Let's take things out of the MethodInfo object</span>
417
423
  <span class="ruby-identifier">meth_name</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">meth_name</span>
418
- <span class="ruby-identifier">args</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">args</span>
419
- <span class="ruby-identifier">blk</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">blk</span>
420
424
  <span class="ruby-identifier">ret</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">ret</span>
421
425
 
422
426
  <span class="ruby-comment"># Get the registered method type for this method</span>
@@ -426,7 +430,7 @@ wrapper so it can be tracked of the method calls.</p>
426
430
  <span class="ruby-keyword">if</span> <span class="ruby-operator">!</span><span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">ret_type</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">ret_type</span>)
427
431
  <span class="ruby-identifier">msg</span> = <span class="ruby-identifier">type_error_msg_prefix</span>(<span class="ruby-identifier">mod</span>, <span class="ruby-identifier">meth_name</span>) <span class="ruby-operator">+</span>
428
432
  <span class="ruby-node">&quot; return value does not have type #{ret_type.unparse()}.&quot;</span>
429
- <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">TypeError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">msg</span>)
433
+ <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">ReturnTypeError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">msg</span>)
430
434
  <span class="ruby-keyword">end</span>
431
435
  <span class="ruby-keyword">end</span></pre>
432
436
  </div><!-- check_after_method-source -->
@@ -455,7 +459,7 @@ wrapper so it can be tracked of the method calls.</p>
455
459
 
456
460
 
457
461
  <div class="method-source-code" id="check_before_method-source">
458
- <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 182</span>
462
+ <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 204</span>
459
463
  <span class="ruby-keyword">def</span> <span class="ruby-identifier">check_before_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
460
464
  <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Module</span>)
461
465
  <span class="ruby-identifier">mod</span> = <span class="ruby-identifier">is_obj_mod</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Runtime</span>.<span class="ruby-identifier">eigen_class</span>(<span class="ruby-identifier">obj</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span>
@@ -466,19 +470,55 @@ wrapper so it can be tracked of the method calls.</p>
466
470
  <span class="ruby-comment"># Let's take things out of the MethodInfo object</span>
467
471
  <span class="ruby-identifier">meth_name</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">meth_name</span>
468
472
  <span class="ruby-identifier">args</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">args</span>
469
- <span class="ruby-identifier">blk</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">blk</span>
470
- <span class="ruby-identifier">ret</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">ret</span>
473
+ <span class="ruby-comment"># blk = meth_info.blk</span>
471
474
 
472
475
  <span class="ruby-comment"># Get the registered method type for this method</span>
473
476
  <span class="ruby-identifier">meth_type</span> = <span class="ruby-identifier">meth_type_map</span>[<span class="ruby-identifier">meth_name</span>]
474
477
 
475
- <span class="ruby-identifier">args</span>.<span class="ruby-identifier">each_with_index</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">arg</span>, <span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
476
- <span class="ruby-identifier">arg_type</span> = <span class="ruby-constant">NominalType</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">arg</span>.<span class="ruby-identifier">class</span>)
477
- <span class="ruby-keyword">if</span> <span class="ruby-operator">!</span><span class="ruby-identifier">arg_type</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">arg_types</span>[<span class="ruby-identifier">i</span>])
478
+ <span class="ruby-comment"># Do an arity check first. </span>
479
+ <span class="ruby-keyword">if</span> <span class="ruby-operator">!</span><span class="ruby-identifier">arity_check</span>(<span class="ruby-identifier">args</span>.<span class="ruby-identifier">size</span>, <span class="ruby-identifier">meth_type</span>)
480
+ <span class="ruby-identifier">msg</span> = <span class="ruby-identifier">type_error_msg_prefix</span>(<span class="ruby-identifier">mod</span>, <span class="ruby-identifier">meth_name</span>) <span class="ruby-operator">+</span>
481
+ <span class="ruby-node">&quot; has an arity of #{meth_type.arg_types.size} &quot;</span> <span class="ruby-operator">+</span>
482
+ <span class="ruby-node">&quot;but #{args.size} arguments were passed in&quot;</span>
483
+ <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">ArityError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">msg</span>)
484
+ <span class="ruby-keyword">end</span>
485
+
486
+ <span class="ruby-comment"># Remember what the last formal argument type was so that, if it is</span>
487
+ <span class="ruby-comment"># a variable length argument type, we use to check the remaining</span>
488
+ <span class="ruby-comment"># arguments.</span>
489
+ <span class="ruby-identifier">last_supertype</span> = <span class="ruby-keyword">nil</span>
490
+
491
+ <span class="ruby-comment"># Check actual arguments up until the last position of the formal</span>
492
+ <span class="ruby-comment"># argument type. If the number of the formal arguments is less than</span>
493
+ <span class="ruby-comment"># actual arguments, it means the last formal argument is a variable</span>
494
+ <span class="ruby-comment"># length. If it's the other way around, there are optional</span>
495
+ <span class="ruby-comment"># arguments.</span>
496
+ <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">each_with_index</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">supertype</span>, <span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
497
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">supertype</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">OptionalType</span>) <span class="ruby-operator">||</span>
498
+ <span class="ruby-identifier">supertype</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">VarLengthType</span>)
499
+ <span class="ruby-identifier">supertype</span> = <span class="ruby-identifier">supertype</span>.<span class="ruby-identifier">type</span>
500
+ <span class="ruby-keyword">end</span>
501
+ <span class="ruby-identifier">last_supertype</span> = <span class="ruby-identifier">supertype</span>
502
+ <span class="ruby-keyword">break</span> <span class="ruby-keyword">if</span> <span class="ruby-identifier">i</span> <span class="ruby-operator">&gt;=</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">size</span>
503
+ <span class="ruby-identifier">subtype</span> = <span class="ruby-constant">NominalType</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">args</span>[<span class="ruby-identifier">i</span>].<span class="ruby-identifier">class</span>)
504
+ <span class="ruby-keyword">if</span> <span class="ruby-operator">!</span><span class="ruby-identifier">subtype</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">supertype</span>)
478
505
  <span class="ruby-identifier">msg</span> = <span class="ruby-identifier">type_error_msg_prefix</span>(<span class="ruby-identifier">mod</span>, <span class="ruby-identifier">meth_name</span>) <span class="ruby-operator">+</span>
479
506
  <span class="ruby-node">&quot;'s #{Util.ordinalize(i+1)} argument &quot;</span> <span class="ruby-operator">+</span>
480
- <span class="ruby-node">&quot;does not have type #{arg_type.unparse()}.&quot;</span>
481
- <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">TypeError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">msg</span>)
507
+ <span class="ruby-node">&quot;does not have type #{supertype.unparse()}.&quot;</span>
508
+ <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">ArgumentTypeError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">msg</span>)
509
+ <span class="ruby-keyword">end</span>
510
+ <span class="ruby-keyword">end</span>
511
+
512
+ <span class="ruby-comment"># Handle the remaining actual arguments</span>
513
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">size</span> <span class="ruby-operator">&lt;</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">size</span>
514
+ <span class="ruby-keyword">for</span> <span class="ruby-identifier">i</span> <span class="ruby-keyword">in</span> <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">size</span><span class="ruby-operator">..</span><span class="ruby-identifier">args</span>.<span class="ruby-identifier">size</span><span class="ruby-operator">-</span><span class="ruby-value">1</span>
515
+ <span class="ruby-identifier">subtype</span> = <span class="ruby-constant">NominalType</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">args</span>[<span class="ruby-identifier">i</span>].<span class="ruby-identifier">class</span>)
516
+ <span class="ruby-keyword">if</span> <span class="ruby-operator">!</span><span class="ruby-identifier">subtype</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">last_supertype</span>)
517
+ <span class="ruby-identifier">msg</span> = <span class="ruby-identifier">type_error_msg_prefix</span>(<span class="ruby-identifier">mod</span>, <span class="ruby-identifier">meth_name</span>) <span class="ruby-operator">+</span>
518
+ <span class="ruby-node">&quot;'s #{Util.ordinalize(i+1)} argument &quot;</span> <span class="ruby-operator">+</span>
519
+ <span class="ruby-node">&quot;does not have type #{last_supertype.unparse()}.&quot;</span>
520
+ <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">ArgumentTypeError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">msg</span>)
521
+ <span class="ruby-keyword">end</span>
482
522
  <span class="ruby-keyword">end</span>
483
523
  <span class="ruby-keyword">end</span>
484
524
 
@@ -499,6 +539,51 @@ wrapper so it can be tracked of the method calls.</p>
499
539
  <h3 class="section-header">Protected Instance Methods</h3>
500
540
 
501
541
 
542
+ <div id="method-i-arity_check" class="method-detail ">
543
+
544
+ <div class="method-heading">
545
+ <span class="method-name">arity_check</span><span
546
+ class="method-args">(num_of_args, meth_type)</span>
547
+ <span class="method-click-advice">click to toggle source</span>
548
+ </div>
549
+
550
+
551
+ <div class="method-description">
552
+
553
+ <p>This method performs the arity check.</p>
554
+
555
+
556
+
557
+ <div class="method-source-code" id="arity_check-source">
558
+ <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 182</span>
559
+ <span class="ruby-keyword">def</span> <span class="ruby-identifier">arity_check</span>(<span class="ruby-identifier">num_of_args</span>, <span class="ruby-identifier">meth_type</span>)
560
+ <span class="ruby-identifier">arg_types</span> = <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">arg_types</span>
561
+
562
+ <span class="ruby-identifier">opt</span> = <span class="ruby-keyword">false</span>
563
+ <span class="ruby-identifier">varlen</span> = <span class="ruby-keyword">false</span>
564
+
565
+ <span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">each_with_index</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">arg_type</span>, <span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
566
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">arg_type</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">OptionalType</span>)
567
+ <span class="ruby-identifier">opt</span> = <span class="ruby-keyword">true</span>
568
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">arg_type</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">VarLengthType</span>)
569
+ <span class="ruby-identifier">varlen</span> = <span class="ruby-keyword">true</span>
570
+ <span class="ruby-keyword">end</span>
571
+ <span class="ruby-keyword">end</span>
572
+ <span class="ruby-identifier">check</span> = (<span class="ruby-identifier">opt</span> <span class="ruby-operator">&amp;&amp;</span> <span class="ruby-identifier">num_of_args</span> <span class="ruby-operator">&lt;=</span> <span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">size</span>) <span class="ruby-operator">||</span>
573
+ (<span class="ruby-identifier">varlen</span> <span class="ruby-operator">&amp;&amp;</span> <span class="ruby-identifier">num_of_args</span> <span class="ruby-operator">&gt;=</span> <span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">size</span>) <span class="ruby-operator">||</span>
574
+ <span class="ruby-identifier">num_of_args</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">size</span>
575
+ <span class="ruby-keyword">return</span> <span class="ruby-identifier">check</span>
576
+ <span class="ruby-keyword">end</span></pre>
577
+ </div><!-- arity_check-source -->
578
+
579
+ </div>
580
+
581
+
582
+
583
+
584
+ </div><!-- arity_check-method -->
585
+
586
+
502
587
  <div id="method-i-is_object_wrapped-3F" class="method-detail ">
503
588
 
504
589
  <div class="method-heading">
@@ -745,6 +830,8 @@ false.</p>
745
830
  <div class="method-source-code" id="type_error_msg_prefix-source">
746
831
  <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 173</span>
747
832
  <span class="ruby-keyword">def</span> <span class="ruby-identifier">type_error_msg_prefix</span>(<span class="ruby-identifier">mod</span>, <span class="ruby-identifier">meth_name</span>)
833
+ <span class="ruby-comment"># Match eigen class and returns a prefix that is a class method</span>
834
+ <span class="ruby-comment"># using dot (.) instead of double colons (::).</span>
748
835
  <span class="ruby-identifier">result</span> = <span class="ruby-node">%r#&lt;Class:(.+)&gt;/</span>.<span class="ruby-identifier">match</span>(<span class="ruby-node">&quot;#{mod}&quot;</span>)
749
836
  <span class="ruby-identifier">prefix</span> = <span class="ruby-identifier">result</span> <span class="ruby-operator">?</span> <span class="ruby-node">&quot;#{result[1]}.&quot;</span> <span class="ruby-operator">:</span> <span class="ruby-node">&quot;#{mod}#&quot;</span>
750
837
  <span class="ruby-keyword">return</span> <span class="ruby-node">&quot;#{prefix}#{meth_name}&quot;</span>