rubybreaker 0.0.1 → 0.0.2

Sign up to get free protection for your applications and to get access to all the features.
Files changed (122) hide show
  1. data/NEWS +48 -0
  2. data/README.md +56 -20
  3. data/Rakefile +9 -34
  4. data/TODO +10 -10
  5. data/VERSION +1 -0
  6. data/bin/gen_stub_rubylib +35 -36
  7. data/bin/rubybreaker +1 -4
  8. data/lib/rubybreaker/debug.rb +8 -4
  9. data/lib/rubybreaker/rubylib/core.rb +738 -571
  10. data/lib/rubybreaker/runtime/inspector.rb +16 -7
  11. data/lib/rubybreaker/runtime/monitor.rb +14 -18
  12. data/lib/rubybreaker/runtime/object_wrapper.rb +9 -3
  13. data/lib/rubybreaker/runtime/overrides.rb +51 -8
  14. data/lib/rubybreaker/runtime/pluggable.rb +1 -3
  15. data/lib/rubybreaker/runtime/type_placeholder.rb +2 -6
  16. data/lib/rubybreaker/runtime/type_system.rb +53 -17
  17. data/lib/rubybreaker/runtime/typesig_parser.rb +1 -0
  18. data/lib/rubybreaker/runtime/util.rb +18 -0
  19. data/lib/rubybreaker/runtime.rb +42 -15
  20. data/lib/rubybreaker/type/type_comparer.rb +10 -10
  21. data/lib/rubybreaker/type/type_grammar.treetop +30 -21
  22. data/lib/rubybreaker/type/type_unparser.rb +2 -2
  23. data/lib/rubybreaker/typing/subtyping.rb +21 -21
  24. data/lib/rubybreaker/util.rb +11 -1
  25. data/lib/rubybreaker.rb +75 -54
  26. data/test/integrated/tc_class_methods.rb +35 -0
  27. data/test/integrated/tc_inherit_broken.rb +29 -0
  28. data/test/integrated/tc_method_missing.rb +1 -1
  29. data/test/runtime/tc_obj_wrapper.rb +104 -4
  30. data/test/ts_integrated.rb +2 -0
  31. data/test/type/tc_comparer.rb +96 -96
  32. data/test/type/tc_parser.rb +18 -0
  33. data/test/type/tc_unparser.rb +16 -0
  34. data/test/typing/tc_typing.rb +20 -20
  35. data/webpage/footer.html +1 -1
  36. data/webpage/header.html +7 -7
  37. data/webpage/index.html +65 -28
  38. data/webpage/rdoc/RubyBreaker/Breakable.html +280 -0
  39. data/webpage/rdoc/RubyBreaker/Broken/BrokenEigen.html +304 -0
  40. data/webpage/rdoc/RubyBreaker/Broken.html +308 -0
  41. data/webpage/rdoc/RubyBreaker/Context.html +421 -0
  42. data/webpage/rdoc/RubyBreaker/Debug.html +411 -0
  43. data/webpage/rdoc/RubyBreaker/Errors/InternalError.html +263 -0
  44. data/webpage/rdoc/RubyBreaker/Errors/InvalidSubtypeCheck.html +263 -0
  45. data/webpage/rdoc/RubyBreaker/Errors/InvalidTypeConstruction.html +214 -0
  46. data/webpage/rdoc/RubyBreaker/Errors/SubtypeFailure.html +212 -0
  47. data/webpage/rdoc/RubyBreaker/Errors/TypeError.html +212 -0
  48. data/webpage/rdoc/RubyBreaker/Errors/UserError.html +264 -0
  49. data/webpage/rdoc/RubyBreaker/Errors.html +209 -0
  50. data/webpage/rdoc/RubyBreaker/Kernel.html +259 -0
  51. data/webpage/rdoc/RubyBreaker/Main.html +560 -0
  52. data/webpage/rdoc/RubyBreaker/ObjectPosition.html +334 -0
  53. data/webpage/rdoc/RubyBreaker/Position.html +463 -0
  54. data/webpage/rdoc/RubyBreaker/RubyTypeUtils.html +308 -0
  55. data/webpage/rdoc/RubyBreaker/Runtime/Inspector.html +380 -0
  56. data/webpage/rdoc/RubyBreaker/Runtime/MethodInfo.html +324 -0
  57. data/webpage/rdoc/RubyBreaker/Runtime/Monitor.html +354 -0
  58. data/webpage/rdoc/RubyBreaker/Runtime/MonitorInstaller.html +379 -0
  59. data/webpage/rdoc/RubyBreaker/Runtime/MonitorSwitch.html +382 -0
  60. data/webpage/rdoc/RubyBreaker/Runtime/MonitorUtils.html +400 -0
  61. data/webpage/rdoc/RubyBreaker/Runtime/ObjectWrapper.html +411 -0
  62. data/webpage/rdoc/RubyBreaker/Runtime/Pluggable.html +305 -0
  63. data/webpage/rdoc/RubyBreaker/Runtime/TypePlaceholder.html +280 -0
  64. data/webpage/rdoc/RubyBreaker/Runtime/TypeSigParser.html +283 -0
  65. data/webpage/rdoc/RubyBreaker/Runtime/TypeSystem.html +630 -0
  66. data/webpage/rdoc/RubyBreaker/Runtime.html +255 -0
  67. data/webpage/rdoc/RubyBreaker/TestCase.html +332 -0
  68. data/webpage/rdoc/RubyBreaker/TypeComparer.html +304 -0
  69. data/webpage/rdoc/RubyBreaker/TypeDefs/AnyType.html +260 -0
  70. data/webpage/rdoc/RubyBreaker/TypeDefs/BlockType.html +310 -0
  71. data/webpage/rdoc/RubyBreaker/TypeDefs/DuckType.html +320 -0
  72. data/webpage/rdoc/RubyBreaker/TypeDefs/FusionType.html +323 -0
  73. data/webpage/rdoc/RubyBreaker/TypeDefs/MethodListType.html +281 -0
  74. data/webpage/rdoc/RubyBreaker/TypeDefs/MethodType.html +282 -0
  75. data/webpage/rdoc/RubyBreaker/TypeDefs/NilType.html +260 -0
  76. data/webpage/rdoc/RubyBreaker/TypeDefs/NominalType.html +282 -0
  77. data/webpage/rdoc/RubyBreaker/TypeDefs/OptionalType.html +281 -0
  78. data/webpage/rdoc/RubyBreaker/TypeDefs/OrType.html +281 -0
  79. data/webpage/rdoc/RubyBreaker/TypeDefs/SelfType.html +329 -0
  80. data/webpage/rdoc/RubyBreaker/TypeDefs/Type.html +409 -0
  81. data/webpage/rdoc/RubyBreaker/TypeDefs/VarLengthType.html +282 -0
  82. data/webpage/rdoc/RubyBreaker/TypeDefs.html +212 -0
  83. data/webpage/rdoc/RubyBreaker/TypeUnparser.html +273 -0
  84. data/webpage/rdoc/RubyBreaker/Typing.html +305 -0
  85. data/webpage/rdoc/RubyBreaker/Utilities.html +294 -0
  86. data/webpage/rdoc/RubyBreaker.html +337 -0
  87. data/webpage/rdoc/created.rid +26 -0
  88. data/webpage/rdoc/images/add.png +0 -0
  89. data/webpage/rdoc/images/brick.png +0 -0
  90. data/webpage/rdoc/images/brick_link.png +0 -0
  91. data/webpage/rdoc/images/bug.png +0 -0
  92. data/webpage/rdoc/images/bullet_black.png +0 -0
  93. data/webpage/rdoc/images/bullet_toggle_minus.png +0 -0
  94. data/webpage/rdoc/images/bullet_toggle_plus.png +0 -0
  95. data/webpage/rdoc/images/date.png +0 -0
  96. data/webpage/rdoc/images/delete.png +0 -0
  97. data/webpage/rdoc/images/find.png +0 -0
  98. data/webpage/rdoc/images/loadingAnimation.gif +0 -0
  99. data/webpage/rdoc/images/macFFBgHack.png +0 -0
  100. data/webpage/rdoc/images/package.png +0 -0
  101. data/webpage/rdoc/images/page_green.png +0 -0
  102. data/webpage/rdoc/images/page_white_text.png +0 -0
  103. data/webpage/rdoc/images/page_white_width.png +0 -0
  104. data/webpage/rdoc/images/plugin.png +0 -0
  105. data/webpage/rdoc/images/ruby.png +0 -0
  106. data/webpage/rdoc/images/tag_blue.png +0 -0
  107. data/webpage/rdoc/images/tag_green.png +0 -0
  108. data/webpage/rdoc/images/transparent.png +0 -0
  109. data/webpage/rdoc/images/wrench.png +0 -0
  110. data/webpage/rdoc/images/wrench_orange.png +0 -0
  111. data/webpage/rdoc/images/zoom.png +0 -0
  112. data/webpage/rdoc/index.html +165 -0
  113. data/webpage/rdoc/js/darkfish.js +153 -0
  114. data/webpage/rdoc/js/jquery.js +18 -0
  115. data/webpage/rdoc/js/navigation.js +142 -0
  116. data/webpage/rdoc/js/search.js +94 -0
  117. data/webpage/rdoc/js/search_index.js +1 -0
  118. data/webpage/rdoc/js/searcher.js +228 -0
  119. data/webpage/rdoc/rdoc.css +543 -0
  120. data/webpage/rdoc/table_of_contents.html +376 -0
  121. data/webpage/rubybreaker.css +31 -31
  122. metadata +93 -6
