codegraph-java 0.1.0

package/dist/extraction/wasm-runtime-flags.js

@@ -0,0 +1,130 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HOST_PPID_ENV = exports.NODE_RUNTIME_FLAGS = exports.WASM_RUNTIME_FLAGS = void 0;
+exports.nodeRuntimeFlagsFor = nodeRuntimeFlagsFor;
+exports.processHasWasmRuntimeFlags = processHasWasmRuntimeFlags;
+exports.buildRelaunchArgv = buildRelaunchArgv;
+exports.relaunchWithWasmRuntimeFlagsIfNeeded = relaunchWithWasmRuntimeFlagsIfNeeded;
+/**
+ * WASM runtime flags — workaround for the V8 turboshaft WASM Zone OOM.
+ *
+ * tree-sitter grammars are large WebAssembly modules. On Node >= 22 the V8
+ * "turboshaft" optimizing WASM compiler can exhaust its per-compilation Zone
+ * arena while compiling these grammars on a background thread, aborting the
+ * whole process with `Fatal process out of memory: Zone` — even with tens of
+ * GB of system memory free, because the Zone is a V8-internal arena, not the
+ * JS heap. Reproduced on Node 22 and 24; Node 25 is already hard-blocked for
+ * the same crash (see ../bin/node-version-check.ts). See issues #293 and #298.
+ *
+ * `--liftoff-only` forces every WASM module to the Liftoff baseline compiler
+ * and never runs turboshaft, which eliminates the crash. Parsing stays fully
+ * correct; we only forgo the (marginal, and for grammars rarely reached)
+ * optimized-tier speedup.
+ *
+ * This flag MUST be on node's command line — it is read by V8 at engine init,
+ * before any of our JS runs. Empirically (Node 24) none of these work:
+ *   - `v8.setFlagsFromString('--liftoff-only')` at runtime — too late.
+ *   - Worker `execArgv: ['--liftoff-only']` — rejected (ERR_WORKER_INVALID_EXEC_ARGV).
+ *   - `NODE_OPTIONS=--liftoff-only` — not on Node's NODE_OPTIONS allowlist.
+ * Also empirically, `--no-wasm-tier-up` / `--no-wasm-dynamic-tiering` do NOT
+ * prevent the crash — only disabling the optimizing tier entirely does.
+ *
+ * Delivery: the bundled launcher passes the flag directly (see
+ * scripts/build-bundle.sh and scripts/npm-shim.js); for any other launch path
+ * (running dist directly, from source, etc.) the CLI re-execs itself once with
+ * the flag via {@link relaunchWithWasmRuntimeFlagsIfNeeded}. V8 flags are
+ * PROCESS-global, and the parse worker is created with default (inherited)
+ * execArgv, so flagging the main process governs the worker's WASM compilation
+ * too.
+ */
+const child_process_1 = require("child_process");
+/**
+ * The V8 flag(s) that keep tree-sitter grammar compilation off the turboshaft
+ * optimizing tier. Single source of truth: the relaunch guard and the test
+ * suite both read this (a test asserts each is a real flag on the running
+ * runtime, so a rename can't silently regress the fix).
+ */
+exports.WASM_RUNTIME_FLAGS = ['--liftoff-only'];
+/**
+ * Node CLI options (not V8 flags) passed alongside the WASM flags on every
+ * launch path. `--disable-warning=ExperimentalWarning` mutes node:sqlite's
+ * "SQLite is an experimental feature" warning, which is emitted once per
+ * THREAD — the main process plus every parse worker — so during indexing it
+ * prints repeatedly, interleaved with the progress UI. Node options apply
+ * process-wide (workers inherit them), so the command line covers everything.
+ *
+ * Deliberately NOT part of the {@link processHasWasmRuntimeFlags} re-exec
+ * gate: a launcher passing only the WASM flags (an older installed bundle
+ * running a newer dist) must not trigger a whole re-exec over a cosmetic
+ * warning.
+ */
+function nodeRuntimeFlagsFor(nodeVersion) {
+    // `--disable-warning` landed in Node 20.11 / 21.3; older nodes treat it as
+    // a fatal "bad option" at spawn. Those runtimes can't run codegraph anyway
+    // (node:sqlite needs >= 22.5), but let them reach our own version messaging
+    // instead of a cryptic spawn failure.
+    const [major = 0, minor = 0] = nodeVersion.split('.').map(Number);
+    const supported = major > 21 || (major === 21 && minor >= 3) || (major === 20 && minor >= 11);
+    return supported ? ['--disable-warning=ExperimentalWarning'] : [];
+}
+exports.NODE_RUNTIME_FLAGS = nodeRuntimeFlagsFor(process.versions.node);
+/**
+ * Env var set on the relaunched child so a detection slip can never cause an
+ * infinite re-exec loop. Also lets users force-disable the relaunch.
+ */
+const RELAUNCH_GUARD_ENV = 'CODEGRAPH_WASM_RELAUNCHED';
+/**
+ * Env var carrying the *host* PID (the relauncher's own parent) across the
+ * re-exec. Without `--liftoff-only` the CLI re-execs itself once, inserting an
+ * intermediate process between the MCP host and the server. That intermediate
+ * stays alive (blocked in spawnSync) even after the host is killed, so the
+ * server's PPID watchdog can't detect the host's death by watching its own
+ * `process.ppid`. Passing the host PID through lets the watchdog poll it
+ * directly. Unset on the no-re-exec path (bundled launcher / flag already
+ * present), where the server is already a direct child of the host. See
+ * src/mcp/index.ts (#277).
+ */
+exports.HOST_PPID_ENV = 'CODEGRAPH_HOST_PPID';
+/** True when every required WASM runtime flag is already present in `execArgv`. */
+function processHasWasmRuntimeFlags(execArgv = process.execArgv) {
+    return exports.WASM_RUNTIME_FLAGS.every((flag) => execArgv.includes(flag));
+}
+/**
+ * Build the argv for re-execing node with the WASM runtime flags: our flags
+ * first, then any node flags already in `execArgv` (deduped), then the script
+ * and its args. Pure — exported for unit testing.
+ */
+function buildRelaunchArgv(scriptPath, scriptArgs, execArgv = process.execArgv) {
+    const preserved = execArgv.filter((arg) => !exports.WASM_RUNTIME_FLAGS.includes(arg) && !exports.NODE_RUNTIME_FLAGS.includes(arg));
+    return [...exports.NODE_RUNTIME_FLAGS, ...exports.WASM_RUNTIME_FLAGS, ...preserved, scriptPath, ...scriptArgs];
+}
+/**
+ * If the current process is missing the WASM runtime flags, re-exec it once
+ * with them and exit with the child's status. No-op when the flags are already
+ * present (the normal bundled-launcher path), when already relaunched, or when
+ * disabled via CODEGRAPH_NO_RELAUNCH.
+ *
+ * On spawn failure, returns so the caller runs in-process anyway — risking the
+ * OOM is still better than refusing to start.
+ */
+function relaunchWithWasmRuntimeFlagsIfNeeded(scriptPath) {
+    if (processHasWasmRuntimeFlags())
+        return;
+    if (process.env[RELAUNCH_GUARD_ENV])
+        return;
+    if (process.env.CODEGRAPH_NO_RELAUNCH)
+        return;
+    const argv = buildRelaunchArgv(scriptPath, process.argv.slice(2));
+    const result = (0, child_process_1.spawnSync)(process.execPath, argv, {
+        stdio: 'inherit',
+        env: { ...process.env, [RELAUNCH_GUARD_ENV]: '1', [exports.HOST_PPID_ENV]: String(process.ppid) },
+        windowsHide: true,
+    });
+    if (result.error) {
+        // Couldn't relaunch (e.g. execPath unavailable) — fall through and run in
+        // this process. Degraded (may OOM on huge repos) but not broken.
+        return;
+    }
+    process.exit(result.status ?? (result.signal ? 1 : 0));
+}
+//# sourceMappingURL=wasm-runtime-flags.js.map

