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
@@ -13,64 +13,87 @@ module RBS
13
13
 
14
14
  class CommandError < StandardError; end
15
15
 
16
- attr_reader :name, :remote, :repo_dir
16
+ attr_reader :name, :remote, :repo_dir, :revision
17
17
 
18
18
  def initialize(name:, revision:, remote:, repo_dir:)
19
19
  @name = name
20
20
  @remote = remote
21
21
  @repo_dir = repo_dir || 'gems'
22
-
23
- setup!(revision: revision)
22
+ @revision = revision
23
+ @need_setup = true
24
24
  end
25
25
 
26
- def has?(config_entry)
27
- gem_name = config_entry['name']
28
- gem_repo_dir.join(gem_name).directory?
26
+ def has?(name, version)
27
+ setup! do
28
+ if version
29
+ (gems_versions[name] || Set[]).include?(version)
30
+ else
31
+ gems_versions.key?(name)
32
+ end
33
+ end
29
34
  end
30
35
 
31
- def versions(config_entry)
32
- gem_name = config_entry['name']
33
- gem_repo_dir.join(gem_name).glob('*/').map { |path| path.basename.to_s }
36
+ def versions(name)
37
+ setup! do
38
+ versions = gems_versions[name] or raise "Git source `#{name}` doesn't have `#{name}`"
39
+ versions.sort
40
+ end
34
41
  end
35
42
 
36
- def install(dest:, config_entry:, stdout:)
37
- gem_name = config_entry['name']
38
- version = config_entry['version'] or raise
39
- gem_dir = dest.join(gem_name, version)
43
+ def install(dest:, name:, version:, stdout:)
44
+ setup!()
45
+
46
+ gem_dir = dest.join(name, version)
40
47
 
41
- if gem_dir.directory?
42
- if (prev = YAML.load_file(gem_dir.join(METADATA_FILENAME))) == config_entry
43
- stdout.puts "Using #{format_config_entry(config_entry)}"
48
+ colored_io = CLI::ColoredIO.new(stdout: stdout)
49
+
50
+ case
51
+ when gem_dir.symlink?
52
+ colored_io.puts_green("Updating to #{format_config_entry(name, version)} from a local source")
53
+ gem_dir.unlink
54
+ _install(dest: dest, name: name, version: version)
55
+ when gem_dir.directory?
56
+ prev = load_metadata(dir: gem_dir)
57
+
58
+ if prev == metadata_content(name: name, version: version)
59
+ colored_io.puts "Using #{format_config_entry(name, version)}"
44
60
  else
45
- # @type var prev: RBS::Collection::Config::gem_entry
46
- stdout.puts "Updating to #{format_config_entry(config_entry)} from #{format_config_entry(prev)}"
61
+ colored_io.puts_green("Updating to #{format_config_entry(name, version)} from #{format_config_entry(prev["name"], prev["version"])}")
47
62
  FileUtils.remove_entry_secure(gem_dir.to_s)
48
- _install(dest: dest, config_entry: config_entry)
63
+ _install(dest: dest, name: name, version: version)
49
64
  end
65
+ when !gem_dir.exist?
66
+ colored_io.puts_green("Installing #{format_config_entry(name, version)}")
67
+ _install(dest: dest, name: name, version: version)
50
68
  else
51
- stdout.puts "Installing #{format_config_entry(config_entry)}"
52
- _install(dest: dest, config_entry: config_entry)
69
+ raise
53
70
  end
54
71
  end
55
72
 
56
- def manifest_of(config_entry)
57
- gem_name = config_entry['name']
58
- version = config_entry['version'] or raise
59
- gem_dir = gem_repo_dir.join(gem_name, version)
60
-
61
- manifest_path = gem_dir.join('manifest.yaml')
62
- YAML.safe_load(manifest_path.read) if manifest_path.exist?
73
+ def manifest_of(name, version)
74
+ setup! do
75
+ path = File.join(repo_dir, name, version, 'manifest.yaml')
76
+ content = git('cat-file', '-p', "#{resolved_revision}:#{path}")
77
+ YAML.safe_load(content)
78
+ rescue CommandError
79
+ if has?(name, version)
80
+ nil
81
+ else
82
+ raise
83
+ end
84
+ end
63
85
  end
64
86
 
