legend-doctor 0.1.0

package/dist/src/cli.js

@@ -0,0 +1,245 @@
+import { CliError, EXIT_GATE_FAILED, EXIT_SCAN_FAILED } from "./cli/failures.js";
+import { GitScopeError, resolveScopedFiles } from "./project/git-scope.js";
+import { analyzePath, analyzePathDetailed } from "./project/analyze-path/analyze-path.js";
+import { parseArguments, scanScope, scanScopeFlag } from "./cli/options.js";
+import { readFile, stat } from "node:fs/promises";
+import { ConfirmationFormatError } from "./analysis/assumptions/confirmation-format-error.js";
+import { HELP } from "./cli/help.js";
+import { SCHEMA_VERSION } from "./core/types.js";
+import { UsageError } from "./cli/usage-error.js";
+import { agentFindings } from "./report/format.js";
+import { analyzerIdentity } from "./cli/analyzer-identity.js";
+import { discoverConfig } from "./cli/config.js";
+import { isSupportedAnalysisFile } from "./project/analysis-project.js";
+import { materialityFor } from "./analysis/constants.js";
+import { parseConfirmations } from "./analysis/assumptions/confirmations.js";
+import path from "node:path";
+import { pathIdentityKey } from "./core/path-identity.js";
+import process from "node:process";
+import { recordAnswers } from "./cli/record-answers.js";
+const CLI_ARGUMENT_OFFSET = 2;
+const JSON_INDENT = 2;
+const DISCOVERED_CONFIRMATIONS = path.join(".legend-doctor", "confirmations.json");
+async function writeInformationalOutput(options) {
+    if (options.help) {
+        process.stdout.write(HELP);
+        return true;
+    }
+    if (options.version) {
+        const { version } = await analyzerIdentity();
+        process.stdout.write(`legend-doctor ${version}\n`);
+        return true;
+    }
+    return false;
+}
+async function resolveScanTarget(options) {
+    const target = path.resolve(options.target ?? process.cwd());
+    const root = await resolveScanRoot(target);
+    const scope = scanScope(options);
+    if (scope && root !== target) {
+        throw new UsageError(`${scanScopeFlag(scope)} needs a directory target; git selects the files, so pass the scan root instead of '${target}'`);
+    }
+    const fileFilter = scope ? await scopedFileFilter(root, scope) : undefined;
+    return { fileFilter, root, scope, target };
+}
+async function main(args) {
+    const options = parseArguments(args);
+    if (await writeInformationalOutput(options)) {
+        return;
+    }
+    const scanTarget = await resolveScanTarget(options);
+    if (options.answers.length > 0) {
+        await recordScanAnswers(options, scanTarget);
+    }
+    const { detailed, filtered } = await analyzeTarget(options, scanTarget);
+    const report = buildCliReport(scanTarget.root, filtered, {
+        analyzer: await analyzerIdentity(),
+        detailed,
+        failOn: options.failOn,
+        scope: scanTarget.scope,
+    });
+    writeReport(report);
+}
+function writeReport(report) {
+    writeJson(report);
+    if (report.gate && report.gate.matched > 0) {
+        process.exitCode = EXIT_GATE_FAILED;
+    }
+}
+async function analyzeTarget(options, { fileFilter, root, target }) {
+    const confirmations = options.confirm === null
+        ? await discoverConfirmations(root)
+        : await loadConfirmations(options.confirm);
+    const config = await discoverConfig(root);
+    const materiality = materialityFor(options.materiality ?? config.materiality ?? "broad");
+    const analyzeOptions = fileFilter
+        ? { confirmations, fileFilter, materiality }
+        : { confirmations, materiality };
+    const detailed = options.coverage ? await analyzePathDetailed(target, analyzeOptions) : null;
+    const filtered = filterReport(detailed?.report ?? (await analyzePath(target, analyzeOptions)), {
+        actionableOnly: options.actionable,
+        disposition: options.disposition,
+        ignoreActions: [...new Set([...config.ignoreActions, ...options.ignoreActions])],
+    });
+    return { detailed, filtered };
+}
+/**
+ * Records `--answer` entries against the questions a first scan produces, so each carries the
+ * fingerprint of the owner it was answered for; the reported scan then honours them.
+ */
+async function recordScanAnswers(options, scanTarget) {
+    const { filtered } = await analyzeTarget({ ...options, actionable: false, disposition: null }, scanTarget);
+    await recordAnswers({
+        answers: options.answers,
+        findings: filtered.report.findings,
+        note: options.note,
+        target: options.confirm === null
+            ? path.join(scanTarget.root, DISCOVERED_CONFIRMATIONS)
+            : path.resolve(options.confirm),
+    });
+}
+/** The repository's own answers, honoured whenever the scan root carries them. */
+async function discoverConfirmations(root) {
+    const discovered = path.join(root, DISCOVERED_CONFIRMATIONS);
+    const exists = await stat(discovered).then((entry) => entry.isFile(), () => false);
+    return exists ? loadConfirmations(discovered) : null;
+}
+async function loadConfirmations(confirmPath) {
+    const resolved = path.resolve(confirmPath);
+    try {
+        return parseConfirmations(await readFile(resolved, "utf8"), resolved);
+    }
+    catch (error) {
+        if (error instanceof ConfirmationFormatError) {
+            throw new UsageError(`--confirm ${confirmPath}: ${error.message}`);
+        }
+        const detail = error instanceof Error ? error.message : "unreadable";
+        throw new UsageError(`--confirm file could not be read: ${confirmPath} (${detail})`);
+    }
+}
+async function scopedFileFilter(root, scope) {
+    try {
+        const files = await resolveScopedFiles(root, scope);
+        return (absolutePath) => files.has(pathIdentityKey(absolutePath));
+    }
+    catch (error) {
+        if (error instanceof GitScopeError) {
+            throw new CliError(error.message, {
+                exitCode: EXIT_SCAN_FAILED,
+                reason: "scope_unavailable",
+            });
+        }
+        throw error;
+    }
+}
+function cliScope(scope, reportScope) {
+    if (!scope || !reportScope) {
+        return null;
+    }
+    const described = { contextFiles: reportScope.contextFiles, mode: scope.mode };
+    if (scope.mode === "since") {
+        described.ref = scope.ref;
+    }
+    return described;
+}
+function gateFor(filtered, failOn) {
+    if (failOn.length === 0) {
+        return null;
+    }
+    const shown = [
+        ...filtered.report.findings.map((finding) => finding.disposition),
+        ...filtered.report.practices.map((practice) => practice.disposition),
+    ];
+    return { failOn, matched: shown.filter((disposition) => failOn.includes(disposition)).length };
+}
+function optionalSections(filtered, inputs, reportScope) {
+    const sections = {};
+    const scope = cliScope(inputs.scope, reportScope);
+    if (scope) {
+        sections.scope = scope;
+    }
+    const gate = gateFor(filtered, inputs.failOn);
+    if (gate) {
+        sections.gate = gate;
+    }
+    return inputs.detailed ? withCoverage(sections, inputs.detailed) : sections;
+}
+function withCoverage(sections, detailed) {
+    return { ...sections, coverage: detailed.coverage, diagnostics: detailed.diagnostics };
+}
+function buildCliReport(root, filtered, inputs) {
+    const { scope: reportScope, ...analysis } = filtered.report;
+    return {
+        status: "ok",
+        root,
+        analyzer: inputs.analyzer,
+        ...analysis,
+        hidden: filtered.hidden,
+        ...optionalSections(filtered, inputs, reportScope),
+    };
+}
+function writeJson(payload) {
+    process.stdout.write(`${JSON.stringify(payload, null, JSON_INDENT)}\n`);
+}
+async function resolveScanRoot(target) {
+    const isDirectory = await stat(target).then((entry) => entry.isDirectory(), () => null);
+    if (isDirectory === null) {
+        throw new CliError(`target does not exist: ${target}`, {
+            exitCode: EXIT_SCAN_FAILED,
+            reason: "target_not_found",
+        });
+    }
+    if (isDirectory) {
+        return target;
+    }
+    if (!isSupportedAnalysisFile(target)) {
+        throw new UsageError(`'${path.extname(target) || path.basename(target)}' is not a scannable source file extension; pass a directory or a .ts, .tsx, .js, .jsx, .mts, .cts, .mjs, or .cjs file`, "unsupported_target");
+    }
+    return path.dirname(target);
+}
+function filterReport(report, filter) {
+    const shown = (finding) => (filter.disposition === null || finding.disposition === filter.disposition) &&
+        !filter.ignoreActions.includes(finding.action);
+    const agentOnly = filter.actionableOnly ? agentFindings(report.findings) : report.findings;
+    const findings = agentOnly.filter((finding) => shown(finding));
+    const practices = report.practices.filter((practice) => shown(practice));
+    return {
+        hidden: {
+            findings: report.findings.length - findings.length,
+            practices: report.practices.length - practices.length,
+        },
+        report: { ...report, findings, practices },
+    };
+}
+function toFailure(error) {
+    if (error instanceof CliError) {
+        const failure = {
+            schemaVersion: SCHEMA_VERSION,
+            status: "error",
+            reason: error.reason,
+            message: error.message,
+        };
+        if (error.next.length > 0) {
+            failure.next = error.next;
+        }
+        return failure;
+    }
+    return {
+        schemaVersion: SCHEMA_VERSION,
+        status: "error",
+        reason: "scan_failed",
+        message: error.message,
+    };
+}
+/** Failures are reported on stdout as JSON like every other result, so callers parse one channel. */
+function reportFailure(error) {
+    process.exitCode = error instanceof CliError ? error.exitCode : EXIT_SCAN_FAILED;
+    writeJson(toFailure(error));
+}
+try {
+    await main(process.argv.slice(CLI_ARGUMENT_OFFSET));
+}
+catch (error) {
+    reportFailure(error instanceof Error ? error : new Error(String(error)));
+}
+//# sourceMappingURL=cli.js.map

