test-inventory 0.6.1 → 0.7.0

package/dist/types.d.ts

@@ -38,7 +38,7 @@ export type SettingSource = 'test' | 'suite' | 'file' | 'config';
  * @inline
  */
 export type DiagnosticLevel = 'error' | 'warning';
-export type DiagnosticCode = 'unresolved-test-import' | 'parse-error' | 'read-error' | 'framework-mismatch' | 'unresolved-tag' | 'unresolved-annotation' | 'unresolved-cases' | 'test-in-loop' | 'dynamic-title' | 'duplicate-title' | 'duplicate-id' | 'internal-error' | 'invalid-chain' | 'skip-without-body' | 'test-without-body' | 'describe-not-called' | 'async-describe' | 'nested-test' | 'tag-without-at' | 'removed-api' | 'only-in-skipped-describe' | 'config-may-change-state' | 'undefined-tag' | 'symlink-ignored' | 'invalid-import' | 'globals-not-enabled' | 'unknown-framework-version' | 'unsupported-framework-version' | 'local-test-object' | 'state-in-helper' | 'unresolved-option' | 'dynamic-reason' | 'no-files-matched' | 'unsupported-file' | 'approximate-framework-version' | 'test-in-function' | 'empty-title' | 'bench-outside-benchmark-file' | 'config-value-unknown' | 'file-not-run' | 'forbidden-only' | 'dependency-not-followed';
+export type DiagnosticCode = 'unresolved-test-import' | 'parse-error' | 'read-error' | 'framework-mismatch' | 'unresolved-tag' | 'unresolved-annotation' | 'unresolved-cases' | 'cases-not-expanded' | 'test-in-loop' | 'dynamic-title' | 'duplicate-title' | 'duplicate-id' | 'internal-error' | 'invalid-chain' | 'skip-without-body' | 'test-without-body' | 'describe-not-called' | 'async-describe' | 'nested-test' | 'tag-without-at' | 'removed-api' | 'only-in-skipped-describe' | 'config-may-change-state' | 'undefined-tag' | 'symlink-ignored' | 'invalid-import' | 'globals-not-enabled' | 'unknown-framework-version' | 'unsupported-framework-version' | 'local-test-object' | 'state-in-helper' | 'unresolved-option' | 'dynamic-reason' | 'no-files-matched' | 'unsupported-file' | 'approximate-framework-version' | 'test-in-function' | 'empty-title' | 'bench-outside-benchmark-file' | 'config-value-unknown' | 'file-not-run' | 'forbidden-only' | 'dependency-not-followed';
 export type MetaValue = string | number | boolean | null | MetaValue[] | {
     [key: string]: MetaValue;
 };
