@cplieger/deadset-ts 6.1.1-dev.1 → 7.0.0-dev.2

package/src/analysis.ts

@@ -62,11 +62,7 @@ import { globExpression } from "./glob.ts";
 import type { Finding } from "./finding.ts";
 import { findingsPass, recordedFindings, rowKey, type PassResult } from "./findings-pass.ts";
 import type { EmitterInput } from "./findings/emitter.ts";
-import {
-  NO_SELF_CHECK,
-  unmatchedRootFindings,
-  type SelfCheckFacts,
-} from "./findings/self-check.ts";
+import { unmatchedRootFindings, type SelfCheckFacts } from "./findings/self-check.ts";
 import { frameworkLifecycle } from "./framework-lifecycle.ts";
 import type { Host } from "./host.ts";
 import { implementations, mergeImplementations } from "./implementations.ts";
@@ -84,7 +80,7 @@ import {
   type Matrix,
   type SweepResult,
 } from "./matrix.ts";
-import { joinPath, normalizePath, relativePath, resolvePath } from "./paths.ts";
+import { dirnamePath, joinPath, normalizePath, relativePath, resolvePath } from "./paths.ts";
 import type { UnansweredQuestion } from "./query.ts";
 import { byPosition, isComponentFile, type Position } from "./position.ts";
 import type { TypeErrorSkip, UnansweredCount } from "./report.ts";
@@ -102,6 +98,7 @@ import { roots, unmatchedEverywhere, type RootKind, type Roots } from "./roots.t
 import type { Scope } from "./scope.ts";
 import { serializationContract } from "./serialization-contract.ts";
 import { outsideTestReferences, testFilesAt, type OutsideTest } from "./outside-tests.ts";
+import { joinedTestFiles, withJoinedTests } from "./test-joins.ts";
 import { supportReferences, testSupportFiles } from "./test-support.ts";
 import { diagnosticsOf, ownedAs, runSession, type Engine, type ProjectView } from "./session.ts";
 import { accessorsOf, storesOf } from "./stores.ts";
@@ -193,6 +190,8 @@ interface ProjectRead {
   readonly skipped: readonly SkippedUnit[];
   /** The project's generated files, by path below the target root, each with the detail its retentions name. */
   readonly generated: ReadonlyMap<string, string>;
+  /** The files, absolute, an applied convention row names as test files. */
+  readonly testFileNames: ReadonlySet<string>;
 }
 
 /** One target project the run analyzes, as its stage is handed it. */
@@ -308,6 +307,9 @@ function readProjects<Answer>(
     testFiles: config.ts.testFiles,
     parse: (fileName: string, text: string) => engine.parseSourceFile(fileName, text),
     publishedAPI: config.targetKind === "library",
+    publishedMembers: new Set(
+      (workspace?.entries ?? []).filter((entry) => entry.published).map((entry) => entry.dir),
+    ),
   };
   const notBuilt: NotBuilt[] = [...discovered.notBuilt];
   const dropped = (configFile: string, error: string): void => {
@@ -332,6 +334,10 @@ function readProjects<Answer>(
       unbuildable.push(...met);
     }
   };
