@cplieger/deadset-ts 1.2.0 → 2.1.0

package/src/session.ts

@@ -10,8 +10,8 @@ import type {
   Symbol as TSSymbol,
   TimingInfo,
 } from "@typescript/native/unstable/sync";
-import { SyntaxKind } from "@typescript/native/unstable/ast";
-import type { Identifier, Node, SourceFile } from "@typescript/native/unstable/ast";
+import { isIdentifier } from "@typescript/native/unstable/ast";
+import type { Node, SourceFile } from "@typescript/native/unstable/ast";
 
 /**
  * The compiler the analysis reads through. It is a client over a protocol to a
@@ -102,6 +102,25 @@ export interface ProjectView<Brand> {
    * resolve.
    */
   symbolsAt(handles: readonly Handle<Brand>[]): readonly (TSSymbol | undefined)[];
+  /**
+   * The symbol one node resolves to, asked for that node alone. The accessor behind
+   * it takes one identifier and offers no array overload, so it is one round trip per
+   * node and it answers only for the residue a batch left unresolved. A node that is
+   * not an identifier has no such answer.
+   */
+  resolvedSymbolAt(handle: Handle<Brand>): TSSymbol | undefined;
+  /**
+   * The symbol the value of one shorthand property assignment names, which is the
+   * declaration `{ a }` reads; the symbol the property's own name resolves to is the
+   * property the literal declares. The handle names the assignment, not its name.
+   */
+  shorthandValueAt(handle: Handle<Brand>): TSSymbol | undefined;
+  /**
+   * The symbol one alias names, one link along: an import or export specifier
+   * resolves to the declaration it carries forward, or to the next alias of a chain.
+   * `undefined` where the symbol is no alias, or where the alias resolves to nothing.
+   */
+  aliasStepOf(symbol: TSSymbol): TSSymbol | undefined;
   /**
    * The node one symbol's declaration handle names, read in this project's program,
    * or `undefined` where this project's program does not hold that file.
@@ -122,30 +141,18 @@ export interface ProjectView<Brand> {
  */
 export type ProjectVisitor<Result> = <Brand>(project: ProjectView<Brand>) => Result;
 
-/**
- * The identifiers of one source file, in source order. A file is the unit a batch
- * resolves: the walk is local to this process and the resolution is not, so one
- * file's identifiers are gathered here and handed to the checker together.
- */
-export function identifiersOf(file: SourceFile): Identifier[] {
-  const found: Identifier[] = [];
-  const visit = (node: Node): void => {
-    if (node.kind === SyntaxKind.Identifier) {
-      found.push(node as Identifier);
-    }
-    node.forEachChild(visit);
-  };
-  file.forEachChild(visit);
-  return found;
-}
-
 function viewOf<Brand>(project: Project): ProjectView<Brand> {
+  // The snapshot is never updated, so a project's own file set is the same answer
+  // every time it is asked for. It is read once because the question is not free:
+  // deciding it consults the metadata of every file the program holds, the compiler's
+  // own library files included, and a run asks for the set once per pass.
+  let ownFiles: readonly SourceFile[] | undefined;
   return {
     configFile: project.configFileName,
     program: project.program,
     checker: project.checker,
-    ownSourceFiles: () =>
-      project.program
+    ownSourceFiles: () => {
+      ownFiles ??= project.program
         .getSourceFileNames()
         // The metadata decides which files belong to the target, and it is read by
         // name. Fetching each file first and filtering afterwards costs one round
@@ -158,9 +165,21 @@ function viewOf<Brand>(project: Project): ProjectView<Brand> {
           );
         })
         .map((name) => project.program.getSourceFile(name))
-        .filter((file): file is SourceFile => file !== undefined),
+        .filter((file): file is SourceFile => file !== undefined);
+      return ownFiles;
+    },
     handle: (node) => ({ node }),
     symbolsAt: (handles) => project.checker.getSymbolAtLocation(handles.map(({ node }) => node)),
+    resolvedSymbolAt: ({ node }) =>
+      isIdentifier(node) ? project.checker.getResolvedSymbol(node) : undefined,
+    shorthandValueAt: ({ node }) => project.checker.getShorthandAssignmentValueSymbol(node),
+    aliasStepOf: (symbol) => {
+      const held = project.checker.getImmediateAliasedSymbol(symbol);
+      // An alias that resolves to nothing answers with the checker's own unknown
+      // symbol, which declares nothing; a symbol that is no alias answers with
+      // nothing at all.
+      return held === undefined || held.declarations.length === 0 ? undefined : held;
+    },
     declarationAt: (handle) => {
       const node = handle.resolve(project);
       return node === undefined ? undefined : { node };

package/src/version.ts

@@ -1,22 +1,7 @@
-import manifest from "../package.json" with { type: "json" };
-
 /**
  * The Contract version this analyzer implements. It is the resolved value of
  * `contract_version` when no configuration source supplies one, and it moves
- * independently of {@link version}.
+ * independently of the analyzer's own version, which is the one the host answers
+ * from the package the analyzer was installed from.
  */
-export const CONTRACT_VERSION = "1.6.0";
-
-/**
- * This analyzer's own version, which the published package carries rather than
- * the source: the release pipeline writes the released version into the manifest
- * of the artifact it publishes, so an installed package reports the release it
- * came from while a checkout reports the version the manifest holds in git.
- *
- * It is one function because a version written in more than one place is two
- * facts that can disagree: the version verb, the report envelope and anything
- * else that names this analyzer read this one.
- */
-export function version(): string {
-  return manifest.version;
-}
+export const CONTRACT_VERSION = "2.0.0";

package/bin/deadset-ts.mjs

@@ -1,24 +0,0 @@
-#!/usr/bin/env node
-// Node refuses to strip types from a .ts file under node_modules, so the
-// TypeScript entry cannot start from an install. A load hook scoped to this
-// package's own files supplies the stripped source instead.
-// https://nodejs.org/api/typescript.html#type-stripping-in-dependencies
-import { readFileSync } from "node:fs";
-import { registerHooks, stripTypeScriptTypes } from "node:module";
-
-const packageRoot = new URL("../", import.meta.url).href;
-
-registerHooks({
-  load(url, context, nextLoad) {
-    if (!url.startsWith(packageRoot) || !url.endsWith(".ts")) {
-      return nextLoad(url, context);
-    }
-    return {
-      format: "module",
-      source: stripTypeScriptTypes(readFileSync(new URL(url), "utf8")),
-      shortCircuit: true,
-    };
-  },
-});
-
-await import("./deadset-ts.ts");

package/bin/node-host.ts

@@ -1,28 +0,0 @@
-import { readdirSync, readFileSync, statSync } from "node:fs";
-import type { DirectoryEntry, Host, PathKind } from "../src/host.ts";
-
-/**
- * The filesystem of the platform the command runs on.
- *
- * It is the one module that names the platform: everything the analysis is made of
- * takes the filesystem as a parameter, so a consumer compiling the published
- * sources needs the compiler's types and nothing else.
- */
-export function nodeHost(): Host {
-  return {
-    workingDirectory: () => process.cwd(),
-    readFile: (path) => readFileSync(path, "utf8"),
-    readDirectory: (path): readonly DirectoryEntry[] =>
-      readdirSync(path, { withFileTypes: true }).map((entry) => ({
-        name: entry.name,
-        directory: entry.isDirectory(),
-      })),
-    kindOf: (path): PathKind => {
-      const stat = statSync(path, { throwIfNoEntry: false });
-      if (stat === undefined) {
-        return "absent";
-      }
-      return stat.isDirectory() ? "directory" : "file";
-    },
-  };
-}