rbs 2.8.4 → 3.8.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (434) hide show
  1. checksums.yaml +4 -4
  2. data/.github/dependabot.yml +12 -4
  3. data/.github/workflows/comments.yml +11 -11
  4. data/.github/workflows/dependabot.yml +30 -0
  5. data/.github/workflows/ruby.yml +40 -49
  6. data/.github/workflows/typecheck.yml +36 -0
  7. data/.github/workflows/windows.yml +28 -0
  8. data/.gitignore +1 -0
  9. data/.rubocop.yml +42 -2
  10. data/CHANGELOG.md +845 -1
  11. data/README.md +64 -4
  12. data/Rakefile +198 -18
  13. data/Steepfile +11 -11
  14. data/config.yml +311 -0
  15. data/core/array.rbs +2189 -1914
  16. data/core/basic_object.rbs +59 -84
  17. data/core/binding.rbs +7 -69
  18. data/core/builtin.rbs +210 -11
  19. data/core/class.rbs +37 -0
  20. data/core/comparable.rbs +23 -25
  21. data/core/complex.rbs +449 -227
  22. data/core/constants.rbs +29 -21
  23. data/core/data.rbs +415 -0
  24. data/core/dir.rbs +698 -415
  25. data/core/encoding.rbs +468 -843
  26. data/core/enumerable.rbs +495 -455
  27. data/core/enumerator/product.rbs +92 -0
  28. data/core/enumerator.rbs +106 -9
  29. data/core/env.rbs +1 -1
  30. data/core/errno.rbs +506 -605
  31. data/core/errors.rbs +15 -17
  32. data/core/exception.rbs +361 -145
  33. data/core/false_class.rbs +39 -26
  34. data/core/fiber.rbs +121 -14
  35. data/core/file.rbs +1262 -320
  36. data/core/file_test.rbs +62 -45
  37. data/core/float.rbs +187 -208
  38. data/core/gc.rbs +446 -196
  39. data/core/global_variables.rbs +29 -29
  40. data/core/hash.rbs +242 -349
  41. data/core/integer.rbs +246 -308
  42. data/core/io/buffer.rbs +373 -122
  43. data/core/io/wait.rbs +29 -17
  44. data/core/io.rbs +1881 -1518
  45. data/core/kernel.rbs +2116 -1538
  46. data/core/marshal.rbs +24 -14
  47. data/core/match_data.rbs +413 -166
  48. data/core/math.rbs +531 -291
  49. data/core/method.rbs +101 -32
  50. data/core/module.rbs +228 -64
  51. data/core/nil_class.rbs +106 -47
  52. data/core/numeric.rbs +206 -292
  53. data/core/object.rbs +73 -1168
  54. data/core/object_space/weak_key_map.rbs +166 -0
  55. data/core/object_space.rbs +5 -3
  56. data/core/proc.rbs +280 -39
  57. data/core/process.rbs +1318 -658
  58. data/core/ractor.rbs +200 -134
  59. data/core/random.rbs +21 -4
  60. data/core/range.rbs +309 -153
  61. data/core/rational.rbs +4 -12
  62. data/core/rb_config.rbs +64 -43
  63. data/core/rbs/unnamed/argf.rbs +411 -147
  64. data/core/rbs/unnamed/env_class.rbs +137 -253
  65. data/core/rbs/unnamed/random.rbs +49 -26
  66. data/core/refinement.rbs +16 -1
  67. data/core/regexp.rbs +1568 -862
  68. data/core/ruby_vm.rbs +719 -7
  69. data/core/rubygems/config_file.rbs +3 -0
  70. data/core/rubygems/errors.rbs +69 -6
  71. data/core/rubygems/rubygems.rbs +71 -17
  72. data/core/rubygems/version.rbs +11 -7
  73. data/{stdlib/set/0 → core}/set.rbs +80 -91
  74. data/core/signal.rbs +14 -8
  75. data/core/string.rbs +1732 -1607
  76. data/core/struct.rbs +467 -95
  77. data/core/symbol.rbs +215 -245
  78. data/core/thread.rbs +133 -89
  79. data/core/thread_group.rbs +9 -9
  80. data/core/time.rbs +1141 -841
  81. data/core/trace_point.rbs +181 -121
  82. data/core/true_class.rbs +58 -32
  83. data/core/unbound_method.rbs +103 -30
  84. data/core/warning.rbs +50 -5
  85. data/docs/CONTRIBUTING.md +1 -1
  86. data/docs/architecture.md +110 -0
  87. data/docs/collection.md +59 -5
  88. data/docs/data_and_struct.md +86 -0
  89. data/docs/gem.md +57 -0
  90. data/docs/rbs_by_example.md +16 -35
  91. data/docs/repo.md +1 -1
  92. data/docs/sigs.md +7 -7
  93. data/docs/stdlib.md +63 -5
  94. data/docs/syntax.md +255 -61
  95. data/docs/tools.md +1 -0
  96. data/ext/rbs_extension/extconf.rb +10 -0
  97. data/ext/rbs_extension/lexer.c +1741 -1548
  98. data/ext/rbs_extension/lexer.h +11 -1
  99. data/ext/rbs_extension/lexer.re +12 -6
  100. data/ext/rbs_extension/lexstate.c +26 -3
  101. data/ext/rbs_extension/location.c +119 -111
  102. data/ext/rbs_extension/location.h +32 -7
  103. data/ext/rbs_extension/main.c +3 -0
  104. data/ext/rbs_extension/parser.c +883 -481
  105. data/ext/rbs_extension/parserstate.c +65 -25
  106. data/ext/rbs_extension/parserstate.h +13 -3
  107. data/ext/rbs_extension/rbs_extension.h +1 -10
  108. data/ext/rbs_extension/unescape.c +7 -47
  109. data/goodcheck.yml +2 -2
  110. data/{ext/rbs_extension → include/rbs}/constants.h +26 -15
  111. data/include/rbs/ruby_objs.h +72 -0
  112. data/include/rbs.h +7 -0
  113. data/lib/rbs/annotate/annotations.rb +3 -3
  114. data/lib/rbs/annotate/formatter.rb +13 -3
  115. data/lib/rbs/annotate/rdoc_annotator.rb +1 -1
  116. data/lib/rbs/annotate/rdoc_source.rb +12 -3
  117. data/lib/rbs/ast/declarations.rb +85 -2
  118. data/lib/rbs/ast/directives.rb +39 -0
  119. data/lib/rbs/ast/members.rb +49 -15
  120. data/lib/rbs/ast/type_param.rb +104 -15
  121. data/lib/rbs/ast/visitor.rb +137 -0
  122. data/lib/rbs/buffer.rb +5 -0
  123. data/lib/rbs/cli/colored_io.rb +48 -0
  124. data/lib/rbs/cli/diff.rb +83 -0
  125. data/lib/rbs/cli/validate.rb +356 -0
  126. data/lib/rbs/cli.rb +253 -143
  127. data/lib/rbs/collection/cleaner.rb +8 -1
  128. data/lib/rbs/collection/config/lockfile.rb +92 -0
  129. data/lib/rbs/collection/config/lockfile_generator.rb +154 -65
  130. data/lib/rbs/collection/config.rb +19 -46
  131. data/lib/rbs/collection/installer.rb +12 -13
  132. data/lib/rbs/collection/sources/base.rb +2 -2
  133. data/lib/rbs/collection/sources/git.rb +146 -69
  134. data/lib/rbs/collection/sources/local.rb +81 -0
  135. data/lib/rbs/collection/sources/rubygems.rb +10 -12
  136. data/lib/rbs/collection/sources/stdlib.rb +14 -13
  137. data/lib/rbs/collection/sources.rb +15 -2
  138. data/lib/rbs/collection.rb +2 -1
  139. data/lib/rbs/definition.rb +13 -16
  140. data/lib/rbs/definition_builder/ancestor_builder.rb +100 -24
  141. data/lib/rbs/definition_builder/method_builder.rb +4 -4
  142. data/lib/rbs/definition_builder.rb +489 -584
  143. data/lib/rbs/diff.rb +125 -0
  144. data/lib/rbs/environment/use_map.rb +77 -0
  145. data/lib/rbs/environment.rb +406 -105
  146. data/lib/rbs/environment_loader.rb +48 -44
  147. data/lib/rbs/environment_walker.rb +1 -1
  148. data/lib/rbs/errors.rb +175 -56
  149. data/lib/rbs/file_finder.rb +28 -0
  150. data/lib/rbs/location_aux.rb +8 -7
  151. data/lib/rbs/locator.rb +37 -15
  152. data/lib/rbs/method_type.rb +23 -0
  153. data/lib/rbs/namespace.rb +1 -0
  154. data/lib/rbs/parser/lex_result.rb +15 -0
  155. data/lib/rbs/parser/token.rb +23 -0
  156. data/lib/rbs/parser_aux.rb +22 -13
  157. data/lib/rbs/prototype/helpers.rb +48 -22
  158. data/lib/rbs/prototype/node_usage.rb +99 -0
  159. data/lib/rbs/prototype/rb.rb +125 -31
  160. data/lib/rbs/prototype/rbi.rb +49 -36
  161. data/lib/rbs/prototype/runtime/helpers.rb +59 -0
  162. data/lib/rbs/prototype/runtime/reflection.rb +19 -0
  163. data/lib/rbs/prototype/runtime/value_object_generator.rb +279 -0
  164. data/lib/rbs/prototype/runtime.rb +273 -159
  165. data/lib/rbs/resolver/constant_resolver.rb +24 -8
  166. data/lib/rbs/resolver/type_name_resolver.rb +41 -7
  167. data/lib/rbs/sorter.rb +153 -123
  168. data/lib/rbs/substitution.rb +19 -0
  169. data/lib/rbs/subtractor.rb +201 -0
  170. data/lib/rbs/test/errors.rb +24 -11
  171. data/lib/rbs/test/guaranteed.rb +30 -0
  172. data/lib/rbs/test/hook.rb +45 -40
  173. data/lib/rbs/test/setup.rb +1 -1
  174. data/lib/rbs/test/tester.rb +1 -1
  175. data/lib/rbs/test/type_check.rb +120 -23
  176. data/lib/rbs/test.rb +6 -3
  177. data/lib/rbs/type_alias_dependency.rb +13 -3
  178. data/lib/rbs/type_alias_regularity.rb +21 -14
  179. data/lib/rbs/type_name.rb +18 -13
  180. data/lib/rbs/types.rb +352 -18
  181. data/lib/rbs/unit_test/convertibles.rb +176 -0
  182. data/lib/rbs/unit_test/spy.rb +136 -0
  183. data/lib/rbs/unit_test/type_assertions.rb +341 -0
  184. data/lib/rbs/unit_test/with_aliases.rb +143 -0
  185. data/lib/rbs/unit_test.rb +6 -0
  186. data/lib/rbs/validator.rb +55 -30
  187. data/lib/rbs/variance_calculator.rb +26 -23
  188. data/lib/rbs/vendorer.rb +3 -3
  189. data/lib/rbs/version.rb +1 -1
  190. data/lib/rbs/writer.rb +69 -22
  191. data/lib/rbs.rb +7 -2
  192. data/lib/rdoc/discover.rb +1 -1
  193. data/lib/rdoc_plugin/parser.rb +5 -5
  194. data/rbs.gemspec +12 -2
  195. data/schema/decls.json +1 -1
  196. data/schema/members.json +15 -10
  197. data/sig/ancestor_builder.rbs +4 -0
  198. data/sig/ancestor_graph.rbs +22 -2
  199. data/sig/annotate/formatter.rbs +2 -2
  200. data/sig/annotate/rdoc_annotater.rbs +1 -1
  201. data/sig/cli/colored_io.rbs +15 -0
  202. data/sig/cli/diff.rbs +21 -0
  203. data/sig/cli/validate.rbs +43 -0
  204. data/sig/cli.rbs +4 -0
  205. data/sig/collection/config/lockfile.rbs +74 -0
  206. data/sig/collection/config/lockfile_generator.rbs +66 -0
  207. data/sig/collection/config.rbs +5 -48
  208. data/sig/collection/installer.rbs +1 -1
  209. data/sig/collection/sources.rbs +105 -33
  210. data/sig/constant.rbs +1 -1
  211. data/sig/declarations.rbs +42 -3
  212. data/sig/definition.rbs +26 -10
  213. data/sig/definition_builder.rbs +103 -81
  214. data/sig/diff.rbs +28 -0
  215. data/sig/directives.rbs +61 -0
  216. data/sig/environment.rbs +175 -29
  217. data/sig/environment_loader.rbs +20 -18
  218. data/sig/errors.rbs +123 -2
  219. data/sig/file_finder.rbs +28 -0
  220. data/sig/location.rbs +0 -3
  221. data/sig/locator.rbs +14 -2
  222. data/sig/manifest.yaml +0 -1
  223. data/sig/members.rbs +32 -9
  224. data/sig/method_types.rbs +10 -4
  225. data/sig/namespace.rbs +2 -3
  226. data/sig/parser.rbs +55 -16
  227. data/sig/prototype/helpers.rbs +4 -0
  228. data/sig/prototype/node_usage.rbs +20 -0
  229. data/sig/prototype/rb.rbs +10 -2
  230. data/sig/prototype/rbi.rbs +2 -0
  231. data/sig/prototype/runtime.rbs +182 -0
  232. data/sig/rbs.rbs +1 -1
  233. data/sig/rdoc/rbs.rbs +4 -0
  234. data/sig/repository.rbs +7 -5
  235. data/sig/resolver/constant_resolver.rbs +3 -4
  236. data/sig/resolver/context.rbs +1 -1
  237. data/sig/resolver/type_name_resolver.rbs +5 -1
  238. data/sig/shims/bundler.rbs +38 -0
  239. data/sig/shims/rubygems.rbs +19 -0
  240. data/sig/sorter.rbs +23 -5
  241. data/sig/substitution.rbs +6 -0
  242. data/sig/subtractor.rbs +37 -0
  243. data/sig/test/errors.rbs +52 -0
  244. data/sig/test/guranteed.rbs +9 -0
  245. data/sig/test/type_check.rbs +19 -0
  246. data/sig/test.rbs +82 -0
  247. data/sig/type_alias_dependency.rbs +31 -0
  248. data/sig/type_alias_regularity.rbs +12 -6
  249. data/sig/type_param.rbs +45 -9
  250. data/sig/typename.rbs +8 -5
  251. data/sig/types.rbs +119 -12
  252. data/sig/unit_test/convertibles.rbs +154 -0
  253. data/sig/unit_test/spy.rbs +28 -0
  254. data/sig/unit_test/type_assertions.rbs +194 -0
  255. data/sig/unit_test/with_aliases.rbs +136 -0
  256. data/sig/use_map.rbs +35 -0
  257. data/sig/validator.rbs +12 -5
  258. data/sig/variance_calculator.rbs +3 -1
  259. data/sig/vendorer.rbs +1 -1
  260. data/sig/visitor.rbs +47 -0
  261. data/sig/writer.rbs +6 -2
  262. data/src/constants.c +153 -0
  263. data/src/ruby_objs.c +793 -0
  264. data/stdlib/base64/0/base64.rbs +298 -45
  265. data/stdlib/benchmark/0/benchmark.rbs +12 -3
  266. data/stdlib/bigdecimal/0/big_decimal.rbs +62 -198
  267. data/stdlib/cgi/0/core.rbs +68 -15
  268. data/stdlib/cgi/0/manifest.yaml +1 -0
  269. data/stdlib/coverage/0/coverage.rbs +50 -11
  270. data/stdlib/csv/0/csv.rbs +90 -119
  271. data/stdlib/csv/0/manifest.yaml +1 -0
  272. data/stdlib/date/0/date.rbs +806 -735
  273. data/stdlib/date/0/date_time.rbs +70 -211
  274. data/stdlib/dbm/0/dbm.rbs +0 -2
  275. data/stdlib/delegate/0/delegator.rbs +184 -0
  276. data/stdlib/delegate/0/kernel.rbs +47 -0
  277. data/stdlib/delegate/0/simple_delegator.rbs +96 -0
  278. data/stdlib/did_you_mean/0/did_you_mean.rbs +3 -8
  279. data/stdlib/digest/0/digest.rbs +48 -35
  280. data/stdlib/erb/0/erb.rbs +15 -39
  281. data/stdlib/etc/0/etc.rbs +174 -54
  282. data/stdlib/fileutils/0/fileutils.rbs +1234 -385
  283. data/stdlib/forwardable/0/forwardable.rbs +4 -4
  284. data/stdlib/io-console/0/io-console.rbs +82 -17
  285. data/stdlib/ipaddr/0/ipaddr.rbs +11 -6
  286. data/stdlib/json/0/json.rbs +434 -151
  287. data/stdlib/kconv/0/kconv.rbs +166 -0
  288. data/stdlib/logger/0/formatter.rbs +0 -2
  289. data/stdlib/logger/0/log_device.rbs +1 -3
  290. data/stdlib/logger/0/logger.rbs +465 -328
  291. data/stdlib/minitest/0/kernel.rbs +2 -2
  292. data/stdlib/minitest/0/minitest/abstract_reporter.rbs +4 -1
  293. data/stdlib/minitest/0/minitest/assertion.rbs +1 -0
  294. data/stdlib/minitest/0/minitest/assertions.rbs +58 -13
  295. data/stdlib/minitest/0/minitest/backtrace_filter.rbs +7 -0
  296. data/stdlib/minitest/0/minitest/bench_spec.rbs +8 -8
  297. data/stdlib/minitest/0/minitest/benchmark.rbs +17 -16
  298. data/stdlib/minitest/0/minitest/compress.rbs +13 -0
  299. data/stdlib/minitest/0/minitest/error_on_warning.rbs +3 -0
  300. data/stdlib/minitest/0/minitest/mock.rbs +9 -5
  301. data/stdlib/minitest/0/minitest/parallel/executor.rbs +4 -0
  302. data/stdlib/minitest/0/minitest/parallel/test/class_methods.rbs +0 -1
  303. data/stdlib/minitest/0/minitest/pride_io.rbs +8 -0
  304. data/stdlib/minitest/0/minitest/pride_lol.rbs +2 -0
  305. data/stdlib/minitest/0/minitest/progress_reporter.rbs +1 -1
  306. data/stdlib/minitest/0/minitest/reportable.rbs +2 -0
  307. data/stdlib/minitest/0/minitest/runnable.rbs +33 -1
  308. data/stdlib/minitest/0/minitest/spec/dsl/instance_methods.rbs +1 -1
  309. data/stdlib/minitest/0/minitest/spec/dsl.rbs +10 -6
  310. data/stdlib/minitest/0/minitest/spec.rbs +1 -1
  311. data/stdlib/minitest/0/minitest/statistics_reporter.rbs +5 -0
  312. data/stdlib/minitest/0/minitest/summary_reporter.rbs +0 -7
  313. data/stdlib/minitest/0/minitest/test/lifecycle_hooks.rbs +7 -7
  314. data/stdlib/minitest/0/minitest/test.rbs +7 -14
  315. data/stdlib/minitest/0/minitest/unexpected_error.rbs +2 -0
  316. data/stdlib/minitest/0/minitest/unexpected_warning.rbs +6 -0
  317. data/stdlib/minitest/0/minitest/unit.rbs +1 -2
  318. data/stdlib/minitest/0/minitest.rbs +41 -892
  319. data/stdlib/monitor/0/monitor.rbs +91 -10
  320. data/stdlib/mutex_m/0/mutex_m.rbs +0 -2
  321. data/stdlib/net-http/0/manifest.yaml +1 -1
  322. data/stdlib/net-http/0/net-http.rbs +3858 -964
  323. data/stdlib/net-protocol/0/manifest.yaml +2 -0
  324. data/stdlib/net-protocol/0/net-protocol.rbs +56 -0
  325. data/stdlib/net-smtp/0/manifest.yaml +2 -0
  326. data/stdlib/net-smtp/0/net-smtp.rbs +55 -0
  327. data/stdlib/nkf/0/nkf.rbs +35 -5
  328. data/stdlib/objspace/0/objspace.rbs +40 -18
  329. data/stdlib/observable/0/observable.rbs +217 -0
  330. data/stdlib/open-uri/0/manifest.yaml +4 -0
  331. data/stdlib/open-uri/0/open-uri.rbs +393 -0
  332. data/stdlib/open3/0/open3.rbs +147 -0
  333. data/stdlib/openssl/0/manifest.yaml +1 -0
  334. data/stdlib/openssl/0/openssl.rbs +681 -316
  335. data/stdlib/optparse/0/optparse.rbs +100 -65
  336. data/stdlib/pathname/0/pathname.rbs +24 -15
  337. data/stdlib/pp/0/manifest.yaml +2 -0
  338. data/stdlib/pp/0/pp.rbs +300 -0
  339. data/stdlib/prettyprint/0/prettyprint.rbs +2 -6
  340. data/stdlib/pstore/0/pstore.rbs +370 -156
  341. data/stdlib/psych/0/core_ext.rbs +12 -0
  342. data/stdlib/{yaml → psych}/0/dbm.rbs +3 -3
  343. data/stdlib/psych/0/manifest.yaml +3 -0
  344. data/stdlib/psych/0/psych.rbs +402 -0
  345. data/stdlib/{yaml → psych}/0/store.rbs +2 -2
  346. data/stdlib/pty/0/pty.rbs +63 -11
  347. data/stdlib/rdoc/0/code_object.rbs +51 -0
  348. data/stdlib/rdoc/0/comment.rbs +59 -0
  349. data/stdlib/rdoc/0/context.rbs +153 -0
  350. data/stdlib/rdoc/0/markup.rbs +117 -0
  351. data/stdlib/rdoc/0/parser.rbs +56 -0
  352. data/stdlib/rdoc/0/rdoc.rbs +13 -380
  353. data/stdlib/rdoc/0/ri.rbs +17 -0
  354. data/stdlib/rdoc/0/store.rbs +48 -0
  355. data/stdlib/rdoc/0/top_level.rbs +97 -0
  356. data/stdlib/resolv/0/resolv.rbs +16 -79
  357. data/stdlib/ripper/0/ripper.rbs +1648 -0
  358. data/stdlib/securerandom/0/securerandom.rbs +7 -2
  359. data/stdlib/shellwords/0/shellwords.rbs +11 -12
  360. data/stdlib/singleton/0/singleton.rbs +0 -3
  361. data/stdlib/socket/0/addrinfo.rbs +13 -18
  362. data/stdlib/socket/0/basic_socket.rbs +5 -10
  363. data/stdlib/socket/0/ip_socket.rbs +0 -2
  364. data/stdlib/socket/0/socket.rbs +77 -46
  365. data/stdlib/socket/0/tcp_server.rbs +0 -5
  366. data/stdlib/socket/0/tcp_socket.rbs +36 -3
  367. data/stdlib/socket/0/udp_socket.rbs +4 -5
  368. data/stdlib/socket/0/unix_server.rbs +0 -5
  369. data/stdlib/socket/0/unix_socket.rbs +2 -4
  370. data/{core/string_io.rbs → stdlib/stringio/0/stringio.rbs} +188 -107
  371. data/stdlib/strscan/0/string_scanner.rbs +1269 -425
  372. data/stdlib/tempfile/0/tempfile.rbs +224 -61
  373. data/stdlib/time/0/time.rbs +48 -35
  374. data/stdlib/timeout/0/timeout.rbs +17 -8
  375. data/stdlib/tmpdir/0/tmpdir.rbs +10 -3
  376. data/stdlib/tsort/0/tsort.rbs +0 -4
  377. data/stdlib/uri/0/common.rbs +271 -144
  378. data/stdlib/uri/0/file.rbs +5 -0
  379. data/stdlib/uri/0/ftp.rbs +1 -1
  380. data/stdlib/uri/0/generic.rbs +26 -22
  381. data/stdlib/uri/0/http.rbs +4 -4
  382. data/stdlib/uri/0/ldap.rbs +1 -1
  383. data/stdlib/uri/0/mailto.rbs +84 -0
  384. data/stdlib/uri/0/rfc2396_parser.rbs +3 -0
  385. data/stdlib/yaml/0/manifest.yaml +1 -2
  386. data/stdlib/yaml/0/yaml.rbs +1 -199
  387. data/stdlib/zlib/0/buf_error.rbs +10 -0
  388. data/stdlib/zlib/0/data_error.rbs +10 -0
  389. data/stdlib/zlib/0/deflate.rbs +210 -0
  390. data/stdlib/zlib/0/error.rbs +20 -0
  391. data/stdlib/zlib/0/gzip_file/crc_error.rbs +12 -0
  392. data/stdlib/zlib/0/gzip_file/error.rbs +23 -0
  393. data/stdlib/zlib/0/gzip_file/length_error.rbs +12 -0
  394. data/stdlib/zlib/0/gzip_file/no_footer.rbs +11 -0
  395. data/stdlib/zlib/0/gzip_file.rbs +156 -0
  396. data/stdlib/zlib/0/gzip_reader.rbs +293 -0
  397. data/stdlib/zlib/0/gzip_writer.rbs +166 -0
  398. data/stdlib/zlib/0/inflate.rbs +180 -0
  399. data/stdlib/zlib/0/mem_error.rbs +10 -0
  400. data/stdlib/zlib/0/need_dict.rbs +13 -0
  401. data/stdlib/zlib/0/stream_end.rbs +11 -0
  402. data/stdlib/zlib/0/stream_error.rbs +11 -0
  403. data/stdlib/zlib/0/version_error.rbs +11 -0
  404. data/stdlib/zlib/0/zlib.rbs +1 -3
  405. data/stdlib/zlib/0/zstream.rbs +200 -0
  406. data/templates/include/rbs/constants.h.erb +20 -0
  407. data/templates/include/rbs/ruby_objs.h.erb +10 -0
  408. data/templates/src/constants.c.erb +36 -0
  409. data/templates/src/ruby_objs.c.erb +27 -0
  410. data/templates/template.rb +122 -0
  411. metadata +136 -36
  412. data/Gemfile +0 -33
  413. data/Gemfile.lock +0 -118
  414. data/core/deprecated.rbs +0 -9
  415. data/ext/rbs_extension/constants.c +0 -135
  416. data/ext/rbs_extension/ruby_objs.c +0 -525
  417. data/ext/rbs_extension/ruby_objs.h +0 -43
  418. data/lib/rbs/constant_table.rb +0 -167
  419. data/lib/rbs/parser_compat/lexer_error.rb +0 -6
  420. data/lib/rbs/parser_compat/located_value.rb +0 -7
  421. data/lib/rbs/parser_compat/semantics_error.rb +0 -6
  422. data/lib/rbs/parser_compat/syntax_error.rb +0 -6
  423. data/lib/rbs/test/spy.rb +0 -6
  424. data/lib/rbs/type_name_resolver.rb +0 -67
  425. data/sig/constant_table.rbs +0 -30
  426. data/sig/shims/abstract_syntax_tree.rbs +0 -25
  427. data/sig/shims/pp.rbs +0 -3
  428. data/sig/shims/ripper.rbs +0 -8
  429. data/sig/shims.rbs +0 -69
  430. data/sig/type_name_resolver.rbs +0 -26
  431. data/stdlib/minitest/0/manifest.yaml +0 -2
  432. data/stdlib/prime/0/integer-extension.rbs +0 -41
  433. data/stdlib/prime/0/manifest.yaml +0 -2
  434. data/stdlib/prime/0/prime.rbs +0 -372