@@ -222,6 +222,11 @@ export interface SuiteRecord {
     isShuffled: boolean;
     /** Declared with `.each` or `.for`. */
     isParameterized: boolean;
+    /**
+     * With `expandCases`, which case of its table or pass of its loop the describe is, from 0, as Vitest's `%#` counts;
+     * null without `expandCases`, or when the describe isn't one of several.
+     */
+    caseIndex: Count | null;
     tags: string[];
     annotations: Annotation[];
     /** Playwright only. */
@@ -381,10 +386,17 @@ export interface TestRecord {
     /** Declared with `.each` or `.for`, or inside a describe declared with them, so the runner repeats it. */
     isParameterized: boolean;
     /**
-     * How many times the runner repeats the test: the cases of its own table times those of each describe table around
-     * it. Null when a table is not written out in the file, or the test is not parameterized.
+     * How many times the runner repeats the test: the cases of its own table times those of each describe table and the
+     * passes of each loop around it. Null when the scan can't work out a table or a loop's values, or the test is neither
+     * parameterized nor in a loop.
      */
     caseCount: Count | null;
+    /**
+     * With `expandCases`, which case of its own table, or pass of the innermost loop around it inside its describe, the
+     * test is, from 0, as Vitest's `%#` counts; null without `expandCases`, or when the test isn't one of several. The
+     * case of a describe table or loop around the describe is the describe's `caseIndex`.
+     */
+    caseIndex: Count | null;
     /** Declared inside a loop, `forEach` or `map`. */
     isInLoop: boolean;
     /** Declared inside `if`, `?:`, `&&`, `switch` or a `catch` block. */

package/dist/values.d.ts

@@ -11,6 +11,8 @@ export type Resolved = {
     ok: false;
     importedFrom: string | null;
 };
+/** What another module exports under a name, `default` included, for an import of the file. */
+export type ImportReader = (source: string, name: string) => Resolved;
 /** Whether a value can be used as a property name. */
 export declare function isKey(value: Value): value is string | number;
 export declare function isScopeNode(node: Node): boolean;
@@ -22,6 +24,11 @@ export declare class Values {
     private readonly pending;
     /** The functions being read at one of their calls, innermost last. */
     private readonly calls;
+    private readonly imports;
+    private readonly assigned;
+    private readonly changed;
+    /** Without `imports`, a value imported from another module is not worked out. */
+    constructor(imports?: ImportReader | null);
     /**
      * Runs `read` with a function's parameters bound to the arguments of one call, worked out where the call is, so that
      * titles and values built from them resolve, as in `test(\`${side} rejects a zero quantity\`)` inside
@@ -29,6 +36,18 @@ export declare class Values {
      * takes the parameter's default value, worked out in `scopes`, the scopes around the function.
      */
     withArguments<T>(fn: FunctionNode, args: readonly Resolved[], scopes: readonly Node[], read: () => T): T;
+    /**
+     * Runs `read` with the names a loop declares bound to one of the values it goes over, as in
+     * `for (const [tier, bps] of Object.entries(FEES))`. `declarator` is the loop's variable declarator.
+     */
+    withLoopValue<T>(declarator: Node, pattern: Node, value: Resolved, body: Node, scopes: readonly Node[], read: () => T): T;
+    private assignedIn;
+    private withBound;
+    /**
+     * Binds the names of a parameter or a loop variable to the parts of `value` they take, as destructuring does. A
+     * missing `value`, after a spread argument, leaves them unknown, unless a default gives them one.
+     */
+    private bind;
     /** `scopes` lists the scope nodes around the expression, outermost first. */
     resolve(node: Expression, scopes: readonly Node[]): Resolved;
     /**
@@ -43,12 +62,31 @@ export declare class Values {
     } | null;
     /** The module a name is imported from where it is used; null when it isn't an import. */
     importSource(name: string, scopes: readonly Node[]): string | null;
+    /**
+     * Whether a name refers to a parameter or loop variable bound to a value where it is used: an argument of the helper
+     * call being walked, or a value of the case or pass of an expansion.
+     */
+    isBound(name: string, scopes: readonly Node[]): boolean;
     /** Whether a name refers to a function or class declared in the file. */
     isFunction(name: string, scopes: readonly Node[]): boolean;
     private propertyKey;
-    private resolveName;
+    /**
+     * The calls titles are often built with, all of them pure: `Object.keys()`, `Object.values()`, `Object.entries()`,
+     * `JSON.stringify()` with one argument, `String()`, and a string's `toUpperCase()`, `toLowerCase()` and `trim()` and
+     * an array's `join()`.
+     */
+    private call;
+    /** Whether a name refers to a global, as no scope around the use declares it. */
+    private isGlobal;
+    /** `data.name` where `data` is `import * as data`: what the module exports as `name`; null for any other member. */
+    private namespaceMember;
+    private imported;
+    /** What a name refers to where it is used; `scopes` lists the scope nodes around the use, outermost first. */
+    resolveName(name: string, scopes: readonly Node[]): Resolved;
     /** A parameter of a function read at one of its calls: the argument given there. */
     private resolveParameter;
+    /** Names the module changes while it loads, as in `WATCHED.push('MSFT')`, whose declared value isn't the one used. */
+    private changedAtLoad;
     private resolveConstant;
     private enumMembers;
     private lookup;

package/dist/values.js

@@ -1,4 +1,4 @@
-import { propertyName, unwrap } from "./ast.js";
+import { childNodes, isFunctionNode, propertyName, unwrap } from "./ast.js";
 const UNRESOLVED = { ok: false, importedFrom: null };
 function isPrimitive(value) {
     return typeof value !== 'object' || value === null;
@@ -58,6 +58,13 @@ export class Values {
     pending = new Set();
     /** The functions being read at one of their calls, innermost last. */
     calls = [];
+    imports;
+    assigned = new WeakMap();
+    changed = new WeakMap();
+    /** Without `imports`, a value imported from another module is not worked out. */
+    constructor(imports = null) {
+        this.imports = imports;
+    }
     /**
      * Runs `read` with a function's parameters bound to the arguments of one call, worked out where the call is, so that
      * titles and values built from them resolve, as in `test(\`${side} rejects a zero quantity\`)` inside
@@ -67,16 +74,33 @@ export class Values {
     withArguments(fn, args, scopes, read) {
         const parameters = new Map();
         for (const [index, parameter] of fn.params.entries()) {
-            const target = parameter.type === 'AssignmentPattern' ? parameter.left : parameter;
-            if (target.type !== 'Identifier')
-                continue;
-            const argument = args.at(index);
-            if (argument)
-                parameters.set(target.name, () => argument);
-            else if (parameter.type === 'AssignmentPattern') {
-                parameters.set(target.name, () => this.resolve(parameter.right, [...scopes, fn]));
-            }
+            this.bind(parameter, args.at(index), parameters, [...scopes, fn]);
         }
+        // A parameter the function assigns to may hold another value by the time it is read.
+        for (const name of this.assignedIn(fn.body))
+            parameters.delete(name);
+        return this.withBound(fn, parameters, read);
+    }
+    /**
+     * Runs `read` with the names a loop declares bound to one of the values it goes over, as in
+     * `for (const [tier, bps] of Object.entries(FEES))`. `declarator` is the loop's variable declarator.
+     */
+    withLoopValue(declarator, pattern, value, body, scopes, read) {
+        const names = new Map();
+        this.bind(pattern, value, names, scopes);
+        for (const name of this.assignedIn(body))
+            names.delete(name);
+        return this.withBound(declarator, names, read);
+    }
+    assignedIn(body) {
+        let names = this.assigned.get(body);
+        if (!names) {
+            names = assignedNames(body);
+            this.assigned.set(body, names);
+        }
+        return names;
+    }
+    withBound(fn, parameters, read) {
         this.calls.push({ fn, parameters, cache: new Map() });
         try {
             return read();
@@ -85,6 +109,64 @@ export class Values {
             this.calls.pop();
         }
     }
+    /**
+     * Binds the names of a parameter or a loop variable to the parts of `value` they take, as destructuring does. A
+     * missing `value`, after a spread argument, leaves them unknown, unless a default gives them one.
+     */
+    bind(pattern, value, names, scopes) {
+        switch (pattern.type) {
+            case 'Identifier':
+                if (value)
+                    names.set(pattern.name, () => value);
+                return;
+            case 'AssignmentPattern': {
+                const useDefault = !value || (value.ok && value.value === undefined);
+                if (!useDefault) {
+                    this.bind(pattern.left, value, names, scopes);
+                    return;
+                }
+                const fallback = pattern.right;
+                if (pattern.left.type === 'Identifier') {
+                    names.set(pattern.left.name, () => this.resolve(fallback, scopes));
+                    return;
+                }
+                this.bind(pattern.left, this.resolve(fallback, scopes), names, scopes);
+                return;
+            }
+            case 'ArrayPattern':
+                for (const [index, element] of pattern.elements.entries()) {
+                    if (!element || !value)
+                        continue;
+                    const list = value.ok && Array.isArray(value.value) ? value.value : null;
+                    const part = (rest) => list ? { ok: true, value: rest ? list.slice(index) : list[index] } : value.ok ? UNRESOLVED : value;
+                    if (element.type === 'RestElement')
+                        this.bind(element.argument, part(true), names, scopes);
+                    else
+                        this.bind(element, part(false), names, scopes);
+                }
+                return;
+            case 'ObjectPattern': {
+                if (!value)
+                    return;
+                const object = value.ok && isPlainObject(value.value) ? value.value : null;
+                const taken = [];
+                for (const property of pattern.properties) {
+                    if (property.type === 'RestElement') {
+                        const rest = object && Object.fromEntries(Object.entries(object).filter(([key]) => !taken.includes(key)));
+                        this.bind(property.argument, rest ? { ok: true, value: rest } : value.ok ? UNRESOLVED : value, names, scopes);
+                        continue;
+                    }
+                    const key = this.propertyKey(property.key, property.computed, scopes);
+                    const name = key.ok && isKey(key.value) ? String(key.value) : null;
+                    if (name !== null)
+                        taken.push(name);
+                    const part = object && name !== null ? { ok: true, value: object[name] } : value.ok ? UNRESOLVED : value;
+                    this.bind(property.value, part, names, scopes);
+                }
+                return;
+            }
+        }
+    }
     /** `scopes` lists the scope nodes around the expression, outermost first. */
     resolve(node, scopes) {
         const expression = unwrap(node);
@@ -105,7 +187,7 @@ export class Values {
                 return { ok: true, value: text };
             }
             case 'BinaryExpression': {
-                if (expression.operator !== '+')
+                if (!BINARY.has(expression.operator))
                     return UNRESOLVED;
                 const left = this.resolve(expression.left, scopes);
                 if (!left.ok)
@@ -115,13 +197,27 @@ export class Values {
                     return right;
                 if (!isPrimitive(left.value) || !isPrimitive(right.value))
                     return UNRESOLVED;
-                if (typeof left.value === 'number' && typeof right.value === 'number') {
-                    return { ok: true, value: left.value + right.value };
-                }
-                return typeof left.value === 'string' || typeof right.value === 'string'
-                    ? { ok: true, value: String(left.value) + String(right.value) }
-                    : UNRESOLVED;
+                return binary(expression.operator, left.value, right.value);
             }
+            case 'LogicalExpression': {
+                const left = this.resolve(expression.left, scopes);
+                if (!left.ok)
+                    return left;
+                const useLeft = expression.operator === '&&'
+                    ? !left.value
+                    : expression.operator === '||'
+                        ? Boolean(left.value)
+                        : left.value !== null && left.value !== undefined;
+                return useLeft ? left : this.resolve(expression.right, scopes);
+            }
+            case 'ConditionalExpression': {
+                const test = this.resolve(expression.test, scopes);
+                if (!test.ok)
+                    return test;
+                return this.resolve(test.value ? expression.consequent : expression.alternate, scopes);
+            }
+            case 'CallExpression':
+                return this.call(expression, scopes);
             case 'UnaryExpression': {
                 if (expression.operator !== '!' && expression.operator !== '-')
                     return UNRESOLVED;
@@ -181,6 +277,9 @@ export class Values {
             case 'Identifier':
                 return this.resolveName(expression.name, scopes);
             case 'MemberExpression': {
+                const namespace = this.namespaceMember(expression, scopes);
+                if (namespace)
+                    return namespace;
                 const object = this.resolve(expression.object, scopes);
                 if (!object.ok)
                     return object;
@@ -190,6 +289,8 @@ export class Values {
                 if (!key.ok)
                     return key;
                 const container = object.value;
+                if (typeof container === 'string' && key.value === 'length')
+                    return { ok: true, value: container.length };
                 if (typeof container !== 'object' || container === null || !isKey(key.value))
                     return UNRESOLVED;
                 const name = String(key.value);
@@ -218,6 +319,16 @@ export class Values {
         const binding = this.lookup(name, scopes)?.binding;
         return binding?.kind === 'import' ? binding.source : null;
     }
+    /**
+     * Whether a name refers to a parameter or loop variable bound to a value where it is used: an argument of the helper
+     * call being walked, or a value of the case or pass of an expansion.
+     */
+    isBound(name, scopes) {
+        const binding = this.lookup(name, scopes)?.binding;
+        if (binding?.kind !== 'other')
+            return false;
+        return this.calls.findLast((item) => item.fn === binding.declaration)?.parameters.has(name) ?? false;
+    }
     /** Whether a name refers to a function or class declared in the file. */
     isFunction(name, scopes) {
         return this.lookup(name, scopes)?.binding.kind === 'function';
@@ -229,6 +340,88 @@ export class Values {
             return { ok: true, value: key.name };
         return this.resolve(key, scopes);
     }
+    /**
+     * The calls titles are often built with, all of them pure: `Object.keys()`, `Object.values()`, `Object.entries()`,
+     * `JSON.stringify()` with one argument, `String()`, and a string's `toUpperCase()`, `toLowerCase()` and `trim()` and
+     * an array's `join()`.
+     */
+    call(expression, scopes) {
+        const callee = unwrap(expression.callee);
+        if (expression.optional || expression.arguments.some((item) => item.type === 'SpreadElement'))
+            return UNRESOLVED;
+        const args = expression.arguments;
+        if (callee.type === 'Identifier' &&
+            callee.name === 'String' &&
+            args.length === 1 &&
+            this.isGlobal('String', scopes)) {
+            const value = this.resolve(args[0], scopes);
+            return value.ok && isPrimitive(value.value)
+                ? { ok: true, value: String(value.value) }
+                : value.ok
+                    ? UNRESOLVED
+                    : value;
+        }
+        if (callee.type !== 'MemberExpression' || callee.computed)
+            return UNRESOLVED;
+        const method = propertyName(callee);
+        const target = unwrap(callee.object);
+        if (target.type === 'Identifier' && (target.name === 'Object' || target.name === 'JSON')) {
+            if (!this.isGlobal(target.name, scopes) || args.length !== 1)
+                return UNRESOLVED;
+            const value = this.resolve(args[0], scopes);
+            if (!value.ok)
+                return value;
+            if (target.name === 'JSON')
+                return method === 'stringify' ? { ok: true, value: JSON.stringify(value.value) } : UNRESOLVED;
+            if (!isPlainObject(value.value) && !Array.isArray(value.value))
+                return UNRESOLVED;
+            if (method === 'keys')
+                return { ok: true, value: Object.keys(value.value) };
+            if (method === 'values')
+                return { ok: true, value: Object.values(value.value) };
+            return method === 'entries' ? { ok: true, value: Object.entries(value.value) } : UNRESOLVED;
+        }
+        const object = this.resolve(callee.object, scopes);
+        if (!object.ok)
+            return object;
+        const text = object.value;
+        if (typeof text === 'string' && args.length === 0 && STRING_METHODS.has(method)) {
+            return {
+                ok: true,
+                value: method === 'trim' ? text.trim() : method === 'toUpperCase' ? text.toUpperCase() : text.toLowerCase(),
+            };
+        }
+        if (!Array.isArray(text) || method !== 'join' || args.length > 1 || !text.every(isPrimitive))
+            return UNRESOLVED;
+        const separator = args.length === 0 ? { ok: true, value: ',' } : this.resolve(args[0], scopes);
+        if (!separator.ok)
+            return separator;
+        return typeof separator.value === 'string' ? { ok: true, value: text.join(separator.value) } : UNRESOLVED;
+    }
+    /** Whether a name refers to a global, as no scope around the use declares it. */
+    isGlobal(name, scopes) {
+        return this.lookup(name, scopes) === null;
+    }
+    /** `data.name` where `data` is `import * as data`: what the module exports as `name`; null for any other member. */
+    namespaceMember(expression, scopes) {
+        const object = unwrap(expression.object);
+        if (object.type !== 'Identifier')
+            return null;
+        const binding = this.lookup(object.name, scopes)?.binding;
+        if (binding?.kind !== 'import' || binding.imported !== null)
+            return null;
+        const key = expression.computed
+            ? this.resolve(expression.property, scopes)
+            : { ok: true, value: propertyName(expression) };
+        if (!key.ok || !isKey(key.value))
+            return { ok: false, importedFrom: binding.source };
+        return this.imported(binding.source, String(key.value));
+    }
+    imported(source, name) {
+        const resolved = name !== null && this.imports ? this.imports(source, name) : UNRESOLVED;
+        return resolved.ok ? resolved : { ok: false, importedFrom: source };
+    }
+    /** What a name refers to where it is used; `scopes` lists the scope nodes around the use, outermost first. */
     resolveName(name, scopes) {
         const found = this.lookup(name, scopes);
         if (!found)
@@ -236,11 +429,15 @@ export class Values {
         const { binding } = found;
         switch (binding.kind) {
             case 'const':
+                if (this.changedAtLoad(binding.scopes[0]).has(name))
+                    return UNRESOLVED;
                 return this.resolveConstant(binding.init, binding.scopes);
             case 'enum':
                 return { ok: true, value: this.enumMembers(binding.node, binding.scopes) };
             case 'import':
-                return { ok: false, importedFrom: binding.source };
+                if (this.changedAtLoad(scopes[0]).has(name))
+                    return { ok: false, importedFrom: binding.source };
+                return this.imported(binding.source, binding.imported);
             case 'function':
                 return UNRESOLVED;
             case 'other':
@@ -252,6 +449,15 @@ export class Values {
         const call = this.calls.findLast((item) => item.fn === fn);
         return call?.parameters.get(name)?.() ?? UNRESOLVED;
     }
+    /** Names the module changes while it loads, as in `WATCHED.push('MSFT')`, whose declared value isn't the one used. */
+    changedAtLoad(program) {
+        let names = this.changed.get(program);
+        if (!names) {
+            names = changedNames(program);
+            this.changed.set(program, names);
+        }
+        return names;
+    }
     resolveConstant(init, scopes) {
         const cache = this.calls.at(-1)?.cache ?? this.cache;
         const cached = cache.get(init);
@@ -275,6 +481,9 @@ export class Values {
                 : { ok: true, value: next };
             if (name.ok && isKey(name.value) && resolved.ok && isKey(resolved.value)) {
                 members[String(name.value)] = resolved.value;
+                // TypeScript maps a numeric member's value back to its name too.
+                if (typeof resolved.value === 'number')
+                    members[String(resolved.value)] = String(name.value);
                 next = typeof resolved.value === 'number' ? resolved.value + 1 : null;
             }
             else {
@@ -300,6 +509,197 @@ export class Values {
         return bindings;
     }
 }
+const BINARY = new Set(['+', '-', '*', '/', '%', '===', '!==', '<', '<=', '>', '>=']);
+const ARITHMETIC = new Set(['-', '*', '/', '%']);
+const STRING_METHODS = new Set(['toUpperCase', 'toLowerCase', 'trim']);
+/**
+ * A binary operator on two primitives, as JavaScript works it out; arithmetic only on numbers, as in
+ * `30 * 1000`, and comparisons only between values of one type.
+ */
+function binary(operator, left, right) {
+    if (operator === '===')
+        return { ok: true, value: left === right };
+    if (operator === '!==')
+        return { ok: true, value: left !== right };
+    if (operator === '+') {
+        if (typeof left === 'number' && typeof right === 'number')
+            return { ok: true, value: left + right };
+        return typeof left === 'string' || typeof right === 'string'
+            ? { ok: true, value: String(left) + String(right) }
+            : UNRESOLVED;
+    }
+    const numbers = typeof left === 'number' && typeof right === 'number';
+    if (numbers && ARITHMETIC.has(operator)) {
+        const value = operator === '-'
+            ? left - right
+            : operator === '*'
+                ? left * right
+                : operator === '/'
+                    ? left / right
+                    : left % right;
+        // Transforms fold `-NaN` differently, so the runner may see either sign; no real table holds NaN.
+        return Number.isNaN(value) ? UNRESOLVED : { ok: true, value };
+    }
+    const comparable = numbers || (typeof left === 'string' && typeof right === 'string');
+    if (!comparable || ARITHMETIC.has(operator))
+        return UNRESOLVED;
+    const [a, b] = [left, right];
+    const value = operator === '<' ? a < b : operator === '<=' ? a <= b : operator === '>' ? a > b : a >= b;
+    return { ok: true, value };
+}
+const MUTATING_METHODS = new Set([
+    'push',
+    'pop',
+    'shift',
+    'unshift',
+    'splice',
+    'sort',
+    'reverse',
+    'fill',
+    'copyWithin',
+]);
+const OBJECT_MUTATORS = new Set(['assign', 'defineProperty', 'defineProperties', 'setPrototypeOf']);
+/** The identifier a member chain such as `ROUTING.venues[0]` starts from; null for any other expression. */
+function rootName(node) {
+    let current = unwrap(node);
+    while (current.type === 'MemberExpression')
+        current = unwrap(current.object);
+    return current.type === 'Identifier' ? current.name : null;
+}
+/**
+ * Names assigned to or changed anywhere in `body`, its functions included: `x = ...`, `x++`, `[x] = ...`,
+ * `for (x of ...)`, `x.push(...)`.
+ */
+function assignedNames(body) {
+    const names = new Set();
+    const targets = (target) => {
+        switch (target?.type) {
+            case 'Identifier':
+                names.add(target.name);
+                break;
+            case 'ArrayPattern':
+                for (const element of target.elements)
+                    targets(element);
+                break;
+            case 'ObjectPattern':
+                for (const property of target.properties)
+                    targets(property.type === 'RestElement' ? property : property.value);
+                break;
+            case 'AssignmentPattern':
+                targets(target.left);
+                break;
+            case 'RestElement':
+                targets(target.argument);
+                break;
+        }
+    };
+    const walk = (node) => {
+        if (node.type === 'AssignmentExpression')
+            targets(node.left);
+        if (node.type === 'UpdateExpression')
+            targets(node.argument);
+        if (node.type === 'ForOfStatement' || node.type === 'ForInStatement')
+            targets(node.left);
+        // A parameter whose value the function changes, as in `list.push(...)`, no longer holds the argument's value.
+        const changed = mutatedName(node);
+        if (changed !== null)
+            names.add(changed);
+        for (const child of childNodes(node))
+            walk(child);
+    };
+    walk(body);
+    return names;
+}
+/** Calls whose callbacks run after the runner has collected the tests: tests, hooks and steps. */
+const RUNS_LATER = new Set([
+    'test',
+    'it',
+    'bench',
+    'beforeEach',
+    'afterEach',
+    'beforeAll',
+    'afterAll',
+    'aroundEach',
+    'aroundAll',
+]);
+/** Calls whose callbacks run while the runner collects the tests, also when they hang off `test`. */
+const RUNS_NOW = new Set(['describe', 'suite', 'context']);
+/** The names of a call's callee, as in `test.describe.serial`: the identifier it starts from and each property. */
+function calleeNames(callee) {
+    const names = [];
+    let current = unwrap(callee);
+    while (current.type === 'MemberExpression' || current.type === 'CallExpression') {
+        if (current.type === 'CallExpression') {
+            current = unwrap(current.callee);
+            continue;
+        }
+        names.push(propertyName(current) ?? '');
+        current = unwrap(current.object);
+    }
+    if (current.type === 'Identifier')
+        names.push(current.name);
+    return names;
+}
+/** The name a mutation changes the value of, as in `WATCHED.push('MSFT')` or `ROUTING.market = 'NYSE'`; or null. */
+function mutatedName(node) {
+    switch (node.type) {
+        case 'AssignmentExpression':
+            return node.left.type === 'MemberExpression' ? rootName(node.left) : null;
+        case 'UpdateExpression':
+            return node.argument.type === 'MemberExpression' ? rootName(node.argument) : null;
+        case 'UnaryExpression':
+            return node.operator === 'delete' ? rootName(node.argument) : null;
+        case 'CallExpression': {
+            const callee = unwrap(node.callee);
+            if (callee.type !== 'MemberExpression')
+                return null;
+            const method = propertyName(callee) ?? '';
+            if (MUTATING_METHODS.has(method))
+                return rootName(callee.object);
+            const target = node.arguments.at(0);
+            return OBJECT_MUTATORS.has(method) && rootName(callee.object) === 'Object' && target ? rootName(target) : null;
+        }
+        default:
+            return null;
+    }
+}
+/**
+ * Names whose value the module changes while it loads, as describe callbacks and helpers run then: a member assigned
+ * or deleted, a mutating method such as `push()`, or `Object.assign()`, also through an alias such as
+ * `const all = SIDES`. The callbacks of tests, hooks and steps run after the runner has read titles and tables, so
+ * what they change doesn't count.
+ */
+function changedNames(program) {
+    const names = new Set();
+    const aliases = new Map();
+    const walk = (node, later) => {
+        if (!later) {
+            const name = mutatedName(node);
+            if (name !== null)
+                names.add(name);
+        }
+        if (node.type === 'VariableDeclarator' && node.id.type === 'Identifier' && node.init?.type === 'Identifier') {
+            aliases.set(node.id.name, node.init.name);
+        }
+        if (node.type === 'CallExpression') {
+            const callee = calleeNames(node.callee);
+            const runsLater = !later && callee.some((name) => RUNS_LATER.has(name)) && !callee.some((name) => RUNS_NOW.has(name));
+            walk(node.callee, later);
+            for (const argument of node.arguments)
+                walk(argument, later || (runsLater && isFunctionNode(argument)));
+            return;
+        }
+        for (const child of childNodes(node))
+            walk(child, later);
+    };
+    walk(program, false);
+    for (const name of [...names]) {
+        for (let target = aliases.get(name); target !== undefined && !names.has(target); target = aliases.get(target)) {
+            names.add(target);
+        }
+    }
+    return names;
+}
 function isPlainObject(value) {
     return typeof value === 'object' && value !== null && !Array.isArray(value);
 }
@@ -337,6 +737,13 @@ function collectBindings(scope, scopes) {
                     bindings.set(specifier.local.name, {
                         kind: 'import',
                         source: statement.source.value,
+                        imported: specifier.type === 'ImportSpecifier'
+                            ? specifier.imported.type === 'Identifier'
+                                ? specifier.imported.name
+                                : specifier.imported.value
+                            : specifier.type === 'ImportDefaultSpecifier'
+                                ? 'default'
+                                : null,
                         declaration: specifier,
                     });
                 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "test-inventory",
-  "version": "0.6.1",
+  "version": "0.7.0",
   "description": "Test metadata from source code, not from test results.",
   "keywords": [
     "testing",