steep 0.11.1 → 0.12.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (299) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/ruby.yml +27 -0
  3. data/.gitmodules +3 -0
  4. data/CHANGELOG.md +5 -0
  5. data/README.md +48 -90
  6. data/Rakefile +10 -6
  7. data/Steepfile +1 -0
  8. data/bin/setup +1 -0
  9. data/bin/smoke_runner.rb +9 -14
  10. data/exe/rbs +3 -0
  11. data/exe/ruby-signature +3 -0
  12. data/exe/steep +1 -0
  13. data/lib/steep.rb +32 -26
  14. data/lib/steep/annotation_parser.rb +167 -0
  15. data/lib/steep/ast/annotation/collection.rb +7 -7
  16. data/lib/steep/ast/types.rb +60 -0
  17. data/lib/steep/ast/types/any.rb +1 -1
  18. data/lib/steep/ast/types/factory.rb +535 -0
  19. data/lib/steep/ast/types/name.rb +3 -3
  20. data/lib/steep/ast/types/var.rb +1 -1
  21. data/lib/steep/cli.rb +56 -240
  22. data/lib/steep/drivers/annotations.rb +36 -19
  23. data/lib/steep/drivers/check.rb +55 -91
  24. data/lib/steep/drivers/init.rb +54 -0
  25. data/lib/steep/drivers/langserver.rb +241 -150
  26. data/lib/steep/drivers/print_project.rb +56 -0
  27. data/lib/steep/drivers/signature_error_printer.rb +25 -0
  28. data/lib/steep/drivers/trace_printer.rb +25 -0
  29. data/lib/steep/drivers/utils/driver_helper.rb +26 -0
  30. data/lib/steep/drivers/validate.rb +18 -38
  31. data/lib/steep/drivers/vendor.rb +46 -0
  32. data/lib/steep/drivers/watch.rb +78 -140
  33. data/lib/steep/errors.rb +22 -13
  34. data/lib/steep/interface/interface.rb +91 -0
  35. data/lib/steep/interface/method.rb +0 -4
  36. data/lib/steep/interface/method_type.rb +362 -2
  37. data/lib/steep/interface/substitution.rb +22 -0
  38. data/lib/steep/project.rb +25 -233
  39. data/lib/steep/project/dsl.rb +132 -0
  40. data/lib/steep/project/file.rb +93 -76
  41. data/lib/steep/project/file_loader.rb +63 -0
  42. data/lib/steep/project/options.rb +7 -0
  43. data/lib/steep/project/target.rb +190 -0
  44. data/lib/steep/signature/errors.rb +25 -77
  45. data/lib/steep/signature/validator.rb +122 -0
  46. data/lib/steep/source.rb +12 -7
  47. data/lib/steep/subtyping/check.rb +357 -633
  48. data/lib/steep/subtyping/constraints.rb +2 -2
  49. data/lib/steep/subtyping/trace.rb +23 -0
  50. data/lib/steep/type_construction.rb +509 -455
  51. data/lib/steep/type_inference/constant_env.rb +16 -24
  52. data/lib/steep/type_inference/type_env.rb +26 -18
  53. data/lib/steep/version.rb +1 -1
  54. data/sample/Steepfile +6 -0
  55. data/sample/lib/conference.rb +12 -0
  56. data/sample/sig/conference.rbs +6 -0
  57. data/smoke/alias/Steepfile +4 -0
  58. data/smoke/alias/a.rb +2 -2
  59. data/smoke/alias/{a.rbi → a.rbs} +1 -1
  60. data/smoke/and/Steepfile +4 -0
  61. data/smoke/array/Steepfile +4 -0
  62. data/smoke/array/a.rb +2 -2
  63. data/smoke/array/b.rb +4 -4
  64. data/smoke/array/c.rb +2 -2
  65. data/smoke/block/Steepfile +5 -0
  66. data/smoke/block/{a.rbi → a.rbs} +1 -1
  67. data/smoke/block/{c.rbi → c.rbs} +0 -0
  68. data/smoke/block/d.rb +6 -6
  69. data/smoke/case/Steepfile +4 -0
  70. data/smoke/case/a.rb +4 -3
  71. data/smoke/class/Steepfile +4 -0
  72. data/smoke/class/a.rb +1 -4
  73. data/smoke/class/a.rbs +24 -0
  74. data/smoke/class/h.rb +6 -2
  75. data/smoke/class/{h.rbi → h.rbs} +1 -2
  76. data/smoke/class/i.rb +1 -2
  77. data/smoke/class/i.rbs +9 -0
  78. data/smoke/const/Steepfile +4 -0
  79. data/smoke/dstr/Steepfile +4 -0
  80. data/smoke/ensure/Steepfile +4 -0
  81. data/smoke/ensure/a.rb +1 -1
  82. data/smoke/enumerator/Steepfile +4 -0
  83. data/smoke/enumerator/a.rb +7 -7
  84. data/smoke/enumerator/b.rb +6 -6
  85. data/smoke/extension/Steepfile +4 -0
  86. data/smoke/extension/{a.rbi → a.rbs} +2 -2
  87. data/smoke/extension/{e.rbi → e.rbs} +2 -2
  88. data/smoke/hash/Steepfile +4 -0
  89. data/smoke/hash/{a.rbi → a.rbs} +0 -0
  90. data/smoke/hash/b.rb +2 -2
  91. data/smoke/hash/c.rb +1 -1
  92. data/smoke/hash/e.rbs +3 -0
  93. data/smoke/hash/f.rb +1 -1
  94. data/smoke/hello/Steepfile +4 -0
  95. data/smoke/hello/hello.rbs +7 -0
  96. data/smoke/if/Steepfile +4 -0
  97. data/smoke/implements/Steepfile +4 -0
  98. data/smoke/implements/a.rbs +6 -0
  99. data/smoke/initialize/Steepfile +4 -0
  100. data/smoke/initialize/a.rbs +3 -0
  101. data/smoke/integer/Steepfile +4 -0
  102. data/smoke/integer/a.rb +5 -3
  103. data/smoke/interface/Steepfile +4 -0
  104. data/smoke/interface/{a.rbi → a.rbs} +0 -0
  105. data/smoke/kwbegin/Steepfile +4 -0
  106. data/smoke/lambda/Steepfile +4 -0
  107. data/smoke/lambda/a.rb +9 -2
  108. data/smoke/literal/Steepfile +4 -0
  109. data/smoke/literal/{literal_methods.rbi → literal_methods.rbs} +0 -0
  110. data/smoke/map/Steepfile +4 -0
  111. data/smoke/map/a.rb +1 -1
  112. data/smoke/method/Steepfile +4 -0
  113. data/smoke/method/{a.rbi → a.rbs} +0 -0
  114. data/smoke/method/b.rb +1 -4
  115. data/smoke/method/d.rb +1 -0
  116. data/smoke/method/d.rbs +3 -0
  117. data/smoke/module/Steepfile +4 -0
  118. data/smoke/module/a.rb +1 -1
  119. data/smoke/module/a.rbs +16 -0
  120. data/smoke/module/c.rb +1 -1
  121. data/smoke/regexp/Steepfile +4 -0
  122. data/smoke/regexp/a.rb +2 -2
  123. data/smoke/regexp/b.rb +16 -16
  124. data/smoke/regression/Steepfile +5 -0
  125. data/smoke/regression/array.rb +2 -2
  126. data/smoke/regression/hash.rb +2 -2
  127. data/smoke/regression/poly_new.rb +2 -0
  128. data/smoke/regression/poly_new.rbs +4 -0
  129. data/smoke/regression/set_divide.rb +2 -2
  130. data/smoke/rescue/Steepfile +4 -0
  131. data/smoke/rescue/a.rb +1 -1
  132. data/smoke/self/Steepfile +4 -0
  133. data/smoke/self/a.rbs +4 -0
  134. data/smoke/skip/Steepfile +4 -0
  135. data/smoke/stdout/Steepfile +4 -0
  136. data/smoke/stdout/{a.rbi → a.rbs} +1 -1
  137. data/smoke/super/Steepfile +4 -0
  138. data/smoke/super/a.rbs +10 -0
  139. data/smoke/type_case/Steepfile +4 -0
  140. data/smoke/type_case/a.rb +1 -1
  141. data/smoke/yield/Steepfile +4 -0
  142. data/smoke/yield/a.rb +2 -2
  143. data/steep.gemspec +14 -7
  144. data/vendor/ruby-signature/.github/workflows/ruby.yml +27 -0
  145. data/vendor/ruby-signature/.gitignore +12 -0
  146. data/vendor/ruby-signature/.rubocop.yml +15 -0
  147. data/vendor/ruby-signature/BSDL +22 -0
  148. data/vendor/ruby-signature/COPYING +56 -0
  149. data/vendor/ruby-signature/Gemfile +6 -0
  150. data/vendor/ruby-signature/README.md +93 -0
  151. data/vendor/ruby-signature/Rakefile +66 -0
  152. data/vendor/ruby-signature/bin/annotate-with-rdoc +156 -0
  153. data/vendor/ruby-signature/bin/console +14 -0
  154. data/vendor/ruby-signature/bin/query-rdoc +103 -0
  155. data/vendor/ruby-signature/bin/setup +10 -0
  156. data/vendor/ruby-signature/bin/sort +88 -0
  157. data/vendor/ruby-signature/bin/test_runner.rb +17 -0
  158. data/vendor/ruby-signature/docs/CONTRIBUTING.md +97 -0
  159. data/vendor/ruby-signature/docs/sigs.md +148 -0
  160. data/vendor/ruby-signature/docs/stdlib.md +152 -0
  161. data/vendor/ruby-signature/docs/syntax.md +528 -0
  162. data/vendor/ruby-signature/exe/rbs +3 -0
  163. data/vendor/ruby-signature/exe/ruby-signature +7 -0
  164. data/vendor/ruby-signature/lib/ruby/signature.rb +64 -0
  165. data/vendor/ruby-signature/lib/ruby/signature/ast/annotation.rb +29 -0
  166. data/vendor/ruby-signature/lib/ruby/signature/ast/comment.rb +29 -0
  167. data/vendor/ruby-signature/lib/ruby/signature/ast/declarations.rb +391 -0
  168. data/vendor/ruby-signature/lib/ruby/signature/ast/members.rb +364 -0
  169. data/vendor/ruby-signature/lib/ruby/signature/buffer.rb +52 -0
  170. data/vendor/ruby-signature/lib/ruby/signature/builtin_names.rb +54 -0
  171. data/vendor/ruby-signature/lib/ruby/signature/cli.rb +534 -0
  172. data/vendor/ruby-signature/lib/ruby/signature/constant.rb +28 -0
  173. data/vendor/ruby-signature/lib/ruby/signature/constant_table.rb +152 -0
  174. data/vendor/ruby-signature/lib/ruby/signature/definition.rb +172 -0
  175. data/vendor/ruby-signature/lib/ruby/signature/definition_builder.rb +921 -0
  176. data/vendor/ruby-signature/lib/ruby/signature/environment.rb +283 -0
  177. data/vendor/ruby-signature/lib/ruby/signature/environment_loader.rb +138 -0
  178. data/vendor/ruby-signature/lib/ruby/signature/environment_walker.rb +126 -0
  179. data/vendor/ruby-signature/lib/ruby/signature/errors.rb +189 -0
  180. data/vendor/ruby-signature/lib/ruby/signature/location.rb +104 -0
  181. data/vendor/ruby-signature/lib/ruby/signature/method_type.rb +125 -0
  182. data/vendor/ruby-signature/lib/ruby/signature/namespace.rb +93 -0
  183. data/vendor/ruby-signature/lib/ruby/signature/parser.y +1343 -0
  184. data/vendor/ruby-signature/lib/ruby/signature/prototype/rb.rb +441 -0
  185. data/vendor/ruby-signature/lib/ruby/signature/prototype/rbi.rb +579 -0
  186. data/vendor/ruby-signature/lib/ruby/signature/prototype/runtime.rb +383 -0
  187. data/vendor/ruby-signature/lib/ruby/signature/substitution.rb +48 -0
  188. data/vendor/ruby-signature/lib/ruby/signature/test.rb +28 -0
  189. data/vendor/ruby-signature/lib/ruby/signature/test/errors.rb +63 -0
  190. data/vendor/ruby-signature/lib/ruby/signature/test/hook.rb +290 -0
  191. data/vendor/ruby-signature/lib/ruby/signature/test/setup.rb +58 -0
  192. data/vendor/ruby-signature/lib/ruby/signature/test/spy.rb +324 -0
  193. data/vendor/ruby-signature/lib/ruby/signature/test/test_helper.rb +185 -0
  194. data/vendor/ruby-signature/lib/ruby/signature/test/type_check.rb +256 -0
  195. data/vendor/ruby-signature/lib/ruby/signature/type_name.rb +72 -0
  196. data/vendor/ruby-signature/lib/ruby/signature/types.rb +932 -0
  197. data/vendor/ruby-signature/lib/ruby/signature/variance_calculator.rb +140 -0
  198. data/vendor/ruby-signature/lib/ruby/signature/vendorer.rb +49 -0
  199. data/vendor/ruby-signature/lib/ruby/signature/version.rb +5 -0
  200. data/vendor/ruby-signature/lib/ruby/signature/writer.rb +271 -0
  201. data/vendor/ruby-signature/ruby-signature.gemspec +45 -0
  202. data/vendor/ruby-signature/stdlib/abbrev/abbrev.rbs +3 -0
  203. data/vendor/ruby-signature/stdlib/base64/base64.rbs +15 -0
  204. data/vendor/ruby-signature/stdlib/builtin/array.rbs +1997 -0
  205. data/vendor/ruby-signature/stdlib/builtin/basic_object.rbs +280 -0
  206. data/vendor/ruby-signature/stdlib/builtin/binding.rbs +177 -0
  207. data/vendor/ruby-signature/stdlib/builtin/builtin.rbs +35 -0
  208. data/vendor/ruby-signature/stdlib/builtin/class.rbs +145 -0
  209. data/vendor/ruby-signature/stdlib/builtin/comparable.rbs +116 -0
  210. data/vendor/ruby-signature/stdlib/builtin/complex.rbs +400 -0
  211. data/vendor/ruby-signature/stdlib/builtin/constants.rbs +37 -0
  212. data/vendor/ruby-signature/stdlib/builtin/data.rbs +5 -0
  213. data/vendor/ruby-signature/stdlib/builtin/deprecated.rbs +2 -0
  214. data/vendor/ruby-signature/stdlib/builtin/dir.rbs +419 -0
  215. data/vendor/ruby-signature/stdlib/builtin/encoding.rbs +606 -0
  216. data/vendor/ruby-signature/stdlib/builtin/enumerable.rbs +404 -0
  217. data/vendor/ruby-signature/stdlib/builtin/enumerator.rbs +260 -0
  218. data/vendor/ruby-signature/stdlib/builtin/errno.rbs +781 -0
  219. data/vendor/ruby-signature/stdlib/builtin/errors.rbs +582 -0
  220. data/vendor/ruby-signature/stdlib/builtin/exception.rbs +193 -0
  221. data/vendor/ruby-signature/stdlib/builtin/false_class.rbs +40 -0
  222. data/vendor/ruby-signature/stdlib/builtin/fiber.rbs +68 -0
  223. data/vendor/ruby-signature/stdlib/builtin/fiber_error.rbs +12 -0
  224. data/vendor/ruby-signature/stdlib/builtin/file.rbs +476 -0
  225. data/vendor/ruby-signature/stdlib/builtin/file_test.rbs +59 -0
  226. data/vendor/ruby-signature/stdlib/builtin/float.rbs +696 -0
  227. data/vendor/ruby-signature/stdlib/builtin/gc.rbs +121 -0
  228. data/vendor/ruby-signature/stdlib/builtin/hash.rbs +1029 -0
  229. data/vendor/ruby-signature/stdlib/builtin/integer.rbs +710 -0
  230. data/vendor/ruby-signature/stdlib/builtin/io.rbs +683 -0
  231. data/vendor/ruby-signature/stdlib/builtin/kernel.rbs +574 -0
  232. data/vendor/ruby-signature/stdlib/builtin/marshal.rbs +135 -0
  233. data/vendor/ruby-signature/stdlib/builtin/match_data.rbs +141 -0
  234. data/vendor/ruby-signature/stdlib/builtin/math.rbs +66 -0
  235. data/vendor/ruby-signature/stdlib/builtin/method.rbs +182 -0
  236. data/vendor/ruby-signature/stdlib/builtin/module.rbs +248 -0
  237. data/vendor/ruby-signature/stdlib/builtin/nil_class.rbs +82 -0
  238. data/vendor/ruby-signature/stdlib/builtin/numeric.rbs +409 -0
  239. data/vendor/ruby-signature/stdlib/builtin/object.rbs +824 -0
  240. data/vendor/ruby-signature/stdlib/builtin/proc.rbs +426 -0
  241. data/vendor/ruby-signature/stdlib/builtin/process.rbs +354 -0
  242. data/vendor/ruby-signature/stdlib/builtin/random.rbs +93 -0
  243. data/vendor/ruby-signature/stdlib/builtin/range.rbs +226 -0
  244. data/vendor/ruby-signature/stdlib/builtin/rational.rbs +424 -0
  245. data/vendor/ruby-signature/stdlib/builtin/rb_config.rbs +10 -0
  246. data/vendor/ruby-signature/stdlib/builtin/regexp.rbs +131 -0
  247. data/vendor/ruby-signature/stdlib/builtin/ruby_vm.rbs +14 -0
  248. data/vendor/ruby-signature/stdlib/builtin/signal.rbs +55 -0
  249. data/vendor/ruby-signature/stdlib/builtin/string.rbs +770 -0
  250. data/vendor/ruby-signature/stdlib/builtin/string_io.rbs +13 -0
  251. data/vendor/ruby-signature/stdlib/builtin/struct.rbs +40 -0
  252. data/vendor/ruby-signature/stdlib/builtin/symbol.rbs +230 -0
  253. data/vendor/ruby-signature/stdlib/builtin/thread.rbs +1112 -0
  254. data/vendor/ruby-signature/stdlib/builtin/thread_group.rbs +23 -0
  255. data/vendor/ruby-signature/stdlib/builtin/time.rbs +739 -0
  256. data/vendor/ruby-signature/stdlib/builtin/trace_point.rbs +91 -0
  257. data/vendor/ruby-signature/stdlib/builtin/true_class.rbs +46 -0
  258. data/vendor/ruby-signature/stdlib/builtin/unbound_method.rbs +159 -0
  259. data/vendor/ruby-signature/stdlib/builtin/warning.rbs +17 -0
  260. data/vendor/ruby-signature/stdlib/erb/erb.rbs +18 -0
  261. data/vendor/ruby-signature/stdlib/find/find.rbs +44 -0
  262. data/vendor/ruby-signature/stdlib/pathname/pathname.rbs +21 -0
  263. data/vendor/ruby-signature/stdlib/prime/integer-extension.rbs +23 -0
  264. data/vendor/ruby-signature/stdlib/prime/prime.rbs +188 -0
  265. data/vendor/ruby-signature/stdlib/securerandom/securerandom.rbs +9 -0
  266. data/vendor/ruby-signature/stdlib/set/set.rbs +77 -0
  267. data/vendor/ruby-signature/stdlib/tmpdir/tmpdir.rbs +53 -0
  268. metadata +244 -54
  269. data/.travis.yml +0 -7
  270. data/lib/steep/ast/signature/alias.rb +0 -19
  271. data/lib/steep/ast/signature/class.rb +0 -33
  272. data/lib/steep/ast/signature/const.rb +0 -17
  273. data/lib/steep/ast/signature/env.rb +0 -138
  274. data/lib/steep/ast/signature/extension.rb +0 -21
  275. data/lib/steep/ast/signature/gvar.rb +0 -17
  276. data/lib/steep/ast/signature/interface.rb +0 -31
  277. data/lib/steep/ast/signature/members.rb +0 -115
  278. data/lib/steep/ast/signature/module.rb +0 -21
  279. data/lib/steep/drivers/print_interface.rb +0 -94
  280. data/lib/steep/drivers/scaffold.rb +0 -321
  281. data/lib/steep/drivers/utils/each_signature.rb +0 -31
  282. data/lib/steep/interface/abstract.rb +0 -68
  283. data/lib/steep/interface/builder.rb +0 -637
  284. data/lib/steep/interface/instantiated.rb +0 -163
  285. data/lib/steep/interface/ivar_chain.rb +0 -26
  286. data/lib/steep/parser.y +0 -1278
  287. data/lib/steep/project/listener.rb +0 -53
  288. data/smoke/class/a.rbi +0 -24
  289. data/smoke/class/d.rb +0 -9
  290. data/smoke/class/e.rb +0 -12
  291. data/smoke/class/i.rbi +0 -9
  292. data/smoke/hash/e.rbi +0 -3
  293. data/smoke/hello/hello.rbi +0 -7
  294. data/smoke/implements/a.rbi +0 -6
  295. data/smoke/initialize/a.rbi +0 -3
  296. data/smoke/module/a.rbi +0 -16
  297. data/smoke/self/a.rbi +0 -4
  298. data/smoke/super/a.rbi +0 -10
  299. data/stdlib/builtin.rbi +0 -787
