rbs 4.0.0.dev.4 → 4.1.0.pre.2

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 (306) hide show
  1. checksums.yaml +4 -4
  2. data/.clang-format +1 -0
  3. data/.github/dependabot.yml +16 -14
  4. data/.github/workflows/bundle-update.yml +63 -0
  5. data/.github/workflows/c-check.yml +21 -11
  6. data/.github/workflows/comments.yml +5 -3
  7. data/.github/workflows/dependabot.yml +2 -2
  8. data/.github/workflows/jruby.yml +67 -0
  9. data/.github/workflows/milestone.yml +83 -0
  10. data/.github/workflows/ruby.yml +63 -24
  11. data/.github/workflows/rust.yml +184 -0
  12. data/.github/workflows/truffleruby.yml +54 -0
  13. data/.github/workflows/typecheck.yml +5 -2
  14. data/.github/workflows/wasm.yml +53 -0
  15. data/.github/workflows/windows.yml +8 -2
  16. data/.gitignore +11 -0
  17. data/.rubocop.yml +1 -1
  18. data/CHANGELOG.md +357 -0
  19. data/README.md +4 -4
  20. data/Rakefile +365 -33
  21. data/Steepfile +8 -0
  22. data/config.yml +450 -24
  23. data/core/array.rbs +443 -363
  24. data/core/basic_object.rbs +9 -8
  25. data/core/binding.rbs +0 -2
  26. data/core/builtin.rbs +9 -8
  27. data/core/class.rbs +11 -8
  28. data/core/comparable.rbs +55 -34
  29. data/core/complex.rbs +104 -78
  30. data/core/dir.rbs +61 -49
  31. data/core/encoding.rbs +12 -15
  32. data/core/enumerable.rbs +288 -196
  33. data/core/enumerator/arithmetic_sequence.rbs +70 -0
  34. data/core/enumerator/product.rbs +5 -5
  35. data/core/enumerator.rbs +91 -28
  36. data/core/errno.rbs +11 -2
  37. data/core/errors.rbs +58 -29
  38. data/core/exception.rbs +13 -13
  39. data/core/fiber.rbs +74 -54
  40. data/core/file.rbs +260 -1151
  41. data/core/file_constants.rbs +463 -0
  42. data/core/file_stat.rbs +534 -0
  43. data/core/file_test.rbs +3 -3
  44. data/core/float.rbs +257 -92
  45. data/core/gc.rbs +425 -281
  46. data/core/hash.rbs +1151 -829
  47. data/core/integer.rbs +156 -195
  48. data/core/io/buffer.rbs +53 -42
  49. data/core/io/wait.rbs +13 -35
  50. data/core/io.rbs +216 -150
  51. data/core/kernel.rbs +239 -163
  52. data/core/marshal.rbs +4 -4
  53. data/core/match_data.rbs +15 -13
  54. data/core/math.rbs +107 -66
  55. data/core/method.rbs +69 -33
  56. data/core/module.rbs +302 -150
  57. data/core/nil_class.rbs +7 -6
  58. data/core/numeric.rbs +77 -63
  59. data/core/object.rbs +9 -11
  60. data/core/object_space/weak_key_map.rbs +7 -7
  61. data/core/object_space.rbs +30 -23
  62. data/core/pathname.rbs +1322 -0
  63. data/core/proc.rbs +95 -58
  64. data/core/process.rbs +222 -202
  65. data/core/ractor.rbs +371 -515
  66. data/core/random.rbs +21 -3
  67. data/core/range.rbs +181 -79
  68. data/core/rational.rbs +60 -89
  69. data/core/rbs/ops.rbs +154 -0
  70. data/core/rbs/unnamed/argf.rbs +63 -56
  71. data/core/rbs/unnamed/env_class.rbs +19 -14
  72. data/core/rbs/unnamed/main_class.rbs +123 -0
  73. data/core/rbs/unnamed/random.rbs +11 -118
  74. data/core/regexp.rbs +258 -214
  75. data/core/ruby.rbs +53 -0
  76. data/core/ruby_vm.rbs +78 -34
  77. data/core/rubygems/config_file.rbs +5 -5
  78. data/core/rubygems/errors.rbs +4 -71
  79. data/core/rubygems/requirement.rbs +5 -5
  80. data/core/rubygems/rubygems.rbs +16 -82
  81. data/core/rubygems/version.rbs +2 -3
  82. data/core/set.rbs +493 -363
  83. data/core/signal.rbs +26 -16
  84. data/core/string.rbs +3234 -1285
  85. data/core/struct.rbs +43 -42
  86. data/core/symbol.rbs +41 -34
  87. data/core/thread.rbs +141 -73
  88. data/core/time.rbs +81 -50
  89. data/core/trace_point.rbs +41 -35
  90. data/core/true_class.rbs +2 -2
  91. data/core/unbound_method.rbs +24 -16
  92. data/core/warning.rbs +7 -7
  93. data/docs/CONTRIBUTING.md +2 -1
  94. data/docs/aliases.md +79 -0
  95. data/docs/collection.md +3 -3
  96. data/docs/config.md +171 -0
  97. data/docs/encoding.md +56 -0
  98. data/docs/gem.md +0 -1
  99. data/docs/inline.md +634 -0
  100. data/docs/rbs_by_example.md +20 -20
  101. data/docs/rust.md +96 -0
  102. data/docs/sigs.md +3 -3
  103. data/docs/syntax.md +48 -18
  104. data/docs/type_fingerprint.md +21 -0
  105. data/docs/wasm_serialization.md +80 -0
  106. data/exe/rbs +1 -1
  107. data/ext/rbs_extension/ast_translation.c +1441 -671
  108. data/ext/rbs_extension/ast_translation.h +7 -0
  109. data/ext/rbs_extension/class_constants.c +18 -2
  110. data/ext/rbs_extension/class_constants.h +9 -0
  111. data/ext/rbs_extension/extconf.rb +6 -1
  112. data/ext/rbs_extension/legacy_location.c +33 -56
  113. data/ext/rbs_extension/legacy_location.h +37 -0
  114. data/ext/rbs_extension/main.c +183 -39
  115. data/include/rbs/ast.h +597 -297
  116. data/include/rbs/defines.h +40 -0
  117. data/include/rbs/lexer.h +31 -11
  118. data/include/rbs/location.h +25 -44
  119. data/include/rbs/parser.h +6 -6
  120. data/include/rbs/serialize.h +39 -0
  121. data/include/rbs/string.h +0 -2
  122. data/include/rbs/util/rbs_allocator.h +34 -13
  123. data/include/rbs/util/rbs_assert.h +12 -1
  124. data/include/rbs/util/rbs_constant_pool.h +0 -3
  125. data/include/rbs/util/rbs_encoding.h +2 -0
  126. data/include/rbs/util/rbs_unescape.h +2 -1
  127. data/include/rbs.h +8 -0
  128. data/lib/rbs/annotate/rdoc_annotator.rb +27 -31
  129. data/lib/rbs/ast/annotation.rb +1 -1
  130. data/lib/rbs/ast/comment.rb +1 -1
  131. data/lib/rbs/ast/declarations.rb +10 -10
  132. data/lib/rbs/ast/members.rb +14 -14
  133. data/lib/rbs/ast/ruby/annotations.rb +335 -3
  134. data/lib/rbs/ast/ruby/comment_block.rb +30 -4
  135. data/lib/rbs/ast/ruby/declarations.rb +209 -4
  136. data/lib/rbs/ast/ruby/helpers/constant_helper.rb +4 -0
  137. data/lib/rbs/ast/ruby/helpers/location_helper.rb +1 -1
  138. data/lib/rbs/ast/ruby/members.rb +571 -22
  139. data/lib/rbs/ast/type_param.rb +24 -4
  140. data/lib/rbs/buffer.rb +66 -24
  141. data/lib/rbs/cli/diff.rb +16 -15
  142. data/lib/rbs/cli/validate.rb +38 -106
  143. data/lib/rbs/cli.rb +55 -24
  144. data/lib/rbs/collection/config/lockfile_generator.rb +28 -3
  145. data/lib/rbs/collection/sources/git.rb +7 -0
  146. data/lib/rbs/definition.rb +1 -1
  147. data/lib/rbs/definition_builder/ancestor_builder.rb +62 -9
  148. data/lib/rbs/definition_builder/method_builder.rb +32 -6
  149. data/lib/rbs/definition_builder.rb +147 -25
  150. data/lib/rbs/diff.rb +7 -1
  151. data/lib/rbs/environment.rb +235 -75
  152. data/lib/rbs/environment_loader.rb +0 -6
  153. data/lib/rbs/errors.rb +27 -18
  154. data/lib/rbs/inline_parser.rb +377 -15
  155. data/lib/rbs/location_aux.rb +1 -1
  156. data/lib/rbs/locator.rb +5 -1
  157. data/lib/rbs/method_type.rb +5 -3
  158. data/lib/rbs/namespace.rb +47 -11
  159. data/lib/rbs/parser_aux.rb +20 -7
  160. data/lib/rbs/prototype/helpers.rb +57 -0
  161. data/lib/rbs/prototype/rb.rb +3 -28
  162. data/lib/rbs/prototype/rbi.rb +3 -20
  163. data/lib/rbs/prototype/runtime.rb +10 -0
  164. data/lib/rbs/resolver/constant_resolver.rb +2 -2
  165. data/lib/rbs/resolver/type_name_resolver.rb +120 -44
  166. data/lib/rbs/rewriter.rb +70 -0
  167. data/lib/rbs/subtractor.rb +3 -1
  168. data/lib/rbs/test/type_check.rb +25 -3
  169. data/lib/rbs/type_name.rb +34 -14
  170. data/lib/rbs/types.rb +88 -78
  171. data/lib/rbs/unit_test/type_assertions.rb +44 -8
  172. data/lib/rbs/validator.rb +2 -2
  173. data/lib/rbs/version.rb +1 -1
  174. data/lib/rbs/wasm/deserializer.rb +213 -0
  175. data/lib/rbs/wasm/location.rb +61 -0
  176. data/lib/rbs/wasm/parser.rb +137 -0
  177. data/lib/rbs/wasm/runtime.rb +217 -0
  178. data/lib/rbs/wasm/serialization_schema.rb +110 -0
  179. data/lib/rbs.rb +13 -2
  180. data/lib/rdoc/discover.rb +1 -1
  181. data/lib/rdoc_plugin/parser.rb +1 -1
  182. data/rbs.gemspec +24 -6
  183. data/schema/typeParam.json +17 -1
  184. data/sig/annotate/rdoc_annotater.rbs +12 -9
  185. data/sig/ast/ruby/annotations.rbs +364 -4
  186. data/sig/ast/ruby/comment_block.rbs +8 -0
  187. data/sig/ast/ruby/declarations.rbs +102 -4
  188. data/sig/ast/ruby/members.rbs +128 -2
  189. data/sig/buffer.rbs +19 -1
  190. data/sig/cli/diff.rbs +5 -11
  191. data/sig/cli/validate.rbs +12 -8
  192. data/sig/cli.rbs +18 -18
  193. data/sig/collection/config/lockfile_generator.rbs +2 -0
  194. data/sig/definition.rbs +6 -1
  195. data/sig/definition_builder.rbs +2 -0
  196. data/sig/environment.rbs +70 -12
  197. data/sig/errors.rbs +13 -14
  198. data/sig/inline_parser.rbs +41 -2
  199. data/sig/locator.rbs +0 -2
  200. data/sig/manifest.yaml +0 -2
  201. data/sig/method_builder.rbs +3 -1
  202. data/sig/namespace.rbs +20 -0
  203. data/sig/parser.rbs +41 -13
  204. data/sig/prototype/helpers.rbs +2 -0
  205. data/sig/resolver/type_name_resolver.rbs +36 -10
  206. data/sig/rewriter.rbs +45 -0
  207. data/sig/source.rbs +3 -3
  208. data/sig/type_param.rbs +13 -8
  209. data/sig/typename.rbs +15 -0
  210. data/sig/types.rbs +6 -7
  211. data/sig/unit_test/spy.rbs +0 -8
  212. data/sig/unit_test/type_assertions.rbs +15 -0
  213. data/sig/wasm/deserializer.rbs +66 -0
  214. data/sig/wasm/serialization_schema.rbs +13 -0
  215. data/src/ast.c +443 -162
  216. data/src/lexer.c +1415 -1313
  217. data/src/lexer.re +4 -0
  218. data/src/lexstate.c +63 -37
  219. data/src/location.c +7 -47
  220. data/src/parser.c +1032 -521
  221. data/src/serialize.c +958 -0
  222. data/src/string.c +0 -48
  223. data/src/util/rbs_allocator.c +89 -74
  224. data/src/util/rbs_assert.c +1 -1
  225. data/src/util/rbs_buffer.c +2 -2
  226. data/src/util/rbs_constant_pool.c +10 -14
  227. data/src/util/rbs_encoding.c +4 -8
  228. data/src/util/rbs_unescape.c +56 -20
  229. data/stdlib/abbrev/0/array.rbs +1 -1
  230. data/stdlib/bigdecimal/0/big_decimal.rbs +116 -98
  231. data/stdlib/bigdecimal-math/0/big_math.rbs +169 -8
  232. data/stdlib/cgi/0/core.rbs +9 -393
  233. data/stdlib/cgi/0/manifest.yaml +1 -0
  234. data/stdlib/cgi-escape/0/escape.rbs +171 -0
  235. data/stdlib/coverage/0/coverage.rbs +7 -4
  236. data/stdlib/csv/0/csv.rbs +5 -5
  237. data/stdlib/date/0/date.rbs +92 -79
  238. data/stdlib/date/0/date_time.rbs +25 -24
  239. data/stdlib/delegate/0/delegator.rbs +10 -7
  240. data/stdlib/did_you_mean/0/did_you_mean.rbs +17 -16
  241. data/stdlib/digest/0/digest.rbs +111 -1
  242. data/stdlib/erb/0/erb.rbs +748 -347
  243. data/stdlib/etc/0/etc.rbs +73 -54
  244. data/stdlib/fileutils/0/fileutils.rbs +179 -160
  245. data/stdlib/forwardable/0/forwardable.rbs +13 -10
  246. data/stdlib/io-console/0/io-console.rbs +2 -2
  247. data/stdlib/json/0/json.rbs +223 -142
  248. data/stdlib/monitor/0/monitor.rbs +3 -3
  249. data/stdlib/net-http/0/net-http.rbs +162 -134
  250. data/stdlib/objspace/0/objspace.rbs +17 -34
  251. data/stdlib/open-uri/0/open-uri.rbs +48 -8
  252. data/stdlib/open3/0/open3.rbs +469 -10
  253. data/stdlib/openssl/0/openssl.rbs +482 -364
  254. data/stdlib/optparse/0/optparse.rbs +26 -17
  255. data/stdlib/pathname/0/pathname.rbs +11 -1381
  256. data/stdlib/pp/0/pp.rbs +9 -8
  257. data/stdlib/prettyprint/0/prettyprint.rbs +7 -7
  258. data/stdlib/pstore/0/pstore.rbs +35 -30
  259. data/stdlib/psych/0/psych.rbs +65 -12
  260. data/stdlib/psych/0/store.rbs +2 -4
  261. data/stdlib/pty/0/pty.rbs +9 -6
  262. data/stdlib/random-formatter/0/random-formatter.rbs +277 -0
  263. data/stdlib/rdoc/0/code_object.rbs +2 -1
  264. data/stdlib/rdoc/0/parser.rbs +1 -1
  265. data/stdlib/rdoc/0/rdoc.rbs +1 -1
  266. data/stdlib/rdoc/0/store.rbs +1 -1
  267. data/stdlib/resolv/0/resolv.rbs +26 -69
  268. data/stdlib/ripper/0/ripper.rbs +22 -19
  269. data/stdlib/securerandom/0/manifest.yaml +2 -0
  270. data/stdlib/securerandom/0/securerandom.rbs +7 -20
  271. data/stdlib/shellwords/0/shellwords.rbs +3 -3
  272. data/stdlib/singleton/0/singleton.rbs +3 -0
  273. data/stdlib/socket/0/addrinfo.rbs +7 -7
  274. data/stdlib/socket/0/basic_socket.rbs +3 -3
  275. data/stdlib/socket/0/ip_socket.rbs +10 -8
  276. data/stdlib/socket/0/socket.rbs +23 -10
  277. data/stdlib/socket/0/tcp_server.rbs +1 -1
  278. data/stdlib/socket/0/tcp_socket.rbs +11 -3
  279. data/stdlib/socket/0/udp_socket.rbs +1 -1
  280. data/stdlib/socket/0/unix_server.rbs +1 -1
  281. data/stdlib/stringio/0/stringio.rbs +1209 -95
  282. data/stdlib/strscan/0/string_scanner.rbs +101 -80
  283. data/stdlib/tempfile/0/tempfile.rbs +25 -21
  284. data/stdlib/time/0/time.rbs +8 -6
  285. data/stdlib/timeout/0/timeout.rbs +63 -7
  286. data/stdlib/tsort/0/cyclic.rbs +4 -1
  287. data/stdlib/tsort/0/interfaces.rbs +8 -8
  288. data/stdlib/tsort/0/tsort.rbs +16 -15
  289. data/stdlib/uri/0/common.rbs +42 -20
  290. data/stdlib/uri/0/file.rbs +3 -3
  291. data/stdlib/uri/0/generic.rbs +26 -18
  292. data/stdlib/uri/0/http.rbs +2 -2
  293. data/stdlib/uri/0/ldap.rbs +2 -2
  294. data/stdlib/uri/0/mailto.rbs +3 -3
  295. data/stdlib/uri/0/rfc2396_parser.rbs +12 -12
  296. data/stdlib/zlib/0/deflate.rbs +4 -3
  297. data/stdlib/zlib/0/gzip_reader.rbs +8 -8
  298. data/stdlib/zlib/0/gzip_writer.rbs +14 -12
  299. data/stdlib/zlib/0/inflate.rbs +1 -1
  300. data/stdlib/zlib/0/need_dict.rbs +1 -1
  301. data/stdlib/zlib/0/zstream.rbs +1 -0
  302. data/wasm/README.md +59 -0
  303. data/wasm/rbs_wasm.c +411 -0
  304. metadata +56 -8
  305. data/.vscode/extensions.json +0 -5
  306. data/.vscode/settings.json +0 -19
