@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.
- package/dist/src/alias-chain.js +0 -5
- package/dist/src/amd.js +81 -0
- package/dist/src/analysis.js +94 -54
- package/dist/src/augmentations.js +23 -24
- package/dist/src/bindings.js +382 -0
- package/dist/src/calls.js +25 -8
- package/dist/src/commands/read.js +6 -7
- package/dist/src/commands/tools.js +5 -9
- package/dist/src/component-files.js +3 -2
- package/dist/src/conformance-record.js +1 -1
- package/dist/src/consumers.js +9 -10
- package/dist/src/contextual-uses.js +1 -17
- package/dist/src/contract/config.generated.js +5 -2
- package/dist/src/contract/contract.generated.js +119 -2
- package/dist/src/contract/report.generated.js +6 -2
- package/dist/src/dependencies.js +98 -71
- package/dist/src/destructuring.js +1 -19
- package/dist/src/element-access.js +179 -164
- package/dist/src/entries/build-scripts.js +222 -0
- package/dist/src/{configuration-files.js → entries/configuration-files.js} +22 -64
- package/dist/src/{convention-rows.js → entries/convention-rows.js} +120 -27
- package/dist/src/entries/conventions.js +739 -0
- package/dist/src/{html-entries.js → entries/html-entries.js} +9 -12
- package/dist/src/{mdx-entries.js → entries/mdx-entries.js} +3 -3
- package/dist/src/entries/run-directories.js +77 -0
- package/dist/src/entries/sources.js +144 -0
- package/dist/src/entries/static-module.js +670 -0
- package/dist/src/entries/test-runners.js +684 -0
- package/dist/src/{workflow-steps.js → entries/workflow-steps.js} +18 -8
- package/dist/src/extensions.js +37 -0
- package/dist/src/facts.js +38 -0
- package/dist/src/findings/completion.js +40 -4
- package/dist/src/findings/emitters.js +5 -8
- package/dist/src/{implementations.js → findings/implementations.js} +3 -3
- package/dist/src/{in-operands.js → findings/in-operands.js} +2 -2
- package/dist/src/findings/self-check.js +36 -20
- package/dist/src/findings-pass.js +5 -6
- package/dist/src/framework-lifecycle.js +42 -15
- package/dist/src/fs/manifest.js +15 -20
- package/dist/src/generated-file.js +172 -29
- package/dist/src/graph.js +14 -8
- package/dist/src/import-bindings.js +73 -28
- package/dist/src/index/sites.js +557 -0
- package/dist/src/index.js +1 -1
- package/dist/src/indexed-access.js +523 -478
- package/dist/src/injection-container.js +1 -1
- package/dist/src/interface-satisfaction.js +1 -1
- package/dist/src/inventory/commonjs.js +62 -17
- package/dist/src/inventory/enumerate.js +2 -1
- package/dist/src/javascript-file.js +26 -11
- package/dist/src/keyof-comparisons.js +124 -103
- package/dist/src/load/classify.js +28 -9
- package/dist/src/load/diagnostics.js +8 -1
- package/dist/src/load/discover.js +15 -7
- package/dist/src/load/expected-module.js +2 -2
- package/dist/src/load/plan.js +2 -2
- package/dist/src/load/specifiers.js +2 -4
- package/dist/src/load/synthesize.js +10 -5
- package/dist/src/load/workspace-manifests.js +1 -1
- package/dist/src/load/workspace-resolution.js +2 -2
- package/dist/src/matrix.js +12 -17
- package/dist/src/module-declarations.js +70 -85
- package/dist/src/overrides.js +134 -112
- package/dist/src/paths.js +56 -1
- package/dist/src/platform-calls.js +78 -0
- package/dist/src/platform-symbols.js +134 -0
- package/dist/src/references/read-rule.js +1 -0
- package/dist/src/references/read-rules.js +48 -0
- package/dist/src/references/sink.js +151 -0
- package/dist/src/references/sources.js +450 -0
- package/dist/src/references.js +111 -1116
- package/dist/src/resolve.js +1 -1
- package/dist/src/{configured-declarations.js → roots/configured-declarations.js} +7 -4
- package/dist/src/{entry-point-gaps.js → roots/entry-point-gaps.js} +5 -8
- package/dist/src/{manifest.js → roots/manifest.js} +4 -4
- package/dist/src/roots/published-reach.js +412 -0
- package/dist/src/roots/root-set.js +489 -0
- package/dist/src/roots/unseen-loads.js +236 -0
- package/dist/src/serialization-contract.js +9 -4
- package/dist/src/source-files.js +5 -9
- package/dist/src/stores.js +4 -2
- package/dist/src/suppress.js +30 -32
- package/dist/src/sweep.js +25 -13
- package/dist/src/symbol-keys.js +89 -83
- package/dist/src/tests/file-class.js +76 -0
- package/dist/src/{outside-tests.js → tests/outside.js} +7 -7
- package/dist/src/{test-support.js → tests/support.js} +5 -12
- package/dist/src/type-parameter-reads.js +178 -139
- package/dist/src/unimplemented-callees.js +262 -242
- package/dist/src/verbs/analyze.js +15 -3
- package/dist/src/verbs/describe.js +5 -3
- package/dist/src/verbs/explain.js +50 -28
- package/dist/src/verbs/print-retained.js +2 -2
- package/jsr.json +1 -1
- package/package.json +3 -3
- package/src/alias-chain.ts +0 -7
- package/src/amd.ts +130 -0
- package/src/analysis.ts +156 -70
- package/src/augmentations.ts +41 -27
- package/src/automatic-types.ts +1 -1
- package/src/bindings.ts +460 -0
- package/src/calls.ts +25 -7
- package/src/commands/read.ts +6 -8
- package/src/commands/tools.ts +5 -11
- package/src/component-files.ts +4 -2
- package/src/conformance-record.ts +1 -1
- package/src/consumers.ts +12 -11
- package/src/contextual-uses.ts +2 -22
- package/src/contract/config.generated.ts +5 -2
- package/src/contract/contract.generated.ts +138 -2
- package/src/contract/report.generated.ts +6 -2
- package/src/dependencies.ts +117 -71
- package/src/destructuring.ts +1 -31
- package/src/element-access.ts +188 -182
- package/src/entries/build-scripts.ts +292 -0
- package/src/{configuration-files.ts → entries/configuration-files.ts} +33 -82
- package/src/{convention-rows.ts → entries/convention-rows.ts} +167 -28
- package/src/{conventions.ts → entries/conventions.ts} +349 -523
- package/src/{html-entries.ts → entries/html-entries.ts} +19 -18
- package/src/{mdx-entries.ts → entries/mdx-entries.ts} +5 -5
- package/src/entries/run-directories.ts +108 -0
- package/src/entries/sources.ts +266 -0
- package/src/entries/static-module.ts +858 -0
- package/src/entries/test-runners.ts +868 -0
- package/src/{workflow-steps.ts → entries/workflow-steps.ts} +29 -11
- package/src/exempt.ts +3 -2
- package/src/extensions.ts +45 -0
- package/src/facts.ts +46 -0
- package/src/file-facts.ts +1 -1
- package/src/findings/boundary.ts +2 -0
- package/src/findings/completion.ts +43 -4
- package/src/findings/emitter.ts +1 -1
- package/src/findings/emitters.ts +14 -10
- package/src/{implementations.ts → findings/implementations.ts} +4 -4
- package/src/{in-operands.ts → findings/in-operands.ts} +3 -3
- package/src/findings/self-check.ts +41 -22
- package/src/findings/visibility-narrowing.ts +1 -1
- package/src/findings-pass.ts +5 -12
- package/src/framework-lifecycle.ts +43 -15
- package/src/fs/manifest.ts +25 -21
- package/src/generated-file.ts +240 -36
- package/src/graph.ts +27 -11
- package/src/import-bindings.ts +98 -29
- package/src/index/sites.ts +781 -0
- package/src/index.ts +1 -1
- package/src/indexed-access.ts +570 -527
- package/src/injection-container.ts +1 -1
- package/src/interface-satisfaction.ts +1 -1
- package/src/inventory/commonjs.ts +102 -17
- package/src/inventory/enumerate.ts +2 -1
- package/src/javascript-file.ts +29 -12
- package/src/keyof-comparisons.ts +131 -116
- package/src/load/classify.ts +49 -13
- package/src/load/diagnostics.ts +11 -1
- package/src/load/discover.ts +27 -11
- package/src/load/expected-module.ts +8 -2
- package/src/load/plan.ts +11 -2
- package/src/load/specifiers.ts +8 -5
- package/src/load/synthesize.ts +12 -6
- package/src/load/test-globals.ts +1 -1
- package/src/load/workspace-manifests.ts +1 -1
- package/src/load/workspace-resolution.ts +9 -2
- package/src/load/workspace-run.ts +1 -1
- package/src/matrix.ts +13 -17
- package/src/module-declarations.ts +74 -98
- package/src/overrides.ts +162 -134
- package/src/paths.ts +65 -1
- package/src/platform-calls.ts +119 -0
- package/src/platform-symbols.ts +189 -0
- package/src/references/read-rule.ts +60 -0
- package/src/references/read-rules.ts +55 -0
- package/src/references/sink.ts +213 -0
- package/src/references/sources.ts +632 -0
- package/src/references.ts +174 -1492
- package/src/report.ts +2 -2
- package/src/resolve.ts +1 -1
- package/src/{configured-declarations.ts → roots/configured-declarations.ts} +10 -7
- package/src/{entry-point-gaps.ts → roots/entry-point-gaps.ts} +5 -8
- package/src/{manifest.ts → roots/manifest.ts} +5 -5
- package/src/roots/published-reach.ts +481 -0
- package/src/{roots.ts → roots/root-set.ts} +203 -630
- package/src/roots/unseen-loads.ts +345 -0
- package/src/serialization-contract.ts +9 -4
- package/src/source-files.ts +5 -10
- package/src/stores.ts +13 -2
- package/src/suppress.ts +48 -33
- package/src/sweep.ts +37 -14
- package/src/symbol-keys.ts +102 -102
- package/src/tests/file-class.ts +118 -0
- package/src/{outside-tests.ts → tests/outside.ts} +16 -10
- package/src/{test-support.ts → tests/support.ts} +15 -21
- package/src/type-parameter-reads.ts +187 -158
- package/src/unimplemented-callees.ts +297 -280
- package/src/verbs/analyze.ts +19 -5
- package/src/verbs/describe.ts +5 -2
- package/src/verbs/explain.ts +75 -32
- package/src/verbs/print-retained.ts +2 -2
- package/dist/src/build-scripts.js +0 -418
- package/dist/src/conventions.js +0 -907
- package/dist/src/entry-points.js +0 -444
- package/dist/src/own-body.js +0 -28
- package/dist/src/roots.js +0 -865
- package/dist/src/unseen-loads.js +0 -189
- package/src/build-scripts.ts +0 -536
- package/src/entry-points.ts +0 -584
- package/src/own-body.ts +0 -42
- 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 "
|
|
15
|
-
import {
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
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(
|
|
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
|
-
|
|
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
|
|
139
|
-
const relative = 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
|
|
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 "
|
|
10
|
-
import { dirnamePath, joinPath, resolvePath } from "
|
|
11
|
-
import type { SourceFiles } from "
|
|
12
|
-
import { filesBelow } from "
|
|
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
|
|
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
|
+
}
|