@@ -0,0 +1,280 @@
1
+ # BasicObject is the parent class of all classes in Ruby. It's an explicit
2
+ # blank class.
3
+ #
4
+ # BasicObject can be used for creating object hierarchies independent of Ruby's
5
+ # object hierarchy, proxy objects like the Delegator class, or other uses where
6
+ # namespace pollution from Ruby's methods and classes must be avoided.
7
+ #
8
+ # To avoid polluting BasicObject for other users an appropriately named subclass
9
+ # of BasicObject should be created instead of directly modifying BasicObject:
10
+ #
11
+ # class MyObjectSystem < BasicObject
12
+ # end
13
+ #
14
+ # BasicObject does not include Kernel (for methods like `puts`) and BasicObject
15
+ # is outside of the namespace of the standard library so common classes will not
16
+ # be found without using a full class path.
17
+ #
18
+ # A variety of strategies can be used to provide useful portions of the standard
19
+ # library to subclasses of BasicObject. A subclass could `include Kernel` to
20
+ # obtain `puts`, `exit`, etc. A custom Kernel-like module could be created and
21
+ # included or delegation can be used via #method_missing:
22
+ #
23
+ # class MyObjectSystem < BasicObject
24
+ # DELEGATE = [:puts, :p]
25
+ #
26
+ # def method_missing(name, *args, &block)
27
+ # super unless DELEGATE.include? name
28
+ # ::Kernel.send(name, *args, &block)
29
+ # end
30
+ #
31
+ # def respond_to_missing?(name, include_private = false)
32
+ # DELEGATE.include?(name) or super
33
+ # end
34
+ # end
35
+ #
36
+ # Access to classes and modules from the Ruby standard library can be obtained
37
+ # in a BasicObject subclass by referencing the desired constant from the root
38
+ # like `::File` or `::Enumerator`. Like #method_missing, #const_missing can be
39
+ # used to delegate constant lookup to `Object`:
40
+ #
41
+ # class MyObjectSystem < BasicObject
42
+ # def self.const_missing(name)
43
+ # ::Object.const_get(name)
44
+ # end
45
+ # end
46
+ #
47
+ class BasicObject
48
+ # Boolean negate.
49
+ #
50
+ def !: () -> bool
51
+
52
+ # Returns true if two objects are not-equal, otherwise false.
53
+ #
54
+ def !=: (untyped other) -> bool
55
+
56
+ # Equality --- At the `Object` level, `==` returns `true` only if `obj` and
57
+ # `other` are the same object. Typically, this method is overridden in
58
+ # descendant classes to provide class-specific meaning.
59
+ #
60
+ # Unlike `==`, the `equal?` method should never be overridden by subclasses as
61
+ # it is used to determine object identity (that is, `a.equal?(b)` if and only if
62
+ # `a` is the same object as `b`):
63
+ #
64
+ # obj = "a"
65
+ # other = obj.dup
66
+ #
67
+ # obj == other #=> true
68
+ # obj.equal? other #=> false
69
+ # obj.equal? obj #=> true
70
+ #
71
+ # The `eql?` method returns `true` if `obj` and `other` refer to the same hash
72
+ # key. This is used by Hash to test members for equality. For objects of class
73
+ # `Object`, `eql?` is synonymous with `==`. Subclasses normally continue this
74
+ # tradition by aliasing `eql?` to their overridden `==` method, but there are
75
+ # exceptions. `Numeric` types, for example, perform type conversion across
76
+ # `==`, but not across `eql?`, so:
77
+ #
78
+ # 1 == 1.0 #=> true
79
+ # 1.eql? 1.0 #=> false
80
+ #
81
+ def ==: (untyped other) -> bool
82
+
83
+ # Returns an integer identifier for `obj`.
84
+ #
85
+ # The same number will be returned on all calls to `object_id` for a given
86
+ # object, and no two active objects will share an id.
87
+ #
88
+ # Note: that some objects of builtin classes are reused for optimization. This
89
+ # is the case for immediate values and frozen string literals.
90
+ #
91
+ # Immediate values are not passed by reference but are passed by value: `nil`,
92
+ # `true`, `false`, Fixnums, Symbols, and some Floats.
93
+ #
94
+ # Object.new.object_id == Object.new.object_id # => false
95
+ # (21 * 2).object_id == (21 * 2).object_id # => true
96
+ # "hello".object_id == "hello".object_id # => false
97
+ # "hi".freeze.object_id == "hi".freeze.object_id # => true
98
+ #
99
+ def __id__: () -> Integer
100
+
101
+ # Invokes the method identified by *symbol*, passing it any arguments specified.
102
+ # You can use `__send__` if the name `send` clashes with an existing method in
103
+ # *obj*. When the method is identified by a string, the string is converted to a
104
+ # symbol.
105
+ #
106
+ # class Klass
107
+ # def hello(*args)
108
+ # "Hello " + args.join(' ')
109
+ # end
110
+ # end
111
+ # k = Klass.new
112
+ # k.send :hello, "gentle", "readers" #=> "Hello gentle readers"
113
+ #
114
+ def __send__: (String | Symbol arg0, *untyped args) -> untyped
115
+
116
+ # Equality --- At the `Object` level, `==` returns `true` only if `obj` and
117
+ # `other` are the same object. Typically, this method is overridden in
118
+ # descendant classes to provide class-specific meaning.
119
+ #
120
+ # Unlike `==`, the `equal?` method should never be overridden by subclasses as
121
+ # it is used to determine object identity (that is, `a.equal?(b)` if and only if
122
+ # `a` is the same object as `b`):
123
+ #
124
+ # obj = "a"
125
+ # other = obj.dup
126
+ #
127
+ # obj == other #=> true
128
+ # obj.equal? other #=> false
129
+ # obj.equal? obj #=> true
130
+ #
131
+ # The `eql?` method returns `true` if `obj` and `other` refer to the same hash
132
+ # key. This is used by Hash to test members for equality. For objects of class
133
+ # `Object`, `eql?` is synonymous with `==`. Subclasses normally continue this
134
+ # tradition by aliasing `eql?` to their overridden `==` method, but there are
135
+ # exceptions. `Numeric` types, for example, perform type conversion across
136
+ # `==`, but not across `eql?`, so:
137
+ #
138
+ # 1 == 1.0 #=> true
139
+ # 1.eql? 1.0 #=> false
140
+ #
141
+ def equal?: (untyped other) -> bool
142
+
143
+ # Evaluates a string containing Ruby source code, or the given block, within the
144
+ # context of the receiver (*obj*). In order to set the context, the variable
145
+ # `self` is set to *obj* while the code is executing, giving the code access to
146
+ # *obj*'s instance variables and private methods.
147
+ #
148
+ # When `instance_eval` is given a block, *obj* is also passed in as the block's
149
+ # only argument.
150
+ #
151
+ # When `instance_eval` is given a `String`, the optional second and third
152
+ # parameters supply a filename and starting line number that are used when
153
+ # reporting compilation errors.
154
+ #
155
+ # class KlassWithSecret
156
+ # def initialize
157
+ # @secret = 99
158
+ # end
159
+ # private
160
+ # def the_secret
161
+ # "Ssssh! The secret is #{@secret}."
162
+ # end
163
+ # end
164
+ # k = KlassWithSecret.new
165
+ # k.instance_eval { @secret } #=> 99
166
+ # k.instance_eval { the_secret } #=> "Ssssh! The secret is 99."
167
+ # k.instance_eval {|obj| obj == self } #=> true
168
+ #
169
+ def instance_eval: (String, ?String filename, ?Integer lineno) -> untyped
170
+ | [U] () { (self) -> U } -> U
171
+
172
+ # Executes the given block within the context of the receiver (*obj*). In order
173
+ # to set the context, the variable `self` is set to *obj* while the code is
174
+ # executing, giving the code access to *obj*'s instance variables. Arguments
175
+ # are passed as block parameters.
176
+ #
177
+ # class KlassWithSecret
178
+ # def initialize
179
+ # @secret = 99
180
+ # end
181
+ # end
182
+ # k = KlassWithSecret.new
183
+ # k.instance_exec(5) {|x| @secret+x } #=> 104
184
+ #
185
+ def instance_exec: [U, V] (*V args) { (*V args) -> U } -> U
186
+
187
+ # Not documented
188
+ #
189
+ def initialize: () -> void
190
+
191
+ private
192
+
193
+ # Invoked by Ruby when *obj* is sent a message it cannot handle. *symbol* is the
194
+ # symbol for the method called, and *args* are any arguments that were passed to
195
+ # it. By default, the interpreter raises an error when this method is called.
196
+ # However, it is possible to override the method to provide more dynamic
197
+ # behavior. If it is decided that a particular method should not be handled,
198
+ # then *super* should be called, so that ancestors can pick up the missing
199
+ # method. The example below creates a class `Roman`, which responds to methods
200
+ # with names consisting of roman numerals, returning the corresponding integer
201
+ # values.
202
+ #
203
+ # class Roman
204
+ # def roman_to_int(str)
205
+ # # ...
206
+ # end
207
+ # def method_missing(methId)
208
+ # str = methId.id2name
209
+ # roman_to_int(str)
210
+ # end
211
+ # end
212
+ #
213
+ # r = Roman.new
214
+ # r.iv #=> 4
215
+ # r.xxiii #=> 23
216
+ # r.mm #=> 2000
217
+ #
218
+ def method_missing: (Symbol, *untyped) -> untyped
219
+
220
+ # Invoked as a callback whenever a singleton method is added to the receiver.
221
+ #
222
+ # module Chatty
223
+ # def Chatty.singleton_method_added(id)
224
+ # puts "Adding #{id.id2name}"
225
+ # end
226
+ # def self.one() end
227
+ # def two() end
228
+ # def Chatty.three() end
229
+ # end
230
+ #
231
+ # *produces:*
232
+ #
233
+ # Adding singleton_method_added
234
+ # Adding one
235
+ # Adding three
236
+ #
237
+ def singleton_method_added: (Symbol) -> void
238
+
239
+ # Invoked as a callback whenever a singleton method is removed from the
240
+ # receiver.
241
+ #
242
+ # module Chatty
243
+ # def Chatty.singleton_method_removed(id)
244
+ # puts "Removing #{id.id2name}"
245
+ # end
246
+ # def self.one() end
247
+ # def two() end
248
+ # def Chatty.three() end
249
+ # class << self
250
+ # remove_method :three
251
+ # remove_method :one
252
+ # end
253
+ # end
254
+ #
255
+ # *produces:*
256
+ #
257
+ # Removing three
258
+ # Removing one
259
+ #
260
+ def singleton_method_removed: (Symbol) -> void
261
+
262
+ # Invoked as a callback whenever a singleton method is undefined in the
263
+ # receiver.
264
+ #
265
+ # module Chatty
266
+ # def Chatty.singleton_method_undefined(id)
267
+ # puts "Undefining #{id.id2name}"
268
+ # end
269
+ # def Chatty.one() end
270
+ # class << self
271
+ # undef_method(:one)
272
+ # end
273
+ # end
274
+ #
275
+ # *produces:*
276
+ #
277
+ # Undefining one
278
+ #
279
+ def singleton_method_undefined: (Symbol) -> void
280
+ end
@@ -0,0 +1,177 @@
1
+ # Objects of class Binding encapsulate the execution context at some particular
2
+ # place in the code and retain this context for future use. The variables,
3
+ # methods, value of `self`, and possibly an iterator block that can be accessed
4
+ # in this context are all retained. Binding objects can be created using
5
+ # Kernel#binding, and are made available to the callback of
6
+ # Kernel#set_trace_func and instances of TracePoint.
7
+ #
8
+ # These binding objects can be passed as the second argument of the Kernel#eval
9
+ # method, establishing an environment for the evaluation.
10
+ #
11
+ # class Demo
12
+ # def initialize(n)
13
+ # @secret = n
14
+ # end
15
+ # def get_binding
16
+ # binding
17
+ # end
18
+ # end
19
+ #
20
+ # k1 = Demo.new(99)
21
+ # b1 = k1.get_binding
22
+ # k2 = Demo.new(-3)
23
+ # b2 = k2.get_binding
24
+ #
25
+ # eval("@secret", b1) #=> 99
26
+ # eval("@secret", b2) #=> -3
27
+ # eval("@secret") #=> nil
28
+ #
29
+ # Binding objects have no class-specific methods.
30
+ #
31
+ class Binding
32
+ public
33
+
34
+ # Evaluates the Ruby expression(s) in *string*, in the *binding*'s context. If
35
+ # the optional *filename* and *lineno* parameters are present, they will be used
36
+ # when reporting syntax errors.
37
+ #
38
+ # def get_binding(param)
39
+ # binding
40
+ # end
41
+ # b = get_binding("hello")
42
+ # b.eval("param") #=> "hello"
43
+ #
44
+ def eval: (String arg0, ?String filename, ?Integer lineno) -> untyped
45
+
46
+ # Opens an IRB session where `binding.irb` is called which allows for
47
+ # interactive debugging. You can call any methods or variables available in the
48
+ # current scope, and mutate state if you need to.
49
+ #
50
+ # Given a Ruby file called `potato.rb` containing the following code:
51
+ #
52
+ # class Potato
53
+ # def initialize
54
+ # @cooked = false
55
+ # binding.irb
56
+ # puts "Cooked potato: #{@cooked}"
57
+ # end
58
+ # end
59
+ #
60
+ # Potato.new
61
+ #
62
+ # Running `ruby potato.rb` will open an IRB session where `binding.irb` is
63
+ # called, and you will see the following:
64
+ #
65
+ # $ ruby potato.rb
66
+ #
67
+ # From: potato.rb @ line 4 :
68
+ #
69
+ # 1: class Potato
70
+ # 2: def initialize
71
+ # 3: @cooked = false
72
+ # => 4: binding.irb
73
+ # 5: puts "Cooked potato: #{@cooked}"
74
+ # 6: end
75
+ # 7: end
76
+ # 8:
77
+ # 9: Potato.new
78
+ #
79
+ # irb(#<Potato:0x00007feea1916670>):001:0>
80
+ #
81
+ # You can type any valid Ruby code and it will be evaluated in the current
82
+ # context. This allows you to debug without having to run your code repeatedly:
83
+ #
84
+ # irb(#<Potato:0x00007feea1916670>):001:0> @cooked
85
+ # => false
86
+ # irb(#<Potato:0x00007feea1916670>):002:0> self.class
87
+ # => Potato
88
+ # irb(#<Potato:0x00007feea1916670>):003:0> caller.first
89
+ # => ".../2.5.1/lib/ruby/2.5.0/irb/workspace.rb:85:in `eval'"
90
+ # irb(#<Potato:0x00007feea1916670>):004:0> @cooked = true
91
+ # => true
92
+ #
93
+ # You can exit the IRB session with the `exit` command. Note that exiting will
94
+ # resume execution where `binding.irb` had paused it, as you can see from the
95
+ # output printed to standard output in this example:
96
+ #
97
+ # irb(#<Potato:0x00007feea1916670>):005:0> exit
98
+ # Cooked potato: true
99
+ #
100
+ # See IRB@IRB+Usage for more information.
101
+ #
102
+ def irb: () -> void
103
+
104
+ # Returns `true` if a local variable `symbol` exists.
105
+ #
106
+ # def foo
107
+ # a = 1
108
+ # binding.local_variable_defined?(:a) #=> true
109
+ # binding.local_variable_defined?(:b) #=> false
110
+ # end
111
+ #
112
+ # This method is the short version of the following code:
113
+ #
114
+ # binding.eval("defined?(#{symbol}) == 'local-variable'")
115
+ #
116
+ def local_variable_defined?: (String | Symbol symbol) -> bool
117
+
118
+ # Returns the value of the local variable `symbol`.
119
+ #
120
+ # def foo
121
+ # a = 1
122
+ # binding.local_variable_get(:a) #=> 1
123
+ # binding.local_variable_get(:b) #=> NameError
124
+ # end
125
+ #
126
+ # This method is the short version of the following code:
127
+ #
128
+ # binding.eval("#{symbol}")
129
+ #
130
+ def local_variable_get: (String | Symbol symbol) -> untyped
131
+
132
+ # Set local variable named `symbol` as `obj`.
133
+ #
134
+ # def foo
135
+ # a = 1
136
+ # bind = binding
137
+ # bind.local_variable_set(:a, 2) # set existing local variable `a'
138
+ # bind.local_variable_set(:b, 3) # create new local variable `b'
139
+ # # `b' exists only in binding
140
+ #
141
+ # p bind.local_variable_get(:a) #=> 2
142
+ # p bind.local_variable_get(:b) #=> 3
143
+ # p a #=> 2
144
+ # p b #=> NameError
145
+ # end
146
+ #
147
+ # This method behaves similarly to the following code:
148
+ #
149
+ # binding.eval("#{symbol} = #{obj}")
150
+ #
151
+ # if `obj` can be dumped in Ruby code.
152
+ #
153
+ def local_variable_set: [U] (String | Symbol symbol, U obj) -> U
154
+
155
+ # Returns the names of the binding's local variables as symbols.
156
+ #
157
+ # def foo
158
+ # a = 1
159
+ # 2.times do |n|
160
+ # binding.local_variables #=> [:a, :n]
161
+ # end
162
+ # end
163
+ #
164
+ # This method is the short version of the following code:
165
+ #
166
+ # binding.eval("local_variables")
167
+ #
168
+ def local_variables: () -> Array[Symbol]
169
+
170
+ # Returns the bound receiver of the binding object.
171
+ #
172
+ def receiver: () -> untyped
173
+
174
+ # Returns the Ruby source filename and line number of the binding object.
175
+ #
176
+ def source_location: () -> [ String, Integer ]
177
+ end