@@ -26,7 +26,7 @@ module Timeout
26
26
  # rdoc-file=lib/timeout.rb
27
27
  # - timeout(sec, klass = nil, message = nil) { |sec| ... }
28
28
  # -->
29
- # Perform an operation in a block, raising an error if it takes longer than
29
+ # Perform an operation in a block, raising an exception if it takes longer than
30
30
  # `sec` seconds to complete.
31
31
  #
32
32
  # `sec`
@@ -45,12 +45,20 @@ module Timeout
45
45
  #
46
46
  #
47
47
  # Returns the result of the block **if** the block completed before `sec`
48
- # seconds, otherwise throws an exception, based on the value of `klass`.
48
+ # seconds, otherwise raises an exception, based on the value of `klass`.
49
49
  #
50
- # The exception thrown to terminate the given block cannot be rescued inside the
51
- # block unless `klass` is given explicitly. However, the block can use ensure to
52
- # prevent the handling of the exception. For that reason, this method cannot be
53
- # relied on to enforce timeouts for untrusted blocks.
50
+ # The exception raised to terminate the given block is the given `klass`, or
51
+ # Timeout::ExitException if `klass` is not given. The reason for that behavior
52
+ # is that Timeout::Error inherits from RuntimeError and might be caught
53
+ # unexpectedly by `rescue`. Timeout::ExitException inherits from Exception so it
54
+ # will only be rescued by `rescue Exception`. Note that the
55
+ # Timeout::ExitException is translated to a Timeout::Error once it reaches the
56
+ # Timeout.timeout call, so outside that call it will be a Timeout::Error.
57
+ #
58
+ # In general, be aware that the code block may rescue the exception, and in such
59
+ # a case not respect the timeout. Also, the block can use `ensure` to prevent
60
+ # the handling of the exception. For those reasons, this method cannot be relied
61
+ # on to enforce timeouts for untrusted blocks.
54
62
  #