package/dist/src/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAEjF,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAC1F,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAG9F,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,OAAO,MAAM,cAAc,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAE9B,MAAM,WAAW,GAAG,CAAC,CAAC;AAEtB,MAAM,wBAAwB,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;AAqCnF,KAAK,UAAU,wBAAwB,CAAC,OAAmB;IACzD,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,gBAAgB,EAAE,CAAC;QAC7C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,OAAO,IAAI,CAAC,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAmB;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACjC,IAAI,KAAK,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAClB,GAAG,aAAa,CAAC,KAAK,CAAC,uFAAuF,MAAM,GAAG,CACxH,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED,KAAK,UAAU,IAAI,CAAC,IAAuB;IACzC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,MAAM,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,OAAO;IACT,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,iBAAiB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE;QACvD,QAAQ,EAAE,MAAM,gBAAgB,EAAE;QAClC,QAAQ;QACR,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAC,CAAC;IACH,WAAW,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,WAAW,CAAC,MAAiB;IACpC,SAAS,CAAC,MAAM,CAAC,CAAC;IAClB,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,QAAQ,GAAG,gBAAgB,CAAC;IACtC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,OAAmB,EACnB,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAc;IAExC,MAAM,aAAa,GACjB,OAAO,CAAC,OAAO,KAAK,IAAI;QACtB,CAAC,CAAC,MAAM,qBAAqB,CAAC,IAAI,CAAC;QACnC,CAAC,CAAC,MAAM,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,IAAI,OAAO,CAAC,CAAC;IACzF,MAAM,cAAc,GAAG,UAAU;QAC/B,CAAC,CAAC,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE;QAC5C,CAAC,CAAC,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,mBAAmB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE;QAC7F,cAAc,EAAE,OAAO,CAAC,UAAU;QAClC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;KACjF,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,iBAAiB,CAAC,OAAmB,EAAE,UAAsB;IAC1E,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,aAAa,CACtC,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,EACpD,UAAU,CACX,CAAC;IACF,MAAM,aAAa,CAAC;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ;QAClC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EACJ,OAAO,CAAC,OAAO,KAAK,IAAI;YACtB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,wBAAwB,CAAC;YACtD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;KACpC,CAAC,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,KAAK,UAAU,qBAAqB,CAAC,IAAY;IAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CACxC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,EACzB,GAAG,EAAE,CAAC,KAAK,CACZ,CAAC;IACF,OAAO,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,WAAmB;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;IACxE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;YAC7C,MAAM,IAAI,UAAU,CAAC,aAAa,WAAW,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC;QACrE,MAAM,IAAI,UAAU,CAAC,qCAAqC,WAAW,KAAK,MAAM,GAAG,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,IAAY,EACZ,KAAgB;IAEhB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpD,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,aAAa,EAAE,CAAC;YACnC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE;gBAChC,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,mBAAmB;aAC5B,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AASD,SAAS,QAAQ,CAAC,KAAuB,EAAE,WAAoC;IAC7E,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAa,EAAE,YAAY,EAAE,WAAW,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACzF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,SAAS,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAC5B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,OAAO,CAAC,QAAwB,EAAE,MAA8B;IACvE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC;QACjE,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;KACrE,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;AACjG,CAAC;AAID,SAAS,gBAAgB,CACvB,QAAwB,EACxB,MAAuB,EACvB,WAAoC;IAEpC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAClD,IAAI,KAAK,EAAE,CAAC;QACV,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAC;IACzB,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9E,CAAC;AAED,SAAS,YAAY,CACnB,QAA0B,EAC1B,QAAgC;IAEhC,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;AACzF,CAAC;AAED,SAAS,cAAc,CACrB,IAAY,EACZ,QAAwB,EACxB,MAAuB;IAEvB,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC5D,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,IAAI;QACJ,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,QAAQ;QACX,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC;KACnD,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,OAA+B;IAChD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,MAAc;IAC3C,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CACzC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAC9B,GAAG,EAAE,CAAC,IAAI,CACX,CAAC;IACF,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,QAAQ,CAAC,0BAA0B,MAAM,EAAE,EAAE;YACrD,QAAQ,EAAE,gBAAgB;YAC1B,MAAM,EAAE,kBAAkB;SAC3B,CAAC,CAAC;IACL,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAClB,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,wHAAwH,EACzK,oBAAoB,CACrB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AASD,SAAS,YAAY,CAAC,MAAsB,EAAE,MAAoB;IAChE,MAAM,KAAK,GAAG,CAAC,OAAqD,EAAW,EAAE,CAC/E,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC;QAC3E,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;IAC3F,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzE,OAAO;QACL,MAAM,EAAE;YACN,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;YAClD,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM;SACtD;QACD,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAY;IAC7B,IAAI,KAAK,YAAY,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAe;YAC1B,aAAa,EAAE,cAAc;YAC7B,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QAC5B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO;QACL,aAAa,EAAE,cAAc;QAC7B,MAAM,EAAE,OAAO;QACf,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,SAAS,aAAa,CAAC,KAAY;IACjC,OAAO,CAAC,QAAQ,GAAG,KAAK,YAAY,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACjF,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,IAAI,CAAC;IACH,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC;AACtD,CAAC;AAAC,OAAO,KAAK,EAAE,CAAC;IACf,aAAa,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC"}

