@cplieger/deadset-ts 8.0.0-dev.15 → 8.0.0-dev.17

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 (207) hide show
  1. package/dist/src/alias-chain.js +0 -5
  2. package/dist/src/amd.js +81 -0
  3. package/dist/src/analysis.js +94 -54
  4. package/dist/src/augmentations.js +23 -24
  5. package/dist/src/bindings.js +382 -0
  6. package/dist/src/calls.js +25 -8
  7. package/dist/src/commands/read.js +6 -7
  8. package/dist/src/commands/tools.js +5 -9
  9. package/dist/src/component-files.js +3 -2
  10. package/dist/src/conformance-record.js +1 -1
  11. package/dist/src/consumers.js +9 -10
  12. package/dist/src/contextual-uses.js +1 -17
  13. package/dist/src/contract/config.generated.js +5 -2
  14. package/dist/src/contract/contract.generated.js +119 -2
  15. package/dist/src/contract/report.generated.js +6 -2
  16. package/dist/src/dependencies.js +98 -71
  17. package/dist/src/destructuring.js +1 -19
  18. package/dist/src/element-access.js +179 -164
  19. package/dist/src/entries/build-scripts.js +222 -0
  20. package/dist/src/{configuration-files.js → entries/configuration-files.js} +22 -64
  21. package/dist/src/{convention-rows.js → entries/convention-rows.js} +120 -27
  22. package/dist/src/entries/conventions.js +739 -0
  23. package/dist/src/{html-entries.js → entries/html-entries.js} +9 -12
  24. package/dist/src/{mdx-entries.js → entries/mdx-entries.js} +3 -3
  25. package/dist/src/entries/run-directories.js +77 -0
  26. package/dist/src/entries/sources.js +144 -0
  27. package/dist/src/entries/static-module.js +670 -0
  28. package/dist/src/entries/test-runners.js +684 -0
  29. package/dist/src/{workflow-steps.js → entries/workflow-steps.js} +18 -8
  30. package/dist/src/extensions.js +37 -0
  31. package/dist/src/facts.js +38 -0
  32. package/dist/src/findings/completion.js +40 -4
  33. package/dist/src/findings/emitters.js +5 -8
  34. package/dist/src/{implementations.js → findings/implementations.js} +3 -3
  35. package/dist/src/{in-operands.js → findings/in-operands.js} +2 -2
  36. package/dist/src/findings/self-check.js +36 -20
  37. package/dist/src/findings-pass.js +5 -6
  38. package/dist/src/framework-lifecycle.js +42 -15
  39. package/dist/src/fs/manifest.js +15 -20
  40. package/dist/src/generated-file.js +172 -29
  41. package/dist/src/graph.js +14 -8
  42. package/dist/src/import-bindings.js +73 -28
  43. package/dist/src/index/sites.js +557 -0
  44. package/dist/src/index.js +1 -1
  45. package/dist/src/indexed-access.js +523 -478
  46. package/dist/src/injection-container.js +1 -1
  47. package/dist/src/interface-satisfaction.js +1 -1
  48. package/dist/src/inventory/commonjs.js +62 -17
  49. package/dist/src/inventory/enumerate.js +2 -1
  50. package/dist/src/javascript-file.js +26 -11
  51. package/dist/src/keyof-comparisons.js +124 -103
  52. package/dist/src/load/classify.js +28 -9
  53. package/dist/src/load/diagnostics.js +8 -1
  54. package/dist/src/load/discover.js +15 -7
  55. package/dist/src/load/expected-module.js +2 -2
  56. package/dist/src/load/plan.js +2 -2
  57. package/dist/src/load/specifiers.js +2 -4
  58. package/dist/src/load/synthesize.js +10 -5
  59. package/dist/src/load/workspace-manifests.js +1 -1
  60. package/dist/src/load/workspace-resolution.js +2 -2
  61. package/dist/src/matrix.js +12 -17
  62. package/dist/src/module-declarations.js +70 -85
  63. package/dist/src/overrides.js +134 -112
  64. package/dist/src/paths.js +56 -1
  65. package/dist/src/platform-calls.js +78 -0
  66. package/dist/src/platform-symbols.js +134 -0
  67. package/dist/src/references/read-rule.js +1 -0
  68. package/dist/src/references/read-rules.js +48 -0
  69. package/dist/src/references/sink.js +151 -0
  70. package/dist/src/references/sources.js +450 -0
  71. package/dist/src/references.js +111 -1116
  72. package/dist/src/resolve.js +1 -1
  73. package/dist/src/{configured-declarations.js → roots/configured-declarations.js} +7 -4
  74. package/dist/src/{entry-point-gaps.js → roots/entry-point-gaps.js} +5 -8
  75. package/dist/src/{manifest.js → roots/manifest.js} +4 -4
  76. package/dist/src/roots/published-reach.js +412 -0
  77. package/dist/src/roots/root-set.js +489 -0
  78. package/dist/src/roots/unseen-loads.js +236 -0
  79. package/dist/src/serialization-contract.js +9 -4
  80. package/dist/src/source-files.js +5 -9
  81. package/dist/src/stores.js +4 -2
  82. package/dist/src/suppress.js +30 -32
  83. package/dist/src/sweep.js +25 -13
  84. package/dist/src/symbol-keys.js +89 -83
  85. package/dist/src/tests/file-class.js +76 -0
  86. package/dist/src/{outside-tests.js → tests/outside.js} +7 -7
  87. package/dist/src/{test-support.js → tests/support.js} +5 -12
  88. package/dist/src/type-parameter-reads.js +178 -139
  89. package/dist/src/unimplemented-callees.js +262 -242
  90. package/dist/src/verbs/analyze.js +15 -3
  91. package/dist/src/verbs/describe.js +5 -3
  92. package/dist/src/verbs/explain.js +50 -28
  93. package/dist/src/verbs/print-retained.js +2 -2
  94. package/jsr.json +1 -1
  95. package/package.json +3 -3
  96. package/src/alias-chain.ts +0 -7
  97. package/src/amd.ts +130 -0
  98. package/src/analysis.ts +156 -70
  99. package/src/augmentations.ts +41 -27
  100. package/src/automatic-types.ts +1 -1
  101. package/src/bindings.ts +460 -0
  102. package/src/calls.ts +25 -7
  103. package/src/commands/read.ts +6 -8
  104. package/src/commands/tools.ts +5 -11
  105. package/src/component-files.ts +4 -2
  106. package/src/conformance-record.ts +1 -1
  107. package/src/consumers.ts +12 -11
  108. package/src/contextual-uses.ts +2 -22
  109. package/src/contract/config.generated.ts +5 -2
  110. package/src/contract/contract.generated.ts +138 -2
  111. package/src/contract/report.generated.ts +6 -2
  112. package/src/dependencies.ts +117 -71
  113. package/src/destructuring.ts +1 -31
  114. package/src/element-access.ts +188 -182
  115. package/src/entries/build-scripts.ts +292 -0
  116. package/src/{configuration-files.ts → entries/configuration-files.ts} +33 -82
  117. package/src/{convention-rows.ts → entries/convention-rows.ts} +167 -28
  118. package/src/{conventions.ts → entries/conventions.ts} +349 -523
  119. package/src/{html-entries.ts → entries/html-entries.ts} +19 -18
  120. package/src/{mdx-entries.ts → entries/mdx-entries.ts} +5 -5
  121. package/src/entries/run-directories.ts +108 -0
  122. package/src/entries/sources.ts +266 -0
  123. package/src/entries/static-module.ts +858 -0
  124. package/src/entries/test-runners.ts +868 -0
  125. package/src/{workflow-steps.ts → entries/workflow-steps.ts} +29 -11
  126. package/src/exempt.ts +3 -2
  127. package/src/extensions.ts +45 -0
  128. package/src/facts.ts +46 -0
  129. package/src/file-facts.ts +1 -1
  130. package/src/findings/boundary.ts +2 -0
  131. package/src/findings/completion.ts +43 -4
  132. package/src/findings/emitter.ts +1 -1
  133. package/src/findings/emitters.ts +14 -10
  134. package/src/{implementations.ts → findings/implementations.ts} +4 -4
  135. package/src/{in-operands.ts → findings/in-operands.ts} +3 -3
  136. package/src/findings/self-check.ts +41 -22
  137. package/src/findings/visibility-narrowing.ts +1 -1
  138. package/src/findings-pass.ts +5 -12
  139. package/src/framework-lifecycle.ts +43 -15
  140. package/src/fs/manifest.ts +25 -21
  141. package/src/generated-file.ts +240 -36
  142. package/src/graph.ts +27 -11
  143. package/src/import-bindings.ts +98 -29
  144. package/src/index/sites.ts +781 -0
  145. package/src/index.ts +1 -1
  146. package/src/indexed-access.ts +570 -527
  147. package/src/injection-container.ts +1 -1
  148. package/src/interface-satisfaction.ts +1 -1
  149. package/src/inventory/commonjs.ts +102 -17
  150. package/src/inventory/enumerate.ts +2 -1
  151. package/src/javascript-file.ts +29 -12
  152. package/src/keyof-comparisons.ts +131 -116
  153. package/src/load/classify.ts +49 -13
  154. package/src/load/diagnostics.ts +11 -1
  155. package/src/load/discover.ts +27 -11
  156. package/src/load/expected-module.ts +8 -2
  157. package/src/load/plan.ts +11 -2
  158. package/src/load/specifiers.ts +8 -5
  159. package/src/load/synthesize.ts +12 -6
  160. package/src/load/test-globals.ts +1 -1
  161. package/src/load/workspace-manifests.ts +1 -1
  162. package/src/load/workspace-resolution.ts +9 -2
  163. package/src/load/workspace-run.ts +1 -1
  164. package/src/matrix.ts +13 -17
  165. package/src/module-declarations.ts +74 -98
  166. package/src/overrides.ts +162 -134
  167. package/src/paths.ts +65 -1
  168. package/src/platform-calls.ts +119 -0
  169. package/src/platform-symbols.ts +189 -0
  170. package/src/references/read-rule.ts +60 -0
  171. package/src/references/read-rules.ts +55 -0
  172. package/src/references/sink.ts +213 -0
  173. package/src/references/sources.ts +632 -0
  174. package/src/references.ts +174 -1492
  175. package/src/report.ts +2 -2
  176. package/src/resolve.ts +1 -1
  177. package/src/{configured-declarations.ts → roots/configured-declarations.ts} +10 -7
  178. package/src/{entry-point-gaps.ts → roots/entry-point-gaps.ts} +5 -8
  179. package/src/{manifest.ts → roots/manifest.ts} +5 -5
  180. package/src/roots/published-reach.ts +481 -0
  181. package/src/{roots.ts → roots/root-set.ts} +203 -630
  182. package/src/roots/unseen-loads.ts +345 -0
  183. package/src/serialization-contract.ts +9 -4
  184. package/src/source-files.ts +5 -10
  185. package/src/stores.ts +13 -2
  186. package/src/suppress.ts +48 -33
  187. package/src/sweep.ts +37 -14
  188. package/src/symbol-keys.ts +102 -102
  189. package/src/tests/file-class.ts +118 -0
  190. package/src/{outside-tests.ts → tests/outside.ts} +16 -10
  191. package/src/{test-support.ts → tests/support.ts} +15 -21
  192. package/src/type-parameter-reads.ts +187 -158
  193. package/src/unimplemented-callees.ts +297 -280
  194. package/src/verbs/analyze.ts +19 -5
  195. package/src/verbs/describe.ts +5 -2
  196. package/src/verbs/explain.ts +75 -32
  197. package/src/verbs/print-retained.ts +2 -2
  198. package/dist/src/build-scripts.js +0 -418
  199. package/dist/src/conventions.js +0 -907
  200. package/dist/src/entry-points.js +0 -444
  201. package/dist/src/own-body.js +0 -28
  202. package/dist/src/roots.js +0 -865
  203. package/dist/src/unseen-loads.js +0 -189
  204. package/src/build-scripts.ts +0 -536
  205. package/src/entry-points.ts +0 -584
  206. package/src/own-body.ts +0 -42
  207. package/src/unseen-loads.ts +0 -282