55
63
  # If a scheduler is defined, it will be used to handle the timeout by invoking
56
64
  # Scheduler#timeout_after.
@@ -59,11 +67,59 @@ module Timeout
59
67
  # Timeout` into your classes so they have a #timeout method, as well as a module
60
68
  # method, so you can call it directly as Timeout.timeout().
61
69
  #
70
+ # #### Ensuring the exception does not fire inside ensure blocks
71
+ #
72
+ # When using Timeout.timeout it can be desirable to ensure the timeout exception
73
+ # does not fire inside an `ensure` block. The simplest and best way to do so it
74
+ # to put the Timeout.timeout call inside the body of the begin/ensure/end:
75
+ #
76
+ # begin
77
+ # Timeout.timeout(sec) { some_long_operation }
78
+ # ensure
79
+ # cleanup # safe, cannot be interrupt by timeout
80
+ # end
81
+ #
82
+ # If that is not feasible, e.g. if there are `ensure` blocks inside
83
+ # `some_long_operation`, they need to not be interrupted by timeout, and it's
84
+ # not possible to move these ensure blocks outside, one can use
85
+ # Thread.handle_interrupt to delay the timeout exception like so:
86
+ #
87
+ # Thread.handle_interrupt(Timeout::Error => :never) {
88
+ # Timeout.timeout(sec, Timeout::Error) do
89
+ # setup # timeout cannot happen here, no matter how long it takes
90
+ # Thread.handle_interrupt(Timeout::Error => :immediate) {
91
+ # some_long_operation # timeout can happen here
92
+ # }
93
+ # ensure
94
+ # cleanup # timeout cannot happen here, no matter how long it takes
95
+ # end
96
+ # }
97
+ #
98
+ # An important thing to note is the need to pass an exception klass to
99
+ # Timeout.timeout, otherwise it does not work. Specifically, using
100
+ # +Thread.handle_interrupt(Timeout::ExitException => ...)+ is unsupported and
101
+ # causes subtle errors like raising the wrong exception outside the block, do
102
+ # not use that.
103
+ #
104
+ # Note that Thread.handle_interrupt is somewhat dangerous because if setup or
105
+ # cleanup hangs then the current thread will hang too and the timeout will never
106
+ # fire. Also note the block might run for longer than `sec` seconds: e.g.
107
+ # some_long_operation executes for `sec` seconds + whatever time cleanup takes.
108
+ #
109
+ # If you want the timeout to only happen on blocking operations one can use
110
+ # :on_blocking instead of :immediate. However, that means if the block uses no
111
+ # blocking operations after `sec` seconds, the block will not be interrupted.
112
+ # ----
113
+ # <!--
114
+ # rdoc-file=lib/timeout.rb
115
+ # - timeout(*args, &block)
116
+ # -->
117
+ #
62
118
  def self?.timeout: [T] (Numeric? sec, ?singleton(Exception) klass, ?String message) { (Numeric sec) -> T } -> T