@@ -4,6 +4,8 @@ module RBS
4
4
  module Collection
5
5
  class Config
6
6
  class LockfileGenerator
7
+ ALUMNI_STDLIBS = { "mutex_m" => ">= 0.3.0" }
8
+
7
9
  class GemfileLockMismatchError < StandardError
8
10
  def initialize(expected:, actual:)
9
11
  @expected = expected
@@ -20,105 +22,192 @@ module RBS
20
22
  end
21
23
  end
22
24
 
23
- attr_reader :config, :lock, :gemfile_lock, :lock_path
25
+ attr_reader :config, :lockfile, :definition, :existing_lockfile, :gem_hash, :gem_entries
24
26
 
25
- def self.generate(config_path:, gemfile_lock_path:, with_lockfile: true)
26
- new(config_path: config_path, gemfile_lock_path: gemfile_lock_path, with_lockfile: with_lockfile).generate
27
+ def self.generate(config:, definition:, with_lockfile: true)
28
+ generator = new(config: config, definition: definition, with_lockfile: with_lockfile)
29
+ generator.generate
30
+ generator.lockfile
27
31
  end
28
32
 
29
- def initialize(config_path:, gemfile_lock_path:, with_lockfile:)
30
- @config = Config.from_path config_path
31
- @lock_path = Config.to_lockfile_path(config_path)
32
- @lock = Config.from_path(lock_path) if lock_path.exist? && with_lockfile
33
- @gemfile_lock = Bundler::LockfileParser.new(gemfile_lock_path.read)
34
- @gem_queue = []
33
+ def initialize(config:, definition:, with_lockfile:)
34
+ @config = config
35
+
36
+ @gem_entries = config.gems.each.with_object({}) do |entry, hash| #$ Hash[String, gem_entry?]
37
+ name = entry["name"]
38
+ hash[name] = entry
39
+ end
40
+
41
+ lockfile_path = Config.to_lockfile_path(config.config_path)
42
+ lockfile_dir = lockfile_path.parent
43
+
44
+ @lockfile = Lockfile.new(
45
+ lockfile_path: lockfile_path,
46
+ path: config.repo_path_data,
47
+ gemfile_lock_path: definition.lockfile.relative_path_from(lockfile_dir)
48
+ )
35
49
 
