@cplieger/deadset-ts 8.0.0-dev.1 → 8.0.0-dev.11

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 (276) hide show
  1. package/README.md +1 -1
  2. package/dist/bin/mapper-connection.js +2 -1
  3. package/dist/bin/node-host.js +24 -5
  4. package/dist/src/analysis.js +181 -341
  5. package/dist/src/augmentations.js +106 -13
  6. package/dist/src/automatic-types.js +10 -29
  7. package/dist/src/build-scripts.js +425 -0
  8. package/dist/src/component-layer.js +4 -2
  9. package/dist/src/components.js +2 -3
  10. package/dist/src/config.js +6 -82
  11. package/dist/src/configuration-files.js +28 -176
  12. package/dist/src/configured-declarations.js +15 -20
  13. package/dist/src/conformance-record.js +1 -1
  14. package/dist/src/consumers.js +3 -30
  15. package/dist/src/contextual-uses.js +56 -9
  16. package/dist/src/contract/config.generated.js +558 -0
  17. package/dist/src/contract/contract.generated.js +1244 -0
  18. package/dist/src/contract/report.generated.js +862 -0
  19. package/dist/src/convention-rows.js +73 -3
  20. package/dist/src/conventions.js +36 -66
  21. package/dist/src/dependencies.js +103 -40
  22. package/dist/src/edges.js +38 -122
  23. package/dist/src/element-access.js +4 -6
  24. package/dist/src/entry-point-gaps.js +2 -8
  25. package/dist/src/entry-points.js +11 -27
  26. package/dist/src/enum-group.js +3 -10
  27. package/dist/src/erased-stores.js +4 -6
  28. package/dist/src/exempt-classes.js +1 -63
  29. package/dist/src/exempt.js +21 -40
  30. package/dist/src/failure.js +36 -0
  31. package/dist/src/file-facts.js +2 -25
  32. package/dist/src/findings/completion.js +139 -72
  33. package/dist/src/findings/dependencies-and-module-machinery.js +4 -5
  34. package/dist/src/findings/emitters.js +5 -5
  35. package/dist/src/findings/interfaces.js +4 -5
  36. package/dist/src/findings/intra-function.js +13 -10
  37. package/dist/src/findings/non-code-artifacts.js +7 -8
  38. package/dist/src/findings/reads-and-writes.js +16 -13
  39. package/dist/src/findings/self-check.js +10 -12
  40. package/dist/src/findings/unused-declarations.js +41 -32
  41. package/dist/src/findings/visibility-narrowing.js +19 -16
  42. package/dist/src/findings-pass.js +8 -15
  43. package/dist/src/framework-lifecycle.js +7 -7
  44. package/dist/src/fs/document.js +52 -0
  45. package/dist/src/fs/manifest.js +72 -0
  46. package/dist/src/fs/tree.js +88 -0
  47. package/dist/src/generated-file.js +7 -4
  48. package/dist/src/git-ignore.js +39 -26
  49. package/dist/src/graph.js +5 -3
  50. package/dist/src/html-entries.js +6 -33
  51. package/dist/src/in-operands.js +2 -1
  52. package/dist/src/index.js +1 -1
  53. package/dist/src/injection-container.js +1 -1
  54. package/dist/src/intra-function-parts.js +63 -43
  55. package/dist/src/inventory.js +2 -21
  56. package/dist/src/javascript-file.js +33 -0
  57. package/dist/src/json-document.js +198 -67
  58. package/dist/src/keyof-comparisons.js +4 -6
  59. package/dist/src/kinds.js +3 -366
  60. package/dist/src/load/classify.js +270 -0
  61. package/dist/src/load/diagnostics.js +80 -0
  62. package/dist/src/load/discover.js +277 -0
  63. package/dist/src/{emit-map.js → load/emit-map.js} +1 -1
  64. package/dist/src/load/expected-module.js +136 -0
  65. package/dist/src/load/load.js +27 -0
  66. package/dist/src/load/module-lookup.js +37 -0
  67. package/dist/src/load/plan.js +313 -0
  68. package/dist/src/load/specifiers.js +115 -0
  69. package/dist/src/load/synthesize.js +140 -0
  70. package/dist/src/load/test-globals.js +207 -0
  71. package/dist/src/load/test-joins.js +82 -0
  72. package/dist/src/{workspace-manifests.js → load/workspace-manifests.js} +4 -4
  73. package/dist/src/{workspace-programs.js → load/workspace-programs.js} +89 -66
  74. package/dist/src/{workspace-resolution.js → load/workspace-resolution.js} +23 -65
  75. package/dist/src/{workspace-run.js → load/workspace-run.js} +7 -7
  76. package/dist/src/{workspace.js → load/workspace.js} +62 -124
  77. package/dist/src/manifest.js +49 -54
  78. package/dist/src/matrix.js +76 -4
  79. package/dist/src/mdx-entries.js +3 -26
  80. package/dist/src/outside-tests.js +1 -1
  81. package/dist/src/partial.js +2 -1
  82. package/dist/src/paths.js +26 -15
  83. package/dist/src/position.js +2 -1
  84. package/dist/src/print.js +11 -79
  85. package/dist/src/product.js +13 -0
  86. package/dist/src/query.js +1 -0
  87. package/dist/src/ref.js +1 -0
  88. package/dist/src/references.js +48 -30
  89. package/dist/src/report-schema.js +51 -0
  90. package/dist/src/report.js +57 -41
  91. package/dist/src/reporters/annotations.js +15 -8
  92. package/dist/src/reporters/sarif.js +16 -10
  93. package/dist/src/reporters/template.js +4 -19
  94. package/dist/src/resolve.js +245 -729
  95. package/dist/src/roots.js +273 -87
  96. package/dist/src/run.js +66 -77
  97. package/dist/src/schema.js +320 -343
  98. package/dist/src/scope.js +38 -115
  99. package/dist/src/serialization-contract.js +595 -21
  100. package/dist/src/session.js +34 -29
  101. package/dist/src/source-files.js +1 -1
  102. package/dist/src/suppress-file.js +25 -28
  103. package/dist/src/suppress-inline.js +3 -2
  104. package/dist/src/suppress.js +33 -51
  105. package/dist/src/sweep.js +7 -9
  106. package/dist/src/symbol-keys.js +3 -5
  107. package/dist/src/template-field.js +9 -19
  108. package/dist/src/test-support.js +8 -11
  109. package/dist/src/text/compare.js +26 -0
  110. package/dist/src/text/glob.js +194 -0
  111. package/dist/src/text/named-files.js +54 -0
  112. package/dist/src/text/shell.js +159 -0
  113. package/dist/src/text/yaml.js +393 -0
  114. package/dist/src/type-errors.js +11 -232
  115. package/dist/src/unseen-loads.js +100 -0
  116. package/dist/src/unwrap.js +23 -0
  117. package/dist/src/usage.js +10 -0
  118. package/dist/src/verbs/analyze.js +166 -126
  119. package/dist/src/verbs/describe.js +9 -16
  120. package/dist/src/verbs/explain.js +10 -7
  121. package/dist/src/verbs/print-config.js +2 -1
  122. package/dist/src/verbs/print-projects.js +6 -4
  123. package/dist/src/verbs/print-retained.js +4 -2
  124. package/dist/src/verbs/print-roots.js +4 -2
  125. package/dist/src/verbs/verb.js +1 -5
  126. package/dist/src/verbs/version.js +14 -3
  127. package/dist/src/workflow-steps.js +62 -64
  128. package/jsr.json +1 -1
  129. package/package.json +5 -4
  130. package/src/analysis.ts +245 -502
  131. package/src/augmentations.ts +135 -17
  132. package/src/automatic-types.ts +11 -29
  133. package/src/build-scripts.ts +543 -0
  134. package/src/component-layer.ts +4 -2
  135. package/src/components.ts +2 -4
  136. package/src/config.ts +31 -302
  137. package/src/configuration-files.ts +34 -179
  138. package/src/configured-declarations.ts +18 -23
  139. package/src/conformance-record.ts +1 -1
  140. package/src/consumers.ts +6 -57
  141. package/src/contextual-uses.ts +64 -12
  142. package/src/contract/config.generated.ts +818 -0
  143. package/src/contract/contract.generated.ts +1308 -0
  144. package/src/contract/report.generated.ts +1237 -0
  145. package/src/convention-rows.ts +85 -3
  146. package/src/conventions.ts +46 -84
  147. package/src/dependencies.ts +118 -46
  148. package/src/edges.ts +41 -140
  149. package/src/element-access.ts +4 -7
  150. package/src/entry-point-gaps.ts +3 -9
  151. package/src/entry-points.ts +12 -38
  152. package/src/enum-group.ts +2 -11
  153. package/src/erased-stores.ts +3 -7
  154. package/src/exempt-classes.ts +1 -75
  155. package/src/exempt.ts +36 -50
  156. package/src/failure.ts +63 -0
  157. package/src/file-facts.ts +9 -24
  158. package/src/finding.ts +14 -9
  159. package/src/findings/boundary.ts +2 -0
  160. package/src/findings/completion.ts +181 -84
  161. package/src/findings/dependencies-and-module-machinery.ts +4 -7
  162. package/src/findings/emitter.ts +8 -9
  163. package/src/findings/emitters.ts +7 -7
  164. package/src/findings/interfaces.ts +4 -6
  165. package/src/findings/intra-function.ts +13 -11
  166. package/src/findings/non-code-artifacts.ts +9 -11
  167. package/src/findings/reads-and-writes.ts +20 -16
  168. package/src/findings/self-check.ts +11 -17
  169. package/src/findings/unused-declarations.ts +45 -32
  170. package/src/findings/visibility-narrowing.ts +20 -17
  171. package/src/findings-pass.ts +10 -19
  172. package/src/framework-lifecycle.ts +7 -7
  173. package/src/fs/document.ts +70 -0
  174. package/src/fs/manifest.ts +92 -0
  175. package/src/fs/tree.ts +110 -0
  176. package/src/generated-file.ts +7 -4
  177. package/src/git-ignore.ts +50 -26
  178. package/src/graph.ts +5 -3
  179. package/src/host.ts +12 -5
  180. package/src/html-entries.ts +6 -33
  181. package/src/in-operands.ts +2 -1
  182. package/src/index.ts +1 -1
  183. package/src/injection-container.ts +1 -1
  184. package/src/intra-function-parts.ts +73 -44
  185. package/src/inventory.ts +2 -20
  186. package/src/javascript-file.ts +37 -0
  187. package/src/json-document.ts +241 -76
  188. package/src/keyof-comparisons.ts +3 -7
  189. package/src/kinds.ts +5 -413
  190. package/src/load/classify.ts +397 -0
  191. package/src/load/diagnostics.ts +144 -0
  192. package/src/load/discover.ts +455 -0
  193. package/src/{emit-map.ts → load/emit-map.ts} +1 -1
  194. package/src/load/expected-module.ts +188 -0
  195. package/src/load/load.ts +73 -0
  196. package/src/load/module-lookup.ts +50 -0
  197. package/src/load/plan.ts +504 -0
  198. package/src/load/specifiers.ts +168 -0
  199. package/src/load/synthesize.ts +211 -0
  200. package/src/load/test-globals.ts +251 -0
  201. package/src/load/test-joins.ts +98 -0
  202. package/src/{workspace-manifests.ts → load/workspace-manifests.ts} +5 -5
  203. package/src/{workspace-programs.ts → load/workspace-programs.ts} +128 -85
  204. package/src/{workspace-resolution.ts → load/workspace-resolution.ts} +33 -76
  205. package/src/{workspace-run.ts → load/workspace-run.ts} +18 -16
  206. package/src/{workspace.ts → load/workspace.ts} +90 -134
  207. package/src/manifest.ts +81 -75
  208. package/src/matrix.ts +122 -4
  209. package/src/mdx-entries.ts +3 -26
  210. package/src/outside-tests.ts +1 -1
  211. package/src/partial.ts +3 -2
  212. package/src/paths.ts +27 -15
  213. package/src/position.ts +2 -1
  214. package/src/print.ts +12 -92
  215. package/src/product.ts +18 -0
  216. package/src/query.ts +11 -0
  217. package/src/ref.ts +1 -0
  218. package/src/references.ts +52 -31
  219. package/src/report-schema.ts +68 -0
  220. package/src/report.ts +101 -224
  221. package/src/reporters/annotations.ts +22 -11
  222. package/src/reporters/json.ts +1 -1
  223. package/src/reporters/reporter.ts +2 -4
  224. package/src/reporters/reporters.ts +1 -1
  225. package/src/reporters/sarif.ts +29 -16
  226. package/src/reporters/template.ts +4 -20
  227. package/src/reporters/text.ts +3 -3
  228. package/src/resolve.ts +283 -1114
  229. package/src/roots.ts +339 -104
  230. package/src/run.ts +75 -91
  231. package/src/schema.ts +391 -388
  232. package/src/scope.ts +46 -138
  233. package/src/serialization-contract.ts +763 -22
  234. package/src/session.ts +70 -54
  235. package/src/source-files.ts +1 -1
  236. package/src/suppress-file.ts +24 -33
  237. package/src/suppress-inline.ts +2 -2
  238. package/src/suppress.ts +43 -58
  239. package/src/sweep.ts +23 -9
  240. package/src/symbol-keys.ts +2 -5
  241. package/src/template-field.ts +15 -25
  242. package/src/test-support.ts +17 -13
  243. package/src/text/compare.ts +27 -0
  244. package/src/text/glob.ts +210 -0
  245. package/src/text/named-files.inputs.json +1522 -0
  246. package/src/text/named-files.ts +68 -0
  247. package/src/text/shell.ts +161 -0
  248. package/src/text/yaml.ts +423 -0
  249. package/src/type-errors.ts +18 -288
  250. package/src/unseen-loads.ts +134 -0
  251. package/src/unwrap.ts +34 -0
  252. package/src/usage.ts +10 -0
  253. package/src/verbs/analyze.ts +224 -162
  254. package/src/verbs/describe.ts +14 -15
  255. package/src/verbs/explain.ts +10 -11
  256. package/src/verbs/print-config.ts +2 -1
  257. package/src/verbs/print-projects.ts +6 -4
  258. package/src/verbs/print-retained.ts +4 -2
  259. package/src/verbs/print-roots.ts +4 -2
  260. package/src/verbs/verb.ts +2 -8
  261. package/src/verbs/version.ts +15 -3
  262. package/src/workflow-steps.ts +74 -64
  263. package/dist/src/base-url.js +0 -18
  264. package/dist/src/discover.js +0 -468
  265. package/dist/src/glob.js +0 -65
  266. package/dist/src/pnpm-workspace.js +0 -120
  267. package/dist/src/setup-failure.js +0 -23
  268. package/dist/src/test-joins.js +0 -101
  269. package/dist/src/version.js +0 -7
  270. package/src/base-url.ts +0 -24
  271. package/src/discover.ts +0 -653
  272. package/src/glob.ts +0 -67
  273. package/src/pnpm-workspace.ts +0 -135
  274. package/src/setup-failure.ts +0 -39
  275. package/src/test-joins.ts +0 -120
  276. package/src/version.ts +0 -7