65
- private def _install(dest:, config_entry:)
66
- gem_name = config_entry['name']
67
- version = config_entry['version'] or raise
68
- dest = dest.join(gem_name, version)
69
- dest.mkpath
70
- src = gem_repo_dir.join(gem_name, version)
87
+ private def _install(dest:, name:, version:)
88
+ # Should checkout that revision to support symlinks
89
+ git("reset", "--hard", resolved_revision)
90
+
91
+ dir = dest.join(name, version)
92
+ dir.mkpath
93
+ src = gem_repo_dir.join(name, version)
71
94
 
72
- cp_r(src, dest)
73
- dest.join(METADATA_FILENAME).write(YAML.dump(config_entry))
95
+ cp_r(src, dir)
96
+ write_metadata(dir: dir, name: name, version: version)
74
97
  end
75
98
 
76
99
  private def cp_r(src, dest)
@@ -97,47 +120,39 @@ module RBS
97
120
  }
98
121
  end
99
122
 
100
- private def format_config_entry(config_entry)
101
- name = config_entry['name']
102
- v = config_entry['version']
103
-
123
+ private def format_config_entry(name, version)
104
124
  rev = resolved_revision[0..10]
105
125
  desc = "#{name}@#{rev}"
106
126
 
107
- "#{name}:#{v} (#{desc})"
127
+ "#{name}:#{version} (#{desc})"
108
128
  end
109
129
 
110
- private def setup!(revision:)
111
- git_dir.mkpath
112
- if git_dir.join('.git').directory?
113
- if need_to_fetch?(revision)
114
- git 'fetch', 'origin'
115
- end
116
- else
117
- begin
118
- # git v2.27.0 or greater
119
- git 'clone', '--filter=blob:none', remote, git_dir.to_s, chdir: nil
120
- rescue CommandError
121
- git 'clone', remote, git_dir.to_s, chdir: nil
130
+ private def setup!
131
+ if @need_setup
132
+ git_dir.mkpath
133
+ if git_dir.join('.git').directory?
134
+ if need_to_fetch?(revision)
135
+ git 'fetch', 'origin'
136
+ end
137
+ else
138
+ begin
139
+ # git v2.27.0 or greater
140
+ git 'clone', '--filter=blob:none', remote, git_dir.to_s, chdir: nil
141
+ rescue CommandError
142
+ git 'clone', remote, git_dir.to_s, chdir: nil
143
+ end
122
144
  end
123
- end
124
145
 
125
- begin
126
- git 'checkout', "origin/#{revision}" # for branch name as `revision`
127
- rescue CommandError
128
- git 'checkout', revision
146
+ @need_setup = false
129
147
  end
148
+
149
+ yield if block_given?
130
150
  end
131
151
 
132
152
  private def need_to_fetch?(revision)
133
- return true unless revision.match?(/\A[a-f0-9]{40}\z/)
153
+ return true unless commit_hash?
134
154
 
135
- begin
136
- git('cat-file', '-e', revision)
137
- false
138
- rescue CommandError
139
- true
140
- end
155
+ !git?('cat-file', '-e', revision)
141
156
  end
142
157
 
143
158
  private def git_dir
@@ -154,18 +169,31 @@ module RBS
154
169
  git_dir.join @repo_dir
155
170
  end
156
171
 
157
- private def resolved_revision
158
- @resolved_revision ||= resolve_revision
172
+ def resolved_revision
173
+ @resolved_revision ||=
174
+ begin
175
+ if commit_hash?
176
+ revision
177
+ else
178
+ setup! { git('rev-parse', "refs/remotes/origin/#{revision}").chomp }
179
+ end
180
+ end
159
181
  end
160
182
 
161
- private def resolve_revision
162
- git('rev-parse', 'HEAD').chomp
183
+ private def commit_hash?
184
+ revision.match?(/\A[a-f0-9]{40}\z/)
163
185
  end
164
186
 
165
187
  private def git(*cmd, **opt)
166
188
  sh! 'git', *cmd, **opt
167
189
  end
168
190
 
191
+ private def git?(*cmd, **opt)
192
+ git(*cmd, **opt)
193
+ rescue CommandError
194
+ nil
195
+ end
196
+
169
197
  private def sh!(*cmd, **opt)
170
198
  RBS.logger.debug "$ #{cmd.join(' ')}"
171
199
  opt = { chdir: git_dir }.merge(opt).compact