package/dist/src/core/analysis-ast.d.ts

@@ -0,0 +1,26 @@
+import type { RuntimeFunctionLike } from "./ast.js";
+import ts from "typescript";
+export declare function bindingDeclarationCount(owner: RuntimeFunctionLike, name: string): number;
+export declare function callRootIdentifier(expression: ts.LeftHandSideExpression): string | null;
+export declare function collectBindingNames(name: ts.BindingName, names: Set<string>): void;
+export declare function containsCallExpression(node: ts.Node): boolean;
+export declare function containsElementAccess(node: ts.Node): boolean;
+export declare function exactObjectLiteralKeys(expression: ts.Expression): ReadonlySet<string> | null;
+export declare function hookCallName(call: ts.CallExpression): string | null;
+export declare function isAssignmentOperator(kind: ts.SyntaxKind): boolean;
+export declare function isDeclarationName(node: ts.Identifier): boolean;
+export declare function isDirectJsxAttributeExpression(attribute: ts.JsxAttribute, node: ts.Identifier): boolean;
+export declare function isEvaluationInert(expression: ts.Expression): boolean;
+export declare function isInsideJsxAttribute(node: ts.Node, attribute: ts.JsxAttribute): boolean;
+export declare function isControlledInteractionProp(name: string): boolean;
+export declare function isValueTransitionProp(name: string): boolean;
+export declare function isNonValueIdentifier(node: ts.Identifier): boolean;
+export declare function isPureExpression(node: ts.Node, allowedCall?: (call: ts.CallExpression) => boolean): boolean;
+export declare function localBindingNames(owner: RuntimeFunctionLike, excluded: ts.Node | null): ReadonlySet<string>;
+export declare function rootIdentifier(expression: ts.Expression): ts.Identifier | null;
+export declare function staticPropertyPath(expression: ts.Expression): readonly string[] | null;
+export declare function staticPathHasBinding(expression: ts.Expression, bindings: ReadonlySet<string>): boolean;
+export declare function propertyPathHasBinding(path: readonly string[], bindings: ReadonlySet<string>): boolean;
+export declare function unwrapTransparentExpression(expression: ts.Expression): ts.Expression;
+export declare function propertyNameText(name: ts.PropertyName): string | null;
+//# sourceMappingURL=analysis-ast.d.ts.map