@@ -5,24 +5,26 @@
5
5
  * the members' manifests name. A target in no workspace reads none of it.
6
6
  */
7
7
 
8
- import type { LocatedDiagnostic } from "./discover.ts";
9
- import type { Host } from "./host.ts";
10
- import type { Manifest, ManifestEntry } from "./manifest.ts";
11
- import { relativePath } from "./paths.ts";
12
- import type { Engine } from "./session.ts";
13
- import { findWorkspace, referenceOnlyIn, type ParsedLayout } from "./workspace.ts";
8
+ import type { Host } from "../host.ts";
9
+ import type { Manifest, ManifestEntry } from "../manifest.ts";
10
+ import { relativePath } from "../paths.ts";
11
+ import type { Engine } from "../session.ts";
12
+ import type { LocatedDiagnostic } from "./diagnostics.ts";
13
+ import type { Build } from "./plan.ts";
14
+ import { referenceOnlyIn, type ParsedLayout, type Workspace } from "./workspace.ts";
14
15
  import { memberEntries, targetManifestIn } from "./workspace-manifests.ts";
15
16
  import {
16
17
  workspacePrograms,
17
18
  type MemberReading,
18
- type WorkspaceProgram,
19
+ type PlannedConfiguration,
19
20
  } from "./workspace-programs.ts";