@@ -175,6 +203,55 @@ module RBS
175
203
  out
176
204
  end
177
205
  end
206
+
207
+ def metadata_content(name:, version:)
208
+ {
209
+ "name" => name,
210
+ "version" => version,
211
+ "source" => to_lockfile
212
+ }
213
+ end
214
+
215
+ def write_metadata(dir:, name:, version:)
216
+ dir.join(METADATA_FILENAME).write(
217
+ YAML.dump(
218
+ metadata_content(name: name, version: version)
219
+ )
220
+ )
221
+ end
222
+
223
+ def load_metadata(dir:)
224
+ # @type var content: Hash[String, untyped]
225
+ content = YAML.load_file(dir.join(METADATA_FILENAME).to_s)
226
+ _ = content.slice("name", "version", "source")
227
+ end
228
+
229
+ private def gems_versions
230
+ @gems_versions ||= begin
231
+ repo_path = Pathname(repo_dir)
232
+
233
+ paths = git('ls-tree', '--full-tree', '-dr', '--name-only', '-z', resolved_revision, File.join(repo_dir, "")).split("\0").map {|line| Pathname(line) }
234
+
235
+ # @type var versions: Hash[String, Set[String]]
236
+ versions = {}
237
+
238
+ paths.each do |full_path|
239
+ path = full_path.relative_path_from(repo_path)
240
+
241
+ gem_name, version = path.descend.take(2)
242
+
243
+ if gem_name
244
+ versions[gem_name.to_s] ||= Set[]
245
+
246
+ if version && !version.basename.to_s.start_with?('_')
247
+ versions[gem_name.to_s] << version.basename.to_s
248
+ end
249
+ end
250
+ end
251
+
252
+ versions
253
+ end
254
+ end
178
255
  end
179
256
  end
180
257
  end
@@ -0,0 +1,81 @@
1
+ # frozen_string_literal: true
2
+
3
+ module RBS
4
+ module Collection
5
+ module Sources
6
+ class Local
7
+ include Base
8
+
9
+ attr_reader :path, :full_path
10
+
11
+ def initialize(path:, base_directory:)
12
+ # TODO: resolve relative path from dir of rbs_collection.yaml
13
+ @path = Pathname(path)
14
+ @full_path = base_directory / path
15
+ end
16
+
17
+ def has?(name, version)
18
+ if version
19
+ @full_path.join(name, version).directory?
20
+ else
21
+ not versions(name).empty?
22
+ end
23
+ end
24
+
25
+ def versions(name)
26
+ @full_path.join(name).glob('*/').map { |path| path.basename.to_s }
27
+ end
28
+
29
+ # Create a symlink instead of copying file to refer files in @path.
30
+ # By avoiding copying RBS files, the users do not need re-run `rbs collection install`
31
+ # when the RBS files are updated.
32
+ def install(dest:, name:, version:, stdout:)
33
+ from = @full_path.join(name, version)
34
+ gem_dir = dest.join(name, version)
35
+
36
+ colored_io = CLI::ColoredIO.new(stdout: stdout)
37
+
38
+ case
39
+ when gem_dir.symlink? && gem_dir.readlink == from
40
+ colored_io.puts "Using #{name}:#{version} (#{from})"
41
+ when gem_dir.symlink?
42
+ prev = gem_dir.readlink
43
+ gem_dir.unlink
44
+ _install(from, dest.join(name, version))
45
+ colored_io.puts_green("Updating #{name}:#{version} to #{from} from #{prev}")
46
+ when gem_dir.directory?
47
+ # TODO: Show version of git source
48
+ FileUtils.remove_entry_secure(gem_dir.to_s)
49
+ _install(from, dest.join(name, version))
50
+ colored_io.puts_green("Updating #{name}:#{version} from git source")
51
+ when !gem_dir.exist?
52
+ _install(from, dest.join(name, version))
53
+ colored_io.puts_green("Installing #{name}:#{version} (#{from})")
54
+ else
55
+ raise
56
+ end
57
+ end
58
+
59
+ private def _install(src, dst)
60
+ dst.dirname.mkpath
61
+ File.symlink(src, dst)
62
+ end
63
+
64
+ def manifest_of(name, version)
65
+ gem_dir = @full_path.join(name, version)
66
+ raise unless gem_dir.exist?
67
+
68
+ manifest_path = gem_dir.join('manifest.yaml')
69
+ YAML.safe_load(manifest_path.read) if manifest_path.exist?
70
+ end
71
+
72
+ def to_lockfile
73
+ {
74
+ 'type' => 'local',
75
+ 'path' => @path.to_s,
76
+ }
77
+ end
78
+ end
79
+ end
80
+ end
81
+ end
@@ -10,26 +10,24 @@ module RBS
10
10
  include Base
