@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,529 +0,0 @@
1
- /**
2
- * The files a tool or the platform enters without any import naming them: the
3
- * configuration files a tool loads by their file name and the files their strings
4
- * name, the test files the runner executes, and a worker a call addresses by a string
5
- * literal.
6
- *
7
- * Each rule is read from the program and nothing else: a file name the tool
8
- * itself looks for, a literal written in a configuration file, or a literal
9
- * argument of a call the checker resolves to the platform's own declaration. A
10
- * value that is not a literal is not evaluated and not guessed, so a file it would
11
- * have named is entered by nothing here.
12
- */
13
- import { isArrayLiteralExpression, isAsExpression, isBinaryExpression, isCallExpression, isExportAssignment, isIdentifier, isMetaProperty, isNewExpression, isNoSubstitutionTemplateLiteral, isObjectLiteralExpression, isParenthesizedExpression, isPropertyAccessExpression, isPropertyAssignment, isSatisfiesExpression, isStringLiteral, isTemplateExpression, SyntaxKind, } from "@typescript/native/ast";
14
- import { SymbolFlags } from "@typescript/native/sync";
15
- import { configurationFiles, filesNamedBy, moduleStrings, } from "./configuration-files.js";
16
- import { globExpression } from "./glob.js";
17
- import { htmlEntries } from "./html-entries.js";
18
- import { documentEntries } from "./mdx-entries.js";
19
- import { dirnamePath, relativePath, resolvePath } from "./paths.js";
20
- import { UNANSWERED } from "./query.js";
21
- import { workflowEntries } from "./workflow-steps.js";
22
- /** The extensions the test runner and the browser-test runner load a configuration from. */
23
- const MODULE_EXTENSIONS = ["js", "mjs", "cjs", "ts", "mts", "cts"];
24
- /** The tool file names the configuration form does not cover. */
25
- const CONVENTIONS = [
26
- {
27
- rule: "test-runner",
28
- stems: ["vitest.workspace", "vitest.projects"],
29
- extensions: MODULE_EXTENSIONS,
30
- testRunner: true,
31
- },
32
- ];
33
- /** The stem of the browser-test runner's configuration, whose test directory is read. */
34
- const BROWSER_TEST_CONFIG = "playwright.config";
35
- /** The browser-test runner's own test-file pattern, which holds where a configuration names none. */
36
- const BROWSER_TEST_MATCH = "**/*.{spec,test}.{js,ts,jsx,tsx,cjs,cts,cjsx,ctsx,mjs,mts,mjsx,mtsx}";
37
- /** The members of a test-runner configuration's `test` object that name setup files. */
38
- const SETUP_MEMBERS = ["setupFiles", "globalSetup"];
39
- /** A member that moves the directory every path of a test-runner configuration is read from. */
40
- const ROOT_MEMBER = "root";
41
- /**
42
- * A URL reference's scheme. A reference with none that does not start with a solidus is
43
- * relative, the bare name included: https://url.spec.whatwg.org/#relative-url-string
44
- */
45
- const URL_SCHEME = /^[a-z][a-z\d+.-]*:/iu;
46
- /** The constructors whose first argument addresses a worker script. */
47
- const WORKER_CONSTRUCTORS = new Set(["Worker", "SharedWorker"]);
48
- /** The file's name, the last segment of its path. */
49
- function basename(path) {
50
- return path.slice(path.lastIndexOf("/") + 1);
51
- }
52
- /** The convention one file name is, with the spelling a root reports it by. */
53
- function conventionOf(name) {
54
- for (const convention of CONVENTIONS) {
55
- for (const stem of convention.stems) {
56
- if (convention.extensions.some((ext) => name === `${stem}.${ext}`)) {
57
- return { convention, spelled: `${stem}.*` };
58
- }
59
- }
60
- }
61
- return undefined;
62
- }
63
- /** The text a string literal or a template with no substitution denotes. */
64
- function literalOf(node) {
65
- if (node !== undefined && (isStringLiteral(node) || isNoSubstitutionTemplateLiteral(node))) {
66
- return node.text;
67
- }
68
- return undefined;
69
- }
70
- /** The expression a wrapper that changes no value holds: parentheses and type assertions. */
71
- function unwrapped(node) {
72
- let at = node;
73
- while (isParenthesizedExpression(at) || isAsExpression(at) || isSatisfiesExpression(at)) {
74
- at = at.expression;
75
- }
76
- return at;
77
- }
78
- /**
79
- * The object literals one configuration file's default export is written as: the
80
- * literal itself, or each literal argument of the call it is, at any depth of calls.
81
- * A default export written as anything else, a name or a computation, yields none,
82
- * because its value is not in the file's text.
83
- */
84
- function configObjects(file) {
85
- const found = [];
86
- const collect = (node) => {
87
- const at = unwrapped(node);
88
- if (isObjectLiteralExpression(at)) {
89
- found.push(at);
90
- return;
91
- }
92
- if (isCallExpression(at)) {
93
- for (const argument of at.arguments) {
94
- collect(argument);
95
- }
96
- }
97
- };
98
- for (const statement of file.statements) {
99
- if (isExportAssignment(statement) && !statement.isExportEquals) {
100
- collect(statement.expression);
101
- }
102
- }
103
- return found;
104
- }
105
- /**
106
- * The value one member of an object literal is written with, when it is written as
107
- * `name: value`, and undefined where the literal writes no such member.
108
- */
109
- function memberOf(object, name) {
110
- if (!isObjectLiteralExpression(object)) {
111
- return undefined;
112
- }
113
- for (const property of object.properties) {
114
- if (isPropertyAssignment(property) &&
115
- isIdentifier(property.name) &&
116
- property.name.text === name) {
117
- return property.initializer;
118
- }
119
- }
120
- return undefined;
121
- }
122
- /**
123
- * The strings one member holds, when it is written as a literal or an array of
124
- * literals. `undefined` is a value the text does not state.
125
- */
126
- function literalsOf(value) {
127
- const at = unwrapped(value);
128
- const single = literalOf(at);
129
- if (single !== undefined) {
130
- return [single];
131
- }
132
- if (!isArrayLiteralExpression(at)) {
133
- return undefined;
134
- }
135
- const found = [];
136
- for (const element of at.elements) {
137
- const text = literalOf(unwrapped(element));
138
- if (text === undefined) {
139
- return undefined;
140
- }
141
- found.push(text);
142
- }
143
- return found;
144
- }
145
- /**
146
- * Whether a literal is a relative URL reference, which is also how the test runner reads a
147
- * setup file's path against its root.
148
- */
149
- function isRelative(text) {
150
- return text !== "" && !text.startsWith("/") && !URL_SCHEME.test(text);
151
- }
152
- /** Whether a module specifier is relative, which a bare name is not: it names a package. */
153
- function isModuleRelative(text) {
154
- return text.startsWith("./") || text.startsWith("../");
155
- }
156
- /** A URL reference with its query and its fragment removed, which name no part of the file. */
157
- function pathPart(text) {
158
- const cut = text.search(/[?#]/u);
159
- return cut < 0 ? text : text.slice(0, cut);
160
- }
161
- /** The own files one relative literal names, read against a directory. */
162
- function filesNamed(files, dir, text) {
163
- if (!isRelative(text)) {
164
- return [];
165
- }
166
- return files.named(resolvePath(dir, pathPart(text)));
167
- }
168
- /** Whether one file name is the browser-test runner's configuration. */
169
- function isBrowserTestConfig(name) {
170
- return MODULE_EXTENSIONS.some((ext) => name === `${BROWSER_TEST_CONFIG}.${ext}`);
171
- }
172
- /**
173
- * The files the configuration files of one project enter: each configuration module,
174
- * with what it exports, and each own file a relative string of a configuration module
175
- * or a JSON configuration file names, read against that file's directory. A string at a
176
- * selection key of an applied convention row names no file.
177
- */
178
- function configurationEntries(host, targetRoot, files, parse, selected) {
179
- const { modules, documents, outside } = configurationFiles(host, targetRoot, files, parse);
180
- const found = [];
181
- const unselected = (file) => {
182
- const starts = selected.get(file.fileName)?.starts;
183
- return moduleStrings(file)
184
- .filter((one) => starts?.has(one.node.getStart()) !== true)
185
- .map((one) => one.text);
186
- };
187
- const unselectedIn = (path, texts) => {
188
- const left = [...(selected.get(path)?.texts ?? [])];
189
- return texts.filter((text) => {
190
- const at = left.indexOf(text);
191
- if (at < 0) {
192
- return true;
193
- }
194
- left.splice(at, 1);
195
- return false;
196
- });
197
- };
198
- const strings = (dir, texts) => {
199
- for (const text of texts) {
200
- for (const file of filesNamedBy(files, dir, text)) {
201
- found.push({ file, rule: "configuration-string", source: text, exports: true });
202
- }
203
- }
204
- };
205
- for (const { file, form } of modules) {
206
- found.push({ file, rule: "configuration-file", source: form, exports: true });
207
- strings(dirnamePath(file.fileName), unselected(file));
208
- }
209
- for (const document of documents) {
210
- strings(dirnamePath(document.path), unselectedIn(document.path, document.strings));
211
- }
212
- for (const { file } of outside) {
213
- strings(dirnamePath(file.fileName), moduleStrings(file).map((one) => one.text));
214
- }
215
- return found;
216
- }
217
- /**
218
- * The setup files one test-runner configuration names: every literal under
219
- * `test.setupFiles` and `test.globalSetup`, read against the configuration's own
220
- * directory. A configuration that moves its root names them against a directory its
221
- * text may not state, so none is read from it.
222
- */
223
- function setupFilesOf(file, files) {
224
- const objects = configObjects(file);
225
- const tests = objects
226
- .map((object) => memberOf(object, "test"))
227
- .filter((value) => value !== undefined)
228
- .map(unwrapped);
229
- if ([...objects, ...tests].some((object) => memberOf(object, ROOT_MEMBER) !== undefined)) {
230
- return [];
231
- }
232
- const dir = dirnamePath(file.fileName);
233
- const found = [];
234
- for (const test of tests) {
235
- for (const name of SETUP_MEMBERS) {
236
- const value = memberOf(test, name);
237
- for (const text of value === undefined ? [] : (literalsOf(value) ?? [])) {
238
- for (const named of filesNamed(files, dir, text)) {
239
- found.push({ file: named, rule: "test-runner", source: text, exports: false });
240
- }
241
- }
242
- }
243
- }
244
- return found;
245
- }
246
- /**
247
- * The test files one browser-test configuration names: every own file below its
248
- * test directory that its test-file pattern matches. The directory is the literal
249
- * `testDir` reads against the configuration's directory, or that directory where no
250
- * object of the configuration writes one; the pattern is the literal `testMatch`, or
251
- * the runner's own where none is written. A member whose value is not a literal
252
- * leaves the set unknown, and an unknown set enters nothing.
253
- */
254
- function browserTestsOf(file, files) {
255
- const objects = configObjects(file);
256
- if (objects.length === 0) {
257
- return [];
258
- }
259
- let testDir = ".";
260
- let patterns = [BROWSER_TEST_MATCH];
261
- for (const object of objects) {
262
- const dir = memberOf(object, "testDir");
263
- if (dir !== undefined) {
264
- testDir = literalOf(unwrapped(dir));
265
- }
266
- const match = memberOf(object, "testMatch");
267
- if (match !== undefined) {
268
- patterns = literalsOf(match);
269
- }
270
- }
271
- if (testDir === undefined || patterns === undefined) {
272
- return [];
273
- }
274
- const under = resolvePath(dirnamePath(file.fileName), testDir);
275
- const found = [];
276
- for (const pattern of patterns) {
277
- const expression = globExpression(pattern);
278
- for (const candidate of files.byName.values()) {
279
- const below = relativePath(under, candidate.fileName);
280
- if (below !== undefined && expression.test(below)) {
281
- found.push({ file: candidate, rule: "browser-tests", source: pattern, exports: false });
282
- }
283
- }
284
- }
285
- return found;
286
- }
287
- /**
288
- * The address one worker argument writes: a relative literal, or a `URL` built from
289
- * a literal against `import.meta.url`. Any other argument is computed and addresses
290
- * nothing the text states.
291
- */
292
- function workerAddress(argument) {
293
- if (argument === undefined) {
294
- return undefined;
295
- }
296
- const at = unwrapped(argument);
297
- const literal = literalOf(at);
298
- if (literal !== undefined) {
299
- return { literal, names: [] };
300
- }
301
- if (!isNewExpression(at) || !isIdentifier(at.expression) || at.expression.text !== "URL") {
302
- return undefined;
303
- }
304
- const [reference, base] = at.arguments ?? [];
305
- const text = literalOf(reference === undefined ? undefined : unwrapped(reference));
306
- if (text === undefined || base === undefined) {
307
- return undefined;
308
- }
309
- const meta = unwrapped(base);
310
- if (!isPropertyAccessExpression(meta) ||
311
- !isMetaProperty(meta.expression) ||
312
- !isIdentifier(meta.name) ||
313
- meta.name.text !== "url") {
314
- return undefined;
315
- }
316
- return { literal: text, names: [at.expression] };
317
- }
318
- /**
319
- * Every call one file writes that addresses a worker: `new Worker(...)`,
320
- * `new SharedWorker(...)` and `navigator.serviceWorker.register(...)`, each with an
321
- * address its text states.
322
- */
323
- function workerSitesOf(file) {
324
- const found = [];
325
- const visit = (node) => {
326
- if (isNewExpression(node) &&
327
- isIdentifier(node.expression) &&
328
- WORKER_CONSTRUCTORS.has(node.expression.text)) {
329
- const address = workerAddress(node.arguments?.[0]);
330
- if (address !== undefined) {
331
- found.push({
332
- literal: address.literal,
333
- platformNames: [node.expression, ...address.names],
334
- });
335
- }
336
- }
337
- if (isCallExpression(node)) {
338
- const callee = node.expression;
339
- if (isPropertyAccessExpression(callee) &&
340
- isIdentifier(callee.name) &&
341
- callee.name.text === "register" &&
342
- isPropertyAccessExpression(callee.expression) &&
343
- isIdentifier(callee.expression.name) &&
344
- callee.expression.name.text === "serviceWorker" &&
345
- isIdentifier(callee.expression.expression) &&
346
- callee.expression.expression.text === "navigator") {
347
- const address = workerAddress(node.arguments[0]);
348
- if (address !== undefined) {
349
- found.push({
350
- literal: address.literal,
351
- platformNames: [callee.expression.expression, ...address.names],
352
- });
353
- }
354
- }
355
- }
356
- node.forEachChild(visit);
357
- };
358
- file.forEachChild(visit);
359
- return found;
360
- }
361
- /**
362
- * The workers one file addresses. A call's names must resolve to a symbol the platform
363
- * declares, which a file of the target may augment and no import brings in; a name only
364
- * the target declares is the target's own constructor or object, which addresses no
365
- * worker this rule knows. One batch per file that writes such a call.
366
- */
367
- function workersOf(project, file, files) {
368
- const sites = workerSitesOf(file);
369
- if (sites.length === 0) {
370
- return [];
371
- }
372
- const names = sites.flatMap((site) => site.platformNames);
373
- const symbols = project.symbolsAt(names.map((name) => project.handle(name)));
374
- const platform = new Set();
375
- // A name the checker could not resolve is read as the platform's, so a worker it
376
- // stands on is rooted rather than reported.
377
- names.forEach((name, index) => {
378
- const symbol = symbols[index];
379
- if (symbol === UNANSWERED) {
380
- platform.add(name);
381
- return;
382
- }
383
- if (symbol !== undefined &&
384
- (symbol.flags & SymbolFlags.Alias) === 0 &&
385
- symbol.declarations.some((handle) => !files.byName.has(handle.path))) {
386
- platform.add(name);
387
- }
388
- });
389
- const dir = dirnamePath(file.fileName);
390
- const found = [];
391
- for (const site of sites) {
392
- if (!site.platformNames.every((name) => platform.has(name))) {
393
- continue;
394
- }
395
- for (const named of filesNamed(files, dir, site.literal)) {
396
- found.push({ file: named, rule: "worker", source: site.literal, exports: false });
397
- }
398
- }
399
- return found;
400
- }
401
- /** The literal text a computed path starts with: a template's head, or a concatenation's first literal. */
402
- function leadingLiteral(node) {
403
- const at = unwrapped(node);
404
- if (isTemplateExpression(at)) {
405
- return at.head.text;
406
- }
407
- if (isBinaryExpression(at) && at.operatorToken.kind === SyntaxKind.PlusToken) {
408
- return literalOf(unwrapped(at.left)) ?? leadingLiteral(at.left);
409
- }
410
- return undefined;
411
- }
412
- /** Whether one call is `import.meta.glob(...)`. */
413
- function isMetaGlob(node) {
414
- if (!isCallExpression(node) || !isPropertyAccessExpression(node.expression)) {
415
- return false;
416
- }
417
- const { expression, name } = node.expression;
418
- return (isIdentifier(name) &&
419
- name.text === "glob" &&
420
- isMetaProperty(expression) &&
421
- expression.keywordToken === SyntaxKind.ImportKeyword);
422
- }
423
- /**
424
- * The files one file loads by a computed path, each with what exports: every own file
425
- * below the directory a relative literal start of an `import()` or `require()` argument
426
- * names, other than the calling file's own directory or one holding it, which would name
427
- * every sibling, and
428
- * every own file a relative literal glob of `import.meta.glob` matches, both read against
429
- * the calling file's directory, as a bundler's context module reads them.
430
- */
431
- function computedImportsOf(file, files) {
432
- const dir = dirnamePath(file.fileName);
433
- const found = [];
434
- const below = (prefix) => {
435
- const target = resolvePath(dir, prefix);
436
- if (!isModuleRelative(prefix) ||
437
- !prefix.endsWith("/") ||
438
- target === dir ||
439
- relativePath(target, dir) !== undefined) {
440
- return;
441
- }
442
- for (const candidate of files.byName.values()) {
443
- if (candidate !== file && relativePath(target, candidate.fileName) !== undefined) {
444
- found.push({ file: candidate, rule: "computed-import", source: prefix, exports: true });
445
- }
446
- }
447
- };
448
- const globbed = (pattern) => {
449
- if (!isModuleRelative(pattern)) {
450
- return;
451
- }
452
- const expression = globExpression(resolvePath(dir, pattern));
453
- for (const candidate of files.byName.values()) {
454
- if (candidate !== file && expression.test(candidate.fileName)) {
455
- found.push({ file: candidate, rule: "computed-import", source: pattern, exports: true });
456
- }
457
- }
458
- };
459
- const visit = (node) => {
460
- if (isCallExpression(node)) {
461
- const [first] = node.arguments;
462
- const callee = node.expression;
463
- const loads = callee.kind === SyntaxKind.ImportKeyword ||
464
- (isIdentifier(callee) && callee.text === "require");
465
- if (loads && first !== undefined) {
466
- const prefix = leadingLiteral(first);
467
- if (prefix !== undefined) {
468
- below(prefix);
469
- }
470
- }
471
- else if (isMetaGlob(node) && first !== undefined) {
472
- for (const pattern of literalsOf(first) ?? []) {
473
- globbed(pattern);
474
- }
475
- }
476
- }
477
- node.forEachChild(visit);
478
- };
479
- file.forEachChild(visit);
480
- return found;
481
- }
482
- /**
483
- * Every file of one project the rules enter, in no particular order and possibly more
484
- * than once: a file two rules enter appears once per rule.
485
- *
486
- * `testFiles` is the configuration's test-file patterns, matched against each
487
- * file's path below the target root; a file one of them matches is a test file the
488
- * runner executes.
489
- */
490
- export function entryPoints(project, files, testFiles, host, targetRoot, parse, selected = new Map()) {
491
- const found = [...configurationEntries(host, targetRoot, files, parse, selected)];
492
- const tests = testFiles.map((pattern) => ({ pattern, expression: globExpression(pattern) }));
493
- for (const [path, file] of files.byPath) {
494
- const name = basename(path);
495
- const named = conventionOf(name);
496
- if (named !== undefined) {
497
- found.push({ file, rule: named.convention.rule, source: named.spelled, exports: true });
498
- if (named.convention.testRunner) {
499
- found.push(...setupFilesOf(file, files));
500
- }
501
- }
502
- if (isBrowserTestConfig(name)) {
503
- found.push(...browserTestsOf(file, files));
504
- }
505
- for (const { pattern, expression } of tests) {
506
- if (expression.test(path)) {
507
- found.push({ file, rule: "test-runner", source: pattern, exports: false });
508
- }
509
- }
510
- found.push(...workersOf(project, file, files));
511
- found.push(...computedImportsOf(file, files));
512
- }
513
- for (const { file, source } of htmlEntries(host, targetRoot, files, parse)) {
514
- found.push({ file, rule: "html-entry", source, exports: true });
515
- }
516
- for (const { file, source, names } of documentEntries(host, targetRoot, files)) {
517
- found.push({
518
- file,
519
- rule: "document-import",
520
- source,
521
- exports: true,
522
- ...(names === undefined ? {} : { names }),
523
- });
524
- }
525
- for (const { file, source } of workflowEntries(host, targetRoot, files)) {
526
- found.push({ file, rule: "workflow-step", source, exports: true });
527
- }
528
- return found;
529
- }
package/dist/src/glob.js DELETED
@@ -1,65 +0,0 @@
1
- /**
2
- * Glob patterns over the paths of the target's own files, as the configuration
3
- * writes them. Both `ts.test_files` and `ts.entry_files` name files this way, and
4
- * one grammar answers for both.
5
- *
6
- * A configured root is not written in this grammar. It names a symbol reference
7
- * rather than a path, `*` there spans the solidus and a brace list means nothing,
8
- * so that rule is written where it is read.
9
- */
10
- /**
11
- * One literal run of a pattern, with every character the expression syntax claims
12
- * escaped.
13
- *
14
- * The set is the syntax characters and the solidus, and it is closed: an escape of any
15
- * other character is refused outright by the expression syntax under the unicode flag,
16
- * so escaping a hyphen, which needs none outside a character class, would refuse every
17
- * pattern that names a hyphenated path.
18
- */
19
- function quoted(text) {
20
- return text.replaceAll(/[.*+?^${}()|[\]\\/]/gu, (character) => `\\${character}`);
21
- }
22
- /**
23
- * The expression one glob pattern denotes. `**` spans path separators while `*` and `?`
24
- * do not, a brace list is an alternation of its members, and every other character
25
- * stands for itself.
26
- */
27
- export function globExpression(pattern) {
28
- let source = "^";
29
- let at = 0;
30
- while (at < pattern.length) {
31
- const rest = pattern.slice(at);
32
- if (rest.startsWith("**/")) {
33
- source += "(?:[^/]*/)*";
34
- at += 3;
35
- continue;
36
- }
37
- if (rest.startsWith("**")) {
38
- source += ".*";
39
- at += 2;
40
- continue;
41
- }
42
- const character = pattern[at] ?? "";
43
- at += 1;
44
- if (character === "*") {
45
- source += "[^/]*";
46
- continue;
47
- }
48
- if (character === "?") {
49
- source += "[^/]";
50
- continue;
51
- }
52
- if (character === "{") {
53
- const close = pattern.indexOf("}", at);
54
- if (close < 0) {
55
- source += "\\{";
56
- continue;
57
- }
58
- source += `(?:${pattern.slice(at, close).split(",").map(quoted).join("|")})`;
59
- at = close + 1;
60
- continue;
61
- }
62
- source += quoted(character);
63
- }
64
- return new RegExp(`${source}$`, "u");
65
- }