@cplieger/deadset-ts 8.0.0-dev.6 → 8.0.0-dev.8
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/bin/mapper-connection.js +2 -1
- package/dist/bin/node-host.js +24 -5
- package/dist/src/analysis.js +37 -56
- package/dist/src/automatic-types.js +10 -29
- package/dist/src/build-scripts.js +17 -29
- package/dist/src/component-layer.js +4 -2
- package/dist/src/components.js +2 -3
- package/dist/src/config.js +6 -82
- package/dist/src/configuration-files.js +27 -168
- package/dist/src/configured-declarations.js +15 -20
- package/dist/src/consumers.js +2 -2
- package/dist/src/contract/config.generated.js +544 -0
- package/dist/src/contract/contract.generated.js +13 -0
- package/dist/src/contract/report.generated.js +3 -2
- package/dist/src/conventions.js +20 -60
- package/dist/src/dependencies.js +25 -43
- package/dist/src/discover.js +14 -40
- package/dist/src/edges.js +38 -122
- package/dist/src/element-access.js +4 -6
- package/dist/src/entry-point-gaps.js +2 -8
- package/dist/src/entry-points.js +3 -10
- package/dist/src/enum-group.js +3 -10
- package/dist/src/erased-stores.js +4 -6
- package/dist/src/exempt-classes.js +0 -4
- package/dist/src/exempt.js +6 -22
- package/dist/src/file-facts.js +2 -25
- package/dist/src/findings/completion.js +5 -4
- package/dist/src/findings/emitters.js +1 -1
- package/dist/src/findings/intra-function.js +1 -1
- package/dist/src/findings/non-code-artifacts.js +2 -2
- package/dist/src/findings/reads-and-writes.js +2 -1
- package/dist/src/findings/self-check.js +3 -2
- package/dist/src/findings/unused-declarations.js +1 -1
- package/dist/src/findings/visibility-narrowing.js +2 -2
- package/dist/src/findings-pass.js +7 -12
- package/dist/src/framework-lifecycle.js +7 -7
- package/dist/src/fs/document.js +59 -0
- package/dist/src/fs/manifest.js +43 -0
- package/dist/src/fs/tree.js +88 -0
- package/dist/src/git-ignore.js +34 -25
- package/dist/src/html-entries.js +6 -33
- package/dist/src/in-operands.js +2 -1
- package/dist/src/injection-container.js +1 -1
- package/dist/src/intra-function-parts.js +10 -13
- package/dist/src/inventory.js +2 -21
- package/dist/src/json-document.js +198 -67
- package/dist/src/keyof-comparisons.js +4 -6
- package/dist/src/kinds.js +0 -7
- package/dist/src/manifest.js +5 -43
- package/dist/src/mdx-entries.js +3 -26
- 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 -79
- package/dist/src/product.js +13 -0
- package/dist/src/references.js +14 -27
- package/dist/src/report-schema.js +3 -225
- package/dist/src/report.js +22 -31
- package/dist/src/reporters/sarif.js +4 -2
- package/dist/src/reporters/template.js +4 -19
- package/dist/src/resolve.js +245 -724
- package/dist/src/roots.js +7 -17
- package/dist/src/run.js +55 -61
- package/dist/src/schema.js +320 -343
- package/dist/src/scope.js +34 -103
- package/dist/src/serialization-contract.js +5 -9
- package/dist/src/session.js +2 -1
- package/dist/src/suppress-file.js +21 -25
- package/dist/src/suppress.js +3 -3
- package/dist/src/symbol-keys.js +3 -5
- package/dist/src/template-field.js +9 -19
- package/dist/src/test-globals.js +6 -28
- package/dist/src/test-joins.js +6 -6
- package/dist/src/text/compare.js +26 -0
- package/dist/src/text/glob.js +194 -0
- package/dist/src/text/shell.js +159 -0
- package/dist/src/{yaml-document.js → text/yaml.js} +38 -0
- package/dist/src/type-errors.js +14 -38
- package/dist/src/unseen-loads.js +2 -9
- package/dist/src/unwrap.js +23 -0
- package/dist/src/usage.js +10 -0
- package/dist/src/verbs/analyze.js +25 -26
- package/dist/src/verbs/describe.js +4 -4
- package/dist/src/verbs/explain.js +8 -6
- package/dist/src/verbs/print-projects.js +4 -3
- package/dist/src/verbs/print-retained.js +2 -1
- package/dist/src/verbs/print-roots.js +2 -1
- package/dist/src/verbs/version.js +2 -1
- package/dist/src/workflow-steps.js +9 -46
- package/dist/src/workspace-manifests.js +2 -2
- package/dist/src/workspace-programs.js +5 -3
- package/dist/src/workspace-resolution.js +13 -17
- package/dist/src/workspace.js +28 -116
- package/jsr.json +1 -1
- package/package.json +1 -1
- package/src/analysis.ts +55 -76
- package/src/automatic-types.ts +11 -29
- package/src/build-scripts.ts +17 -38
- package/src/component-layer.ts +4 -2
- package/src/components.ts +2 -4
- package/src/config.ts +31 -296
- package/src/configuration-files.ts +27 -170
- package/src/configured-declarations.ts +18 -23
- package/src/consumers.ts +4 -4
- package/src/contract/config.generated.ts +798 -0
- package/src/contract/contract.generated.ts +25 -0
- package/src/contract/report.generated.ts +3 -2
- package/src/conventions.ts +26 -74
- package/src/dependencies.ts +32 -50
- package/src/discover.ts +15 -40
- package/src/edges.ts +41 -140
- package/src/element-access.ts +4 -7
- package/src/entry-point-gaps.ts +3 -9
- package/src/entry-points.ts +2 -13
- package/src/enum-group.ts +2 -11
- package/src/erased-stores.ts +3 -7
- package/src/exempt-classes.ts +0 -5
- package/src/exempt.ts +8 -30
- package/src/file-facts.ts +6 -24
- package/src/findings/completion.ts +5 -6
- package/src/findings/emitter.ts +2 -2
- package/src/findings/emitters.ts +1 -1
- package/src/findings/intra-function.ts +1 -1
- package/src/findings/non-code-artifacts.ts +4 -4
- package/src/findings/reads-and-writes.ts +2 -1
- package/src/findings/self-check.ts +3 -2
- package/src/findings/unused-declarations.ts +1 -1
- package/src/findings/visibility-narrowing.ts +2 -2
- package/src/findings-pass.ts +9 -15
- package/src/framework-lifecycle.ts +7 -7
- package/src/fs/document.ts +74 -0
- package/src/fs/manifest.ts +52 -0
- package/src/fs/tree.ts +110 -0
- package/src/git-ignore.ts +38 -25
- package/src/host.ts +12 -5
- package/src/html-entries.ts +6 -33
- package/src/in-operands.ts +2 -1
- package/src/injection-container.ts +1 -1
- package/src/intra-function-parts.ts +10 -14
- package/src/inventory.ts +2 -20
- package/src/json-document.ts +241 -76
- package/src/keyof-comparisons.ts +3 -7
- package/src/kinds.ts +0 -8
- package/src/manifest.ts +5 -46
- package/src/mdx-entries.ts +3 -26
- package/src/partial.ts +2 -1
- package/src/paths.ts +27 -15
- package/src/position.ts +2 -1
- package/src/print.ts +12 -92
- package/src/product.ts +18 -0
- package/src/references.ts +14 -29
- package/src/report-schema.ts +3 -301
- package/src/report.ts +24 -34
- package/src/reporters/sarif.ts +4 -4
- package/src/reporters/template.ts +4 -20
- package/src/resolve.ts +283 -1114
- package/src/roots.ts +7 -20
- package/src/run.ts +57 -75
- package/src/schema.ts +391 -388
- package/src/scope.ts +40 -126
- package/src/serialization-contract.ts +5 -10
- package/src/session.ts +2 -1
- package/src/suppress-file.ts +21 -29
- package/src/suppress.ts +3 -3
- package/src/symbol-keys.ts +2 -5
- package/src/template-field.ts +15 -25
- package/src/test-globals.ts +9 -27
- package/src/test-joins.ts +6 -8
- package/src/text/compare.ts +27 -0
- package/src/text/glob.ts +210 -0
- package/src/text/shell.ts +161 -0
- package/src/{yaml-document.ts → text/yaml.ts} +46 -0
- package/src/type-errors.ts +25 -36
- package/src/unseen-loads.ts +1 -12
- package/src/unwrap.ts +34 -0
- package/src/usage.ts +10 -0
- package/src/verbs/analyze.ts +32 -42
- package/src/verbs/describe.ts +4 -4
- package/src/verbs/explain.ts +8 -10
- package/src/verbs/print-projects.ts +4 -3
- package/src/verbs/print-retained.ts +2 -1
- package/src/verbs/print-roots.ts +2 -1
- package/src/verbs/verb.ts +2 -2
- package/src/verbs/version.ts +2 -1
- package/src/workflow-steps.ts +9 -44
- package/src/workspace-manifests.ts +2 -2
- package/src/workspace-programs.ts +5 -3
- package/src/workspace-resolution.ts +21 -17
- package/src/workspace.ts +35 -121
- package/dist/src/glob.js +0 -65
- package/dist/src/pnpm-workspace.js +0 -120
- package/src/glob.ts +0 -67
- package/src/pnpm-workspace.ts +0 -135
|
@@ -0,0 +1,194 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Glob patterns over paths in two forms. The configured form (the configuration, convention
|
|
3
|
+
* rows, bundler entries, workspace member patterns) has `*` and `?` within a segment, `**`
|
|
4
|
+
* across segments and brace lists. A `.gitignore` line has git's form: bracket expressions
|
|
5
|
+
* and backslash escapes, no brace lists (https://git-scm.com/docs/gitignore#_pattern_format).
|
|
6
|
+
* A configured root is not a glob: it names a symbol reference, and is read where it is used.
|
|
7
|
+
*/
|
|
8
|
+
/**
|
|
9
|
+
* One character of a pattern as the expression syntax reads it literally. The set escaped
|
|
10
|
+
* is closed: under the unicode flag an escape of any other character is refused outright.
|
|
11
|
+
*/
|
|
12
|
+
function quoted(character) {
|
|
13
|
+
return /[.*+?^${}()|[\]\\/]/u.test(character) ? `\\${character}` : character;
|
|
14
|
+
}
|
|
15
|
+
/**
|
|
16
|
+
* The ASCII ranges each POSIX class a bracket expression may name holds, as git's own
|
|
17
|
+
* character table reads them, each range written as its first and last character.
|
|
18
|
+
*/
|
|
19
|
+
const CLASSES = new Map([
|
|
20
|
+
["alnum", "09AZaz"],
|
|
21
|
+
["alpha", "AZaz"],
|
|
22
|
+
["blank", "\t\t "],
|
|
23
|
+
["cntrl", "\0\x1f\x7f\x7f"],
|
|
24
|
+
["digit", "09"],
|
|
25
|
+
["graph", "!~"],
|
|
26
|
+
["lower", "az"],
|
|
27
|
+
["print", " ~"],
|
|
28
|
+
["punct", "!/:@[`{~"],
|
|
29
|
+
["space", "\t\n\r\r "],
|
|
30
|
+
["upper", "AZ"],
|
|
31
|
+
["xdigit", "09AFaf"],
|
|
32
|
+
]);
|
|
33
|
+
/** What a pattern git cannot read matches: nothing, as git aborts the whole match. */
|
|
34
|
+
const NOTHING = "(?!)";
|
|
35
|
+
/** One code point as a member of an expression class. */
|
|
36
|
+
function member(point) {
|
|
37
|
+
return `\\u{${point.toString(16)}}`;
|
|
38
|
+
}
|
|
39
|
+
/**
|
|
40
|
+
* The class a bracket expression opening at `open` denotes, and the index past its `]`,
|
|
41
|
+
* read as git's wildmatch reads it: a leading `!` or `^` negates it, a `]` first is a
|
|
42
|
+
* member, `\` escapes one character, `x-y` is a range (one whose `y` is below `x` holds
|
|
43
|
+
* `x` alone) and `[:name:]` a POSIX class. An unclosed bracket or an unknown class name
|
|
44
|
+
* matches nothing. Neither form matches the solidus.
|
|
45
|
+
*/
|
|
46
|
+
function bracket(pattern, open) {
|
|
47
|
+
let at = open + 1;
|
|
48
|
+
const negated = pattern[at] === "!" || pattern[at] === "^";
|
|
49
|
+
if (negated) {
|
|
50
|
+
at += 1;
|
|
51
|
+
}
|
|
52
|
+
const next = () => {
|
|
53
|
+
const point = pattern.codePointAt(at);
|
|
54
|
+
at += point !== undefined && point > 0xffff ? 2 : 1;
|
|
55
|
+
return point;
|
|
56
|
+
};
|
|
57
|
+
let members = "";
|
|
58
|
+
let low;
|
|
59
|
+
for (let first = true;; first = false) {
|
|
60
|
+
let point = next();
|
|
61
|
+
if (point === undefined) {
|
|
62
|
+
return { source: NOTHING, end: pattern.length };
|
|
63
|
+
}
|
|
64
|
+
if (point === 0x5d && !first) {
|
|
65
|
+
return { source: negated ? `[^/${members}]` : `(?!/)[${members}]`, end: at };
|
|
66
|
+
}
|
|
67
|
+
if (point === 0x2d && low !== undefined && at < pattern.length && pattern[at] !== "]") {
|
|
68
|
+
let high = next();
|
|
69
|
+
if (high === 0x5c) {
|
|
70
|
+
high = next();
|
|
71
|
+
}
|
|
72
|
+
if (high === undefined) {
|
|
73
|
+
return { source: NOTHING, end: pattern.length };
|
|
74
|
+
}
|
|
75
|
+
members += high >= low ? `${member(low)}-${member(high)}` : "";
|
|
76
|
+
low = undefined;
|
|
77
|
+
continue;
|
|
78
|
+
}
|
|
79
|
+
if (point === 0x5b && pattern[at] === ":") {
|
|
80
|
+
const close = pattern.indexOf("]", at + 1);
|
|
81
|
+
if (close < 0) {
|
|
82
|
+
return { source: NOTHING, end: pattern.length };
|
|
83
|
+
}
|
|
84
|
+
if (close > at + 1 && pattern[close - 1] === ":") {
|
|
85
|
+
const ranges = CLASSES.get(pattern.slice(at + 1, close - 1));
|
|
86
|
+
if (ranges === undefined) {
|
|
87
|
+
return { source: NOTHING, end: pattern.length };
|
|
88
|
+
}
|
|
89
|
+
for (let one = 0; one < ranges.length; one += 2) {
|
|
90
|
+
members += `${member(ranges.charCodeAt(one))}-${member(ranges.charCodeAt(one + 1))}`;
|
|
91
|
+
}
|
|
92
|
+
low = undefined;
|
|
93
|
+
at = close + 1;
|
|
94
|
+
continue;
|
|
95
|
+
}
|
|
96
|
+
}
|
|
97
|
+
if (point === 0x5c) {
|
|
98
|
+
point = next();
|
|
99
|
+
if (point === undefined) {
|
|
100
|
+
return { source: NOTHING, end: pattern.length };
|
|
101
|
+
}
|
|
102
|
+
}
|
|
103
|
+
members += member(point);
|
|
104
|
+
low = point;
|
|
105
|
+
}
|
|
106
|
+
}
|
|
107
|
+
/** The expression source of one pattern with no brace list. */
|
|
108
|
+
function source(pattern, form) {
|
|
109
|
+
let text = "";
|
|
110
|
+
let at = 0;
|
|
111
|
+
while (at < pattern.length) {
|
|
112
|
+
if (pattern.startsWith("**/", at)) {
|
|
113
|
+
text += "(?:[^/]*/)*";
|
|
114
|
+
at += 3;
|
|
115
|
+
continue;
|
|
116
|
+
}
|
|
117
|
+
if (pattern.startsWith("**", at)) {
|
|
118
|
+
text += ".*";
|
|
119
|
+
at += 2;
|
|
120
|
+
continue;
|
|
121
|
+
}
|
|
122
|
+
const character = pattern[at] ?? "";
|
|
123
|
+
if (form === "gitignore" && character === "[") {
|
|
124
|
+
const read = bracket(pattern, at);
|
|
125
|
+
text += read.source;
|
|
126
|
+
at = read.end;
|
|
127
|
+
continue;
|
|
128
|
+
}
|
|
129
|
+
if (form === "gitignore" && character === "\\" && at + 1 < pattern.length) {
|
|
130
|
+
text += quoted(pattern[at + 1] ?? "");
|
|
131
|
+
at += 2;
|
|
132
|
+
continue;
|
|
133
|
+
}
|
|
134
|
+
at += 1;
|
|
135
|
+
text += character === "*" ? "[^/]*" : character === "?" ? "[^/]" : quoted(character);
|
|
136
|
+
}
|
|
137
|
+
return text;
|
|
138
|
+
}
|
|
139
|
+
/** A pattern with every brace list expanded into its alternatives; a lone `{` stands for itself. */
|
|
140
|
+
export function braceExpanded(pattern) {
|
|
141
|
+
const open = pattern.indexOf("{");
|
|
142
|
+
const close = open < 0 ? -1 : pattern.indexOf("}", open);
|
|
143
|
+
if (close < 0) {
|
|
144
|
+
return [pattern];
|
|
145
|
+
}
|
|
146
|
+
const before = pattern.slice(0, open);
|
|
147
|
+
const after = pattern.slice(close + 1);
|
|
148
|
+
return pattern
|
|
149
|
+
.slice(open + 1, close)
|
|
150
|
+
.split(",")
|
|
151
|
+
.flatMap((member) => braceExpanded(before + member + after));
|
|
152
|
+
}
|
|
153
|
+
/** The expression one whole-path pattern of the configured form denotes. */
|
|
154
|
+
export function globExpression(pattern) {
|
|
155
|
+
const alternatives = braceExpanded(pattern).map((one) => source(one, "configured"));
|
|
156
|
+
return new RegExp(`^(?:${alternatives.join("|")})$`, "u");
|
|
157
|
+
}
|
|
158
|
+
/** The expression one `.gitignore` pattern denotes over a path below its file's directory. */
|
|
159
|
+
export function gitignoreExpression(pattern) {
|
|
160
|
+
return new RegExp(`^${source(pattern, "gitignore")}$`, "u");
|
|
161
|
+
}
|
|
162
|
+
const SEGMENTS = new Map();
|
|
163
|
+
/**
|
|
164
|
+
* Whether one directory name matches one segment of a workspace's member pattern, its brace
|
|
165
|
+
* lists already expanded. Neither `*` nor `?` matches a leading dot, as npm's workspaces read
|
|
166
|
+
* them: https://docs.npmjs.com/cli/using-npm/workspaces
|
|
167
|
+
*/
|
|
168
|
+
export function segmentMatches(segment, name) {
|
|
169
|
+
if (name.startsWith(".") && !segment.startsWith(".")) {
|
|
170
|
+
return false;
|
|
171
|
+
}
|
|
172
|
+
let expression = SEGMENTS.get(segment);
|
|
173
|
+
if (expression === undefined) {
|
|
174
|
+
expression = globExpression(segment);
|
|
175
|
+
SEGMENTS.set(segment, expression);
|
|
176
|
+
}
|
|
177
|
+
return expression.test(name);
|
|
178
|
+
}
|
|
179
|
+
/**
|
|
180
|
+
* Whether one path's segments match a member pattern's, `**` standing for any run of segments
|
|
181
|
+
* that starts with no dot.
|
|
182
|
+
*/
|
|
183
|
+
export function pathMatches(pattern, path) {
|
|
184
|
+
const [head, ...rest] = pattern;
|
|
185
|
+
if (head === undefined) {
|
|
186
|
+
return path.length === 0;
|
|
187
|
+
}
|
|
188
|
+
if (head === "**") {
|
|
189
|
+
return (pathMatches(rest, path) ||
|
|
190
|
+
(path.length > 0 && !(path[0] ?? "").startsWith(".") && pathMatches(pattern, path.slice(1))));
|
|
191
|
+
}
|
|
192
|
+
const [name, ...below] = path;
|
|
193
|
+
return name !== undefined && segmentMatches(head, name) && pathMatches(rest, below);
|
|
194
|
+
}
|
|
@@ -0,0 +1,159 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Shell command lines read as text, never run: the commands a line runs, the tokens the
|
|
3
|
+
* Contract splits a command into, and the words POSIX token recognition reads.
|
|
4
|
+
*/
|
|
5
|
+
/**
|
|
6
|
+
* The shell's list and pipeline operators, each of which ends one command. An `&` beside a
|
|
7
|
+
* redirection's `<` or `>` (`2>&1`, and bash's `&>log`) is part of the redirection.
|
|
8
|
+
*/
|
|
9
|
+
const COMMAND_OPERATORS = /&&|\|\||;|\||(?<![<>])&(?!>)/u;
|
|
10
|
+
/** Where a command splits into tokens: white space and the operators the Contract names. */
|
|
11
|
+
const TOKEN_SEPARATORS = /\s+|&&|\|\||;|\|/u;
|
|
12
|
+
/** A text written inside one pair of quotes. */
|
|
13
|
+
const QUOTED = /^(["'])(.*)\1$/su;
|
|
14
|
+
/** The commands one line runs, the text between two of the shell's list and pipeline operators. */
|
|
15
|
+
export function commandsOf(line) {
|
|
16
|
+
return line.split(COMMAND_OPERATORS);
|
|
17
|
+
}
|
|
18
|
+
/** One text with one pair of enclosing quotes removed. */
|
|
19
|
+
export function unquoted(text) {
|
|
20
|
+
return text.replace(QUOTED, "$2");
|
|
21
|
+
}
|
|
22
|
+
/**
|
|
23
|
+
* Every token one script's command line holds, each with one pair of enclosing quotes
|
|
24
|
+
* removed. A token holding a wildcard is a pattern rather than a path, and names no
|
|
25
|
+
* entry point.
|
|
26
|
+
*/
|
|
27
|
+
export function scriptTokens(command) {
|
|
28
|
+
return command
|
|
29
|
+
.split(TOKEN_SEPARATORS)
|
|
30
|
+
.map(unquoted)
|
|
31
|
+
.filter((token) => token !== "" && !token.includes("*"));
|
|
32
|
+
}
|
|
33
|
+
/** One shell line up to its comment: a `#` that starts a word outside quotes. */
|
|
34
|
+
export function withoutComment(line) {
|
|
35
|
+
let quote = "";
|
|
36
|
+
for (let at = 0; at < line.length; at += 1) {
|
|
37
|
+
const char = line[at];
|
|
38
|
+
if (quote !== "") {
|
|
39
|
+
if (char === quote) {
|
|
40
|
+
quote = "";
|
|
41
|
+
}
|
|
42
|
+
else if (char === "\\" && quote === '"') {
|
|
43
|
+
at += 1;
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
else if (char === "'" || char === '"') {
|
|
47
|
+
quote = char;
|
|
48
|
+
}
|
|
49
|
+
else if (char === "\\") {
|
|
50
|
+
at += 1;
|
|
51
|
+
}
|
|
52
|
+
else if (char === "#" && (at === 0 || /\s/u.test(line[at - 1] ?? ""))) {
|
|
53
|
+
return line.slice(0, at);
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
return line;
|
|
57
|
+
}
|
|
58
|
+
/** The characters that end a word outside quotes and separate nothing: blanks. */
|
|
59
|
+
// Stryker disable next-line Regex: its \v to \V mutant is no valid escape under the u flag, so the whole module fails to parse
|
|
60
|
+
const BLANK = /[ \t\r\f\v]/u;
|
|
61
|
+
/** The characters that end a word outside quotes and begin an operator: newline included. */
|
|
62
|
+
const OPERATOR = /[\n;&|()<>]/u;
|
|
63
|
+
/** The characters a backslash escapes inside double quotes; before any other it stands for itself. */
|
|
64
|
+
const DOUBLE_QUOTE_ESCAPES = new Set(["$", "`", '"', "\\"]);
|
|
65
|
+
/**
|
|
66
|
+
* The words of one command line, as POSIX token recognition reads quotes, backslashes,
|
|
67
|
+
* line continuations, comments and operators. A word an expansion may change (an unquoted
|
|
68
|
+
* `$`, backquote, glob character or leading `~`, or a `$` or backquote in double quotes)
|
|
69
|
+
* is computed, and so is the rest of a line whose quote is never closed. A computed word
|
|
70
|
+
* and each operator are undefined, so a flag's file is never read across them.
|
|
71
|
+
*/
|
|
72
|
+
export function shellWords(command) {
|
|
73
|
+
const words = [];
|
|
74
|
+
let word;
|
|
75
|
+
let computed = false;
|
|
76
|
+
const end = () => {
|
|
77
|
+
if (word !== undefined) {
|
|
78
|
+
words.push(computed ? undefined : word);
|
|
79
|
+
}
|
|
80
|
+
word = undefined;
|
|
81
|
+
computed = false;
|
|
82
|
+
};
|
|
83
|
+
for (let at = 0; at < command.length; at += 1) {
|
|
84
|
+
const char = command.charAt(at);
|
|
85
|
+
if (char === "\\" && command.charAt(at + 1) === "\n") {
|
|
86
|
+
at += 1;
|
|
87
|
+
}
|
|
88
|
+
else if (BLANK.test(char)) {
|
|
89
|
+
end();
|
|
90
|
+
}
|
|
91
|
+
else if (OPERATOR.test(char)) {
|
|
92
|
+
end();
|
|
93
|
+
words.push(undefined);
|
|
94
|
+
}
|
|
95
|
+
else if (char === "#" && word === undefined) {
|
|
96
|
+
const newline = command.indexOf("\n", at);
|
|
97
|
+
at = newline < 0 ? command.length : newline - 1;
|
|
98
|
+
}
|
|
99
|
+
else if (char === "\\") {
|
|
100
|
+
at += 1;
|
|
101
|
+
word = (word ?? "") + command.charAt(at);
|
|
102
|
+
}
|
|
103
|
+
else if (char === "'" || char === '"') {
|
|
104
|
+
const close = closingQuote(command, at);
|
|
105
|
+
if (close < 0) {
|
|
106
|
+
word ??= "";
|
|
107
|
+
computed = true;
|
|
108
|
+
break;
|
|
109
|
+
}
|
|
110
|
+
const quoted = char === "'"
|
|
111
|
+
? { text: command.slice(at + 1, close), computed: false }
|
|
112
|
+
: doubleQuoted(command.slice(at + 1, close));
|
|
113
|
+
word = (word ?? "") + quoted.text;
|
|
114
|
+
computed ||= quoted.computed;
|
|
115
|
+
at = close;
|
|
116
|
+
}
|
|
117
|
+
else {
|
|
118
|
+
computed ||= /[$`*?[]/u.test(char) || (char === "~" && word === undefined);
|
|
119
|
+
word = (word ?? "") + char;
|
|
120
|
+
}
|
|
121
|
+
}
|
|
122
|
+
end();
|
|
123
|
+
return words;
|
|
124
|
+
}
|
|
125
|
+
/** The text between one pair of double quotes, unescaped, and whether an expansion may change it. */
|
|
126
|
+
function doubleQuoted(inner) {
|
|
127
|
+
let text = "";
|
|
128
|
+
let computed = false;
|
|
129
|
+
for (let at = 0; at < inner.length; at += 1) {
|
|
130
|
+
const char = inner.charAt(at);
|
|
131
|
+
const next = inner.charAt(at + 1);
|
|
132
|
+
if (char === "\\" && next === "\n") {
|
|
133
|
+
at += 1;
|
|
134
|
+
}
|
|
135
|
+
else if (char === "\\" && DOUBLE_QUOTE_ESCAPES.has(next)) {
|
|
136
|
+
text += next;
|
|
137
|
+
at += 1;
|
|
138
|
+
}
|
|
139
|
+
else {
|
|
140
|
+
computed ||= char === "$" || char === "`";
|
|
141
|
+
text += char;
|
|
142
|
+
}
|
|
143
|
+
}
|
|
144
|
+
return { text, computed };
|
|
145
|
+
}
|
|
146
|
+
/** The index of the quote that closes the one at `open`, or -1 where none does. */
|
|
147
|
+
function closingQuote(command, open) {
|
|
148
|
+
const quote = command.charAt(open);
|
|
149
|
+
for (let at = open + 1; at < command.length; at += 1) {
|
|
150
|
+
const char = command.charAt(at);
|
|
151
|
+
if (char === quote) {
|
|
152
|
+
return at;
|
|
153
|
+
}
|
|
154
|
+
if (quote === '"' && char === "\\") {
|
|
155
|
+
at += 1;
|
|
156
|
+
}
|
|
157
|
+
}
|
|
158
|
+
return -1;
|
|
159
|
+
}
|
|
@@ -5,6 +5,7 @@
|
|
|
5
5
|
* alias, a tag, a block scalar, a complex key or a second document, has no value here,
|
|
6
6
|
* as a JSON document that does not parse has none.
|
|
7
7
|
*/
|
|
8
|
+
import { isRecord } from "../json-document.js";
|
|
8
9
|
/** A failure to read the document within the subset; it ends the whole reading. */
|
|
9
10
|
class Unsupported extends Error {
|
|
10
11
|
}
|
|
@@ -353,3 +354,40 @@ export function yamlDocument(text) {
|
|
|
353
354
|
throw error;
|
|
354
355
|
}
|
|
355
356
|
}
|
|
357
|
+
/** The key one line of the document's top-level mapping opens, or undefined where it opens none. */
|
|
358
|
+
function topLevelKey(raw) {
|
|
359
|
+
const content = withoutComment(raw).trimEnd();
|
|
360
|
+
const end = /^\s/u.test(content) ? -1 : keyEnd(content);
|
|
361
|
+
if (end < 0) {
|
|
362
|
+
return undefined;
|
|
363
|
+
}
|
|
364
|
+
try {
|
|
365
|
+
const key = scalar(content.slice(0, end));
|
|
366
|
+
return typeof key === "object" && key !== null ? undefined : String(key);
|
|
367
|
+
}
|
|
368
|
+
catch {
|
|
369
|
+
return undefined;
|
|
370
|
+
}
|
|
371
|
+
}
|
|
372
|
+
/**
|
|
373
|
+
* The value of one key of a document's top-level block mapping, read from that key's lines
|
|
374
|
+
* alone, so a document whose other keys lie outside the subset still yields it. A key
|
|
375
|
+
* declared twice, or one whose own lines lie outside the subset, is refused.
|
|
376
|
+
*/
|
|
377
|
+
export function yamlKey(text, key) {
|
|
378
|
+
const lines = text.replace(/^\uFEFF/u, "").split(/\r?\n/u);
|
|
379
|
+
const starts = lines.flatMap((line, at) => (topLevelKey(line) === undefined ? [] : [at]));
|
|
380
|
+
const named = starts.filter((at) => topLevelKey(lines[at] ?? "") === key);
|
|
381
|
+
const [start] = named;
|
|
382
|
+
if (start === undefined) {
|
|
383
|
+
return { kind: "absent" };
|
|
384
|
+
}
|
|
385
|
+
if (named.length > 1) {
|
|
386
|
+
return { kind: "refused", reason: `the ${key} key is declared more than once` };
|
|
387
|
+
}
|
|
388
|
+
const end = starts.find((at) => at > start) ?? lines.length;
|
|
389
|
+
const value = yamlDocument(lines.slice(start, end).join("\n"));
|
|
390
|
+
return isRecord(value)
|
|
391
|
+
? { kind: "value", value: value[key] }
|
|
392
|
+
: { kind: "refused", reason: `the value of ${key} is outside the YAML subset read here` };
|
|
393
|
+
}
|
package/dist/src/type-errors.js
CHANGED
|
@@ -8,9 +8,11 @@
|
|
|
8
8
|
import { isClassDeclaration, isFunctionLikeDeclaration, isNoSubstitutionTemplateLiteral, isPropertyAccessExpression, isStringLiteral, } from "@typescript/native/ast";
|
|
9
9
|
import { packageOfSpecifier } from "./dependencies.js";
|
|
10
10
|
import { nodeKey } from "./inventory.js";
|
|
11
|
-
import { dirnamePath, isAbsolutePath, joinPath, relativePath, resolvePath } from "./paths.js";
|
|
11
|
+
import { ancestors, dirnamePath, isAbsolutePath, joinPath, relativePath, resolvePath, } from "./paths.js";
|
|
12
12
|
import { isAnswered } from "./query.js";
|
|
13
13
|
import { findWorkspace } from "./workspace.js";
|
|
14
|
+
import { entriesOf } from "./fs/tree.js";
|
|
15
|
+
import { INSTALLED_PACKAGES, MANIFEST, manifestAt } from "./fs/manifest.js";
|
|
14
16
|
/** The compiler's codes for an import whose module it cannot find. */
|
|
15
17
|
const MODULE_NOT_FOUND = new Set([2307, 2792]);
|
|
16
18
|
/**
|
|
@@ -19,7 +21,6 @@ const MODULE_NOT_FOUND = new Set([2307, 2792]);
|
|
|
19
21
|
* 5056), a file outside `rootDir` (6059), one a composite project does not list (6307).
|
|
20
22
|
*/
|
|
21
23
|
const CONFIGURATION_LEVEL = new Set([5055, 5056, 6059, 6307]);
|
|
22
|
-
const MANIFEST = "package.json";
|
|
23
24
|
const MANIFEST_SECTIONS = [
|
|
24
25
|
"dependencies",
|
|
25
26
|
"devDependencies",
|
|
@@ -85,54 +86,29 @@ function provided(host, path, fileOnly) {
|
|
|
85
86
|
}
|
|
86
87
|
const dir = dirnamePath(path);
|
|
87
88
|
const stem = `${path.slice(dir.length + 1)}.`;
|
|
88
|
-
|
|
89
|
-
return host
|
|
90
|
-
.readDirectory(dir)
|
|
91
|
-
.some((entry) => entry.name.startsWith(stem) && counts(joinPath(dir, entry.name)));
|
|
92
|
-
}
|
|
93
|
-
catch {
|
|
94
|
-
return false;
|
|
95
|
-
}
|
|
89
|
+
return entriesOf(host, dir).some((entry) => entry.name.startsWith(stem) && counts(joinPath(dir, entry.name)));
|
|
96
90
|
}
|
|
97
91
|
/** The manifest at or above `dir`, no higher than the target root, that declares `name`. */
|
|
98
92
|
function declaringManifest(host, dir, targetRoot, name) {
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
}
|
|
108
|
-
if (typeof manifest === "object" && manifest !== null) {
|
|
109
|
-
const sections = manifest;
|
|
110
|
-
for (const section of MANIFEST_SECTIONS) {
|
|
111
|
-
const declared = sections[section];
|
|
112
|
-
if (typeof declared === "object" && declared !== null && Object.hasOwn(declared, name)) {
|
|
113
|
-
return path;
|
|
114
|
-
}
|
|
93
|
+
const chain = ancestors(dir, targetRoot);
|
|
94
|
+
// A directory outside the target root reads its own manifest alone.
|
|
95
|
+
for (const at of chain.length > 0 ? chain : [dir]) {
|
|
96
|
+
const manifest = manifestAt(host, at);
|
|
97
|
+
for (const section of MANIFEST_SECTIONS) {
|
|
98
|
+
const declared = manifest?.[section];
|
|
99
|
+
if (typeof declared === "object" && declared !== null && Object.hasOwn(declared, name)) {
|
|
100
|
+
return joinPath(at, MANIFEST);
|
|
115
101
|
}
|
|
116
102
|
}
|
|
117
|
-
// The target root is not below itself, so the walk stops after reading its manifest.
|
|
118
|
-
if (relativePath(targetRoot, at) === undefined) {
|
|
119
|
-
return undefined;
|
|
120
|
-
}
|
|
121
103
|
}
|
|
104
|
+
return undefined;
|
|
122
105
|
}
|
|
123
106
|
/**
|
|
124
107
|
* Whether a package is installed for an importer in `dir`: in the `node_modules` of
|
|
125
108
|
* `dir` or of any ancestor, above the target root too, as Node and the compiler look.
|
|
126
109
|
*/
|
|
127
110
|
function installed(host, dir, name) {
|
|
128
|
-
|
|
129
|
-
if (host.kindOf(joinPath(at, "node_modules", name)) === "directory") {
|
|
130
|
-
return true;
|
|
131
|
-
}
|
|
132
|
-
if (dirnamePath(at) === at) {
|
|
133
|
-
return false;
|
|
134
|
-
}
|
|
135
|
-
}
|
|
111
|
+
return ancestors(dir).some((at) => host.kindOf(joinPath(at, INSTALLED_PACKAGES, name)) === "directory");
|
|
136
112
|
}
|
|
137
113
|
/**
|
|
138
114
|
* Why one import that the compiler cannot resolve names a module the project expects,
|
package/dist/src/unseen-loads.js
CHANGED
|
@@ -4,19 +4,12 @@
|
|
|
4
4
|
* naming a directory below the calling file's. The files such a load runs are roots the
|
|
5
5
|
* analysis does not see, so the configuration's roots are never complete.
|
|
6
6
|
*/
|
|
7
|
-
import {
|
|
7
|
+
import { isBinaryExpression, isCallExpression, isIdentifier, isNoSubstitutionTemplateLiteral, isStringLiteral, isTemplateExpression, SyntaxKind, } from "@typescript/native/ast";
|
|
8
8
|
import { dirnamePath, relativePath, resolvePath } from "./paths.js";
|
|
9
9
|
import { renderPosition } from "./position.js";
|
|
10
10
|
import { UNANSWERED } from "./query.js";
|
|
11
11
|
import { sourceFilesOf } from "./source-files.js";
|
|
12
|
-
|
|
13
|
-
function unwrapped(node) {
|
|
14
|
-
let at = node;
|
|
15
|
-
while (isParenthesizedExpression(at) || isAsExpression(at) || isSatisfiesExpression(at)) {
|
|
16
|
-
at = at.expression;
|
|
17
|
-
}
|
|
18
|
-
return at;
|
|
19
|
-
}
|
|
12
|
+
import { unwrapped } from "./unwrap.js";
|
|
20
13
|
/** The literal text a computed path starts with: a template's head, or a concatenation's first literal. */
|
|
21
14
|
export function leadingLiteral(node) {
|
|
22
15
|
const at = unwrapped(node);
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
import { isAsExpression, isNonNullExpression, isParenthesizedExpression, isSatisfiesExpression, } from "@typescript/native/ast";
|
|
2
|
+
/** The expression inside every pair of parentheses around `node`. */
|
|
3
|
+
export function parenthesesRemoved(node) {
|
|
4
|
+
let at = node;
|
|
5
|
+
while (isParenthesizedExpression(at)) {
|
|
6
|
+
at = at.expression;
|
|
7
|
+
}
|
|
8
|
+
return at;
|
|
9
|
+
}
|
|
10
|
+
/**
|
|
11
|
+
* The expression inside every wrapper around `node` that changes no value it evaluates to:
|
|
12
|
+
* parentheses, `as` and `satisfies` assertions and the non-null assertion.
|
|
13
|
+
*/
|
|
14
|
+
export function unwrapped(node) {
|
|
15
|
+
let at = node;
|
|
16
|
+
while (isParenthesizedExpression(at) ||
|
|
17
|
+
isAsExpression(at) ||
|
|
18
|
+
isSatisfiesExpression(at) ||
|
|
19
|
+
isNonNullExpression(at)) {
|
|
20
|
+
at = at.expression;
|
|
21
|
+
}
|
|
22
|
+
return at;
|
|
23
|
+
}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* A refusal of the invocation: the fix is to the command line or to a document it
|
|
3
|
+
* names, so the run ends with the usage code before any analysis.
|
|
4
|
+
*/
|
|
5
|
+
export class UsageError extends Error {
|
|
6
|
+
constructor(message) {
|
|
7
|
+
super(message);
|
|
8
|
+
this.name = "UsageError";
|
|
9
|
+
}
|
|
10
|
+
}
|