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

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