@cplieger/deadset-ts 8.0.0-dev.2 → 8.0.0-dev.20

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 (402) hide show
  1. package/README.md +3 -1
  2. package/THIRD_PARTY_NOTICES.md +27 -0
  3. package/dist/bin/mapper-connection.js +2 -1
  4. package/dist/bin/node-host.js +24 -5
  5. package/dist/src/alias-chain.js +2 -7
  6. package/dist/src/amd.js +81 -0
  7. package/dist/src/analysis.js +269 -432
  8. package/dist/src/augmentations.js +64 -3
  9. package/dist/src/automatic-types.js +10 -29
  10. package/dist/src/bindings.js +382 -0
  11. package/dist/src/calls.js +279 -43
  12. package/dist/src/commands/held.js +499 -0
  13. package/dist/src/commands/read.js +161 -0
  14. package/dist/src/commands/shell.js +169 -0
  15. package/dist/src/commands/tools.js +1847 -0
  16. package/dist/src/component-files.js +3 -2
  17. package/dist/src/component-layer.js +4 -2
  18. package/dist/src/config.js +6 -82
  19. package/dist/src/conformance-record.js +1 -1
  20. package/dist/src/consumers.js +10 -38
  21. package/dist/src/contextual-uses.js +57 -26
  22. package/dist/src/contract/config.generated.js +561 -0
  23. package/dist/src/contract/contract.generated.js +1369 -0
  24. package/dist/src/contract/report.generated.js +866 -0
  25. package/dist/src/dependencies.js +164 -121
  26. package/dist/src/destructuring.js +1 -19
  27. package/dist/src/edges.js +38 -122
  28. package/dist/src/element-access.js +181 -168
  29. package/dist/src/entries/build-scripts.js +222 -0
  30. package/dist/src/{configuration-files.js → entries/configuration-files.js} +52 -256
  31. package/dist/src/{convention-rows.js → entries/convention-rows.js} +170 -30
  32. package/dist/src/entries/conventions.js +740 -0
  33. package/dist/src/{html-entries.js → entries/html-entries.js} +12 -42
  34. package/dist/src/{mdx-entries.js → entries/mdx-entries.js} +5 -28
  35. package/dist/src/entries/run-directories.js +77 -0
  36. package/dist/src/entries/sources.js +144 -0
  37. package/dist/src/entries/static-module.js +670 -0
  38. package/dist/src/entries/test-runners.js +650 -0
  39. package/dist/src/entries/workflow-steps.js +345 -0
  40. package/dist/src/enum-group.js +3 -10
  41. package/dist/src/erased-stores.js +4 -6
  42. package/dist/src/exempt-classes.js +1 -63
  43. package/dist/src/exempt.js +21 -66
  44. package/dist/src/exposure.js +400 -0
  45. package/dist/src/extensions.js +37 -0
  46. package/dist/src/facts.js +38 -0
  47. package/dist/src/failure.js +36 -0
  48. package/dist/src/file-facts.js +3 -26
  49. package/dist/src/findings/completion.js +109 -56
  50. package/dist/src/findings/dependencies-and-module-machinery.js +4 -5
  51. package/dist/src/findings/emitters.js +27 -41
  52. package/dist/src/{implementations.js → findings/implementations.js} +3 -3
  53. package/dist/src/{in-operands.js → findings/in-operands.js} +3 -2
  54. package/dist/src/findings/interfaces.js +4 -5
  55. package/dist/src/findings/intra-function.js +16 -13
  56. package/dist/src/findings/non-code-artifacts.js +17 -12
  57. package/dist/src/findings/reads-and-writes.js +86 -27
  58. package/dist/src/findings/self-check.js +44 -30
  59. package/dist/src/findings/unused-declarations.js +29 -45
  60. package/dist/src/findings/visibility-narrowing.js +23 -31
  61. package/dist/src/findings-pass.js +13 -21
  62. package/dist/src/framework-lifecycle.js +46 -19
  63. package/dist/src/fs/document.js +52 -0
  64. package/dist/src/fs/manifest.js +67 -0
  65. package/dist/src/fs/tree.js +88 -0
  66. package/dist/src/generated-file.js +174 -28
  67. package/dist/src/git-ignore.js +39 -26
  68. package/dist/src/import-bindings.js +73 -28
  69. package/dist/src/index/sites.js +557 -0
  70. package/dist/src/index.js +2 -2
  71. package/dist/src/indexed-access.js +523 -478
  72. package/dist/src/injection-container.js +2 -2
  73. package/dist/src/interface-satisfaction.js +1 -1
  74. package/dist/src/intra-function-parts.js +63 -43
  75. package/dist/src/inventory/commonjs.js +507 -0
  76. package/dist/src/inventory/enumerate.js +167 -0
  77. package/dist/src/inventory/syntax.js +236 -0
  78. package/dist/src/inventory.js +323 -724
  79. package/dist/src/javascript-file.js +48 -0
  80. package/dist/src/json-document.js +198 -67
  81. package/dist/src/keyof-comparisons.js +126 -107
  82. package/dist/src/kinds.js +3 -366
  83. package/dist/src/{components.js → liveness/components.js} +2 -3
  84. package/dist/src/{graph.js → liveness/graph.js} +52 -28
  85. package/dist/src/liveness/matrix.js +99 -0
  86. package/dist/src/liveness/sweep.js +558 -0
  87. package/dist/src/load/classify.js +289 -0
  88. package/dist/src/load/diagnostics.js +87 -0
  89. package/dist/src/load/discover.js +285 -0
  90. package/dist/src/{emit-map.js → load/emit-map.js} +1 -1
  91. package/dist/src/load/expected-module.js +136 -0
  92. package/dist/src/load/load.js +27 -0
  93. package/dist/src/load/module-lookup.js +37 -0
  94. package/dist/src/load/package-scope.js +56 -0
  95. package/dist/src/load/plan.js +313 -0
  96. package/dist/src/load/specifiers.js +113 -0
  97. package/dist/src/load/synthesize.js +152 -0
  98. package/dist/src/load/test-globals.js +207 -0
  99. package/dist/src/load/test-joins.js +82 -0
  100. package/dist/src/{workspace-manifests.js → load/workspace-manifests.js} +4 -4
  101. package/dist/src/{workspace-programs.js → load/workspace-programs.js} +89 -66
  102. package/dist/src/{workspace-resolution.js → load/workspace-resolution.js} +24 -66
  103. package/dist/src/{workspace-run.js → load/workspace-run.js} +7 -7
  104. package/dist/src/{workspace.js → load/workspace.js} +62 -124
  105. package/dist/src/module-declarations.js +70 -85
  106. package/dist/src/overrides.js +134 -112
  107. package/dist/src/partial.js +2 -1
  108. package/dist/src/paths.js +82 -16
  109. package/dist/src/platform-calls.js +78 -0
  110. package/dist/src/platform-symbols.js +134 -0
  111. package/dist/src/position.js +43 -1
  112. package/dist/src/print.js +11 -79
  113. package/dist/src/product.js +13 -0
  114. package/dist/src/query.js +47 -0
  115. package/dist/src/ref.js +12 -20
  116. package/dist/src/references/read-rule.js +1 -0
  117. package/dist/src/references/read-rules.js +48 -0
  118. package/dist/src/references/sink.js +237 -0
  119. package/dist/src/references/sources.js +450 -0
  120. package/dist/src/references.js +117 -1074
  121. package/dist/src/report-schema.js +51 -0
  122. package/dist/src/report.js +57 -41
  123. package/dist/src/reporters/annotations.js +15 -8
  124. package/dist/src/reporters/sarif.js +16 -10
  125. package/dist/src/reporters/template.js +4 -19
  126. package/dist/src/resolve.js +246 -730
  127. package/dist/src/{configured-declarations.js → roots/configured-declarations.js} +22 -24
  128. package/dist/src/{entry-point-gaps.js → roots/entry-point-gaps.js} +6 -15
  129. package/dist/src/roots/manifest.js +216 -0
  130. package/dist/src/roots/published-reach.js +412 -0
  131. package/dist/src/roots/root-set.js +487 -0
  132. package/dist/src/roots/unseen-loads.js +236 -0
  133. package/dist/src/run.js +66 -77
  134. package/dist/src/schema.js +320 -343
  135. package/dist/src/scope.js +38 -115
  136. package/dist/src/serialization-contract.js +601 -22
  137. package/dist/src/session.js +37 -29
  138. package/dist/src/source-files.js +6 -10
  139. package/dist/src/stores.js +4 -2
  140. package/dist/src/suppress-file.js +25 -28
  141. package/dist/src/suppress-inline.js +36 -83
  142. package/dist/src/suppress.js +50 -71
  143. package/dist/src/symbol-keys.js +92 -88
  144. package/dist/src/template-field.js +9 -19
  145. package/dist/src/tests/file-class.js +76 -0
  146. package/dist/src/{outside-tests.js → tests/outside.js} +7 -7
  147. package/dist/src/{test-support.js → tests/support.js} +5 -12
  148. package/dist/src/text/compare.js +26 -0
  149. package/dist/src/text/glob.js +194 -0
  150. package/dist/src/text/named-files.js +298 -0
  151. package/dist/src/text/yaml.js +684 -0
  152. package/dist/src/type-errors.js +11 -232
  153. package/dist/src/type-parameter-reads.js +178 -139
  154. package/dist/src/unimplemented-callees.js +262 -242
  155. package/dist/src/unwrap.js +23 -0
  156. package/dist/src/usage.js +10 -0
  157. package/dist/src/vendor/unbash/ansi-c.js +132 -0
  158. package/dist/src/vendor/unbash/arithmetic-parts.js +37 -0
  159. package/dist/src/vendor/unbash/arithmetic.js +591 -0
  160. package/dist/src/vendor/unbash/assignment.js +131 -0
  161. package/dist/src/vendor/unbash/chars.js +48 -0
  162. package/dist/src/vendor/unbash/command.js +41 -0
  163. package/dist/src/vendor/unbash/expansion.js +80 -0
  164. package/dist/src/vendor/unbash/glob.js +268 -0
  165. package/dist/src/vendor/unbash/heredoc.js +27 -0
  166. package/dist/src/vendor/unbash/internal-types.js +1 -0
  167. package/dist/src/vendor/unbash/lexer.js +4274 -0
  168. package/dist/src/vendor/unbash/limits.js +3 -0
  169. package/dist/src/vendor/unbash/parser.js +1366 -0
  170. package/dist/src/vendor/unbash/parts.js +57 -0
  171. package/dist/src/vendor/unbash/substitution-context.js +8 -0
  172. package/dist/src/vendor/unbash/traversal.js +212 -0
  173. package/dist/src/vendor/unbash/types.js +1 -0
  174. package/dist/src/vendor/unbash/word-value.js +61 -0
  175. package/dist/src/vendor/unbash/word.js +40 -0
  176. package/dist/src/verbs/analyze.js +194 -127
  177. package/dist/src/verbs/describe.js +13 -18
  178. package/dist/src/verbs/explain.js +85 -139
  179. package/dist/src/verbs/print-config.js +2 -1
  180. package/dist/src/verbs/print-projects.js +6 -4
  181. package/dist/src/verbs/print-retained.js +7 -5
  182. package/dist/src/verbs/print-roots.js +4 -2
  183. package/dist/src/verbs/verb.js +1 -5
  184. package/dist/src/verbs/version.js +14 -3
  185. package/jsr.json +2 -1
  186. package/package.json +14 -8
  187. package/src/alias-chain.ts +2 -9
  188. package/src/amd.ts +130 -0
  189. package/src/analysis.ts +424 -650
  190. package/src/augmentations.ts +93 -4
  191. package/src/automatic-types.ts +12 -30
  192. package/src/bindings.ts +460 -0
  193. package/src/calls.ts +338 -46
  194. package/src/commands/held.ts +632 -0
  195. package/src/commands/read.ts +242 -0
  196. package/src/commands/shell.ts +228 -0
  197. package/src/commands/tools.ts +2382 -0
  198. package/src/component-files.ts +4 -2
  199. package/src/component-layer.ts +4 -2
  200. package/src/config.ts +31 -302
  201. package/src/conformance-record.ts +1 -1
  202. package/src/consumers.ts +16 -66
  203. package/src/contextual-uses.ts +66 -34
  204. package/src/contract/config.generated.ts +821 -0
  205. package/src/contract/contract.generated.ts +1452 -0
  206. package/src/contract/report.generated.ts +1241 -0
  207. package/src/dependencies.ts +222 -127
  208. package/src/destructuring.ts +1 -31
  209. package/src/edges.ts +41 -140
  210. package/src/element-access.ts +190 -187
  211. package/src/entries/build-scripts.ts +292 -0
  212. package/src/{configuration-files.ts → entries/configuration-files.ts} +68 -278
  213. package/src/{convention-rows.ts → entries/convention-rows.ts} +227 -31
  214. package/src/{conventions.ts → entries/conventions.ts} +367 -583
  215. package/src/{html-entries.ts → entries/html-entries.ts} +22 -48
  216. package/src/{mdx-entries.ts → entries/mdx-entries.ts} +7 -30
  217. package/src/entries/run-directories.ts +108 -0
  218. package/src/entries/sources.ts +266 -0
  219. package/src/entries/static-module.ts +858 -0
  220. package/src/entries/test-runners.ts +835 -0
  221. package/src/entries/workflow-steps.ts +432 -0
  222. package/src/enum-group.ts +2 -11
  223. package/src/erased-stores.ts +3 -7
  224. package/src/exempt-classes.ts +1 -75
  225. package/src/exempt.ts +70 -98
  226. package/src/exposure.ts +492 -0
  227. package/src/extensions.ts +45 -0
  228. package/src/facts.ts +46 -0
  229. package/src/failure.ts +63 -0
  230. package/src/file-facts.ts +15 -25
  231. package/src/finding.ts +10 -10
  232. package/src/findings/boundary.ts +11 -0
  233. package/src/findings/completion.ts +133 -64
  234. package/src/findings/dependencies-and-module-machinery.ts +4 -7
  235. package/src/findings/emitter.ts +9 -10
  236. package/src/findings/emitters.ts +38 -52
  237. package/src/{implementations.ts → findings/implementations.ts} +4 -4
  238. package/src/{in-operands.ts → findings/in-operands.ts} +4 -3
  239. package/src/findings/interfaces.ts +7 -9
  240. package/src/findings/intra-function.ts +16 -14
  241. package/src/findings/non-code-artifacts.ts +24 -15
  242. package/src/findings/reads-and-writes.ts +118 -41
  243. package/src/findings/self-check.ts +51 -38
  244. package/src/findings/unused-declarations.ts +31 -49
  245. package/src/findings/visibility-narrowing.ts +36 -40
  246. package/src/findings-pass.ts +15 -31
  247. package/src/framework-lifecycle.ts +47 -19
  248. package/src/fs/document.ts +70 -0
  249. package/src/fs/manifest.ts +96 -0
  250. package/src/fs/tree.ts +110 -0
  251. package/src/generated-file.ts +242 -35
  252. package/src/git-ignore.ts +50 -26
  253. package/src/host.ts +12 -5
  254. package/src/import-bindings.ts +98 -29
  255. package/src/index/sites.ts +781 -0
  256. package/src/index.ts +2 -2
  257. package/src/indexed-access.ts +570 -527
  258. package/src/injection-container.ts +2 -2
  259. package/src/interface-satisfaction.ts +2 -2
  260. package/src/intra-function-parts.ts +73 -44
  261. package/src/inventory/commonjs.ts +696 -0
  262. package/src/inventory/enumerate.ts +203 -0
  263. package/src/inventory/syntax.ts +311 -0
  264. package/src/inventory.ts +442 -895
  265. package/src/javascript-file.ts +54 -0
  266. package/src/json-document.ts +241 -76
  267. package/src/keyof-comparisons.ts +133 -122
  268. package/src/kinds.ts +5 -413
  269. package/src/{components.ts → liveness/components.ts} +4 -6
  270. package/src/{graph.ts → liveness/graph.ts} +100 -35
  271. package/src/liveness/matrix.ts +162 -0
  272. package/src/liveness/sweep.ts +855 -0
  273. package/src/load/classify.ts +433 -0
  274. package/src/load/diagnostics.ts +154 -0
  275. package/src/load/discover.ts +471 -0
  276. package/src/{emit-map.ts → load/emit-map.ts} +1 -1
  277. package/src/load/expected-module.ts +194 -0
  278. package/src/load/load.ts +73 -0
  279. package/src/load/module-lookup.ts +50 -0
  280. package/src/load/package-scope.ts +74 -0
  281. package/src/load/plan.ts +513 -0
  282. package/src/load/specifiers.ts +171 -0
  283. package/src/load/synthesize.ts +230 -0
  284. package/src/load/test-globals.ts +251 -0
  285. package/src/load/test-joins.ts +98 -0
  286. package/src/{workspace-manifests.ts → load/workspace-manifests.ts} +5 -5
  287. package/src/{workspace-programs.ts → load/workspace-programs.ts} +128 -85
  288. package/src/{workspace-resolution.ts → load/workspace-resolution.ts} +41 -77
  289. package/src/{workspace-run.ts → load/workspace-run.ts} +18 -16
  290. package/src/{workspace.ts → load/workspace.ts} +90 -134
  291. package/src/module-declarations.ts +74 -98
  292. package/src/overrides.ts +162 -134
  293. package/src/partial.ts +3 -2
  294. package/src/paths.ts +92 -16
  295. package/src/platform-calls.ts +119 -0
  296. package/src/platform-symbols.ts +189 -0
  297. package/src/position.ts +44 -1
  298. package/src/print.ts +12 -92
  299. package/src/product.ts +18 -0
  300. package/src/query.ts +92 -0
  301. package/src/ref.ts +12 -20
  302. package/src/references/read-rule.ts +60 -0
  303. package/src/references/read-rules.ts +55 -0
  304. package/src/references/sink.ts +314 -0
  305. package/src/references/sources.ts +632 -0
  306. package/src/references.ts +187 -1450
  307. package/src/report-schema.ts +68 -0
  308. package/src/report.ts +103 -226
  309. package/src/reporters/annotations.ts +22 -11
  310. package/src/reporters/json.ts +1 -1
  311. package/src/reporters/reporter.ts +2 -4
  312. package/src/reporters/reporters.ts +1 -1
  313. package/src/reporters/sarif.ts +29 -16
  314. package/src/reporters/template.ts +4 -20
  315. package/src/reporters/text.ts +3 -3
  316. package/src/resolve.ts +284 -1115
  317. package/src/{configured-declarations.ts → roots/configured-declarations.ts} +27 -29
  318. package/src/{entry-point-gaps.ts → roots/entry-point-gaps.ts} +7 -16
  319. package/src/roots/manifest.ts +303 -0
  320. package/src/roots/published-reach.ts +486 -0
  321. package/src/{roots.ts → roots/root-set.ts} +286 -469
  322. package/src/roots/unseen-loads.ts +345 -0
  323. package/src/run.ts +75 -91
  324. package/src/schema.ts +391 -388
  325. package/src/scope.ts +46 -138
  326. package/src/serialization-contract.ts +769 -23
  327. package/src/session.ts +87 -55
  328. package/src/source-files.ts +6 -11
  329. package/src/stores.ts +15 -3
  330. package/src/suppress-file.ts +24 -33
  331. package/src/suppress-inline.ts +55 -91
  332. package/src/suppress.ts +78 -79
  333. package/src/symbol-keys.ts +104 -107
  334. package/src/template-field.ts +15 -25
  335. package/src/tests/file-class.ts +135 -0
  336. package/src/{outside-tests.ts → tests/outside.ts} +16 -10
  337. package/src/{test-support.ts → tests/support.ts} +15 -21
  338. package/src/text/compare.ts +27 -0
  339. package/src/text/glob.ts +210 -0
  340. package/src/text/named-files.ts +388 -0
  341. package/src/text/yaml.ts +747 -0
  342. package/src/type-errors.ts +18 -288
  343. package/src/type-parameter-reads.ts +187 -158
  344. package/src/unimplemented-callees.ts +297 -280
  345. package/src/unwrap.ts +34 -0
  346. package/src/usage.ts +10 -0
  347. package/src/vendor/unbash/LICENSE +15 -0
  348. package/src/vendor/unbash/VENDORED.md +16 -0
  349. package/src/vendor/unbash/ansi-c.ts +132 -0
  350. package/src/vendor/unbash/arithmetic-parts.ts +53 -0
  351. package/src/vendor/unbash/arithmetic.ts +641 -0
  352. package/src/vendor/unbash/assignment.ts +163 -0
  353. package/src/vendor/unbash/chars.ts +48 -0
  354. package/src/vendor/unbash/command.ts +47 -0
  355. package/src/vendor/unbash/expansion.ts +144 -0
  356. package/src/vendor/unbash/glob.ts +284 -0
  357. package/src/vendor/unbash/heredoc.ts +34 -0
  358. package/src/vendor/unbash/internal-types.ts +94 -0
  359. package/src/vendor/unbash/lexer.ts +4352 -0
  360. package/src/vendor/unbash/limits.ts +3 -0
  361. package/src/vendor/unbash/parser.ts +1612 -0
  362. package/src/vendor/unbash/parts.ts +96 -0
  363. package/src/vendor/unbash/substitution-context.ts +20 -0
  364. package/src/vendor/unbash/traversal.ts +182 -0
  365. package/src/vendor/unbash/types.ts +660 -0
  366. package/src/vendor/unbash/word-value.ts +64 -0
  367. package/src/vendor/unbash/word.ts +50 -0
  368. package/src/verbs/analyze.ts +255 -164
  369. package/src/verbs/describe.ts +19 -17
  370. package/src/verbs/explain.ts +93 -169
  371. package/src/verbs/print-config.ts +2 -1
  372. package/src/verbs/print-projects.ts +6 -4
  373. package/src/verbs/print-retained.ts +7 -5
  374. package/src/verbs/print-roots.ts +4 -2
  375. package/src/verbs/verb.ts +2 -8
  376. package/src/verbs/version.ts +15 -3
  377. package/dist/src/base-url.js +0 -18
  378. package/dist/src/conventions.js +0 -937
  379. package/dist/src/discover.js +0 -468
  380. package/dist/src/entry-points.js +0 -529
  381. package/dist/src/glob.js +0 -65
  382. package/dist/src/manifest.js +0 -165
  383. package/dist/src/matrix.js +0 -246
  384. package/dist/src/pnpm-workspace.js +0 -120
  385. package/dist/src/roots.js +0 -672
  386. package/dist/src/setup-failure.js +0 -23
  387. package/dist/src/sweep.js +0 -224
  388. package/dist/src/test-joins.js +0 -101
  389. package/dist/src/version.js +0 -7
  390. package/dist/src/workflow-steps.js +0 -185
  391. package/src/base-url.ts +0 -24
  392. package/src/discover.ts +0 -653
  393. package/src/entry-points.ts +0 -687
  394. package/src/glob.ts +0 -67
  395. package/src/manifest.ts +0 -234
  396. package/src/matrix.ts +0 -423
  397. package/src/pnpm-workspace.ts +0 -135
  398. package/src/setup-failure.ts +0 -39
  399. package/src/sweep.ts +0 -347
  400. package/src/test-joins.ts +0 -120
  401. package/src/version.ts +0 -7
  402. package/src/workflow-steps.ts +0 -216
