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

package/dist/src/alias-chain.js

@@ -5,7 +5,7 @@
  */
 import { isExportAssignment, isExportSpecifier, isIdentifier, isImportClause, isImportSpecifier, isNamespaceExport, isNamespaceImport, } from "@typescript/native/ast";
 import { SymbolFlags } from "@typescript/native/sync";
-import { declarationsByName, isParameterProperty, nodeKey } from "./inventory.js";
+import { isParameterProperty, nodeKey } from "./inventory.js";
 import { UNANSWERED } from "./query.js";
 /**
  * The chain walks over one project, against the declarations of `held`, the same
@@ -83,7 +83,7 @@ export function aliasChains(project, held) {
                 names.add(node.expression.text);
             }
         }
-        const byName = declarationsByName(held);
+        const byName = held.byName;
         const ids = [...names].flatMap((name) => byName.get(name) ?? []);
         return [...new Set([...ids, ...(module ? files : [])])].map((id) => ({
             id,

package/dist/src/analysis.js

@@ -30,7 +30,8 @@ import { implementations, mergeImplementations } from "./implementations.js";
 import { injectionContainer } from "./injection-container.js";
 import { interfaceSatisfaction, settledSatisfaction } from "./interface-satisfaction.js";
 import { intraFunctionFacts, projectParts } from "./intra-function-parts.js";
-import { inventory } from "./inventory.js";
+import {} from "./inventory.js";
+import { inventory } from "./inventory/enumerate.js";
 import { readManifest } from "./manifest.js";
 import { liveFilesAt, matrixOf, referenceKey, sweepMatrix, } from "./matrix.js";
 import { ancestors, dirnamePath, extensionOf, joinPath, relativePath, resolvePath, } from "./paths.js";

package/dist/src/conformance-record.js

@@ -4,7 +4,7 @@ export const RECORD = {
     conformance: {
         corpusVersion: "6.0.0",
         result: "pass",
-        digest: "sha256:58ac31fa90fcbefdbbcbcbd6d2c7a8af6dd4cd883c04d79abfe96f979ffe10e1",
+        digest: "sha256:4a66f7f01b0f1a23cf843b77ef48d762f2dcf486153e665560f107f10b0ea838",
     },
     gaps: [],
 };

package/dist/src/consumers.js

@@ -1,4 +1,4 @@
-import { inventory } from "./inventory.js";
+import { inventory } from "./inventory/enumerate.js";
 import { relativePath } from "./paths.js";
 import { references } from "./references.js";
 import { narrowedTo } from "./session.js";

package/dist/src/contract/contract.generated.js

@@ -1233,6 +1233,7 @@ export const FAILURE_CLASSES = {
     "unreadable-document": "setup",
     "missing-import-path": "setup",
     "binding-undecodable": "setup",
+    "unsupported-language": "setup",
     "unwritten-output": "run",
     "unreportable-path": "run",
     "memory-exhausted": "run",

package/dist/src/dependencies.js

@@ -9,7 +9,8 @@
 import { isArrayLiteralExpression, isCallExpression, isExportDeclaration, isExpressionStatement, isExternalModuleReference, isIdentifier, isImportDeclaration, isImportEqualsDeclaration, isMetaProperty, isNamespaceExport, isObjectLiteralExpression, isPropertyAccessExpression, isPropertyAssignment, isShorthandPropertyAssignment, isStringLiteral, isNoSubstitutionTemplateLiteral, SyntaxKind, } from "@typescript/native/ast";
 import { automaticTypes } from "./automatic-types.js";
 import { configurationFiles, declaredIn as declaredBeside, dependenciesNamed, moduleStrings, outsideChain, } from "./configuration-files.js";
-import { nodeKey, packageScope } from "./inventory.js";
+import { nodeKey } from "./inventory.js";
+import { packageScope } from "./load/package-scope.js";
 import { ancestors, dirnamePath, isAbsolutePath, joinPath, relativePath, resolvePath, } from "./paths.js";
 import { UNANSWERED } from "./query.js";
 import { sourceFilesOf } from "./source-files.js";

package/dist/src/entry-points.js

@@ -1,24 +1,17 @@
 /**
- * The files a tool or the platform enters without any import naming them: the
- * configuration files a tool loads by their file name and the files their strings
- * name, the test files the runner executes, and a worker a call addresses by a string
- * literal.
- *
- * Each rule is read from the program and nothing else: a file name the tool
- * itself looks for, a literal written in a configuration file, or a literal
- * argument of a call the checker resolves to the platform's own declaration. A
- * value that is not a literal is not evaluated and not guessed, so a file it would
- * have named is entered by nothing here.
+ * The files a tool or the platform enters without any import naming them, each by a name
+ * the tool looks for or a literal it reads. A value that is not a literal is not evaluated
+ * or guessed, so a file it would have named is entered by nothing here.
  */
