rubybreaker 0.0.4 → 0.0.5
Sign up to get free protection for your applications and to get access to all the features.
- data/NEWS +5 -0
- data/NOTES +9 -0
- data/README.md +100 -183
- data/Rakefile +21 -6
- data/VERSION +1 -1
- data/bin/rubybreaker +34 -50
- data/lib/rubybreaker/debug/debug.rb +6 -0
- data/lib/rubybreaker/doc/rdoc.rb +37 -0
- data/lib/rubybreaker/doc.rb +3 -0
- data/lib/rubybreaker/runtime/inspector.rb +6 -28
- data/lib/rubybreaker/runtime/monitor.rb +21 -17
- data/lib/rubybreaker/runtime/object_wrapper.rb +7 -2
- data/lib/rubybreaker/runtime/type_system.rb +3 -5
- data/lib/rubybreaker/runtime/typesig_unparser.rb +1 -4
- data/lib/rubybreaker/runtime.rb +64 -105
- data/lib/rubybreaker/task.rb +97 -0
- data/lib/rubybreaker/test/rspec.rb +1 -1
- data/lib/rubybreaker/test/testcase.rb +13 -28
- data/lib/rubybreaker/type/type.rb +1 -1
- data/lib/rubybreaker/typing/subtyping.rb +10 -5
- data/lib/rubybreaker/util.rb +0 -1
- data/lib/rubybreaker.rb +163 -115
- data/test/integrated/tc_both_broken_breakable.rb +5 -4
- data/test/integrated/tc_class_methods.rb +4 -3
- data/test/integrated/tc_inherit_broken.rb +4 -3
- data/test/integrated/tc_method_missing.rb +4 -4
- data/test/integrated/tc_namespace.rb +4 -2
- data/test/integrated/tc_simple1.rb +4 -3
- data/test/runtime/tc_obj_wrapper.rb +25 -6
- data/test/runtime/tc_typesig_parser.rb +0 -1
- data/test/testtask/sample.rb +10 -0
- data/test/testtask/tc_testtask.rb +25 -0
- data/test/ts_rspec.rb +21 -15
- data/test/typing/tc_typing.rb +2 -3
- data/webpage/index.html +105 -193
- data/webpage/rdoc/Kernel.html +286 -0
- data/webpage/rdoc/Object.html +17 -11
- data/webpage/rdoc/Rake/RubyBreakerTestTask.html +374 -0
- data/webpage/rdoc/Rake.html +212 -0
- data/webpage/rdoc/RubyBreaker/Breakable.html +24 -40
- data/webpage/rdoc/RubyBreaker/Broken.html +21 -69
- data/webpage/rdoc/RubyBreaker/Context.html +16 -10
- data/webpage/rdoc/RubyBreaker/Errors/InternalError.html +16 -10
- data/webpage/rdoc/RubyBreaker/Errors/InvalidSubtypeCheck.html +16 -10
- data/webpage/rdoc/RubyBreaker/Errors/InvalidTypeConstruction.html +16 -10
- data/webpage/rdoc/RubyBreaker/Errors/SubtypeFailure.html +16 -10
- data/webpage/rdoc/RubyBreaker/Errors/TypeError.html +16 -10
- data/webpage/rdoc/RubyBreaker/Errors/UserError.html +16 -10
- data/webpage/rdoc/RubyBreaker/Errors.html +16 -10
- data/webpage/rdoc/RubyBreaker/ObjectPosition.html +16 -10
- data/webpage/rdoc/RubyBreaker/Position.html +16 -10
- data/webpage/rdoc/RubyBreaker/{TestCase.html → RDocSupport.html} +81 -82
- data/webpage/rdoc/RubyBreaker/RubyTypeUtils.html +16 -10
- data/webpage/rdoc/RubyBreaker/Runtime/Inspector.html +25 -44
- data/webpage/rdoc/RubyBreaker/Runtime/MethodInfo.html +16 -10
- data/webpage/rdoc/RubyBreaker/Runtime/Monitor.html +19 -13
- data/webpage/rdoc/RubyBreaker/Runtime/MonitorInstaller.html +37 -25
- data/webpage/rdoc/RubyBreaker/Runtime/MonitorSwitch.html +20 -14
- data/webpage/rdoc/RubyBreaker/Runtime/MonitorUtils.html +21 -15
- data/webpage/rdoc/RubyBreaker/Runtime/ObjectWrapper.html +23 -12
- data/webpage/rdoc/RubyBreaker/Runtime/Pluggable.html +16 -10
- data/webpage/rdoc/RubyBreaker/Runtime/TypeSigParser.html +16 -10
- data/webpage/rdoc/RubyBreaker/Runtime/{TypesigUnparser.html → TypeSigUnparser.html} +19 -16
- data/webpage/rdoc/RubyBreaker/Runtime/TypeSystem.html +18 -14
- data/webpage/rdoc/RubyBreaker/Runtime.html +145 -11
- data/webpage/rdoc/RubyBreaker/TypeComparer.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/AnyType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/BlockType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/DuckType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/FusionType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/MethodListType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/MethodType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/NilType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/NominalType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/OptionalType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/OrType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs/SelfType.html +17 -11
- data/webpage/rdoc/RubyBreaker/TypeDefs/Type.html +17 -11
- data/webpage/rdoc/RubyBreaker/TypeDefs/VarLengthType.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeDefs.html +16 -10
- data/webpage/rdoc/RubyBreaker/TypeUnparser.html +16 -10
- data/webpage/rdoc/RubyBreaker/Typing.html +17 -11
- data/webpage/rdoc/RubyBreaker/Util.html +16 -10
- data/webpage/rdoc/RubyBreaker.html +167 -34
- data/webpage/rdoc/{RubyBreaker/Runtime/TypePlaceholder.html → Test/Unit/TestCase.html} +68 -39
- data/webpage/rdoc/Test/Unit.html +211 -0
- data/webpage/rdoc/Test.html +211 -0
- data/webpage/rdoc/created.rid +18 -17
- data/webpage/rdoc/index.html +16 -10
- data/webpage/rdoc/js/search_index.js +1 -1
- data/webpage/rdoc/table_of_contents.html +61 -48
- metadata +21 -12
- data/lib/rubybreaker/rubylib/core.rb +0 -2483
- data/lib/rubybreaker/rubylib.rb +0 -3
- data/lib/rubybreaker/runtime/type_placeholder.rb +0 -23
- data/webpage/rdoc/RubyBreaker/Broken/BrokenEigen.html +0 -305
- data/webpage/rdoc/RubyBreaker/Main.html +0 -458
@@ -90,8 +90,6 @@
|
|
90
90
|
|
91
91
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
92
92
|
|
93
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
94
|
-
|
95
93
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
96
94
|
|
97
95
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -108,12 +106,12 @@
|
|
108
106
|
|
109
107
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
110
108
|
|
111
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
112
|
-
|
113
109
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
114
110
|
|
115
111
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
116
112
|
|
113
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
114
|
+
|
117
115
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
118
116
|
|
119
117
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -134,15 +132,11 @@
|
|
134
132
|
|
135
133
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
136
134
|
|
137
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
138
|
-
|
139
135
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
140
136
|
|
141
|
-
<li><a href="../../RubyBreaker/Runtime/
|
142
|
-
|
143
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
137
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
144
138
|
|
145
|
-
<li><a href="../../RubyBreaker/
|
139
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
146
140
|
|
147
141
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
148
142
|
|
@@ -180,6 +174,18 @@
|
|
180
174
|
|
181
175
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
182
176
|
|
177
|
+
<li><a href="../../Test.html">Test</a>
|
178
|
+
|
179
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
180
|
+
|
181
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
182
|
+
|
183
|
+
<li><a href="../../Rake.html">Rake</a>
|
184
|
+
|
185
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
186
|
+
|
187
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
188
|
+
|
183
189
|
<li><a href="../../Object.html">Object</a>
|
184
190
|
|
185
191
|
</ul>
|
@@ -90,8 +90,6 @@
|
|
90
90
|
|
91
91
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
92
92
|
|
93
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
94
|
-
|
95
93
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
96
94
|
|
97
95
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -108,12 +106,12 @@
|
|
108
106
|
|
109
107
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
110
108
|
|
111
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
112
|
-
|
113
109
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
114
110
|
|
115
111
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
116
112
|
|
113
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
114
|
+
|
117
115
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
118
116
|
|
119
117
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -134,15 +132,11 @@
|
|
134
132
|
|
135
133
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
136
134
|
|
137
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
138
|
-
|
139
135
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
140
136
|
|
141
|
-
<li><a href="../../RubyBreaker/Runtime/
|
142
|
-
|
143
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
137
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
144
138
|
|
145
|
-
<li><a href="../../RubyBreaker/
|
139
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
146
140
|
|
147
141
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
148
142
|
|
@@ -180,6 +174,18 @@
|
|
180
174
|
|
181
175
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
182
176
|
|
177
|
+
<li><a href="../../Test.html">Test</a>
|
178
|
+
|
179
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
180
|
+
|
181
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
182
|
+
|
183
|
+
<li><a href="../../Rake.html">Rake</a>
|
184
|
+
|
185
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
186
|
+
|
187
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
188
|
+
|
183
189
|
<li><a href="../../Object.html">Object</a>
|
184
190
|
|
185
191
|
</ul>
|
@@ -90,8 +90,6 @@
|
|
90
90
|
|
91
91
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
92
92
|
|
93
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
94
|
-
|
95
93
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
96
94
|
|
97
95
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -108,12 +106,12 @@
|
|
108
106
|
|
109
107
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
110
108
|
|
111
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
112
|
-
|
113
109
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
114
110
|
|
115
111
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
116
112
|
|
113
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
114
|
+
|
117
115
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
118
116
|
|
119
117
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -134,15 +132,11 @@
|
|
134
132
|
|
135
133
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
136
134
|
|
137
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
138
|
-
|
139
135
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
140
136
|
|
141
|
-
<li><a href="../../RubyBreaker/Runtime/
|
142
|
-
|
143
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
137
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
144
138
|
|
145
|
-
<li><a href="../../RubyBreaker/
|
139
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
146
140
|
|
147
141
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
148
142
|
|
@@ -180,6 +174,18 @@
|
|
180
174
|
|
181
175
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
182
176
|
|
177
|
+
<li><a href="../../Test.html">Test</a>
|
178
|
+
|
179
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
180
|
+
|
181
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
182
|
+
|
183
|
+
<li><a href="../../Rake.html">Rake</a>
|
184
|
+
|
185
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
186
|
+
|
187
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
188
|
+
|
183
189
|
<li><a href="../../Object.html">Object</a>
|
184
190
|
|
185
191
|
</ul>
|
@@ -90,8 +90,6 @@
|
|
90
90
|
|
91
91
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
92
92
|
|
93
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
94
|
-
|
95
93
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
96
94
|
|
97
95
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -108,12 +106,12 @@
|
|
108
106
|
|
109
107
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
110
108
|
|
111
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
112
|
-
|
113
109
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
114
110
|
|
115
111
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
116
112
|
|
113
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
114
|
+
|
117
115
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
118
116
|
|
119
117
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -134,15 +132,11 @@
|
|
134
132
|
|
135
133
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
136
134
|
|
137
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
138
|
-
|
139
135
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
140
136
|
|
141
|
-
<li><a href="../../RubyBreaker/Runtime/
|
142
|
-
|
143
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
137
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
144
138
|
|
145
|
-
<li><a href="../../RubyBreaker/
|
139
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
146
140
|
|
147
141
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
148
142
|
|
@@ -180,6 +174,18 @@
|
|
180
174
|
|
181
175
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
182
176
|
|
177
|
+
<li><a href="../../Test.html">Test</a>
|
178
|
+
|
179
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
180
|
+
|
181
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
182
|
+
|
183
|
+
<li><a href="../../Rake.html">Rake</a>
|
184
|
+
|
185
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
186
|
+
|
187
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
188
|
+
|
183
189
|
<li><a href="../../Object.html">Object</a>
|
184
190
|
|
185
191
|
</ul>
|
@@ -90,8 +90,6 @@
|
|
90
90
|
|
91
91
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
92
92
|
|
93
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
94
|
-
|
95
93
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
96
94
|
|
97
95
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -108,12 +106,12 @@
|
|
108
106
|
|
109
107
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
110
108
|
|
111
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
112
|
-
|
113
109
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
114
110
|
|
115
111
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
116
112
|
|
113
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
114
|
+
|
117
115
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
118
116
|
|
119
117
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -134,15 +132,11 @@
|
|
134
132
|
|
135
133
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
136
134
|
|
137
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
138
|
-
|
139
135
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
140
136
|
|
141
|
-
<li><a href="../../RubyBreaker/Runtime/
|
142
|
-
|
143
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
137
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
144
138
|
|
145
|
-
<li><a href="../../RubyBreaker/
|
139
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
146
140
|
|
147
141
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
148
142
|
|
@@ -180,6 +174,18 @@
|
|
180
174
|
|
181
175
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
182
176
|
|
177
|
+
<li><a href="../../Test.html">Test</a>
|
178
|
+
|
179
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
180
|
+
|
181
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
182
|
+
|
183
|
+
<li><a href="../../Rake.html">Rake</a>
|
184
|
+
|
185
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
186
|
+
|
187
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
188
|
+
|
183
189
|
<li><a href="../../Object.html">Object</a>
|
184
190
|
|
185
191
|
</ul>
|
@@ -94,8 +94,6 @@
|
|
94
94
|
|
95
95
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
96
96
|
|
97
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
98
|
-
|
99
97
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
100
98
|
|
101
99
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -112,12 +110,12 @@
|
|
112
110
|
|
113
111
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
114
112
|
|
115
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
116
|
-
|
117
113
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
118
114
|
|
119
115
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
120
116
|
|
117
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
118
|
+
|
121
119
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
122
120
|
|
123
121
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -138,15 +136,11 @@
|
|
138
136
|
|
139
137
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
140
138
|
|
141
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
142
|
-
|
143
139
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
144
140
|
|
145
|
-
<li><a href="../../RubyBreaker/Runtime/
|
146
|
-
|
147
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
141
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
148
142
|
|
149
|
-
<li><a href="../../RubyBreaker/
|
143
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
150
144
|
|
151
145
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
152
146
|
|
@@ -184,6 +178,18 @@
|
|
184
178
|
|
185
179
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
186
180
|
|
181
|
+
<li><a href="../../Test.html">Test</a>
|
182
|
+
|
183
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
184
|
+
|
185
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
186
|
+
|
187
|
+
<li><a href="../../Rake.html">Rake</a>
|
188
|
+
|
189
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
190
|
+
|
191
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
192
|
+
|
187
193
|
<li><a href="../../Object.html">Object</a>
|
188
194
|
|
189
195
|
</ul>
|
@@ -295,7 +301,7 @@ how this would impact typing.</p>
|
|
295
301
|
<div class="method-description">
|
296
302
|
|
297
303
|
<p>This is a setter method for class variable mod. NOTE: It is set every time
|
298
|
-
|
304
|
+
typesig() is called</p>
|
299
305
|
|
300
306
|
|
301
307
|
|
@@ -99,8 +99,6 @@
|
|
99
99
|
|
100
100
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
101
101
|
|
102
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
103
|
-
|
104
102
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
105
103
|
|
106
104
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -117,12 +115,12 @@
|
|
117
115
|
|
118
116
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
119
117
|
|
120
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
121
|
-
|
122
118
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
123
119
|
|
124
120
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
125
121
|
|
122
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
123
|
+
|
126
124
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
127
125
|
|
128
126
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -143,15 +141,11 @@
|
|
143
141
|
|
144
142
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
145
143
|
|
146
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
147
|
-
|
148
144
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
149
145
|
|
150
|
-
<li><a href="../../RubyBreaker/Runtime/
|
151
|
-
|
152
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
146
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
153
147
|
|
154
|
-
<li><a href="../../RubyBreaker/
|
148
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
155
149
|
|
156
150
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
157
151
|
|
@@ -189,6 +183,18 @@
|
|
189
183
|
|
190
184
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
191
185
|
|
186
|
+
<li><a href="../../Test.html">Test</a>
|
187
|
+
|
188
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
189
|
+
|
190
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
191
|
+
|
192
|
+
<li><a href="../../Rake.html">Rake</a>
|
193
|
+
|
194
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
195
|
+
|
196
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
197
|
+
|
192
198
|
<li><a href="../../Object.html">Object</a>
|
193
199
|
|
194
200
|
</ul>
|
@@ -350,7 +356,7 @@ href="../Typing.html#method-c-subtype_rel-3F">RubyBreaker::Typing.subtype_rel?</
|
|
350
356
|
|
351
357
|
|
352
358
|
<div class="method-source-code" id="subtype_of-3F-source">
|
353
|
-
<pre><span class="ruby-comment"># File lib/rubybreaker/typing/subtyping.rb, line
|
359
|
+
<pre><span class="ruby-comment"># File lib/rubybreaker/typing/subtyping.rb, line 479</span>
|
354
360
|
<span class="ruby-keyword">def</span> <span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">rhs</span>)
|
355
361
|
<span class="ruby-keyword">return</span> <span class="ruby-constant">Typing</span>.<span class="ruby-identifier">subtype_rel?</span>(<span class="ruby-keyword">self</span>,<span class="ruby-identifier">rhs</span>)
|
356
362
|
<span class="ruby-keyword">end</span></pre>
|
@@ -90,8 +90,6 @@
|
|
90
90
|
|
91
91
|
<li><a href="../../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
92
92
|
|
93
|
-
<li><a href="../../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
94
|
-
|
95
93
|
<li><a href="../../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
96
94
|
|
97
95
|
<li><a href="../../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -108,12 +106,12 @@
|
|
108
106
|
|
109
107
|
<li><a href="../../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
110
108
|
|
111
|
-
<li><a href="../../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
112
|
-
|
113
109
|
<li><a href="../../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
114
110
|
|
115
111
|
<li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
116
112
|
|
113
|
+
<li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
114
|
+
|
117
115
|
<li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
118
116
|
|
119
117
|
<li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -134,15 +132,11 @@
|
|
134
132
|
|
135
133
|
<li><a href="../../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
136
134
|
|
137
|
-
<li><a href="../../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
138
|
-
|
139
135
|
<li><a href="../../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
140
136
|
|
141
|
-
<li><a href="../../RubyBreaker/Runtime/
|
142
|
-
|
143
|
-
<li><a href="../../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
137
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
144
138
|
|
145
|
-
<li><a href="../../RubyBreaker/
|
139
|
+
<li><a href="../../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
146
140
|
|
147
141
|
<li><a href="../../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
148
142
|
|
@@ -180,6 +174,18 @@
|
|
180
174
|
|
181
175
|
<li><a href="../../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
182
176
|
|
177
|
+
<li><a href="../../Test.html">Test</a>
|
178
|
+
|
179
|
+
<li><a href="../../Test/Unit.html">Test::Unit</a>
|
180
|
+
|
181
|
+
<li><a href="../../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
182
|
+
|
183
|
+
<li><a href="../../Rake.html">Rake</a>
|
184
|
+
|
185
|
+
<li><a href="../../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
186
|
+
|
187
|
+
<li><a href="../../Kernel.html">Kernel</a>
|
188
|
+
|
183
189
|
<li><a href="../../Object.html">Object</a>
|
184
190
|
|
185
191
|
</ul>
|
@@ -74,8 +74,6 @@
|
|
74
74
|
|
75
75
|
<li><a href="../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
76
76
|
|
77
|
-
<li><a href="../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
78
|
-
|
79
77
|
<li><a href="../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
80
78
|
|
81
79
|
<li><a href="../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -92,12 +90,12 @@
|
|
92
90
|
|
93
91
|
<li><a href="../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
94
92
|
|
95
|
-
<li><a href="../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
96
|
-
|
97
93
|
<li><a href="../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
98
94
|
|
99
95
|
<li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
100
96
|
|
97
|
+
<li><a href="../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
98
|
+
|
101
99
|
<li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
102
100
|
|
103
101
|
<li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -118,15 +116,11 @@
|
|
118
116
|
|
119
117
|
<li><a href="../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
120
118
|
|
121
|
-
<li><a href="../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
122
|
-
|
123
119
|
<li><a href="../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
124
120
|
|
125
|
-
<li><a href="../RubyBreaker/Runtime/
|
126
|
-
|
127
|
-
<li><a href="../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
121
|
+
<li><a href="../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
128
122
|
|
129
|
-
<li><a href="../RubyBreaker/
|
123
|
+
<li><a href="../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
130
124
|
|
131
125
|
<li><a href="../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
132
126
|
|
@@ -164,6 +158,18 @@
|
|
164
158
|
|
165
159
|
<li><a href="../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
166
160
|
|
161
|
+
<li><a href="../Test.html">Test</a>
|
162
|
+
|
163
|
+
<li><a href="../Test/Unit.html">Test::Unit</a>
|
164
|
+
|
165
|
+
<li><a href="../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
166
|
+
|
167
|
+
<li><a href="../Rake.html">Rake</a>
|
168
|
+
|
169
|
+
<li><a href="../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
170
|
+
|
171
|
+
<li><a href="../Kernel.html">Kernel</a>
|
172
|
+
|
167
173
|
<li><a href="../Object.html">Object</a>
|
168
174
|
|
169
175
|
</ul>
|
@@ -96,8 +96,6 @@
|
|
96
96
|
|
97
97
|
<li><a href="../RubyBreaker/Broken.html">RubyBreaker::Broken</a>
|
98
98
|
|
99
|
-
<li><a href="../RubyBreaker/Broken/BrokenEigen.html">RubyBreaker::Broken::BrokenEigen</a>
|
100
|
-
|
101
99
|
<li><a href="../RubyBreaker/Context.html">RubyBreaker::Context</a>
|
102
100
|
|
103
101
|
<li><a href="../RubyBreaker/Errors.html">RubyBreaker::Errors</a>
|
@@ -114,12 +112,12 @@
|
|
114
112
|
|
115
113
|
<li><a href="../RubyBreaker/Errors/UserError.html">RubyBreaker::Errors::UserError</a>
|
116
114
|
|
117
|
-
<li><a href="../RubyBreaker/Main.html">RubyBreaker::Main</a>
|
118
|
-
|
119
115
|
<li><a href="../RubyBreaker/ObjectPosition.html">RubyBreaker::ObjectPosition</a>
|
120
116
|
|
121
117
|
<li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
|
122
118
|
|
119
|
+
<li><a href="../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
|
120
|
+
|
123
121
|
<li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
|
124
122
|
|
125
123
|
<li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
|
@@ -140,15 +138,11 @@
|
|
140
138
|
|
141
139
|
<li><a href="../RubyBreaker/Runtime/Pluggable.html">RubyBreaker::Runtime::Pluggable</a>
|
142
140
|
|
143
|
-
<li><a href="../RubyBreaker/Runtime/TypePlaceholder.html">RubyBreaker::Runtime::TypePlaceholder</a>
|
144
|
-
|
145
141
|
<li><a href="../RubyBreaker/Runtime/TypeSigParser.html">RubyBreaker::Runtime::TypeSigParser</a>
|
146
142
|
|
147
|
-
<li><a href="../RubyBreaker/Runtime/
|
148
|
-
|
149
|
-
<li><a href="../RubyBreaker/Runtime/TypesigUnparser.html">RubyBreaker::Runtime::TypesigUnparser</a>
|
143
|
+
<li><a href="../RubyBreaker/Runtime/TypeSigUnparser.html">RubyBreaker::Runtime::TypeSigUnparser</a>
|
150
144
|
|
151
|
-
<li><a href="../RubyBreaker/
|
145
|
+
<li><a href="../RubyBreaker/Runtime/TypeSystem.html">RubyBreaker::Runtime::TypeSystem</a>
|
152
146
|
|
153
147
|
<li><a href="../RubyBreaker/TypeComparer.html">RubyBreaker::TypeComparer</a>
|
154
148
|
|
@@ -186,6 +180,18 @@
|
|
186
180
|
|
187
181
|
<li><a href="../RubyBreaker/Util.html">RubyBreaker::Util</a>
|
188
182
|
|
183
|
+
<li><a href="../Test.html">Test</a>
|
184
|
+
|
185
|
+
<li><a href="../Test/Unit.html">Test::Unit</a>
|
186
|
+
|
187
|
+
<li><a href="../Test/Unit/TestCase.html">Test::Unit::TestCase</a>
|
188
|
+
|
189
|
+
<li><a href="../Rake.html">Rake</a>
|
190
|
+
|
191
|
+
<li><a href="../Rake/RubyBreakerTestTask.html">Rake::RubyBreakerTestTask</a>
|
192
|
+
|
193
|
+
<li><a href="../Kernel.html">Kernel</a>
|
194
|
+
|
189
195
|
<li><a href="../Object.html">Object</a>
|
190
196
|
|
191
197
|
</ul>
|