@@ -6,9 +6,11 @@
6
6
  * name, which the language or a library types values by where the target never names it,
7
7
  * as `import.meta` or `process.env`, so a use of its member is a use of it.
8
8
  */
9
- import { referenceKey } from "./matrix.js";
9
+ import { isInterfaceDeclaration, isModuleBlock, isModuleDeclaration, } from "@typescript/native/ast";
10
+ import { nodeKey } from "./inventory.js";
11
+ import { referenceKey } from "./liveness/matrix.js";
10
12
  /** Whether one declaration is a `declare global` block: a module-level namespace named `global`. */
11
- function isGlobalBlock(symbol, held, files) {
13
+ export function isGlobalBlock(symbol, held, files) {
12
14
  return (symbol.kind === "namespace" &&
13
15
  files.has(symbol.parent) &&
14
16
  symbol.ref.endsWith("#global") &&
@@ -48,12 +50,71 @@ function holdersOf(held, scripts) {
48
50
  * file or a `declare` holds that a `declare global` block, or the top level of a file in
49
51
  * `scripts`, declares, directly or inside a namespace there.
50
52
  */
51
- export function ambientGlobalInterfaces(held, interfaces, scripts) {
53
+ function ambientGlobalInterfaces(held, interfaces, scripts) {
52
54
  const holders = holdersOf(held, scripts);
53
55
  return holders === undefined
54
56
  ? []
55
57
  : interfaces.filter((id) => held.ambient.has(id) && holders(id).global);
56
58
  }
59
+ /**
60
+ * Which ambient global interfaces of the project's own files, `files`, merge into an interface
61
+ * declared outside them, and what each merge keeps.
62
+ */
63
+ export function mergedGlobalInterfaces(project, held, files) {
64
+ const scripts = new Set();
65
+ const names = new Map();
66
+ for (const file of files.byName.values()) {
67
+ const fileId = held.declarations.get(nodeKey(file, file));
68
+ if (fileId !== undefined && file.externalModuleIndicator === undefined) {
69
+ scripts.add(fileId);
70
+ }
71
+ const visit = (node) => {
72
+ if (isInterfaceDeclaration(node)) {
73
+ const id = held.declarations.get(nodeKey(file, node));
74
+ if (id !== undefined) {
75
+ names.set(id, node.name);
76
+ }
77
+ }
78
+ else if (isModuleDeclaration(node) || isModuleBlock(node)) {
79
+ node.forEachChild(visit);
80
+ }
81
+ };
82
+ file.forEachChild(visit);
83
+ }
84
+ const global = new Set(ambientGlobalInterfaces(held, [...names.keys()], scripts));
85
+ const asked = [...names].filter(([id]) => global.has(id));
86
+ if (asked.length === 0) {
87
+ return { scripts, interfaces: new Set(), kept: [] };
88
+ }
89
+ const answers = project.symbolsAt(asked.map(([, name]) => project.handle(name)));
90
+ const holders = holdersOf(held, scripts);
91
+ const empty = (handle) => {
92
+ if (project.program.getSourceFileMetadata(handle.path)?.isDefaultLibrary === true) {
93
+ return false;
94
+ }
95
+ const node = project.declarationAt(handle)?.node;
96
+ return node !== undefined && isInterfaceDeclaration(node) && node.members.length === 0;
97
+ };
98
+ const interfaces = new Set();
99
+ const kept = new Set();
100
+ asked.forEach(([id], at) => {
101
+ const symbol = answers[at];
102
+ const outside = typeof symbol === "object"
103
+ ? symbol.declarations.filter((handle) => !files.byName.has(handle.path))
104
+ : [];
105
+ if (outside.length === 0) {
106
+ return;
107
+ }
108
+ interfaces.add(id);
109
+ const members = outside.every(empty)
110
+ ? held.symbols.filter((one) => one.parent === id).map((one) => one.id)
111
+ : [];
112
+ for (const one of [id, ...(holders?.(id).ids ?? []), ...members]) {
113
+ kept.add(one);
114
+ }
115
+ });
116
+ return { scripts, interfaces, kept: [...kept] };
117
+ }
57
118
  /**
58
119
  * For each reference to a declaration an augmentation block, or the global scope of a
59
120
  * file in `scripts` (the files that are no module), holds, a read at the same place of
@@ -5,7 +5,9 @@
5
5
  * declarations, and a use of one resolves to nothing; each such use is a use of the package.
6
6
  */
7
7
  import { isClassDeclaration, isEnumDeclaration, isExportAssignment, isExportDeclaration, isFunctionDeclaration, isIdentifier, isImportDeclaration, isImportEqualsDeclaration, isInterfaceDeclaration, isModuleBlock, isModuleDeclaration, isStringLiteral, isTypeAliasDeclaration, isVariableStatement, SyntaxKind, } from "@typescript/native/ast";
8
- import { dirnamePath, joinPath, resolvePath } from "./paths.js";
8
+ import { ancestors, dirnamePath, joinPath, resolvePath } from "./paths.js";
9
+ import { entriesOf } from "./fs/tree.js";
10
+ import { manifestAt } from "./fs/manifest.js";
9
11
  const TYPE_ROOT = "node_modules/@types";
10
12
  const NONE = { globals: new Map(), modules: new Map() };
11
13
  /**
@@ -73,19 +75,11 @@ function fileDeclarations(file, globals, modules) {
73
75
  }
74
76
  /** The entry declaration file of one installed type package's directory. */
75
77
  function entryOf(host, dir) {
76
- try {
77
- const manifest = JSON.parse(host.readFile(joinPath(dir, "package.json")));
78
- const named = typeof manifest === "object" && manifest !== null
79
- ? (manifest["types"] ??
80
- manifest["typings"])
81
- : undefined;
82
- if (typeof named === "string" && named !== "") {
83
- const path = resolvePath(dir, named);
84
- return path.endsWith(".ts") ? path : `${path}.d.ts`;
85
- }
86
- }
87
- catch {
88
- // A package with no readable manifest is read from its index, as the compiler reads it.
78
+ const manifest = manifestAt(host, dir);
79
+ const named = manifest?.["types"] ?? manifest?.["typings"];
80
+ if (typeof named === "string" && named !== "") {
81
+ const path = resolvePath(dir, named);
82
+ return path.endsWith(".ts") ? path : `${path}.d.ts`;
89
83
  }
90
84
  return joinPath(dir, "index.d.ts");
91
85
  }
@@ -146,14 +140,7 @@ export function automaticTypes(host, configFile, options, parse) {
146
140
  };
147
141
  const read = new Set();
148
142
  for (const root of typeRoots(configFile, options)) {
149
- let entries;
150
- try {
151
- entries = host.readDirectory(root);
152
- }
153
- catch {
154
- entries = [];
155
- }
156
- for (const entry of entries) {
143
+ for (const entry of entriesOf(host, root)) {
157
144
  if (read.has(entry.name) || host.kindOf(joinPath(root, entry.name)) !== "directory") {
158
145
  continue;
159
146
  }
@@ -179,11 +166,5 @@ function typeRoots(configFile, options) {
179
166
  if (Array.isArray(listed)) {
180
167
  return listed.filter((root) => typeof root === "string" && root.endsWith(`/${TYPE_ROOT}`));
181
168
  }
182
- const roots = [];
183
- for (let dir = dirnamePath(configFile);; dir = dirnamePath(dir)) {
184
- roots.push(joinPath(dir, TYPE_ROOT));
185
- if (dirnamePath(dir) === dir) {
186
- return roots;
187
- }
188
- }
169
+ return ancestors(dirnamePath(configFile)).map((dir) => joinPath(dir, TYPE_ROOT));
189
170
  }
@@ -0,0 +1,382 @@
1
+ /**
2
+ * The binding identities of the facts document, `bindings.6` and `bindings.7`: the consumer
3
+ * records a generator row's output names, read from the syntax its plugin writes, and the
4
+ * fallback records of the rows that bind a file only as a whole. The run publishes no state,
5
+ * so every record is an identity (`bindings.10`).
6
+ */
7
+ import { isAsExpression, isEnumDeclaration, isIdentifier, isInterfaceDeclaration, isIntersectionTypeNode, isJSDocText, isLiteralTypeNode, isMethodSignatureDeclaration, isObjectLiteralExpression, isParenthesizedTypeNode, isPropertyAssignment, isPropertySignatureDeclaration, isSatisfiesExpression, isStringLiteralLikeNode, isTypeAliasDeclaration, isTypeLiteralNode, isTypeReferenceNode, isUnionTypeNode, isVariableStatement, } from "@typescript/native/ast";
8
+ import { GENERATORS } from "./contract/contract.generated.js";
9
+ import { componentOf, nameNodeOf } from "./inventory.js";
10
+ import { nameComponent, spell } from "./ref.js";
11
+ import { bytewise } from "./text/compare.js";
12
+ /** The `@generated from <kind> <rest>` tags of one node's own documentation, in order. */
13
+ function generatedTags(node) {
14
+ const docs = node.jsDoc ?? [];
15
+ return docs.flatMap((doc) => (doc.tags ?? []).flatMap((tag) => {
16
+ const { tagName, comment } = tag;
17
+ if (tagName === undefined || !isIdentifier(tagName) || tagName.text !== "generated") {
18
+ return [];
19
+ }
20
+ const text = (comment ?? [])
21
+ .map((part) => (isJSDocText(part) ? part.text : ""))
22
+ .join("")
23
+ .trim();
24
+ const found = /^from (\w+(?: value)?):? (.+)$/u.exec(text);
25
+ return found === null ? [] : [{ kind: found[1] ?? "", rest: (found[2] ?? "").trim() }];
26
+ }));
27
+ }
28
+ /** The tag of one kind a node carries, its text after the kind. */
29
+ function tagged(node, kind) {
30
+ return generatedTags(node).find((one) => one.kind === kind)?.rest;
31
+ }
32
+ /**
33
+ * The name a field or an enum value tag declares: the word before ` = <number>`, read
34
+ * before an optional bracketed option list (`= 7 [json_name = "sync"];`).
35
+ */
36
+ function declaredName(rest) {
37
+ return /(\w+) = \d+(?: \[.*\])?;$/u.exec(rest)?.[1];
38
+ }
39
+ /** The spelled component of one declaration's name, or undefined for a name the grammar cannot spell. */
40
+ function spelledName(node) {
41
+ const component = componentOf(nameNodeOf(node));
42
+ return component === undefined ? undefined : spell(component);
43
+ }
44
+ /** The object type literals one type is or holds as a direct constituent of a union or an intersection. */
45
+ function literalsOf(type) {
46
+ if (type === undefined) {
47
+ return [];
48
+ }
49
+ if (isParenthesizedTypeNode(type)) {
50
+ return literalsOf(type.type);
51
+ }
52
+ if (isUnionTypeNode(type) || isIntersectionTypeNode(type)) {
53
+ return type.types.flatMap((one) => literalsOf(one));
54
+ }
55
+ return isTypeLiteralNode(type) ? [type] : [];
56
+ }
57
+ /** The string literal type one type literal declares for its `case` property, the oneof discriminant. */
58
+ function caseOf(literal) {
59
+ if (!isTypeLiteralNode(literal)) {
60
+ return undefined;
61
+ }
62
+ for (const member of literal.members) {
63
+ if (isPropertySignatureDeclaration(member) &&
64
+ spelledName(member) === "case" &&
65
+ isLiteralTypeNode(member.type) &&
66
+ isStringLiteralLikeNode(member.type.literal)) {
67
+ return member.type.literal.text;
68
+ }
69
+ }
70
+ return undefined;
71
+ }
72
+ /** The fields, enum values and oneof constituents of one tagged message or enum, below its fragment. */
73
+ function membersOf(members, fragment, name) {
74
+ return members.flatMap((member) => {
75
+ const spelled = spelledName(member);
76
+ if (spelled === undefined) {
77
+ return [];
78
+ }
79
+ const at = `${fragment}.${spelled}`;
80
+ const field = tagged(member, "field") ?? tagged(member, "enum value");
81
+ const declared = field === undefined ? undefined : declaredName(field);
82
+ if (declared !== undefined) {
83
+ return [{ fragment: at, name: `${name}.${declared}` }];
84
+ }
85
+ if (tagged(member, "oneof") === undefined || !isPropertySignatureDeclaration(member)) {
86
+ return [];
87
+ }
88
+ return literalsOf(member.type).flatMap((constituent) => {
89
+ const discriminant = caseOf(constituent);
90
+ return discriminant === undefined
91
+ ? []
92
+ : [
93
+ {
94
+ fragment: `${at}.'${discriminant.replaceAll("\\", "\\\\").replaceAll("'", "\\'")}':case`,
95
+ name: `${name}.${discriminant}`,
96
+ },
97
+ ];
98
+ });
99
+ });
100
+ }
101
+ /** The full name `@generated from <kind> <pkg.Name>` gives, without a trailing comment. */
102
+ function fullName(rest) {
103
+ return rest.split(/\s/u)[0] ?? rest;
104
+ }
105
+ /** The consumers a protoc-gen-es file of row `protoc-gen-es-2` names, as `references-ts.28` reads them. */
106
+ function protobufEsConsumers(file) {
107
+ const found = [];
108
+ const typed = new Map();
109
+ const constants = [];
110
+ for (const statement of file.statements) {
111
+ if (isTypeAliasDeclaration(statement) || isInterfaceDeclaration(statement)) {
112
+ const fragment = spelledName(statement);
113
+ const message = tagged(statement, "message");
114
+ if (fragment === undefined || message === undefined) {
115
+ continue;
116
+ }
117
+ const name = fullName(message);
118
+ typed.set(statement.name.text, name);
119
+ found.push({ fragment, name });
120
+ const members = isInterfaceDeclaration(statement)
121
+ ? statement.members
122
+ : literalsOf(statement.type).flatMap((one) => (isTypeLiteralNode(one) ? one.members : []));
123
+ found.push(...membersOf(members, fragment, name));
124
+ }
125
+ else if (isEnumDeclaration(statement)) {
126
+ const fragment = spelledName(statement);
127
+ const enumName = tagged(statement, "enum");
128
+ if (fragment === undefined || enumName === undefined) {
129
+ continue;
130
+ }
131
+ const name = fullName(enumName);
132
+ typed.set(statement.name.text, name);
133
+ found.push({ fragment, name }, ...membersOf(statement.members, fragment, name));
134
+ }
135
+ else if (isVariableStatement(statement)) {
136
+ for (const declaration of statement.declarationList.declarations) {
137
+ const fragment = spelledName(declaration);
138
+ if (fragment === undefined) {
139
+ continue;
140
+ }
141
+ const tags = [...generatedTags(statement), ...generatedTags(declaration)];
142
+ const enumName = tags.find((one) => one.kind === "enum")?.rest;
143
+ const service = tags.find((one) => one.kind === "service")?.rest;
144
+ const initializer = declaration.initializer;
145
+ const object = initializer === undefined ? undefined : asConst(initializer);
146
+ if (enumName !== undefined && object !== undefined && isObjectLiteralExpression(object)) {
147
+ const name = fullName(enumName);
148
+ typed.set(fragment, name);
149
+ found.push({ fragment, name }, ...membersOf(object.properties, fragment, name));
150
+ }
151
+ else if (service !== undefined) {
152
+ found.push({ fragment, name: fullName(service) });
153
+ const [methods] = typeArguments(declaration.type);
154
+ for (const literal of literalsOf(methods)) {
155
+ for (const member of isTypeLiteralNode(literal) ? literal.members : []) {
156
+ const spelled = spelledName(member);
157
+ const rpc = tagged(member, "rpc");
158
+ if (spelled !== undefined && rpc !== undefined) {
159
+ found.push({ fragment: `${fragment}.${spelled}`, name: fullName(rpc) });
160
+ }
161
+ }
162
+ }
163
+ }
164
+ else if (declaration.type !== undefined) {
165
+ constants.push({ fragment, type: declaration.type, node: declaration });
166
+ }
167
+ }
168
+ }
169
+ }
170
+ for (const constant of constants) {
171
+ const type = constant.type;
172
+ if (!isTypeReferenceNode(type) || !isIdentifier(type.typeName)) {
173
+ continue;
174
+ }
175
+ if (type.typeName.text !== "GenMessage" && type.typeName.text !== "GenEnum") {
176
+ continue;
177
+ }
178
+ const [argument] = typeArguments(type);
179
+ const named = argument !== undefined && isTypeReferenceNode(argument) && isIdentifier(argument.typeName)
180
+ ? typed.get(argument.typeName.text)
181
+ : undefined;
182
+ if (named !== undefined) {
183
+ found.push({ fragment: constant.fragment, name: named });
184
+ }
185
+ }
186
+ return found;
187
+ }
188
+ /** The expression an `as const` or `satisfies` clause holds, or the expression itself. */
189
+ function asConst(node) {
190
+ return isAsExpression(node) || isSatisfiesExpression(node) ? asConst(node.expression) : node;
191
+ }
192
+ /** The type arguments one type reference writes. */
193
+ function typeArguments(type) {
194
+ return type !== undefined && isTypeReferenceNode(type) ? (type.typeArguments ?? []) : [];
195
+ }
196
+ /** A ts-proto service path literal, split into its service and its method. */
197
+ const SERVICE_PATH = /^\/((?:\w+\.)*\w+)\/(\w+)$/u;
198
+ /**
199
+ * The service and RPC consumers a ts-proto file of row `ts-proto-2` names, as
200
+ * `references-ts.31` reads them: the methods of the interface a `<Svc>ServiceName`
201
+ * constant names, and a definition object whose members write a service `path`, with each
202
+ * member the consumer of its RPC and the object, and the `<Svc>Client` that the same
203
+ * file declares beside it, consumers of the service.
204
+ */
205
+ function tsProtoConsumers(file) {
206
+ const found = [];
207
+ const interfaces = new Map();
208
+ const clients = new Set();
209
+ for (const statement of file.statements) {
210
+ if (isInterfaceDeclaration(statement)) {
211
+ interfaces.set(statement.name.text, statement.members);
212
+ }
213
+ if (isVariableStatement(statement)) {
214
+ for (const one of statement.declarationList.declarations) {
215
+ if (isIdentifier(one.name)) {
216
+ clients.add(one.name.text);
217
+ }
218
+ }
219
+ }
220
+ }
221
+ for (const statement of file.statements) {
222
+ if (!isVariableStatement(statement)) {
223
+ continue;
224
+ }
225
+ for (const declaration of statement.declarationList.declarations) {
226
+ const { name, initializer } = declaration;
227
+ if (!isIdentifier(name) || initializer === undefined) {
228
+ continue;
229
+ }
230
+ if (name.text.endsWith("ServiceName") && isStringLiteralLikeNode(initializer)) {
231
+ const service = name.text.slice(0, -"ServiceName".length);
232
+ for (const member of interfaces.get(service) ?? []) {
233
+ const spelled = spelledName(member);
234
+ if (spelled !== undefined && isMethodSignatureDeclaration(member)) {
235
+ found.push({
236
+ fragment: `${nameComponent(service)}.${spelled}`,
237
+ name: `${initializer.text}.${spelled}`,
238
+ });
239
+ }
240
+ }
241
+ continue;
242
+ }
243
+ const object = asConst(initializer);
244
+ if (!isObjectLiteralExpression(object)) {
245
+ continue;
246
+ }
247
+ let service;
248
+ for (const property of object.properties) {
249
+ const spelled = spelledName(property);
250
+ const value = isPropertyAssignment(property) ? asConst(property.initializer) : undefined;
251
+ const path = value !== undefined && isObjectLiteralExpression(value)
252
+ ? value.properties.find((one) => isPropertyAssignment(one) &&
253
+ spelledName(one) === "path" &&
254
+ isStringLiteralLikeNode(one.initializer))
255
+ : undefined;
256
+ const matched = path !== undefined &&
257
+ isPropertyAssignment(path) &&
258
+ isStringLiteralLikeNode(path.initializer)
259
+ ? SERVICE_PATH.exec(path.initializer.text)
260
+ : null;
261
+ if (spelled === undefined || matched === null) {
262
+ continue;
263
+ }
264
+ service = matched[1];
265
+ const rpc = `${matched[1] ?? ""}.${matched[2] ?? ""}`;
266
+ found.push({ fragment: `${nameComponent(name.text)}.${spelled}`, name: rpc });
267
+ const client = `${name.text.replace(/Service$/u, "")}Client`;
268
+ if (interfaces.get(client)?.some((member) => spelledName(member) === spelled) === true) {
269
+ found.push({ fragment: `${nameComponent(client)}.${spelled}`, name: rpc });
270
+ }
271
+ }
272
+ if (service !== undefined) {
273
+ found.push({ fragment: nameComponent(name.text), name: service });
274
+ const client = `${name.text.replace(/Service$/u, "")}Client`;
275
+ if (interfaces.has(client) || clients.has(client)) {
276
+ found.push({ fragment: nameComponent(client), name: service });
277
+ }
278
+ }
279
+ }
280
+ }
281
+ return found;
282
+ }
283
+ /** The package `// @generated from file <path> (package <pkg>, ...)` or `protobufPackage` names, `.` for none. */
284
+ function packageOf(file) {
285
+ const header = /^\/\/ @generated from file \S+ \(package ([\w.]+)/mu.exec(file.text)?.[1];
286
+ if (header !== undefined) {
287
+ return header;
288
+ }
289
+ for (const statement of file.statements) {
290
+ if (!isVariableStatement(statement)) {
291
+ continue;
292
+ }
293
+ for (const one of statement.declarationList.declarations) {
294
+ if (isIdentifier(one.name) &&
295
+ one.name.text === "protobufPackage" &&
296
+ one.initializer !== undefined &&
297
+ isStringLiteralLikeNode(one.initializer) &&
298
+ one.initializer.text !== "") {
299
+ return one.initializer.text;
300
+ }
301
+ }
302
+ }
303
+ return ".";
304
+ }
305
+ /** The `proto://` reference of a schema declaration a full name written in package `pkg` names. */
306
+ function schemaRef(pkg, name) {
307
+ const local = pkg !== "." && name.startsWith(`${pkg}.`) ? name.slice(pkg.length + 1) : name;
308
+ return `proto://${pkg}#${local}`;
309
+ }
310
+ /** The consumer reader of each row whose output the analyzer decodes. */
311
+ const CONSUMERS = {
312
+ "protoc-gen-es-2": protobufEsConsumers,
313
+ "ts-proto-2": tsProtoConsumers,
314
+ };
315
+ /** The scope of the fallback record each fallback cell publishes. */
316
+ const FALLBACK_SCOPE = {
317
+ fallback: "all",
318
+ "rpc-types-fallback": "types",
319
+ };
320
+ /**
321
+ * The binding records one project's generated files publish, each file read once:
322
+ * `files` by path below the target root, `moduleRefs` each file's own reference.
323
+ */
324
+ export function bindingsOf(files, generated, moduleRefs) {
325
+ const records = [];
326
+ for (const [path, fact] of generated) {
327
+ const file = files.get(path);
328
+ const moduleRef = moduleRefs.get(path);
329
+ const generator = fact.generator;
330
+ if (file === undefined || moduleRef === undefined || generator === undefined) {
331
+ continue;
332
+ }
333
+ const [schemaFile] = generator.schemaFiles;
334
+ const cell = GENERATORS.find((row) => row.id === generator.row)?.cell;
335
+ const scope = cell === undefined ? undefined : FALLBACK_SCOPE[cell];
336
+ if (scope !== undefined) {
337
+ for (const one of generator.schemaFiles) {
338
+ records.push({
339
+ role: "fallback",
340
+ symbol: moduleRef,
341
+ schema_file: one,
342
+ generated_file: path,
343
+ scope,
344
+ state: "live",
345
+ });
346
+ }
347
+ }
348
+ const read = CONSUMERS[generator.row];
349
+ if (read === undefined || schemaFile === undefined) {
350
+ continue;
351
+ }
352
+ const pkg = packageOf(file);
353
+ const seen = new Set();
354
+ for (const named of read(file)) {
355
+ const symbol = `${moduleRef}${named.fragment}`;
356
+ if (seen.has(symbol)) {
357
+ continue;
358
+ }
359
+ seen.add(symbol);
360
+ records.push({
361
+ role: "consumer",
362
+ symbol,
363
+ schema_file: schemaFile,
364
+ schema: schemaRef(pkg, named.name),
365
+ generated_file: path,
366
+ });
367
+ }
368
+ }
369
+ return records;
370
+ }
371
+ /**
372
+ * The records of a run's projects, each once, in the order the facts schema states: by
373
+ * schema file, schema, role and symbol. A generated file two projects hold publishes its
374
+ * records in each.
375
+ */
376
+ export function distinctBindings(records) {
377
+ const byKey = new Map(records.map((one) => [JSON.stringify(one), one]));
378
+ return [...byKey.values()].sort((a, b) => bytewise(a.schema_file, b.schema_file) ||
379
+ bytewise(a.schema ?? "", b.schema ?? "") ||
380
+ bytewise(a.role, b.role) ||
381
+ bytewise(a.symbol, b.symbol));
382
+ }