+  const testPatterns = config.ts.testFiles.map(globExpression);
+  const joins = discovered.derived
+    ? joinedTestFiles(engine, host, absoluteRoot, discovered.configFiles, testPatterns)
+    : new Map<string, readonly string[]>();
   const session = runSession(
     engine,
     [...discovered.configFiles, ...consumerOf.keys()],
@@ -452,6 +458,7 @@ function readProjects<Answer>(
             .filter((file) => referenceOnly(file.fileName))
             .flatMap((file) => relativePath(absoluteRoot, file.fileName) ?? []),
           generated: generatedFilesOf(own, generatedFiles(conventions, own)),
+          testFileNames: conventions.testFiles,
         };
       };
       for (const file of project.ownSourceFiles()) {
@@ -460,14 +467,15 @@ function readProjects<Answer>(
       return stage(project, { configuration, read });
     },
     discovered.derived ? "record" : "refuse",
-    workspace?.programs,
+    joins.size === 0
+      ? workspace?.programs
+      : withJoinedTests(engine, host, workspace?.programs ?? new Map(), joins),
     () => {
-      const patterns = config.ts.testFiles.map(globExpression);
       outsideTests = testFilesAt(
         host,
         targetRoot,
         sourcePaths(host, targetRoot).filter(
-          (path) => !heldFiles.has(path) && patterns.some((pattern) => pattern.test(path)),
+          (path) => !heldFiles.has(path) && testPatterns.some((pattern) => pattern.test(path)),
         ),
         options.parse,
       );
@@ -640,7 +648,7 @@ export interface ComponentWarning {
 }
 
 /** The exemption classes this analyzer detects, each by its detector; any other retains nothing. */
-const DETECTORS: Detectors = new Map<TSExemptionClass, Detector>([
+export const DETECTORS: Detectors = new Map<TSExemptionClass, Detector>([
   ["interface-satisfaction", interfaceSatisfaction],
   ["enum-group", enumGroup],
   ["generated-file", generatedFile],
@@ -730,6 +738,7 @@ function readRun<Extra>(
     const projectRead = opened.read();
     const resolved = references(project, projectRead.held, targetRoot, {
       testFiles: config.ts.testFiles,
+      testFileNames: projectRead.testFileNames,
     });
     const evidence = evidenceRecords(
       {
@@ -790,7 +799,6 @@ function readRun<Extra>(
     const { projectRead } = one;
     const satisfied = settled[index];
     const detected = heldRecords(satisfied?.evidence ?? one.evidence, {
-      disabled,
       mode,
       testFiles: new Set([...one.testFiles, ...support]),
     });
@@ -1040,7 +1048,7 @@ interface EmitterExtra {
 }
 
 /** Reads a run's projects with every per-project fact an emitter reads. */
-function readEmitterRun(
+export function readEmitterRun(
   engine: Engine,
   host: Host,
   scope: Scope,
@@ -1082,34 +1090,51 @@ function readEmitterRun(
 }
 
 /**
- * The workspace members whose manifest the run reads whole enough to judge its
- * dependencies: a built project holds a file below the member's directory, and no derived
- * configuration at or below it was dropped. A file no built project holds may import any
- * dependency the member declares.
+ * The workspace members whose dependencies the run judges: `read` holds those a built
+ * project holds a file below, `unbuilt` the others whose own directory, the nearest
+ * manifest's above the configuration, holds a configuration the run could not build. A
+ * member no configuration holds a file of is in neither.
  */
-function membersWhollyRead(
+function judgedMembers(
   host: Host,
   targetRoot: string,
   read: ReadRun<EmitterExtra>,
-): readonly string[] {
+): { readonly read: readonly string[]; readonly unbuilt: readonly string[] } {
   const root = resolvePath(host.workingDirectory(), targetRoot);
   const held = new Set(read.matrix.union.symbols.map((symbol) => symbol.position.path));
-  const dropped = read.notBuilt.map((one) => relativePath(root, one.configFile) ?? "");
-  return read.memberDirs.filter((dir) => {
+  const owners = new Set(
+    read.notBuilt.map((one) => nearestManifestDir(host, root, one.configFile)),
+  );
+  const judged = { read: [] as string[], unbuilt: [] as string[] };
+  for (const dir of read.memberDirs) {
     const below = relativePath(root, dir);
     if (below === undefined) {
-      return false;
+      continue;
     }
-    const inside = (path: string): boolean => path.startsWith(`${below}/`);
-    return [...held].some(inside) && !dropped.some(inside);
-  });
+    if ([...held].some((path) => path.startsWith(`${below}/`))) {
+      judged.read.push(dir);
+    } else if (owners.has(dir)) {
+      judged.unbuilt.push(dir);
+    }
+  }
+  return judged;
+}
+
+/** The directory of the nearest `package.json` at or above a file, inside `root`, else `root`. */
+function nearestManifestDir(host: Host, root: string, file: string): string {
+  for (let dir = dirnamePath(file); relativePath(root, dir) !== undefined; dir = dirnamePath(dir)) {
+    if (host.kindOf(joinPath(dir, "package.json")) === "file") {
+      return dir;
+    }
+  }
+  return root;
 }
 
 /**
  * The input every emitter reads over one sweep of a read run: the facts beside the sweep
  * each kind family reads, every per-project one read in the same session as the sweep.
  */
-function emitterInputOver(
+export function emitterInputOver(
   host: Host,
   scope: Scope,
   config: Config,
@@ -1120,6 +1145,7 @@ function emitterInputOver(
   const targetRoot = scope.target.path;
   const swept = sweptOf(read, input);
   const { projects } = read;
+  const members = judgedMembers(host, targetRoot, read);
   return {
     config,
     swept,
@@ -1137,7 +1163,8 @@ function emitterInputOver(
       targetRoot,
       [...projects.map((one) => one.extra.needs), configurationNeeds(read.conventionUses)],
       swept.sweep.candidates.map((candidate) => candidate.id),
-      membersWhollyRead(host, targetRoot, read),
+      members.read,
+      members.unbuilt,
     ),
     implementations: mergeImplementations(projects.map((one) => one.extra.implementations)),
     files: {
@@ -1162,25 +1189,6 @@ function emitterInputOver(
   };
 }
 
-/**
- * What every emitter reads of the run the scope and the configuration describe, swept
- * under the caller's marks: the run's sweep, the facts beside it each kind family reads,
- * and the sides of the target's declared cross-language edges that name a symbol of this
- * language. The run reads no suppression document, so the self-check family has nothing
- * to report.
- */
-export function runEmitterInput(
-  engine: Engine,
-  host: Host,
-  scope: Scope,
-  config: Config,
-  input: Pick<SweepInput, "marked" | "mode">,
-  detectors: Detectors = DETECTORS,
-): EmitterInput {
-  const read = readEmitterRun(engine, host, scope, config, input.mode, detectors);
-  return emitterInputOver(host, scope, config, read, input, NO_SELF_CHECK);
-}
-
 /** One run read for its findings: the input swept with and without its suppressions' marks. */
 export interface AnalysisInputs {
   /** The run swept under the marks of every bound suppression record. */
@@ -1310,7 +1318,7 @@ export interface RunProject {
 }
 
 /** What a report states about the run beside its findings. */
-export interface RunFacts {
+interface RunFacts {
   /** The projects the run analyzed, in the run's order. */
   readonly projects: readonly RunProject[];
   /** The rules that classified files as test files, each counted over every project at once. */
@@ -1332,7 +1340,7 @@ export interface RunFacts {
 }
 
 /** One configuration whose component files a run cannot read. */
-export interface ComponentsUnread {
+interface ComponentsUnread {
   readonly configFile: string;
   readonly reason: string;
 }

package/src/calls.ts

@@ -30,7 +30,7 @@ import { must } from "./query.ts";
 import type { ProjectView } from "./session.ts";
 
 /** One value written where a call passes it, and the node its declaration is resolved from. */
-export interface PassedValue {
+interface PassedValue {
   /** Where the value is written, which is where a record of it sits. */
   readonly site: Node;
   /** The name the value is resolved through, or the shorthand assignment that holds it. */
@@ -39,7 +39,7 @@ export interface PassedValue {
 }
 
 /** One class of the target a call passes or a decorator is attached to, and where. */
-export interface ClassUse {
+interface ClassUse {
   /** The inventory's identifier of the class. */
   readonly id: string;
   readonly site: Node;
@@ -182,7 +182,7 @@ export function classesPassed<Brand>(
 }
 
 /** One class declaration of the target and the decorators written on it. */
-export interface DecoratedClass {
+interface DecoratedClass {
   readonly id: string;
   readonly decorators: readonly Decorator[];
 }

package/src/component-files.ts

@@ -7,10 +7,10 @@
  */
 
 /** The language one block is written in, as the module's virtual extension spells it. */
-export type BlockLanguage = "ts" | "tsx" | "js" | "jsx";
+type BlockLanguage = "ts" | "tsx" | "js" | "jsx";
 
 /** One block the module holds, the frontmatter included. */
-export interface Block {
+interface Block {
   /** The offset the block's markup starts at: the `<` of its start tag, or 0 for frontmatter. */
   readonly tagStart: number;
   readonly contentStart: number;
@@ -20,7 +20,7 @@ export interface Block {
 }
 
 /** One file a `<script src>` element names, which the module imports whole. */
-export interface SourceImport {
+interface SourceImport {
   /** The specifier the module imports, relative to the component file. */
   readonly specifier: string;
   /** The offsets of the `src` attribute, name and value. */
@@ -29,14 +29,14 @@ export interface SourceImport {
 }
 
 /** A `<script` start tag beginning a line that the module holds no block for. */
-export interface ComponentWarning {
+interface ComponentWarning {
   /** The offset of the tag's `<`. */
   readonly offset: number;
   readonly reason: string;
 }
 
 /** One run of markup an expression or an attribute value is written in. */
-export interface MarkupAction {
+interface MarkupAction {
   /** The offset of the run's first code unit. */
   readonly start: number;
   readonly text: string;
@@ -45,7 +45,7 @@ export interface MarkupAction {
 }
 
 /** What one component file's text is read as. */
-export interface ComponentFile {
+interface ComponentFile {
   readonly blocks: readonly Block[];
   readonly imports: readonly SourceImport[];
   readonly warnings: readonly ComponentWarning[];
@@ -54,7 +54,7 @@ export interface ComponentFile {
 }
 
 /** The module the compiler reads in place of one component file. */
-export interface ComponentModule {
+interface ComponentModule {
   /** The module's text: the file's length, then what the module appends. */
   readonly text: string;
   /** The virtual extension: the strongest language any block names, `.ts` for none. */

package/src/component-layer.ts

@@ -11,10 +11,10 @@ import type { Host } from "./host.ts";
 import { dirnamePath, joinPath } from "./paths.ts";
 
 /** The name the mapper's manifest declares and every configuration's entry names. */
-export const MAPPER_PACKAGE = "deadset-ts-component-files";
+const MAPPER_PACKAGE = "deadset-ts-component-files";
 
 /** The file system one snapshot is created with. */
-export type SnapshotFileSystem = NonNullable<CreateSnapshotParams["fileSystem"]>;
+type SnapshotFileSystem = NonNullable<CreateSnapshotParams["fileSystem"]>;
 
 /** The manifest of the mapper's package, which runs `command`. */
 export function mapperManifest(command: readonly string[]): string {

package/src/components.ts

@@ -42,7 +42,7 @@ export interface Component {
 }
 
 /** What a report carries for one dead component under one cascade mode. */
-export interface Listing {
+interface Listing {
   readonly roots: readonly string[];
   /** Every member under the full mode, and nothing under the default one. */
   readonly members: readonly string[];

package/src/config.ts

@@ -50,7 +50,7 @@ export type Cascade = "roots" | "full";
  * tags in effect. It is the shape a language built under build constraints reads,
  * and this analyzer leaves it to that analysis.
  */
-export interface PlatformConfiguration {
+interface PlatformConfiguration {
   readonly shape: "platform";
   readonly id: string;
   readonly os: string;
@@ -97,7 +97,7 @@ export interface Analysis {
 }
 
 /** How findings are rendered. */
-export interface Reporters {
+interface Reporters {
   readonly formats: readonly Format[];
   readonly sort: Sort;
   readonly cascade: Cascade;
@@ -154,7 +154,7 @@ export type Provider =
     };
 
 /** The analyzers the orchestrator runs. */
-export interface Providers {
+interface Providers {
   readonly analyzers: readonly Provider[];
 }
 
@@ -293,7 +293,7 @@ export interface Inputs {
 }
 
 /** Which refusal a {@link ConfigError} carries. */
-export type ErrorKind =
+type ErrorKind =
   /**
    * A document that is not one JSON instance of the closed key list: a syntax
    * error, a value of the wrong type, a value outside the closed set a key