steep 0.11.1 → 0.12.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/ruby.yml +27 -0
- data/.gitmodules +3 -0
- data/CHANGELOG.md +5 -0
- data/README.md +48 -90
- data/Rakefile +10 -6
- data/Steepfile +1 -0
- data/bin/setup +1 -0
- data/bin/smoke_runner.rb +9 -14
- data/exe/rbs +3 -0
- data/exe/ruby-signature +3 -0
- data/exe/steep +1 -0
- data/lib/steep.rb +32 -26
- data/lib/steep/annotation_parser.rb +167 -0
- data/lib/steep/ast/annotation/collection.rb +7 -7
- data/lib/steep/ast/types.rb +60 -0
- data/lib/steep/ast/types/any.rb +1 -1
- data/lib/steep/ast/types/factory.rb +535 -0
- data/lib/steep/ast/types/name.rb +3 -3
- data/lib/steep/ast/types/var.rb +1 -1
- data/lib/steep/cli.rb +56 -240
- data/lib/steep/drivers/annotations.rb +36 -19
- data/lib/steep/drivers/check.rb +55 -91
- data/lib/steep/drivers/init.rb +54 -0
- data/lib/steep/drivers/langserver.rb +241 -150
- data/lib/steep/drivers/print_project.rb +56 -0
- data/lib/steep/drivers/signature_error_printer.rb +25 -0
- data/lib/steep/drivers/trace_printer.rb +25 -0
- data/lib/steep/drivers/utils/driver_helper.rb +26 -0
- data/lib/steep/drivers/validate.rb +18 -38
- data/lib/steep/drivers/vendor.rb +46 -0
- data/lib/steep/drivers/watch.rb +78 -140
- data/lib/steep/errors.rb +22 -13
- data/lib/steep/interface/interface.rb +91 -0
- data/lib/steep/interface/method.rb +0 -4
- data/lib/steep/interface/method_type.rb +362 -2
- data/lib/steep/interface/substitution.rb +22 -0
- data/lib/steep/project.rb +25 -233
- data/lib/steep/project/dsl.rb +132 -0
- data/lib/steep/project/file.rb +93 -76
- data/lib/steep/project/file_loader.rb +63 -0
- data/lib/steep/project/options.rb +7 -0
- data/lib/steep/project/target.rb +190 -0
- data/lib/steep/signature/errors.rb +25 -77
- data/lib/steep/signature/validator.rb +122 -0
- data/lib/steep/source.rb +12 -7
- data/lib/steep/subtyping/check.rb +357 -633
- data/lib/steep/subtyping/constraints.rb +2 -2
- data/lib/steep/subtyping/trace.rb +23 -0
- data/lib/steep/type_construction.rb +509 -455
- data/lib/steep/type_inference/constant_env.rb +16 -24
- data/lib/steep/type_inference/type_env.rb +26 -18
- data/lib/steep/version.rb +1 -1
- data/sample/Steepfile +6 -0
- data/sample/lib/conference.rb +12 -0
- data/sample/sig/conference.rbs +6 -0
- data/smoke/alias/Steepfile +4 -0
- data/smoke/alias/a.rb +2 -2
- data/smoke/alias/{a.rbi → a.rbs} +1 -1
- data/smoke/and/Steepfile +4 -0
- data/smoke/array/Steepfile +4 -0
- data/smoke/array/a.rb +2 -2
- data/smoke/array/b.rb +4 -4
- data/smoke/array/c.rb +2 -2
- data/smoke/block/Steepfile +5 -0
- data/smoke/block/{a.rbi → a.rbs} +1 -1
- data/smoke/block/{c.rbi → c.rbs} +0 -0
- data/smoke/block/d.rb +6 -6
- data/smoke/case/Steepfile +4 -0
- data/smoke/case/a.rb +4 -3
- data/smoke/class/Steepfile +4 -0
- data/smoke/class/a.rb +1 -4
- data/smoke/class/a.rbs +24 -0
- data/smoke/class/h.rb +6 -2
- data/smoke/class/{h.rbi → h.rbs} +1 -2
- data/smoke/class/i.rb +1 -2
- data/smoke/class/i.rbs +9 -0
- data/smoke/const/Steepfile +4 -0
- data/smoke/dstr/Steepfile +4 -0
- data/smoke/ensure/Steepfile +4 -0
- data/smoke/ensure/a.rb +1 -1
- data/smoke/enumerator/Steepfile +4 -0
- data/smoke/enumerator/a.rb +7 -7
- data/smoke/enumerator/b.rb +6 -6
- data/smoke/extension/Steepfile +4 -0
- data/smoke/extension/{a.rbi → a.rbs} +2 -2
- data/smoke/extension/{e.rbi → e.rbs} +2 -2
- data/smoke/hash/Steepfile +4 -0
- data/smoke/hash/{a.rbi → a.rbs} +0 -0
- data/smoke/hash/b.rb +2 -2
- data/smoke/hash/c.rb +1 -1
- data/smoke/hash/e.rbs +3 -0
- data/smoke/hash/f.rb +1 -1
- data/smoke/hello/Steepfile +4 -0
- data/smoke/hello/hello.rbs +7 -0
- data/smoke/if/Steepfile +4 -0
- data/smoke/implements/Steepfile +4 -0
- data/smoke/implements/a.rbs +6 -0
- data/smoke/initialize/Steepfile +4 -0
- data/smoke/initialize/a.rbs +3 -0
- data/smoke/integer/Steepfile +4 -0
- data/smoke/integer/a.rb +5 -3
- data/smoke/interface/Steepfile +4 -0
- data/smoke/interface/{a.rbi → a.rbs} +0 -0
- data/smoke/kwbegin/Steepfile +4 -0
- data/smoke/lambda/Steepfile +4 -0
- data/smoke/lambda/a.rb +9 -2
- data/smoke/literal/Steepfile +4 -0
- data/smoke/literal/{literal_methods.rbi → literal_methods.rbs} +0 -0
- data/smoke/map/Steepfile +4 -0
- data/smoke/map/a.rb +1 -1
- data/smoke/method/Steepfile +4 -0
- data/smoke/method/{a.rbi → a.rbs} +0 -0
- data/smoke/method/b.rb +1 -4
- data/smoke/method/d.rb +1 -0
- data/smoke/method/d.rbs +3 -0
- data/smoke/module/Steepfile +4 -0
- data/smoke/module/a.rb +1 -1
- data/smoke/module/a.rbs +16 -0
- data/smoke/module/c.rb +1 -1
- data/smoke/regexp/Steepfile +4 -0
- data/smoke/regexp/a.rb +2 -2
- data/smoke/regexp/b.rb +16 -16
- data/smoke/regression/Steepfile +5 -0
- data/smoke/regression/array.rb +2 -2
- data/smoke/regression/hash.rb +2 -2
- data/smoke/regression/poly_new.rb +2 -0
- data/smoke/regression/poly_new.rbs +4 -0
- data/smoke/regression/set_divide.rb +2 -2
- data/smoke/rescue/Steepfile +4 -0
- data/smoke/rescue/a.rb +1 -1
- data/smoke/self/Steepfile +4 -0
- data/smoke/self/a.rbs +4 -0
- data/smoke/skip/Steepfile +4 -0
- data/smoke/stdout/Steepfile +4 -0
- data/smoke/stdout/{a.rbi → a.rbs} +1 -1
- data/smoke/super/Steepfile +4 -0
- data/smoke/super/a.rbs +10 -0
- data/smoke/type_case/Steepfile +4 -0
- data/smoke/type_case/a.rb +1 -1
- data/smoke/yield/Steepfile +4 -0
- data/smoke/yield/a.rb +2 -2
- data/steep.gemspec +14 -7
- data/vendor/ruby-signature/.github/workflows/ruby.yml +27 -0
- data/vendor/ruby-signature/.gitignore +12 -0
- data/vendor/ruby-signature/.rubocop.yml +15 -0
- data/vendor/ruby-signature/BSDL +22 -0
- data/vendor/ruby-signature/COPYING +56 -0
- data/vendor/ruby-signature/Gemfile +6 -0
- data/vendor/ruby-signature/README.md +93 -0
- data/vendor/ruby-signature/Rakefile +66 -0
- data/vendor/ruby-signature/bin/annotate-with-rdoc +156 -0
- data/vendor/ruby-signature/bin/console +14 -0
- data/vendor/ruby-signature/bin/query-rdoc +103 -0
- data/vendor/ruby-signature/bin/setup +10 -0
- data/vendor/ruby-signature/bin/sort +88 -0
- data/vendor/ruby-signature/bin/test_runner.rb +17 -0
- data/vendor/ruby-signature/docs/CONTRIBUTING.md +97 -0
- data/vendor/ruby-signature/docs/sigs.md +148 -0
- data/vendor/ruby-signature/docs/stdlib.md +152 -0
- data/vendor/ruby-signature/docs/syntax.md +528 -0
- data/vendor/ruby-signature/exe/rbs +3 -0
- data/vendor/ruby-signature/exe/ruby-signature +7 -0
- data/vendor/ruby-signature/lib/ruby/signature.rb +64 -0
- data/vendor/ruby-signature/lib/ruby/signature/ast/annotation.rb +29 -0
- data/vendor/ruby-signature/lib/ruby/signature/ast/comment.rb +29 -0
- data/vendor/ruby-signature/lib/ruby/signature/ast/declarations.rb +391 -0
- data/vendor/ruby-signature/lib/ruby/signature/ast/members.rb +364 -0
- data/vendor/ruby-signature/lib/ruby/signature/buffer.rb +52 -0
- data/vendor/ruby-signature/lib/ruby/signature/builtin_names.rb +54 -0
- data/vendor/ruby-signature/lib/ruby/signature/cli.rb +534 -0
- data/vendor/ruby-signature/lib/ruby/signature/constant.rb +28 -0
- data/vendor/ruby-signature/lib/ruby/signature/constant_table.rb +152 -0
- data/vendor/ruby-signature/lib/ruby/signature/definition.rb +172 -0
- data/vendor/ruby-signature/lib/ruby/signature/definition_builder.rb +921 -0
- data/vendor/ruby-signature/lib/ruby/signature/environment.rb +283 -0
- data/vendor/ruby-signature/lib/ruby/signature/environment_loader.rb +138 -0
- data/vendor/ruby-signature/lib/ruby/signature/environment_walker.rb +126 -0
- data/vendor/ruby-signature/lib/ruby/signature/errors.rb +189 -0
- data/vendor/ruby-signature/lib/ruby/signature/location.rb +104 -0
- data/vendor/ruby-signature/lib/ruby/signature/method_type.rb +125 -0
- data/vendor/ruby-signature/lib/ruby/signature/namespace.rb +93 -0
- data/vendor/ruby-signature/lib/ruby/signature/parser.y +1343 -0
- data/vendor/ruby-signature/lib/ruby/signature/prototype/rb.rb +441 -0
- data/vendor/ruby-signature/lib/ruby/signature/prototype/rbi.rb +579 -0
- data/vendor/ruby-signature/lib/ruby/signature/prototype/runtime.rb +383 -0
- data/vendor/ruby-signature/lib/ruby/signature/substitution.rb +48 -0
- data/vendor/ruby-signature/lib/ruby/signature/test.rb +28 -0
- data/vendor/ruby-signature/lib/ruby/signature/test/errors.rb +63 -0
- data/vendor/ruby-signature/lib/ruby/signature/test/hook.rb +290 -0
- data/vendor/ruby-signature/lib/ruby/signature/test/setup.rb +58 -0
- data/vendor/ruby-signature/lib/ruby/signature/test/spy.rb +324 -0
- data/vendor/ruby-signature/lib/ruby/signature/test/test_helper.rb +185 -0
- data/vendor/ruby-signature/lib/ruby/signature/test/type_check.rb +256 -0
- data/vendor/ruby-signature/lib/ruby/signature/type_name.rb +72 -0
- data/vendor/ruby-signature/lib/ruby/signature/types.rb +932 -0
- data/vendor/ruby-signature/lib/ruby/signature/variance_calculator.rb +140 -0
- data/vendor/ruby-signature/lib/ruby/signature/vendorer.rb +49 -0
- data/vendor/ruby-signature/lib/ruby/signature/version.rb +5 -0
- data/vendor/ruby-signature/lib/ruby/signature/writer.rb +271 -0
- data/vendor/ruby-signature/ruby-signature.gemspec +45 -0
- data/vendor/ruby-signature/stdlib/abbrev/abbrev.rbs +3 -0
- data/vendor/ruby-signature/stdlib/base64/base64.rbs +15 -0
- data/vendor/ruby-signature/stdlib/builtin/array.rbs +1997 -0
- data/vendor/ruby-signature/stdlib/builtin/basic_object.rbs +280 -0
- data/vendor/ruby-signature/stdlib/builtin/binding.rbs +177 -0
- data/vendor/ruby-signature/stdlib/builtin/builtin.rbs +35 -0
- data/vendor/ruby-signature/stdlib/builtin/class.rbs +145 -0
- data/vendor/ruby-signature/stdlib/builtin/comparable.rbs +116 -0
- data/vendor/ruby-signature/stdlib/builtin/complex.rbs +400 -0
- data/vendor/ruby-signature/stdlib/builtin/constants.rbs +37 -0
- data/vendor/ruby-signature/stdlib/builtin/data.rbs +5 -0
- data/vendor/ruby-signature/stdlib/builtin/deprecated.rbs +2 -0
- data/vendor/ruby-signature/stdlib/builtin/dir.rbs +419 -0
- data/vendor/ruby-signature/stdlib/builtin/encoding.rbs +606 -0
- data/vendor/ruby-signature/stdlib/builtin/enumerable.rbs +404 -0
- data/vendor/ruby-signature/stdlib/builtin/enumerator.rbs +260 -0
- data/vendor/ruby-signature/stdlib/builtin/errno.rbs +781 -0
- data/vendor/ruby-signature/stdlib/builtin/errors.rbs +582 -0
- data/vendor/ruby-signature/stdlib/builtin/exception.rbs +193 -0
- data/vendor/ruby-signature/stdlib/builtin/false_class.rbs +40 -0
- data/vendor/ruby-signature/stdlib/builtin/fiber.rbs +68 -0
- data/vendor/ruby-signature/stdlib/builtin/fiber_error.rbs +12 -0
- data/vendor/ruby-signature/stdlib/builtin/file.rbs +476 -0
- data/vendor/ruby-signature/stdlib/builtin/file_test.rbs +59 -0
- data/vendor/ruby-signature/stdlib/builtin/float.rbs +696 -0
- data/vendor/ruby-signature/stdlib/builtin/gc.rbs +121 -0
- data/vendor/ruby-signature/stdlib/builtin/hash.rbs +1029 -0
- data/vendor/ruby-signature/stdlib/builtin/integer.rbs +710 -0
- data/vendor/ruby-signature/stdlib/builtin/io.rbs +683 -0
- data/vendor/ruby-signature/stdlib/builtin/kernel.rbs +574 -0
- data/vendor/ruby-signature/stdlib/builtin/marshal.rbs +135 -0
- data/vendor/ruby-signature/stdlib/builtin/match_data.rbs +141 -0
- data/vendor/ruby-signature/stdlib/builtin/math.rbs +66 -0
- data/vendor/ruby-signature/stdlib/builtin/method.rbs +182 -0
- data/vendor/ruby-signature/stdlib/builtin/module.rbs +248 -0
- data/vendor/ruby-signature/stdlib/builtin/nil_class.rbs +82 -0
- data/vendor/ruby-signature/stdlib/builtin/numeric.rbs +409 -0
- data/vendor/ruby-signature/stdlib/builtin/object.rbs +824 -0
- data/vendor/ruby-signature/stdlib/builtin/proc.rbs +426 -0
- data/vendor/ruby-signature/stdlib/builtin/process.rbs +354 -0
- data/vendor/ruby-signature/stdlib/builtin/random.rbs +93 -0
- data/vendor/ruby-signature/stdlib/builtin/range.rbs +226 -0
- data/vendor/ruby-signature/stdlib/builtin/rational.rbs +424 -0
- data/vendor/ruby-signature/stdlib/builtin/rb_config.rbs +10 -0
- data/vendor/ruby-signature/stdlib/builtin/regexp.rbs +131 -0
- data/vendor/ruby-signature/stdlib/builtin/ruby_vm.rbs +14 -0
- data/vendor/ruby-signature/stdlib/builtin/signal.rbs +55 -0
- data/vendor/ruby-signature/stdlib/builtin/string.rbs +770 -0
- data/vendor/ruby-signature/stdlib/builtin/string_io.rbs +13 -0
- data/vendor/ruby-signature/stdlib/builtin/struct.rbs +40 -0
- data/vendor/ruby-signature/stdlib/builtin/symbol.rbs +230 -0
- data/vendor/ruby-signature/stdlib/builtin/thread.rbs +1112 -0
- data/vendor/ruby-signature/stdlib/builtin/thread_group.rbs +23 -0
- data/vendor/ruby-signature/stdlib/builtin/time.rbs +739 -0
- data/vendor/ruby-signature/stdlib/builtin/trace_point.rbs +91 -0
- data/vendor/ruby-signature/stdlib/builtin/true_class.rbs +46 -0
- data/vendor/ruby-signature/stdlib/builtin/unbound_method.rbs +159 -0
- data/vendor/ruby-signature/stdlib/builtin/warning.rbs +17 -0
- data/vendor/ruby-signature/stdlib/erb/erb.rbs +18 -0
- data/vendor/ruby-signature/stdlib/find/find.rbs +44 -0
- data/vendor/ruby-signature/stdlib/pathname/pathname.rbs +21 -0
- data/vendor/ruby-signature/stdlib/prime/integer-extension.rbs +23 -0
- data/vendor/ruby-signature/stdlib/prime/prime.rbs +188 -0
- data/vendor/ruby-signature/stdlib/securerandom/securerandom.rbs +9 -0
- data/vendor/ruby-signature/stdlib/set/set.rbs +77 -0
- data/vendor/ruby-signature/stdlib/tmpdir/tmpdir.rbs +53 -0
- metadata +244 -54
- data/.travis.yml +0 -7
- data/lib/steep/ast/signature/alias.rb +0 -19
- data/lib/steep/ast/signature/class.rb +0 -33
- data/lib/steep/ast/signature/const.rb +0 -17
- data/lib/steep/ast/signature/env.rb +0 -138
- data/lib/steep/ast/signature/extension.rb +0 -21
- data/lib/steep/ast/signature/gvar.rb +0 -17
- data/lib/steep/ast/signature/interface.rb +0 -31
- data/lib/steep/ast/signature/members.rb +0 -115
- data/lib/steep/ast/signature/module.rb +0 -21
- data/lib/steep/drivers/print_interface.rb +0 -94
- data/lib/steep/drivers/scaffold.rb +0 -321
- data/lib/steep/drivers/utils/each_signature.rb +0 -31
- data/lib/steep/interface/abstract.rb +0 -68
- data/lib/steep/interface/builder.rb +0 -637
- data/lib/steep/interface/instantiated.rb +0 -163
- data/lib/steep/interface/ivar_chain.rb +0 -26
- data/lib/steep/parser.y +0 -1278
- data/lib/steep/project/listener.rb +0 -53
- data/smoke/class/a.rbi +0 -24
- data/smoke/class/d.rb +0 -9
- data/smoke/class/e.rb +0 -12
- data/smoke/class/i.rbi +0 -9
- data/smoke/hash/e.rbi +0 -3
- data/smoke/hello/hello.rbi +0 -7
- data/smoke/implements/a.rbi +0 -6
- data/smoke/initialize/a.rbi +0 -3
- data/smoke/module/a.rbi +0 -16
- data/smoke/self/a.rbi +0 -4
- data/smoke/super/a.rbi +0 -10
- 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
|