-import { isArrayLiteralExpression, isCallExpression, isExportAssignment, isIdentifier, isMetaProperty, isNewExpression, isNoSubstitutionTemplateLiteral, isObjectLiteralExpression, isPropertyAccessExpression, isPropertyAssignment, isStringLiteral, SyntaxKind, } from "@typescript/native/ast";
+import { isArrayLiteralExpression, isCallExpression, isExportAssignment, isIdentifier, isMetaProperty, isNewExpression, isNoSubstitutionTemplateLiteral, isObjectLiteralExpression, isPropertyAccessExpression, isPropertyAssignment, isStringLiteral, } from "@typescript/native/ast";
 import { SymbolFlags } from "@typescript/native/sync";
 import { configurationFiles, filesNamedBy, moduleStrings, } from "./configuration-files.js";
 import { buildScriptEntries } from "./build-scripts.js";
 import { htmlEntries } from "./html-entries.js";
 import { documentEntries } from "./mdx-entries.js";
+import { hasOwnBody } from "./own-body.js";
 import { dirnamePath, relativePath, resolvePath } from "./paths.js";
 import { UNANSWERED } from "./query.js";
-import { computedLoadDirectory, leadingLiteral } from "./unseen-loads.js";
 import { workflowEntries } from "./workflow-steps.js";
 import { unwrapped } from "./unwrap.js";
 import { globExpression } from "./text/glob.js";