63
119
  end
64
120
 
65
121
  # <!-- rdoc-file=lib/timeout.rb -->
66
- # Internal error raised to when a timeout is triggered.
122
+ # Internal exception raised to when a timeout is triggered.
67
123
  #
68
124
  class Timeout::ExitException < Exception
69
125
  end
@@ -1,5 +1,8 @@
1
1
  %a{annotate:rdoc:skip}
2
- module TSort[Node]
2
+ module TSort[N]
3
+ # <!-- rdoc-file=lib/tsort.rb -->
4
+ # Exception class to be raised when a cycle is found.
5
+ #
3
6
  class Cyclic < StandardError
4
7
  end
5
8
  end
@@ -1,20 +1,20 @@
1
1
  %a{annotate:rdoc:skip}
2
- module TSort[Node]
3
- interface _Sortable[Node]
2
+ module TSort[N]
3
+ interface _Sortable[N]
4
4
  # #tsort_each_node is used to iterate for all nodes over a graph.
5
5
  #
6
- def tsort_each_node: () { (Node) -> void } -> void
6
+ def tsort_each_node: () { (N) -> void } -> void
7
7
 
8
8
  # #tsort_each_child is used to iterate for child nodes of node.
9
9
  #
10
- def tsort_each_child: (Node) { (Node) -> void } -> void
10
+ def tsort_each_child: (N) { (N) -> void } -> void
11
11
  end