36
- validate_gemfile_lock_path!(lock: lock, gemfile_lock_path: gemfile_lock_path)
50
+ if with_lockfile && lockfile_path.file?
51
+ @existing_lockfile = Lockfile.from_lockfile(lockfile_path: lockfile_path, data: YAML.load_file(lockfile_path.to_s))
52
+ validate_gemfile_lock_path!(lock: @existing_lockfile, gemfile_lock_path: definition.lockfile)
53
+ end
37
54
 
38
- config.gemfile_lock_path = gemfile_lock_path
55
+ @definition = definition
56
+ @gem_hash = definition.locked_gems.specs.each.with_object({}) do |spec, hash| #$ Hash[String, Bundler::LazySpecification]
57
+ hash[spec.name] = spec
58
+ end
39
59
  end
40
60
 
41
61
  def generate
42
62
  config.gems.each do |gem|
43
- @gem_queue.push({ name: gem['name'], version: gem['version'] })
63
+ case
64
+ when gem.dig("source", "type") == "stdlib"
65
+ unless gem.fetch("ignore", false)
66
+ assign_stdlib(name: gem["name"])
67
+ end
68
+ else
69
+ assign_gem(name: gem["name"], version: gem["version"])
70
+ end
44
71
  end
45
72
 
46
- gemfile_lock_gems do |spec|
47
- @gem_queue.push({ name: spec.name, version: spec.version })
48
- end
73
+ definition.dependencies.each do |dep|
74
+ if dep.autorequire && dep.autorequire.empty?
75
+ next
76
+ end
49
77
 
