rbs 1.0.0 → 1.0.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.github/workflows/ruby.yml +10 -4
- data/CHANGELOG.md +47 -0
- data/Gemfile +6 -2
- data/README.md +1 -1
- data/Rakefile +3 -4
- data/bin/test_runner.rb +4 -5
- data/core/array.rbs +2 -2
- data/core/complex.rbs +1 -1
- data/core/encoding.rbs +1 -1
- data/core/enumerable.rbs +15 -1
- data/core/file.rbs +3 -1
- data/core/integer.rbs +2 -1
- data/core/io.rbs +75 -4
- data/core/kernel.rbs +56 -56
- data/core/module.rbs +3 -3
- data/core/rational.rbs +2 -1
- data/core/string.rbs +2 -1
- data/core/symbol.rbs +2 -1
- data/core/time.rbs +2 -1
- data/core/unbound_method.rbs +16 -0
- data/docs/CONTRIBUTING.md +2 -2
- data/docs/stdlib.md +50 -12
- data/goodcheck.yml +1 -1
- data/lib/rbs/ast/members.rb +13 -0
- data/lib/rbs/definition_builder.rb +36 -25
- data/lib/rbs/definition_builder/method_builder.rb +9 -2
- data/lib/rbs/errors.rb +3 -0
- data/lib/rbs/parser.rb +347 -333
- data/lib/rbs/parser.y +12 -2
- data/lib/rbs/prototype/rb.rb +14 -4
- data/lib/rbs/test/setup_helper.rb +0 -1
- data/lib/rbs/version.rb +1 -1
- data/rbs.gemspec +1 -0
- data/sig/definition_builder.rbs +3 -2
- data/sig/members.rbs +2 -0
- data/stdlib/bigdecimal/0/big_decimal.rbs +1 -1
- data/stdlib/date/0/date.rbs +1 -1
- data/stdlib/fileutils/0/fileutils.rbs +585 -0
- data/stdlib/json/0/json.rbs +64 -0
- data/stdlib/pathname/0/pathname.rbs +3 -2
- data/stdlib/prettyprint/0/prettyprint.rbs +366 -0
- data/stdlib/set/0/set.rbs +7 -0
- data/stdlib/timeout/0/timeout.rbs +57 -0
- data/stdlib/uri/0/common.rbs +1 -1
- data/stdlib/uri/0/rfc2396_parser.rbs +144 -7
- data/steep/Gemfile.lock +17 -19
- metadata +7 -5
- data/core/data.rbs +0 -5
data/stdlib/set/0/set.rbs
CHANGED
|
@@ -299,3 +299,10 @@ class Set[A]
|
|
|
299
299
|
|
|
300
300
|
include Enumerable[A]
|
|
301
301
|
end
|
|
302
|
+
|
|
303
|
+
module Enumerable[unchecked out Elem]
|
|
304
|
+
# Makes a set from the enumerable object with given arguments.
|
|
305
|
+
# Needs to `require "set"` to use this method.
|
|
306
|
+
#
|
|
307
|
+
def to_set: () -> Set[Elem]
|
|
308
|
+
end
|
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
# Timeout long-running blocks
|
|
2
|
+
#
|
|
3
|
+
# ## Synopsis
|
|
4
|
+
#
|
|
5
|
+
# require 'timeout'
|
|
6
|
+
# status = Timeout::timeout(5) {
|
|
7
|
+
# # Something that should be interrupted if it takes more than 5 seconds...
|
|
8
|
+
# }
|
|
9
|
+
#
|
|
10
|
+
# ## Description
|
|
11
|
+
#
|
|
12
|
+
# Timeout provides a way to auto-terminate a potentially long-running operation
|
|
13
|
+
# if it hasn't finished in a fixed amount of time.
|
|
14
|
+
#
|
|
15
|
+
# Previous versions didn't use a module for namespacing, however #timeout is
|
|
16
|
+
# provided for backwards compatibility. You should prefer Timeout.timeout
|
|
17
|
+
# instead.
|
|
18
|
+
#
|
|
19
|
+
# ## Copyright
|
|
20
|
+
#
|
|
21
|
+
# Copyright
|
|
22
|
+
# : (C) 2000 Network Applied Communication Laboratory, Inc.
|
|
23
|
+
# Copyright
|
|
24
|
+
# : (C) 2000 Information-technology Promotion Agency, Japan
|
|
25
|
+
#
|
|
26
|
+
module Timeout
|
|
27
|
+
# Perform an operation in a block, raising an error if it takes longer than
|
|
28
|
+
# `sec` seconds to complete.
|
|
29
|
+
#
|
|
30
|
+
# `sec`
|
|
31
|
+
# : Number of seconds to wait for the block to terminate. Any number may be
|
|
32
|
+
# used, including Floats to specify fractional seconds. A value of 0 or
|
|
33
|
+
# `nil` will execute the block without any timeout.
|
|
34
|
+
# `klass`
|
|
35
|
+
# : Exception Class to raise if the block fails to terminate in `sec` seconds.
|
|
36
|
+
# Omitting will use the default, Timeout::Error
|
|
37
|
+
# `message`
|
|
38
|
+
# : Error message to raise with Exception Class. Omitting will use the
|
|
39
|
+
# default, "execution expired"
|
|
40
|
+
#
|
|
41
|
+
#
|
|
42
|
+
# Returns the result of the block **if** the block completed before `sec`
|
|
43
|
+
# seconds, otherwise throws an exception, based on the value of `klass`.
|
|
44
|
+
#
|
|
45
|
+
# The exception thrown to terminate the given block cannot be rescued inside the
|
|
46
|
+
# block unless `klass` is given explicitly. However, the block can use ensure to
|
|
47
|
+
# prevent the handling of the exception. For that reason, this method cannot be
|
|
48
|
+
# relied on to enforce timeouts for untrusted blocks.
|
|
49
|
+
#
|
|
50
|
+
# Note that this is both a method of module Timeout, so you can `include
|
|
51
|
+
# Timeout` into your classes so they have a #timeout method, as well as a module
|
|
52
|
+
# method, so you can call it directly as Timeout.timeout().
|
|
53
|
+
#
|
|
54
|
+
def self?.timeout: [T] (Numeric? sec, ?singleton(Exception) klass, ?String message) { (Numeric sec) -> T } -> T
|
|
55
|
+
end
|
|
56
|
+
|
|
57
|
+
Timeout::VERSION: String
|
data/stdlib/uri/0/common.rbs
CHANGED
|
@@ -1,9 +1,146 @@
|
|
|
1
|
-
|
|
2
|
-
#
|
|
3
|
-
#
|
|
4
|
-
|
|
5
|
-
end
|
|
1
|
+
module URI
|
|
2
|
+
# Includes URI::REGEXP::PATTERN
|
|
3
|
+
#
|
|
4
|
+
module RFC2396_REGEXP
|
|
5
|
+
end
|
|
6
|
+
|
|
7
|
+
# Class that parses String's into URI's.
|
|
8
|
+
#
|
|
9
|
+
# It contains a Hash set of patterns and Regexp's that match and validate.
|
|
10
|
+
#
|
|
11
|
+
class RFC2396_Parser
|
|
12
|
+
include RFC2396_REGEXP
|
|
13
|
+
|
|
14
|
+
# The Hash of patterns.
|
|
15
|
+
#
|
|
16
|
+
# See also URI::Parser.initialize_pattern.
|
|
17
|
+
#
|
|
18
|
+
attr_reader pattern: Hash[Symbol, String]
|
|
19
|
+
|
|
20
|
+
# The Hash of Regexp.
|
|
21
|
+
#
|
|
22
|
+
# See also URI::Parser.initialize_regexp.
|
|
23
|
+
#
|
|
24
|
+
attr_reader regexp: Hash[Symbol, Regexp]
|
|
25
|
+
|
|
26
|
+
# == Synopsis
|
|
27
|
+
#
|
|
28
|
+
# URI::Parser.new([opts])
|
|
29
|
+
#
|
|
30
|
+
# == Args
|
|
31
|
+
#
|
|
32
|
+
# The constructor accepts a hash as options for parser.
|
|
33
|
+
# Keys of options are pattern names of URI components
|
|
34
|
+
# and values of options are pattern strings.
|
|
35
|
+
# The constructor generates set of regexps for parsing URIs.
|
|
36
|
+
#
|
|
37
|
+
# You can use the following keys:
|
|
38
|
+
#
|
|
39
|
+
# * :ESCAPED (URI::PATTERN::ESCAPED in default)
|
|
40
|
+
# * :UNRESERVED (URI::PATTERN::UNRESERVED in default)
|
|
41
|
+
# * :DOMLABEL (URI::PATTERN::DOMLABEL in default)
|
|
42
|
+
# * :TOPLABEL (URI::PATTERN::TOPLABEL in default)
|
|
43
|
+
# * :HOSTNAME (URI::PATTERN::HOSTNAME in default)
|
|
44
|
+
#
|
|
45
|
+
# == Examples
|
|
46
|
+
#
|
|
47
|
+
# p = URI::Parser.new(:ESCAPED => "(?:%[a-fA-F0-9]{2}|%u[a-fA-F0-9]{4})")
|
|
48
|
+
# u = p.parse("http://example.jp/%uABCD") #=> #<URI::HTTP http://example.jp/%uABCD>
|
|
49
|
+
# URI.parse(u.to_s) #=> raises URI::InvalidURIError
|
|
50
|
+
#
|
|
51
|
+
# s = "http://example.com/ABCD"
|
|
52
|
+
# u1 = p.parse(s) #=> #<URI::HTTP http://example.com/ABCD>
|
|
53
|
+
# u2 = URI.parse(s) #=> #<URI::HTTP http://example.com/ABCD>
|
|
54
|
+
# u1 == u2 #=> true
|
|
55
|
+
# u1.eql?(u2) #=> false
|
|
56
|
+
#
|
|
57
|
+
def initialize: (?Hash[Symbol, String] opts) -> void
|
|
58
|
+
|
|
59
|
+
# ## Args
|
|
60
|
+
#
|
|
61
|
+
# `str`
|
|
62
|
+
# : String to make safe
|
|
63
|
+
# `unsafe`
|
|
64
|
+
# : Regexp to apply. Defaults to [self.regexp](:UNSAFE)
|
|
65
|
+
#
|
|
66
|
+
#
|
|
67
|
+
# ## Description
|
|
68
|
+
#
|
|
69
|
+
# Constructs a safe String from `str`, removing unsafe characters, replacing
|
|
70
|
+
# them with codes.
|
|
71
|
+
#
|
|
72
|
+
def escape: (String str, ?Regexp unsafe) -> String
|
|
73
|
+
|
|
74
|
+
# ## Args
|
|
75
|
+
#
|
|
76
|
+
# `str`
|
|
77
|
+
# : String to search
|
|
78
|
+
# `schemes`
|
|
79
|
+
# : Patterns to apply to `str`
|
|
80
|
+
#
|
|
81
|
+
#
|
|
82
|
+
# ## Description
|
|
83
|
+
#
|
|
84
|
+
# Attempts to parse and merge a set of URIs. If no `block` given, then returns
|
|
85
|
+
# the result, else it calls `block` for each element in result.
|
|
86
|
+
#
|
|
87
|
+
# See also URI::Parser.make_regexp.
|
|
88
|
+
#
|
|
89
|
+
def extract: (String str, ?Array[String] schemes) -> Array[String]
|
|
90
|
+
| (String str, ?Array[String] schemes) { (String) -> untyped } -> nil
|
|
91
|
+
|
|
92
|
+
# ## Args
|
|
93
|
+
#
|
|
94
|
+
# `uris`
|
|
95
|
+
# : an Array of Strings
|
|
96
|
+
#
|
|
97
|
+
#
|
|
98
|
+
# ## Description
|
|
99
|
+
#
|
|
100
|
+
# Attempts to parse and merge a set of URIs.
|
|
101
|
+
#
|
|
102
|
+
def join: (*String uris) -> URI::Generic
|
|
103
|
+
|
|
104
|
+
# Returns Regexp that is default [self.regexp](:ABS_URI_REF), unless `schemes`
|
|
105
|
+
# is provided. Then it is a Regexp.union with [self.pattern](:X_ABS_URI).
|
|
106
|
+
#
|
|
107
|
+
def make_regexp: (?Array[String] schemes) -> Regexp
|
|
108
|
+
|
|
109
|
+
# ## Args
|
|
110
|
+
#
|
|
111
|
+
# `uri`
|
|
112
|
+
# : String
|
|
113
|
+
#
|
|
114
|
+
#
|
|
115
|
+
# ## Description
|
|
116
|
+
#
|
|
117
|
+
# Parses `uri` and constructs either matching URI scheme object (File, FTP,
|
|
118
|
+
# HTTP, HTTPS, LDAP, LDAPS, or MailTo) or URI::Generic.
|
|
119
|
+
#
|
|
120
|
+
# ## Usage
|
|
121
|
+
#
|
|
122
|
+
# p = URI::Parser.new
|
|
123
|
+
# p.parse("ldap://ldap.example.com/dc=example?user=john")
|
|
124
|
+
# #=> #<URI::LDAP ldap://ldap.example.com/dc=example?user=john>
|
|
125
|
+
#
|
|
126
|
+
def parse: (String uri) -> URI::Generic
|
|
127
|
+
|
|
128
|
+
# Returns a split URI against [regexp](:ABS_URI).
|
|
129
|
+
#
|
|
130
|
+
def split: (String uri) -> [ String?, String?, String?, String?, String?, String?, String?, String?, String? ]
|
|
6
131
|
|
|
7
|
-
#
|
|
8
|
-
|
|
132
|
+
# ## Args
|
|
133
|
+
#
|
|
134
|
+
# `str`
|
|
135
|
+
# : String to remove escapes from
|
|
136
|
+
# `escaped`
|
|
137
|
+
# : Regexp to apply. Defaults to [self.regexp](:ESCAPED)
|
|
138
|
+
#
|
|
139
|
+
#
|
|
140
|
+
# ## Description
|
|
141
|
+
#
|
|
142
|
+
# Removes escapes from `str`.
|
|
143
|
+
#
|
|
144
|
+
def unescape: (String str, ?Regexp escaped) -> String
|
|
145
|
+
end
|
|
9
146
|
end
|
data/steep/Gemfile.lock
CHANGED
|
@@ -1,42 +1,40 @@
|
|
|
1
1
|
GEM
|
|
2
2
|
remote: https://rubygems.org/
|
|
3
3
|
specs:
|
|
4
|
-
activesupport (6.1.
|
|
4
|
+
activesupport (6.1.2.1)
|
|
5
5
|
concurrent-ruby (~> 1.0, >= 1.0.2)
|
|
6
6
|
i18n (>= 1.6, < 2)
|
|
7
7
|
minitest (>= 5.1)
|
|
8
8
|
tzinfo (~> 2.0)
|
|
9
9
|
zeitwerk (~> 2.3)
|
|
10
|
-
ast (2.4.
|
|
11
|
-
ast_utils (0.
|
|
12
|
-
parser (
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
i18n (1.8.5)
|
|
10
|
+
ast (2.4.2)
|
|
11
|
+
ast_utils (0.4.0)
|
|
12
|
+
parser (>= 2.7.0)
|
|
13
|
+
concurrent-ruby (1.1.8)
|
|
14
|
+
ffi (1.14.2)
|
|
15
|
+
i18n (1.8.8)
|
|
17
16
|
concurrent-ruby (~> 1.0)
|
|
18
17
|
language_server-protocol (3.15.0.1)
|
|
19
|
-
listen (3.
|
|
18
|
+
listen (3.4.1)
|
|
20
19
|
rb-fsevent (~> 0.10, >= 0.10.3)
|
|
21
20
|
rb-inotify (~> 0.9, >= 0.9.10)
|
|
22
|
-
minitest (5.14.
|
|
23
|
-
parser (
|
|
21
|
+
minitest (5.14.3)
|
|
22
|
+
parser (3.0.0.0)
|
|
24
23
|
ast (~> 2.4.1)
|
|
25
24
|
rainbow (3.0.0)
|
|
26
25
|
rb-fsevent (0.10.4)
|
|
27
26
|
rb-inotify (0.10.1)
|
|
28
27
|
ffi (~> 1.0)
|
|
29
|
-
rbs (0.
|
|
30
|
-
steep (0.
|
|
28
|
+
rbs (1.0.4)
|
|
29
|
+
steep (0.41.0)
|
|
31
30
|
activesupport (>= 5.1)
|
|
32
|
-
ast_utils (
|
|
31
|
+
ast_utils (>= 0.4.0)
|
|
33
32
|
language_server-protocol (~> 3.15.0.1)
|
|
34
33
|
listen (~> 3.0)
|
|
35
|
-
parser (
|
|
34
|
+
parser (>= 2.7)
|
|
36
35
|
rainbow (>= 2.2.2, < 4.0)
|
|
37
|
-
rbs (
|
|
38
|
-
|
|
39
|
-
tzinfo (2.0.3)
|
|
36
|
+
rbs (~> 1.0.3)
|
|
37
|
+
tzinfo (2.0.4)
|
|
40
38
|
concurrent-ruby (~> 1.0)
|
|
41
39
|
zeitwerk (2.4.2)
|
|
42
40
|
|
|
@@ -47,4 +45,4 @@ DEPENDENCIES
|
|
|
47
45
|
steep
|
|
48
46
|
|
|
49
47
|
BUNDLED WITH
|
|
50
|
-
2.2.
|
|
48
|
+
2.2.3
|
metadata
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: rbs
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 1.0.
|
|
4
|
+
version: 1.0.5
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Soutaro Matsumoto
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: exe
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date:
|
|
11
|
+
date: 2021-02-12 00:00:00.000000000 Z
|
|
12
12
|
dependencies: []
|
|
13
13
|
description: RBS is the language for type signatures for Ruby and standard library
|
|
14
14
|
definitions.
|
|
@@ -46,7 +46,6 @@ files:
|
|
|
46
46
|
- core/comparable.rbs
|
|
47
47
|
- core/complex.rbs
|
|
48
48
|
- core/constants.rbs
|
|
49
|
-
- core/data.rbs
|
|
50
49
|
- core/deprecated.rbs
|
|
51
50
|
- core/dir.rbs
|
|
52
51
|
- core/encoding.rbs
|
|
@@ -203,6 +202,7 @@ files:
|
|
|
203
202
|
- stdlib/dbm/0/dbm.rbs
|
|
204
203
|
- stdlib/erb/0/erb.rbs
|
|
205
204
|
- stdlib/fiber/0/fiber.rbs
|
|
205
|
+
- stdlib/fileutils/0/fileutils.rbs
|
|
206
206
|
- stdlib/find/0/find.rbs
|
|
207
207
|
- stdlib/forwardable/0/forwardable.rbs
|
|
208
208
|
- stdlib/ipaddr/0/ipaddr.rbs
|
|
@@ -215,6 +215,7 @@ files:
|
|
|
215
215
|
- stdlib/monitor/0/monitor.rbs
|
|
216
216
|
- stdlib/mutex_m/0/mutex_m.rbs
|
|
217
217
|
- stdlib/pathname/0/pathname.rbs
|
|
218
|
+
- stdlib/prettyprint/0/prettyprint.rbs
|
|
218
219
|
- stdlib/prime/0/integer-extension.rbs
|
|
219
220
|
- stdlib/prime/0/prime.rbs
|
|
220
221
|
- stdlib/pstore/0/pstore.rbs
|
|
@@ -223,6 +224,7 @@ files:
|
|
|
223
224
|
- stdlib/set/0/set.rbs
|
|
224
225
|
- stdlib/singleton/0/singleton.rbs
|
|
225
226
|
- stdlib/time/0/time.rbs
|
|
227
|
+
- stdlib/timeout/0/timeout.rbs
|
|
226
228
|
- stdlib/tmpdir/0/tmpdir.rbs
|
|
227
229
|
- stdlib/tsort/0/cyclic.rbs
|
|
228
230
|
- stdlib/tsort/0/interfaces.rbs
|
|
@@ -257,14 +259,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
|
|
|
257
259
|
requirements:
|
|
258
260
|
- - ">="
|
|
259
261
|
- !ruby/object:Gem::Version
|
|
260
|
-
version: '
|
|
262
|
+
version: '2.6'
|
|
261
263
|
required_rubygems_version: !ruby/object:Gem::Requirement
|
|
262
264
|
requirements:
|
|
263
265
|
- - ">="
|
|
264
266
|
- !ruby/object:Gem::Version
|
|
265
267
|
version: '0'
|
|
266
268
|
requirements: []
|
|
267
|
-
rubygems_version: 3.
|
|
269
|
+
rubygems_version: 3.2.3
|
|
268
270
|
signing_key:
|
|
269
271
|
specification_version: 4
|
|
270
272
|
summary: Type signature for Ruby.
|