12
12
 
13
- interface _EachNode[Node]
14
- def call: () { (Node) -> void } -> void
13
+ interface _EachNode[N]
14
+ def call: () { (N) -> void } -> void
15
15
  end
16
16
 
17
- interface _EachChild[Node]
18
- def call: (Node) { (Node) -> void } -> void
17
+ interface _EachChild[N]
18
+ def call: (N) { (N) -> void } -> void
19
19
  end
20
20
  end
@@ -113,7 +113,7 @@
113
113
  # 1. Tarjan, "Depth First Search and Linear Graph Algorithms",
114
114
  # *SIAM Journal on Computing*, Vol. 1, No. 2, pp. 146-160, June 1972.
115
115
  #
116
- module TSort[Node] : TSort::_Sortable[Node]
116
+ module TSort[N] : TSort::_Sortable[N]
117
117
  # <!--
118
118
  # rdoc-file=lib/tsort.rb
119
119
  # - each_strongly_connected_component(each_node, each_child) { |nodes| ... }
@@ -262,9 +262,9 @@ module TSort[Node] : TSort::_Sortable[Node]
262
262
  # - each_strongly_connected_component() { |nodes| ... }
263
263
  # -->
264
264
  # The iterator version of the #strongly_connected_components method.
265
- # *`obj*.each_strongly_connected_component` is similar to
266
- # *`obj*.strongly_connected_components.each`, but modification of *obj* during
267
- # the iteration may lead to unexpected results.
265
+ # <code><em>obj</em>.each_strongly_connected_component</code> is similar to
266
+ # <code><em>obj</em>.strongly_connected_components.each</code>, but modification
267
+ # of *obj* during the iteration may lead to unexpected results.
268
268
  #
269
269
  # #each_strongly_connected_component returns `nil`.
270
270
  #
@@ -290,8 +290,8 @@ module TSort[Node] : TSort::_Sortable[Node]
290
290
  # # [2, 3]
291
291
  # # [1]
292
292
  #
293
- def each_strongly_connected_component: () { (Array[Node]) -> void } -> void
294
- | () -> Enumerator[Array[Node], void]
293
+ def each_strongly_connected_component: () { (Array[N]) -> void } -> void
294
+ | () -> Enumerator[Array[N], void]
295
295
 
296
296
  # <!--
297
297
  # rdoc-file=lib/tsort.rb
@@ -323,8 +323,8 @@ module TSort[Node] : TSort::_Sortable[Node]
323
323
  # #=> [4]
324
324
  # # [2, 3]
325
325
  #
326
- def each_strongly_connected_component_from: (Node, ?untyped id_map, ?untyped stack) { (Array[Node]) -> void } -> void
327
- | (Node, ?untyped id_map, ?untyped stack) -> Enumerator[Array[Node], void]
326
+ def each_strongly_connected_component_from: (N, ?untyped id_map, ?untyped stack) { (Array[N]) -> void } -> void
327
+ | (N, ?untyped id_map, ?untyped stack) -> Enumerator[Array[N], void]
328
328
 
329
329
  # <!--
330
330
  # rdoc-file=lib/tsort.rb
@@ -349,7 +349,7 @@ module TSort[Node] : TSort::_Sortable[Node]
349
349
  # graph = G.new({1=>[2], 2=>[3, 4], 3=>[2], 4=>[]})
350
350
  # p graph.strongly_connected_components #=> [[4], [2, 3], [1]]
351
351
  #
352
- def strongly_connected_components: () -> Array[Array[Node]]
352
+ def strongly_connected_components: () -> Array[Array[N]]
353
353
 
354
354
  # <!--
355
355
  # rdoc-file=lib/tsort.rb
@@ -376,15 +376,16 @@ module TSort[Node] : TSort::_Sortable[Node]
376
376
  # graph = G.new({1=>[2], 2=>[3, 4], 3=>[2], 4=>[]})
377
377
  # p graph.tsort # raises TSort::Cyclic
378
378
  #
379
- def tsort: () -> Array[Node]
379
+ def tsort: () -> Array[N]
380
380
 
381
381
  # <!--
382
382
  # rdoc-file=lib/tsort.rb
383
383
  # - tsort_each() { |node| ... }
384
384
  # -->
385
- # The iterator version of the #tsort method. *`obj*.tsort_each` is similar to
386
- # *`obj*.tsort.each`, but modification of *obj* during the iteration may lead to
387
- # unexpected results.
385
+ # The iterator version of the #tsort method.
386
+ # <code><em>obj</em>.tsort_each</code> is similar to
387
+ # <code><em>obj</em>.tsort.each</code>, but modification of *obj* during the
388
+ # iteration may lead to unexpected results.
388
389
  #
389
390
  # #tsort_each returns `nil`. If there is a cycle, TSort::Cyclic is raised.
390
391
  #
@@ -404,6 +405,6 @@ module TSort[Node] : TSort::_Sortable[Node]
404
405
  # # 3
405
406
  # # 1
406
407
  #
407
- def tsort_each: () { (Node) -> void } -> void
408
- | () -> Enumerator[Node, void]
408
+ def tsort_each: () { (N) -> void } -> void
409
+ | () -> Enumerator[N, void]
409
410
  end
@@ -119,7 +119,7 @@ module URI
119
119
  # rdoc-file=lib/uri/common.rb
120
120
  # - decode_uri_component(str, enc=Encoding::UTF_8)
121
121
  # -->
122
- # Like URI.decode_www_form_component, except that `'+'` is preserved.
122
+ # Like URI.decode_www_form_component, except that <code>'+'</code> is preserved.
123
123
  #
124
124
  def self.decode_uri_component: (String str, ?encoding enc) -> String
125
125
 
@@ -131,7 +131,8 @@ module URI
131
131
  # ASCII string.
132
132
  #
133
133
  # The method may be used to decode the body of Net::HTTPResponse object `res`
