rbs 4.0.0.dev.4 → 4.0.0.dev.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/dependabot.yml +14 -14
- data/.github/workflows/bundle-update.yml +60 -0
- data/.github/workflows/c-check.yml +11 -8
- data/.github/workflows/comments.yml +3 -3
- data/.github/workflows/dependabot.yml +1 -1
- data/.github/workflows/ruby.yml +17 -34
- data/.github/workflows/typecheck.yml +2 -2
- data/.github/workflows/valgrind.yml +42 -0
- data/.github/workflows/windows.yml +2 -2
- data/.rubocop.yml +1 -1
- data/README.md +1 -1
- data/Rakefile +32 -5
- data/config.yml +46 -0
- data/core/array.rbs +96 -46
- data/core/binding.rbs +0 -2
- data/core/builtin.rbs +2 -2
- data/core/comparable.rbs +13 -6
- data/core/complex.rbs +55 -41
- data/core/dir.rbs +4 -4
- data/core/encoding.rbs +7 -10
- data/core/enumerable.rbs +90 -3
- data/core/enumerator/arithmetic_sequence.rbs +70 -0
- data/core/enumerator.rbs +63 -1
- data/core/errno.rbs +8 -0
- data/core/errors.rbs +28 -1
- data/core/exception.rbs +2 -2
- data/core/fiber.rbs +40 -20
- data/core/file.rbs +108 -78
- data/core/file_test.rbs +1 -1
- data/core/float.rbs +225 -69
- data/core/gc.rbs +417 -281
- data/core/hash.rbs +1023 -727
- data/core/integer.rbs +104 -110
- data/core/io/buffer.rbs +21 -10
- data/core/io/wait.rbs +11 -33
- data/core/io.rbs +82 -19
- data/core/kernel.rbs +70 -59
- data/core/marshal.rbs +1 -1
- data/core/match_data.rbs +1 -1
- data/core/math.rbs +42 -3
- data/core/method.rbs +63 -27
- data/core/module.rbs +103 -26
- data/core/nil_class.rbs +3 -3
- data/core/numeric.rbs +43 -35
- data/core/object.rbs +3 -3
- data/core/object_space.rbs +21 -15
- data/core/pathname.rbs +1272 -0
- data/core/proc.rbs +30 -25
- data/core/process.rbs +4 -2
- data/core/ractor.rbs +361 -509
- data/core/random.rbs +17 -0
- data/core/range.rbs +113 -16
- data/core/rational.rbs +56 -85
- data/core/rbs/unnamed/argf.rbs +2 -2
- data/core/rbs/unnamed/env_class.rbs +1 -1
- data/core/rbs/unnamed/random.rbs +4 -113
- data/core/regexp.rbs +25 -20
- data/core/ruby.rbs +53 -0
- data/core/ruby_vm.rbs +6 -4
- data/core/rubygems/errors.rbs +3 -70
- data/core/rubygems/rubygems.rbs +11 -79
- data/core/rubygems/version.rbs +2 -3
- data/core/set.rbs +488 -359
- data/core/signal.rbs +24 -14
- data/core/string.rbs +3171 -1241
- data/core/struct.rbs +1 -1
- data/core/symbol.rbs +17 -11
- data/core/thread.rbs +95 -33
- data/core/time.rbs +35 -9
- data/core/trace_point.rbs +7 -4
- data/core/unbound_method.rbs +14 -6
- data/docs/aliases.md +79 -0
- data/docs/collection.md +2 -2
- data/docs/encoding.md +56 -0
- data/docs/gem.md +0 -1
- data/docs/inline.md +470 -0
- data/docs/sigs.md +3 -3
- data/docs/syntax.md +33 -4
- data/docs/type_fingerprint.md +21 -0
- data/exe/rbs +1 -1
- data/ext/rbs_extension/ast_translation.c +77 -3
- data/ext/rbs_extension/ast_translation.h +3 -0
- data/ext/rbs_extension/class_constants.c +8 -2
- data/ext/rbs_extension/class_constants.h +4 -0
- data/ext/rbs_extension/extconf.rb +5 -1
- data/ext/rbs_extension/legacy_location.c +5 -5
- data/ext/rbs_extension/main.c +37 -20
- data/include/rbs/ast.h +85 -38
- data/include/rbs/defines.h +27 -0
- data/include/rbs/lexer.h +30 -11
- data/include/rbs/parser.h +6 -6
- data/include/rbs/string.h +0 -2
- data/include/rbs/util/rbs_allocator.h +34 -13
- data/include/rbs/util/rbs_assert.h +12 -1
- data/include/rbs/util/rbs_encoding.h +2 -0
- data/include/rbs/util/rbs_unescape.h +2 -1
- data/lib/rbs/ast/annotation.rb +1 -1
- data/lib/rbs/ast/comment.rb +1 -1
- data/lib/rbs/ast/declarations.rb +10 -10
- data/lib/rbs/ast/members.rb +14 -14
- data/lib/rbs/ast/ruby/annotations.rb +137 -0
- data/lib/rbs/ast/ruby/comment_block.rb +24 -0
- data/lib/rbs/ast/ruby/declarations.rb +198 -3
- data/lib/rbs/ast/ruby/helpers/constant_helper.rb +4 -0
- data/lib/rbs/ast/ruby/members.rb +159 -1
- data/lib/rbs/ast/type_param.rb +24 -4
- data/lib/rbs/buffer.rb +20 -15
- data/lib/rbs/cli/diff.rb +16 -15
- data/lib/rbs/cli/validate.rb +38 -51
- data/lib/rbs/cli.rb +52 -19
- data/lib/rbs/collection/config/lockfile_generator.rb +8 -0
- data/lib/rbs/collection/sources/git.rb +1 -0
- data/lib/rbs/definition.rb +1 -1
- data/lib/rbs/definition_builder/ancestor_builder.rb +62 -9
- data/lib/rbs/definition_builder/method_builder.rb +20 -0
- data/lib/rbs/definition_builder.rb +91 -2
- data/lib/rbs/diff.rb +7 -1
- data/lib/rbs/environment.rb +227 -74
- data/lib/rbs/environment_loader.rb +0 -6
- data/lib/rbs/errors.rb +27 -7
- data/lib/rbs/inline_parser.rb +341 -5
- data/lib/rbs/location_aux.rb +1 -1
- data/lib/rbs/locator.rb +5 -1
- data/lib/rbs/method_type.rb +5 -3
- data/lib/rbs/parser_aux.rb +2 -2
- data/lib/rbs/prototype/rb.rb +2 -2
- data/lib/rbs/prototype/rbi.rb +2 -0
- data/lib/rbs/prototype/runtime.rb +8 -0
- data/lib/rbs/resolver/constant_resolver.rb +2 -2
- data/lib/rbs/resolver/type_name_resolver.rb +116 -38
- data/lib/rbs/subtractor.rb +3 -1
- data/lib/rbs/test/type_check.rb +16 -2
- data/lib/rbs/type_name.rb +1 -1
- data/lib/rbs/types.rb +27 -27
- data/lib/rbs/validator.rb +2 -2
- data/lib/rbs/version.rb +1 -1
- data/lib/rbs.rb +1 -1
- data/lib/rdoc/discover.rb +1 -1
- data/lib/rdoc_plugin/parser.rb +1 -1
- data/rbs.gemspec +3 -2
- data/schema/typeParam.json +17 -1
- data/sig/ast/ruby/annotations.rbs +124 -0
- data/sig/ast/ruby/comment_block.rbs +8 -0
- data/sig/ast/ruby/declarations.rbs +102 -4
- data/sig/ast/ruby/members.rbs +87 -1
- data/sig/cli/diff.rbs +5 -11
- data/sig/cli/validate.rbs +13 -4
- data/sig/cli.rbs +18 -18
- data/sig/definition.rbs +6 -1
- data/sig/environment.rbs +70 -12
- data/sig/errors.rbs +13 -6
- data/sig/inline_parser.rbs +39 -2
- data/sig/locator.rbs +0 -2
- data/sig/manifest.yaml +0 -1
- data/sig/method_builder.rbs +3 -1
- data/sig/method_types.rbs +1 -1
- data/sig/parser.rbs +16 -2
- data/sig/resolver/type_name_resolver.rbs +35 -7
- data/sig/source.rbs +3 -3
- data/sig/type_param.rbs +13 -8
- data/sig/types.rbs +4 -4
- data/src/ast.c +80 -1
- data/src/lexer.c +1392 -1313
- data/src/lexer.re +3 -0
- data/src/lexstate.c +58 -37
- data/src/location.c +4 -4
- data/src/parser.c +412 -145
- data/src/string.c +0 -48
- data/src/util/rbs_allocator.c +89 -71
- data/src/util/rbs_assert.c +1 -1
- data/src/util/rbs_buffer.c +2 -2
- data/src/util/rbs_constant_pool.c +10 -10
- data/src/util/rbs_encoding.c +4 -8
- data/src/util/rbs_unescape.c +56 -20
- data/stdlib/bigdecimal/0/big_decimal.rbs +100 -82
- data/stdlib/bigdecimal-math/0/big_math.rbs +169 -8
- data/stdlib/cgi/0/core.rbs +9 -393
- data/stdlib/cgi/0/manifest.yaml +1 -0
- data/stdlib/cgi-escape/0/escape.rbs +171 -0
- data/stdlib/coverage/0/coverage.rbs +3 -1
- data/stdlib/date/0/date.rbs +67 -59
- data/stdlib/date/0/date_time.rbs +1 -1
- data/stdlib/delegate/0/delegator.rbs +10 -7
- data/stdlib/digest/0/digest.rbs +110 -0
- data/stdlib/erb/0/erb.rbs +737 -347
- data/stdlib/fileutils/0/fileutils.rbs +20 -14
- data/stdlib/forwardable/0/forwardable.rbs +3 -0
- data/stdlib/json/0/json.rbs +82 -28
- data/stdlib/net-http/0/net-http.rbs +3 -0
- data/stdlib/objspace/0/objspace.rbs +9 -27
- data/stdlib/open-uri/0/open-uri.rbs +40 -0
- data/stdlib/open3/0/open3.rbs +459 -1
- data/stdlib/openssl/0/openssl.rbs +331 -228
- data/stdlib/optparse/0/optparse.rbs +8 -3
- data/stdlib/pathname/0/pathname.rbs +9 -1379
- data/stdlib/psych/0/psych.rbs +4 -4
- data/stdlib/random-formatter/0/random-formatter.rbs +277 -0
- data/stdlib/rdoc/0/code_object.rbs +2 -1
- data/stdlib/rdoc/0/parser.rbs +1 -1
- data/stdlib/rdoc/0/rdoc.rbs +1 -1
- data/stdlib/rdoc/0/store.rbs +1 -1
- data/stdlib/resolv/0/resolv.rbs +25 -68
- data/stdlib/ripper/0/ripper.rbs +2 -2
- data/stdlib/securerandom/0/manifest.yaml +2 -0
- data/stdlib/securerandom/0/securerandom.rbs +6 -19
- data/stdlib/singleton/0/singleton.rbs +3 -0
- data/stdlib/socket/0/socket.rbs +13 -1
- data/stdlib/socket/0/tcp_socket.rbs +10 -2
- data/stdlib/stringio/0/stringio.rbs +1176 -85
- data/stdlib/strscan/0/string_scanner.rbs +31 -31
- data/stdlib/tempfile/0/tempfile.rbs +3 -3
- data/stdlib/time/0/time.rbs +1 -1
- data/stdlib/timeout/0/timeout.rbs +63 -7
- data/stdlib/tsort/0/cyclic.rbs +3 -0
- data/stdlib/uri/0/common.rbs +16 -2
- data/stdlib/uri/0/file.rbs +1 -1
- data/stdlib/uri/0/generic.rbs +24 -16
- data/stdlib/uri/0/rfc2396_parser.rbs +6 -7
- data/stdlib/zlib/0/gzip_reader.rbs +2 -2
- data/stdlib/zlib/0/gzip_writer.rbs +1 -1
- data/stdlib/zlib/0/zstream.rbs +1 -0
- metadata +30 -4
data/src/lexer.re
CHANGED
|
@@ -44,6 +44,7 @@ rbs_token_t rbs_lexer_next_token(rbs_lexer_t *lexer) {
|
|
|
44
44
|
":" { return rbs_next_token(lexer, pCOLON); }
|
|
45
45
|
"::" { return rbs_next_token(lexer, pCOLON2); }
|
|
46
46
|
"<" { return rbs_next_token(lexer, pLT); }
|
|
47
|
+
">" { return rbs_next_token(lexer, pGT); }
|
|
47
48
|
"[]" { return rbs_next_token(lexer, pAREF_OPR); }
|
|
48
49
|
operator { return rbs_next_token(lexer, tOPERATOR); }
|
|
49
50
|
"--" [^\x00]* { return rbs_next_token(lexer, tINLINECOMMENT); }
|
|
@@ -71,6 +72,7 @@ rbs_token_t rbs_lexer_next_token(rbs_lexer_t *lexer) {
|
|
|
71
72
|
"bool" { return rbs_next_token(lexer, kBOOL); }
|
|
72
73
|
"bot" { return rbs_next_token(lexer, kBOT); }
|
|
73
74
|
"class" { return rbs_next_token(lexer, kCLASS); }
|
|
75
|
+
"class-alias" { return rbs_next_token(lexer, kCLASSALIAS); }
|
|
74
76
|
"def" { return rbs_next_token(lexer, kDEF); }
|
|
75
77
|
"end" { return rbs_next_token(lexer, kEND); }
|
|
76
78
|
"extend" { return rbs_next_token(lexer, kEXTEND); }
|
|
@@ -80,6 +82,7 @@ rbs_token_t rbs_lexer_next_token(rbs_lexer_t *lexer) {
|
|
|
80
82
|
"instance" { return rbs_next_token(lexer, kINSTANCE); }
|
|
81
83
|
"interface" { return rbs_next_token(lexer, kINTERFACE); }
|
|
82
84
|
"module" { return rbs_next_token(lexer, kMODULE); }
|
|
85
|
+
"module-alias" { return rbs_next_token(lexer, kMODULEALIAS); }
|
|
83
86
|
"nil" { return rbs_next_token(lexer, kNIL); }
|
|
84
87
|
"out" { return rbs_next_token(lexer, kOUT); }
|
|
85
88
|
"prepend" { return rbs_next_token(lexer, kPREPEND); }
|
data/src/lexstate.c
CHANGED
|
@@ -1,4 +1,6 @@
|
|
|
1
|
+
#include "rbs/defines.h"
|
|
1
2
|
#include "rbs/lexer.h"
|
|
3
|
+
#include "rbs/util/rbs_assert.h"
|
|
2
4
|
|
|
3
5
|
static const char *RBS_TOKENTYPE_NAMES[] = {
|
|
4
6
|
"NullType",
|
|
@@ -26,6 +28,7 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
|
|
|
26
28
|
"pBANG", /* ! */
|
|
27
29
|
"pQUESTION", /* ? */
|
|
28
30
|
"pLT", /* < */
|
|
31
|
+
"pGT", /* > */
|
|
29
32
|
"pEQ", /* = */
|
|
30
33
|
|
|
31
34
|
"kALIAS", /* alias */
|
|
@@ -35,6 +38,7 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
|
|
|
35
38
|
"kBOOL", /* bool */
|
|
36
39
|
"kBOT", /* bot */
|
|
37
40
|
"kCLASS", /* class */
|
|
41
|
+
"kCLASSALIAS", /* class-alias */
|
|
38
42
|
"kDEF", /* def */
|
|
39
43
|
"kEND", /* end */
|
|
40
44
|
"kEXTEND", /* extend */
|
|
@@ -44,6 +48,7 @@ static const char *RBS_TOKENTYPE_NAMES[] = {
|
|
|
44
48
|
"kINSTANCE", /* instance */
|
|
45
49
|
"kINTERFACE", /* interface */
|
|
46
50
|
"kMODULE", /* module */
|
|
51
|
+
"kMODULEALIAS", /* module-alias */
|
|
47
52
|
"kNIL", /* nil */
|
|
48
53
|
"kOUT", /* out */
|
|
49
54
|
"kPREPEND", /* prepend */
|
|
@@ -109,17 +114,60 @@ int rbs_token_bytes(rbs_token_t tok) {
|
|
|
109
114
|
}
|
|
110
115
|
|
|
111
116
|
unsigned int rbs_peek(rbs_lexer_t *lexer) {
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
117
|
+
return lexer->current_code_point;
|
|
118
|
+
}
|
|
119
|
+
|
|
120
|
+
bool rbs_next_char(rbs_lexer_t *lexer, unsigned int *codepoint, size_t *byte_len) {
|
|
121
|
+
if (RBS_UNLIKELY(lexer->current.char_pos == lexer->end_pos)) {
|
|
122
|
+
return false;
|
|
123
|
+
}
|
|
124
|
+
|
|
125
|
+
const char *start = lexer->string.start + lexer->current.byte_pos;
|
|
126
|
+
|
|
127
|
+
// Fast path for ASCII (single-byte) characters
|
|
128
|
+
if ((unsigned int) *start < 128) {
|
|
129
|
+
*codepoint = (unsigned int) *start;
|
|
130
|
+
*byte_len = 1;
|
|
131
|
+
return true;
|
|
132
|
+
}
|
|
133
|
+
|
|
134
|
+
*byte_len = lexer->encoding->char_width((const uint8_t *) start, (ptrdiff_t) (lexer->string.end - start));
|
|
135
|
+
|
|
136
|
+
if (*byte_len == 1) {
|
|
137
|
+
*codepoint = (unsigned int) *start;
|
|
115
138
|
} else {
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
|
|
139
|
+
*codepoint = 12523; // Dummy data for "ル" from "ルビー" (Ruby) in Unicode
|
|
140
|
+
}
|
|
141
|
+
|
|
142
|
+
return true;
|
|
143
|
+
}
|
|
144
|
+
|
|
145
|
+
void rbs_skip(rbs_lexer_t *lexer) {
|
|
146
|
+
RBS_ASSERT(lexer->current_character_bytes > 0, "rbs_skip called with current_character_bytes == 0");
|
|
147
|
+
|
|
148
|
+
if (RBS_UNLIKELY(lexer->current_code_point == '\0')) {
|
|
149
|
+
return;
|
|
150
|
+
}
|
|
151
|
+
|
|
152
|
+
unsigned int codepoint;
|
|
153
|
+
size_t byte_len;
|
|
154
|
+
|
|
155
|
+
lexer->current.byte_pos += lexer->current_character_bytes;
|
|
156
|
+
lexer->current.char_pos += 1;
|
|
157
|
+
if (lexer->current_code_point == '\n') {
|
|
158
|
+
lexer->current.line += 1;
|
|
159
|
+
lexer->current.column = 0;
|
|
160
|
+
lexer->first_token_of_line = true;
|
|
161
|
+
} else {
|
|
162
|
+
lexer->current.column += 1;
|
|
163
|
+
}
|
|
164
|
+
|
|
165
|
+
if (rbs_next_char(lexer, &codepoint, &byte_len)) {
|
|
166
|
+
lexer->current_code_point = codepoint;
|
|
167
|
+
lexer->current_character_bytes = byte_len;
|
|
168
|
+
} else {
|
|
169
|
+
lexer->current_character_bytes = 1;
|
|
170
|
+
lexer->current_code_point = '\0';
|
|
123
171
|
}
|
|
124
172
|
}
|
|
125
173
|
|
|
@@ -153,35 +201,8 @@ rbs_token_t rbs_next_eof_token(rbs_lexer_t *lexer) {
|
|
|
153
201
|
}
|
|
154
202
|
}
|
|
155
203
|
|
|
156
|
-
void rbs_skip(rbs_lexer_t *lexer) {
|
|
157
|
-
if (!lexer->last_char) {
|
|
158
|
-
rbs_peek(lexer);
|
|
159
|
-
}
|
|
160
|
-
|
|
161
|
-
size_t byte_len;
|
|
162
|
-
|
|
163
|
-
if (lexer->last_char == '\0') {
|
|
164
|
-
byte_len = 1;
|
|
165
|
-
} else {
|
|
166
|
-
const char *start = lexer->string.start + lexer->current.byte_pos;
|
|
167
|
-
byte_len = lexer->encoding->char_width((const uint8_t *) start, (ptrdiff_t) (lexer->string.end - start));
|
|
168
|
-
}
|
|
169
|
-
|
|
170
|
-
lexer->current.char_pos += 1;
|
|
171
|
-
lexer->current.byte_pos += byte_len;
|
|
172
|
-
|
|
173
|
-
if (lexer->last_char == '\n') {
|
|
174
|
-
lexer->current.line += 1;
|
|
175
|
-
lexer->current.column = 0;
|
|
176
|
-
lexer->first_token_of_line = true;
|
|
177
|
-
} else {
|
|
178
|
-
lexer->current.column += 1;
|
|
179
|
-
}
|
|
180
|
-
}
|
|
181
|
-
|
|
182
204
|
void rbs_skipn(rbs_lexer_t *lexer, size_t size) {
|
|
183
205
|
for (size_t i = 0; i < size; i++) {
|
|
184
|
-
rbs_peek(lexer);
|
|
185
206
|
rbs_skip(lexer);
|
|
186
207
|
}
|
|
187
208
|
}
|
data/src/location.c
CHANGED
|
@@ -6,9 +6,9 @@
|
|
|
6
6
|
#define RBS_LOC_CHILDREN_SIZE(cap) (sizeof(rbs_loc_children) + sizeof(rbs_loc_entry) * ((cap) - 1))
|
|
7
7
|
|
|
8
8
|
void rbs_loc_alloc_children(rbs_allocator_t *allocator, rbs_location_t *loc, size_t capacity) {
|
|
9
|
-
|
|
9
|
+
RBS_ASSERT(capacity <= sizeof(rbs_loc_entry_bitmap) * 8, "Capacity %zu is too large. Max is %zu", capacity, sizeof(rbs_loc_entry_bitmap) * 8);
|
|
10
10
|
|
|
11
|
-
loc->children = rbs_allocator_malloc_impl(allocator, RBS_LOC_CHILDREN_SIZE(capacity),
|
|
11
|
+
loc->children = (rbs_loc_children *) rbs_allocator_malloc_impl(allocator, RBS_LOC_CHILDREN_SIZE(capacity), rbs_alignof(rbs_loc_children));
|
|
12
12
|
|
|
13
13
|
loc->children->len = 0;
|
|
14
14
|
loc->children->required_p = 0;
|
|
@@ -16,8 +16,8 @@ void rbs_loc_alloc_children(rbs_allocator_t *allocator, rbs_location_t *loc, siz
|
|
|
16
16
|
}
|
|
17
17
|
|
|
18
18
|
void rbs_loc_add_optional_child(rbs_location_t *loc, rbs_constant_id_t name, rbs_range_t r) {
|
|
19
|
-
|
|
20
|
-
|
|
19
|
+
RBS_ASSERT(loc->children != NULL, "All children should have been pre-allocated with rbs_loc_alloc_children()");
|
|
20
|
+
RBS_ASSERT((loc->children->len + 1 <= loc->children->cap), "Not enough space was pre-allocated for the children. Children: %hu, Capacity: %hu", loc->children->len, loc->children->cap);
|
|
21
21
|
|
|
22
22
|
unsigned short i = loc->children->len++;
|
|
23
23
|
loc->children->entries[i].name = name;
|