11
11
  include Singleton
12
12
 
13
- def has?(config_entry)
14
- gem_sig_path(config_entry)
13
+ def has?(name, version)
14
+ gem_sig_path(name, version)
15
15
  end
16
16
 
17
- def versions(config_entry)
18
- spec, _ = gem_sig_path(config_entry)
17
+ def versions(name)
18
+ spec, _ = gem_sig_path(name, nil)
19
19
  spec or raise
20
20
  [spec.version.to_s]
21
21
  end
22
22
 
23
- def install(dest:, config_entry:, stdout:)
23
+ def install(dest:, name:, version:, stdout:)
24
24
  # Do nothing because stdlib RBS is available by default
25
- name = config_entry['name']
26
- version = config_entry['version'] or raise
27
- _, from = gem_sig_path(config_entry)
25
+ _, from = gem_sig_path(name, version)
28
26
  stdout.puts "Using #{name}:#{version} (#{from})"
29
27
  end
30
28
 
31
- def manifest_of(config_entry)
32
- _, sig_path = gem_sig_path(config_entry)
29
+ def manifest_of(name, version)
30
+ _, sig_path = gem_sig_path(name, version)
33
31
  sig_path or raise
34
32
  manifest_path = sig_path.join('manifest.yaml')
35
33
  YAML.safe_load(manifest_path.read) if manifest_path.exist?
@@ -41,8 +39,8 @@ module RBS
41
39
  }
42
40
  end
43
41
 
44
- private def gem_sig_path(config_entry)
45
- RBS::EnvironmentLoader.gem_sig_path(config_entry['name'], config_entry['version'])
42
+ private def gem_sig_path(name, version)
43
+ RBS::EnvironmentLoader.gem_sig_path(name, version)
46
44
  end
47
45
  end
48
46
  end
@@ -12,25 +12,26 @@ module RBS
12
12
 
13
13
  REPO = Repository.default
14
14
 
15
- def has?(config_entry)
16
- lookup(config_entry)
15
+ def has?(name, version)
16
+ lookup(name, version)
17
17
  end
18
18
 
19
- def versions(config_entry)
20
- REPO.gems[config_entry['name']].versions.keys.map(&:to_s)
19
+ def versions(name)
20
+ REPO.gems[name].versions.keys.map(&:to_s)
21
21
  end
22
22
 
23
- def install(dest:, config_entry:, stdout:)
23
+ def install(dest:, name:, version:, stdout:)
24
24
  # Do nothing because stdlib RBS is available by default
25
- name = config_entry['name']
26
- version = config_entry['version'] or raise
27
- from = lookup(config_entry)
25
+ from = lookup(name, version)
28
26
  stdout.puts "Using #{name}:#{version} (#{from})"
29
27
  end
30
28
 
31
- def manifest_of(config_entry)
32
- config_entry['version'] or raise
33
- manifest_path = (lookup(config_entry) or raise).join('manifest.yaml')
29
+ def manifest_of(name, version)
30
+ unless path = lookup(name, version)
31
+ RBS.logger.warn "`#{name}` is specified in rbs_collection.lock.yaml. But it is not found in #{REPO.dirs.join(",")}"
32
+ return
33
+ end
34
+ manifest_path = path.join('manifest.yaml')
34
35
  YAML.safe_load(manifest_path.read) if manifest_path.exist?
35
36
  end
36
37
 
@@ -40,8 +41,8 @@ module RBS
40
41
  }
41
42
  end
42
43
 
43
- private def lookup(config_entry)
44
- REPO.lookup(config_entry['name'], config_entry['version'])
44
+ private def lookup(name, version)
45
+ REPO.lookup(name, version)
45
46
  end
46
47
  end
47
48
  end
@@ -4,14 +4,27 @@ require_relative './sources/base'
4
4
  require_relative './sources/git'
5
5
  require_relative './sources/stdlib'
6
6
  require_relative './sources/rubygems'
