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

package/src/roots/unseen-loads.ts

@@ -0,0 +1,307 @@
+/**
+ * The loads by a computed path: those whose files the analysis resolves, and those it
+ * cannot, whose files are roots the analysis does not see, so the configuration's roots
+ * are never complete.
+ */
+
+import {
+  isBinaryExpression,
+  isCallExpression,
+  isIdentifier,
+  isMetaProperty,
+  isNoSubstitutionTemplateLiteral,
+  isPropertyAccessExpression,
+  isStringLiteral,
+  isTemplateExpression,
+  SyntaxKind,
+  type CallExpression,
+  type Identifier,
+  type Node,
+  type SourceFile,
+} from "@typescript/native/ast";
+import { membersNamed, textsOf, writtenValue, type Value } from "../entries/static-module.ts";
+import { writtenName } from "../platform-calls.ts";
+import { dirnamePath, relativePath, resolvePath } from "../paths.ts";
+import type { Position } from "../position.ts";
+import { unwrapped } from "../unwrap.ts";
+import { globExpression } from "../text/glob.ts";
+
+/** One load the analysis cannot resolve, in the configuration whose production file writes it. */
+export interface UnseenLoad {
+  readonly configuration: string;
+  /** The position of the call. */
+  readonly position: Position;
+}
+
+/** The literal text a computed path starts with: a template's head, or a concatenation's first literal. */
+function leadingLiteral(node: Node): string | undefined {
+  const at = unwrapped(node);
+  if (isTemplateExpression(at)) {
+    return at.head.text;
+  }
+  if (isBinaryExpression(at) && at.operatorToken.kind === SyntaxKind.PlusToken) {
+    const left = unwrapped(at.left);
+    return isStringLiteral(left) || isNoSubstitutionTemplateLiteral(left)
+      ? left.text
+      : leadingLiteral(at.left);
+  }
+  return undefined;
+}
+
+/**
+ * The directory below `dir` a computed load's leading literal names, every file of which
+ * the load reaches, or none where it names a package, `dir` itself or a directory holding
+ * it, each of which would name every sibling.
+ */
+function computedLoadDirectory(dir: string, prefix: string): string | undefined {
+  if (!(prefix.startsWith("./") || prefix.startsWith("../")) || !prefix.endsWith("/")) {
+    return undefined;
+  }
+  const target = resolvePath(dir, prefix);
+  return target === dir || relativePath(target, dir) !== undefined ? undefined : target;
+}
+
+/** One `import()`, `require()` or `import.meta.glob()` call, and the declaration whose code writes it. */
+export interface LoadCall {
+  readonly call: CallExpression;
+  readonly from: string;
+}
+
+/** One file a computed load may load, by its id. */
+interface Loadable {
+  readonly file: SourceFile;
+  readonly fileId: string;
+}
+
+/** One load by a computed path whose files the analysis resolves. */
+interface ComputedLoad {
+  readonly call: CallExpression;
+  readonly from: string;
+  /** The name a `require()` call is written with; {@link callsPlatform} owns which one loads. */
+  readonly require: Identifier | undefined;
+  readonly files: readonly Loadable[];
+  /** Whether the load reads each file as text or as a URL, which references no declaration of it. */
+  readonly asset: boolean;
+  /**
+   * Whether the analysis names every file the load may load. An unresolved load names none,
+   * and leaves the configuration's roots incomplete (confidence.26).
+   */
+  readonly resolved: boolean;
+  /**
+   * Whether the load is an eager glob, which Vite turns into static imports at the top of
+   * the calling module (https://vite.dev/guide/features.html#glob-import), so the file
+   * evaluates what it loads wherever the call is written.
+   */
+  readonly eager: boolean;
+}
+
+/** Whether one node is a call that may load a module by a computed path. */
+export function isLoadCall(node: Node): node is CallExpression {
+  if (!isCallExpression(node)) {
+    return false;
+  }
+  return (
+    node.expression.kind === SyntaxKind.ImportKeyword ||
+    writtenName(node.expression) !== undefined ||
+    isMetaGlob(node)
+  );
+}
+
+/**
+ * The files one `import.meta.glob` call loads, as Vite's `toAbsoluteGlob` reads its globs
+ * (https://vite.dev/guide/features.html#glob-import): `/` against the project root, `./`
+ * and `../` against a literal `base` (read against the root where it starts with `/`) or the
+ * calling file's directory, `**` as written, and `!` removing what it matches. Undefined
+ * where Vite reads a glob through an alias, the root is unknown, or a glob or base is computed.
+ */
+function globbed(
+  file: SourceFile,
+  first: Node,
+  options: Node | undefined,
+  others: readonly Loadable[],
+  rootOf: (fileName: string) => string | undefined,
+): readonly Loadable[] | undefined {
+  const patterns = textsOf(writtenValue(first), true);
+  const bases = globOption(options, "base");
+  const [written, ...more] = bases ?? [];
+  const base = written === undefined ? undefined : textsOf(written, false);
+  if (
+    patterns === undefined ||
+    bases === undefined ||
+    more.length > 0 ||
+    (written !== undefined && base === undefined)
+  ) {
+    return undefined;
+  }
+  const dir = dirnamePath(file.fileName);
+  const root = (): string | undefined => rootOf(file.fileName);
+  const against = (at: string): string | undefined => {
+    if (!at.startsWith("/")) {
+      return resolvePath(dir, at);
+    }
+    const top = root();
+    return top === undefined ? undefined : resolvePath(top, `.${at}`);
+  };
+  const from = base?.[0] === undefined ? dir : against(base[0]);
+  const keep: RegExp[] = [];
+  const drop: RegExp[] = [];
+  for (const written of patterns) {
+    const negated = written.startsWith("!");
+    const pattern = negated ? written.slice(1) : written;
+    let path: string | undefined;
+    if (pattern.startsWith("/")) {
+      path = against(pattern);
+    } else if (pattern.startsWith("./") || pattern.startsWith("../")) {
+      path = from === undefined ? undefined : resolvePath(from, pattern);
+    } else if (pattern.startsWith("**")) {
+      path = pattern;
+    }
+    if (path === undefined) {
+      return undefined;
+    }
+    (negated ? drop : keep).push(globExpression(path));
+  }
+  return others.filter(
+    (candidate) =>
+      keep.some((glob) => glob.test(candidate.file.fileName)) &&
+      !drop.some((glob) => glob.test(candidate.file.fileName)),
+  );
+}
+
+/**
+ * The computed loads among one file's load calls, each loading the `candidates` but the
+ * file itself: an `import()` or `require()` whose path starts with a relative literal naming
+ * a directory below the file's loads every candidate below it, as a bundler's context module
+ * reads it, and an `import.meta.glob` every candidate its globs match ({@link globbed}). A
+ * call of a computed path that names no such directory and no package is an unresolved load.
+ */
+export function computedLoadsOf(
+  file: SourceFile,
+  calls: readonly LoadCall[],
+  candidates: readonly Loadable[],
+  rootOf: (fileName: string) => string | undefined,
+): readonly ComputedLoad[] {
+  const dir = dirnamePath(file.fileName);
+  const others = candidates.filter((candidate) => candidate.file !== file);
+  return calls.flatMap(({ call, from }): ComputedLoad[] => {
+    const [first, options] = call.arguments;
+    if (first === undefined) {
+      return [];
+    }
+    if (isMetaGlob(call)) {
+      const files = globbed(file, first, options, others, rootOf);
+      const asset = readsAsAsset(options);
+      return [
+        {
+          call,
+          from,
+          require: undefined,
+          files: files ?? [],
+          resolved: files !== undefined,
+          asset,
+          eager: isEager(options),
+        },
+      ];
+    }
+    const argument = unwrapped(first);
+    const require =
+      call.expression.kind === SyntaxKind.ImportKeyword ? undefined : writtenName(call.expression);
+    if (!mayNamePath(argument)) {
+      return [];
+    }
+    const prefix = leadingLiteral(argument);
+    if (namesPackage(prefix)) {
+      return [];
+    }
+    const target = prefix === undefined ? undefined : computedLoadDirectory(dir, prefix);
+    const files =
+      target === undefined
+        ? []
+        : others.filter((candidate) => relativePath(target, candidate.file.fileName) !== undefined);
+    return [
+      { call, from, require, files, resolved: target !== undefined, asset: false, eager: false },
+    ];
+  });
+}
+
+/**
+ * Whether a computed argument may be a module path: anything but a string, which names its
+ * module, and a value no path is, a number, a boolean, `null`, an object, an array, a
+ * function or a class.
+ */
+function mayNamePath(argument: Node): boolean {
+  return !NO_PATH.has(argument.kind);
+}
+
+const NO_PATH: ReadonlySet<SyntaxKind> = new Set([
+  SyntaxKind.StringLiteral,
+  SyntaxKind.NoSubstitutionTemplateLiteral,
+  SyntaxKind.NumericLiteral,
+  SyntaxKind.BigIntLiteral,
+  SyntaxKind.TrueKeyword,
+  SyntaxKind.FalseKeyword,
+  SyntaxKind.NullKeyword,
+  SyntaxKind.ObjectLiteralExpression,
+  SyntaxKind.ArrayLiteralExpression,
+  SyntaxKind.ArrowFunction,
+  SyntaxKind.FunctionExpression,
+  SyntaxKind.ClassExpression,
+  SyntaxKind.RegularExpressionLiteral,
+]);
+
+/** Whether one call is `import.meta.glob(...)`. */
+function isMetaGlob(node: CallExpression): boolean {
+  if (!isPropertyAccessExpression(node.expression)) {
+    return false;
+  }
+  const { expression, name } = node.expression;
+  return (
+    isIdentifier(name) &&
+    name.text === "glob" &&
+    isMetaProperty(expression) &&
+    expression.keywordToken === SyntaxKind.ImportKeyword
+  );
+}
+
+/** The values the options of an `import.meta.glob` write for one key, undefined where a spread may hide one. */
+function globOption(options: Node | undefined, key: string): readonly Value[] | undefined {
+  return options === undefined ? [] : membersNamed(writtenValue(options), key);
+}
+
+/** Whether the options of an `import.meta.glob` set `eager` to `true`. */
+function isEager(options: Node | undefined): boolean {
+  return (
+    globOption(options, "eager")?.some((value) => value.kind === "boolean" && value.value) === true
+  );
+}
+
+/** The query parameters that make Vite load a file as its text or its URL, each written bare. */
+const ASSET_QUERY = /(?:^\?|&)(?:raw|url|inline)(?:&|$)/u;
+
+/**
+ * Whether the options of an `import.meta.glob` read each file as text or as a URL: a
+ * `query` string holding a bare `raw`, `url` or `inline`, or an `as` of `raw` or `url`,
+ * which Vite reads as that query (https://vite.dev/guide/features.html#glob-import). Any
+ * other query is read as loading the module, which keeps more than it may.
+ */
+function readsAsAsset(options: Node | undefined): boolean {
+  const texts = (key: string): readonly string[] =>
+    (globOption(options, key) ?? []).flatMap((value) =>
+      value.kind === "text" ? [value.text] : [],
+    );
+  return (
+    texts("as").some((text) => text === "raw" || text === "url") ||
+    texts("query").some((text) => ASSET_QUERY.test(text.startsWith("?") ? text : `?${text}`))
+  );
+}
+
+/** Whether a computed path's leading literal names a package, whose files are none of the target's. */
+function namesPackage(prefix: string | undefined): boolean {
+  return (
+    prefix !== undefined &&
+    prefix !== "" &&
+    !prefix.startsWith(".") &&
+    !prefix.startsWith("/") &&
+    !/^[A-Za-z][A-Za-z\d+.-]*:/u.test(prefix)
+  );
+}