134
- # for which `res['Content-Type']` is `'application/x-www-form-urlencoded'`.
134
+ # for which <code>res['Content-Type']</code> is
135
+ # <code>'application/x-www-form-urlencoded'</code>.
135
136
  #
136
137
  # The returned data is an array of 2-element subarrays; each subarray is a
137
138
  # name/value pair (both are strings). Each returned string has encoding `enc`,
@@ -175,8 +176,10 @@ module URI
175
176
  #
176
177
  # * Preserves:
177
178
  #
178
- # * Characters `'*'`, `'.'`, `'-'`, and `'_'`.
179
- # * Character in ranges `'a'..'z'`, `'A'..'Z'`, and `'0'..'9'`.
179
+ # * Characters <code>'*'</code>, <code>'.'</code>, <code>'-'</code>, and
180
+ # <code>'_'</code>.
181
+ # * Character in ranges <code>'a'..'z'</code>, <code>'A'..'Z'</code>, and
182
+ # <code>'0'..'9'</code>.
180
183
  #
181
184
  # Example:
182
185
  #
@@ -185,7 +188,7 @@ module URI
185
188
  #
186
189
  # * Converts:
187
190
  #
188
- # * Character `'+'` to character `' '`.
191
+ # * Character <code>'+'</code> to character <code>' '</code>.
189
192
  # * Each "percent notation" to an ASCII character.
190
193
  #
191
194
  # Example:
@@ -193,7 +196,7 @@ module URI
193
196
  # URI.decode_www_form_component('Here+are+some+punctuation+characters%3A+%2C%3B%3F%3A')
194
197
  # # => "Here are some punctuation characters: ,;?:"
195
198
  #
196
- # Related: URI.decode_uri_component (preserves `'+'`).
199
+ # Related: URI.decode_uri_component (preserves <code>'+'</code>).
197
200
  #
198
201
  def self.decode_www_form_component: (String str, ?encoding enc) -> String
199
202
 
@@ -201,8 +204,8 @@ module URI
201
204
  # rdoc-file=lib/uri/common.rb
202
205
  # - encode_uri_component(str, enc=nil)
203
206
  # -->
204
- # Like URI.encode_www_form_component, except that `' '` (space) is encoded as
205
- # `'%20'` (instead of `'+'`).
207
+ # Like URI.encode_www_form_component, except that <code>' '</code> (space) is
208
+ # encoded as <code>'%20'</code> (instead of <code>'+'</code>).
206
209
  #
207
210
  def self.encode_uri_component: (String str, ?encoding enc) -> String
208
211
 
@@ -214,10 +217,10 @@ module URI
214
217
  # [Enumerable](rdoc-ref:Enumerable@Enumerable+in+Ruby+Classes) `enum`.
215
218
  #
216
219
  # The result is suitable for use as form data for an HTTP request whose
217
- # `Content-Type` is `'application/x-www-form-urlencoded'`.
220
+ # <code>Content-Type</code> is <code>'application/x-www-form-urlencoded'</code>.
218
221
  #
219
222
  # The returned string consists of the elements of `enum`, each converted to one
220
- # or more URL-encoded strings, and all joined with character `'&'`.
223
+ # or more URL-encoded strings, and all joined with character <code>'&'</code>.
221
224
  #
222
225
  # Simple examples:
223
226
  #
@@ -248,7 +251,8 @@ module URI
248
251
  # URI.encode_www_form([['foo', 0], ['bar', :baz, 'bat']])
249
252
  # # => "foo=0&bar=baz"
250
253
  #
251
- # * If `ele` is an array of one element, the field is formed from `ele[0]`:
254
+ # * If `ele` is an array of one element, the field is formed from
255
+ # <code>ele[0]</code>:
252
256
  #
253
257
  # URI.encode_www_form_component(ele[0])
254
258
  #
@@ -316,8 +320,10 @@ module URI
316
320
  #
317
321
  # * Preserves:
318
322
  #
319
- # * Characters `'*'`, `'.'`, `'-'`, and `'_'`.
320
- # * Character in ranges `'a'..'z'`, `'A'..'Z'`, and `'0'..'9'`.
323
+ # * Characters <code>'*'</code>, <code>'.'</code>, <code>'-'</code>, and
324
+ # <code>'_'</code>.
325
+ # * Character in ranges <code>'a'..'z'</code>, <code>'A'..'Z'</code>, and
326
+ # <code>'0'..'9'</code>.
321
327
  #
322
328
  # Example:
323
329
  #
@@ -326,9 +332,9 @@ module URI
326
332
  #
327
333
  # * Converts:
328
334
  #
329
- # * Character `' '` to character `'+'`.
335
+ # * Character <code>' '</code> to character <code>'+'</code>.
330
336
  # * Any other character to "percent notation"; the percent notation for
331
- # character *c* is `'%%%X' % c.ord`.
337
+ # character *c* is <code>'%%%X' % c.ord</code>.
332
338
  #
333
339
  # Example:
334
340
  #
@@ -343,7 +349,8 @@ module URI
343
349
  #
344
350
  # In either case, the returned string has forced encoding Encoding::US_ASCII.
345
351
  #
346
- # Related: URI.encode_uri_component (encodes `' '` as `'%20'`).
352
+ # Related: URI.encode_uri_component (encodes <code>' '</code> as
353
+ # <code>'%20'</code>).
347
354
  #
348
355
  def self.encode_www_form_component: (_ToS str, ?encoding? enc) -> String
349
356
 
@@ -420,8 +427,8 @@ module URI
420
427
  # URI.parse('http://john.doe@www.example.com:123/forum/questions/?tag=networking&order=newest#top')
421
428
  # # => #<URI::HTTP http://john.doe@www.example.com:123/forum/questions/?tag=networking&order=newest#top>
422
429
  #
423
- # It's recommended to first ::escape string `uri` if it may contain invalid URI
424
- # characters.
430
+ # It's recommended to first URI::RFC2396_PARSER.escape string `uri` if it may
431
+ # contain invalid URI characters.
425
432
  #
426
433
  def self.parse: (_ToStr uri) -> (File | FTP | HTTP | HTTPS | LDAP | LDAPS | MailTo | WS | WSS | Generic)
427
434
 