50
- while gem = @gem_queue.shift
51
- assign_gem(**gem)
78
+ if spec = gem_hash[dep.name]
79
+ assign_gem(name: dep.name, version: spec.version, skip: dep.source.is_a?(Bundler::Source::Gemspec))
80
+ end
52
81
  end
53
- remove_ignored_gems!
54
82
 
55
- config.dump_to(lock_path)
56
- config
83
+ lockfile.lockfile_path.write(YAML.dump(lockfile.to_lockfile))
57
84
  end
58
85
 
59
86
  private def validate_gemfile_lock_path!(lock:, gemfile_lock_path:)
60
87
  return unless lock
61
- return unless lock.gemfile_lock_path
62
- return if lock.gemfile_lock_path == gemfile_lock_path
63
-
64
- raise GemfileLockMismatchError.new(expected: lock.gemfile_lock_path, actual: gemfile_lock_path)
88
+ return unless lock.gemfile_lock_fullpath
89
+ unless File.realpath(lock.gemfile_lock_fullpath) == File.realpath(gemfile_lock_path)
90
+ raise GemfileLockMismatchError.new(expected: lock.gemfile_lock_fullpath, actual: gemfile_lock_path)
91
+ end
65
92
  end
66
93
 
67
- private def assign_gem(name:, version:)
68
- # @type var locked: gem_entry?
69
- locked = lock&.gem(name)
70
- specified = config.gem(name)
71
-
72
- return if specified&.dig('ignore')
73
- return if specified&.dig('source') # skip if the source is already filled
74
-
75
- # If rbs_collection.lock.yaml contain the gem, use it.
76
- # Else find the gem from gem_collection.
77
- unless locked
78
- source = find_source(name: name)
79
- return unless source
80
-
81
- installed_version = version
82
- best_version = find_best_version(version: installed_version, versions: source.versions({ 'name' => name }))
83
-
84
- locked = {
85
- 'name' => name,
86
- 'version' => best_version.to_s,
87
- 'source' => source.to_lockfile,
88
- }
94
+ private def assign_gem(name:, version:, skip: false)
95
+ entry = gem_entries[name]
96
+ src_data = entry&.fetch("source", nil)
97
+ ignored = entry&.fetch("ignore", false)
98
+
99
+ return if ignored
100
+ return if lockfile.gems.key?(name)
101
+
102
+ unless skip
103
+ # @type var locked: Lockfile::library?
104
+
105
+ if existing_lockfile
106
+ locked = existing_lockfile.gems[name]
107
+ end
108
+
109
+ # If rbs_collection.lock.yaml contain the gem, use it.
110
+ # Else find the gem from gem_collection.
111
+ unless locked
112
+ source =
113
+ if src_data
114
+ Sources.from_config_entry(src_data, base_directory: config.config_path.dirname)
115
+ else
116
+ find_source(name: name)
117
+ end
118
+
119
+ if source.is_a?(Sources::Stdlib)
120
+ assign_stdlib(name: name)
121
+ return
122
+ end
123
+
124
+ if source
125
+ installed_version = version
126
+ best_version = find_best_version(version: installed_version, versions: source.versions(name))
127
+
128
+ locked = {
129
+ name: name,
130
+ version: best_version.to_s,
131
+ source: source,
132
+ }
133
+ end
134
+ end
135
+
136
+ if locked
137
+ lockfile.gems[name] = locked
138
+
139
+ begin
140
+ locked[:source].dependencies_of(locked[:name], locked[:version])&.each do |dep|
141
+ assign_stdlib(name: dep["name"], from_gem: name)
142
+ end
143
+ rescue
144
+ RBS.logger.warn "Cannot find `#{locked[:name]}-#{locked[:version]}` gem. Using incorrect Bundler context? (#{definition.lockfile})"
145
+ end
146
+ end
89
147
  end