@@ -11,11 +11,19 @@ import {
11
11
  type SourceFile,
12
12
  } from "@typescript/native/ast";
13
13
  import { resolveRelativeSpecifier, type ParseFile } from "./configuration-files.ts";
14
- import type { Host } from "./host.ts";
15
- import { ancestors, dirnamePath, joinPath, resolvePath } from "./paths.ts";
16
- import type { SourceFiles } from "./source-files.ts";
17
- import { filesBelow } from "./fs/tree.ts";
18
- import { holdsManifest } from "./fs/manifest.ts";
14
+ import type { Host } from "../host.ts";
15
+ import {
16
+ ancestors,
17
+ dirnamePath,
18
+ hasURLScheme,
19
+ isAbsolutePath,
20
+ isExplicitPath,
21
+ joinPath,
22
+ resolvePath,
23
+ } from "../paths.ts";
24
+ import type { SourceFiles } from "../source-files.ts";
25
+ import { filesBelow } from "../fs/tree.ts";
26
+ import { holdsManifest } from "../fs/manifest.ts";
19
27
 
20
28
  /** One file a script loads, and the value or specifier that named it. */
21
29
  interface HTMLEntry {
@@ -32,15 +40,9 @@ const SCRIPT_END = /<\/script\s*>/iu;
32
40
  /** One attribute: a name, then a double-quoted, single-quoted or unquoted value. */
33
41
  const ATTRIBUTE = /([^\s"'=<>/]+)(?:\s*=\s*(?:"([^"]*)"|'([^']*)'|([^\s"'=<>`]+)))?/gu;
34
42
 
35
- /** A value that names a resource on another origin, or by another scheme. */
36
- const ELSEWHERE = /^(?:\/\/|[A-Za-z][A-Za-z\d+.-]*:)/u;
37
-
38
43
  /** The `type` values a classic script carries, compared in lowercase. */
39
44
  const CLASSIC_TYPES: ReadonlySet<string> = new Set(["text/javascript", "application/javascript"]);
40
45
 
41
- /** The prefixes an inline script's specifier names a file of the target with. */
42
- const FILE_PREFIXES = ["/", "./", "../"] as const;
43
-
44
46
  /** Each attribute of one start tag's attribute text, by its lowercase name. */
45
47
  function attributes(text: string): ReadonlyMap<string, string> {
46
48
  const found = new Map<string, string>();
@@ -94,9 +96,7 @@ function scriptValues(parse: ParseFile | undefined, path: string, text: string):
94
96
  const end = rest.search(SCRIPT_END);
95
97
  const content = end === -1 ? rest : rest.slice(0, end);
96
98
  values.push(
97
- ...specifiersOf(parse, `${path}.${String(start)}.ts`, content).filter((specifier) =>
98
- FILE_PREFIXES.some((prefix) => specifier.startsWith(prefix)),
99
- ),
99
+ ...specifiersOf(parse, `${path}.${String(start)}.ts`, content).filter(isExplicitPath),
100
100
  );
101
101
  }
102
102
  return values;
@@ -132,18 +132,19 @@ export function htmlEntries(
132
132
  }
133
133
  const dir = dirnamePath(path);
134
134
  for (const value of scriptValues(parse, path, text)) {
135
- if (ELSEWHERE.test(value)) {
135
+ // A value with a scheme, or one starting `//`, names a resource on another origin.
136
+ if (value.startsWith("//") || hasURLScheme(value)) {
136
137
  continue;
137
138
  }
138
- const base = value.startsWith("/") ? manifestDirectory(host, root, dir) : dir;
139
- const relative = value.startsWith("/") ? `.${value}` : value;
139
+ const base = isAbsolutePath(value) ? manifestDirectory(host, root, dir) : dir;
140
+ const relative = isAbsolutePath(value) ? `.${value}` : value;
140
141
  const reached = resolveRelativeSpecifier(host, base, relative);
141
142
  const file = reached === undefined ? undefined : files.byName.get(reached);
142
143
  if (file !== undefined) {
143
144
  found.push({ file, source: value });
144
145
  continue;
145
146
  }
146
- const served = value.startsWith("/")
147
+ const served = isAbsolutePath(value)
147
148
  ? files.outputDirs.filter((outDir) => outDir === dir)
148
149
  : [];
149
150
  const emitting = [base, ...served].flatMap((against) =>
@@ -6,10 +6,10 @@
6
6
 
7
7
  import type { SourceFile } from "@typescript/native/ast";
8
8
  import { resolveRelativeSpecifier } from "./configuration-files.ts";
9
- import type { Host } from "./host.ts";
10
- import { dirnamePath, joinPath, resolvePath } from "./paths.ts";
11
- import type { SourceFiles } from "./source-files.ts";
12
- import { filesBelow } from "./fs/tree.ts";
9
+ import type { Host } from "../host.ts";
10
+ import { dirnamePath, joinPath, resolvePath, startsRelativePath } from "../paths.ts";
11
+ import type { SourceFiles } from "../source-files.ts";
12
+ import { filesBelow } from "../fs/tree.ts";
13
13
 
14
14
  /** One file a document imports, the specifier that named it, and the export names it reads. */
15
15
  interface DocumentEntry {
@@ -154,7 +154,7 @@ function importedBy(
154
154
  }
155
155
  const matched = open === undefined ? IMPORT_LINE.exec(line) : null;
156
156
  const specifier = matched?.[2];
157
- if (specifier?.startsWith("./") === true || specifier?.startsWith("../") === true) {
157
+ if (specifier !== undefined && startsRelativePath(specifier)) {
158
158
  found.push({ specifier, names: clauseNames(matched?.[1] ?? "") });
159
159
  }
160
160
  }
@@ -0,0 +1,108 @@
1
+ import type { ParseFile } from "./configuration-files.ts";
2
+ import { membersNamed, staticModule, textsOf } from "./static-module.ts";
3
+ import { holdsManifest } from "../fs/manifest.ts";
4
+ import type { Host } from "../host.ts";
5
+ import { ancestors, dirnamePath, joinPath, resolvePath } from "../paths.ts";
6
+
7
+ /** The directories a tool run over one file starts from, read before any of its loads is resolved. */
8
+ export interface RunDirectories {
9
+ /**
10
+ * The directory a package manager runs the scripts of the file's package in, the package's
11
+ * root (https://docs.npmjs.com/cli/v11/using-npm/scripts#best-practices): the nearest
12
+ * directory at or above the file, up to the run's top, holding a manifest, else the top.
13
+ */
14
+ workingDirectoryOf(fileName: string): string;
15
+ /**
16
+ * The bundler's project root a `/` glob is read against
17
+ * (https://vite.dev/guide/features.html#glob-import): the directory of the nearest bundler
18
+ * configuration at or above the file, moved by a literal `root` it writes, else the
19
+ * working directory. Undefined where a configuration there may move it to a place its
20
+ * text does not state.
21
+ */
22
+ bundlerRootOf(fileName: string): string | undefined;
23
+ }
24
+
25
+ /** The configuration file names the bundler and its test runner read their root from. */
26
+ const BUNDLER_CONFIGS = ["vite.config", "vitest.config"].flatMap((stem) =>
27
+ ["js", "mjs", "cjs", "ts", "mts", "cts"].map((extension) => `${stem}.${extension}`),
28
+ );
29
+
30
+ /**
31
+ * The root the configurations of one directory state: the directory where none writes a
32
+ * `root`, the one literal they all write, or undefined where one cannot be read, writes a
33
+ * value that is not a literal, or two disagree.
34
+ */
35
+ function statedRoot(
36
+ host: Host,
37
+ parse: ParseFile,
38
+ dir: string,
39
+ configs: readonly string[],
40
+ ): string | undefined {
41
+ const roots = new Set<string>();
42
+ for (const name of configs) {
43
+ const path = joinPath(dir, name);
44
+ let text: string;
45
+ try {
46
+ text = host.readFile(path);
47
+ } catch {
48
+ return undefined;
49
+ }
50
+ const objects = staticModule(parse(path, text)).defaultExport;
51
+ if (objects.length === 0) {
52
+ return undefined;
53
+ }
54
+ for (const object of objects) {
55
+ const values = object.kind === "object" ? membersNamed(object, "root") : undefined;
56
+ if (values === undefined) {
57
+ return undefined;
58
+ }
59
+ for (const value of values) {
60
+ const [root] = textsOf(value, false) ?? [];
61
+ if (root === undefined) {
62
+ return undefined;
63
+ }
64
+ roots.add(resolvePath(dir, root));
65
+ }
66
+ }
67
+ }
68
+ if (roots.size > 1) {
69
+ return undefined;
70
+ }
71
+ return [...roots][0] ?? dir;
72
+ }
73
+
74
+ /** The directories of one run below `top`, each read once per directory. */
75
+ export function runDirectories(host: Host, top: string, parse: ParseFile): RunDirectories {
76
+ const working = new Map<string, string>();
77
+ const bundler = new Map<string, string | undefined>();
78
+ const workingDirectoryOf = (fileName: string): string => {
79
+ const dir = dirnamePath(fileName);
80
+ let found = working.get(dir);
81
+ if (found === undefined) {
82
+ found = ancestors(dir, top).find((at) => holdsManifest(host, at)) ?? top;
83
+ working.set(dir, found);
84
+ }
85
+ return found;
86
+ };
87
+ return {
88
+ workingDirectoryOf,
89
+ bundlerRootOf: (fileName) => {
90
+ const dir = dirnamePath(fileName);
91
+ if (bundler.has(dir)) {
92
+ return bundler.get(dir);
93
+ }
94
+ let found: string | undefined = workingDirectoryOf(fileName);
95
+ for (const at of ancestors(dir, top)) {
96
+ const configs = BUNDLER_CONFIGS.filter(
97
+ (name) => host.kindOf(joinPath(at, name)) === "file",
98
+ );
99
+ if (configs.length > 0) {
100
+ found = statedRoot(host, parse, at, configs);
101
+ break;
102
+ }
103
+ }
104
+ bundler.set(dir, found);
105
+ return found;
106
+ },
107
+ };
108
+ }
@@ -0,0 +1,266 @@
1
+ /**
2
+ * The sources that enter a project's files with no import naming them, read once per
3
+ * project into one record every stage reads: the roots stage reads the files they enter,
4
+ * the dependency stage the configuration files' strings, and the reference pass the test
5
+ * files. A value a source does not find written out names nothing.
6
+ */
7
+
8
+ import type { SourceFile } from "@typescript/native/ast";
9
+ import { buildScriptEntries } from "./build-scripts.ts";
10
+ import {
11
+ configurationFiles,
12
+ filesNamedBy,
13
+ moduleStrings,
14
+ type ConfigurationFiles,
15
+ type ParseFile,
16
+ } from "./configuration-files.ts";
17
+ import {
18
+ conventionEntries,
19
+ conventionTestFiles,
20
+ generatedFiles,
21
+ type Conventions,
22
+ type Selected,
23
+ } from "./conventions.ts";
24
+ import type { Host } from "../host.ts";
25
+ import { htmlEntries } from "./html-entries.ts";
26
+ import { documentEntries } from "./mdx-entries.ts";
27
+ import { dirnamePath } from "../paths.ts";
28
+ import type { SourceFiles } from "../source-files.ts";
29
+ import { globExpression } from "../text/glob.ts";
30
+ import { workflowEntries, type Workflows } from "./workflow-steps.ts";
31
+
32
+ /** Which source entered a file. */
33
+ export type EntryRule =
34
+ /** A configuration module, by the form of its name. */
35
+ | "configuration-file"
36
+ /** A file a relative string of a configuration module or a JSON configuration file names. */
37
+ | "configuration-string"
38
+ /** An entry a build script's bundler call names, whose exports the bundle exposes. */
39
+ | "bundler-entry"
40
+ /** A test file `ts.test_files` or an applied convention row names. */
41
+ | "test-runner"
42
+ /** A file an applied convention row's globs match. */
43
+ | "convention"
44
+ /** A file a module script of an HTML file below the target root loads. */
45
+ | "html-entry"
46
+ /** A file a `run:` step of a workflow in the target root's `.github/workflows` names. */
47
+ | "workflow-step"
48
+ /** A file an import line of a Markdown or MDX document below the target root names. */
49
+ | "document-import";
50
+
51
+ /** One file a source enters. */
52
+ interface EntryPoint {
53
+ readonly file: SourceFile;
54
+ readonly rule: EntryRule;
55
+ /**
56
+ * What named the file: the file-name convention the tool looks for, the row, the
57
+ * test-file pattern or string that classified it, or the literal a configuration or a
58
+ * call writes.
59
+ */
60
+ readonly source: string;
61
+ /**
62
+ * Whether what the file exports is read too. A tool loading a configuration reads its
63
+ * default export; a runtime executing a test file runs its top level and names none of
64
+ * its exports.
65
+ */
66
+ readonly exports: boolean;
67
+ /** Where the file is entered for some of its exports only, their export names. */
68
+ readonly names?: readonly string[];
69
+ }
70
+
71
+ /** What the sources of one project are read from. */
72
+ interface SourceContext {
73
+ readonly host: Host;
74
+ readonly targetRoot: string;
75
+ readonly files: SourceFiles;
76
+ /** The parser the files no program holds are read with, where they are read. */
77
+ readonly parse?: ParseFile | undefined;
78
+ /** `ts.test_files` from the resolved configuration. */
79
+ readonly testFiles: readonly string[];
80
+ /** The convention rows the run applied. */
81
+ readonly conventions?: Conventions | undefined;
82
+ /** The target root's workflow steps, git hooks and makefile, read once per run. */
83
+ readonly workflows: Workflows;
84
+ }
85
+
86
+ /** What the sources of one project enter and name. */
87
+ export interface SourceFacts {
88
+ /** Every file a source enters, once per source and string that enters it. */
89
+ readonly entered: readonly EntryPoint[];
90
+ /** The files, absolute, a test runner loads. */
91
+ readonly testFiles: ReadonlySet<string>;
92
+ /** The own files below a directory an applied row generates, by path below the target root, each with the row. */
93
+ readonly generated: ReadonlyMap<string, string>;
94
+ /** The configuration files, whose strings name files and dependencies. */
95
+ readonly configuration: ConfigurationFiles;
96
+ /** The target root's workflow steps, git hooks and makefile the entries were read from. */
97
+ readonly workflows: Workflows;
98
+ }
99
+
100
+ /** One file a test runner loads, and the pattern or string naming it. */
101
+ interface TestFile {
102
+ readonly file: SourceFile;
103
+ readonly source: string;
104
+ }
105
+
106
+ /** What every source reads: the context, and the configuration files and test files read once. */
107
+ interface SourceInput extends SourceContext {
108
+ readonly configuration: ConfigurationFiles;
109
+ readonly tests: readonly TestFile[];
110
+ }
111
+
112
+ /** One source: the files it enters in one project. */
113
+ type EntrySource = (input: SourceInput) => readonly EntryPoint[];
114
+
115
+ /**
116
+ * Each configuration module, with what it exports, and each own file a relative string of
117
+ * a configuration module or a JSON configuration file names, read against that file's
118
+ * directory. A string at a selection key of an applied convention row, or naming a test
119
+ * file, names no file here.
120
+ */
121
+ const configurationSource: EntrySource = ({ files, configuration, conventions }) => {
122
+ const selected: ReadonlyMap<string, Selected> = conventions?.selected ?? new Map();
123
+ const found: EntryPoint[] = [];
124
+ const unselected = (file: SourceFile): readonly string[] => {
125
+ const starts = selected.get(file.fileName)?.starts;
126
+ return moduleStrings(file)
127
+ .filter((one) => starts?.has(one.node.getStart()) !== true)
128
+ .map((one) => one.text);
129
+ };
130
+ const unselectedIn = (path: string, texts: readonly string[]): readonly string[] => {
131
+ const left = [...(selected.get(path)?.texts ?? [])];
132
+ return texts.filter((text) => {
133
+ const at = left.indexOf(text);
134
+ if (at < 0) {
135
+ return true;
136
+ }
137
+ left.splice(at, 1);
138
+ return false;
139
+ });
140
+ };
141
+ const strings = (dir: string, texts: readonly string[]): void => {
142
+ for (const text of texts) {
143
+ for (const file of filesNamedBy(files, dir, text)) {
144
+ found.push({ file, rule: "configuration-string", source: text, exports: true });
145
+ }
146
+ }
147
+ };
148
+ for (const { file, form } of configuration.modules) {
149
+ found.push({ file, rule: "configuration-file", source: form, exports: true });
150
+ strings(dirnamePath(file.fileName), unselected(file));
151
+ }
152
+ for (const document of configuration.documents) {
153
+ strings(dirnamePath(document.path), unselectedIn(document.path, document.strings));
154
+ }
155
+ for (const { file } of configuration.outside) {
156
+ strings(dirnamePath(file.fileName), unselected(file));
157
+ }
158
+ return found;
159
+ };
160
+
161
+ const testSource: EntrySource = ({ tests }) =>
162
+ tests.map(({ file, source }) => ({ file, rule: "test-runner", source, exports: false }));
163
+
164
+ const conventionSource: EntrySource = ({ files, conventions }) =>
165
+ conventions === undefined
166
+ ? []
167
+ : conventionEntries(conventions, files).map(({ file, row }) => ({
168
+ file,
169
+ rule: "convention",
170
+ source: row,
171
+ exports: true,
172
+ }));
173
+
174
+ const htmlSource: EntrySource = ({ host, targetRoot, files, parse }) =>
175
+ htmlEntries(host, targetRoot, files, parse).map(({ file, source }) => ({
176
+ file,
177
+ rule: "html-entry",
178
+ source,
179
+ exports: true,
180
+ }));
181
+
182
+ const documentSource: EntrySource = ({ host, targetRoot, files }) =>
183
+ documentEntries(host, targetRoot, files).map(({ file, source, names }) => ({
184
+ file,
185
+ rule: "document-import",
186
+ source,
187
+ exports: true,
188
+ ...(names === undefined ? {} : { names }),
189
+ }));
190
+
191
+ const buildScriptSource: EntrySource = ({ host, targetRoot, files, parse }) =>
192
+ buildScriptEntries(host, targetRoot, files, parse).map(({ file, source }) => ({
193
+ file,
194
+ rule: "bundler-entry",
195
+ source,
196
+ exports: true,
197
+ }));
198
+
199
+ const workflowSource: EntrySource = ({ workflows, files }) =>
200
+ workflowEntries(workflows, files).map(({ file, source }) => ({
201
+ file,
202
+ rule: "workflow-step",
203
+ source,
204
+ exports: true,
205
+ }));
206
+
207
+ /** Every source, each read once per project. */
208
+ const ENTRY_SOURCES: readonly EntrySource[] = [
209
+ configurationSource,
210
+ conventionSource,
211
+ testSource,
212
+ htmlSource,
213
+ documentSource,
214
+ buildScriptSource,
215
+ workflowSource,
216
+ ];
217
+
218
+ /**
219
+ * The files a test runner loads in one project: each `ts.test_files` pattern's matches
220
+ * below the target root, then each file an applied row names, once per pattern or row
221
+ * string that names it.
222
+ */
223
+ function testFilesOf(context: SourceContext): readonly TestFile[] {
224
+ const found: TestFile[] = [];
225
+ for (const pattern of context.testFiles) {
226
+ const expression = globExpression(pattern);
227
+ for (const [path, file] of context.files.byPath) {
228
+ if (expression.test(path)) {
229
+ found.push({ file, source: pattern });
230
+ }
231
+ }
232
+ }
233
+ const named =
234
+ context.conventions === undefined
235
+ ? []
236
+ : conventionTestFiles(context.conventions, context.files);
237
+ for (const [name, source] of named) {
238
+ const file = context.files.byName.get(name);
239
+ if (file !== undefined) {
240
+ found.push({ file, source });
241
+ }
242
+ }
243
+ return found;
244
+ }
245
+
246
+ /** Reads every source of one project once. */
247
+ export function readSources(context: SourceContext): SourceFacts {
248
+ const configuration = configurationFiles(
249
+ context.host,
250
+ context.targetRoot,
251
+ context.files,
252
+ context.parse,
253
+ );
254
+ const tests = testFilesOf(context);
255
+ const input: SourceInput = { ...context, configuration, tests };
256
+ return {
257
+ entered: ENTRY_SOURCES.flatMap((source) => source(input)),
258
+ testFiles: new Set(tests.map(({ file }) => file.fileName)),
259
+ generated:
260
+ context.conventions === undefined
261
+ ? new Map()
262
+ : generatedFiles(context.conventions, context.files),
263
+ configuration,
264
+ workflows: context.workflows,
265
+ };
266
+ }