@lzehrung/codegraph 2.3.30 → 2.4.0

package/dist/indexer/name-resolution.js

@@ -0,0 +1,189 @@
+/**
+ * One lookup order for a bare name at a use site, shared by go-to-definition, references (which
+ * verify through go-to-definition), and the detailed call graph.
+ *
+ * `resolveBareName` is synchronous: it reads parsed files through a {@link ParsedFileProvider}
+ * and never awaits. The few steps that need async member lookup return a `deferred` resolution
+ * with the answer to use when that lookup finds nothing; {@link settleNameResolution} runs those
+ * steps. Navigation settles immediately; the graph settles after its body walk.
+ */
+import { fileIdentityKey } from "../util/paths.js";
+import { memberAcceptsCallAt, resolveCppOutOfLineImplicitMember, resolveImplicitSelfMember, } from "./navigation-goto.js";
+import { definitionForBinding, findClosestScopeBinding, laterLocalShadowsUse, resolveNamedDefinition, } from "./navigation-local.js";
+import { okGoToResult } from "./navigation-provenance.js";
+import { ensureParsedContext } from "./parse-context.js";
+import { nameLookupPolicyFor } from "./name-lookup-policies/index.js";
+import {} from "./types.js";
+import { importBindingReferenceSites } from "./navigation-references.js";
+import { rangeContains } from "./reference-context.js";
+/** PHP import role (class, function, or const) of the import that covers a 0-based position. */
+export function phpImportTypeAtPosition(imports, line, column) {
+    for (const imp of imports) {
+        if (imp.kind !== "named" || imp.mechanism !== "php")
+            continue;
+        if (importBindingReferenceSites(imp).some((site) => rangeContains(site.range, { row: line + 1, column: column + 1 }))) {
+            return imp.phpImportType ?? "class";
+        }
+    }
+    return undefined;
+}
+export function createLoadingParsedFileProvider(index, current) {
+    const loaded = new Map([[fileIdentityKey(current.file), current.parsed]]);
+    const misses = new Map();
+    return {
+        get(file) {
+            const key = fileIdentityKey(file);
+            const hit = loaded.get(key);
+            if (hit !== undefined)
+                return hit;
+            misses.set(key, file);
+            return null;
+        },
+        takeMisses() {
+            const files = [...misses.values()];
+            misses.clear();
+            return files;
+        },
+        async load(files) {
+            for (const file of files) {
+                const key = fileIdentityKey(file);
+                if (loaded.has(key))
+                    continue;
+                try {
+                    loaded.set(key, await ensureParsedContext(file, index.parsed?.get(key), index.languageExtensions));
+                }
+                catch {
+                    // Reduced mode: a file that cannot be parsed stays unavailable, as before.
+                    loaded.set(key, null);
+                }
+            }
+        },
+    };
+}
+/** Load-and-retry passes for a lookup that reads files it has not parsed yet. */
+const MAX_NAME_RESOLUTION_LOADS = 4;
+/** Runs a synchronous lookup step, parsing any file it missed and rerunning it. */
+export async function withParsedFiles(files, step) {
+    let result = step();
+    for (let attempt = 0; attempt < MAX_NAME_RESOLUTION_LOADS; attempt += 1) {
+        const missing = files.takeMisses();
+        if (!missing.length)
+            break;
+        await files.load(missing);
+        result = step();
+    }
+    return result;
+}
+/**
+ * Resolves a bare (unqualified or C++-qualified) name at a use site. Returns `null` when no
+ * lookup step answers; go-to-definition then tries a declaration at the position.
+ *
+ * Shared order: language pre-lexical steps, closest scope binding, its definition (with
+ * overloads chosen by arity), a local declared later in the same scope, then cross-module
+ * lookup (imports, compilation-unit peers, star imports) through {@link resolveNamedDefinition}.
+ */
+export function resolveBareName(use) {
+    const { index, mod, file, parsed, scopeIndex, node } = use;
+    const { sup, source, tree } = parsed;
+    const policy = nameLookupPolicyFor(sup.id);
+    const lookupName = policy.lookupName?.(use) ?? use.name;
+    const early = policy.beforeLexical?.(use, lookupName);
+    if (early !== undefined)
+        return early;
+    const found = findClosestScopeBinding(scopeIndex, lookupName, node, sup);
+    const state = {
+        use,
+        lookupName,
+        closestBinding: found && policy.ignoresBinding?.(use, found) ? null : found,
+    };
+    const fromBinding = policy.fromClosestBinding?.(state);
+    if (fromBinding !== undefined)
+        return fromBinding;
+    const rest = () => {
+        const beforeLocal = policy.beforeLocal?.(state);
+        if (beforeLocal !== undefined)
+            return beforeLocal;
+        const { closestBinding } = state;
+        const local = closestBinding ? definitionForBinding(closestBinding, file, node, sup, source, tree) : null;
+        if (local) {
+            const adjusted = policy.onLocal?.(state, local);
+            if (adjusted !== undefined)
+                return adjusted;
+            return okGoToResult(index, local, { resolution: "exact", confidence: "high" });
+        }
+        const unbound = policy.onUnboundLocal?.(state);
+        if (unbound !== undefined)
+            return unbound;
+        if (laterLocalShadowsUse(scopeIndex, lookupName, node, sup)) {
+            return { status: "not_found", reason: "Local is not in scope before its declaration" };
+        }
+        const beforeCrossModule = policy.beforeCrossModule?.(state);
+        if (beforeCrossModule !== undefined)
+            return beforeCrossModule;
+        if (!sup.supportsCrossModuleSymbols)
+            return null;
+        const resolved = resolveNamedDefinition(index, mod, file, sup, policy.crossModuleName?.(state) ?? lookupName, policy.cNamespace?.(node), node.startIndex);
+        const adjusted = policy.afterCrossModule?.(state, resolved);
+        return adjusted !== undefined ? adjusted : resolved;
+    };
+    return policy.wrapRest ? policy.wrapRest(state, rest) : rest();
+}
+/** Runs the async member steps a {@link resolveBareName} result deferred. */
+export async function settleNameResolution(use, resolution, options = {}) {
+    let current = resolution;
+    while (current?.status === "deferred") {
+        const { request, fallback, hidden } = current;
+        const { index, mod, node, name, parsed } = use;
+        if (request.kind === "cpp-out-of-line-member") {
+            const member = await resolveCppOutOfLineImplicitMember(index, mod, node, name, parsed.source, parsed.sup, options.requireAcceptedArity);
+            if (member)
+                return okGoToResult(index, member, { resolution: "member-access", confidence: "high" });
+            if (member === null)
+                return hidden ?? null;
+        }
+        else if (request.kind === "implicit-self-member") {
+            const member = await resolveImplicitSelfMember(index, mod, node, request.lookupName, parsed.source, parsed.sup.id);
+            // The graph records no edge for a call its target cannot accept, and does not fall back.
+            if (member &&
+                options.requireAcceptedArity &&
+                !(await memberAcceptsCallAt(index, member, node, parsed.source, parsed.sup.id))) {
+                return null;
+            }
+            if (member)
+                return okGoToResult(index, member, { resolution: "member-access", confidence: "medium" });
+            // A member hides the name but none is a unique, reachable target (static context, ambiguity).
+            if (member === null)
+                return { status: "not_found", reason: "No unique member through the implicit receiver" };
+        }
+        else {
+            const recovered = await options.recoverIncludedStar?.(request.lookupName, request.cNamespace);
+            if (recovered)
+                return recovered;
+        }
+        current = fallback;
+    }
+    return current;
+}
+/**
+ * Files a synchronous consumer must load before resolving names in `mod`: the file itself, its
+ * resolved imports (TS/TSX overload checks read import targets), and for C++ the transitive
+ * include closure. A lookup that reads any other file finds it missing and skips that check.
+ */
+export function nameResolutionPreloadFiles(index, mod, languageId) {
+    const files = new Map([[fileIdentityKey(mod.file), mod.file]]);
+    for (const file of nameLookupPolicyFor(languageId).preloadFiles?.(index, mod) ?? []) {
+        files.set(fileIdentityKey(file), file);
+    }
+    return [...files.values()];
+}
+/**
+ * The definition a resolution names without running deferred member steps: a deferred step
+ * contributes its fallback. For consumers that settle member lookups separately.
+ */
+export function definitionWithoutDeferredSteps(resolution) {
+    let current = resolution;
+    while (current?.status === "deferred")
+        current = current.fallback;
+    return current?.status === "ok" ? current.definition : null;
+}
+//# sourceMappingURL=name-resolution.js.map