package/dist/extraction/wasm-runtime-flags.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wasm-runtime-flags.js","sourceRoot":"","sources":["../../src/extraction/wasm-runtime-flags.ts"],"names":[],"mappings":";;;AAuDA,kDAQC;AAwBD,gEAIC;AAOD,8CASC;AAWD,oFAkBC;AAxID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,iDAA0C;AAE1C;;;;;GAKG;AACU,QAAA,kBAAkB,GAAsB,CAAC,gBAAgB,CAAC,CAAC;AAExE;;;;;;;;;;;;GAYG;AACH,SAAgB,mBAAmB,CAAC,WAAmB;IACrD,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,sCAAsC;IACtC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,KAAK,GAAG,EAAE,IAAI,CAAC,KAAK,KAAK,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;IAC9F,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC;AAEY,QAAA,kBAAkB,GAAsB,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAEhG;;;GAGG;AACH,MAAM,kBAAkB,GAAG,2BAA2B,CAAC;AAEvD;;;;;;;;;;GAUG;AACU,QAAA,aAAa,GAAG,qBAAqB,CAAC;AAEnD,mFAAmF;AACnF,SAAgB,0BAA0B,CACxC,WAA8B,OAAO,CAAC,QAAQ;IAE9C,OAAO,0BAAkB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,SAAgB,iBAAiB,CAC/B,UAAkB,EAClB,UAA6B,EAC7B,WAA8B,OAAO,CAAC,QAAQ;IAE9C,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,0BAAkB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,0BAAkB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAChF,CAAC;IACF,OAAO,CAAC,GAAG,0BAAkB,EAAE,GAAG,0BAAkB,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC,CAAC;AACjG,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,oCAAoC,CAAC,UAAkB;IACrE,IAAI,0BAA0B,EAAE;QAAE,OAAO;IACzC,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QAAE,OAAO;IAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,qBAAqB;QAAE,OAAO;IAE9C,MAAM,IAAI,GAAG,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,IAAA,yBAAS,EAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE;QAC/C,KAAK,EAAE,SAAS;QAChB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,EAAE,GAAG,EAAE,CAAC,qBAAa,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACzF,WAAW,EAAE,IAAI;KAClB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,0EAA0E;QAC1E,iEAAiE;QACjE,OAAO;IACT,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC"}