7
+ require_relative './sources/local'
7
8
 
8
9
  module RBS
9
10
  module Collection
10
11
  module Sources
11
- def self.from_config_entry(source_entry)
12
+ def self.from_config_entry(source_entry, base_directory:)
12
13
  case source_entry['type']
13
14
  when 'git', nil # git source by default
14
- __skip__ = Git.new(**source_entry.slice('name', 'revision', 'remote', 'repo_dir').transform_keys(&:to_sym))
15
+ # @type var source_entry: Git::source_entry
16
+ Git.new(
17
+ name: source_entry["name"],
18
+ revision: source_entry["revision"],
19
+ remote: source_entry["remote"],
20
+ repo_dir: source_entry["repo_dir"]
21
+ )
22
+ when 'local'
23
+ # @type var source_entry: Local::source_entry
24
+ Local.new(
25
+ path: source_entry['path'],
26
+ base_directory: base_directory,
27
+ )
15
28
  when 'stdlib'
16
29
  Stdlib.instance
17
30
  when 'rubygems'
@@ -1,10 +1,11 @@
1
1
  # frozen_string_literal: true
2
2
 
3
3
  require 'yaml'
4
- require 'bundler'
5
4
 
5
+ require_relative './cli/colored_io'
6
6
  require_relative './collection/sources'
7
7
  require_relative './collection/config'
8
+ require_relative './collection/config/lockfile'
8
9
  require_relative './collection/config/lockfile_generator'
9
10
  require_relative './collection/installer'
10
11
  require_relative './collection/cleaner'
@@ -28,12 +28,18 @@ module RBS
28
28
  attr_reader :member
29
29
  attr_reader :defined_in
30
30
  attr_reader :implemented_in
31
+ attr_reader :member_annotations
32
+ attr_reader :overload_annotations
33
+ attr_reader :annotations
31
34
 
32
- def initialize(type:, member:, defined_in:, implemented_in:)
35
+ def initialize(type:, member:, defined_in:, implemented_in:, overload_annotations: [])
33
36
  @type = type
34
37
  @member = member
35
38
  @defined_in = defined_in
36
39
  @implemented_in = implemented_in
40
+ @member_annotations = member.annotations
41
+ @overload_annotations = overload_annotations
42
+ @annotations = member.annotations + overload_annotations
37
43
  end
38
44
 
39
45
  def ==(other)
@@ -54,18 +60,14 @@ module RBS
54
60
  member.comment
55
61
  end
56
62
 
57
- def annotations
58
- member.annotations
59
- end
60
-
61
63
  def update(type: self.type, member: self.member, defined_in: self.defined_in, implemented_in: self.implemented_in)
62
- TypeDef.new(type: type, member: member, defined_in: defined_in, implemented_in: implemented_in)
64
+ TypeDef.new(type: type, member: member, defined_in: defined_in, implemented_in: implemented_in, overload_annotations: overload_annotations)
63
65
  end
64
66
 
65
67
  def overload?
66
68
  case mem = member
67
69
  when AST::Members::MethodDefinition
68
- mem.overload?
70
+ mem.overloading?
69
71
  else
70
72
  false
71
73
  end
@@ -82,7 +84,7 @@ module RBS
82
84
  @super_method = super_method
83
85
  @defs = defs
84
86
  @accessibility = accessibility
85
- @extra_annotations = annotations
87
+ @extra_annotations = []
86
88
  @alias_of = alias_of
87
89
  end
88
90
 
@@ -124,7 +126,7 @@ module RBS
124
126
  end
125
127
 
126
128
  def annotations
127
- @annotations ||= @extra_annotations + defs.flat_map {|d| d.annotations }
129
+ @annotations ||= defs.flat_map {|d| d.member_annotations }
128
130
  end
129
131
 
130
132
  def members
@@ -237,13 +239,8 @@ module RBS
237
239
  @ancestors = ancestors
238
240
  end
239
241
 
240
- def apply(args, location:)
241
- InvalidTypeApplicationError.check!(
242
- type_name: type_name,
243
- args: args,
244
- params: params,
245
- location: location
246
- )
242
+ def apply(args, env:, location:)
243
+ InvalidTypeApplicationError.check2!(env: env, type_name: type_name, args: args, location: location)
247
244
 
248
245
  subst = Substitution.build(params, args)
249
246