@cplieger/deadset-ts 7.2.0-dev.4 → 8.0.0-dev.10
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/README.md +1 -1
- package/dist/bin/mapper-connection.js +2 -1
- package/dist/bin/node-host.js +24 -5
- package/dist/src/analysis.js +245 -309
- package/dist/src/augmentations.js +124 -18
- package/dist/src/automatic-types.js +170 -0
- package/dist/src/build-scripts.js +425 -0
- package/dist/src/component-layer.js +4 -2
- package/dist/src/components.js +9 -9
- package/dist/src/config.js +6 -81
- package/dist/src/configuration-files.js +78 -188
- package/dist/src/configured-declarations.js +15 -20
- package/dist/src/conformance-record.js +2 -2
- package/dist/src/consumers.js +3 -30
- package/dist/src/contextual-uses.js +56 -9
- package/dist/src/contract/config.generated.js +558 -0
- package/dist/src/contract/contract.generated.js +1244 -0
- package/dist/src/contract/report.generated.js +862 -0
- package/dist/src/convention-rows.js +146 -1
- package/dist/src/conventions.js +136 -70
- package/dist/src/decorator.js +21 -18
- package/dist/src/dependencies.js +280 -62
- package/dist/src/edges.js +38 -122
- package/dist/src/element-access.js +4 -6
- package/dist/src/entry-point-gaps.js +9 -18
- package/dist/src/entry-points.js +106 -21
- package/dist/src/enum-group.js +3 -10
- package/dist/src/erased-stores.js +4 -6
- package/dist/src/exempt-classes.js +1 -63
- package/dist/src/exempt.js +21 -40
- package/dist/src/failure.js +36 -0
- package/dist/src/file-facts.js +2 -25
- package/dist/src/findings/completion.js +225 -63
- package/dist/src/findings/dependencies-and-module-machinery.js +72 -27
- package/dist/src/findings/emitters.js +6 -6
- package/dist/src/findings/interfaces.js +4 -5
- package/dist/src/findings/intra-function.js +53 -19
- package/dist/src/findings/non-code-artifacts.js +71 -39
- package/dist/src/findings/reads-and-writes.js +16 -13
- package/dist/src/findings/self-check.js +10 -12
- package/dist/src/findings/unused-declarations.js +57 -28
- package/dist/src/findings/visibility-narrowing.js +40 -18
- package/dist/src/findings-pass.js +8 -15
- package/dist/src/framework-lifecycle.js +7 -7
- package/dist/src/fs/document.js +52 -0
- package/dist/src/fs/manifest.js +72 -0
- package/dist/src/fs/tree.js +88 -0
- package/dist/src/generated-file.js +18 -4
- package/dist/src/git-ignore.js +99 -0
- package/dist/src/graph.js +9 -4
- package/dist/src/html-entries.js +6 -33
- package/dist/src/import-bindings.js +97 -0
- package/dist/src/in-operands.js +2 -1
- package/dist/src/index.js +1 -1
- package/dist/src/indexed-access.js +130 -28
- package/dist/src/injection-container.js +1 -1
- package/dist/src/interface-satisfaction.js +30 -12
- package/dist/src/intra-function-parts.js +341 -69
- package/dist/src/inventory.js +54 -29
- package/dist/src/javascript-file.js +33 -0
- package/dist/src/json-document.js +198 -67
- package/dist/src/keyof-comparisons.js +4 -6
- package/dist/src/kinds.js +3 -366
- package/dist/src/load/classify.js +270 -0
- package/dist/src/load/diagnostics.js +80 -0
- package/dist/src/load/discover.js +277 -0
- package/dist/src/{emit-map.js → load/emit-map.js} +1 -1
- package/dist/src/load/expected-module.js +136 -0
- package/dist/src/load/load.js +27 -0
- package/dist/src/load/module-lookup.js +37 -0
- package/dist/src/load/plan.js +313 -0
- package/dist/src/load/specifiers.js +115 -0
- package/dist/src/load/synthesize.js +140 -0
- package/dist/src/load/test-globals.js +207 -0
- package/dist/src/load/test-joins.js +82 -0
- package/dist/src/{workspace-manifests.js → load/workspace-manifests.js} +4 -4
- package/dist/src/{workspace-programs.js → load/workspace-programs.js} +88 -61
- package/dist/src/{workspace-resolution.js → load/workspace-resolution.js} +60 -59
- package/dist/src/{workspace-run.js → load/workspace-run.js} +7 -7
- package/dist/src/{workspace.js → load/workspace.js} +62 -124
- package/dist/src/manifest.js +49 -54
- package/dist/src/matrix.js +94 -13
- package/dist/src/mdx-entries.js +174 -0
- package/dist/src/module-declarations.js +9 -13
- package/dist/src/outside-tests.js +1 -1
- package/dist/src/overrides.js +41 -10
- package/dist/src/partial.js +2 -1
- package/dist/src/paths.js +26 -15
- package/dist/src/position.js +2 -1
- package/dist/src/print.js +11 -78
- package/dist/src/product.js +13 -0
- package/dist/src/query.js +1 -0
- package/dist/src/ref.js +11 -0
- package/dist/src/references.js +52 -31
- package/dist/src/report-schema.js +51 -0
- package/dist/src/report.js +59 -41
- package/dist/src/reporters/annotations.js +15 -8
- package/dist/src/reporters/sarif.js +16 -10
- package/dist/src/reporters/template.js +4 -19
- package/dist/src/resolve.js +245 -727
- package/dist/src/roots.js +374 -116
- package/dist/src/run.js +66 -77
- package/dist/src/schema.js +320 -342
- package/dist/src/scope.js +38 -115
- package/dist/src/serialization-contract.js +649 -29
- package/dist/src/session.js +41 -29
- package/dist/src/source-files.js +40 -15
- package/dist/src/suppress-file.js +34 -29
- package/dist/src/suppress-inline.js +21 -4
- package/dist/src/suppress.js +40 -56
- package/dist/src/sweep.js +32 -17
- package/dist/src/symbol-keys.js +105 -6
- package/dist/src/template-field.js +9 -19
- package/dist/src/test-support.js +119 -18
- package/dist/src/text/compare.js +26 -0
- package/dist/src/text/glob.js +194 -0
- package/dist/src/text/named-files.js +54 -0
- package/dist/src/text/shell.js +159 -0
- package/dist/src/text/yaml.js +393 -0
- package/dist/src/type-errors.js +27 -221
- package/dist/src/type-parameter-reads.js +172 -0
- package/dist/src/unseen-loads.js +100 -0
- package/dist/src/unwrap.js +23 -0
- package/dist/src/usage.js +10 -0
- package/dist/src/verbs/analyze.js +181 -125
- package/dist/src/verbs/describe.js +9 -16
- package/dist/src/verbs/explain.js +14 -9
- package/dist/src/verbs/print-config.js +2 -1
- package/dist/src/verbs/print-projects.js +6 -4
- package/dist/src/verbs/print-retained.js +4 -2
- package/dist/src/verbs/print-roots.js +4 -2
- package/dist/src/verbs/verb.js +1 -5
- package/dist/src/verbs/version.js +14 -3
- package/dist/src/workflow-steps.js +128 -33
- package/jsr.json +1 -1
- package/package.json +5 -4
- package/src/analysis.ts +333 -457
- package/src/augmentations.ts +152 -23
- package/src/automatic-types.ts +228 -0
- package/src/build-scripts.ts +543 -0
- package/src/component-layer.ts +4 -2
- package/src/components.ts +9 -10
- package/src/config.ts +31 -299
- package/src/configuration-files.ts +100 -191
- package/src/configured-declarations.ts +18 -23
- package/src/conformance-record.ts +2 -2
- package/src/consumers.ts +6 -57
- package/src/contextual-uses.ts +64 -12
- package/src/contract/config.generated.ts +818 -0
- package/src/contract/contract.generated.ts +1308 -0
- package/src/contract/report.generated.ts +1237 -0
- package/src/convention-rows.ts +186 -1
- package/src/conventions.ts +166 -90
- package/src/decorator.ts +28 -18
- package/src/dependencies.ts +356 -78
- package/src/edges.ts +41 -140
- package/src/element-access.ts +4 -7
- package/src/entry-point-gaps.ts +11 -20
- package/src/entry-points.ts +124 -28
- package/src/enum-group.ts +2 -11
- package/src/erased-stores.ts +3 -7
- package/src/exempt-classes.ts +1 -75
- package/src/exempt.ts +36 -50
- package/src/failure.ts +63 -0
- package/src/file-facts.ts +9 -24
- package/src/finding.ts +24 -9
- package/src/findings/boundary.ts +2 -0
- package/src/findings/completion.ts +297 -77
- package/src/findings/dependencies-and-module-machinery.ts +90 -31
- package/src/findings/emitter.ts +8 -9
- package/src/findings/emitters.ts +8 -8
- package/src/findings/interfaces.ts +4 -6
- package/src/findings/intra-function.ts +64 -20
- package/src/findings/non-code-artifacts.ts +88 -50
- package/src/findings/reads-and-writes.ts +20 -16
- package/src/findings/self-check.ts +11 -17
- package/src/findings/unused-declarations.ts +65 -28
- package/src/findings/visibility-narrowing.ts +51 -19
- package/src/findings-pass.ts +10 -19
- package/src/framework-lifecycle.ts +7 -7
- package/src/fs/document.ts +70 -0
- package/src/fs/manifest.ts +92 -0
- package/src/fs/tree.ts +110 -0
- package/src/generated-file.ts +23 -4
- package/src/git-ignore.ts +122 -0
- package/src/graph.ts +11 -3
- package/src/host.ts +17 -14
- package/src/html-entries.ts +6 -33
- package/src/import-bindings.ts +128 -0
- package/src/in-operands.ts +2 -1
- package/src/index.ts +1 -1
- package/src/indexed-access.ts +152 -30
- package/src/injection-container.ts +1 -1
- package/src/interface-satisfaction.ts +33 -13
- package/src/intra-function-parts.ts +449 -85
- package/src/inventory.ts +73 -27
- package/src/javascript-file.ts +37 -0
- package/src/json-document.ts +241 -76
- package/src/keyof-comparisons.ts +3 -7
- package/src/kinds.ts +5 -413
- package/src/load/classify.ts +397 -0
- package/src/load/diagnostics.ts +144 -0
- package/src/load/discover.ts +455 -0
- package/src/{emit-map.ts → load/emit-map.ts} +1 -1
- package/src/load/expected-module.ts +188 -0
- package/src/load/load.ts +73 -0
- package/src/load/module-lookup.ts +50 -0
- package/src/load/plan.ts +504 -0
- package/src/load/specifiers.ts +168 -0
- package/src/load/synthesize.ts +211 -0
- package/src/load/test-globals.ts +251 -0
- package/src/load/test-joins.ts +98 -0
- package/src/{workspace-manifests.ts → load/workspace-manifests.ts} +5 -5
- package/src/{workspace-programs.ts → load/workspace-programs.ts} +127 -80
- package/src/{workspace-resolution.ts → load/workspace-resolution.ts} +73 -64
- package/src/{workspace-run.ts → load/workspace-run.ts} +18 -16
- package/src/{workspace.ts → load/workspace.ts} +90 -134
- package/src/manifest.ts +81 -75
- package/src/matrix.ts +154 -18
- package/src/mdx-entries.ts +218 -0
- package/src/module-declarations.ts +11 -13
- package/src/outside-tests.ts +1 -1
- package/src/overrides.ts +51 -12
- package/src/partial.ts +3 -2
- package/src/paths.ts +27 -15
- package/src/position.ts +2 -1
- package/src/print.ts +12 -91
- package/src/product.ts +18 -0
- package/src/query.ts +11 -0
- package/src/ref.ts +13 -0
- package/src/references.ts +62 -32
- package/src/report-schema.ts +68 -0
- package/src/report.ts +105 -215
- package/src/reporters/annotations.ts +22 -11
- package/src/reporters/json.ts +1 -1
- package/src/reporters/reporter.ts +2 -4
- package/src/reporters/reporters.ts +1 -1
- package/src/reporters/sarif.ts +29 -16
- package/src/reporters/template.ts +4 -20
- package/src/reporters/text.ts +3 -3
- package/src/resolve.ts +283 -1111
- package/src/roots.ts +490 -137
- package/src/run.ts +75 -91
- package/src/schema.ts +391 -387
- package/src/scope.ts +46 -138
- package/src/serialization-contract.ts +818 -26
- package/src/session.ts +77 -54
- package/src/source-files.ts +67 -17
- package/src/suppress-file.ts +36 -34
- package/src/suppress-inline.ts +20 -3
- package/src/suppress.ts +52 -63
- package/src/sweep.ts +53 -18
- package/src/symbol-keys.ts +131 -7
- package/src/template-field.ts +15 -25
- package/src/test-support.ts +155 -18
- package/src/text/compare.ts +27 -0
- package/src/text/glob.ts +210 -0
- package/src/text/named-files.inputs.json +1522 -0
- package/src/text/named-files.ts +68 -0
- package/src/text/shell.ts +161 -0
- package/src/text/yaml.ts +423 -0
- package/src/type-errors.ts +35 -273
- package/src/type-parameter-reads.ts +227 -0
- package/src/unseen-loads.ts +134 -0
- package/src/unwrap.ts +34 -0
- package/src/usage.ts +10 -0
- package/src/verbs/analyze.ts +245 -161
- package/src/verbs/describe.ts +14 -15
- package/src/verbs/explain.ts +15 -13
- package/src/verbs/print-config.ts +2 -1
- package/src/verbs/print-projects.ts +6 -4
- package/src/verbs/print-retained.ts +4 -2
- package/src/verbs/print-roots.ts +4 -2
- package/src/verbs/verb.ts +2 -8
- package/src/verbs/version.ts +15 -3
- package/src/workflow-steps.ts +149 -34
- package/dist/src/discover.js +0 -347
- package/dist/src/glob.js +0 -65
- package/dist/src/pnpm-workspace.js +0 -120
- package/dist/src/setup-failure.js +0 -23
- package/dist/src/test-joins.js +0 -101
- package/dist/src/version.js +0 -7
- package/src/discover.ts +0 -510
- package/src/glob.ts +0 -67
- package/src/pnpm-workspace.ts +0 -135
- package/src/setup-failure.ts +0 -39
- package/src/test-joins.ts +0 -120
- package/src/version.ts +0 -7
|
@@ -0,0 +1,425 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The files a bundler's JavaScript API builds from, read from the build scripts a
|
|
3
|
+
* manifest's scripts run: the strings an options object passes as the bundler's entries.
|
|
4
|
+
* A script is read without running it, so a value that is not written out, a computed
|
|
5
|
+
* path or an options object built at run time among them, names nothing.
|
|
6
|
+
*/
|
|
7
|
+
import { isArrayBindingPattern, isArrayLiteralExpression, isArrowFunction, isCallExpression, isConstructorDeclaration, isFunctionDeclaration, isFunctionExpression, isGetAccessorDeclaration, isIdentifier, isImportDeclaration, isMetaProperty, isMethodDeclaration, isNamedImports, isNamespaceImport, isNewExpression, isNoSubstitutionTemplateLiteral, isObjectBindingPattern, isObjectLiteralExpression, isPropertyAccessExpression, isPropertyAssignment, isSetAccessorDeclaration, isStringLiteral, isVariableDeclaration, isVariableStatement, NodeFlags, } from "@typescript/native/ast";
|
|
8
|
+
import { filesNamedBy } from "./configuration-files.js";
|
|
9
|
+
import { ancestors, dirnamePath, relativePath, resolvePath } from "./paths.js";
|
|
10
|
+
import { bytewise } from "./text/compare.js";
|
|
11
|
+
import { isRecord } from "./json-document.js";
|
|
12
|
+
import { unwrapped } from "./unwrap.js";
|
|
13
|
+
import { holdsManifest, inInstalledPackages, manifestAt } from "./fs/manifest.js";
|
|
14
|
+
import { globExpression } from "./text/glob.js";
|
|
15
|
+
import { scriptTokens } from "./text/shell.js";
|
|
16
|
+
/**
|
|
17
|
+
* The bundlers whose build call names its entries: esbuild resolves `entryPoints` against
|
|
18
|
+
* `absWorkingDir` (https://esbuild.github.io/api/#working-directory), webpack `entry`
|
|
19
|
+
* against `context` (https://webpack.js.org/configuration/entry-context/), and Rollup
|
|
20
|
+
* `input` against the working directory, each the manifest's directory when its script runs.
|
|
21
|
+
*/
|
|
22
|
+
const BUNDLERS = [
|
|
23
|
+
{
|
|
24
|
+
module: "esbuild",
|
|
25
|
+
calls: ["build", "buildSync", "context"],
|
|
26
|
+
option: "entryPoints",
|
|
27
|
+
base: "absWorkingDir",
|
|
28
|
+
paths: true,
|
|
29
|
+
},
|
|
30
|
+
{ module: "webpack", calls: ["default"], option: "entry", base: "context", paths: false },
|
|
31
|
+
{ module: "rollup", calls: ["rollup", "watch"], option: "input", base: "", paths: true },
|
|
32
|
+
];
|
|
33
|
+
const MODULE_EXTENSION = /\.(?:js|mjs|cjs|ts|mts|cts)$/u;
|
|
34
|
+
function literalOf(node) {
|
|
35
|
+
const at = unwrapped(node);
|
|
36
|
+
return isStringLiteral(at) || isNoSubstitutionTemplateLiteral(at) ? at.text : undefined;
|
|
37
|
+
}
|
|
38
|
+
/** Whether one call is `require(<module>)`. */
|
|
39
|
+
function requires(node, module) {
|
|
40
|
+
const at = unwrapped(node);
|
|
41
|
+
return (isCallExpression(at) &&
|
|
42
|
+
isIdentifier(at.expression) &&
|
|
43
|
+
at.expression.text === "require" &&
|
|
44
|
+
at.arguments.length === 1 &&
|
|
45
|
+
at.arguments[0] !== undefined &&
|
|
46
|
+
literalOf(at.arguments[0]) === module);
|
|
47
|
+
}
|
|
48
|
+
function bindingsOf(file, api) {
|
|
49
|
+
const functions = new Set();
|
|
50
|
+
const modules = new Set();
|
|
51
|
+
const building = (name) => api.calls.includes(name);
|
|
52
|
+
for (const statement of file.statements) {
|
|
53
|
+
if (isImportDeclaration(statement)) {
|
|
54
|
+
if (literalOf(statement.moduleSpecifier) !== api.module) {
|
|
55
|
+
continue;
|
|
56
|
+
}
|
|
57
|
+
const clause = statement.importClause;
|
|
58
|
+
if (clause?.name !== undefined) {
|
|
59
|
+
(building("default") ? functions : modules).add(clause.name.text);
|
|
60
|
+
}
|
|
61
|
+
const named = clause?.namedBindings;
|
|
62
|
+
if (named !== undefined && isNamespaceImport(named)) {
|
|
63
|
+
modules.add(named.name.text);
|
|
64
|
+
}
|
|
65
|
+
else if (named !== undefined && isNamedImports(named)) {
|
|
66
|
+
for (const element of named.elements) {
|
|
67
|
+
if (building((element.propertyName ?? element.name).text)) {
|
|
68
|
+
functions.add(element.name.text);
|
|
69
|
+
}
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
}
|
|
73
|
+
else if (isVariableStatement(statement)) {
|
|
74
|
+
for (const declaration of statement.declarationList.declarations) {
|
|
75
|
+
const { name, initializer } = declaration;
|
|
76
|
+
if (initializer === undefined || !requires(initializer, api.module)) {
|
|
77
|
+
continue;
|
|
78
|
+
}
|
|
79
|
+
if (isIdentifier(name)) {
|
|
80
|
+
(building("default") ? functions : modules).add(name.text);
|
|
81
|
+
}
|
|
82
|
+
else if (isObjectBindingPattern(name)) {
|
|
83
|
+
for (const element of name.elements) {
|
|
84
|
+
const local = element.name;
|
|
85
|
+
const key = element.propertyName ?? local;
|
|
86
|
+
if (key !== undefined &&
|
|
87
|
+
local !== undefined &&
|
|
88
|
+
isIdentifier(key) &&
|
|
89
|
+
isIdentifier(local) &&
|
|
90
|
+
building(key.text)) {
|
|
91
|
+
functions.add(local.text);
|
|
92
|
+
}
|
|
93
|
+
}
|
|
94
|
+
}
|
|
95
|
+
}
|
|
96
|
+
}
|
|
97
|
+
}
|
|
98
|
+
return { functions, modules };
|
|
99
|
+
}
|
|
100
|
+
/** Whether one call's callee is a building function of a bundler the file binds, `shadowed` naming none. */
|
|
101
|
+
function builds(callee, api, bindings, shadowed) {
|
|
102
|
+
const at = unwrapped(callee);
|
|
103
|
+
if (isIdentifier(at)) {
|
|
104
|
+
return bindings.functions.has(at.text) && !shadowed.has(at.text);
|
|
105
|
+
}
|
|
106
|
+
if (!isPropertyAccessExpression(at) ||
|
|
107
|
+
!isIdentifier(at.name) ||
|
|
108
|
+
!api.calls.includes(at.name.text)) {
|
|
109
|
+
return false;
|
|
110
|
+
}
|
|
111
|
+
const holder = unwrapped(at.expression);
|
|
112
|
+
return ((isIdentifier(holder) && bindings.modules.has(holder.text) && !shadowed.has(holder.text)) ||
|
|
113
|
+
requires(holder, api.module));
|
|
114
|
+
}
|
|
115
|
+
/** The top-level `const` initializers one file declares, by name. */
|
|
116
|
+
function constants(file) {
|
|
117
|
+
const found = new Map();
|
|
118
|
+
for (const statement of file.statements) {
|
|
119
|
+
if (isVariableStatement(statement) &&
|
|
120
|
+
(statement.declarationList.flags & NodeFlags.Const) !== 0) {
|
|
121
|
+
for (const { name, initializer } of statement.declarationList.declarations) {
|
|
122
|
+
if (isIdentifier(name) && initializer !== undefined) {
|
|
123
|
+
found.set(name.text, initializer);
|
|
124
|
+
}
|
|
125
|
+
}
|
|
126
|
+
}
|
|
127
|
+
}
|
|
128
|
+
return found;
|
|
129
|
+
}
|
|
130
|
+
/** The value one object literal writes for one member as `name: value`. */
|
|
131
|
+
function member(object, name) {
|
|
132
|
+
if (!isObjectLiteralExpression(object)) {
|
|
133
|
+
return undefined;
|
|
134
|
+
}
|
|
135
|
+
for (const property of object.properties) {
|
|
136
|
+
if (isPropertyAssignment(property) && literalOrName(property.name) === name) {
|
|
137
|
+
return property.initializer;
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
return undefined;
|
|
141
|
+
}
|
|
142
|
+
function literalOrName(node) {
|
|
143
|
+
return isIdentifier(node) ? node.text : literalOf(node);
|
|
144
|
+
}
|
|
145
|
+
/** Whether one expression is the script's own directory: `__dirname` or `import.meta.dirname`. */
|
|
146
|
+
function isOwnDirectory(node) {
|
|
147
|
+
const at = unwrapped(node);
|
|
148
|
+
if (isIdentifier(at)) {
|
|
149
|
+
return at.text === "__dirname";
|
|
150
|
+
}
|
|
151
|
+
return (isPropertyAccessExpression(at) &&
|
|
152
|
+
isMetaProperty(at.expression) &&
|
|
153
|
+
isIdentifier(at.name) &&
|
|
154
|
+
at.name.text === "dirname");
|
|
155
|
+
}
|
|
156
|
+
/**
|
|
157
|
+
* The path one entry value writes, read against `dir`: a literal, or a `resolve` or
|
|
158
|
+
* `join` call, of `path` or bound from it, whose first argument is the script's own
|
|
159
|
+
* directory and whose others are literals.
|
|
160
|
+
*/
|
|
161
|
+
function pathOf(node, dir, scriptDir) {
|
|
162
|
+
const at = unwrapped(node);
|
|
163
|
+
const text = literalOf(at);
|
|
164
|
+
if (text !== undefined) {
|
|
165
|
+
const request = !text.startsWith("./") && !text.startsWith("../") && !text.startsWith("/");
|
|
166
|
+
return { path: resolvePath(dir, text), text, request };
|
|
167
|
+
}
|
|
168
|
+
if (!isCallExpression(at)) {
|
|
169
|
+
return undefined;
|
|
170
|
+
}
|
|
171
|
+
const callee = unwrapped(at.expression);
|
|
172
|
+
const name = isPropertyAccessExpression(callee) ? callee.name : callee;
|
|
173
|
+
if (!isIdentifier(name) || (name.text !== "resolve" && name.text !== "join")) {
|
|
174
|
+
return undefined;
|
|
175
|
+
}
|
|
176
|
+
const [first, ...rest] = at.arguments;
|
|
177
|
+
const parts = rest.map(literalOf);
|
|
178
|
+
if (first === undefined || !isOwnDirectory(first) || parts.some((part) => part === undefined)) {
|
|
179
|
+
return undefined;
|
|
180
|
+
}
|
|
181
|
+
const joined = parts.join("/");
|
|
182
|
+
return { path: resolvePath(scriptDir, joined), text: joined, request: false };
|
|
183
|
+
}
|
|
184
|
+
/** The entry values one entries option writes: a value, an array of them, an object of them. */
|
|
185
|
+
function entryValues(node) {
|
|
186
|
+
const at = unwrapped(node);
|
|
187
|
+
if (isArrayLiteralExpression(at)) {
|
|
188
|
+
return at.elements.flatMap(entryValues);
|
|
189
|
+
}
|
|
190
|
+
if (isObjectLiteralExpression(at)) {
|
|
191
|
+
const imported = member(at, "import") ?? member(at, "in");
|
|
192
|
+
if (imported !== undefined) {
|
|
193
|
+
return entryValues(imported);
|
|
194
|
+
}
|
|
195
|
+
return at.properties.flatMap((property) => isPropertyAssignment(property) ? entryValues(property.initializer) : []);
|
|
196
|
+
}
|
|
197
|
+
return [at];
|
|
198
|
+
}
|
|
199
|
+
/** The own files one entry string names, read as `api` reads it. */
|
|
200
|
+
function entriesNamed(files, api, entry) {
|
|
201
|
+
if (!api.paths && entry.request) {
|
|
202
|
+
return [];
|
|
203
|
+
}
|
|
204
|
+
if (api.paths && /[*?[{]/u.test(entry.text)) {
|
|
205
|
+
const expression = globExpression(entry.path);
|
|
206
|
+
return [...files.byName.values()].filter((file) => expression.test(file.fileName));
|
|
207
|
+
}
|
|
208
|
+
const dir = dirnamePath(entry.path);
|
|
209
|
+
return filesNamedBy(files, dir, entry.path.slice(dir.length + 1));
|
|
210
|
+
}
|
|
211
|
+
/** Whether one node is a function, whose body runs only where something calls it. */
|
|
212
|
+
function isFunction(node) {
|
|
213
|
+
return (isFunctionDeclaration(node) ||
|
|
214
|
+
isFunctionExpression(node) ||
|
|
215
|
+
isArrowFunction(node) ||
|
|
216
|
+
isMethodDeclaration(node) ||
|
|
217
|
+
isConstructorDeclaration(node) ||
|
|
218
|
+
isGetAccessorDeclaration(node) ||
|
|
219
|
+
isSetAccessorDeclaration(node));
|
|
220
|
+
}
|
|
221
|
+
/** The names one binding name binds: an identifier, or each name a pattern holds. */
|
|
222
|
+
function boundNames(name, into) {
|
|
223
|
+
if (isIdentifier(name)) {
|
|
224
|
+
into.add(name.text);
|
|
225
|
+
}
|
|
226
|
+
else if (isObjectBindingPattern(name) || isArrayBindingPattern(name)) {
|
|
227
|
+
name.forEachChild((element) => {
|
|
228
|
+
const bound = element.name;
|
|
229
|
+
if (bound !== undefined) {
|
|
230
|
+
boundNames(bound, into);
|
|
231
|
+
}
|
|
232
|
+
});
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
/** The names one function binds of its own: its parameters and the declarations its body holds outside nested functions. */
|
|
236
|
+
function ownBindings(fn) {
|
|
237
|
+
const found = new Set();
|
|
238
|
+
const visit = (node) => {
|
|
239
|
+
if (node !== fn && isFunction(node)) {
|
|
240
|
+
if (isFunctionDeclaration(node) && node.name !== undefined) {
|
|
241
|
+
found.add(node.name.text);
|
|
242
|
+
}
|
|
243
|
+
return;
|
|
244
|
+
}
|
|
245
|
+
if (isVariableDeclaration(node)) {
|
|
246
|
+
boundNames(node.name, found);
|
|
247
|
+
}
|
|
248
|
+
node.forEachChild(visit);
|
|
249
|
+
};
|
|
250
|
+
for (const parameter of fn
|
|
251
|
+
.parameters ?? []) {
|
|
252
|
+
boundNames(parameter.name, found);
|
|
253
|
+
}
|
|
254
|
+
fn.forEachChild(visit);
|
|
255
|
+
return found;
|
|
256
|
+
}
|
|
257
|
+
/** The functions one file declares under a name: a function declaration, or a variable bound to a function. */
|
|
258
|
+
function namedFunctions(file) {
|
|
259
|
+
const found = new Map();
|
|
260
|
+
const add = (name, fn) => {
|
|
261
|
+
found.set(name, [...(found.get(name) ?? []), fn]);
|
|
262
|
+
};
|
|
263
|
+
const visit = (node) => {
|
|
264
|
+
if (isFunctionDeclaration(node) && node.name !== undefined) {
|
|
265
|
+
add(node.name.text, node);
|
|
266
|
+
}
|
|
267
|
+
else if (isVariableDeclaration(node) &&
|
|
268
|
+
isIdentifier(node.name) &&
|
|
269
|
+
node.initializer !== undefined &&
|
|
270
|
+
isFunction(unwrapped(node.initializer))) {
|
|
271
|
+
add(node.name.text, unwrapped(node.initializer));
|
|
272
|
+
}
|
|
273
|
+
node.forEachChild(visit);
|
|
274
|
+
};
|
|
275
|
+
file.forEachChild(visit);
|
|
276
|
+
return found;
|
|
277
|
+
}
|
|
278
|
+
/**
|
|
279
|
+
* The calls one build script runs: those of its top level, and those of each function
|
|
280
|
+
* a call it runs calls or passes on, as a callee, an argument or a function called where
|
|
281
|
+
* it is written. `shadowed` is the names a function running them binds of its own, which
|
|
282
|
+
* hide the file's bindings of the same names.
|
|
283
|
+
*/
|
|
284
|
+
function runCalls(file, each) {
|
|
285
|
+
const named = namedFunctions(file);
|
|
286
|
+
const ran = new Set();
|
|
287
|
+
const run = (fn, outer) => {
|
|
288
|
+
if (ran.has(fn)) {
|
|
289
|
+
return;
|
|
290
|
+
}
|
|
291
|
+
ran.add(fn);
|
|
292
|
+
const shadowed = new Set([...outer, ...ownBindings(fn)]);
|
|
293
|
+
fn.forEachChild((child) => {
|
|
294
|
+
visit(child, shadowed);
|
|
295
|
+
});
|
|
296
|
+
};
|
|
297
|
+
const runs = (node, shadowed) => {
|
|
298
|
+
const at = unwrapped(node);
|
|
299
|
+
if (isFunction(at)) {
|
|
300
|
+
run(at, shadowed);
|
|
301
|
+
}
|
|
302
|
+
else if (isIdentifier(at) && !shadowed.has(at.text)) {
|
|
303
|
+
for (const fn of named.get(at.text) ?? []) {
|
|
304
|
+
run(fn, new Set());
|
|
305
|
+
}
|
|
306
|
+
}
|
|
307
|
+
};
|
|
308
|
+
const visit = (node, shadowed) => {
|
|
309
|
+
if (isFunction(node)) {
|
|
310
|
+
return;
|
|
311
|
+
}
|
|
312
|
+
if (isCallExpression(node) || isNewExpression(node)) {
|
|
313
|
+
if (isCallExpression(node)) {
|
|
314
|
+
each(node, shadowed);
|
|
315
|
+
}
|
|
316
|
+
runs(node.expression, shadowed);
|
|
317
|
+
for (const argument of node.arguments ?? []) {
|
|
318
|
+
runs(argument, shadowed);
|
|
319
|
+
}
|
|
320
|
+
}
|
|
321
|
+
node.forEachChild((child) => {
|
|
322
|
+
visit(child, shadowed);
|
|
323
|
+
});
|
|
324
|
+
};
|
|
325
|
+
file.forEachChild((child) => {
|
|
326
|
+
visit(child, new Set());
|
|
327
|
+
});
|
|
328
|
+
}
|
|
329
|
+
/** The entries every bundler call one build script runs names, read against `dir`. */
|
|
330
|
+
function scriptEntries(file, dir, files) {
|
|
331
|
+
const found = [];
|
|
332
|
+
const declared = constants(file);
|
|
333
|
+
const scriptDir = dirnamePath(file.fileName);
|
|
334
|
+
const bound = BUNDLERS.map((api) => ({ api, bindings: bindingsOf(file, api) }));
|
|
335
|
+
runCalls(file, (call, shadowed) => {
|
|
336
|
+
for (const { api, bindings } of bound) {
|
|
337
|
+
if (!builds(call.expression, api, bindings, shadowed)) {
|
|
338
|
+
continue;
|
|
339
|
+
}
|
|
340
|
+
const [argument] = call.arguments;
|
|
341
|
+
let options = argument === undefined ? undefined : unwrapped(argument);
|
|
342
|
+
if (options !== undefined && isIdentifier(options)) {
|
|
343
|
+
options = shadowed.has(options.text) ? undefined : declared.get(options.text);
|
|
344
|
+
options = options === undefined ? undefined : unwrapped(options);
|
|
345
|
+
}
|
|
346
|
+
const entries = options === undefined ? undefined : member(options, api.option);
|
|
347
|
+
const base = options === undefined || api.base === "" ? undefined : member(options, api.base);
|
|
348
|
+
const against = base === undefined ? { path: dir } : pathOf(base, dir, scriptDir);
|
|
349
|
+
if (entries === undefined || against === undefined) {
|
|
350
|
+
continue;
|
|
351
|
+
}
|
|
352
|
+
for (const value of entryValues(entries)) {
|
|
353
|
+
const named = pathOf(value, against.path, scriptDir);
|
|
354
|
+
if (named === undefined) {
|
|
355
|
+
continue;
|
|
356
|
+
}
|
|
357
|
+
for (const entry of entriesNamed(files, api, named)) {
|
|
358
|
+
found.push({ file: entry, source: named.text });
|
|
359
|
+
}
|
|
360
|
+
}
|
|
361
|
+
}
|
|
362
|
+
});
|
|
363
|
+
return found;
|
|
364
|
+
}
|
|
365
|
+
/** The modules one manifest's scripts run, by absolute path, each below the target root. */
|
|
366
|
+
function scriptModules(host, root, dir) {
|
|
367
|
+
const scripts = manifestAt(host, dir)?.["scripts"];
|
|
368
|
+
if (!isRecord(scripts)) {
|
|
369
|
+
return [];
|
|
370
|
+
}
|
|
371
|
+
const found = new Set();
|
|
372
|
+
for (const command of Object.values(scripts)) {
|
|
373
|
+
if (typeof command !== "string") {
|
|
374
|
+
continue;
|
|
375
|
+
}
|
|
376
|
+
for (const token of scriptTokens(command)) {
|
|
377
|
+
const path = resolvePath(dir, token);
|
|
378
|
+
if (MODULE_EXTENSION.test(path) &&
|
|
379
|
+
relativePath(root, path) !== undefined &&
|
|
380
|
+
!inInstalledPackages(path) &&
|
|
381
|
+
host.kindOf(path) === "file") {
|
|
382
|
+
found.add(path);
|
|
383
|
+
}
|
|
384
|
+
}
|
|
385
|
+
}
|
|
386
|
+
return [...found].sort(bytewise);
|
|
387
|
+
}
|
|
388
|
+
/**
|
|
389
|
+
* Every own file of one project a build script names as a bundler's entry: a module a
|
|
390
|
+
* script of a manifest at or above an own file runs, below the target root, read from
|
|
391
|
+
* the program where it holds the module and parsed alone otherwise, where a parser is given.
|
|
392
|
+
*/
|
|
393
|
+
export function buildScriptEntries(host, targetRoot, files, parse) {
|
|
394
|
+
const root = resolvePath(host.workingDirectory(), targetRoot);
|
|
395
|
+
const dirs = new Set([root]);
|
|
396
|
+
for (const file of files.byName.values()) {
|
|
397
|
+
for (const dir of ancestors(dirnamePath(file.fileName), root)) {
|
|
398
|
+
if (dirs.has(dir)) {
|
|
399
|
+
break;
|
|
400
|
+
}
|
|
401
|
+
dirs.add(dir);
|
|
402
|
+
}
|
|
403
|
+
}
|
|
404
|
+
const found = [];
|
|
405
|
+
for (const dir of [...dirs].sort(bytewise)) {
|
|
406
|
+
if (!holdsManifest(host, dir)) {
|
|
407
|
+
continue;
|
|
408
|
+
}
|
|
409
|
+
for (const path of scriptModules(host, root, dir)) {
|
|
410
|
+
let script = files.byName.get(path);
|
|
411
|
+
if (script === undefined && parse !== undefined) {
|
|
412
|
+
try {
|
|
413
|
+
script = parse(path, host.readFile(path));
|
|
414
|
+
}
|
|
415
|
+
catch {
|
|
416
|
+
continue;
|
|
417
|
+
}
|
|
418
|
+
}
|
|
419
|
+
if (script !== undefined) {
|
|
420
|
+
found.push(...scriptEntries(script, dir, files));
|
|
421
|
+
}
|
|
422
|
+
}
|
|
423
|
+
}
|
|
424
|
+
return found;
|
|
425
|
+
}
|
|
@@ -5,9 +5,11 @@
|
|
|
5
5
|
* member wins over one it extends. The mapper resolves as a package linked into the
|
|
6
6
|
* `node_modules` beside each configuration, to a directory holding only its manifest.
|
|
7
7
|
*/
|
|
8
|
+
import { INSTALLED_PACKAGES } from "./fs/manifest.js";
|
|
8
9
|
import { dirnamePath, joinPath } from "./paths.js";
|
|
10
|
+
import { PRODUCT } from "./product.js";
|
|
9
11
|
/** The name the mapper's manifest declares and every configuration's entry names. */
|
|
10
|
-
const MAPPER_PACKAGE =
|
|
12
|
+
const MAPPER_PACKAGE = `${PRODUCT}-component-files`;
|
|
11
13
|
/** The manifest of the mapper's package, which runs `command`. */
|
|
12
14
|
export function mapperManifest(command) {
|
|
13
15
|
return `${JSON.stringify({
|
|
@@ -122,7 +124,7 @@ export function componentLayer(host, configFiles, mapper, written = new Map()) {
|
|
|
122
124
|
for (const configFile of configFiles) {
|
|
123
125
|
files[configFile] = withContentMappers(written.get(configFile) ?? host.readFile(configFile), mappers);
|
|
124
126
|
if (mapper !== undefined) {
|
|
125
|
-
symlinks[joinPath(dirnamePath(configFile),
|
|
127
|
+
symlinks[joinPath(dirnamePath(configFile), INSTALLED_PACKAGES, MAPPER_PACKAGE)] = {
|
|
126
128
|
target: mapper.packageDirectory,
|
|
127
129
|
host: true,
|
|
128
130
|
};
|
package/dist/src/components.js
CHANGED
|
@@ -4,13 +4,12 @@
|
|
|
4
4
|
* and every dead declaration that falls with them, being dead only through them.
|
|
5
5
|
*/
|
|
6
6
|
import { OUTSIDE } from "./graph.js";
|
|
7
|
-
|
|
8
|
-
const ANALYZER = "deadset-ts";
|
|
7
|
+
import { PRODUCT } from "./product.js";
|
|
9
8
|
/** The fewest digits a component identifier's number is written with. */
|
|
10
9
|
const ID_DIGITS = 4;
|
|
11
10
|
/** The identifier of the component at one place of the run's order, counted from one. */
|
|
12
11
|
export function componentId(place) {
|
|
13
|
-
return `${
|
|
12
|
+
return `${PRODUCT}/c-${String(place).padStart(ID_DIGITS, "0")}`;
|
|
14
13
|
}
|
|
15
14
|
/** The index of a declaration the component walk has not reached. */
|
|
16
15
|
const UNVISITED = -1;
|
|
@@ -129,12 +128,12 @@ function linesSpanned(symbols) {
|
|
|
129
128
|
return total;
|
|
130
129
|
}
|
|
131
130
|
/**
|
|
132
|
-
* The dead declarations by subgraph place (`at`, and `position` per graph declaration),
|
|
133
|
-
*
|
|
134
|
-
*
|
|
135
|
-
*
|
|
136
|
-
*
|
|
137
|
-
* test
|
|
131
|
+
* The dead declarations by subgraph place (`at`, and `position` per graph declaration), a
|
|
132
|
+
* test file's only where it tests dead code or nothing the tests reach. `adjacent` holds each
|
|
133
|
+
* reference one makes to another, but an unreferenced test-file declaration's to production
|
|
134
|
+
* code, which decides nothing; an edge each way between a dead member and its dead container;
|
|
135
|
+
* and one back from each non-ambient production target of an admitted test, which puts the
|
|
136
|
+
* test in its subject's component. `references` holds the first alone.
|
|
138
137
|
*/
|
|
139
138
|
function deadSubgraph(graph, dead, testOfDeadCode, unreferencedTest) {
|
|
140
139
|
const at = [];
|
|
@@ -158,6 +157,7 @@ function deadSubgraph(graph, dead, testOfDeadCode, unreferencedTest) {
|
|
|
158
157
|
references[from]?.push(to);
|
|
159
158
|
if (testOfDeadCode[index] === true &&
|
|
160
159
|
graph.test[edge.to] !== true &&
|
|
160
|
+
graph.ambient[edge.to] !== true &&
|
|
161
161
|
graph.subject[edge.to] === true) {
|
|
162
162
|
adjacent[to]?.push(from);
|
|
163
163
|
}
|
package/dist/src/config.js
CHANGED
|
@@ -1,73 +1,18 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { SEVERITIES } from "./contract/contract.generated.js";
|
|
2
|
+
import { LANGUAGE } from "./product.js";
|
|
2
3
|
/**
|
|
3
4
|
* The name of the repository configuration at the target root, which is also the
|
|
4
5
|
* document a finding about the configuration names where no document of the
|
|
5
6
|
* target supplied the setting it is about.
|
|
6
7
|
*/
|
|
7
8
|
export const REPOSITORY_DOCUMENT = "deadset.json";
|
|
8
|
-
/** The kind a target kind setting gives
|
|
9
|
-
export function kindOf(
|
|
10
|
-
return typeof
|
|
9
|
+
/** The kind a target kind setting gives this analyzer's declarations. */
|
|
10
|
+
export function kindOf(kind) {
|
|
11
|
+
return typeof kind === "string" ? kind : kind[LANGUAGE];
|
|
11
12
|
}
|
|
12
|
-
/** The severities ranked, the strongest highest. */
|
|
13
|
-
const SEVERITY_RANK = { allow: 0, warn: 1, deny: 2 };
|
|
14
13
|
/** Whether a finding at one severity fails a run under the failing severity. */
|
|
15
14
|
export function fails(severity, failOn) {
|
|
16
|
-
return
|
|
17
|
-
}
|
|
18
|
-
/**
|
|
19
|
-
* The configuration every documented default states. `targetKind` is empty: the
|
|
20
|
-
* field has no default and is never inferred.
|
|
21
|
-
*/
|
|
22
|
-
export function defaultConfig() {
|
|
23
|
-
return {
|
|
24
|
-
contractVersion: CONTRACT_VERSION,
|
|
25
|
-
targetKind: "",
|
|
26
|
-
analysis: {
|
|
27
|
-
languages: [],
|
|
28
|
-
minConfidence: "probable",
|
|
29
|
-
generatedFiles: "exclude",
|
|
30
|
-
consumerTests: "test",
|
|
31
|
-
configurations: [],
|
|
32
|
-
matrixComplete: false,
|
|
33
|
-
templateDirs: [],
|
|
34
|
-
templateDelimiters: { left: "{{", right: "}}" },
|
|
35
|
-
},
|
|
36
|
-
consumersComplete: false,
|
|
37
|
-
rootPatterns: [],
|
|
38
|
-
severity: new Map(),
|
|
39
|
-
exemptionsDisabled: [],
|
|
40
|
-
reporters: {
|
|
41
|
-
formats: ["text"],
|
|
42
|
-
sort: "position",
|
|
43
|
-
cascade: "roots",
|
|
44
|
-
maxFindings: 0,
|
|
45
|
-
failOn: "deny",
|
|
46
|
-
},
|
|
47
|
-
providers: {
|
|
48
|
-
analyzers: [
|
|
49
|
-
{ shape: "installed", name: "deadset-go", languages: ["go"], command: "deadset-go" },
|
|
50
|
-
{ shape: "installed", name: "deadset-ts", languages: ["ts"], command: "deadset-ts" },
|
|
51
|
-
],
|
|
52
|
-
},
|
|
53
|
-
ts: {
|
|
54
|
-
testFiles: [
|
|
55
|
-
"**/*.test.{ts,tsx,mts,cts}",
|
|
56
|
-
"**/*.test-d.{ts,tsx,mts,cts}",
|
|
57
|
-
"**/*.spec-d.{ts,tsx,mts,cts}",
|
|
58
|
-
"**/*.spec.*",
|
|
59
|
-
"**/__tests__/**",
|
|
60
|
-
"**/__mocks__/**",
|
|
61
|
-
"**/test-d/**",
|
|
62
|
-
],
|
|
63
|
-
entryFiles: [],
|
|
64
|
-
componentExtensions: [".vue", ".svelte", ".astro"],
|
|
65
|
-
disabledConventions: [],
|
|
66
|
-
injectionRegistrations: [],
|
|
67
|
-
lifecycleContracts: [],
|
|
68
|
-
serializers: [],
|
|
69
|
-
},
|
|
70
|
-
};
|
|
15
|
+
return SEVERITIES.indexOf(severity) >= SEVERITIES.indexOf(failOn);
|
|
71
16
|
}
|
|
72
17
|
/**
|
|
73
18
|
* Renders the origin as the provenance value the Contract declares: `default`,
|
|
@@ -76,23 +21,3 @@ export function defaultConfig() {
|
|
|
76
21
|
export function renderOrigin(origin) {
|
|
77
22
|
return origin.source === "default" ? "default" : `${origin.source}: ${origin.label}`;
|
|
78
23
|
}
|
|
79
|
-
/**
|
|
80
|
-
* Every refusal configuration resolution makes. Each maps to the usage exit
|
|
81
|
-
* code, and each is thrown rather than returned: a refusal ends the run, and the
|
|
82
|
-
* one caller that turns it into an exit code is the command line.
|
|
83
|
-
*/
|
|
84
|
-
export class ConfigError extends Error {
|
|
85
|
-
/** Which refusal this is. */
|
|
86
|
-
kind;
|
|
87
|
-
/**
|
|
88
|
-
* The key or field the message names, spelled as the document spells it. It is
|
|
89
|
-
* empty when the refusal names none.
|
|
90
|
-
*/
|
|
91
|
-
key;
|
|
92
|
-
constructor(kind, key, message) {
|
|
93
|
-
super(message);
|
|
94
|
-
this.name = "ConfigError";
|
|
95
|
-
this.kind = kind;
|
|
96
|
-
this.key = key;
|
|
97
|
-
}
|
|
98
|
-
}
|