@@ -491,7 +498,8 @@ module URI
491
498
  # Returns a new object constructed from the given `scheme`, `arguments`, and
492
499
  # `default`:
493
500
  #
494
- # * The new object is an instance of `URI.scheme_list[scheme.upcase]`.
501
+ # * The new object is an instance of
502
+ # <code>URI.scheme_list[scheme.upcase]</code>.
495
503
  # * The object is initialized by calling the class initializer using `scheme`
496
504
  # and `arguments`. See URI::Generic.new.
497
505
  #
@@ -535,6 +543,9 @@ URI::ABS_URI: Regexp
535
543
 
536
544
  URI::ABS_URI_REF: Regexp
537
545
 
546
+ # <!-- rdoc-file=lib/uri/common.rb -->
547
+ # The default parser instance.
548
+ #
538
549
  URI::DEFAULT_PARSER: URI::RFC2396_Parser
539
550
 
540
551
  URI::ESCAPED: Regexp
@@ -557,6 +568,14 @@ URI::REL_URI: Regexp
557
568
 
558
569
  URI::REL_URI_REF: Regexp
559
570
 
571
+ # <!-- rdoc-file=lib/uri/common.rb -->
572
+ # The default parser instance for RFC 2396.
573
+ #
574
+ URI::RFC2396_PARSER: URI::RFC2396_Parser
575
+
576
+ # <!-- rdoc-file=lib/uri/common.rb -->
577
+ # The default parser instance for RFC 3986.
578
+ #
560
579
  URI::RFC3986_PARSER: URI::RFC3986_Parser
561
580
 
562
581
  URI::SCHEME: Regexp
@@ -588,6 +607,7 @@ module Kernel
588
607
  # Returns a URI object derived from the given `uri`, which may be a URI string
589
608
  # or an existing URI object:
590
609
  #
610
+ # require 'uri'
591
611
  # # Returns a new URI.
592
612
  # uri = URI('http://github.com/ruby/ruby')
593
613
  # # => #<URI::HTTP http://github.com/ruby/ruby>
@@ -595,5 +615,7 @@ module Kernel
595
615
  # URI(uri)
596
616
  # # => #<URI::HTTP http://github.com/ruby/ruby>
597
617
  #
598
- def self?.URI: (URI::Generic | String uri) -> URI::Generic
618
+ # You must require 'uri' to use this method.
619
+ #
620
+ def self?.URI: (URI::Generic | string uri) -> URI::Generic
599
621
  end
@@ -27,8 +27,8 @@ module URI
27
27
  # The components should be provided either as an Array, or as a Hash with keys
28
28
  # formed by preceding the component names with a colon.
29
29
  #
30
- # If an Array is used, the components must be passed in the order `[host,
31
- # path]`.
30
+ # If an Array is used, the components must be passed in the order <code>[host,
31
+ # path]</code>.
32
32
  #
33
33
  # A path from e.g. the File class should be escaped before being passed.
34
34
  #
@@ -43,7 +43,7 @@ module URI
43
43
  # :path => '/ruby/src'})
44
44
  # uri2.to_s # => "file://host.example.com/ruby/src"
45
45
  #
46
- # uri3 = URI::File.build({:path => URI::escape('/path/my file.txt')})
46
+ # uri3 = URI::File.build({:path => URI::RFC2396_PARSER.escape('/path/my file.txt')})
47
47
  # uri3.to_s # => "file:///path/my%20file.txt"
48
48
  #
49
49
  def self.build: (Array[String] args) -> URI::File
@@ -145,7 +145,7 @@ module URI
145
145
  #
146
146
  # At first, tries to create a new URI::Generic instance using
147
147
  # URI::Generic::build. But, if exception URI::InvalidComponentError is raised,
148
- # then it does URI::Escape.escape all URI components and tries again.
148
+ # then it does URI::RFC2396_PARSER.escape all URI components and tries again.
149
149
  #
150
150
  def self.build2: (Array[nil | String | Integer]) -> URI::Generic
151
151
  | ({ scheme: String?, userinfo: String?, host: String?, port: Integer?, registry: String?, path: String?, opaque: String?, query: String?, fragment: String? }) -> instance
@@ -293,7 +293,7 @@ module URI
293
293
  # -->
294
294
  # Returns the parser to be used.
295
295
  #
296
- # Unless a URI::Parser is defined, DEFAULT_PARSER is used.
296
+ # Unless the `parser` is defined, DEFAULT_PARSER is used.
297
297
  #
298
298
  def parser: () -> untyped
299
299
 
@@ -317,7 +317,7 @@ module URI
317
317
  # rdoc-file=lib/uri/generic.rb
318
318
  # - check_scheme(v)
319
319
  # -->
320
- # Checks the scheme `v` component against the URI::Parser Regexp for :SCHEME.
320
+ # Checks the scheme `v` component against the `parser` Regexp for :SCHEME.
321
321
  #
322
322
  def check_scheme: (String? v) -> true
323
323
 
@@ -374,8 +374,8 @@ module URI
374
374
  # rdoc-file=lib/uri/generic.rb
375
375
  # - check_user(v)
376
376
  # -->
377
- # Checks the user `v` component for RFC2396 compliance and against the
378
- # URI::Parser Regexp for :USERINFO.
377
+ # Checks the user `v` component for RFC2396 compliance and against the `parser`
378
+ # Regexp for :USERINFO.
379
379
  #
380
380
  # Can not have a registry or opaque component defined, with a user component
381
381
  # defined.
@@ -387,7 +387,7 @@ module URI
387
387
  # - check_password(v, user = @user)
388
388
  # -->
389
389
  # Checks the password `v` component for RFC2396 compliance and against the
390
- # URI::Parser Regexp for :USERINFO.
390
+ # `parser` Regexp for :USERINFO.
391
391
  #
392
392
  # Can not have a registry or opaque component defined, with a user component
393
393
  # defined.
@@ -424,7 +424,7 @@ module URI
424
424
  #
425
425
  # uri = URI.parse("http://john:S3nsit1ve@my.example.com")
426
426
  # uri.user = "sam"
427
- # uri.to_s #=> "http://sam:V3ry_S3nsit1ve@my.example.com"
427
+ # uri.to_s #=> "http://sam@my.example.com"
428
428
  #