90
148
 
91
- locked or raise
92
-
93
- upsert_gem specified, locked
94
- source = Sources.from_config_entry(locked['source'] || raise)
95
- source.dependencies_of(locked)&.each do |dep|
96
- @gem_queue.push({ name: dep['name'], version: nil} )
149
+ if spec = gem_hash.fetch(name, nil)
150
+ spec.dependencies.each do |dep|
151
+ if dep_spec = gem_hash[dep.name]
152
+ assign_gem(name: dep.name, version: dep_spec.version)
153
+ end
154
+ end
155
+ else
156
+ RBS.logger.warn "Cannot find `#{name}` gem. Using incorrect Bundler context? (#{definition.lockfile})"
97
157
  end
98
158
  end
99
159
 
100
- private def upsert_gem(old, new)
101
- if old
102
- old.merge! new
103
- else
104
- config.add_gem new
160
+ private def assign_stdlib(name:, from_gem: nil)
161
+ return if lockfile.gems.key?(name)
162
+
163
+ case name
164
+ when 'rubygems', 'set'
165
+ msg = "`#{name}` has been moved to core library, so it is always loaded. Remove explicit loading `#{name}`"
166
+ msg << " from `#{from_gem}`" if from_gem
167
+ msg << "."
168
+ return
169
+ when *ALUMNI_STDLIBS.keys
170
+ version = ALUMNI_STDLIBS.fetch(name)
171
+ if from_gem
172
+ # From `dependencies:` of a `manifest.yaml` of a gem
173
+ source = find_source(name: name) or raise
174
+ if source.is_a?(Sources::Stdlib)
175
+ RBS.logger.warn {
176
+ "`#{name}` is included in the RBS dependencies of `#{from_gem}`, but the type definition as a stdlib in rbs-gem is deprecated. Add `#{name}` (#{version}) to the dependency of your Ruby program to use the gem-bundled type definition."
177
+ }
178
+ else
179
+ RBS.logger.info {
180
+ "`#{name}` is included in the RBS dependencies of `#{from_gem}`, but the type definition as a stdlib in rbs-gem is deprecated. Delete `#{name}` from the RBS dependencies of `#{from_gem}`."
181
+ }
182
+ assign_gem(name: name, version: nil)
183
+ return
184
+ end
185
+ else
186
+ # From `gems:` of a `rbs_collection.yaml`
187
+ RBS.logger.warn {
188
+ "`#{name}` as a stdlib in rbs-gem is deprecated. Add `#{name}` (#{version}) to the dependency of your Ruby program to use the gem-bundled type definition."
189
+ }
190
+ end
105
191
  end