package/dist/src/core/analysis-ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-ast.d.ts","sourceRoot":"","sources":["../../../src/core/analysis-ast.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AACpD,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAOxF;AA2CD,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,EAAE,CAAC,sBAAsB,GAAG,MAAM,GAAG,IAAI,CAMvF;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAUlF;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAQ7D;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAQ5D;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAc5F;AASD,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,MAAM,GAAG,IAAI,CAKnE;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAEjE;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAU9D;AAED,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,IAAI,EAAE,EAAE,CAAC,UAAU,GAClB,OAAO,CAQT;AAoFD,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAOpE;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,YAAY,GAAG,OAAO,CAEvF;AAED,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM3D;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAcjE;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,WAAW,GAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,KAAK,OAAqB,GAC9D,OAAO,CAoBT;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,mBAAmB,EAC1B,QAAQ,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,GACvB,WAAW,CAAC,MAAM,CAAC,CAqBrB;AAED,wBAAgB,cAAc,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,GAAG,IAAI,CAM9E;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,MAAM,EAAE,GAAG,IAAI,CAUtF;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,GAC5B,OAAO,CAGT;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,GAC5B,OAAO,CAOT;AAED,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAYpF;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,IAAI,CAIrE"}

package/dist/src/core/analysis-ast.js

@@ -0,0 +1,310 @@
+import { isRuntimeFunctionLike, visit } from "./ast.js";
+import ts from "typescript";
+const bindingCountsByOwner = new WeakMap();
+export function bindingDeclarationCount(owner, name) {
+    let counts = bindingCountsByOwner.get(owner);
+    if (!counts) {
+        counts = collectBindingDeclarationCounts(owner);
+        bindingCountsByOwner.set(owner, counts);
+    }
+    return counts.get(name) ?? 0;
+}
+function collectBindingDeclarationCounts(owner) {
+    const counts = new Map();
+    for (const parameter of owner.parameters) {
+        incrementBindingCounts(parameter.name, counts);
+    }
+    if (!owner.body) {
+        return counts;
+    }
+    visit(owner.body, (node) => {
+        if (ts.isVariableDeclaration(node)) {
+            incrementBindingCounts(node.name, counts);
+        }
+        if ((ts.isFunctionDeclaration(node) ||
+            ts.isFunctionExpression(node) ||
+            ts.isClassDeclaration(node)) &&
+            node.name) {
+            incrementCount(node.name.text, counts);
+        }
+        if (isRuntimeFunctionLike(node) && node !== owner) {
+            for (const parameter of node.parameters) {
+                incrementBindingCounts(parameter.name, counts);
+            }
+        }
+    });
+    return counts;
+}
+function incrementBindingCounts(binding, counts) {
+    const names = new Set();
+    collectBindingNames(binding, names);
+    for (const name of names) {
+        incrementCount(name, counts);
+    }
+}
+function incrementCount(name, counts) {
+    counts.set(name, (counts.get(name) ?? 0) + 1);
+}
+export function callRootIdentifier(expression) {
+    let current = expression;
+    while (ts.isPropertyAccessExpression(current) || ts.isElementAccessExpression(current)) {
+        current = current.expression;
+    }
+    return ts.isIdentifier(current) ? current.text : null;
+}
+export function collectBindingNames(name, names) {
+    if (ts.isIdentifier(name)) {
+        names.add(name.text);
+        return;
+    }
+    for (const element of name.elements) {
+        if (!ts.isOmittedExpression(element)) {
+            collectBindingNames(element.name, names);
+        }
+    }
+}
+export function containsCallExpression(node) {
+    let found = false;
+    visit(node, (child) => {
+        if (ts.isCallExpression(child)) {
+            found = true;
+        }
+    });
+    return found;
+}
+export function containsElementAccess(node) {
+    let found = false;
+    visit(node, (current) => {
+        if (ts.isElementAccessExpression(current)) {
+            found = true;
+        }
+    });
+    return found;
+}
+export function exactObjectLiteralKeys(expression) {
+    const value = unwrapTransparentExpression(expression);
+    if (!ts.isObjectLiteralExpression(value)) {
+        return null;
+    }
+    const keys = new Set();
+    for (const property of value.properties) {
+        const name = objectLiteralPropertyKey(property);
+        if (name === null) {
+            return null;
+        }
+        keys.add(name);
+    }
+    return keys;
+}
+function objectLiteralPropertyKey(property) {
+    if (ts.isSpreadAssignment(property)) {
+        return null;
+    }
+    return propertyNameText(property.name);
+}
+export function hookCallName(call) {
+    if (ts.isIdentifier(call.expression)) {
+        return call.expression.text;
+    }
+    return ts.isPropertyAccessExpression(call.expression) ? call.expression.name.text : null;
+}
+export function isAssignmentOperator(kind) {
+    return kind >= ts.SyntaxKind.FirstAssignment && kind <= ts.SyntaxKind.LastAssignment;
+}
+export function isDeclarationName(node) {
+    const { parent } = node;
+    return ((ts.isVariableDeclaration(parent) && parent.name === node) ||
+        (ts.isBindingElement(parent) && parent.name === node) ||
+        (ts.isParameter(parent) && parent.name === node) ||
+        (ts.isFunctionDeclaration(parent) && parent.name === node) ||
+        (ts.isFunctionExpression(parent) && parent.name === node) ||
+        (ts.isClassDeclaration(parent) && parent.name === node));
+}
+export function isDirectJsxAttributeExpression(attribute, node) {
+    const { initializer } = attribute;
+    return (initializer !== undefined &&
+        ts.isJsxExpression(initializer) &&
+        initializer.expression !== undefined &&
+        unwrapTransparentExpression(initializer.expression) === node);
+}
+function isInertAtomicLiteral(value) {
+    return (ts.isIdentifier(value) ||
+        ts.isNumericLiteral(value) ||
+        ts.isBigIntLiteral(value) ||
+        ts.isStringLiteral(value) ||
+        ts.isNoSubstitutionTemplateLiteral(value) ||
+        value.kind === ts.SyntaxKind.TrueKeyword ||
+        value.kind === ts.SyntaxKind.FalseKeyword ||
+        value.kind === ts.SyntaxKind.NullKeyword);
+}
+function isInertPrefixUnary(value) {
+    const numericLiteral = ts.isNumericLiteral(value.operand);
+    const bigintLiteral = ts.isBigIntLiteral(value.operand);
+    return ((numericLiteral && value.operator === ts.SyntaxKind.PlusToken) ||
+        ((numericLiteral || bigintLiteral) &&
+            (value.operator === ts.SyntaxKind.MinusToken ||
+                value.operator === ts.SyntaxKind.TildeToken)) ||
+        (value.operator === ts.SyntaxKind.ExclamationToken && isEvaluationInert(value.operand)));
+}
+function isInertBinary(value) {
+    const operator = value.operatorToken.kind;
+    if (operator !== ts.SyntaxKind.AmpersandAmpersandToken &&
+        operator !== ts.SyntaxKind.BarBarToken &&
+        operator !== ts.SyntaxKind.QuestionQuestionToken &&
+        operator !== ts.SyntaxKind.EqualsEqualsEqualsToken &&
+        operator !== ts.SyntaxKind.ExclamationEqualsEqualsToken) {
+        return false;
+    }
+    return isEvaluationInert(value.left) && isEvaluationInert(value.right);
+}
+function isInertObjectLiteral(value) {
+    return value.properties.every((property) => {
+        if (ts.isShorthandPropertyAssignment(property)) {
+            return true;
+        }
+        return (ts.isPropertyAssignment(property) &&
+            !ts.isComputedPropertyName(property.name) &&
+            isEvaluationInert(property.initializer));
+    });
+}
+function isInertConditional(value) {
+    return (isEvaluationInert(value.condition) &&
+        isEvaluationInert(value.whenTrue) &&
+        isEvaluationInert(value.whenFalse));
+}
+function isInertOperatorExpression(value) {
+    if (ts.isPrefixUnaryExpression(value)) {
+        return isInertPrefixUnary(value);
+    }
+    if (ts.isTypeOfExpression(value)) {
+        return isEvaluationInert(value.expression);
+    }
+    if (ts.isConditionalExpression(value)) {
+        return isInertConditional(value);
+    }
+    return ts.isBinaryExpression(value) && isInertBinary(value);
+}
+function isInertLiteralStructure(value) {
+    if (ts.isArrayLiteralExpression(value)) {
+        return value.elements.every((element) => !ts.isSpreadElement(element) && isEvaluationInert(element));
+    }
+    return ts.isObjectLiteralExpression(value) && isInertObjectLiteral(value);
+}
+export function isEvaluationInert(expression) {
+    const value = unwrapTransparentExpression(expression);
+    return (isInertAtomicLiteral(value) ||
+        isInertOperatorExpression(value) ||
+        isInertLiteralStructure(value));
+}
+export function isInsideJsxAttribute(node, attribute) {
+    return attribute.getStart() <= node.getStart() && node.end <= attribute.end;
+}
+export function isControlledInteractionProp(name) {
+    return /^(?:onChange|onChangeText|onCheckedChange|onSelect|onToggle|onValueChange)$/u.test(name);
+}
+export function isValueTransitionProp(name) {
+    return (isControlledInteractionProp(name) ||
+        /^on(?:Change|Select|Toggle|Update)[A-Z][A-Za-z0-9]*$/u.test(name) ||
+        /^on[A-Z][A-Za-z0-9]*(?:Change|Select|Toggle|Update)$/u.test(name));
+}
+export function isNonValueIdentifier(node) {
+    const { parent } = node;
+    return ((ts.isJsxAttribute(parent) && parent.name === node) ||
+        (ts.isPropertyAccessExpression(parent) && parent.name === node) ||
+        (ts.isPropertyAssignment(parent) &&
+            parent.name === node &&
+            !ts.isComputedPropertyName(parent.name)) ||
+        (ts.isMethodDeclaration(parent) && parent.name === node) ||
+        (ts.isPropertyDeclaration(parent) && parent.name === node) ||
+        (ts.isPropertySignature(parent) && parent.name === node) ||
+        (ts.isImportSpecifier(parent) && parent.propertyName === node) ||
+        (ts.isExportSpecifier(parent) && parent.propertyName === node));
+}
+export function isPureExpression(node, allowedCall = () => false) {
+    let pure = true;
+    visit(node, (current) => {
+        if (ts.isAwaitExpression(current) ||
+            ts.isYieldExpression(current) ||
+            ts.isNewExpression(current) ||
+            (ts.isCallExpression(current) && !allowedCall(current)) ||
+            (ts.isPropertyAccessExpression(current) && current.name.text === "current") ||
+            ts.isDeleteExpression(current) ||
+            ts.isPostfixUnaryExpression(current) ||
+            (ts.isPrefixUnaryExpression(current) &&
+                (current.operator === ts.SyntaxKind.PlusPlusToken ||
+                    current.operator === ts.SyntaxKind.MinusMinusToken)) ||
+            (ts.isBinaryExpression(current) && isAssignmentOperator(current.operatorToken.kind))) {
+            pure = false;
+        }
+    });
+    return pure;
+}
+export function localBindingNames(owner, excluded) {
+    const names = new Set();
+    for (const parameter of owner.parameters) {
+        collectBindingNames(parameter.name, names);
+    }
+    function walk(node) {
+        if (node === excluded) {
+            return;
+        }
+        if (ts.isVariableDeclaration(node)) {
+            collectBindingNames(node.name, names);
+        }
+        if (ts.isFunctionDeclaration(node) && node.name) {
+            names.add(node.name.text);
+        }
+        node.forEachChild(walk);
+    }
+    if (owner.body) {
+        walk(owner.body);
+    }
+    return names;
+}
+export function rootIdentifier(expression) {
+    let current = unwrapTransparentExpression(expression);
+    while (ts.isPropertyAccessExpression(current) || ts.isElementAccessExpression(current)) {
+        current = unwrapTransparentExpression(current.expression);
+    }
+    return ts.isIdentifier(current) ? current : null;
+}
+export function staticPropertyPath(expression) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isIdentifier(value)) {
+        return [value.text];
+    }
+    if (!ts.isPropertyAccessExpression(value) || value.questionDotToken) {
+        return null;
+    }
+    const parent = staticPropertyPath(value.expression);
+    return parent ? [...parent, value.name.text] : null;
+}
+export function staticPathHasBinding(expression, bindings) {
+    const path = staticPropertyPath(expression);
+    return path !== null && propertyPathHasBinding(path, bindings);
+}
+export function propertyPathHasBinding(path, bindings) {
+    for (let length = 1; length <= path.length; length += 1) {
+        if (bindings.has(path.slice(0, length).join("."))) {
+            return true;
+        }
+    }
+    return false;
+}
+export function unwrapTransparentExpression(expression) {
+    let current = expression;
+    while (ts.isParenthesizedExpression(current) ||
+        ts.isAsExpression(current) ||
+        ts.isTypeAssertionExpression(current) ||
+        ts.isSatisfiesExpression(current) ||
+        ts.isNonNullExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+}
+export function propertyNameText(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteralLike(name) || ts.isNumericLiteral(name)
+        ? name.text
+        : null;
+}
+//# sourceMappingURL=analysis-ast.js.map

package/dist/src/core/analysis-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-ast.js","sourceRoot":"","sources":["../../../src/core/analysis-ast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAExD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAoD,CAAC;AAE7F,MAAM,UAAU,uBAAuB,CAAC,KAA0B,EAAE,IAAY;IAC9E,IAAI,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;QAChD,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,+BAA+B,CAAC,KAA0B;IACjE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC;QACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI,EACT,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YAClD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAuB,EAAE,MAA2B;IAClF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,MAA2B;IAC/D,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,UAAqC;IACtE,IAAI,OAAO,GAAkB,UAAU,CAAC;IACxC,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvF,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAoB,EAAE,KAAkB;IAC1E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YACrC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAa;IAClD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACpB,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QACtB,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,UAAyB;IAC9D,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAqC;IACrE,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAuB;IAClD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAmB;IACtD,OAAO,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,IAAI,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAmB;IACnD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,CACL,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAC1D,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QACrD,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAChD,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAC1D,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QACzD,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,SAA0B,EAC1B,IAAmB;IAEnB,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;IAClC,OAAO,CACL,WAAW,KAAK,SAAS;QACzB,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAC/B,WAAW,CAAC,UAAU,KAAK,SAAS;QACpC,2BAA2B,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,IAAI,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAoB;IAChD,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QACtB,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1B,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QACzB,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QACzB,EAAE,CAAC,+BAA+B,CAAC,KAAK,CAAC;QACzC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACzC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA+B;IACzD,MAAM,cAAc,GAAG,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,OAAO,CACL,CAAC,cAAc,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;QAC9D,CAAC,CAAC,cAAc,IAAI,aAAa,CAAC;YAChC,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;gBAC1C,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACjD,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,IAAI,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CACxF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC;IAC1C,IACE,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAClD,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACtC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;QAChD,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAClD,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAiC;IAC7D,OAAO,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE;QACzC,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CACL,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YACjC,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACzC,iBAAiB,CAAC,QAAQ,CAAC,WAAW,CAAC,CACxC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA+B;IACzD,OAAO,CACL,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC;QAClC,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC;QACjC,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAoB;IACrD,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAoB;IACnD,IAAI,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CACzB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,iBAAiB,CAAC,OAAO,CAAC,CACxE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,IAAI,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAAyB;IACzD,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,CACL,oBAAoB,CAAC,KAAK,CAAC;QAC3B,yBAAyB,CAAC,KAAK,CAAC;QAChC,uBAAuB,CAAC,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAa,EAAE,SAA0B;IAC5E,OAAO,SAAS,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAY;IACtD,OAAO,8EAA8E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,CACL,2BAA2B,CAAC,IAAI,CAAC;QACjC,uDAAuD,CAAC,IAAI,CAAC,IAAI,CAAC;QAClE,uDAAuD,CAAC,IAAI,CAAC,IAAI,CAAC,CACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAmB;IACtD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,CACL,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QACnD,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAC/D,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;YAC9B,MAAM,CAAC,IAAI,KAAK,IAAI;YACpB,CAAC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QACxD,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAC1D,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QACxD,CAAC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC;QAC9D,CAAC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,CAC/D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAa,EACb,cAAoD,GAAG,EAAE,CAAC,KAAK;IAE/D,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QACtB,IACE,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACvD,CAAC,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;YAC3E,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAC9B,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;YACpC,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;gBAClC,CAAC,OAAO,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAC/C,OAAO,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;YACxD,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EACpF,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAA0B,EAC1B,QAAwB;IAExB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,SAAS,IAAI,CAAC,IAAa;QACzB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAChD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACf,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAAyB;IACtD,IAAI,OAAO,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvF,OAAO,GAAG,2BAA2B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,UAAyB;IAC1D,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAyB,EACzB,QAA6B;IAE7B,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC5C,OAAO,IAAI,KAAK,IAAI,IAAI,sBAAsB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAuB,EACvB,QAA6B;IAE7B,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,UAAyB;IACnE,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OACE,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QACrC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;QAC1B,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QACrC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;QACjC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAC/B,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAqB;IACpD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACvF,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/core/ast.d.ts

@@ -0,0 +1,14 @@
+import ts from "typescript";
+export type RuntimeFunctionLike = ts.ArrowFunction | ts.ConstructorDeclaration | ts.FunctionDeclaration | ts.FunctionExpression | ts.GetAccessorDeclaration | ts.MethodDeclaration | ts.SetAccessorDeclaration;
+export declare function findAncestor<TNode extends ts.Node>(node: ts.Node, predicate: (candidate: ts.Node) => candidate is TNode): TNode | null;
+export declare function findAncestorUntil<TNode extends ts.Node>(node: ts.Node, predicate: (candidate: ts.Node) => candidate is TNode, boundary: ts.Node): TNode | null;
+export declare function isRuntimeFunctionLike(node: ts.Node): node is RuntimeFunctionLike;
+export declare function identifiersNamed(node: ts.Node | undefined, name: string): readonly ts.Identifier[];
+export declare function isNonProductionHarness(fileName: string): boolean;
+export declare function nearestNestedFunction(node: ts.Node, owner: RuntimeFunctionLike): RuntimeFunctionLike | null;
+export declare function nodeWithin(node: ts.Node, ancestor: ts.Node): boolean;
+export declare function scriptKindForFile(fileName: string): ts.ScriptKind;
+export declare function visit(node: ts.Node | undefined, visitor: (node: ts.Node) => void): void;
+export declare function visitSkippingNestedFunctions(node: ts.Node, allowedFunction: ts.FunctionLikeDeclaration, visitor: (node: ts.Node) => void): void;
+export declare function visitSkippingNestedRuntimeFunctions(node: ts.Node, visitor: (node: ts.Node) => void): void;
+//# sourceMappingURL=ast.d.ts.map

package/dist/src/core/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../../src/core/ast.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,MAAM,mBAAmB,GAC3B,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,sBAAsB,GACzB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,kBAAkB,GACrB,EAAE,CAAC,sBAAsB,GACzB,EAAE,CAAC,iBAAiB,GACpB,EAAE,CAAC,sBAAsB,CAAC;AAa9B,wBAAgB,YAAY,CAAC,KAAK,SAAS,EAAE,CAAC,IAAI,EAChD,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,GACpD,KAAK,GAAG,IAAI,CAOd;AAED,wBAAgB,iBAAiB,CAAC,KAAK,SAAS,EAAE,CAAC,IAAI,EACrD,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,EACrD,QAAQ,EAAE,EAAE,CAAC,IAAI,GAChB,KAAK,GAAG,IAAI,CAWd;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,IAAI,mBAAmB,CAEhF;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,EACzB,IAAI,EAAE,MAAM,GACX,SAAS,EAAE,CAAC,UAAU,EAAE,CAmB1B;AAED,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAIhE;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,mBAAmB,GACzB,mBAAmB,GAAG,IAAI,CAW5B;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAEpE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAYjE;AAED,wBAAgB,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,GAAG,IAAI,CASvF;AAED,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,eAAe,EAAE,EAAE,CAAC,uBAAuB,EAC3C,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,GAC/B,IAAI,CAWN;AAED,wBAAgB,mCAAmC,CACjD,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,GAC/B,IAAI,CAWN"}