package/dist/indexer/name-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-resolution.js","sourceRoot":"","sources":["../../src/indexer/name-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EACL,mBAAmB,EACnB,iCAAiC,EACjC,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,OAAO,EAAE,mBAAmB,EAA0B,MAAM,oBAAoB,CAAC;AAEjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAkBtE,OAAO,EAA4F,MAAM,YAAY,CAAC;AACtH,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,gGAAgG;AAChG,MAAM,UAAU,uBAAuB,CACrC,OAAiC,EACjC,IAAY,EACZ,MAAc;IAEd,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK;YAAE,SAAS;QAC9D,IACE,2BAA2B,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,EACjH,CAAC;YACD,OAAO,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC;QACtC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,KAAmB,EACnB,OAAoD;IAEpD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAmC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,OAAO;QACL,GAAG,CAAC,IAAI;YACN,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU;YACR,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK;YACd,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC9B,IAAI,CAAC;oBACH,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBACrG,CAAC;gBAAC,MAAM,CAAC;oBACP,2EAA2E;oBAC3E,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAEpC,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAI,KAAgC,EAAE,IAAa;IACtF,IAAI,MAAM,GAAG,IAAI,EAAE,CAAC;IACpB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,yBAAyB,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACxE,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,MAAM;YAAE,MAAM;QAC3B,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,MAAM,GAAG,IAAI,EAAE,CAAC;IAClB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,GAAgB;IAC9C,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;IAC3D,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACrC,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACtD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,KAAK,GAAG,uBAAuB,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACzE,MAAM,KAAK,GAAoB;QAC7B,GAAG;QACH,UAAU;QACV,cAAc,EAAE,KAAK,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;KAC5E,CAAC;IACF,MAAM,WAAW,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAClD,MAAM,IAAI,GAAG,GAA0B,EAAE;QACvC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QAClD,MAAM,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;QACjC,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,oBAAoB,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1G,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAC;YAC5C,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAC1C,IAAI,oBAAoB,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5D,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,8CAA8C,EAAE,CAAC;QACzF,CAAC;QACD,MAAM,iBAAiB,GAAG,MAAM,CAAC,iBAAiB,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,iBAAiB,KAAK,SAAS;YAAE,OAAO,iBAAiB,CAAC;QAC9D,IAAI,CAAC,GAAG,CAAC,0BAA0B;YAAE,OAAO,IAAI,CAAC;QACjD,MAAM,QAAQ,GAAG,sBAAsB,CACrC,KAAK,EACL,GAAG,EACH,IAAI,EACJ,GAAG,EACH,MAAM,CAAC,eAAe,EAAE,CAAC,KAAK,CAAC,IAAI,UAAU,EAC7C,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,EACzB,IAAI,CAAC,UAAU,CAChB,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACtD,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACjE,CAAC;AAUD,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,GAAgB,EAChB,UAAiC,EACjC,UAA6B,EAAE;IAE/B,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OAAO,OAAO,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC9C,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QAC/C,IAAI,OAAO,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,MAAM,iCAAiC,CACpD,KAAK,EACL,GAAG,EACH,IAAI,EACJ,IAAI,EACJ,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,GAAG,EACV,OAAO,CAAC,oBAAoB,CAC7B,CAAC;YACF,IAAI,MAAM;gBAAE,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;YACpG,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,MAAM,IAAI,IAAI,CAAC;QAC7C,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAC5C,KAAK,EACL,GAAG,EACH,IAAI,EACJ,OAAO,CAAC,UAAU,EAClB,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,GAAG,CAAC,EAAE,CACd,CAAC;YACF,yFAAyF;YACzF,IACE,MAAM;gBACN,OAAO,CAAC,oBAAoB;gBAC5B,CAAC,CAAC,MAAM,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAC/E,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,MAAM;gBAAE,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtG,8FAA8F;YAC9F,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,gDAAgD,EAAE,CAAC;QAChH,CAAC;aAAM,CAAC;YACN,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,mBAAmB,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YAC9F,IAAI,SAAS;gBAAE,OAAO,SAAS,CAAC;QAClC,CAAC;QACD,OAAO,GAAG,QAAQ,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAmB,EAAE,GAAgB,EAAE,UAAkB;IAClG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,UAAU,CAAC,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QACpF,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,8BAA8B,CAAC,UAAiC;IAC9E,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OAAO,OAAO,EAAE,MAAM,KAAK,UAAU;QAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClE,OAAO,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC"}