106
- end
107
192
 
108
- private def remove_ignored_gems!
109
- config.gems.reject! { |gem| gem['ignore'] }
110
- end
193
+ source = Sources::Stdlib.instance
194
+ lockfile.gems[name] = { name: name, version: "0", source: source }
195
+
196
+ unless source.has?(name, nil)
197
+ raise "Cannot find `#{name}` from standard libraries"
198
+ end
111
199
 
112
- private def gemfile_lock_gems(&block)
113
- gemfile_lock.specs.each do |spec|
114
- yield spec
200
+ if deps = source.dependencies_of(name, "0")
201
+ deps.each do |dep|
202
+ assign_stdlib(name: dep["name"], from_gem: name)
203
+ end
115
204
  end
116
205
  end
117
206
 
118
207
  private def find_source(name:)
119
208
  sources = config.sources
120
209
 
121
- sources.find { |c| c.has?({ 'name' => name, 'revision' => nil } ) }
210
+ sources.find { |c| c.has?(name, nil) }
122
211
  end
123
212
 
124
213
  private def find_best_version(version:, versions:)
@@ -16,6 +16,8 @@ module RBS
16
16
 
17
17
  PATH = Pathname('rbs_collection.yaml')
18
18
 
19
+ attr_reader :config_path, :data
20
+
19
21
  def self.find_config_path