package/dist/graph/branch-guards.d.ts

@@ -0,0 +1,248 @@
+/**
+ * Branch guards — the conditions under which a call site runs.
+ *
+ * An edge says `handlePress → openObjectDetail`. What a reader wants to know
+ * is that it happens **when `isCollected`** and **not while `isUploading`**:
+ *
+ *   if (isUploading) return            ← early-return guard: !isUploading
+ *   if (isCollected) {                 ← if: isCollected
+ *     openObjectDetail(item)           ← the call site
+ *
+ * This module derives that from the AST at query time. Given a file, its
+ * language and a call site (line, column), it walks from the innermost node at
+ * that position up to the enclosing function boundary and records every
+ * branch it passes through: `if` / `else` / `else if`, the arms of a ternary,
+ * `switch` cases, the right side of `&&` / `||`, a `catch`, and — at each
+ * statement block on the way — the early exits that precede the site
+ * (`if (x) return`, Swift `guard x else { return }`).
+ *
+ * Nothing is stored in the index. The viewer and `codegraph_explore` already
+ * re-read source per request (drift checks, source windows, highlighting), the
+ * grammars are loaded in both processes, and a file parses in about a
+ * millisecond — so labels are computed where they are shown, from the source
+ * as it is now, and the index schema and the native kernel are untouched. A
+ * small LRU keeps the last few parsed trees so a Symbol view that asks about
+ * forty call sites in one file parses it once.
+ *
+ * Only what the AST states is reported. Loops are not conditions and are not
+ * listed; a condition that cannot be read (a language without rules here, a
+ * file that will not parse) yields no label rather than a wrong one.
+ */
+import type { Node as SyntaxNode } from 'web-tree-sitter';
+import type { Language } from '../types';
+export type GuardForm = 'if' | 'else' | 'ternary' | 'case' | 'guard' | 'and' | 'or' | 'catch';
+/** How an arm leaves the flow: back to the caller, or by an error. */
+export type GuardExit = 'return' | 'throw' | 'exit';
+export interface BranchGuard {
+    /** The condition's source, whitespace-collapsed, outer parens dropped, capped in length. */
+    text: string;
+    /** The site runs when the condition is FALSE (an else arm, an early-return guard, `||`). */
+    negated: boolean;
+    form: GuardForm;
+    /** Line of the condition (1-based). */
+    line: number;
+    /**
+     * Where the branching construct starts, `line:column` (1-based line, 0-based
+     * column) — the identity of the FORK rather than of the arm: the `if` an
+     * `if` guard and its `else` guard both come from, the `switch` every one of
+     * its cases comes from, the `try` a `catch` belongs to. Two guards with the
+     * same `branch` are arms of one decision, which is what a reader of the code
+     * in its own order needs and a joined condition string cannot say.
+     * '' when the walk could not place it.
+     */
+    branch: string;
+    /** How the arm the site is IN leaves, when it always does — `return`, `throw`. */
+    armExit?: GuardExit;
+    /** For an early exit (`form: 'guard'`), how the arm that was NOT taken leaves. */
+    exit?: GuardExit;
+}
+/** Languages with walk rules below. Others yield no guards (never a wrong one). */
+export declare function supportsBranchGuards(language: Language | string | undefined | null): boolean;
+/**
+ * The label a rail or a flow connector prints: the conditions in execution
+ * order, joined with `&&`, each negated one written as `!x`. Empty when the
+ * site is unconditional.
+ */
+export declare function guardLabel(guards: readonly BranchGuard[]): string;
+/**
+ * Files above this size are not parsed for labels. A 300 KB source file costs
+ * tens of milliseconds to parse, and a Symbol view is budgeted at 100 ms end
+ * to end; a call site in such a file simply shows no `when`.
+ */
+export declare const MAX_PARSE_BYTES: number;
+export interface CallSite {
+    line: number;
+    /** 0-based; null/undefined = the first non-blank column of the line. */
+    column?: number | null;
+    /**
+     * The callee's last segment, when known (`json` for `res.status(201).json(…)`):
+     * a position at the start of a chain sits on the innermost call, and the
+     * climb continues to the call that is actually this one.
+     */
+    callee?: string;
+}
+export declare function siteKey(site: CallSite): string;
+/**
+ * Guards for many call sites in one file, keyed by {@link siteKey}. The file
+ * is parsed once (and cached across requests until it changes on disk). A
+ * language without rules, or a file that cannot be read or parsed, yields an
+ * empty map.
+ */
+export declare function guardsForFile(absPath: string, language: Language, sites: readonly CallSite[]): Promise<Map<string, BranchGuard[]>>;
+/**
+ * Synchronous twin of {@link guardsForFile} for callers that cannot await
+ * (the explore text builder). It only serves languages whose grammar is
+ * ALREADY loaded — see {@link warmBranchGuardGrammars} — and yields an empty
+ * map otherwise, never a wrong label.
+ */
+export declare function guardsForFileSync(absPath: string, language: Language, sites: readonly CallSite[]): Map<string, BranchGuard[]>;
+/** The languages with rules here — what {@link warmBranchGuardGrammars} loads. */
+export declare const BRANCH_GUARD_LANGUAGES: readonly Language[];
+/**
+ * The arguments a call site passes, as written, abbreviated to what a reader
+ * scans for: a string literal whole (a storage key, a URL, a message), a name
+ * whole, an object as its keys (`{ email, password }`), an array as `[…]`, a
+ * function as `() => …`, a nested call as `f(…)`. The conditions say WHEN a
+ * step runs; this says WITH WHAT — `SecureStore.setItemAsync('userEmail',
+ * values.email)` is a different fact from `SecureStore.setItemAsync`.
+ *
+ * Keyed by {@link siteKey} like the guards, read from the same cached tree.
+ * A site that is not inside a call, or a language without rules, is absent.
+ */
+export declare function callArgumentsForFile(absPath: string, language: Language, sites: readonly CallSite[]): Promise<Map<string, string>>;
+/** {@link callArgumentsForFile} over source text — the test surface. */
+export declare function callArgumentsInSource(source: string, language: Language, line: number, column: number | null): Promise<string | null>;
+export declare function callArgumentsInTree(root: SyntaxNode, source: string, line: number, column: number | null): string | null;
+/** One call site, both halves: what is called, as written, and what it is passed. */
+export interface CallSiteText {
+    /**
+     * The callee as written, normalised: `prisma.article.findFirst`,
+     * `this.owners.findById().orElseThrow`, `res.status().json` — member
+     * chains kept whole (the index keeps only the last segment of a deep
+     * chain), argument lists emptied, `await`/`new` dropped, `?.` as `.`.
+     */
+    callee: string;
+    /** The argument list, abbreviated as {@link callArgumentsForFile} says. */
+    args: string;
+    /** The same arguments one by one — a registration site's middleware chain is `argList.slice(1, -1)`. */
+    argList: string[];
+    /** A status code written as an object property in the arguments (`{ status: 201 }`), which the abbreviation to keys would hide. */
+    status?: number;
+    /** Where the call starts and ends in the source (1-based lines) — the span another site may be written inside. */
+    span?: {
+        start: {
+            line: number;
+            column: number;
+        };
+        end: {
+            line: number;
+            column: number;
+        };
+    };
+    /**
+     * The call this one is written inside the arguments of — `res.json` for the
+     * `generateToken(…)` in `res.json({ token: generateToken(…) })` — normalised
+     * like `callee`. Absent at the top of a statement, and never reaching out of
+     * the function or block the call is in.
+     */
+    within?: string;
+}
+export declare function callSiteInTree(root: SyntaxNode, source: string, line: number, column: number | null, want?: string): CallSiteText | null;
+/** Both halves of every site, keyed by {@link siteKey}, from one cached tree. */
+export declare function callSitesForFile(absPath: string, language: Language, sites: readonly CallSite[]): Promise<Map<string, CallSiteText>>;
+/** {@link callSitesForFile} over source text — the test surface. */
+export declare function callSiteInSource(source: string, language: Language, line: number, column: number | null): Promise<CallSiteText | null>;
+/**
+ * What binds a call site to an event, when something does — the answer to
+ * "at what point does this run": the JSX attribute the site sits under
+ * (`onPress` of `<Button>`), the `on*` option it is written in (`onSubmit`
+ * of `useFormik({…})`), or the runs-later call it is an argument of
+ * (`useEffect`, `setTimeout`, `addListener('x')`, `.then`).
+ */
+export interface SiteTrigger {
+    /**
+     * `prop` / `option` / `callback` are read at the site (below). `request`
+     * (a route: `name` the verb, `of` the path), `decorator` (`@Process('email')`:
+     * `name` the decorator, `of` its literal argument) and `load` (a page's own
+     * load-time work) are set by the Steps endpoint from the registration
+     * site, not read from the tree.
+     */
+    kind: 'prop' | 'option' | 'callback' | 'request' | 'decorator' | 'load';
+    /** `onPress`, `onSubmit`, `useEffect`, `addListener`, `POST`, `Process`. */
+    name: string;
+    /** `Button` for a prop, `useFormik` for an option, the first string argument for a callback; null when unknown. */
+    of: string | null;
+    /** What runs before it fires — the middleware / guard chain at the registration site, in order. */
+    after?: string[];
+}
+export declare function triggersForFile(absPath: string, language: Language, sites: readonly CallSite[]): Promise<Map<string, SiteTrigger>>;
+/** {@link triggersForFile} over source text — the test surface. */
+export declare function triggerInSource(source: string, language: Language, line: number, column: number | null): Promise<SiteTrigger | null>;
+export declare function triggerInTree(root: SyntaxNode, source: string, line: number, column: number | null): SiteTrigger | null;
+/** Load the grammars {@link guardsForFileSync} needs; a no-op once loaded, never throws. */
+export declare function warmBranchGuardGrammars(only?: readonly Language[]): Promise<void>;
+/** Guards for one site in source text — the test seam; production reads files. */
+export declare function guardsInSource(source: string, language: Language, line: number, column?: number | null): Promise<BranchGuard[]>;
+/** Loops for one site in source text — the test seam; production reads files. */
+export declare function loopsInSource(source: string, language: Language, line: number, column?: number | null): Promise<SiteLoop[]>;
+/** A loop a site is written inside: its header as written, and where the loop starts. */
+export interface SiteLoop {
+    /** `const item of items`, `i = 0; i < n; i++`, `queue.length > 0` — the header, without its keyword. */
+    text: string;
+    /** `each` for a `for` / `foreach` / `for … in`, `while` for a `while` / `do` / `repeat`. */
+    kind: 'each' | 'while';
+    /** Where the loop starts, `line:column` — the same identity a guard's `branch` carries. */
+    branch: string;
+}
+/**
+ * The loops a site is written inside, outermost first — what tells a reading in
+ * the code's order that a run of calls happens once PER ITEM rather than once.
+ * The climb is the guards' climb (the same boundaries, the same transparent
+ * inline functions), so a callback's body is read in its own function and a
+ * `.forEach` body under the loop it is written in.
+ */
+export declare function loopsInTree(root: SyntaxNode, source: string, language: Language, line: number, column: number | null): SiteLoop[];
+/** Loops for many sites in one file, keyed by {@link siteKey}. */
+export declare function loopsForFile(absPath: string, language: Language, sites: readonly CallSite[]): Promise<Map<string, SiteLoop[]>>;
+/**
+ * The walk. `line` is 1-based, `column` 0-based (null → first non-blank).
+ * Returns the guards outermost first — execution order, the way a reader
+ * would list them.
+ */
+export declare function guardsInTree(root: SyntaxNode, source: string, language: Language, line: number, column: number | null): BranchGuard[];
+/**
+ * The decorators / annotations / attributes on the definition at a line, and
+ * on the class that holds it: `UseGuards(AuthGuard('jwt'))`,
+ * `PreAuthorize("hasRole('ADMIN')")`, `HttpPost("items")`, `Process('email')`.
+ * Text as written, without the `@` or the brackets, whitespace collapsed,
+ * capped. The index keeps no decorators, so they are read here at request
+ * time like the guards.
+ */
+export interface DefinitionDecorators {
+    own: string[];
+    /** The enclosing class's, when the definition is a member. */
+    class: string[];
+}
+export declare function decoratorsForFile(absPath: string, language: Language, lines: readonly number[]): Promise<Map<number, DefinitionDecorators>>;
+/** {@link decoratorsForFile} over source text — the test surface. */
+export declare function decoratorsInSource(source: string, language: Language, line: number): Promise<DefinitionDecorators | null>;
+export declare function decoratorsInTree(root: SyntaxNode, source: string, line: number): DefinitionDecorators | null;
+/**
+ * The declared types of a class's members, read from the tree: the
+ * constructor's parameter properties (`private readonly usersService:
+ * UsersService`), its fields (`private final OwnerRepository owners`,
+ * `val owners: OwnerRepository`, `private readonly IRepo _repo`), its typed
+ * properties. The index keeps no type for these, and a member call the
+ * extractor kept only the last segment of (`this.usersService.findByEmail`
+ * → `findByEmail`) resolves by name alone; the declared type is what says
+ * where it really goes, and whether it leaves the index.
+ *
+ * Keyed by member name, the type as written without generics'
+ * arguments (`Repository<Cat>` → `Repository<Cat>` is kept whole; callers
+ * strip what they need).
+ */
+export declare function memberTypesForFile(absPath: string, language: Language, line: number): Promise<Map<string, string>>;
+/** {@link memberTypesForFile} over source text — the test surface. */
+export declare function memberTypesInSource(source: string, language: Language, line: number): Promise<Map<string, string>>;
+export declare function memberTypesInTree(root: SyntaxNode, source: string, line: number): Map<string, string>;
+//# sourceMappingURL=branch-guards.d.ts.map

