rbs 3.9.5 → 3.10.0.pre.1

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.
Files changed (171) hide show
  1. checksums.yaml +4 -4
  2. data/.clang-format +74 -0
  3. data/.clangd +2 -0
  4. data/.github/workflows/c-check.yml +54 -0
  5. data/.github/workflows/comments.yml +3 -3
  6. data/.github/workflows/ruby.yml +34 -19
  7. data/.github/workflows/typecheck.yml +1 -1
  8. data/.github/workflows/windows.yml +1 -1
  9. data/.gitignore +4 -0
  10. data/README.md +38 -1
  11. data/Rakefile +152 -23
  12. data/config.yml +190 -62
  13. data/core/array.rbs +44 -43
  14. data/core/dir.rbs +2 -2
  15. data/core/encoding.rbs +3 -2
  16. data/core/enumerable.rbs +89 -2
  17. data/core/errno.rbs +8 -0
  18. data/core/errors.rbs +28 -1
  19. data/core/exception.rbs +2 -2
  20. data/core/fiber.rbs +3 -3
  21. data/core/file.rbs +26 -11
  22. data/core/float.rbs +1 -1
  23. data/core/gc.rbs +422 -281
  24. data/core/hash.rbs +1024 -727
  25. data/core/io/wait.rbs +11 -33
  26. data/core/io.rbs +6 -4
  27. data/core/kernel.rbs +49 -43
  28. data/core/marshal.rbs +1 -1
  29. data/core/match_data.rbs +1 -1
  30. data/core/math.rbs +42 -3
  31. data/core/method.rbs +14 -6
  32. data/core/module.rbs +71 -11
  33. data/core/nil_class.rbs +3 -3
  34. data/core/numeric.rbs +8 -8
  35. data/core/object.rbs +3 -3
  36. data/core/object_space.rbs +13 -0
  37. data/{stdlib/pathname/0 → core}/pathname.rbs +253 -352
  38. data/core/proc.rbs +15 -8
  39. data/core/process.rbs +2 -2
  40. data/core/ractor.rbs +278 -437
  41. data/core/range.rbs +6 -7
  42. data/core/rbs/unnamed/argf.rbs +1 -1
  43. data/core/rbs/unnamed/env_class.rbs +1 -1
  44. data/core/rbs/unnamed/random.rbs +4 -2
  45. data/core/regexp.rbs +22 -17
  46. data/core/ruby_vm.rbs +6 -4
  47. data/core/rubygems/errors.rbs +3 -70
  48. data/core/rubygems/rubygems.rbs +11 -79
  49. data/core/set.rbs +439 -332
  50. data/core/string.rbs +2897 -1117
  51. data/core/struct.rbs +1 -1
  52. data/core/symbol.rbs +4 -4
  53. data/core/thread.rbs +83 -20
  54. data/core/time.rbs +35 -9
  55. data/core/unbound_method.rbs +14 -6
  56. data/docs/aliases.md +79 -0
  57. data/docs/collection.md +2 -2
  58. data/docs/gem.md +0 -1
  59. data/docs/sigs.md +3 -3
  60. data/ext/rbs_extension/ast_translation.c +1016 -0
  61. data/ext/rbs_extension/ast_translation.h +37 -0
  62. data/ext/rbs_extension/class_constants.c +157 -0
  63. data/{include/rbs/constants.h → ext/rbs_extension/class_constants.h} +7 -1
  64. data/ext/rbs_extension/compat.h +10 -0
  65. data/ext/rbs_extension/extconf.rb +25 -1
  66. data/ext/rbs_extension/legacy_location.c +317 -0
  67. data/ext/rbs_extension/legacy_location.h +45 -0
  68. data/ext/rbs_extension/main.c +365 -14
  69. data/ext/rbs_extension/rbs_extension.h +6 -21
  70. data/ext/rbs_extension/rbs_string_bridging.c +9 -0
  71. data/ext/rbs_extension/rbs_string_bridging.h +24 -0
  72. data/include/rbs/ast.h +687 -0
  73. data/include/rbs/defines.h +86 -0
  74. data/include/rbs/lexer.h +199 -0
  75. data/include/rbs/location.h +59 -0
  76. data/include/rbs/parser.h +135 -0
  77. data/include/rbs/string.h +49 -0
  78. data/include/rbs/util/rbs_allocator.h +59 -0
  79. data/include/rbs/util/rbs_assert.h +20 -0
  80. data/include/rbs/util/rbs_buffer.h +83 -0
  81. data/include/rbs/util/rbs_constant_pool.h +6 -67
  82. data/include/rbs/util/rbs_encoding.h +282 -0
  83. data/include/rbs/util/rbs_unescape.h +23 -0
  84. data/include/rbs.h +1 -2
  85. data/lib/rbs/annotate/formatter.rb +3 -13
  86. data/lib/rbs/annotate/rdoc_annotator.rb +3 -1
  87. data/lib/rbs/annotate/rdoc_source.rb +1 -1
  88. data/lib/rbs/cli/validate.rb +2 -2
  89. data/lib/rbs/cli.rb +1 -1
  90. data/lib/rbs/collection/config/lockfile_generator.rb +1 -0
  91. data/lib/rbs/definition_builder/ancestor_builder.rb +5 -5
  92. data/lib/rbs/environment.rb +64 -59
  93. data/lib/rbs/environment_loader.rb +1 -1
  94. data/lib/rbs/errors.rb +1 -1
  95. data/lib/rbs/parser_aux.rb +5 -0
  96. data/lib/rbs/resolver/constant_resolver.rb +2 -2
  97. data/lib/rbs/resolver/type_name_resolver.rb +124 -38
  98. data/lib/rbs/test/type_check.rb +13 -0
  99. data/lib/rbs/types.rb +3 -1
  100. data/lib/rbs/version.rb +1 -1
  101. data/lib/rbs.rb +1 -1
  102. data/lib/rdoc/discover.rb +1 -1
  103. data/lib/rdoc_plugin/parser.rb +3 -3
  104. data/sig/annotate/formatter.rbs +2 -2
  105. data/sig/annotate/rdoc_annotater.rbs +1 -1
  106. data/sig/environment.rbs +57 -6
  107. data/sig/manifest.yaml +0 -1
  108. data/sig/parser.rbs +20 -0
  109. data/sig/resolver/type_name_resolver.rbs +38 -7
  110. data/sig/types.rbs +4 -1
  111. data/src/ast.c +1256 -0
  112. data/src/lexer.c +2956 -0
  113. data/src/lexer.re +147 -0
  114. data/src/lexstate.c +205 -0
  115. data/src/location.c +71 -0
  116. data/src/parser.c +3495 -0
  117. data/src/string.c +90 -0
  118. data/src/util/rbs_allocator.c +152 -0
  119. data/src/util/rbs_assert.c +21 -0
  120. data/src/util/rbs_buffer.c +54 -0
  121. data/src/util/rbs_constant_pool.c +16 -86
  122. data/src/util/rbs_encoding.c +21308 -0
  123. data/src/util/rbs_unescape.c +131 -0
  124. data/stdlib/cgi/0/core.rbs +2 -396
  125. data/stdlib/cgi/0/manifest.yaml +1 -0
  126. data/stdlib/cgi-escape/0/escape.rbs +153 -0
  127. data/stdlib/coverage/0/coverage.rbs +3 -1
  128. data/stdlib/delegate/0/delegator.rbs +10 -7
  129. data/stdlib/erb/0/erb.rbs +737 -347
  130. data/stdlib/fileutils/0/fileutils.rbs +18 -13
  131. data/stdlib/forwardable/0/forwardable.rbs +3 -0
  132. data/stdlib/json/0/json.rbs +67 -48
  133. data/stdlib/net-http/0/net-http.rbs +3 -0
  134. data/stdlib/objspace/0/objspace.rbs +8 -3
  135. data/stdlib/open-uri/0/open-uri.rbs +40 -0
  136. data/stdlib/openssl/0/openssl.rbs +182 -149
  137. data/stdlib/optparse/0/optparse.rbs +3 -3
  138. data/stdlib/rdoc/0/code_object.rbs +2 -2
  139. data/stdlib/rdoc/0/comment.rbs +2 -0
  140. data/stdlib/rdoc/0/options.rbs +76 -0
  141. data/stdlib/rdoc/0/rdoc.rbs +7 -5
  142. data/stdlib/rdoc/0/store.rbs +1 -1
  143. data/stdlib/resolv/0/resolv.rbs +25 -68
  144. data/stdlib/ripper/0/ripper.rbs +5 -2
  145. data/stdlib/singleton/0/singleton.rbs +3 -0
  146. data/stdlib/socket/0/socket.rbs +13 -1
  147. data/stdlib/socket/0/tcp_socket.rbs +10 -2
  148. data/stdlib/stringio/0/stringio.rbs +412 -80
  149. data/stdlib/strscan/0/string_scanner.rbs +31 -31
  150. data/stdlib/tempfile/0/tempfile.rbs +1 -1
  151. data/stdlib/tsort/0/cyclic.rbs +3 -0
  152. data/stdlib/uri/0/common.rbs +11 -2
  153. data/stdlib/uri/0/file.rbs +1 -1
  154. data/stdlib/uri/0/generic.rbs +16 -15
  155. data/stdlib/uri/0/rfc2396_parser.rbs +6 -7
  156. data/stdlib/zlib/0/zstream.rbs +1 -0
  157. metadata +41 -18
  158. data/ext/rbs_extension/lexer.c +0 -2728
  159. data/ext/rbs_extension/lexer.h +0 -179
  160. data/ext/rbs_extension/lexer.re +0 -147
  161. data/ext/rbs_extension/lexstate.c +0 -175
  162. data/ext/rbs_extension/location.c +0 -325
  163. data/ext/rbs_extension/location.h +0 -85
  164. data/ext/rbs_extension/parser.c +0 -2982
  165. data/ext/rbs_extension/parser.h +0 -18
  166. data/ext/rbs_extension/parserstate.c +0 -411
  167. data/ext/rbs_extension/parserstate.h +0 -163
  168. data/ext/rbs_extension/unescape.c +0 -32
  169. data/include/rbs/ruby_objs.h +0 -72
  170. data/src/constants.c +0 -153
  171. data/src/ruby_objs.c +0 -799