20
22
  current = Pathname.pwd
21
23
 
@@ -29,19 +31,17 @@ module RBS
29
31
 
30
32
  # Generate a rbs lockfile from Gemfile.lock to `config_path`.
31
33
  # If `with_lockfile` is true, it respects existing rbs lockfile.
32
- def self.generate_lockfile(config_path:, gemfile_lock_path:, with_lockfile: true)
33
- LockfileGenerator.generate(config_path: config_path, gemfile_lock_path: gemfile_lock_path, with_lockfile: with_lockfile)
34
+ def self.generate_lockfile(config_path:, definition:, with_lockfile: true)
35
+ config = from_path(config_path)
36
+ lockfile = LockfileGenerator.generate(config: config, definition: definition, with_lockfile: with_lockfile)
37
+
38
+ [config, lockfile]
34
39
  end
35
40
 
36
41
  def self.from_path(path)
37
42
  new(YAML.load(path.read), config_path: path)
38
43
  end
39
44
 
40
- def self.lockfile_of(config_path)
41
- lock_path = to_lockfile_path(config_path)
42
- from_path lock_path if lock_path.exist?
43
- end
44
-
45
45
  def self.to_lockfile_path(config_path)
46
46
  config_path.sub_ext('.lock' + config_path.extname)
47
47
  end