package/dist/graph/branch-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"branch-guards.d.ts","sourceRoot":"","sources":["../../src/graph/branch-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAQ,MAAM,iBAAiB,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAOzC,MAAM,MAAM,SAAS,GAAG,IAAI,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,IAAI,GAAG,OAAO,CAAC;AAE9F,sEAAsE;AACtE,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEpD,MAAM,WAAW,WAAW;IAC1B,4FAA4F;IAC5F,IAAI,EAAE,MAAM,CAAC;IACb,4FAA4F;IAC5F,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,CAAC;IAChB,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;;OAQG;IACH,MAAM,EAAE,MAAM,CAAC;IACf,kFAAkF;IAClF,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,kFAAkF;IAClF,IAAI,CAAC,EAAE,SAAS,CAAC;CAClB;AAOD,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,CAE5F;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAEjE;AAgFD;;;;GAIG;AACH,eAAO,MAAM,eAAe,QAAa,CAAC;AAsD1C,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAE9C;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CACjC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,SAAS,QAAQ,EAAE,GACzB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAWrC;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,SAAS,QAAQ,EAAE,GACzB,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CA+B5B;AAED,kFAAkF;AAClF,eAAO,MAAM,sBAAsB,EAAE,SAAS,QAAQ,EAcrD,CAAC;AA8DF;;;;;;;;;;GAUG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,SAAS,QAAQ,EAAE,GACzB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAY9B;AAED,wEAAwE;AACxE,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CASxB;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,MAAM,GAAG,IAAI,CAEf;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,MAAM,EAAE,MAAM,CAAC;IACf,2EAA2E;IAC3E,IAAI,EAAE,MAAM,CAAC;IACb,wGAAwG;IACxG,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,mIAAmI;IACnI,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,kHAAkH;IAClH,IAAI,CAAC,EAAE;QAAE,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;QAAC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC1F;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAiED,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CA8BxI;AAsDD,iFAAiF;AACjF,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,SAAS,QAAQ,EAAE,GACzB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAYpC;AAED,oEAAoE;AACpE,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAS9B;AAoGD;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;;;OAMG;IACH,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,MAAM,CAAC;IACxE,4EAA4E;IAC5E,IAAI,EAAE,MAAM,CAAC;IACb,mHAAmH;IACnH,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,mGAAmG;IACnG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AA6BD,wBAAsB,eAAe,CACnC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,SAAS,QAAQ,EAAE,GACzB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAYnC;AAED,mEAAmE;AACnE,wBAAsB,eAAe,CACnC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CAS7B;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,WAAW,GAAG,IAAI,CAwDvH;AAiCD,4FAA4F;AAC5F,wBAAsB,uBAAuB,CAAC,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAQvF;AAED,kFAAkF;AAClF,wBAAsB,cAAc,CAClC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,GAAE,MAAM,GAAG,IAAW,GAC3B,OAAO,CAAC,WAAW,EAAE,CAAC,CASxB;AAED,iFAAiF;AACjF,wBAAsB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CASvI;AAED,yFAAyF;AACzF,MAAM,WAAW,QAAQ;IACvB,wGAAwG;IACxG,IAAI,EAAE,MAAM,CAAC;IACb,4FAA4F;IAC5F,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,2FAA2F;IAC3F,MAAM,EAAE,MAAM,CAAC;CAChB;AAmBD;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,QAAQ,EAAE,CAiCjI;AAED,kEAAkE;AAClE,wBAAsB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAUpI;AAgBD;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,WAAW,EAAE,CA0Cf;AAy7BD;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,8DAA8D;IAC9D,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAoBD,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAW5C;AAED,qEAAqE;AACrE,wBAAsB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAS/H;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,oBAAoB,GAAG,IAAI,CAqB5G;AAuCD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAMxH;AAED,sEAAsE;AACtE,wBAAsB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CASxH;AAID,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA+ErG"}