20
21
  import { workspaceResolver } from "./workspace-resolution.ts";
21
22
 
22
23
  /** One run's workspace. */
23
- interface WorkspaceRun {
24
+ export interface WorkspaceRun {
25
+ readonly workspace: Workspace;
24
26
  /** Per configuration that imports a member, how the snapshot reads it. */
25
- readonly programs: ReadonlyMap<string, WorkspaceProgram>;
27
+ readonly programs: ReadonlyMap<string, Exclude<Build, { readonly kind: "project" }>>;
26
28
  /**
27
29
  * Per configuration whose component files the run cannot read, the reason, in the
28
30
  * order the configurations are named.
@@ -50,11 +52,10 @@ interface WorkspaceRun {
50
52
  readonly manifest: Manifest;
51
53
  /** The entry points the other members' manifests name. */
52
54
  readonly entries: readonly ManifestEntry[];
53
- /** The directory of every member, the target's included, in the workspace's order. */
54
- readonly memberDirs: readonly string[];
55
55
  }
56
56
 
57
- function layoutOf(engine: Engine, configFile: string): ParsedLayout | undefined {
57
+ /** What one member's configuration file says of its layout, or `undefined` where it does not parse. */
58
+ export function layoutOf(engine: Engine, configFile: string): ParsedLayout | undefined {
58
59
  try {
59
60
  const parsed = engine.parseConfigFile(configFile);
60
61
  return {
@@ -96,15 +97,16 @@ export function workspaceRun(
96
97
  engine: Engine,
97
98
  host: Host,
98
99
  targetRoot: string,
99
- configFiles: readonly string[],
100
+ configurations: readonly PlannedConfiguration[],
100
101
  manifest: Manifest,
102
+ workspace: Workspace | undefined,
101
103
  ): WorkspaceRun | undefined {
102
- const workspace = findWorkspace(host, targetRoot, (configFile) => layoutOf(engine, configFile));
103
104
  if (workspace === undefined) {
104
105
  return undefined;
105
106
  }
107
+
106
108
  const resolver = workspaceResolver(host, workspace);
107
- const read = workspacePrograms(engine, host, configFiles, resolver);
109
+ const read = workspacePrograms(engine, host, configurations, resolver);
108
110
  const readings = new Map(read.readings.map((reading) => [reading.configFile, reading]));
109
111
  const referenceOnly = (
110
112
  configFile: string,
@@ -115,6 +117,7 @@ export function workspaceRun(
115
117
  new Set([...(readings.get(configFile)?.fileNames ?? []), ...compiled]),
116
118
  );
117
119
  return {
120
+ workspace,
118
121
  programs: read.programs,
119
122
  componentsUnread: read.readings.flatMap(({ configFile, componentsUnread }) =>
120
123
  componentsUnread === undefined ? [] : [{ configFile, reason: componentsUnread }],
@@ -132,7 +135,6 @@ export function workspaceRun(
132
135
  : !fromExternalLibrary,
133
136
  manifest: targetManifestIn(resolver, targetRoot, manifest),
134
137
  entries: memberEntries(host, resolver, targetRoot),
135
- memberDirs: workspace.members.map((member) => member.dir),
136
138
  };
137
139
  }
138
140
 
@@ -1,18 +1,28 @@
1
1
  /**
2
2
  * The workspace a target sits in: the packages `pnpm-workspace.yaml` or a manifest's
3
- * `workspaces` declares in the nearest directory at or above the target root, up to
4
- * its repository root, where its patterns name the package the target is in, each
5
- * with the compiler configurations in its directory. A
6
- * member is the workspace root or a directory the patterns name that holds a named
7
- * manifest, never one below `node_modules`.
3
+ * `workspaces` declares in the nearest directory at or above the target root, up to its
4
+ * repository root, where its patterns name the package the target is in, each with the
5
+ * compiler configurations in its directory.
8
6
  */
9
7
 
10
- import { DiscoveryError } from "./discover.ts";
8
+ import { configFilesIn } from "./discover.ts";
9
+ import { failureExit } from "../failure.ts";
11
10
  import type { EmitLayout } from "./emit-map.ts";
12
11
  import { commonDirectory } from "./emit-map.ts";
13
- import type { Host } from "./host.ts";
14
- import { dirnamePath, joinPath, relativePath } from "./paths.ts";
15
- import { pnpmPackages } from "./pnpm-workspace.ts";
12
+ import type { Host } from "../host.ts";
13
+ import { ancestors, dirnamePath, joinPath, relativePath } from "../paths.ts";
14
+ import { bytewise } from "../text/compare.ts";
15
+ import { isRecord } from "../json-document.ts";
16
+ import { directoriesIn, repositoryOf } from "../fs/tree.ts";
17
+ import {
18
+ holdsManifest,
19
+ inInstalledPackages,
20
+ INSTALLED_PACKAGES,
21
+ MANIFEST,
22
+ manifestAt,
23
+ } from "../fs/manifest.ts";
24
+ import { braceExpanded, pathMatches, segmentMatches } from "../text/glob.ts";
25
+ import { yamlKey } from "../text/yaml.ts";
16
26
 
17
27
  /** What one compiler configuration of a member says about where it reads and writes. */
18
28
  export interface ParsedLayout {
@@ -39,12 +49,17 @@ export interface WorkspaceMember {
39
49
  /** Whether the manifest forbids publishing it, so nothing outside the workspace imports it. */
40
50
  readonly private: boolean;
41
51
  readonly manifest: Readonly<Record<string, unknown>>;
42
- /** Every `tsconfig*.json` directly in its directory that parses, by file name. */
52
+ /**
53
+ * The programs the run forms in its directory, then every configuration file directly in
54
+ * it a derived matrix opens that parses, by file name.
55
+ */
43
56
  readonly configurations: readonly MemberConfiguration[];
44
57
  }
45
58
 
46
59
  /** The workspace one target sits in. */
47
60
  export interface Workspace {
61
+ /** The directory that declares the workspace, absolute. */
62
+ readonly root: string;
48
63
  /** Every member, the root first, then by directory. */
49
64
  readonly members: readonly WorkspaceMember[];
50
65
  /** The members one package name names; two members may share a name. */
@@ -56,29 +71,7 @@ export interface Workspace {
56
71
  memberOf(path: string): WorkspaceMember | undefined;
57
72
  }
58
73
 
59
- const MANIFEST = "package.json";
60
74
  const PNPM_WORKSPACE = "pnpm-workspace.yaml";
61
- const CONFIG_FILE = /^tsconfig.*\.json$/u;
62
-
63
- function isRecord(value: unknown): value is Record<string, unknown> {
64
- return typeof value === "object" && value !== null && !Array.isArray(value);
65
- }
66
-
67
- /** One manifest, decoded, or `undefined` where there is none to read. */
68
- function manifestAt(host: Host, dir: string): Record<string, unknown> | undefined {
69
- let text: string;
70
- try {
71
- text = host.readFile(joinPath(dir, MANIFEST));
72
- } catch {
73
- return undefined;
74
- }
75
- try {
76
- const value: unknown = JSON.parse(text);
77
- return isRecord(value) ? value : undefined;
78
- } catch {
79
- return undefined;
80
- }
81
- }
82
75
 
83
76
  /** The patterns one directory declares a workspace with, or `undefined` where it declares none. */
84
77
  function declarationAt(
@@ -87,14 +80,20 @@ function declarationAt(
87
80
  ): { readonly file: string; readonly patterns: readonly string[] } | undefined {
88
81
  const pnpm = joinPath(dir, PNPM_WORKSPACE);
89
82
  if (host.kindOf(pnpm) === "file") {
90
- const read = pnpmPackages(host.readFile(pnpm));
91
- if (read.kind === "refused") {
92
- throw new DiscoveryError(
93
- `${pnpm}: ${read.reason}; the workspace's packages are read from a sequence of strings`,
94
- [],
83
+ const read = yamlKey(host.readFile(pnpm), "packages");
84
+ if (read.kind === "absent") {
85
+ return { file: pnpm, patterns: [] };
86
+ }
87
+ const listed = read.kind === "value" ? read.value : undefined;
88
+ if (!Array.isArray(listed) || !listed.every((entry) => typeof entry === "string")) {
89
+ const reason =
90
+ read.kind === "refused" ? read.reason : "packages is not a sequence of strings";
91
+ throw failureExit(
92
+ "no-program",
93
+ `${pnpm}: ${reason}; the workspace's packages are read from a sequence of strings: correct the declaration`,
95
94
  );
96
95
  }
97
- return { file: pnpm, patterns: read.kind === "listed" ? read.patterns : [] };
96
+ return { file: pnpm, patterns: listed };
98
97
  }
99
98
  const manifest = manifestAt(host, dir);
100
99
  if (manifest === undefined || !Object.hasOwn(manifest, "workspaces")) {
@@ -103,9 +102,9 @@ function declarationAt(
103
102
  const declared = manifest["workspaces"];
104
103
  const list = isRecord(declared) ? declared["packages"] : declared;
105
104
  if (!Array.isArray(list) || !list.every((entry) => typeof entry === "string")) {
106
- throw new DiscoveryError(
107
- `${joinPath(dir, MANIFEST)}: workspaces is neither an array of strings nor an object whose packages is one`,
108
- [],
105
+ throw failureExit(
106
+ "no-program",
107
+ `${joinPath(dir, MANIFEST)}: workspaces is neither an array of strings nor an object whose packages is one: correct the declaration`,
109
108
  );
110
109
  }
111
110
  return { file: joinPath(dir, MANIFEST), patterns: list };
@@ -120,21 +119,6 @@ function declaresWorkspace(host: Host, dir: string): boolean {
120
119
  return manifest !== undefined && Object.hasOwn(manifest, "workspaces");
121
120
  }
122
121
 
123
- /** A pattern with every brace list expanded into its alternatives. */
124
- function braceExpanded(pattern: string): readonly string[] {
125
- const open = pattern.indexOf("{");
126
- const close = open < 0 ? -1 : pattern.indexOf("}", open);
127
- if (close < 0) {
128
- return [pattern];
129
- }
130
- const before = pattern.slice(0, open);
131
- const after = pattern.slice(close + 1);
132
- return pattern
133
- .slice(open + 1, close)
134
- .split(",")
135
- .flatMap((member) => braceExpanded(before + member + after));
136
- }
137
-
138
122
  /**
139
123
  * The segments of one pattern below the workspace root, `.` and empty segments
140
124
  * dropped and `..` taken back, or `undefined` where it leaves the root.
@@ -156,56 +140,6 @@ function segmentsOf(pattern: string): readonly string[] | undefined {
156
140
  return segments;
157
141
  }
158
142
 
159
- /**
160
- * Whether one directory name matches one pattern segment: `*` stands for any run of
161
- * characters and `?` for one, and neither matches a leading dot.
162
- */
163
- function segmentMatches(segment: string, name: string): boolean {
164
- if (name.startsWith(".") && !segment.startsWith(".")) {
165
- return false;
166
- }
167
- const source = Array.from(segment)
168
- .map((character) => {
169
- if (character === "*") {
170
- return ".*";
171
- }
172
- if (character === "?") {
173
- return ".";
174
- }
175
- return character.replaceAll(/[.+^${}()|[\]\\/]/gu, (c) => `\\${c}`);
176
- })
177
- .join("");
178
- return new RegExp(`^${source}$`, "u").test(name);
179
- }
180
-
181
- /** Whether one path's segments match one pattern's, `**` standing for any run of segments. */
182
- function pathMatches(pattern: readonly string[], path: readonly string[]): boolean {
183
- const [head, ...rest] = pattern;
184
- if (head === undefined) {
185
- return path.length === 0;
186
- }
187
- if (head === "**") {
188
- return (
189
- pathMatches(rest, path) ||
190
- (path.length > 0 && !(path[0] ?? "").startsWith(".") && pathMatches(pattern, path.slice(1)))
191
- );
192
- }
193
- const [name, ...below] = path;
194
- return name !== undefined && segmentMatches(head, name) && pathMatches(rest, below);
195
- }
196
-
197
- function subdirectories(host: Host, dir: string): readonly string[] {
198
- try {
199
- return host
200
- .readDirectory(dir)
201
- .filter((entry) => entry.directory && entry.name !== "node_modules" && entry.name !== ".git")
202
- .map((entry) => entry.name)
203
- .sort();
204
- } catch {
205
- return [];
206
- }
207
- }
208
-
209
143
  /**
210
144
  * Every directory below `dir` one pattern names. `**` does not descend into a
211
145
  * directory that declares a workspace of its own, whose packages are that
@@ -219,7 +153,7 @@ function expand(host: Host, dir: string, pattern: readonly string[], into: Set<s
219
153
  }
220
154
  if (head === "**") {
221
155
  expand(host, dir, rest, into);
222
- for (const name of subdirectories(host, dir)) {
156
+ for (const name of directoriesIn(host, dir)) {
223
157
  if (name.startsWith(".")) {
224
158
  continue;
225
159
  }
@@ -230,12 +164,12 @@ function expand(host: Host, dir: string, pattern: readonly string[], into: Set<s
230
164
  }
231
165
  if (!head.includes("*") && !head.includes("?")) {
232
166
  const child = joinPath(dir, head);
233
- if (head !== "node_modules" && host.kindOf(child) === "directory") {
167
+ if (head !== INSTALLED_PACKAGES && host.kindOf(child) === "directory") {
234
168
  expand(host, child, rest, into);
235
169
  }
236
170
  return;
237
171
  }
238
- for (const name of subdirectories(host, dir)) {
172
+ for (const name of directoriesIn(host, dir)) {
239
173
  if (segmentMatches(head, name)) {
240
174
  expand(host, joinPath(dir, name), rest, into);
241
175
  }
@@ -277,10 +211,10 @@ function namesDirectory(root: string, patterns: readonly string[], dir: string):
277
211
  if (below === undefined) {
278
212
  return false;
279
213
  }
280
- const path = below.split("/");
281
- if (path.includes("node_modules")) {
214
+ if (inInstalledPackages(below)) {
282
215
  return false;
283
216
  }
217
+ const path = below.split("/");
284
218
  let named = false;
285
219
  for (const written of patterns) {
286
220
  const negated = written.startsWith("!");
@@ -314,17 +248,7 @@ function configurationsOf(
314
248
  dir: string,
315
249
  parse: (configFile: string) => ParsedLayout | undefined,
316
250
  ): readonly MemberConfiguration[] {
317
- let names: readonly string[];
318
- try {
319
- names = host
320
- .readDirectory(dir)
321
- .filter((entry) => !entry.directory && CONFIG_FILE.test(entry.name))
322
- .map((entry) => entry.name)
323
- .sort();
324
- } catch {
325
- return [];
326
- }
327
- return names.flatMap((name) => {
251
+ return configFilesIn(host, dir).flatMap((name) => {
328
252
  const configFile = joinPath(dir, name);
329
253
  const parsed = parse(configFile);
330
254
  return parsed === undefined
@@ -353,22 +277,17 @@ function nearestDeclaration(
353
277
  readonly highestPackage: string | undefined;
354
278
  }
355
279
  | undefined {
356
- let dir = targetRoot;
357
280
  let highestPackage: string | undefined;
358
- for (;;) {
281
+ for (const dir of ancestors(targetRoot, repositoryOf(host, targetRoot)?.root)) {
359
282
  const declared = declarationAt(host, dir);
360
283
  if (declared !== undefined) {
361
284
  return { root: dir, ...declared, highestPackage };
362
285
  }
363
- if (host.kindOf(joinPath(dir, MANIFEST)) === "file") {
286
+ if (holdsManifest(host, dir)) {
364
287
  highestPackage = dir;
365
288
  }
366
- const up = dirnamePath(dir);
367
- if (up === dir || host.kindOf(joinPath(dir, ".git")) !== "absent") {
368
- return undefined;
369
- }
370
- dir = up;
371
289
  }
290
+ return undefined;
372
291
  }
373
292
 
374
293
  /**
@@ -376,12 +295,14 @@ function nearestDeclaration(
376
295
  * from the target root up to its repository root declares one with a member beside
377
296
  * its root, or the nearest one does not name the highest package below it, at or
378
297
  * above the target root, among its members. `parse` reads one compiler configuration,
379
- * or answers `undefined` where it does not read.
298
+ * or answers `undefined` where it does not read. `known`, a workspace already read, is the
299
+ * answer where the nearest declaration is its own, so its members are not listed again.
380
300
  */
381
301
  export function findWorkspace(
382
302
  host: Host,
383
303
  targetRoot: string,
384
304
  parse: (configFile: string) => ParsedLayout | undefined,
305
+ known?: Workspace,
385
306
  ): Workspace | undefined {
386
307
  const declared = nearestDeclaration(host, targetRoot);
387
308
  if (declared === undefined) {
@@ -393,6 +314,9 @@ export function findWorkspace(
393
314
  ) {
394
315
  return undefined;
395
316
  }
317
+ if (known?.root === declared.root) {
318
+ return known;
319
+ }
396
320
  const members: WorkspaceMember[] = [];
397
321
  for (const dir of memberDirectories(host, declared.root, declared.patterns)) {
398
322
  const manifest = manifestAt(host, dir);
@@ -414,8 +338,12 @@ export function findWorkspace(
414
338
  return undefined;
415
339
  }
416
340
  members.sort((a, b) =>
417
- a.dir === declared.root ? -1 : b.dir === declared.root ? 1 : a.dir < b.dir ? -1 : 1,
341
+ a.dir === declared.root ? -1 : b.dir === declared.root ? 1 : bytewise(a.dir, b.dir),
418
342
  );
343
+ return assembled(host, declared.root, members);
344
+ }
345
+
346
+ function assembled(host: Host, root: string, members: readonly WorkspaceMember[]): Workspace {
419
347
  const named = new Map<string, WorkspaceMember[]>();
420
348
  for (const member of members) {
421
349
  named.set(member.name, [...(named.get(member.name) ?? []), member]);
@@ -427,12 +355,12 @@ export function findWorkspace(
427
355
  return scopes.get(dir);
428
356
  }
429
357
  const up = dirnamePath(dir);
430
- const found =
431
- host.kindOf(joinPath(dir, MANIFEST)) === "file" ? dir : up === dir ? undefined : scopeOf(up);
358
+ const found = holdsManifest(host, dir) ? dir : up === dir ? undefined : scopeOf(up);
432
359
  scopes.set(dir, found);
433
360
  return found;
434
361
  };
435
362
  return {
363
+ root,
436
364
  members,
437
365
  named,
438
366
  memberOf: (path) => {
@@ -442,6 +370,34 @@ export function findWorkspace(
442
370
  };
443
371
  }
444
372
 
373
+ /**
374
+ * The workspace with the programs the run forms put first among each member's configurations,
375
+ * by the member's directory: a formed program has no file on disk to list, so its file list
376
+ * is what makes a member's JavaScript its source.
377
+ */
378
+ export function withFormed(
379
+ host: Host,
380
+ workspace: Workspace,
381
+ formed: ReadonlyMap<string, readonly ParsedLayout[]>,
382
+ ): Workspace {
383
+ return assembled(
384
+ host,
385
+ workspace.root,
386
+ workspace.members.map((member) => {
387
+ const own = formed.get(member.dir) ?? [];
388
+ return own.length === 0
389
+ ? member
390
+ : {
391
+ ...member,
392
+ configurations: [
393
+ ...own.map((layout) => ({ fileNames: new Set(layout.fileNames) })),
394
+ ...member.configurations,
395
+ ],
396
+ };
397
+ }),
398
+ );
399
+ }
400
+
445
401
  /**
446
402
  * Whether one configuration holds one file only for the references it makes: the file
447
403
  * belongs to a workspace package, the root included, and the configuration does not