@@ -118,7 +111,7 @@ function memberOf(object, name) {
  * The strings one member holds, when it is written as a literal or an array of
  * literals. `undefined` is a value the text does not state.
  */
-function literalsOf(value) {
+export function literalsOf(value) {
     const at = unwrapped(value);
     const single = literalOf(at);
     if (single !== undefined) {
@@ -144,10 +137,6 @@ function literalsOf(value) {
 function isRelative(text) {
     return text !== "" && !text.startsWith("/") && !URL_SCHEME.test(text);
 }
-/** Whether a module specifier is relative, which a bare name is not: it names a package. */
-function isModuleRelative(text) {
-    return text.startsWith("./") || text.startsWith("../");
-}
 /** A URL reference with its query and its fragment removed, which name no part of the file. */
 function pathPart(text) {
     const cut = text.search(/[?#]/u);
@@ -291,7 +280,7 @@ function workerAddress(argument) {
     const at = unwrapped(argument);
     const literal = literalOf(at);
     if (literal !== undefined) {
-        return { literal, names: [] };
+        return { literal, url: undefined };
     }
     if (!isNewExpression(at) || !isIdentifier(at.expression) || at.expression.text !== "URL") {
         return undefined;
@@ -308,7 +297,7 @@ function workerAddress(argument) {
         meta.name.text !== "url") {
         return undefined;
     }
-    return { literal: text, names: [at.expression] };
+    return { literal: text, url: at.expression };
 }
 /**
  * Every call one file writes that addresses a worker: `new Worker(...)`,
@@ -325,7 +314,8 @@ function workerSitesOf(file) {
             if (address !== undefined) {
                 found.push({
                     literal: address.literal,
-                    platformNames: [node.expression, ...address.names],
+                    platformNames: [node.expression],
+                    url: address.url,
                 });
             }
         }
@@ -343,7 +333,8 @@ function workerSitesOf(file) {
                 if (address !== undefined) {
                     found.push({
                         literal: address.literal,
-                        platformNames: [callee.expression.expression, ...address.names],
+                        platformNames: [callee.expression.expression],
+                        url: address.url,
                     });
                 }
             }
@@ -354,10 +345,10 @@ function workerSitesOf(file) {
     return found;
 }
 /**
- * The workers one file addresses. A call's names must resolve to a symbol the platform
- * declares, which a file of the target may augment and no import brings in; a name only
- * the target declares is the target's own constructor or object, which addresses no
- * worker this rule knows. One batch per file that writes such a call.
+ * The workers one file addresses. A call's `Worker`, `SharedWorker` or `navigator` must
+ * resolve to a symbol the platform declares, which a file of the target may augment and no
+ * import brings in; a name only the target declares is the target's own constructor or
+ * object, which addresses no worker this rule knows. One batch per file that writes such a call.
  */
 function workersOf(project, file, files) {
     const sites = workerSitesOf(file);
@@ -365,7 +356,8 @@ function workersOf(project, file, files) {
         return [];
     }
     const names = sites.flatMap((site) => site.platformNames);
-    const symbols = project.symbolsAt(names.map((name) => project.handle(name)));
+    const urls = sites.flatMap((site) => site.url ?? []);
+    const symbols = project.symbolsAt([...names, ...urls].map((name) => project.handle(name)));
     const platform = new Set();
     // A name the checker could not resolve is read as the platform's, so a worker it
     // stands on is rooted rather than reported.
@@ -381,10 +373,17 @@ function workersOf(project, file, files) {
             platform.add(name);
         }
     });
+    urls.forEach((url, index) => {
+        const symbol = symbols[names.length + index];
+        if (typeof symbol !== "object" || !hasOwnBody(project, symbol)) {
+            platform.add(url);
+        }
+    });
     const dir = dirnamePath(file.fileName);
     const found = [];
     for (const site of sites) {
-        if (!site.platformNames.every((name) => platform.has(name))) {
+        if (!site.platformNames.every((name) => platform.has(name)) ||
+            (site.url !== undefined && !platform.has(site.url))) {
             continue;
         }
         for (const named of filesNamed(files, dir, site.literal)) {
@@ -393,73 +392,6 @@ function workersOf(project, file, files) {
     }
     return found;
 }
-/** Whether one call is `import.meta.glob(...)`. */
-function isMetaGlob(node) {
-    if (!isCallExpression(node) || !isPropertyAccessExpression(node.expression)) {
-        return false;
-    }
-    const { expression, name } = node.expression;
-    return (isIdentifier(name) &&
-        name.text === "glob" &&
-        isMetaProperty(expression) &&
-        expression.keywordToken === SyntaxKind.ImportKeyword);
-}
-/**
- * The files one file loads by a computed path, each with what exports: every own file
- * below the directory a relative literal start of an `import()` or `require()` argument
- * names, other than the calling file's own directory or one holding it, which would name
- * every sibling, and
- * every own file a relative literal glob of `import.meta.glob` matches, both read against
- * the calling file's directory, as a bundler's context module reads them.
- */
-function computedImportsOf(file, files) {
-    const dir = dirnamePath(file.fileName);
-    const found = [];
-    const below = (prefix) => {
-        const target = computedLoadDirectory(dir, prefix);
-        if (target === undefined) {
-            return;
-        }
-        for (const candidate of files.byName.values()) {
-            if (candidate !== file && relativePath(target, candidate.fileName) !== undefined) {
-                found.push({ file: candidate, rule: "computed-import", source: prefix, exports: true });
-            }
-        }
-    };
-    const globbed = (pattern) => {
-        if (!isModuleRelative(pattern)) {
-            return;
-        }
-        const expression = globExpression(resolvePath(dir, pattern));
-        for (const candidate of files.byName.values()) {
-            if (candidate !== file && expression.test(candidate.fileName)) {
-                found.push({ file: candidate, rule: "computed-import", source: pattern, exports: true });
-            }
-        }
-    };
-    const visit = (node) => {
-        if (isCallExpression(node)) {
-            const [first] = node.arguments;
-            const callee = node.expression;
-            const loads = callee.kind === SyntaxKind.ImportKeyword ||
-                (isIdentifier(callee) && callee.text === "require");
-            if (loads && first !== undefined) {
-                const prefix = leadingLiteral(first);
-                if (prefix !== undefined) {
-                    below(prefix);
-                }
-            }
-            else if (isMetaGlob(node) && first !== undefined) {
-                for (const pattern of literalsOf(first) ?? []) {
-                    globbed(pattern);
-                }
-            }
-        }
-        node.forEachChild(visit);
-    };
-    file.forEachChild(visit);
-    return found;
-}
 /**
  * Every file of one project the rules enter, in no particular order and possibly more
  * than once: a file two rules enter appears once per rule.
@@ -489,7 +421,6 @@ export function entryPoints(project, files, testFiles, host, targetRoot, parse,
             }
         }
         found.push(...workersOf(project, file, files));
-        found.push(...computedImportsOf(file, files));
     }
     for (const { file, source } of htmlEntries(host, targetRoot, files, parse)) {
         found.push({ file, rule: "html-entry", source, exports: true });

package/dist/src/file-facts.js

@@ -3,7 +3,7 @@
  * file below the target root, whether or not a project includes it, and the files a
  * program holds by inclusion rather than by an import.
  */
-import { packageScope } from "./inventory.js";
+import { packageScope } from "./load/package-scope.js";
 import { dirnamePath, joinPath, relativePath, resolvePath } from "./paths.js";
 import { renderRef } from "./ref.js";
 import { filesBelow } from "./fs/tree.js";

package/dist/src/graph.js

@@ -58,7 +58,6 @@ const NAMES_A_CALLER = {
     worker: true,
     "html-entry": true,
     "workflow-step": true,
-    "computed-import": true,
     "document-import": true,
 };
 /** Whether the sweep judges a declaration of one kind. */