@@ -51,57 +51,30 @@ module RBS
51
51
  @config_path = config_path
52
52
  end
53
53
 
54
- def add_gem(gem)
55
- gems << gem
56
- end
57
-
58
54
  def gem(gem_name)
59
55
  gems.find { |gem| gem['name'] == gem_name }
60
56
  end
61
57
 
62
58
  def repo_path
63
- @config_path.dirname.join @data['path']
59
+ @config_path.dirname.join repo_path_data
64
60
  end
65
61
 
66
- def sources
67
- @sources ||= (
68
- @data['sources']
69
- .map { |c| Sources.from_config_entry(c) }
70
- .push(Sources::Stdlib.instance)
71
- .push(Sources::Rubygems.instance)
72
- )
62
+ def repo_path_data
63
+ Pathname(@data["path"])
73
64
  end
74
65
 
75
- def dump_to(io)
76
- YAML.dump(@data, io)
66
+ def sources
67
+ @sources ||= [
68
+ Sources::Rubygems.instance,
69
+ *@data['sources'].map { |c| Sources.from_config_entry(c, base_directory: @config_path.dirname) },
70
+ Sources::Stdlib.instance
71
+ ]
77
72
  end
78
73
 
79
74
  def gems
80
- @data['gems'] ||= []
81
- end
82
-
83
- def gemfile_lock_path=(path)
84
- @data['gemfile_lock_path'] = path.relative_path_from(@config_path.dirname).to_s
85
- end
86
-
87
- def gemfile_lock_path
88
- path = @data['gemfile_lock_path']
89
- return unless path
90
- @config_path.dirname.join path
91
- end
92
-
93
- # It raises an error when there are non-available libraries
94
- def check_rbs_availability!
95
- raise CollectionNotAvailable unless repo_path.exist?
96
-
97
- gems.each do |gem|
98
- case gem['source']['type']
99
- when 'git'
100
- meta_path = repo_path.join(gem['name'], gem['version'], Sources::Git::METADATA_FILENAME)
101
- raise CollectionNotAvailable unless meta_path.exist?
102
- raise CollectionNotAvailable unless gem == YAML.load(meta_path.read)
103
- end
104
- end
75
+ @data['gems'] ||= (
76
+ [] #: Array[gem_entry]
77
+ )
105
78
  end
106
79
  end
107
80
  end
@@ -7,26 +7,25 @@ module RBS
7
7
  attr_reader :stdout
8
8
 
9
9
  def initialize(lockfile_path:, stdout: $stdout)
10
- @lockfile = Config.from_path(lockfile_path)
10
+ @lockfile = Config::Lockfile.from_lockfile(lockfile_path: lockfile_path, data: YAML.load_file(lockfile_path))
11
11
  @stdout = stdout
12
12
  end
13
13
 
14
14
  def install_from_lockfile
15
- install_to = lockfile.repo_path
15
+ install_to = lockfile.fullpath
16
16
  install_to.mkpath
17
- lockfile.gems.each do |config_entry|
18
- source_for(config_entry).install(dest: install_to, config_entry: config_entry, stdout: stdout)
17
+ selected = lockfile.gems.select do |name, gem|
18
+ gem[:source].has?(name, gem[:version])
19
19
  end
20
- stdout.puts "It's done! #{lockfile.gems.size} gems' RBSs now installed."
21
- end
22
-
23
- private def source_for(config_entry)
24
- @source_for ||= {}
25
- key = config_entry['source']
26
- unless key
27
- raise "Cannot find source of '#{config_entry['name']}' gem"
20
+ selected.each_value do |gem|
21
+ gem[:source].install(
22
+ dest: install_to,
23
+ name: gem[:name],
24
+ version: gem[:version],
25
+ stdout: stdout
26
+ )
28
27
  end
29
- @source_for[key] ||= Sources.from_config_entry(key)
28
+ CLI::ColoredIO.new(stdout: stdout).puts_green("It's done! #{selected.size} gems' RBSs now installed.")
30
29
  end
31
30
  end
32
31
  end
@@ -4,8 +4,8 @@ module RBS
4
4
  module Collection
5
5
  module Sources
6
6
  module Base
7
- def dependencies_of(config_entry)
8
- manifest = manifest_of(config_entry) or return
7
+ def dependencies_of(name, version)
8
+ manifest = manifest_of(name, version) or return
9
9
  manifest['dependencies']
10
10
  end
11
11
  end