package/src/serialization-contract.ts

@@ -72,7 +72,7 @@ import {
   namesADeclaration,
   resolveEntries,
   spelledEntry,
-} from "./configured-declarations.ts";
+} from "./roots/configured-declarations.ts";
 import type { DetectorInput, Evidence } from "./exempt.ts";
 import { nodeKey, type Inventory } from "./inventory.ts";
 import { renderPosition, type Position } from "./position.ts";

package/src/session.ts

@@ -13,7 +13,7 @@ import type {
   Symbol as TSSymbol,
   TimingInfo,
 } from "@typescript/native/sync";
-import type { Node, SourceFile } from "@typescript/native/ast";
+import type { Node, SourceFile, StringLiteralLikeNode } from "@typescript/native/ast";
 import { componentLayer, mapperManifest } from "./component-layer.ts";
 import type { Host, TemporaryDirectory } from "./host.ts";
 import { joinPath } from "./paths.ts";
@@ -242,6 +242,11 @@ export interface ProjectView<Brand> {
    * file it is in.
    */
   ownPaths(): ReadonlySet<string>;
+  /**
+   * The file the compiler's module resolution names for each module specifier of this
+   * project's files, in order, or `undefined` where it names none.
+   */
+  resolvedFileNames(specifiers: readonly StringLiteralLikeNode[]): (string | undefined)[];
   /** A handle to one node of this project's program. */
   handle(node: Node): Handle<Brand>;
   /**
@@ -347,6 +352,17 @@ function viewOf<Brand>(
       ownKeys ??= new Set(ownSourceFiles().map((file) => file.path));
       return ownKeys;
     },
+    resolvedFileNames: (specifiers) =>
+      batched(engine, specifiers, (node) =>
+        project.program.getResolvedModuleFromModuleSpecifier.gen(
+          node,
+          node.getSourceFile().fileName,
+        ),
+      ).map((resolved) =>
+        resolved === undefined || resolved.resolvedFileName === ""
+          ? undefined
+          : resolved.resolvedFileName,
+      ),
     handle: (node) => ({ node }),
     symbolsAt: (handles, cap) =>
       queries.symbolsAt(

package/src/source-files.ts

@@ -8,6 +8,7 @@ import type { SourceFile } from "@typescript/native/ast";
 import { commonDirectory, emittedFrom } from "./load/emit-map.ts";
 import { dirnamePath, joinPath, relativePath, resolvePath } from "./paths.ts";
 import type { ProjectView } from "./session.ts";
+import { OUTPUT_EXTENSIONS } from "./extensions.ts";
 
 /** The one character a subpath pattern of a manifest's `exports` holds. */
 const SUBPATH_WILDCARD = "*";
@@ -15,9 +16,6 @@ const SUBPATH_WILDCARD = "*";
 /** The extension a source file's name drops when the project writes it out. */
 const SOURCE_EXTENSION = /\.[cm]?[jt]sx?$/u;
 
-/** The extensions the project may write a source file's output under. */
-const OUTPUT_EXTENSIONS = [".js", ".mjs", ".cjs", ".jsx", ".d.ts", ".d.mts", ".d.cts"] as const;
-
 /**
  * Whether one path is what a subpath pattern stands for: the text before the
  * wildcard, any run of characters including the solidus, then the text after it.
@@ -90,13 +88,10 @@ function layoutOf<Brand>(
 }
 
 /**
- * The lookups over one project's own files.
- *
- * A path that names an emitted file is read back to the source the project would
- * emit it from through the project's own emit mapping and nothing else: the
- * extension is one the compiler emits from a source extension, and a path below the
- * output directory is read below the directory the compiler emits from, which the
- * configuration declares or which is the directory every input file shares.
+ * The lookups over one project's own files. A path naming an emitted file is read back to its
+ * source through the project's own emit mapping alone: the extension is one the compiler emits
+ * from a source extension, and a path below the output directory is read below the directory
+ * the compiler emits from, which the configuration declares or every input file shares.
  */
 export function sourceFilesOf<Brand>(project: ProjectView<Brand>, targetRoot: string): SourceFiles {
   const byName = new Map<string, SourceFile>();

package/src/suppress-inline.ts

@@ -5,18 +5,21 @@
  */
 
 import { CODE } from "./contract/contract.generated.ts";
-import {
-  isConstructorDeclaration,
-  SyntaxKind,
-  type Node,
-  type SourceFile,
-} from "@typescript/native/ast";
+import { SyntaxKind, type Node, type SourceFile } from "@typescript/native/ast";
 import { importBindings } from "./import-bindings.ts";
-import { isParameterProperty, nodeKey, type Inventory } from "./inventory.ts";
-import { byPosition, positionKey, renderPosition, type Position } from "./position.ts";
+import { nodeKey, type Inventory } from "./inventory.ts";
+import { relativePath } from "./paths.ts";
+import {
+  byPosition,
+  lineEnd,
+  positionKey,
+  renderPosition,
+  startLine,
+  tokenStart,
+  type Position,
+} from "./position.ts";
 import { importRef } from "./ref.ts";
 import type { ProjectView } from "./session.ts";
-import { signatureOf } from "./signatures.ts";
 import {
   isPartKind,
   SuppressionError,
@@ -88,43 +91,6 @@ const LITERALS: ReadonlySet<SyntaxKind> = new Set([
   SyntaxKind.JsxText,
 ]);
 
-/** Whether one character ends a line, under the language's line terminators. */
-function endsLine(char: string | undefined): boolean {
-  return char === "\n" || char === "\r" || char === "\u2028" || char === "\u2029";
-}
-
-/** The offset where the line holding `from` ends. */
-function lineEnd(text: string, from: number): number {
-  let at = from;
-  while (at < text.length && !endsLine(text[at])) {
-    at += 1;
-  }
-  return at;
-}
-
-/**
- * The offset of the first token at or after `from`: whitespace, comments and a leading
- * hashbang are trivia.
- */
-export function tokenStart(text: string, from: number): number {
-  let at = from;
-  if (at === 0 && text.startsWith("#!")) {
-    at = lineEnd(text, 0);
-  }
-  for (;;) {
-    if (/\s/u.test(text[at] ?? "")) {
-      at += 1;
-    } else if (text.startsWith("//", at)) {
-      at = lineEnd(text, at);
-    } else if (text.startsWith("/*", at)) {
-      const close = text.indexOf("*/", at + 2);
-      at = close < 0 ? text.length : close + 2;
-    } else {
-      return at;
-    }
-  }
-}
-
 /**
  * Every `//` line comment of one file, in file order. The text between tokens is read as
  * the language reads it: a block comment holds no line comment, and the literal tokens the
@@ -191,63 +157,59 @@ function bindingKey(one: Binding): string {
   return `${one.declared?.id ?? ""}\u0000${one.part.id}`;
 }
 
+/** One declaration the inventory places, the declaration that holds its parts, and its lines. */
+interface Placed {
+  readonly one: Declared;
+  readonly holder: Declared;
+  readonly startLines: readonly number[];
+  readonly partLines: readonly number[];
+}
+
+/** The placed declarations of a project by the path of the file each is in. */
+function placedByPath(
+  held: Inventory,
+  symbols: ReadonlyMap<string, Declared>,
+): ReadonlyMap<string, readonly Placed[]> {
+  const byPath = new Map<string, Placed[]>();
+  for (const [id, placed] of held.placement) {
+    const one = symbols.get(id);
+    const holder = symbols.get(placed.holder);
+    if (one === undefined || holder === undefined) {
+      continue;
+    }
+    const at = byPath.get(one.position.path) ?? [];
+    at.push({ one, holder, startLines: placed.startLines, partLines: placed.partLines });
+    byPath.set(one.position.path, at);
+  }
+  return byPath;
+}
+
 /**
- * The declarations of one file by the line each begins on, the line of its first token: a
- * decorator, a modifier or the keyword. A variable's first token is its statement's
- * keyword, and a variable written on a later line of the statement also begins there. A
- * function also begins, for a directive, on the line of each of its parameters, and a
- * class, for a part kind, on the lines of its constructor and its constructor's parameters.
+ * The declarations of one file by the line a directive binds each on, as the inventory
+ * places them, and each import binding of the file on its statement's lines.
  */
 function declarationLines(
   file: SourceFile,
+  placed: readonly Placed[],
   held: Inventory,
-  symbols: ReadonlyMap<string, Declared>,
   targetRoot: string,
 ): ReadonlyMap<number, readonly Binding[]> {
   const below = new Map<number, Binding[]>();
-  const add = (offset: number, one: Binding): void => {
-    const line = file.getLineAndCharacterOfPosition(tokenStart(file.text, offset)).line + 1;
+  const add = (line: number, one: Binding): void => {
     const at = below.get(line) ?? [];
     if (!at.some((known) => bindingKey(known) === bindingKey(one))) {
       at.push(one);
     }
     below.set(line, at);
   };
-  const declaredAt = (node: Node): Declared | undefined => {
-    const id = held.declarations.get(nodeKey(file, node));
-    return id === undefined ? undefined : symbols.get(id);
-  };
-  const visit = (node: Node): void => {
-    const one = declaredAt(node);
-    const owner = isConstructorDeclaration(node) ? declaredAt(node.parent) : undefined;
-    if (owner !== undefined && isConstructorDeclaration(node)) {
-      for (const at of [node, ...node.parameters.filter((one) => !isParameterProperty(one))]) {
-        add(at.pos, { declared: undefined, part: owner });
-      }
+  for (const { one, holder, startLines, partLines } of placed) {
+    for (const line of startLines) {
+      add(line, { declared: one, part: holder });
     }
-    const holder =
-      one !== undefined && isParameterProperty(node) ? declaredAt(node.parent.parent) : one;
-    if (one !== undefined && holder !== undefined) {
-      add(node.pos, { declared: one, part: holder });
-    }
-    if (one !== undefined) {
-      // A parameter on a later line of a wrapped signature takes its directive on the
-      // line above it, inside the parameter list, and the directive binds the function.
-      for (const parameter of signatureOf(node)?.parameters ?? []) {
-        add(parameter.pos, { declared: one, part: one });
-      }
-      const list = node.parent;
-      if (
-        node.kind === SyntaxKind.VariableDeclaration &&
-        list.kind === SyntaxKind.VariableDeclarationList &&
-        list.parent.kind === SyntaxKind.VariableStatement
-      ) {
-        add(list.parent.pos, { declared: one, part: one });
-      }
+    for (const line of partLines) {
+      add(line, { declared: undefined, part: one });
     }
-    node.forEachChild(visit);
-  };
-  file.forEachChild(visit);
+  }
   // An import binding is a subject of its own, bound on its line as a declaration is.
   const fileId = held.declarations.get(nodeKey(file, file));
   const moduleRef = held.symbols.find((symbol) => symbol.id === fileId)?.ref ?? "";
@@ -259,7 +221,7 @@ function declarationLines(
       statement = statement.parent;
     }
     for (const at of [statement.pos, name.getStart()]) {
-      add(at, { declared: one, part: one });
+      add(startLine(file, at), { declared: one, part: one });
     }
   }
   return below;
@@ -296,13 +258,15 @@ export function inlineDirectives<Brand>(
       .filter((symbol) => symbol.kind !== "file")
       .map((symbol) => [symbol.id, { id: symbol.id, ref: symbol.ref, position: symbol.position }]),
   );
+  const placed = placedByPath(held, symbols);
   const found: InlineDirective[] = [];
   for (const file of project.ownSourceFiles()) {
     const comments = lineComments(file).filter((comment) => CANDIDATE.test(comment.text));
     if (comments.length === 0) {
       continue;
     }
-    const below = declarationLines(file, held, symbols, targetRoot);
+    const path = relativePath(targetRoot, file.fileName) ?? "";
+    const below = declarationLines(file, placed.get(path) ?? [], held, targetRoot);
     for (const comment of comments) {
       const site = renderPosition(file, targetRoot, comment.offset);
       const target = trails(file, comment.offset) ? site.line : site.line + 1;