@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
@@ -0,0 +1,289 @@
1
+ import { conventionFailuresFor } from "../entries/conventions.js";
2
+ import { relativePath, resolvePath } from "../paths.js";
3
+ import { diagnosticsOf, ownedAs } from "../session.js";
4
+ import { skipAt } from "../type-errors.js";
5
+ import { classOf, MISSING_GLOBAL_TYPE, projectErrors, renderDiagnostic, } from "./diagnostics.js";
6
+ import { targetRelative, unreadableDetail, } from "./discover.js";
7
+ import { missingModule, pathsOf } from "./expected-module.js";
8
+ import { FailureExit, failureLine } from "../failure.js";
9
+ import { JAVASCRIPT_FILE } from "../javascript-file.js";
10
+ import { readSpecifiers } from "./specifiers.js";
11
+ import { ownErrors } from "./workspace-run.js";
12
+ /** What a failure ends or drops, by where the configuration comes from. */
13
+ const POLICY = {
14
+ declared: { load: "end", setup: "end", unopened: "end" },
15
+ scope: { load: "end", setup: "end", unopened: "end" },
16
+ derived: { load: "drop", setup: "drop", unopened: "drop" },
17
+ consumer: { load: "end", setup: "end", unopened: "end" },
18
+ };
19
+ /**
20
+ * The errors of one project's own files: an import of a module the project expects and
21
+ * nothing provides is a setup failure, every other error a type error skipping its unit.
22
+ * Where `plan`'s options do not check JavaScript, an unfound module of a JavaScript file is
23
+ * none of them, a file `// @ts-check` checks included: {@link readSpecifiers} reads it.
24
+ */
25
+ function readErrors(project, plan, errors, context) {
26
+ const files = new Map(project.ownSourceFiles().map((file) => [file.fileName, file]));
27
+ const missing = [];
28
+ const skips = [];
29
+ for (const { diagnostic, at } of errors) {
30
+ const file = diagnostic.fileName === undefined ? undefined : files.get(diagnostic.fileName);
31
+ const kind = classOf(diagnostic, true);
32
+ if (file === undefined ||
33
+ kind === "ignored" ||
34
+ ((kind === "module-not-found" || kind === "side-effect-module-not-found") &&
35
+ !checksJavaScript(plan) &&
36
+ JAVASCRIPT_FILE.test(file.fileName))) {
37
+ continue;
38
+ }
39
+ const line = at?.line ?? 1;
40
+ const path = relativePath(context.targetRoot, file.fileName) ?? file.fileName;
41
+ const expected = kind === "module-not-found" ? missingModule(context, file, diagnostic.pos) : undefined;
42
+ if (expected !== undefined) {
43
+ missing.push({
44
+ failureClass: "missing-module",
45
+ detail: `${path}:${String(line)}: ${path} imports ${JSON.stringify(expected.specifier)}, ${expected.reason}`,
46
+ });
47
+ continue;
48
+ }
49
+ const skip = skipAt(file, diagnostic.pos, line, diagnostic.text, context.targetRoot);
50
+ if (skip !== undefined) {
51
+ skips.push(skip);
52
+ }
53
+ }
54
+ return { missing, skips };
55
+ }
56
+ function checksJavaScript(plan) {
57
+ return plan.options.checkJs === true;
58
+ }
59
+ function nonEmpty(items) {
60
+ const [first, ...rest] = items;
61
+ return first === undefined ? undefined : [first, ...rest];
62
+ }
63
+ /** One target project read for what keeps it from being analyzed, or the skips it is analyzed with. */
64
+ function classifyTarget(engine, host, run, plan, view, unfound) {
65
+ const { workspace, root } = run;
66
+ const unbuildable = workspace?.unbuildable(plan.configFile);
67
+ if (unbuildable !== undefined) {
68
+ return {
69
+ kind: "setup",
70
+ failures: [{ failureClass: "workspace-member-without-source", detail: unbuildable }],
71
+ };
72
+ }
73
+ const referenceOnly = workspace === undefined
74
+ ? () => false
75
+ : workspace.referenceOnly(plan.configFile, view.rootFiles);
76
+ // A file outside the target root that a program reaches is no file of the target's, so no
77
+ // position below the root names it.
78
+ const project = ownedAs(view, (file, external) => relativePath(root, file) !== undefined &&
79
+ (workspace === undefined ? !external : workspace.ownFile(file, external)));
80
+ const raw = projectErrors(diagnosticsOf(project));
81
+ const load = nonEmpty(raw.load);
82
+ if (load !== undefined) {
83
+ return { kind: "load", errors: load, unreadable: raw.unreadable };
84
+ }
85
+ const reading = readErrors(project, plan, ownErrors(raw.check, referenceOnly), {
86
+ host,
87
+ targetRoot: root,
88
+ paths: pathsOf(plan.configFile, plan.parsed.options),
89
+ member: (manifest) => workspace?.workspace.memberOf(manifest) !== undefined,
90
+ });
91
+ const specifiers = readSpecifiers(engine, host, project, {
92
+ checked: checksJavaScript(plan),
93
+ root,
94
+ outputs: run.outputs,
95
+ });
96
+ const failures = nonEmpty(reading.missing) ??
97
+ nonEmpty(specifiers.uninstalled === undefined ? [] : [specifiers.uninstalled]) ??
98
+ nonEmpty(conventionFailuresFor(run.conventions, plan.configFile, project.ownSourceFiles().map((file) => file.fileName)));
99
+ if (failures !== undefined) {
100
+ return { kind: "setup", failures };
101
+ }
102
+ const display = (path) => relativePath(root, path) ?? path;
103
+ unfound.push(...raw.unfound.map((one) => ({
104
+ configFile: plan.configFile,
105
+ error: renderDiagnostic(one, display),
106
+ })));
107
+ const missingGlobal = raw.unfound.find(({ diagnostic }) => diagnostic.code === MISSING_GLOBAL_TYPE);
108
+ // The checker types every use of a missing global against nothing and places no error in
109
+ // a file, so every file of the project is skipped whole.
110
+ const skips = missingGlobal === undefined
111
+ ? reading.skips
112
+ : [
113
+ ...reading.skips,
114
+ ...project.ownSourceFiles().map((file) => ({
115
+ record: {
116
+ path: display(file.fileName),
117
+ line: 1,
118
+ message: missingGlobal.diagnostic.text,
119
+ },
120
+ file,
121
+ unit: file,
122
+ })),
123
+ ];
124
+ return { plan, project, skips, referenceOnly, unresolved: specifiers.unresolved };
125
+ }
126
+ /**
127
+ * One consumer project read for what keeps its references from being read: a missing module, or
128
+ * JavaScript whose imported dependencies are none of them installed, as a target's are. A workspace
129
+ * declaration that cannot be read fails it where an import asks whether a package is a member.
130
+ */
131
+ function classifyConsumer(engine, host, run, plan, consumer, project) {
132
+ const place = run.consumerWorkspaces.get(consumer.path);
133
+ const consumerRoot = resolvePath(host.workingDirectory(), consumer.path);
134
+ const raw = projectErrors(diagnosticsOf(project));
135
+ const load = nonEmpty(raw.load);
136
+ if (load !== undefined) {
137
+ return { kind: "load", errors: load, unreadable: raw.unreadable };
138
+ }
139
+ let faulted;
140
+ const reading = readErrors(project, plan, raw.check, {
141
+ host,
142
+ targetRoot: consumerRoot,
143
+ paths: pathsOf(plan.configFile, plan.parsed.options),
144
+ member: (manifest) => {
145
+ if (place !== undefined && "fault" in place) {
146
+ faulted = place.fault;
147
+ return false;
148
+ }
149
+ return place?.workspace?.memberOf(manifest) !== undefined;
150
+ },
151
+ });
152
+ const { uninstalled } = readSpecifiers(engine, host, project, {
153
+ checked: checksJavaScript(plan),
154
+ root: consumerRoot,
155
+ outputs: run.outputs,
156
+ });
157
+ const details = faulted === undefined
158
+ ? [...reading.missing, ...(uninstalled === undefined ? [] : [uninstalled])].map((one) => `the consumer ${consumer.path} does not build, its dependencies not installed: ${one.detail}`)
159
+ : [
160
+ `the consumer ${consumer.path} imports a dependency a package below it declares, and its workspace declaration cannot be read to tell whether that package is a member: ${faulted}`,
161
+ ];
162
+ const failures = nonEmpty(details.map((detail) => ({ failureClass: "missing-consumer", detail })));
163
+ return failures === undefined ? { project, consumer } : { kind: "setup", failures };
164
+ }
165
+ /** The setup failure one failed configuration ends the run with, its located errors printed first. */
166
+ function ending(plan, failed, root) {
167
+ if (failed.kind === "setup") {
168
+ return failed.failures;
169
+ }
170
+ const what = failed.kind === "load"
171
+ ? `the configuration ${relativePath(root, plan.configFile) ?? plan.configFile} does not load, its errors printed above`
172
+ : `the compiler opened no project for ${plan.configFile}`;
173
+ return plan.consumer === undefined
174
+ ? [
175
+ {
176
+ failureClass: failed.kind === "load" && failed.unreadable ? "unreadable-configuration" : "no-program",
177
+ detail: `${what}: correct the configuration, or name the configurations to analyze`,
178
+ },
179
+ ]
180
+ : [
181
+ {
182
+ failureClass: "missing-consumer",
183
+ detail: `${what}, for the consumer ${plan.consumer.path}: check the consumer out at ${plan.consumer.path} and install its dependencies`,
184
+ },
185
+ ];
186
+ }
187
+ /** The setup failures a dropped derived configuration counts as, where it counts as any. */
188
+ function droppedFailures(failed, plan, root) {
189
+ if (failed.kind === "setup") {
190
+ return { failures: failed.failures };
191
+ }
192
+ return failed.kind === "load" && failed.unreadable
193
+ ? {
194
+ failures: [
195
+ {
196
+ failureClass: "unreadable-configuration",
197
+ detail: unreadableDetail(plan.id, `cannot be read as a compiler configuration: ${droppedBy(failed, root)}`),
198
+ },
199
+ ],
200
+ }
201
+ : {};
202
+ }
203
+ /** The first line of the error that drops one derived configuration. */
204
+ function droppedBy(failed, root) {
205
+ return failed.kind === "load"
206
+ ? targetRelative(renderDiagnostic(failed.errors[0], (path) => relativePath(root, path) ?? path), root)
207
+ : failed.kind === "setup"
208
+ ? targetRelative(failureLine(failed.failures[0]), root)
209
+ : "the compiler opened no project for the configuration";
210
+ }
211
+ /**
212
+ * Every opened project of the run classified as analyzed, dropped or failing by the policy
213
+ * table, before any stage reads one. A failure that ends the run is one {@link FailureExit}, by
214
+ * this precedence: a configuration the snapshot opened nothing for, then the setup failures,
215
+ * then the configurations that did not load with their errors, then, where every derived
216
+ * configuration was dropped, their setup failures or the first reason.
217
+ */
218
+ export function classify(engine, host, run, views) {
219
+ const { root } = run;
220
+ const notBuilt = [...run.discovery.notBuilt];
221
+ const librariesUnfound = [];
222
+ const analyzed = [];
223
+ const consumed = [];
224
+ const ended = new Map();
225
+ const unopened = run.plans.filter((plan) => !views.has(plan.configFile));
226
+ const outcomes = [
227
+ ...run.plans.flatMap((plan) => {
228
+ const view = views.get(plan.configFile);
229
+ return view === undefined
230
+ ? []
231
+ : [
232
+ {
233
+ plan,
234
+ outcome: plan.consumer === undefined
235
+ ? classifyTarget(engine, host, run, plan, view, librariesUnfound)
236
+ : classifyConsumer(engine, host, run, plan, plan.consumer, view),
237
+ },
238
+ ];
239
+ }),
240
+ ...unopened.map((plan) => ({ plan, outcome: { kind: "unopened" } })),
241
+ ];
242
+ for (const { plan, outcome } of outcomes) {
243
+ if (!("kind" in outcome)) {
244
+ if ("consumer" in outcome) {
245
+ consumed.push(outcome);
246
+ }
247
+ else {
248
+ analyzed.push(outcome);
249
+ }
250
+ }
251
+ else if (POLICY[plan.origin][outcome.kind] === "end") {
252
+ ended.set(outcome.kind, [...(ended.get(outcome.kind) ?? []), { plan, failed: outcome }]);
253
+ }
254
+ else {
255
+ notBuilt.push({
256
+ id: plan.id,
257
+ configFile: plan.configFile,
258
+ error: droppedBy(outcome, root),
259
+ ...droppedFailures(outcome, plan, root),
260
+ });
261
+ }
262
+ }
263
+ for (const kind of ["unopened", "setup", "load"]) {
264
+ const all = ended.get(kind) ?? [];
265
+ const failures = nonEmpty(all.flatMap(({ plan, failed }) => ending(plan, failed, root)));
266
+ if (failures !== undefined) {
267
+ throw new FailureExit(kind === "unopened" ? [failures[0]] : failures, all.flatMap(({ failed }) => (failed.kind === "load" ? failed.errors : [])));
268
+ }
269
+ }
270
+ const setupDropped = nonEmpty(notBuilt.flatMap((one) => one.failures ?? []));
271
+ const [first] = notBuilt;
272
+ if (analyzed.length === 0 && first !== undefined) {
273
+ throw new FailureExit(setupDropped ?? [
274
+ {
275
+ failureClass: "no-program",
276
+ detail: `no configuration discovery derived could be built; ${first.id}: ${first.error}`,
277
+ },
278
+ ]);
279
+ }
280
+ const unresolvedSpecifiers = [
281
+ ...new Map(analyzed
282
+ .flatMap((one) => one.unresolved)
283
+ .map((one) => {
284
+ const { path, line, column } = one.position;
285
+ return [JSON.stringify([path, line, column, one.specifier]), one];
286
+ })).values(),
287
+ ];
288
+ return { analyzed, consumed, notBuilt, librariesUnfound, unresolvedSpecifiers };
289
+ }
@@ -0,0 +1,87 @@
1
+ import { DiagnosticCategory } from "@typescript/native/sync";
2
+ /** The code of a global type the checker finds in no library the program holds. */
3
+ export const MISSING_GLOBAL_TYPE = 2318;
4
+ /**
5
+ * What each error diagnostic does, first matching row first. In no file: an unfound type library
6
+ * or lib (https://github.com/microsoft/typescript-go/blob/89d5d5b2849a0db0957065889ca58536fa6d2e4a/internal/compiler/processingDiagnostic.go),
7
+ * then the semantic band from 2000; the option band from 5000 leaves the program whole
8
+ * (https://github.com/microsoft/TypeScript/wiki/Coding-guidelines#diagnostic-message-codes).
9
+ * In a file: an unfound module, and where the configuration places the file (5055, 5056, 6059,
10
+ * 6307), which changes no type a statement carries.
11
+ */
12
+ const DIAGNOSTIC_TABLE = [
13
+ {
14
+ placed: false,
15
+ codes: new Set([MISSING_GLOBAL_TYPE, 2688, 2726, 2727]),
16
+ class: "unfound-library",
17
+ },
18
+ { placed: false, codes: { from: 2000, below: 3000 }, class: "load" },
19
+ { placed: true, codes: new Set([2307, 2792]), class: "module-not-found" },
20
+ { placed: true, codes: new Set([2882]), class: "side-effect-module-not-found" },
21
+ { placed: true, codes: new Set([5055, 5056, 6059, 6307]), class: "ignored" },
22
+ ];
23
+ /** The category an error diagnostic carries, which the protocol sends as a number. */
24
+ const ERROR_CATEGORY = DiagnosticCategory.Error;
25
+ function isError(diagnostic) {
26
+ return diagnostic.category === ERROR_CATEGORY;
27
+ }
28
+ /**
29
+ * What one diagnostic does, placed in one of the project's own files or in none. A diagnostic
30
+ * the compiler marks as reporting unnecessary code in a file is no error of the program's.
31
+ */
32
+ export function classOf(diagnostic, placed) {
33
+ if (!isError(diagnostic) || (placed && diagnostic.reportsUnnecessary === true)) {
34
+ return "ignored";
35
+ }
36
+ const row = DIAGNOSTIC_TABLE.find(({ placed: where, codes }) => where === placed &&
37
+ ("has" in codes
38
+ ? codes.has(diagnostic.code)
39
+ : diagnostic.code >= codes.from && diagnostic.code < codes.below));
40
+ return row?.class ?? (placed ? "type-error" : "ignored");
41
+ }
42
+ /**
43
+ * One diagnostic as `path:line:column: TScode: message`, the position left out where it names
44
+ * none and the file where it names none. `display` spells the file's path.
45
+ */
46
+ export function renderDiagnostic(located, display = (path) => path) {
47
+ const { diagnostic, at } = located;
48
+ const message = `TS${String(diagnostic.code)}: ${diagnostic.text}`;
49
+ if (diagnostic.fileName === undefined) {
50
+ return message;
51
+ }
52
+ const where = display(diagnostic.fileName);
53
+ return at === undefined
54
+ ? `${where}: ${message}`
55
+ : `${where}:${String(at.line)}:${String(at.column)}: ${message}`;
56
+ }
57
+ function locatedIn(diagnostics, locate) {
58
+ return diagnostics.map((diagnostic) => ({
59
+ diagnostic,
60
+ at: diagnostic.fileName === undefined ? undefined : locate(diagnostic.fileName, diagnostic.pos),
61
+ }));
62
+ }
63
+ /**
64
+ * Every error a project's three diagnostic sets carry, in the order the compiler reported
65
+ * them. A resolved configuration carries no diagnostics of its own, so a configuration written
66
+ * with an unreadable option resolves and is refused here, once its project is open.
67
+ */
68
+ export function diagnosticErrors(sets) {
69
+ return [...sets.configParsing, ...sets.syntactic, ...sets.semantic].filter(isError);
70
+ }
71
+ /**
72
+ * The code of a configuration whose only parse error is that its inputs name no file: it reads
73
+ * as written and holds no program.
74
+ */
75
+ const NO_INPUTS = 18003;
76
+ /** The errors one open project carries, each located in the file it names. */
77
+ export function projectErrors(sets) {
78
+ const unplaced = (kind) => sets.unplaced.filter((diagnostic) => classOf(diagnostic, false) === kind);
79
+ const parsing = sets.configParsing.filter(isError);
80
+ const load = [...parsing, ...unplaced("load")];
81
+ return {
82
+ load: locatedIn(load, sets.locate),
83
+ unreadable: parsing.some(({ code }) => code !== NO_INPUTS),
84
+ check: load.length > 0 ? [] : locatedIn(diagnosticErrors(sets), sets.locate),
85
+ unfound: load.length > 0 ? [] : locatedIn(unplaced("unfound-library"), sets.locate),
86
+ };
87
+ }
@@ -0,0 +1,285 @@
1
+ import { LANGUAGE_ROWS } from "../contract/contract.generated.js";
2
+ import { filesBelow, filesIn } from "../fs/tree.js";
3
+ import { packageScope } from "./package-scope.js";
4
+ import { dirnamePath, joinPath, relativePath, resolvePath } from "../paths.js";
5
+ import { LANGUAGE, message } from "../product.js";
6
+ import { globExpression } from "../text/glob.js";
7
+ import { failureExit } from "../failure.js";
8
+ import { MANIFEST } from "../fs/manifest.js";
9
+ /** The names of the files a program of the language is read from. */
10
+ export const MARKERS = LANGUAGE_ROWS[LANGUAGE].markers;
11
+ const MARKER_EXPRESSIONS = MARKERS.map(globExpression);
12
+ /** Whether one file name is a compiler configuration's: one of the language row's markers. */
13
+ function isConfigFile(name) {
14
+ return MARKER_EXPRESSIONS.some((marker) => marker.test(name));
15
+ }
16
+ /** Whether the run analyzes one configuration as the target's. */
17
+ export function isTargetConfiguration(configuration) {
18
+ return configuration.origin !== "consumer";
19
+ }
20
+ /**
21
+ * The first line of one error about the target, every mention of the target root spelled
22
+ * relative to it: a path below the root loses the root and its separator, and the root
23
+ * itself is `.`.
24
+ */
25
+ export function targetRelative(text, targetRoot) {
26
+ const root = targetRoot.endsWith("/") ? targetRoot.slice(0, -1) : targetRoot;
27
+ const [first = ""] = text.split(/\r?\n/u);
28
+ const spelled = first.split(`${root}/`).join("").split(root).join(".").trim();
29
+ return spelled === "" ? "the configuration could not be built" : spelled;
30
+ }
31
+ /**
32
+ * Whether a derived matrix leaves one configuration file unopened: a `jsconfig.json` beside a
33
+ * `tsconfig.json`, because the compiler's editor host opens the directory's `tsconfig.json`
34
+ * first and so never its `jsconfig.json`.
35
+ */
36
+ function shadowed(host, configFile) {
37
+ return (configFile.endsWith("/jsconfig.json") &&
38
+ host.kindOf(joinPath(dirnamePath(configFile), "tsconfig.json")) === "file");
39
+ }
40
+ /** The configuration files directly in `dir` a derived matrix opens, by name. */
41
+ export function configFilesIn(host, dir) {
42
+ return filesIn(host, dir, isConfigFile).filter((name) => !shadowed(host, joinPath(dir, name)));
43
+ }
44
+ /** The configuration files below `root` a derived matrix opens, by absolute path in ascending order. */
45
+ function configFilesUnder(host, root) {
46
+ return filesBelow(host, root, isConfigFile)
47
+ .map((path) => joinPath(root, path))
48
+ .filter((path) => !shadowed(host, path));
49
+ }
50
+ /** The configuration files one parsed configuration's `references` name. */
51
+ function referencesOf(parsed) {
52
+ // The parse answers a directory reference as the directory; the compiler reads a
53
+ // path not ending `.json` as its `tsconfig.json`:
54
+ // https://github.com/microsoft/typescript-go/blob/89d5d5b2849a0db0957065889ca58536fa6d2e4a/internal/core/projectreference.go#L18
55
+ return (parsed.projectReferences ?? []).map(({ path }) => path.endsWith(".json") ? path : joinPath(path, "tsconfig.json"));
56
+ }
57
+ /**
58
+ * The code of a configuration whose `extends` chain returns to a configuration it already
59
+ * passed. A snapshot that opens two configurations whose `extends` chains reach one such
60
+ * cycle panics (`OwnerCache.AddOwner: entry not found`, typescript 7.1.0-dev.20261014.1),
61
+ * so the analysis refuses one before any snapshot is asked to open it.
62
+ */
63
+ const CIRCULAR_EXTENDS = 18000;
64
+ /** One configuration file's parse, or why it cannot be read. */
65
+ function readConfiguration(engine, configFile) {
66
+ try {
67
+ const parsed = engine.parseConfigFile(configFile);
68
+ const circular = parsed.errors.find(({ code }) => code === CIRCULAR_EXTENDS);
69
+ return circular === undefined
70
+ ? { parsed }
71
+ : { reason: `TS${String(circular.code)}: ${circular.text}` };
72
+ }
73
+ catch (error) {
74
+ return { reason: message(error) };
75
+ }
76
+ }
77
+ /**
78
+ * Every configuration file reached from `pending`, each once, each followed by the
79
+ * configurations it references that `follows` admits, transitively. `unreadable` is told
80
+ * each configuration the compiler cannot read, which the walk then goes on without.
81
+ */
82
+ function derivedFrom(engine, host, pending, follows, unreadable) {
83
+ const seen = new Set();
84
+ const found = [];
85
+ for (let configFile = pending.shift(); configFile !== undefined; configFile = pending.shift()) {
86
+ const path = resolvePath(host.workingDirectory(), configFile);
87
+ if (seen.has(path)) {
88
+ continue;
89
+ }
90
+ seen.add(path);
91
+ const read = readConfiguration(engine, path);
92
+ if ("reason" in read) {
93
+ unreadable(path, read.reason);
94
+ continue;
95
+ }
96
+ found.push({ configFile: path, parsed: read.parsed });
97
+ pending.push(...referencesOf(read.parsed).filter(follows));
98
+ }
99
+ return found;
100
+ }
101
+ /** The name one module publishes itself under: the scope's, else its manifest's. */
102
+ export function moduleIdentity(host, module) {
103
+ return module.id === "" ? packageScope(host, module.path)("index.ts").package : module.id;
104
+ }
105
+ /**
106
+ * The compiler configurations one consumer is loaded through: every one under its root and
107
+ * each one those reference, transitively. A consumer that is absent, no directory or holds a
108
+ * configuration the compiler cannot read ends the run naming it, because a finding computed
109
+ * without a declared consumer would claim a reference set the run never read.
110
+ */
111
+ function consumerProjects(engine, host, root) {
112
+ const kind = host.kindOf(root);
113
+ if (kind === "absent") {
114
+ throw failureExit("missing-consumer", `the scope declares the consumer ${root}, and nothing is at that path: check the consumer out at ${root} and install its dependencies`);
115
+ }
116
+ if (kind !== "directory") {
117
+ throw failureExit("missing-consumer", `the scope declares the consumer ${root}, which is not a directory: check the consumer out at ${root}`);
118
+ }
119
+ const found = derivedFrom(engine, host, [...configFilesUnder(host, root)], () => true, (configFile, reason) => {
120
+ throw failureExit("missing-consumer", `the consumer ${root} does not load, ${configFile} cannot be read as a compiler configuration: ${reason}`);
121
+ });
122
+ return found.map(({ configFile, parsed }) => ({
123
+ id: configFile,
124
+ configFile,
125
+ origin: "consumer",
126
+ parsed,
127
+ }));
128
+ }
129
+ /** The failure of a consumer that holds no configuration and no JavaScript file a program is formed over. */
130
+ export function consumerWithoutSources(root) {
131
+ return failureExit("missing-consumer", `the consumer ${root} holds no compiler configuration and no JavaScript file, so none of its references can be read: check the consumer out at ${root} with its ${MARKERS.join(", ")} or its JavaScript sources`);
132
+ }
133
+ /** The failure of a target that holds no configuration and no JavaScript file a program is formed over. */
134
+ export function targetWithoutSources(target) {
135
+ return failureExit("no-program", `${target} holds no compiler configuration, no file named ${MARKERS.join(", ")}, and no JavaScript file: run from the directory that holds one, or name the languages to analyze`);
136
+ }
137
+ /** A target configuration a matrix or the invocation names that cannot be built, ending the run. */
138
+ function unbuilt(named, reason, failureClass = "no-program") {
139
+ throw failureExit(failureClass, unreadableDetail(named, reason));
140
+ }
141
+ /** What fails and the fix, for a configuration `named` that `reason` keeps from being built. */
142
+ export function unreadableDetail(named, reason) {
143
+ return `${named} ${reason}: correct the configuration, or name the configurations to analyze`;
144
+ }
145
+ /**
146
+ * The projects a build matrix declares, in its order, each a file below the target root, a
147
+ * `package.json` entry a tree for the plan to form in its place. An entry naming an absent file,
148
+ * a directory or a file the compiler cannot read ends the run naming it; one naming an earlier
149
+ * entry's file adds nothing. A reference below the root the matrix does not name ends the run
150
+ * naming both, because the compiler builds a referenced project's sources into the referencing
151
+ * program without reporting their diagnostics. A reference outside the root is an outside project.
152
+ */
153
+ function declaredProjects(engine, host, targetRoot, entries) {
154
+ const targets = [];
155
+ const projects = [];
156
+ const references = new Map();
157
+ const manifests = new Set();
158
+ for (const entry of entries) {
159
+ const configFile = joinPath(targetRoot, entry.project);
160
+ const named = `the project ${JSON.stringify(entry.id)} (${configFile})`;
161
+ const kind = host.kindOf(configFile);
162
+ if (kind !== "file") {
163
+ unbuilt(named, kind === "absent"
164
+ ? "does not exist"
165
+ : "is a directory, and a project names its compiler configuration file");
166
+ }
167
+ if (references.has(configFile) || manifests.has(configFile)) {
168
+ continue;
169
+ }
170
+ if (configFile.endsWith(`/${MANIFEST}`)) {
171
+ manifests.add(configFile);
172
+ targets.push({ kind: "declared", id: entry.id, manifest: configFile });
173
+ continue;
174
+ }
175
+ const read = readConfiguration(engine, configFile);
176
+ if ("reason" in read) {
177
+ unbuilt(named, `cannot be read as a compiler configuration: ${read.reason}`, "unreadable-configuration");
178
+ }
179
+ references.set(configFile, referencesOf(read.parsed));
180
+ const configuration = {
181
+ id: entry.id,
182
+ configFile,
183
+ origin: "declared",
184
+ parsed: read.parsed,
185
+ };
186
+ projects.push(configuration);
187
+ targets.push({ kind: "configuration", configuration });
188
+ }
189
+ for (const project of projects) {
190
+ const unnamed = references
191
+ .get(project.configFile)
192
+ ?.find((path) => !references.has(path) && relativePath(targetRoot, path) !== undefined);
193
+ if (unnamed !== undefined) {
194
+ unbuilt(`the project ${JSON.stringify(project.id)} (${project.configFile})`, `references ${unnamed}, which the build matrix does not name. A referenced project is built into the program that references it, so the matrix names it too`);
195
+ }
196
+ }
197
+ return { targets, notBuilt: [] };
198
+ }
199
+ /**
200
+ * The projects a run derives where the matrix declares none: the configuration the scope
201
+ * names for the target where its path names one, every compiler configuration under the
202
+ * target root outside a skipped directory, then each configuration below the root those
203
+ * reference, transitively, each once. A configuration the scope names ends the run where it
204
+ * cannot be read; one the walk found is dropped and named. Where the scope names none, the
205
+ * plan forms programs over the target's JavaScript files no configuration lists.
206
+ */
207
+ function derivedProjects(engine, host, scope) {
208
+ const targetRoot = scope.target.path;
209
+ const fromScope = scope.target.path.endsWith(".json")
210
+ ? [resolvePath(host.workingDirectory(), scope.target.path)]
211
+ : [];
212
+ const absoluteRoot = resolvePath(host.workingDirectory(), targetRoot);
213
+ const rootDir = resolvePath(host.workingDirectory(), fromScope.length > 0 ? dirnamePath(targetRoot) : targetRoot);
214
+ const idOf = (configFile) => relativePath(targetRoot, configFile) ?? configFile;
215
+ const notBuilt = [];
216
+ const found = derivedFrom(engine, host, [...fromScope, ...configFilesUnder(host, targetRoot)], (reference) => relativePath(rootDir, reference) !== undefined, (configFile, reason) => {
217
+ const why = `cannot be read as a compiler configuration: ${reason}`;
218
+ if (fromScope.includes(configFile)) {
219
+ unbuilt(configFile, why, "unreadable-configuration");
220
+ }
221
+ const failure = {
222
+ failureClass: "unreadable-configuration",
223
+ detail: targetRelative(unreadableDetail(idOf(configFile), why), absoluteRoot),
224
+ };
225
+ notBuilt.push({
226
+ id: idOf(configFile),
227
+ configFile,
228
+ error: targetRelative(reason, absoluteRoot),
229
+ failures: [failure],
230
+ });
231
+ });
232
+ const configurations = found.map(({ configFile, parsed }) => ({
233
+ id: idOf(configFile),
234
+ configFile,
235
+ origin: fromScope.includes(configFile) ? "scope" : "derived",
236
+ parsed,
237
+ }));
238
+ return {
239
+ targets: [
240
+ ...configurations.map((configuration) => ({ kind: "configuration", configuration })),
241
+ ...(fromScope.length > 0 ? [] : [{ kind: "derived" }]),
242
+ ],
243
+ notBuilt,
244
+ };
245
+ }
246
+ /**
247
+ * Every configuration file one run opens: the build matrix's project entries in its order,
248
+ * or, where it holds none, those derived from the scope and the target tree, then each
249
+ * declared consumer's, a configuration the target or an earlier consumer opens being theirs
250
+ * alone. The consumers are read first, so one that cannot be read ends the run before any
251
+ * failure of the target: the Contract's failure-class table lists `missing-consumer` before
252
+ * `no-program`.
253
+ */
254
+ export function discoverProjects(engine, host, scope, configurations = []) {
255
+ const consumers = scope.consumers.map((module) => {
256
+ const projects = consumerProjects(engine, host, module.path);
257
+ return { consumer: { id: moduleIdentity(host, module), path: module.path }, projects };
258
+ });
259
+ const declared = configurations.filter((entry) => "project" in entry);
260
+ const target = declared.length > 0
261
+ ? {
262
+ mode: "declared",
263
+ ...declaredProjects(engine, host, scope.target.path, declared),
264
+ }
265
+ : { mode: "derived", ...derivedProjects(engine, host, scope) };
266
+ const read = target.targets.flatMap((one) => one.kind === "configuration" ? [one.configuration] : []);
267
+ const opened = new Set(read.map((one) => one.configFile));
268
+ const consumed = [];
269
+ for (const { consumer, projects } of consumers) {
270
+ for (const one of projects.filter(({ configFile }) => !opened.has(configFile))) {
271
+ opened.add(one.configFile);
272
+ consumed.push({ ...one, consumer });
273
+ }
274
+ }
275
+ return {
276
+ mode: target.mode,
277
+ targets: target.targets,
278
+ configurations: [...read, ...consumed],
279
+ notBuilt: target.notBuilt,
280
+ consumers: consumers.map(({ consumer }) => consumer),
281
+ unconfigured: consumers
282
+ .filter(({ projects }) => projects.length === 0)
283
+ .map(({ consumer }) => consumer),
284
+ };
285
+ }
@@ -4,7 +4,7 @@
4
4
  * manifest or a document names is read back to its source through this one rule,
5
5
  * whether the path is the target's own or a workspace package's.
6
6
  */
7
- import { dirnamePath, joinPath, relativePath } from "./paths.js";
7
+ import { dirnamePath, joinPath, relativePath } from "../paths.js";
8
8
  /** The source extensions the compiler emits each output extension from. */
9
9
  const EMITTED = [
10
10
  { emitted: ".d.ts", sources: [".ts", ".tsx"] },