@@ -0,0 +1,304 @@
1
+ <!DOCTYPE html>
2
+
3
+ <html>
4
+ <head>
5
+ <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
6
+
7
+ <title>module RubyBreaker::TypeComparer - RDoc Documentation</title>
8
+
9
+ <link type="text/css" media="screen" href="../rdoc.css" rel="stylesheet">
10
+
11
+ <script type="text/javascript">
12
+ var rdoc_rel_prefix = "../";
13
+ </script>
14
+
15
+ <script type="text/javascript" charset="utf-8" src="../js/jquery.js"></script>
16
+ <script type="text/javascript" charset="utf-8" src="../js/navigation.js"></script>
17
+ <script type="text/javascript" charset="utf-8" src="../js/search_index.js"></script>
18
+ <script type="text/javascript" charset="utf-8" src="../js/search.js"></script>
19
+ <script type="text/javascript" charset="utf-8" src="../js/searcher.js"></script>
20
+ <script type="text/javascript" charset="utf-8" src="../js/darkfish.js"></script>
21
+
22
+
23
+ <body id="top" class="module">
24
+ <nav id="metadata">
25
+ <nav id="home-section" class="section">
26
+ <h3 class="section-header">
27
+ <a href="../index.html">Home</a>
28
+ <a href="../table_of_contents.html#classes">Classes</a>
29
+ <a href="../table_of_contents.html#methods">Methods</a>
30
+ </h3>
31
+ </nav>
32
+
33
+
34
+ <nav id="search-section" class="section project-section" class="initially-hidden">
35
+ <form action="#" method="get" accept-charset="utf-8">
36
+ <h3 class="section-header">
37
+ <input type="text" name="search" placeholder="Search" id="search-field"
38
+ title="Type to search, Up and Down to navigate, Enter to load">
39
+ </h3>
40
+ </form>
41
+
42
+ <ul id="search-results" class="initially-hidden"></ul>
43
+ </nav>
44
+
45
+
46
+ <div id="file-metadata">
47
+ <nav id="file-list-section" class="section">
48
+ <h3 class="section-header">Defined In</h3>
49
+ <ul>
50
+ <li>lib/rubybreaker/type/type_comparer.rb
51
+ </ul>
52
+ </nav>
53
+
54
+
55
+ </div>
56
+
57
+ <div id="class-metadata">
58
+
59
+
60
+ <!-- Included Modules -->
61
+ <nav id="includes-section" class="section">
62
+ <h3 class="section-header">Included Modules</h3>
63
+
64
+ <ul class="link-list">
65
+
66
+
67
+ <li><a class="include" href="TypeDefs.html">RubyBreaker::TypeDefs</a>
68
+
69
+
70
+ </ul>
71
+ </nav>
72
+
73
+ <!-- Method Quickref -->
74
+ <nav id="method-list-section" class="section">
75
+ <h3 class="section-header">Methods</h3>
76
+
77
+ <ul class="link-list">
78
+
79
+ <li><a href="#method-c-compare">::compare</a>
80
+
81
+ </ul>
82
+ </nav>
83
+
84
+ </div>
85
+
86
+ <div id="project-metadata">
87
+
88
+ <nav id="classindex-section" class="section project-section">
89
+ <h3 class="section-header">Class and Module Index</h3>
90
+
91
+ <ul class="link-list">
92
+
93
+ <li><a href="../RubyBreaker.html">RubyBreaker</a>
94
+
95
+ <li><a href="../RubyBreaker/Breakable.html">RubyBreaker::Breakable</a>
96
+
97
+ <li><a href="../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
98
+
99
+ <li><a href="../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
100
+
101
+ <li><a href="../RubyBreaker/Context.html">RubyBreaker::Context</a>
102
+
103
+ <li><a href="../RubyBreaker/Debug.html">RubyBreaker::Debug</a>
104
+
105
+ <li><a href="../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
106
+
107
+ <li><a href="../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
108
+
109
+ <li><a href="../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
110
+
111
+ <li><a href="../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
112
+
113
+ <li><a href="../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
114
+
115
+ <li><a href="../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
116
+
117
+ <li><a href="../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
118
+
119
+ <li><a href="../RubyBreaker/Kernel.html">RubyBreaker::Kernel</a>
120
+
121
+ <li><a href="../RubyBreaker/Main.html">RubyBreaker::Main</a>
122
+
123
+ <li><a href="../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
124
+
125
+ <li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
126
+
127
+ <li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
128
+
129
+ <li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
130
+
131
+ <li><a href="../RubyBreaker/Runtime/Inspector.html">RubyBreaker::Runtime::Inspector</a>
132
+
133
+ <li><a href="../RubyBreaker/Runtime/MethodInfo.html">RubyBreaker::Runtime::MethodInfo</a>
134
+
135
+ <li><a href="../RubyBreaker/Runtime/Monitor.html">RubyBreaker::Runtime::Monitor</a>
136
+
137
+ <li><a href="../RubyBreaker/Runtime/MonitorInstaller.html">RubyBreaker::Runtime::MonitorInstaller</a>
138
+
139
+ <li><a href="../RubyBreaker/Runtime/MonitorSwitch.html">RubyBreaker::Runtime::MonitorSwitch</a>
140
+
141
+ <li><a href="../RubyBreaker/Runtime/MonitorUtils.html">RubyBreaker::Runtime::MonitorUtils</a>
142
+
143
+ <li><a href="../RubyBreaker/Runtime/ObjectWrapper.html">RubyBreaker::Runtime::ObjectWrapper</a>
144
+
145
+ <li><a href="../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
146
+
147
+ <li><a href="../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
148
+
149
+ <li><a href="../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
150
+
151
+ <li><a href="../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
152
+
153
+ <li><a href="../RubyBreaker/TestCase.html">RubyBreaker::TestCase</a>
154
+
155
+ <li><a href="../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
156
+
157
+ <li><a href="../RubyBreaker/TypeDefs.html">RubyBreaker::TypeDefs</a>
158
+
159
+ <li><a href="../RubyBreaker/TypeDefs/AnyType.html">RubyBreaker::TypeDefs::AnyType</a>
160
+
161
+ <li><a href="../RubyBreaker/TypeDefs/BlockType.html">RubyBreaker::TypeDefs::BlockType</a>
162
+
163
+ <li><a href="../RubyBreaker/TypeDefs/DuckType.html">RubyBreaker::TypeDefs::DuckType</a>
164
+
165
+ <li><a href="../RubyBreaker/TypeDefs/FusionType.html">RubyBreaker::TypeDefs::FusionType</a>
166
+
167
+ <li><a href="../RubyBreaker/TypeDefs/MethodListType.html">RubyBreaker::TypeDefs::MethodListType</a>
168
+
169
+ <li><a href="../RubyBreaker/TypeDefs/MethodType.html">RubyBreaker::TypeDefs::MethodType</a>
170
+
171
+ <li><a href="../RubyBreaker/TypeDefs/NilType.html">RubyBreaker::TypeDefs::NilType</a>
172
+
173
+ <li><a href="../RubyBreaker/TypeDefs/NominalType.html">RubyBreaker::TypeDefs::NominalType</a>
174
+
175
+ <li><a href="../RubyBreaker/TypeDefs/OptionalType.html">RubyBreaker::TypeDefs::OptionalType</a>
176
+
177
+ <li><a href="../RubyBreaker/TypeDefs/OrType.html">RubyBreaker::TypeDefs::OrType</a>
178
+
179
+ <li><a href="../RubyBreaker/TypeDefs/SelfType.html">RubyBreaker::TypeDefs::SelfType</a>
180
+
181
+ <li><a href="../RubyBreaker/TypeDefs/Type.html">RubyBreaker::TypeDefs::Type</a>
182
+
183
+ <li><a href="../RubyBreaker/TypeDefs/VarLengthType.html">RubyBreaker::TypeDefs::VarLengthType</a>
184
+
185
+ <li><a href="../RubyBreaker/TypeUnparser.html">RubyBreaker::TypeUnparser</a>
186
+
187
+ <li><a href="../RubyBreaker/Typing.html">RubyBreaker::Typing</a>
188
+
189
+ <li><a href="../RubyBreaker/Utilities.html">RubyBreaker::Utilities</a>
190
+
191
+ </ul>
192
+ </nav>
193
+
194
+ </div>
195
+ </nav>
196
+
197
+ <div id="documentation">
198
+ <h1 class="module">module RubyBreaker::TypeComparer</h1>
199
+
200
+ <div id="description" class="description">
201
+
202
+ <p>This module compares two RubyBreaker-defined types for the syntactic
203
+ equivalence.</p>
204
+
205
+ </div><!-- description -->
206
+
207
+
208
+
209
+
210
+ <section id="5Buntitled-5D" class="documentation-section">
211
+
212
+
213
+
214
+
215
+
216
+
217
+
218
+
219
+ <!-- Methods -->
220
+
221
+ <section id="public-class-5Buntitled-5D-method-details" class="method-section section">
222
+ <h3 class="section-header">Public Class Methods</h3>
223
+
224
+
225
+ <div id="method-c-compare" class="method-detail ">
226
+
227
+ <div class="method-heading">
228
+ <span class="method-name">compare</span><span
229
+ class="method-args">(lhs,rhs)</span>
230
+ <span class="method-click-advice">click to toggle source</span>
231
+ </div>
232
+
233
+
234
+ <div class="method-description">
235
+
236
+ <p>This equal method determines whether two types are
237
+ <strong>syntactically</strong> equivalent. Note that this is NOT a type
238
+ equivalent check.</p>
239
+
240
+
241
+
242
+ <div class="method-source-code" id="compare-source">
243
+ <pre><span class="ruby-comment"># File lib/rubybreaker/type/type_comparer.rb, line 95</span>
244
+ <span class="ruby-keyword">def</span> <span class="ruby-keyword">self</span>.<span class="ruby-identifier">compare</span>(<span class="ruby-identifier">lhs</span>,<span class="ruby-identifier">rhs</span>)
245
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">lhs</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">rhs</span>
246
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-keyword">true</span>
247
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">!=</span> <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">class</span>
248
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-keyword">false</span>
249
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">NominalType</span>)
250
+ <span class="ruby-identifier">is_equal</span> = (<span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">mod</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">mod</span>)
251
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">SelfType</span>)
252
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">SelfType</span>)
253
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">DuckType</span>)
254
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-identifier">duck_compare</span>(<span class="ruby-identifier">lhs</span>,<span class="ruby-identifier">rhs</span>)
255
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">FusionType</span>)
256
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-keyword">self</span>.<span class="ruby-identifier">compare</span>(<span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">nom_type</span>, <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">nom_type</span>)
257
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">is_equal</span> <span class="ruby-comment"># do more testing</span>
258
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-identifier">duck_compare</span>(<span class="ruby-identifier">lhs</span>,<span class="ruby-identifier">rhs</span>)
259
+ <span class="ruby-keyword">end</span>
260
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">MethodType</span>)
261
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">meth_name</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">meth_name</span>
262
+ <span class="ruby-keyword">if</span> <span class="ruby-identifier">is_equal</span> <span class="ruby-comment"># then do more testing</span>
263
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-keyword">self</span>.<span class="ruby-identifier">proc_compare</span>(<span class="ruby-identifier">lhs</span>,<span class="ruby-identifier">rhs</span>)
264
+ <span class="ruby-keyword">end</span>
265
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">BlockType</span>)
266
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-keyword">self</span>.<span class="ruby-identifier">proc_compare</span>(<span class="ruby-identifier">lhs</span>,<span class="ruby-identifier">rhs</span>)
267
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">MethodListType</span>)
268
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-keyword">self</span>.<span class="ruby-identifier">meth_list_compare</span>(<span class="ruby-identifier">lhs</span>,<span class="ruby-identifier">rhs</span>)
269
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">OrType</span>)
270
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-keyword">self</span>.<span class="ruby-identifier">or_compare</span>(<span class="ruby-identifier">lhs</span>,<span class="ruby-identifier">rhs</span>)
271
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">VarLengthType</span>)
272
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">VarLengthType</span>) <span class="ruby-operator">&amp;&amp;</span>
273
+ <span class="ruby-keyword">self</span>.<span class="ruby-identifier">compare</span>(<span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">type</span>, <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">type</span>)
274
+ <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">OptionalType</span>)
275
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">OptionalType</span>) <span class="ruby-operator">&amp;&amp;</span>
276
+ <span class="ruby-keyword">self</span>.<span class="ruby-identifier">compare</span>(<span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">type</span>, <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">type</span>)
277
+ <span class="ruby-keyword">else</span>
278
+ <span class="ruby-identifier">is_equal</span> = <span class="ruby-identifier">lhs</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">rhs</span>.<span class="ruby-identifier">class</span>
279
+ <span class="ruby-keyword">end</span>
280
+ <span class="ruby-keyword">return</span> <span class="ruby-identifier">is_equal</span>
281
+ <span class="ruby-keyword">end</span></pre>
282
+ </div><!-- compare-source -->
283
+
284
+ </div>
285
+
286
+
287
+
288
+
289
+ </div><!-- compare-method -->
290
+
291
+
292
+ </section><!-- public-class-method-details -->
293
+
294
+ </section><!-- 5Buntitled-5D -->
295
+
296
+ </div><!-- documentation -->
297
+
298
+
299
+ <footer id="validator-badges">
300
+ <p><a href="http://validator.w3.org/check/referer">[Validate]</a>
301
+ <p>Generated by <a href="https://github.com/rdoc/rdoc">RDoc</a> 3.12.
302
+ <p>Generated with the <a href="http://deveiate.org/projects/Darkfish-Rdoc/">Darkfish Rdoc Generator</a> 3.
303
+ </footer>
304
+
@@ -0,0 +1,260 @@
1
+ <!DOCTYPE html>
2
+
3
+ <html>
4
+ <head>
5
+ <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
6
+
7
+ <title>class RubyBreaker::TypeDefs::AnyType - RDoc Documentation</title>
8
+
9
+ <link type="text/css" media="screen" href="../../rdoc.css" rel="stylesheet">
10
+
11
+ <script type="text/javascript">
12
+ var rdoc_rel_prefix = "../../";
13
+ </script>
14
+
15
+ <script type="text/javascript" charset="utf-8" src="../../js/jquery.js"></script>
16
+ <script type="text/javascript" charset="utf-8" src="../../js/navigation.js"></script>
17
+ <script type="text/javascript" charset="utf-8" src="../../js/search_index.js"></script>
18
+ <script type="text/javascript" charset="utf-8" src="../../js/search.js"></script>
19
+ <script type="text/javascript" charset="utf-8" src="../../js/searcher.js"></script>
20
+ <script type="text/javascript" charset="utf-8" src="../../js/darkfish.js"></script>
21
+
22
+
23
+ <body id="top" class="class">
24
+ <nav id="metadata">
25
+ <nav id="home-section" class="section">
26
+ <h3 class="section-header">
27
+ <a href="../../index.html">Home</a>
28
+ <a href="../../table_of_contents.html#classes">Classes</a>
29
+ <a href="../../table_of_contents.html#methods">Methods</a>
30
+ </h3>
31
+ </nav>
32
+
33
+
34
+ <nav id="search-section" class="section project-section" class="initially-hidden">
35
+ <form action="#" method="get" accept-charset="utf-8">
36
+ <h3 class="section-header">
37
+ <input type="text" name="search" placeholder="Search" id="search-field"
38
+ title="Type to search, Up and Down to navigate, Enter to load">
39
+ </h3>
40
+ </form>
41
+
42
+ <ul id="search-results" class="initially-hidden"></ul>
43
+ </nav>
44
+
45
+
46
+ <div id="file-metadata">
47
+ <nav id="file-list-section" class="section">
48
+ <h3 class="section-header">Defined In</h3>
49
+ <ul>
50
+ <li>lib/rubybreaker/type/type.rb
51
+ </ul>
52
+ </nav>
53
+
54
+
55
+ </div>
56
+
57
+ <div id="class-metadata">
58
+
59
+ <nav id="parent-class-section" class="section">
60
+ <h3 class="section-header">Parent</h3>
61
+
62
+ <p class="link"><a href="Type.html">RubyBreaker::TypeDefs::Type</a>
63
+
64
+ </nav>
65
+
66
+
67
+ <!-- Method Quickref -->
68
+ <nav id="method-list-section" class="section">
69
+ <h3 class="section-header">Methods</h3>
70
+
71
+ <ul class="link-list">
72
+
73
+ <li><a href="#method-c-new">::new</a>
74
+
75
+ </ul>
76
+ </nav>
77
+
78
+ </div>
79
+
80
+ <div id="project-metadata">
81
+
82
+ <nav id="classindex-section" class="section project-section">
83
+ <h3 class="section-header">Class and Module Index</h3>
84
+
85
+ <ul class="link-list">
86
+
87
+ <li><a href="../../RubyBreaker.html">RubyBreaker</a>
88
+
89
+ <li><a href="../../RubyBreaker/Breakable.html">RubyBreaker::Breakable</a>
90
+
91
+ <li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
92
+
93
+ <li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
94
+
95
+ <li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
96
+
97
+ <li><a href="../../RubyBreaker/Debug.html">RubyBreaker::Debug</a>
98
+
99
+ <li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
100
+
101
+ <li><a href="../../RubyBreaker/Errors/InternalError.html">RubyBreaker::Errors::InternalError</a>
102
+
103
+ <li><a href="../../RubyBreaker/Errors/InvalidSubtypeCheck.html">RubyBreaker::Errors::InvalidSubtypeCheck</a>
104
+
105
+ <li><a href="../../RubyBreaker/Errors/InvalidTypeConstruction.html">RubyBreaker::Errors::InvalidTypeConstruction</a>
106
+
107
+ <li><a href="../../RubyBreaker/Errors/SubtypeFailure.html">RubyBreaker::Errors::SubtypeFailure</a>
108
+
109
+ <li><a href="../../RubyBreaker/Errors/TypeError.html">RubyBreaker::Errors::TypeError</a>
110
+
111
+ <li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
112
+
113
+ <li><a href="../../RubyBreaker/Kernel.html">RubyBreaker::Kernel</a>
114
+
115
+ <li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
116
+
117
+ <li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
118
+
119
+ <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
120
+
121
+ <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
122
+
123
+ <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
124
+
125
+ <li><a href="../../RubyBreaker/Runtime/Inspector.html">RubyBreaker::Runtime::Inspector</a>
126
+
127
+ <li><a href="../../RubyBreaker/Runtime/MethodInfo.html">RubyBreaker::Runtime::MethodInfo</a>
128
+
129
+ <li><a href="../../RubyBreaker/Runtime/Monitor.html">RubyBreaker::Runtime::Monitor</a>
130
+
131
+ <li><a href="../../RubyBreaker/Runtime/MonitorInstaller.html">RubyBreaker::Runtime::MonitorInstaller</a>
132
+
133
+ <li><a href="../../RubyBreaker/Runtime/MonitorSwitch.html">RubyBreaker::Runtime::MonitorSwitch</a>
134
+
135
+ <li><a href="../../RubyBreaker/Runtime/MonitorUtils.html">RubyBreaker::Runtime::MonitorUtils</a>
136
+
137
+ <li><a href="../../RubyBreaker/Runtime/ObjectWrapper.html">RubyBreaker::Runtime::ObjectWrapper</a>
138
+
139
+ <li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
140
+
141
+ <li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
142
+
143
+ <li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
144
+
145
+ <li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
146
+
147
+ <li><a href="../../RubyBreaker/TestCase.html">RubyBreaker::TestCase</a>
148
+
149
+ <li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
150
+
151
+ <li><a href="../../RubyBreaker/TypeDefs.html">RubyBreaker::TypeDefs</a>
152
+
153
+ <li><a href="../../RubyBreaker/TypeDefs/AnyType.html">RubyBreaker::TypeDefs::AnyType</a>
154
+
155
+ <li><a href="../../RubyBreaker/TypeDefs/BlockType.html">RubyBreaker::TypeDefs::BlockType</a>
156
+
157
+ <li><a href="../../RubyBreaker/TypeDefs/DuckType.html">RubyBreaker::TypeDefs::DuckType</a>
158
+
159
+ <li><a href="../../RubyBreaker/TypeDefs/FusionType.html">RubyBreaker::TypeDefs::FusionType</a>
160
+
161
+ <li><a href="../../RubyBreaker/TypeDefs/MethodListType.html">RubyBreaker::TypeDefs::MethodListType</a>
162
+
163
+ <li><a href="../../RubyBreaker/TypeDefs/MethodType.html">RubyBreaker::TypeDefs::MethodType</a>
164
+
165
+ <li><a href="../../RubyBreaker/TypeDefs/NilType.html">RubyBreaker::TypeDefs::NilType</a>
166
+
167
+ <li><a href="../../RubyBreaker/TypeDefs/NominalType.html">RubyBreaker::TypeDefs::NominalType</a>
168
+
169
+ <li><a href="../../RubyBreaker/TypeDefs/OptionalType.html">RubyBreaker::TypeDefs::OptionalType</a>
170
+
171
+ <li><a href="../../RubyBreaker/TypeDefs/OrType.html">RubyBreaker::TypeDefs::OrType</a>
172
+
173
+ <li><a href="../../RubyBreaker/TypeDefs/SelfType.html">RubyBreaker::TypeDefs::SelfType</a>
174
+
175
+ <li><a href="../../RubyBreaker/TypeDefs/Type.html">RubyBreaker::TypeDefs::Type</a>
176
+
177
+ <li><a href="../../RubyBreaker/TypeDefs/VarLengthType.html">RubyBreaker::TypeDefs::VarLengthType</a>
178
+
179
+ <li><a href="../../RubyBreaker/TypeUnparser.html">RubyBreaker::TypeUnparser</a>
180
+
181
+ <li><a href="../../RubyBreaker/Typing.html">RubyBreaker::Typing</a>
182
+
183
+ <li><a href="../../RubyBreaker/Utilities.html">RubyBreaker::Utilities</a>
184
+
185
+ </ul>
186
+ </nav>
187
+
188
+ </div>
189
+ </nav>
190
+
191
+ <div id="documentation">
192
+ <h1 class="class">class RubyBreaker::TypeDefs::AnyType</h1>
193
+
194
+ <div id="description" class="description">
195
+
196
+ <p>This type can represent any object</p>
197
+
198
+ </div><!-- description -->
199
+
200
+
201
+
202
+
203
+ <section id="5Buntitled-5D" class="documentation-section">
204
+
205
+
206
+
207
+
208
+
209
+
210
+
211
+
212
+ <!-- Methods -->
213
+
214
+ <section id="public-class-5Buntitled-5D-method-details" class="method-section section">
215
+ <h3 class="section-header">Public Class Methods</h3>
216
+
217
+
218
+ <div id="method-c-new" class="method-detail ">
219
+
220
+ <div class="method-heading">
221
+ <span class="method-name">new</span><span
222
+ class="method-args">(*args)</span>
223
+ <span class="method-click-advice">click to toggle source</span>
224
+ </div>
225
+
226
+
227
+ <div class="method-description">
228
+
229
+
230
+
231
+
232
+
233
+ <div class="method-source-code" id="new-source">
234
+ <pre><span class="ruby-comment"># File lib/rubybreaker/type/type.rb, line 67</span>
235
+ <span class="ruby-keyword">def</span> <span class="ruby-identifier">initialize</span>(*<span class="ruby-identifier">args</span>)
236
+ <span class="ruby-keyword">super</span>(*<span class="ruby-identifier">args</span>)
237
+ <span class="ruby-keyword">end</span></pre>
238
+ </div><!-- new-source -->
239
+
240
+ </div>
241
+
242
+
243
+
244
+
245
+ </div><!-- new-method -->
246
+
247
+
248
+ </section><!-- public-class-method-details -->
249
+
250
+ </section><!-- 5Buntitled-5D -->
251
+
252
+ </div><!-- documentation -->
253
+
254
+
255
+ <footer id="validator-badges">
256
+ <p><a href="http://validator.w3.org/check/referer">[Validate]</a>
257
+ <p>Generated by <a href="https://github.com/rdoc/rdoc">RDoc</a> 3.12.
258
+ <p>Generated with the <a href="http://deveiate.org/projects/Darkfish-Rdoc/">Darkfish Rdoc Generator</a> 3.
259
+ </footer>
260
+