package/dist/indexer/navigation-cpp.d.ts

@@ -0,0 +1,50 @@
+import { type LanguageSupport } from "../languages.js";
+import type { SyntaxNodeLike, SyntaxTreeLike } from "../languages/types.js";
+import type { FileId } from "../types.js";
+import type { Binding } from "./scope-types.js";
+import { type ModuleIndex, type ProjectIndex, type SymbolDef } from "./types.js";
+export type CppParsedFile = {
+    source: string;
+    tree: SyntaxTreeLike;
+    sup?: LanguageSupport;
+};
+type CppParsedFileLoader = (file: string) => Promise<CppParsedFile | null>;
+export declare function resolveCppCallableBindings(file: FileId, bindings: readonly Binding[], node: SyntaxNodeLike, source: string): SymbolDef | null;
+/**
+ * Undefined means the lexical binding is not a C++ callable that needs arity
+ * selection. Null means no unique target after declaration-site and known-call-arity checks.
+ */
+export declare function resolveCppCollidingBinding(file: FileId, binding: Binding, node: SyntaxNodeLike, source: string): SymbolDef | null | undefined;
+/** A using-declaration introduces its target, not a new local definition. */
+export declare function cppUsingDeclarationTarget(binding: Binding, source: string): string | undefined;
+/** Function exports visible as `name` in this module, including include and using-alias targets. */
+export declare function collectVisibleCppFunctionExports(index: ProjectIndex, sourceModule: ModuleIndex, name: string): SymbolDef[];
+/**
+ * Selects among already-collected C++ function definitions by known call arity,
+ * without treating a consumer's source position as a declaration site.
+ */
+export declare function resolveCppExportedCallables(index: ProjectIndex, defs: readonly SymbolDef[], node: SyntaxNodeLike, source: string, loadParsedFile: (file: string) => CppParsedFile | null, canonicalNameForDef?: (def: SymbolDef) => string | undefined): SymbolDef | null;
+/**
+ * Undefined means this name has no visible C++ function exports. Null means no
+ * unique target remains after known-call-arity checks.
+ */
+export declare function resolveVisibleCppCallableName(index: ProjectIndex, sourceModule: ModuleIndex, name: string, node: SyntaxNodeLike, source: string, loadParsedFile: (file: string) => CppParsedFile | null): SymbolDef | null | undefined;
+export declare function cppStarImportClosure(index: ProjectIndex, sourceModule: ModuleIndex): readonly ModuleIndex[];
+/**
+ * Bare lookup through `using namespace`. Undefined means no directive nominates
+ * this name. Null means more than one viable candidate, or the candidate could
+ * not be proved unique. Block-scope directives are ignored.
+ */
+export declare function resolveCppUsingDirectiveName(index: ProjectIndex, sourceModule: ModuleIndex, name: string, node: SyntaxNodeLike, source: string, loadParsedFile: (file: string) => CppParsedFile | null): SymbolDef | null | undefined;
+/** Resolves one reachable C++ class/struct/union by its exact namespace and nesting path. */
+export declare function resolveCppQualifiedMemberContainer(index: ProjectIndex, sourceModule: ModuleIndex, ownerPath: readonly string[], loadParsedFile?: CppParsedFileLoader): Promise<SymbolDef | null>;
+/**
+ * Whether code inside a C++ function definition has an implicit `this`: the function is a
+ * non-static member function, defined in its class body or out of line as `Owner::f`. A free
+ * function (including a namespace-qualified one) and a static member function have none, so an
+ * instance member cannot be named without an object there. Mixed static and non-static
+ * declarations of the same name are not proven either way and count as static.
+ */
+export declare function cppFunctionHasImplicitThis(index: ProjectIndex, sourceModule: ModuleIndex, definition: SyntaxNodeLike, source: string, sup: LanguageSupport, loadParsedFile?: CppParsedFileLoader): Promise<boolean>;
+export {};
+//# sourceMappingURL=navigation-cpp.d.ts.map

