@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
@@ -1,165 +0,0 @@
1
- /**
2
- * The entry points a package manifest names, which are roots because something
3
- * outside the analyzed program reaches them: a consumer importing the package, or a
4
- * shell running its command or one of its scripts. {@link readManifest} reads one
5
- * directory's manifest, {@link packageEntries} those of the packages below the target root.
6
- */
7
- import { isAbsolutePath, joinPath, relativePath, resolvePath } from "./paths.js";
8
- /** The manifest's own name. */
9
- const MANIFEST = "package.json";
10
- /** The three members that name an entry point beside `exports` and `bin`. */
11
- const LEGACY_MEMBERS = ["main", "module", "types"];
12
- function isRecord(value) {
13
- return typeof value === "object" && value !== null && !Array.isArray(value);
14
- }
15
- /**
16
- * Whether one member's value names a file of this package rather than another
17
- * package or a URL. A target written with no leading dot is a path too, which is
18
- * how the members that preceded `exports` are written.
19
- */
20
- function isTarget(value, requireDot) {
21
- if (value === "" || isAbsolutePath(value) || value.includes("://")) {
22
- return false;
23
- }
24
- return !requireDot || value.startsWith("./");
25
- }
26
- /** Where a script's command line splits into tokens: white space and the shell's operators. */
27
- const SCRIPT_SEPARATORS = /\s+|&&|\|\||;|\|/u;
28
- /** A token written inside one pair of quotes. */
29
- const QUOTED = /^(["'])(.*)\1$/su;
30
- /**
31
- * Every token one script's command line holds, each with one pair of enclosing quotes
32
- * removed. A token holding a wildcard is a pattern rather than a path, and names no
33
- * entry point.
34
- */
35
- export function scriptTokens(command) {
36
- return command
37
- .split(SCRIPT_SEPARATORS)
38
- .map((token) => token.replace(QUOTED, "$2"))
39
- .filter((token) => token !== "" && !token.includes("*"));
40
- }
41
- /** One member's spelling below another: `exports` then `exports["."]`. */
42
- function below(member, key) {
43
- return `${member}[${JSON.stringify(key)}]`;
44
- }
45
- /**
46
- * Every target one `exports` value carries, at the member each is written under.
47
- *
48
- * The value nests strings, subpath or condition objects and alternative arrays to
49
- * any depth; a `null` blocks a subpath. Every level is walked, because each
50
- * condition names its own entry file, and a key's meaning is never read.
51
- */
52
- function exportTargets(value, member, found) {
53
- if (typeof value === "string") {
54
- if (isTarget(value, true)) {
55
- found.push({ member, path: value, role: "import", published: true });
56
- }
57
- return;
58
- }
59
- if (Array.isArray(value)) {
60
- value.forEach((alternative, index) => {
61
- exportTargets(alternative, below(member, String(index)), found);
62
- });
63
- return;
64
- }
65
- if (!isRecord(value)) {
66
- return;
67
- }
68
- for (const [key, held] of Object.entries(value)) {
69
- exportTargets(held, below(member, key), found);
70
- }
71
- }
72
- /** The manifest at the target root, decoded, or undefined where there is none to read. */
73
- function manifestOf(host, targetRoot) {
74
- let text;
75
- try {
76
- text = host.readFile(joinPath(targetRoot, MANIFEST));
77
- }
78
- catch {
79
- return undefined;
80
- }
81
- let value;
82
- try {
83
- value = JSON.parse(text);
84
- }
85
- catch {
86
- // A manifest this program cannot read names no entry point, which is the same
87
- // answer as an absent one. What a manifest's contents say is not refused here:
88
- // the package manager owns that refusal, and an analysis of a tree it rejects
89
- // is not the run's subject.
90
- return undefined;
91
- }
92
- return isRecord(value) ? value : undefined;
93
- }
94
- /**
95
- * What the manifest in `targetRoot` declares about where its package is entered.
96
- *
97
- * A target is taken as written. It is not resolved to a source file here, because
98
- * which file a target names is a fact about the compiler configuration that emits
99
- * it and there is one such configuration per project, while there is one manifest.
100
- */
101
- export function readManifest(host, targetRoot) {
102
- const manifest = manifestOf(host, targetRoot);
103
- if (manifest === undefined) {
104
- return { entries: [], declaresExports: false };
105
- }
106
- const found = [];
107
- for (const member of LEGACY_MEMBERS) {
108
- const value = manifest[member];
109
- if (typeof value === "string" && isTarget(value, false)) {
110
- found.push({ member, path: value, role: "import", published: true });
111
- }
112
- }
113
- const bin = manifest["bin"];
114
- if (typeof bin === "string" && isTarget(bin, false)) {
115
- found.push({ member: "bin", path: bin, role: "run", published: false });
116
- }
117
- else if (isRecord(bin)) {
118
- for (const [command, value] of Object.entries(bin)) {
119
- if (typeof value === "string" && isTarget(value, false)) {
120
- found.push({ member: below("bin", command), path: value, role: "run", published: false });
121
- }
122
- }
123
- }
124
- exportTargets(manifest["exports"], "exports", found);
125
- const scripts = manifest["scripts"];
126
- if (isRecord(scripts)) {
127
- for (const [name, command] of Object.entries(scripts)) {
128
- if (typeof command !== "string") {
129
- continue;
130
- }
131
- for (const token of new Set(scriptTokens(command))) {
132
- found.push({
133
- member: below("scripts", name),
134
- path: token,
135
- role: "script",
136
- published: false,
137
- });
138
- }
139
- }
140
- }
141
- return {
142
- entries: found.map((entry) => ({
143
- ...entry,
144
- path: resolvePath(targetRoot, entry.path),
145
- dir: targetRoot,
146
- })),
147
- declaresExports: manifest["exports"] !== undefined,
148
- };
149
- }
150
- /**
151
- * The entry points the manifests of the nested packages in `dirs` name. Each entry is
152
- * spelled under its manifest's path below the target root, and is published by its own
153
- * manifest's rule, as the target's own entries are.
154
- */
155
- export function packageEntries(host, targetRoot, dirs) {
156
- return dirs.flatMap((dir) => {
157
- const manifest = readManifest(host, dir);
158
- const where = `${relativePath(targetRoot, dir) ?? dir}/${MANIFEST}`;
159
- return manifest.entries.map((entry) => ({
160
- ...entry,
161
- member: `${where} ${entry.member}`,
162
- published: entry.published && (!manifest.declaresExports || entry.member.startsWith("exports")),
163
- }));
164
- });
165
- }
@@ -1,246 +0,0 @@
1
- /**
2
- * One run's projects as one matrix: every declaration any project holds, keyed by its
3
- * position and carrying the configurations that hold it, swept once per configuration
4
- * and intersected, with the dead components computed once over every configuration.
5
- */
6
- import { componentsOf } from "./components.js";
7
- import { graphOf, OUTSIDE } from "./graph.js";
8
- import { byPosition } from "./position.js";
9
- import { reachedWithTheTests, sweep, } from "./sweep.js";
10
- /**
11
- * What makes one reference one reference, whichever configuration made it. A consumer's
12
- * position is rendered against its own root, so the consumer is part of what it names.
13
- */
14
- export function referenceKey(reference) {
15
- const { path, line, column } = reference.position;
16
- return [
17
- reference.consumer ?? "",
18
- reference.from,
19
- reference.to,
20
- path,
21
- String(line),
22
- String(column),
23
- reference.use,
24
- ].join("\u0000");
25
- }
26
- /**
27
- * Indexes what the passes answered for each configuration of one run, in the run's order.
28
- * A declaration is keyed by its rendered position, with the fields of the first
29
- * configuration that judges it; one in a file every holder holds only for its references
30
- * is judged by none and is not in the union. One reference at one position of a file
31
- * several configurations compile is one reference; two one configuration makes are two.
32
- */
33
- export function matrixOf(per) {
34
- const symbols = [];
35
- const holders = new Map();
36
- const references = [];
37
- const firstSeen = new Map();
38
- const judged = new Set();
39
- const dependents = new Map();
40
- per.forEach((one, index) => {
41
- for (const [id, after] of one.dependents ?? []) {
42
- if (!dependents.has(id)) {
43
- dependents.set(id, after);
44
- }
45
- }
46
- const referenceOnly = new Set(one.referenceOnly);
47
- for (const symbol of one.symbols) {
48
- const held = holders.get(symbol.id);
49
- if (held === undefined) {
50
- holders.set(symbol.id, [one.configuration]);
51
- }
52
- else if (!held.includes(one.configuration)) {
53
- held.push(one.configuration);
54
- }
55
- if (!referenceOnly.has(symbol.position.path) && !judged.has(symbol.id)) {
56
- judged.add(symbol.id);
57
- symbols.push(symbol);
58
- }
59
- }
60
- for (const reference of one.references) {
61
- const key = referenceKey(reference);
62
- const seen = firstSeen.get(key);
63
- if (seen === undefined) {
64
- firstSeen.set(key, index);
65
- }
66
- else if (seen !== index) {
67
- continue;
68
- }
69
- references.push(reference);
70
- }
71
- });
72
- symbols.sort((a, b) => byPosition(a.position, b.position));
73
- const testUsed = new Set(per.flatMap((one) => one.testUsedFiles ?? []));
74
- return {
75
- configurations: per.map((one) => one.configuration),
76
- graphs: per.map((one) => graphOf(one.symbols, one.references, one.roots, one.testFiles, one.supportFiles, one.ambient)),
77
- union: graphOf(symbols, references, per.flatMap((one) => one.roots), [...new Set(per.flatMap((one) => one.testFiles))], [...new Set(per.flatMap((one) => one.supportFiles ?? []))], new Set(per.flatMap((one) => [...(one.ambient ?? [])]))),
78
- heldIn: symbols.map((symbol) => holders.get(symbol.id) ?? []),
79
- testUsed: symbols.map((symbol) => testUsed.has(symbol.position.path)),
80
- dependents,
81
- };
82
- }
83
- /**
84
- * Answers which declarations of the run are dead in every configuration that holds them.
85
- *
86
- * Liveness is a question about one configuration, because a file another configuration
87
- * does not compile makes no reference there and a root it does not hold seeds nothing
88
- * there, so each configuration is swept on its own graph under the run's input. A
89
- * declaration is a candidate when every configuration holding it judged it one: a
90
- * reference under one configuration is a reference, so what one project uses is never
91
- * reported, and a configuration that does not hold a declaration says nothing about it.
92
- * The candidate's relation is reference counting where every configuration found it so,
93
- * and reachability otherwise; its counts are the union's, one per reference.
94
- *
95
- * The components are computed once, over the union and the intersected dead set, so one
96
- * dead component is one entry of the run with one identifier.
97
- */
98
- export function sweepMatrix(matrix, input) {
99
- const per = matrix.graphs.map((graph) => sweep(graph, input));
100
- const byConfiguration = new Map(matrix.configurations.map((configuration, index) => [
101
- configuration,
102
- new Map((per[index]?.candidates ?? []).map((candidate) => [candidate.id, candidate])),
103
- ]));
104
- const union = matrix.union;
105
- const heldBy = union.symbols.map(() => undefined);
106
- const testReached = reachedWithTheTests(union, [
107
- ...input.marked,
108
- ...(input.exempt ?? []).map((record) => record.id),
109
- ...(input.unanswered ?? []),
110
- ]);
111
- const judged = union.symbols.map((symbol, at) => {
112
- const held = matrix.heldIn[at] ?? [];
113
- const found = held.map((configuration) => byConfiguration.get(configuration)?.get(symbol.id));
114
- return held.length === 0 || found.some((candidate) => candidate === undefined)
115
- ? undefined
116
- : found.filter((candidate) => candidate !== undefined);
117
- });
118
- // A configuration that does not hold a test's subject's caller finds the subject dead,
119
- // so a test is of dead code only where every production subject it names is dead in
120
- // every configuration that holds it.
121
- const subjectsDead = (at) => (union.out[at] ?? []).every((edge) => union.test[edge.to] === true ||
122
- union.support[edge.to] === true ||
123
- union.ambient[edge.to] === true ||
124
- union.subject[edge.to] !== true ||
125
- judged[edge.to] !== undefined);
126
- const admittedAt = (at) => judged[at]?.every((candidate) => candidate.testOfDeadCode) === true && subjectsDead(at);
127
- const kept = keptByTests(union, testReached, admittedAt);
128
- const testUsed = testUsedReach(union, union.symbols.map((_symbol, at) => matrix.testUsed[at] === true && testReached[at] === true), judged.map((one) => one !== undefined));
129
- const candidates = [];
130
- union.symbols.forEach((symbol, at) => {
131
- const all = judged[at];
132
- if (all === undefined) {
133
- return;
134
- }
135
- const held = matrix.heldIn[at] ?? [];
136
- const admitted = admittedAt(at);
137
- const testRefs = union.made[at]?.test ?? 0;
138
- const heldByTests = heldBy[union.parent[at] ?? OUTSIDE] ??
139
- (union.support[at] === true && testRefs > 0 && !admitted ? symbol.id : undefined);
140
- const unreferenced = union.test[at] === true && !admitted && testReached[at] !== true;
141
- heldBy[at] = heldByTests;
142
- const productionRefs = union.made[at]?.production ?? 0;
143
- const counted = all.every((candidate) => candidate.relation === "reference-counting");
144
- candidates.push({
145
- id: symbol.id,
146
- productionRefs,
147
- testRefs,
148
- // The run that judges a test-file declaration counts its test references.
149
- relation: (unreferenced ? productionRefs + testRefs === 0 : counted)
150
- ? "reference-counting"
151
- : "reachability",
152
- testOfDeadCode: admitted,
153
- configurations: held,
154
- heldByTests,
155
- unreferencedTest: unreferenced,
156
- testUsed: testUsed[at] === true,
157
- keptByTests: kept[at] === true,
158
- });
159
- });
160
- const liveUnder = liveAnywhere(union.symbols, per);
161
- return {
162
- liveUnder,
163
- candidates,
164
- components: deadComponents(matrix, { liveUnder, candidates }, new Set()),
165
- };
166
- }
167
- /** Per declaration of the union, whether one of `seeds` is it or reaches it through `dead` declarations. */
168
- function testUsedReach(union, seeds, dead) {
169
- // A file is no candidate, and its top level is what reaches what it alone calls.
170
- const reached = seeds.map((seed, at) => seed && dead[at] === true);
171
- const queue = seeds.flatMap((one, at) => (one ? [at] : []));
172
- for (let at = queue.pop(); at !== undefined; at = queue.pop()) {
173
- for (const edge of union.out[at] ?? []) {
174
- if (dead[edge.to] === true && reached[edge.to] !== true) {
175
- reached[edge.to] = true;
176
- queue.push(edge.to);
177
- }
178
- }
179
- }
180
- return reached;
181
- }
182
- /** Per declaration of the union, whether test code `reached` holds and `admitted` rejects references it. */
183
- function keptByTests(union, reached, admitted) {
184
- const kept = union.symbols.map(() => false);
185
- union.out.forEach((edges, from) => {
186
- const testCode = union.test[from] === true || union.support[from] === true;
187
- if (!testCode || reached[from] !== true || admitted(from)) {
188
- return;
189
- }
190
- for (const edge of edges) {
191
- if (edge.test) {
192
- kept[edge.to] = true;
193
- }
194
- }
195
- });
196
- return kept;
197
- }
198
- /**
199
- * The dead components of one sweep over the union, with the file declarations at `files`
200
- * dead as well: a file that is deleted whole takes the declarations it holds and every
201
- * dead declaration only its top level references with it.
202
- */
203
- export function deadComponents(matrix, result, files) {
204
- const union = matrix.union;
205
- const byId = new Map(result.candidates.map((candidate) => [candidate.id, candidate]));
206
- const candidateAt = (at) => byId.get(union.symbols[at]?.id ?? "");
207
- return componentsOf(union, union.symbols.map((_symbol, at) => {
208
- const candidate = candidateAt(at);
209
- return files.has(at) || (candidate !== undefined && candidate.heldByTests === undefined);
210
- }), union.symbols.map((_symbol, at) => candidateAt(at)?.testOfDeadCode === true), union.symbols.map((_symbol, at) => candidateAt(at)?.unreferencedTest === true), positionsOf(union, matrix.dependents, result.liveUnder));
211
- }
212
- /**
213
- * The file declarations at `paths`, below the target root, that one sweep holds live
214
- * under both relations, the rule a judged declaration is live by.
215
- */
216
- export function liveFilesAt(matrix, result, paths) {
217
- return matrix.union.symbols.filter((symbol) => symbol.kind === "file" &&
218
- paths.has(symbol.position.path) &&
219
- (result.liveUnder.get(symbol.id)?.length ?? 0) === RELATIONS.length);
220
- }
221
- /**
222
- * Each declaration's dependents by its place in the union, and per place whether the
223
- * declaration is live under reachability in some configuration.
224
- */
225
- function positionsOf(union, dependents, liveUnder) {
226
- return {
227
- dependents: union.symbols.map((symbol) => (dependents.get(symbol.id) ?? []).map((id) => union.at(id)).filter((at) => at !== OUTSIDE)),
228
- live: union.symbols.map((symbol) => liveUnder.get(symbol.id)?.includes("reachability") === true),
229
- };
230
- }
231
- /** The relations in the order a declaration's entry lists them. */
232
- const RELATIONS = ["reference-counting", "reachability"];
233
- /**
234
- * Per declaration, in site order, every relation that holds it live in at least one
235
- * configuration.
236
- */
237
- function liveAnywhere(symbols, per) {
238
- const live = new Map();
239
- for (const symbol of symbols) {
240
- const relations = RELATIONS.filter((relation) => per.some((liveness) => (liveness.liveUnder.get(symbol.id) ?? []).includes(relation)));
241
- if (relations.length > 0) {
242
- live.set(symbol.id, relations);
243
- }
244
- }
245
- return live;
246
- }
@@ -1,120 +0,0 @@
1
- /**
2
- * The `packages` list of a `pnpm-workspace.yaml`. The document is read as far as that
3
- * one key needs and no further: a top-level `packages` key holding a block sequence or
4
- * a one-line flow sequence of plain or quoted strings. Any other value of the key is
5
- * refused rather than guessed at, because a list read wrong names the wrong packages.
6
- */
7
- /** The characters a plain scalar may not start with. */
8
- const INDICATORS = new Set(["[", "]", "{", "}", ",", "&", "*", "!", "|", ">", "%", "@", "`", "#"]);
9
- /** One line with its comment removed, a `#` inside quotes kept. */
10
- function uncommented(line) {
11
- let quote;
12
- for (let at = 0; at < line.length; at += 1) {
13
- const character = line[at];
14
- if (quote !== undefined) {
15
- if (character === quote) {
16
- quote = undefined;
17
- }
18
- continue;
19
- }
20
- if (character === "'" || character === '"') {
21
- quote = character;
22
- }
23
- else if (character === "#" && (at === 0 || /\s/u.test(line[at - 1] ?? ""))) {
24
- return line.slice(0, at).trimEnd();
25
- }
26
- }
27
- return line.trimEnd();
28
- }
29
- /** One scalar as written, or `undefined` where it is not a string this reader reads. */
30
- function scalarOf(text) {
31
- const value = text.trim();
32
- if (value.length >= 2 && value.startsWith("'") && value.endsWith("'")) {
33
- const inner = value.slice(1, -1);
34
- return /'(?!')/u.test(inner.replaceAll("''", "")) ? undefined : inner.replaceAll("''", "'");
35
- }
36
- if (value.length >= 2 && value.startsWith('"') && value.endsWith('"')) {
37
- const inner = value.slice(1, -1);
38
- return inner.includes("\\") || inner.includes('"') ? undefined : inner;
39
- }
40
- if (value === "" ||
41
- INDICATORS.has(value[0] ?? "") ||
42
- value.startsWith("'") ||
43
- value.startsWith('"')) {
44
- return undefined;
45
- }
46
- if (value.startsWith("- ") || value.startsWith("? ") || /:(?:\s|$)/u.test(value)) {
47
- return undefined;
48
- }
49
- return value;
50
- }
51
- /** The entries of a one-line flow sequence, or `undefined` where one does not read. */
52
- function flowOf(text) {
53
- const inner = text.slice(1, -1).trim();
54
- if (inner === "") {
55
- return [];
56
- }
57
- const entries = inner.split(",");
58
- if (entries.length > 1 && entries.at(-1)?.trim() === "") {
59
- entries.pop();
60
- }
61
- const found = [];
62
- for (const entry of entries) {
63
- const value = scalarOf(entry);
64
- if (value === undefined) {
65
- return undefined;
66
- }
67
- found.push(value);
68
- }
69
- return found;
70
- }
71
- const KEY = /^(?:packages|'packages'|"packages")\s*:(?:\s(.*))?$/u;
72
- /** The `packages` list one `pnpm-workspace.yaml` text declares. */
73
- export function pnpmPackages(text) {
74
- const lines = text.split(/\r?\n/u).map(uncommented);
75
- const keys = lines.flatMap((line, at) => (KEY.test(line) ? [at] : []));
76
- const [at] = keys;
77
- if (at === undefined) {
78
- return { kind: "absent" };
79
- }
80
- if (keys.length > 1) {
81
- return { kind: "refused", reason: "the packages key is declared more than once" };
82
- }
83
- const rest = (KEY.exec(lines[at] ?? "")?.[1] ?? "").trim();
84
- if (rest !== "") {
85
- const listed = rest.startsWith("[") && rest.endsWith("]") ? flowOf(rest) : undefined;
86
- return listed === undefined
87
- ? {
88
- kind: "refused",
89
- reason: `packages holds ${JSON.stringify(rest)}, not a sequence of strings`,
90
- }
91
- : { kind: "listed", patterns: listed };
92
- }
93
- const patterns = [];
94
- for (const line of lines.slice(at + 1)) {
95
- if (line.trim() === "") {
96
- continue;
97
- }
98
- const item = /^(\s*)-(?:\s+(.*))?$/u.exec(line);
99
- if (item === null) {
100
- if (/^\s/u.test(line)) {
101
- return {
102
- kind: "refused",
103
- reason: `packages holds ${JSON.stringify(line.trim())}, not a sequence item`,
104
- };
105
- }
106
- break;
107
- }
108
- const value = scalarOf(item[2] ?? "");
109
- if (value === undefined) {
110
- return {
111
- kind: "refused",
112
- reason: `the packages item ${JSON.stringify(line.trim())} is not a plain or quoted string`,
113
- };
114
- }
115
- patterns.push(value);
116
- }
117
- return patterns.length === 0
118
- ? { kind: "refused", reason: "packages holds no sequence" }
119
- : { kind: "listed", patterns };
120
- }