rubybreaker 0.0.1 → 0.0.2

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 (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
data/webpage/rdoc/RubyBreaker/TypeComparer.html ADDED
@@ -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
+
data/webpage/rdoc/RubyBreaker/TypeDefs/AnyType.html ADDED
@@ -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
+