package/dist/indexer/navigation-cpp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation-cpp.d.ts","sourceRoot":"","sources":["../../src/indexer/navigation-cpp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC1F,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAU1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAEhD,OAAO,EAAc,KAAK,WAAW,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAG7F,MAAM,MAAM,aAAa,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,GAAG,CAAC,EAAE,eAAe,CAAA;CAAE,CAAC;AAC5F,KAAK,mBAAmB,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC;AAc3E,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM,GACb,SAAS,GAAG,IAAI,CAGlB;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM,GACb,SAAS,GAAG,IAAI,GAAG,SAAS,CAK9B;AAED,6EAA6E;AAC7E,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAM9F;AA+BD,oGAAoG;AACpG,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,YAAY,EACnB,YAAY,EAAE,WAAW,EACzB,IAAI,EAAE,MAAM,GACX,SAAS,EAAE,CAgBb;AAqDD;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,YAAY,EACnB,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,aAAa,GAAG,IAAI,EACtD,mBAAmB,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,KAAK,MAAM,GAAG,SAAS,GAC3D,SAAS,GAAG,IAAI,CAsDlB;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,YAAY,EACnB,YAAY,EAAE,WAAW,EACzB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,aAAa,GAAG,IAAI,GACrD,SAAS,GAAG,IAAI,GAAG,SAAS,CAM9B;AAqCD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,GAAG,SAAS,WAAW,EAAE,CA0B3G;AAsLD;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,YAAY,EACnB,YAAY,EAAE,WAAW,EACzB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,aAAa,GAAG,IAAI,GACrD,SAAS,GAAG,IAAI,GAAG,SAAS,CAwD9B;AAgGD,6FAA6F;AAC7F,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,YAAY,EACnB,YAAY,EAAE,WAAW,EACzB,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,cAAc,CAAC,EAAE,mBAAmB,GACnC,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAa3B;AAiBD;;;;;;GAMG;AACH,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,YAAY,EACnB,YAAY,EAAE,WAAW,EACzB,UAAU,EAAE,cAAc,EAC1B,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,eAAe,EACpB,cAAc,CAAC,EAAE,mBAAmB,GACnC,OAAO,CAAC,OAAO,CAAC,CAoBlB"}