data/src/constants.c DELETED
@@ -1,153 +0,0 @@
1
- /*----------------------------------------------------------------------------*/
2
- /* This file is generated by the templates/template.rb script and should not */
3
- /* be modified manually. */
4
- /* To change the template see */
5
- /* templates/src/constants.c.erb */
6
- /*----------------------------------------------------------------------------*/
7
-
8
- #include "rbs_extension.h"
9
-
10
- VALUE RBS_Parser;
11
-
12
- VALUE RBS;
13
- VALUE RBS_AST;
14
- VALUE RBS_AST_Declarations;
15
- VALUE RBS_AST_Directives;
16
- VALUE RBS_AST_Members;
17
- VALUE RBS_Parser;
18
- VALUE RBS_Types;
19
- VALUE RBS_Types_Bases;
20
-
21
- VALUE RBS_AST_Annotation;
22
- VALUE RBS_AST_Comment;
23
- VALUE RBS_AST_Declarations_Class;
24
- VALUE RBS_AST_Declarations_Class_Super;
25
- VALUE RBS_AST_Declarations_ClassAlias;
26
- VALUE RBS_AST_Declarations_Constant;
27
- VALUE RBS_AST_Declarations_Global;
28
- VALUE RBS_AST_Declarations_Interface;
29
- VALUE RBS_AST_Declarations_Module;
30
- VALUE RBS_AST_Declarations_Module_Self;
31
- VALUE RBS_AST_Declarations_ModuleAlias;
32
- VALUE RBS_AST_Declarations_TypeAlias;
33
- VALUE RBS_AST_Directives_Use;
34
- VALUE RBS_AST_Directives_Use_SingleClause;
35
- VALUE RBS_AST_Directives_Use_WildcardClause;
36
- VALUE RBS_AST_Members_Alias;
37
- VALUE RBS_AST_Members_AttrAccessor;
38
- VALUE RBS_AST_Members_AttrReader;
39
- VALUE RBS_AST_Members_AttrWriter;
40
- VALUE RBS_AST_Members_ClassInstanceVariable;
41
- VALUE RBS_AST_Members_ClassVariable;
42
- VALUE RBS_AST_Members_Extend;
43
- VALUE RBS_AST_Members_Include;
44
- VALUE RBS_AST_Members_InstanceVariable;
45
- VALUE RBS_AST_Members_MethodDefinition;
46
- VALUE RBS_AST_Members_MethodDefinition_Overload;
47
- VALUE RBS_AST_Members_Prepend;
48
- VALUE RBS_AST_Members_Private;
49
- VALUE RBS_AST_Members_Public;
50
- VALUE RBS_AST_TypeParam;
51
- VALUE RBS_MethodType;
52
- VALUE RBS_Namespace;
53
- VALUE RBS_TypeName;
54
- VALUE RBS_Types_Alias;
55
- VALUE RBS_Types_Bases_Any;
56
- VALUE RBS_Types_Bases_Bool;
57
- VALUE RBS_Types_Bases_Bottom;
58
- VALUE RBS_Types_Bases_Class;
59
- VALUE RBS_Types_Bases_Instance;
60
- VALUE RBS_Types_Bases_Nil;
61
- VALUE RBS_Types_Bases_Self;
62
- VALUE RBS_Types_Bases_Top;
63
- VALUE RBS_Types_Bases_Void;
64
- VALUE RBS_Types_Block;
65
- VALUE RBS_Types_ClassInstance;
66
- VALUE RBS_Types_ClassSingleton;
67
- VALUE RBS_Types_Function;
68
- VALUE RBS_Types_Function_Param;
69
- VALUE RBS_Types_Interface;
70
- VALUE RBS_Types_Intersection;
71
- VALUE RBS_Types_Literal;
72
- VALUE RBS_Types_Optional;
73
- VALUE RBS_Types_Proc;
74
- VALUE RBS_Types_Record;
75
- VALUE RBS_Types_Tuple;
76
- VALUE RBS_Types_Union;
77
- VALUE RBS_Types_UntypedFunction;
78
- VALUE RBS_Types_Variable;
79
-
80
- VALUE RBS_ParsingError;
81
-
82
- #define IMPORT_CONSTANT(var, parent, name) { var = rb_const_get(parent, rb_intern(name)); rb_gc_register_mark_object(var); }
83
-
84
- void rbs__init_constants(void) {
85
- IMPORT_CONSTANT(RBS, rb_cObject, "RBS");
86
- IMPORT_CONSTANT(RBS_ParsingError, RBS, "ParsingError");
87
-
88
- IMPORT_CONSTANT(RBS_AST, RBS, "AST");
89
- IMPORT_CONSTANT(RBS_AST_Declarations, RBS_AST, "Declarations");
90
- IMPORT_CONSTANT(RBS_AST_Directives, RBS_AST, "Directives");
91
- IMPORT_CONSTANT(RBS_AST_Members, RBS_AST, "Members");
92
- IMPORT_CONSTANT(RBS_Types, RBS, "Types");
93
- IMPORT_CONSTANT(RBS_Types_Bases, RBS_Types, "Bases");
94
-
95
- IMPORT_CONSTANT(RBS_AST_Annotation, RBS_AST, "Annotation");
96
- IMPORT_CONSTANT(RBS_AST_Comment, RBS_AST, "Comment");
97
- IMPORT_CONSTANT(RBS_AST_Declarations_Class, RBS_AST_Declarations, "Class");
98
- IMPORT_CONSTANT(RBS_AST_Declarations_Class_Super, RBS_AST_Declarations_Class, "Super");
99
- IMPORT_CONSTANT(RBS_AST_Declarations_ClassAlias, RBS_AST_Declarations, "ClassAlias");
100
- IMPORT_CONSTANT(RBS_AST_Declarations_Constant, RBS_AST_Declarations, "Constant");
101
- IMPORT_CONSTANT(RBS_AST_Declarations_Global, RBS_AST_Declarations, "Global");
102
- IMPORT_CONSTANT(RBS_AST_Declarations_Interface, RBS_AST_Declarations, "Interface");
103
- IMPORT_CONSTANT(RBS_AST_Declarations_Module, RBS_AST_Declarations, "Module");
104
- IMPORT_CONSTANT(RBS_AST_Declarations_Module_Self, RBS_AST_Declarations_Module, "Self");
105
- IMPORT_CONSTANT(RBS_AST_Declarations_ModuleAlias, RBS_AST_Declarations, "ModuleAlias");
106
- IMPORT_CONSTANT(RBS_AST_Declarations_TypeAlias, RBS_AST_Declarations, "TypeAlias");
107
- IMPORT_CONSTANT(RBS_AST_Directives_Use, RBS_AST_Directives, "Use");
108
- IMPORT_CONSTANT(RBS_AST_Directives_Use_SingleClause, RBS_AST_Directives_Use, "SingleClause");
109
- IMPORT_CONSTANT(RBS_AST_Directives_Use_WildcardClause, RBS_AST_Directives_Use, "WildcardClause");
110
- IMPORT_CONSTANT(RBS_AST_Members_Alias, RBS_AST_Members, "Alias");
111
- IMPORT_CONSTANT(RBS_AST_Members_AttrAccessor, RBS_AST_Members, "AttrAccessor");
112
- IMPORT_CONSTANT(RBS_AST_Members_AttrReader, RBS_AST_Members, "AttrReader");
113
- IMPORT_CONSTANT(RBS_AST_Members_AttrWriter, RBS_AST_Members, "AttrWriter");
114
- IMPORT_CONSTANT(RBS_AST_Members_ClassInstanceVariable, RBS_AST_Members, "ClassInstanceVariable");
115
- IMPORT_CONSTANT(RBS_AST_Members_ClassVariable, RBS_AST_Members, "ClassVariable");
116
- IMPORT_CONSTANT(RBS_AST_Members_Extend, RBS_AST_Members, "Extend");
117
- IMPORT_CONSTANT(RBS_AST_Members_Include, RBS_AST_Members, "Include");
118
- IMPORT_CONSTANT(RBS_AST_Members_InstanceVariable, RBS_AST_Members, "InstanceVariable");
119
- IMPORT_CONSTANT(RBS_AST_Members_MethodDefinition, RBS_AST_Members, "MethodDefinition");
120
- IMPORT_CONSTANT(RBS_AST_Members_MethodDefinition_Overload, RBS_AST_Members_MethodDefinition, "Overload");
121
- IMPORT_CONSTANT(RBS_AST_Members_Prepend, RBS_AST_Members, "Prepend");
122
- IMPORT_CONSTANT(RBS_AST_Members_Private, RBS_AST_Members, "Private");
123
- IMPORT_CONSTANT(RBS_AST_Members_Public, RBS_AST_Members, "Public");
124
- IMPORT_CONSTANT(RBS_AST_TypeParam, RBS_AST, "TypeParam");
125
- IMPORT_CONSTANT(RBS_MethodType, RBS, "MethodType");
126
- IMPORT_CONSTANT(RBS_Namespace, RBS, "Namespace");
127
- IMPORT_CONSTANT(RBS_TypeName, RBS, "TypeName");
128
- IMPORT_CONSTANT(RBS_Types_Alias, RBS_Types, "Alias");
129
- IMPORT_CONSTANT(RBS_Types_Bases_Any, RBS_Types_Bases, "Any");
130
- IMPORT_CONSTANT(RBS_Types_Bases_Bool, RBS_Types_Bases, "Bool");
131
- IMPORT_CONSTANT(RBS_Types_Bases_Bottom, RBS_Types_Bases, "Bottom");
132
- IMPORT_CONSTANT(RBS_Types_Bases_Class, RBS_Types_Bases, "Class");
133
- IMPORT_CONSTANT(RBS_Types_Bases_Instance, RBS_Types_Bases, "Instance");
134
- IMPORT_CONSTANT(RBS_Types_Bases_Nil, RBS_Types_Bases, "Nil");
135
- IMPORT_CONSTANT(RBS_Types_Bases_Self, RBS_Types_Bases, "Self");
136
- IMPORT_CONSTANT(RBS_Types_Bases_Top, RBS_Types_Bases, "Top");
137
- IMPORT_CONSTANT(RBS_Types_Bases_Void, RBS_Types_Bases, "Void");
138
- IMPORT_CONSTANT(RBS_Types_Block, RBS_Types, "Block");
139
- IMPORT_CONSTANT(RBS_Types_ClassInstance, RBS_Types, "ClassInstance");
140
- IMPORT_CONSTANT(RBS_Types_ClassSingleton, RBS_Types, "ClassSingleton");
141
- IMPORT_CONSTANT(RBS_Types_Function, RBS_Types, "Function");
142
- IMPORT_CONSTANT(RBS_Types_Function_Param, RBS_Types_Function, "Param");
143
- IMPORT_CONSTANT(RBS_Types_Interface, RBS_Types, "Interface");
144
- IMPORT_CONSTANT(RBS_Types_Intersection, RBS_Types, "Intersection");
145
- IMPORT_CONSTANT(RBS_Types_Literal, RBS_Types, "Literal");
146
- IMPORT_CONSTANT(RBS_Types_Optional, RBS_Types, "Optional");
147
- IMPORT_CONSTANT(RBS_Types_Proc, RBS_Types, "Proc");
148
- IMPORT_CONSTANT(RBS_Types_Record, RBS_Types, "Record");
149
- IMPORT_CONSTANT(RBS_Types_Tuple, RBS_Types, "Tuple");
150
- IMPORT_CONSTANT(RBS_Types_Union, RBS_Types, "Union");
151
- IMPORT_CONSTANT(RBS_Types_UntypedFunction, RBS_Types, "UntypedFunction");
152
- IMPORT_CONSTANT(RBS_Types_Variable, RBS_Types, "Variable");
153
- }