429
429
  def user=: (String? user) -> String?
430
430
 
@@ -489,8 +489,8 @@ module URI
489
489
  # rdoc-file=lib/uri/generic.rb
490
490
  # - split_userinfo(ui)
491
491
  # -->
492
- # Returns the userinfo `ui` as `[user, password]` if properly formatted as
493
- # 'user:password'.
492
+ # Returns the userinfo `ui` as <code>[user, password]</code> if properly
493
+ # formatted as 'user:password'.
494
494
  #
495
495
  def split_userinfo: (String ui) -> Array[String | nil]
496
496
 
@@ -530,8 +530,8 @@ module URI
530
530
  # rdoc-file=lib/uri/generic.rb
531
531
  # - check_host(v)
532
532
  # -->
533
- # Checks the host `v` component for RFC2396 compliance and against the
534
- # URI::Parser Regexp for :HOST.
533
+ # Checks the host `v` component for RFC2396 compliance and against the `parser`
534
+ # Regexp for :HOST.
535
535
  #
536
536
  # Can not have a registry or opaque component defined, with a host component
537
537
  # defined.
@@ -611,8 +611,8 @@ module URI
611
611
  # rdoc-file=lib/uri/generic.rb
612
612
  # - check_port(v)
613
613
  # -->
614
- # Checks the port `v` component for RFC2396 compliance and against the
615
- # URI::Parser Regexp for :PORT.
614
+ # Checks the port `v` component for RFC2396 compliance and against the `parser`
615
+ # Regexp for :PORT.
616
616
  #
617
617
  # Can not have a registry or opaque component defined, with a port component
618
618
  # defined.
@@ -670,8 +670,8 @@ module URI
670
670
  # rdoc-file=lib/uri/generic.rb
671
671
  # - check_path(v)
672
672
  # -->
673
- # Checks the path `v` component for RFC2396 compliance and against the
674
- # URI::Parser Regexp for :ABS_PATH and :REL_PATH.
673
+ # Checks the path `v` component for RFC2396 compliance and against the `parser`
674
+ # Regexp for :ABS_PATH and :REL_PATH.
675
675
  #
676
676
  # Can not have a opaque component defined, with a path component defined.
677
677
  #
@@ -742,7 +742,7 @@ module URI
742
742
  # - check_opaque(v)
743
743
  # -->
744
744
  # Checks the opaque `v` component for RFC2396 compliance and against the
745
- # URI::Parser Regexp for :OPAQUE.
745
+ # `parser` Regexp for :OPAQUE.
746
746
  #
747
747
  # Can not have a host, port, user, or path component defined, with an opaque
748
748
  # component defined.
@@ -781,8 +781,7 @@ module URI
781
781
  # rdoc-file=lib/uri/generic.rb
782
782
  # - fragment=(v)
783
783
  # -->
784
- # Checks the fragment `v` component against the URI::Parser Regexp for
785
- # :FRAGMENT.
784
+ # Checks the fragment `v` component against the `parser` Regexp for :FRAGMENT.
786
785
  #
787
786
  # ## Args
788
787
  #
@@ -910,6 +909,13 @@ module URI
910
909
  #
911
910
  def merge: (URI::Generic | string oth) -> URI::Generic
912
911
 
912
+ # <!--
913
+ # rdoc-file=lib/uri/generic.rb
914
+ # - +(oth)
915
+ # -->
916
+ #
917
+ alias + merge
918
+
913
919
  # :stopdoc:
914
920
  def route_from_path: (String src, String dst) -> String
915
921
 
@@ -1010,6 +1016,7 @@ module URI
1010
1016
  # rdoc-file=lib/uri/generic.rb
1011
1017
  # - hash()
1012
1018
  # -->
1019
+ # Returns the hash value.
1013
1020
  #
1014
1021
  def hash: () -> Integer
1015
1022
 
@@ -1017,6 +1024,7 @@ module URI
1017
1024
  # rdoc-file=lib/uri/generic.rb
1018
1025
  # - eql?(oth)
1019
1026
  # -->
1027
+ # Compares with *oth* for Hash.
1020
1028
  #
1021
1029
  def eql?: (URI::Generic oth) -> bool
1022
1030
 
@@ -32,8 +32,8 @@ module URI
32
32
  # The components should be provided either as an Array, or as a Hash with keys
33
33
  # formed by preceding the component names with a colon.
34
34
  #
35
- # If an Array is used, the components must be passed in the order `[userinfo,
36
- # host, port, path, query, fragment]`.
35
+ # If an Array is used, the components must be passed in the order
36
+ # <code>[userinfo, host, port, path, query, fragment]</code>.
37
37
  #
38
38
  # Example:
39
39
  #
@@ -38,8 +38,8 @@ module URI
38
38
  # The components should be provided either as an Array, or as a Hash with keys
39
39
  # formed by preceding the component names with a colon.
40
40
  #
41
- # If an Array is used, the components must be passed in the order `[host, port,
42
- # dn, attributes, scope, filter, extensions]`.
41
+ # If an Array is used, the components must be passed in the order <code>[host,
42
+ # port, dn, attributes, scope, filter, extensions]</code>.
43
43
  #
44
44
  # Example:
45
45
  #
@@ -15,13 +15,13 @@ module URI
15
15
  # Creates a new URI::MailTo object from components, with syntax checking.
16
16
  #
17
17
  # Components can be provided as an Array or Hash. If an Array is used, the
18
- # components must be supplied as `[to, headers]`.
18
+ # components must be supplied as <code>[to, headers]</code>.
19
19
  #
20
20
  # If a Hash is used, the keys are the component names preceded by colons.
21
21
  #
22
22
  # The headers can be supplied as a pre-encoded string, such as
23
- # `"subject=subscribe&cc=address"`, or as an Array of Arrays like `[['subject',
24
- # 'subscribe'], ['cc', 'address']]`.
23
+ # <code>"subject=subscribe&cc=address"</code>, or as an Array of Arrays like
24
+ # <code>[['subject', 'subscribe'], ['cc', 'address']]</code>.
25
25
  #
26
26
  # Examples:
27
27
  #