@lzehrung/codegraph 2.3.31 → 3.0.0

package/dist/indexer/name-lookup-policies/c-family.js

@@ -0,0 +1,137 @@
+/** C and C++ additions to the shared name lookup order. */
+import { cTagRole } from "../../languages/definitions/c.js";
+import { AMBIGUOUS_CPP_OVERLOAD_REASON, AMBIGUOUS_CPP_USING_DECLARATION_REASON, AMBIGUOUS_CPP_USING_DIRECTIVE_REASON, AMBIGUOUS_STAR_IMPORT_REASON, } from "../ambiguous-resolution.js";
+import { cppOutOfLineOwnerPath } from "../../graphs/symbol-graph-detailed/receiver-calls.js";
+import { cppQualifiedNameThroughVisiblePrefix, cppStarImportClosure, cppUsingDeclarationTarget, resolveCppCallableBindings, resolveCppCollidingBinding, resolveCppUsingDirectiveName, resolveVisibleCppCallableName, resolveCppVisibleStaticCallableName, } from "../navigation-cpp.js";
+import { resolveNamedDefinition } from "../navigation-local.js";
+import { okGoToResult } from "../navigation-provenance.js";
+const loadParsed = (use) => (file) => use.files.get(file);
+/** Several included declarations of one name may be one callable; navigation recovers that. */
+function deferIncludedStarRecovery(state, resolved, cNamespace) {
+    if (resolved?.status !== "not_found" || resolved.reason !== AMBIGUOUS_STAR_IMPORT_REASON)
+        return undefined;
+    return {
+        status: "deferred",
+        request: { kind: "c-included-star", lookupName: state.lookupName, cNamespace },
+        fallback: resolved,
+    };
+}
+const cNamespaceOf = (node) => cTagRole(node) ? "tag" : "ordinary";
+export const cLookupPolicy = {
+    cNamespace: cNamespaceOf,
+    afterCrossModule: (state, resolved) => deferIncludedStarRecovery(state, resolved, cNamespaceOf(state.use.node)),
+};
+const AMBIGUOUS_CPP_NAMESPACE_ALIAS_REASON = "Ambiguous C++ namespace alias";
+/** A qualified name (`ns::f`, `Box::make`) names a namespace or static member directly. */
+function lookupCppQualifiedName(use, qualifiedName) {
+    const { index, mod, file, node, scopeIndex, parsed } = use;
+    const qualifiedBindings = scopeIndex.cppQualifiedFunctionBindings.get(qualifiedName);
+    if (qualifiedBindings) {
+        const selected = resolveCppCallableBindings(file, qualifiedBindings, node, parsed.source);
+        if (!selected)
+            return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
+        return okGoToResult(index, selected, { resolution: "exact", confidence: "high" });
+    }
+    const visible = resolveVisibleCppCallableName(index, mod, qualifiedName, node, parsed.source, loadParsed(use));
+    if (visible !== undefined) {
+        if (!visible)
+            return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
+        return okGoToResult(index, visible, { resolution: "exact", confidence: "high" });
+    }
+    const staticMember = resolveCppVisibleStaticCallableName(index, mod, qualifiedName, node, parsed.source, loadParsed(use));
+    if (staticMember !== undefined) {
+        if (!staticMember)
+            return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
+        return okGoToResult(index, staticMember, { resolution: "exact", confidence: "high" });
+    }
+    return resolveNamedDefinition(index, mod, file, parsed.sup, qualifiedName) ?? undefined;
+}
+/** Qualifier lookup is lexical before the direct textual path can name a global declaration. */
+export function resolveCppQualifiedName(use) {
+    const { name } = use;
+    if (!name.includes("::"))
+        return undefined;
+    const rewritten = cppQualifiedNameThroughVisiblePrefix(use.index, use.mod, name, use.node, use.parsed.source, use.parsed.tree, loadParsed(use));
+    if (rewritten === null)
+        return { status: "not_found", reason: AMBIGUOUS_CPP_NAMESPACE_ALIAS_REASON };
+    if (rewritten !== undefined) {
+        return (lookupCppQualifiedName(use, rewritten) ?? {
+            status: "not_found",
+            reason: "No matching C++ declaration in the visible qualifier",
+        });
+    }
+    return lookupCppQualifiedName(use, name);
+}
+export const cppLookupPolicy = {
+    beforeLexical: resolveCppQualifiedName,
+    // `using ns::f;` binds the name to that namespace member.
+    fromClosestBinding({ use, closestBinding }) {
+        const { index, mod, file, node, parsed } = use;
+        const target = closestBinding ? cppUsingDeclarationTarget(closestBinding, parsed.source) : undefined;
+        if (!target)
+            return undefined;
+        const visible = resolveVisibleCppCallableName(index, mod, target, node, parsed.source, loadParsed(use));
+        if (visible)
+            return okGoToResult(index, visible, { resolution: "import", confidence: "high" });
+        if (visible === undefined) {
+            const resolved = resolveNamedDefinition(index, mod, file, parsed.sup, target);
+            if (resolved)
+                return resolved;
+        }
+        return { status: "not_found", reason: AMBIGUOUS_CPP_USING_DECLARATION_REASON };
+    },
+    // Inside an out-of-line member definition, a member of the owner class (or its bases) hides a
+    // same-named file-scope name; parameters and function locals still win.
+    wrapRest({ use, closestBinding }, rest) {
+        const { node, scopeIndex } = use;
+        const fileScopeOrUnbound = !closestBinding || scopeIndex.allScopes[0]?.map.get(closestBinding.canonicalName) === closestBinding;
+        const outOfLineBody = !!cppOutOfLineOwnerPath(node, use.parsed.source, use.parsed.sup);
+        if (!fileScopeOrUnbound || !outOfLineBody || node.parent?.type !== "call_expression")
+            return rest();
+        return {
+            status: "deferred",
+            request: { kind: "cpp-out-of-line-member" },
+            fallback: rest(),
+            hidden: { status: "not_found", reason: "No matching C++ static member definition" },
+        };
+    },
+    // Same-scope declarations with one name are one callable or an overload set chosen by arity.
+    beforeLocal({ use, closestBinding }) {
+        if (!closestBinding)
+            return undefined;
+        const collision = resolveCppCollidingBinding(use.file, closestBinding, use.node, use.parsed.source);
+        if (collision === undefined)
+            return undefined;
+        if (!collision)
+            return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
+        return okGoToResult(use.index, collision, { resolution: "exact", confidence: "high" });
+    },
+    beforeCrossModule({ use, closestBinding }) {
+        const { index, mod, node, name, parsed } = use;
+        if (closestBinding?.kind === "function" && closestBinding.callable?.signature) {
+            return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
+        }
+        const visible = resolveVisibleCppCallableName(index, mod, name, node, parsed.source, loadParsed(use));
+        if (visible !== undefined) {
+            if (!visible)
+                return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
+            return okGoToResult(index, visible, { resolution: "exact", confidence: "high" });
+        }
+        const directed = resolveCppUsingDirectiveName(index, mod, name, node, parsed.source, loadParsed(use));
+        if (directed === undefined)
+            return undefined;
+        if (!directed)
+            return { status: "not_found", reason: AMBIGUOUS_CPP_USING_DIRECTIVE_REASON };
+        return okGoToResult(index, directed, { resolution: "import", confidence: "high" });
+    },
+    afterCrossModule: (state, resolved) => deferIncludedStarRecovery(state, resolved, undefined),
+    // Visible callables and `using` directives read every file the includes reach.
+    *preloadFiles(index, mod) {
+        for (const imp of mod.imports)
+            if (typeof imp.resolved === "string")
+                yield imp.resolved;
+        for (const reachable of cppStarImportClosure(index, mod))
+            yield reachable.file;
+    },
+};
+//# sourceMappingURL=c-family.js.map

package/dist/indexer/name-lookup-policies/c-family.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"c-family.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/c-family.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC5D,OAAO,EACL,6BAA6B,EAC7B,sCAAsC,EACtC,oCAAoC,EACpC,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,sDAAsD,CAAC;AAC7F,OAAO,EACL,oCAAoC,EACpC,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,EAC1B,0BAA0B,EAC1B,4BAA4B,EAC5B,6BAA6B,EAC7B,mCAAmC,GACpC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAK3D,MAAM,UAAU,GACd,CAAC,GAAgB,EAAE,EAAE,CACrB,CAAC,IAAY,EAA4B,EAAE,CACzC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAExB,+FAA+F;AAC/F,SAAS,yBAAyB,CAChC,KAAsB,EACtB,QAA2B,EAC3B,UAA0C;IAE1C,IAAI,QAAQ,EAAE,MAAM,KAAK,WAAW,IAAI,QAAQ,CAAC,MAAM,KAAK,4BAA4B;QAAE,OAAO,SAAS,CAAC;IAC3G,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE;QAC9E,QAAQ,EAAE,QAAQ;KACnB,CAAC;AACJ,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,IAAgE,EAAsB,EAAE,CAC5G,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;AAEtC,MAAM,CAAC,MAAM,aAAa,GAAqB;IAC7C,UAAU,EAAE,YAAY;IACxB,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;CAChH,CAAC;AAEF,MAAM,oCAAoC,GAAG,+BAA+B,CAAC;AAE7E,2FAA2F;AAC3F,SAAS,sBAAsB,CAAC,GAAgB,EAAE,aAAqB;IACrE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAC3D,MAAM,iBAAiB,GAAG,UAAU,CAAC,4BAA4B,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACrF,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,0BAA0B,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1F,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QACrF,OAAO,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,OAAO,GAAG,6BAA6B,CAAC,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/G,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QACpF,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,YAAY,GAAG,mCAAmC,CACtD,KAAK,EACL,GAAG,EACH,aAAa,EACb,IAAI,EACJ,MAAM,CAAC,MAAM,EACb,UAAU,CAAC,GAAG,CAAC,CAChB,CAAC;IACF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,YAAY;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QACzF,OAAO,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,sBAAsB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,SAAS,CAAC;AAC1F,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,uBAAuB,CAAC,GAAgB;IACtD,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;IACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,SAAS,GAAG,oCAAoC,CACpD,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,GAAG,EACP,IAAI,EACJ,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,MAAM,CAAC,MAAM,EACjB,GAAG,CAAC,MAAM,CAAC,IAAI,EACf,UAAU,CAAC,GAAG,CAAC,CAChB,CAAC;IACF,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,oCAAoC,EAAE,CAAC;IACrG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,CACL,sBAAsB,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI;YACxC,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,sDAAsD;SAC/D,CACF,CAAC;IACJ,CAAC;IACD,OAAO,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAqB;IAC/C,aAAa,EAAE,uBAAuB;IAEtC,0DAA0D;IAC1D,kBAAkB,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE;QACxC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QAC/C,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,yBAAyB,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACrG,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,MAAM,OAAO,GAAG,6BAA6B,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QACxG,IAAI,OAAO;YAAE,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/F,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC9E,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAChC,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,sCAAsC,EAAE,CAAC;IACjF,CAAC;IAED,8FAA8F;IAC9F,wEAAwE;IACxE,QAAQ,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE,IAAI;QACpC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC;QACjC,MAAM,kBAAkB,GACtB,CAAC,cAAc,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,cAAc,CAAC;QACvG,MAAM,aAAa,GAAG,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACvF,IAAI,CAAC,kBAAkB,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,iBAAiB;YAAE,OAAO,IAAI,EAAE,CAAC;QACpG,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE;YAC3C,QAAQ,EAAE,IAAI,EAAE;YAChB,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,0CAA0C,EAAE;SACpF,CAAC;IACJ,CAAC;IAED,6FAA6F;IAC7F,WAAW,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE;QACjC,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QACtC,MAAM,SAAS,GAAG,0BAA0B,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpG,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC9C,IAAI,CAAC,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QACtF,OAAO,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,iBAAiB,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE;QACvC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QAC/C,IAAI,cAAc,EAAE,IAAI,KAAK,UAAU,IAAI,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC;YAC9E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QACxE,CAAC;QACD,MAAM,OAAO,GAAG,6BAA6B,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QACtG,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;YACpF,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QACtG,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC7C,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,oCAAoC,EAAE,CAAC;QAC5F,OAAO,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC;IAE5F,+EAA+E;IAC/E,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG;QACtB,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO;YAAE,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ;gBAAE,MAAM,GAAG,CAAC,QAAQ,CAAC;QACxF,KAAK,MAAM,SAAS,IAAI,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,MAAM,SAAS,CAAC,IAAI,CAAC;IACjF,CAAC;CACF,CAAC"}

package/dist/indexer/name-lookup-policies/csharp-using-static.d.ts

@@ -0,0 +1,11 @@
+import type { BareNameUse, NameResolution } from "../name-resolution-types.js";
+import type { FileId } from "../../types.js";
+import type { GoToResult, ModuleIndex } from "../types.js";
+/** Files the lookup reads: the declaring file of every `using static` type. */
+export declare function csharpUsingStaticFiles(mod: ModuleIndex): FileId[];
+/**
+ * Combines the cross-module answer with `using static` members. A name that both a namespace
+ * lookup and a `using static` member provide is ambiguous: this lookup does not rank them.
+ */
+export declare function withCsharpUsingStatic(use: BareNameUse, lookupName: string, resolved: GoToResult | null): NameResolution | null;
+//# sourceMappingURL=csharp-using-static.d.ts.map

package/dist/indexer/name-lookup-policies/csharp-using-static.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"csharp-using-static.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/csharp-using-static.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAE/E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAa,MAAM,aAAa,CAAC;AAmBtE,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,EAAE,CAEjE;AAgGD;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,WAAW,EAChB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,UAAU,GAAG,IAAI,GAC1B,cAAc,GAAG,IAAI,CAUvB"}

package/dist/indexer/name-lookup-policies/csharp-using-static.js

@@ -0,0 +1,136 @@
+/**
+ * C# `using static N.T;` (C# spec, "Using static directives"): a simple name that no enclosing
+ * type or namespace member binds can name an accessible static member or nested type of `T`.
+ * Extension methods are excluded because they are reached only through a receiver. Member
+ * groups from several directives merge, and overloads are chosen by argument count only.
+ */
+import { callArgumentCount, declarationNodeIsStatic, nearestMemberContainer, } from "../../graphs/symbol-graph-detailed/receiver-calls.js";
+import { getCallableArity } from "../../languages/callable-arity.js";
+import { normalizeCsharpIdentifier } from "../../util/identifiers.js";
+import { fileIdentityKey } from "../../util/paths.js";
+import { csharpNamespaceAt } from "../compilation-units.js";
+import { isCsharpAccessibleOutsideType } from "../declaration-visibility.js";
+import { okGoToResult } from "../navigation-provenance.js";
+function usingStaticImports(mod) {
+    const imports = [];
+    for (const imp of mod.imports) {
+        if (imp.kind !== "star" || !imp.staticMembersOf || typeof imp.resolved !== "string")
+            continue;
+        const separator = imp.staticMembersOf.lastIndexOf(".");
+        imports.push({
+            file: imp.resolved,
+            namespace: imp.staticMembersOf.slice(0, separator),
+            typeName: imp.staticMembersOf.slice(separator + 1),
+        });
+    }
+    return imports;
+}
+/** Files the lookup reads: the declaring file of every `using static` type. */
+export function csharpUsingStaticFiles(mod) {
+    return usingStaticImports(mod).map((imp) => imp.file);
+}
+const NESTED_TYPE_DECLARATIONS = new Set([
+    "class_declaration",
+    "struct_declaration",
+    "record_declaration",
+    "interface_declaration",
+    "enum_declaration",
+    "delegate_declaration",
+]);
+/** The member declaration a definition names; a field's name sits in a variable declarator. */
+function declarationOf(parsed, def) {
+    const start = def.range.start.index;
+    if (start === undefined)
+        return null;
+    const named = parsed.tree.rootNode.descendantForIndex(start, def.range.end.index ?? start).parent;
+    return named?.type === "variable_declarator" ? (named.parent?.parent ?? null) : named;
+}
+/** The first parameter carries `this`: an extension method, not importable as a simple name. */
+function isExtensionMethod(declaration) {
+    const first = declaration.childForFieldName("parameters")?.namedChildren[0];
+    return !!first?.namedChildren.some((child) => child.type === "modifier" && child.text === "this");
+}
+/**
+ * Whether `declaration` is a member `using static` imports from the top-level type the directive
+ * names. One file can declare `P.Util` and `Q.Util`, so the owner's namespace must match too.
+ */
+function importsMember(use, parsed, declaration, imp) {
+    const container = nearestMemberContainer(declaration);
+    if (!container || nearestMemberContainer(container))
+        return false;
+    const ownerName = container.childForFieldName("name")?.text;
+    if (!ownerName || normalizeCsharpIdentifier(ownerName) !== imp.typeName)
+        return false;
+    if (csharpNamespaceAt(use.index, imp.file, container.startIndex) !== imp.namespace)
+        return false;
+    if (!isCsharpAccessibleOutsideType(declaration))
+        return false;
+    if (NESTED_TYPE_DECLARATIONS.has(declaration.type) || container.type === "enum_declaration")
+        return true;
+    if (isExtensionMethod(declaration))
+        return false;
+    return (declarationNodeIsStatic(declaration, parsed.source) ||
+        declaration.namedChildren.some((child) => child.type === "modifier" && child.text === "const"));
+}
+/**
+ * Members named `name` imported by the module's `using static` directives, or `null` when a
+ * declaring file is not parsed yet (the provider records the miss for a retry).
+ */
+function usingStaticCandidates(use, name) {
+    const candidates = [];
+    let complete = true;
+    for (const imp of usingStaticImports(use.mod)) {
+        const target = use.index.byFile.get(fileIdentityKey(imp.file));
+        const matches = target?.locals.filter((local) => local.localName === name) ?? [];
+        if (!matches.length)
+            continue;
+        const parsed = use.files.get(imp.file);
+        if (!parsed) {
+            complete = false;
+            continue;
+        }
+        for (const def of matches) {
+            const declaration = declarationOf(parsed, def);
+            if (declaration && importsMember(use, parsed, declaration, imp)) {
+                candidates.push({ def, declaration, source: parsed.source });
+            }
+        }
+    }
+    return complete ? candidates : null;
+}
+/** One candidate, or the unique one whose parameters accept the call's argument count. */
+function selectCandidate(use, candidates) {
+    if (candidates.length === 1)
+        return candidates[0].def;
+    const call = use.node.parent;
+    const argumentCount = call?.type === "invocation_expression" && call.childForFieldName("function")?.id === use.node.id
+        ? callArgumentCount(call, use.parsed.source)
+        : null;
+    if (argumentCount === null)
+        return null;
+    const accepting = candidates.filter(({ declaration, source }) => {
+        const arity = getCallableArity({ languageId: "csharp", source, declaration });
+        return !!arity && argumentCount >= arity.minArgs && (arity.maxArgs === null || argumentCount <= arity.maxArgs);
+    });
+    return accepting.length === 1 ? accepting[0].def : null;
+}
+const sameDefinition = (left, right) => fileIdentityKey(left.file) === fileIdentityKey(right.file) && left.range.start.index === right.range.start.index;
+/**
+ * Combines the cross-module answer with `using static` members. A name that both a namespace
+ * lookup and a `using static` member provide is ambiguous: this lookup does not rank them.
+ */
+export function withCsharpUsingStatic(use, lookupName, resolved) {
+    const candidates = usingStaticCandidates(use, lookupName);
+    if (!candidates?.length)
+        return resolved;
+    const selected = selectCandidate(use, candidates);
+    if (resolved?.status === "ok") {
+        if (selected && sameDefinition(selected, resolved.definition))
+            return resolved;
+        return { status: "not_found", reason: "Ambiguous name: a namespace member and a using static member" };
+    }
+    if (!selected)
+        return { status: "not_found", reason: "No unique using static member" };
+    return okGoToResult(use.index, selected, { resolution: "import", confidence: "high" });
+}
+//# sourceMappingURL=csharp-using-static.js.map

package/dist/indexer/name-lookup-policies/csharp-using-static.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"csharp-using-static.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/csharp-using-static.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,sDAAsD,CAAC;AAE9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAS3D,SAAS,kBAAkB,CAAC,GAAgB;IAC1C,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,eAAe,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ;YAAE,SAAS;QAC9F,MAAM,SAAS,GAAG,GAAG,CAAC,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,GAAG,CAAC,QAAQ;YAClB,SAAS,EAAE,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;YAClD,QAAQ,EAAE,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;SACnD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sBAAsB,CAAC,GAAgB;IACrD,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,uBAAuB;IACvB,kBAAkB;IAClB,sBAAsB;CACvB,CAAC,CAAC;AAEH,+FAA+F;AAC/F,SAAS,aAAa,CAAC,MAAyB,EAAE,GAAc;IAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC;IAClG,OAAO,KAAK,EAAE,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACxF,CAAC;AAED,gGAAgG;AAChG,SAAS,iBAAiB,CAAC,WAA2B;IACpD,MAAM,KAAK,GAAG,WAAW,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAC5E,OAAO,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;AACpG,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,GAAgB,EAChB,MAAyB,EACzB,WAA2B,EAC3B,GAAsB;IAEtB,MAAM,SAAS,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,CAAC,SAAS,IAAI,sBAAsB,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAClE,MAAM,SAAS,GAAG,SAAS,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;IAC5D,IAAI,CAAC,SAAS,IAAI,yBAAyB,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtF,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IACjG,IAAI,CAAC,6BAA6B,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACzG,IAAI,iBAAiB,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,OAAO,CACL,uBAAuB,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC;QACnD,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAC/F,CAAC;AACJ,CAAC;AAID;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAgB,EAAE,IAAY;IAC3D,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACjF,IAAI,CAAC,OAAO,CAAC,MAAM;YAAE,SAAS;QAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,QAAQ,GAAG,KAAK,CAAC;YACjB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,WAAW,IAAI,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;gBAChE,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;AACtC,CAAC;AAED,0FAA0F;AAC1F,SAAS,eAAe,CAAC,GAAgB,EAAE,UAAgC;IACzE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC;IACvD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;IAC7B,MAAM,aAAa,GACjB,IAAI,EAAE,IAAI,KAAK,uBAAuB,IAAI,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE;QAC9F,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,aAAa,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE;QAC9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,CAAC,KAAK,IAAI,aAAa,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAW,EAAE,CACpE,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;AAEnH;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAgB,EAChB,UAAkB,EAClB,QAA2B;IAE3B,MAAM,UAAU,GAAG,qBAAqB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC1D,IAAI,CAAC,UAAU,EAAE,MAAM;QAAE,OAAO,QAAQ,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAClD,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,QAAQ,IAAI,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC;YAAE,OAAO,QAAQ,CAAC;QAC/E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,8DAA8D,EAAE,CAAC;IACzG,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC;IACvF,OAAO,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;AACzF,CAAC"}

package/dist/indexer/name-lookup-policies/implicit-self.d.ts

@@ -0,0 +1,10 @@
+import type { NameLookupPolicy } from "../name-resolution-types.js";
+export declare const swiftLookupPolicy: NameLookupPolicy;
+export declare const csharpLookupPolicy: NameLookupPolicy;
+/**
+ * Java and Kotlin: a type method bound lexically still needs static-scope and overload checks,
+ * and an inherited member beats a same-file top-level (Kotlin) function, a same-package
+ * declaration, or an import.
+ */
+export declare const jvmLookupPolicy: NameLookupPolicy;
+//# sourceMappingURL=implicit-self.d.ts.map

package/dist/indexer/name-lookup-policies/implicit-self.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-self.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/implicit-self.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,gBAAgB,EAAmC,MAAM,6BAA6B,CAAC;AAiDrG,eAAO,MAAM,iBAAiB,EAAE,gBAiB/B,CAAC;AAcF,eAAO,MAAM,kBAAkB,EAAE,gBAwBhC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,gBAc7B,CAAC"}

package/dist/indexer/name-lookup-policies/implicit-self.js

@@ -0,0 +1,119 @@
+/**
+ * Swift, C#, Java, and Kotlin additions to the shared name lookup order: inside a type, a member
+ * reached through the implicit `self`/`this` (including an inherited one) is settled by the
+ * member lookup, which applies static scope and overload selection, and it takes precedence over
+ * a same-named module-level name or import.
+ */
+import { declaresMembers, nearestMemberContainer, nodeInStaticMemberContext, } from "../../graphs/symbol-graph-detailed/receiver-calls.js";
+import { sliceText } from "../../util/ast.js";
+import { csharpAliasQualifiedLookupName, implicitSelfCallee, isDirectKeywordMemberDeclaration, } from "../navigation-goto.js";
+import { csharpLookupName, definitionForBinding } from "../navigation-local.js";
+import { csharpUsingStaticFiles, withCsharpUsingStatic } from "./csharp-using-static.js";
+import { okGoToResult } from "../navigation-provenance.js";
+import { resolveCsharpQualifiedName } from "../navigation-resolve.js";
+const implicitSelf = (state, fallback) => ({
+    status: "deferred",
+    request: { kind: "implicit-self-member", lookupName: state.lookupName },
+    fallback,
+});
+const lexical = (state, local) => okGoToResult(state.use.index, local, { resolution: "exact", confidence: "high" });
+/** The closest binding is declared in the file's top scope (module-level function or type). */
+const bindsAtFileScope = ({ use, closestBinding }) => !!closestBinding && use.scopeIndex.allScopes[0]?.map.get(closestBinding.canonicalName) === closestBinding;
+/**
+ * The closest binding is a method declared directly in a type body. Overloads bound this way are
+ * not grouped by the scope lookup, so the member lookup chooses among them; a function declared
+ * inside a method body is not a member and keeps its lexical binding.
+ */
+function bindsTypeMethod({ closestBinding }) {
+    const declaration = closestBinding?.kind === "function" ? closestBinding.node?.parent : undefined;
+    const container = declaration ? nearestMemberContainer(declaration) : null;
+    return !!declaration && !!container && isDirectKeywordMemberDeclaration(declaration, container);
+}
+/** An overload name at its declaration resolves to itself, not a later same-scope declaration. */
+function ownOverloadDeclaration({ use, closestBinding }) {
+    const { node, file, parsed } = use;
+    for (let binding = closestBinding; binding; binding = binding.earlierSameScope ?? null) {
+        if (binding.node?.startIndex !== node.startIndex || binding.node.endIndex !== node.endIndex)
+            continue;
+        const own = definitionForBinding(binding, file, node, parsed.sup, parsed.source, parsed.tree);
+        return own ? okGoToResult(use.index, own, { resolution: "exact", confidence: "high" }) : undefined;
+    }
+    return undefined;
+}
+/** The use is the callee of a receiverless call (`f()`). */
+const isImplicitSelfCall = ({ use }) => implicitSelfCallee(use.parsed.sup.id, use.node.parent ?? use.node)?.id === use.node.id;
+/** A nominal type is not a member of its own declaration or extension. */
+function namesEnclosingSwiftType(state, def) {
+    if (!declaresMembers(def))
+        return false;
+    const owner = nearestMemberContainer(state.use.node);
+    return sliceText(owner?.childForFieldName("name"), state.use.parsed.source) === state.lookupName;
+}
+export const swiftLookupPolicy = {
+    fromClosestBinding: ownOverloadDeclaration,
+    // Swift checks every bare name through `self`; method-local bindings still win.
+    onLocal(state, local) {
+        if (namesEnclosingSwiftType(state, local) || (!bindsAtFileScope(state) && !bindsTypeMethod(state)))
+            return undefined;
+        return implicitSelf(state, lexical(state, local));
+    },
+    afterCrossModule(state, resolved) {
+        if (resolved?.status === "ok" && namesEnclosingSwiftType(state, resolved.definition))
+            return resolved;
+        // A member reached only by name, not through `self`, is not a module-level target.
+        const memberOnly = resolved?.status === "ok" && !!resolved.definition.isMember;
+        return implicitSelf(state, memberOnly ? { status: "not_found", reason: "No matching Swift member definition" } : resolved);
+    },
+};
+/**
+ * A qualified C# type name (`P.Mix`) the directory-scoped lookup missed, resolved through the
+ * file's `using P;` across every directory that declares `P`.
+ */
+function csharpQualifiedThroughUsing({ use, lookupName }) {
+    if (!lookupName.includes("."))
+        return null;
+    const hit = resolveCsharpQualifiedName(use.index, use.mod, lookupName, use.node.startIndex);
+    return hit?.kind === "resolved"
+        ? okGoToResult(use.index, hit.def, { resolution: "import", confidence: "high" })
+        : null;
+}
+export const csharpLookupPolicy = {
+    lookupName: (use) => csharpLookupName(use.node, use.parsed.source, use.name),
+    fromClosestBinding: ownOverloadDeclaration,
+    crossModuleName: ({ use, lookupName }) => csharpAliasQualifiedLookupName(use.node, use.parsed.source, lookupName, use.mod.imports),
+    // A static member function reaches only static members of its type.
+    onLocal(state, local) {
+        if (!bindsTypeMethod(state) || !isImplicitSelfCall(state))
+            return undefined;
+        const staticContext = nodeInStaticMemberContext(state.use.node, state.use.parsed.source);
+        return implicitSelf(state, staticContext
+            ? { status: "not_found", reason: "No matching C# static member definition" }
+            : lexical(state, local));
+    },
+    // Partial members declared in another file reach this path only as invocation callees.
+    // Without a member, `using static` members join the namespace-level answer.
+    afterCrossModule: (state, resolved) => implicitSelf(state, withCsharpUsingStatic(state.use, state.lookupName, resolved ?? csharpQualifiedThroughUsing(state))),
+    preloadFiles: (_index, mod) => csharpUsingStaticFiles(mod),
+};
+/**
+ * Java and Kotlin: a type method bound lexically still needs static-scope and overload checks,
+ * and an inherited member beats a same-file top-level (Kotlin) function, a same-package
+ * declaration, or an import.
+ */
+export const jvmLookupPolicy = {
+    // Java methods and variables are separate namespaces: `int hit = 0; hit();` still calls the
+    // method. A Kotlin local holding a function is callable, so Kotlin keeps the binding.
+    ignoresBinding: (use, binding) => use.parsed.sup.id === "java" &&
+        binding.kind !== "function" &&
+        implicitSelfCallee("java", use.node.parent ?? use.node)?.id === use.node.id,
+    fromClosestBinding: ownOverloadDeclaration,
+    onLocal(state, local) {
+        if (state.closestBinding?.kind !== "function" || !isImplicitSelfCall(state))
+            return undefined;
+        if (!bindsAtFileScope(state) && !bindsTypeMethod(state))
+            return undefined;
+        return implicitSelf(state, lexical(state, local));
+    },
+    afterCrossModule: (state, resolved) => implicitSelf(state, resolved),
+};
+//# sourceMappingURL=implicit-self.js.map

package/dist/indexer/name-lookup-policies/implicit-self.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-self.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/implicit-self.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,sDAAsD,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAClB,gCAAgC,GACjC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAItE,MAAM,YAAY,GAAG,CAAC,KAAsB,EAAE,QAA+B,EAAkB,EAAE,CAAC,CAAC;IACjG,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE;IACvE,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,KAAsB,EAAE,KAAgB,EAAc,EAAE,CACvE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;AAEpF,+FAA+F;AAC/F,MAAM,gBAAgB,GAAG,CAAC,EAAE,GAAG,EAAE,cAAc,EAAmB,EAAW,EAAE,CAC7E,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,cAAc,CAAC;AAE5G;;;;GAIG;AACH,SAAS,eAAe,CAAC,EAAE,cAAc,EAAmB;IAC1D,MAAM,WAAW,GAAG,cAAc,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAClG,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,OAAO,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,IAAI,gCAAgC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;AAClG,CAAC;AAED,kGAAkG;AAClG,SAAS,sBAAsB,CAAC,EAAE,GAAG,EAAE,cAAc,EAAmB;IACtE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IACnC,KAAK,IAAI,OAAO,GAAG,cAAc,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,IAAI,IAAI,EAAE,CAAC;QACvF,IAAI,OAAO,CAAC,IAAI,EAAE,UAAU,KAAK,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;YAAE,SAAS;QACtG,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9F,OAAO,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrG,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4DAA4D;AAC5D,MAAM,kBAAkB,GAAG,CAAC,EAAE,GAAG,EAAmB,EAAW,EAAE,CAC/D,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAEzF,0EAA0E;AAC1E,SAAS,uBAAuB,CAAC,KAAsB,EAAE,GAAc;IACrE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,SAAS,CAAC,KAAK,EAAE,iBAAiB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,UAAU,CAAC;AACnG,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAqB;IACjD,kBAAkB,EAAE,sBAAsB;IAC1C,gFAAgF;IAChF,OAAO,CAAC,KAAK,EAAE,KAAK;QAClB,IAAI,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;YAChG,OAAO,SAAS,CAAC;QACnB,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,gBAAgB,CAAC,KAAK,EAAE,QAA2B;QACjD,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC;YAAE,OAAO,QAAQ,CAAC;QACtG,mFAAmF;QACnF,MAAM,UAAU,GAAG,QAAQ,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;QAC/E,OAAO,YAAY,CACjB,KAAK,EACL,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAC/F,CAAC;IACJ,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,SAAS,2BAA2B,CAAC,EAAE,GAAG,EAAE,UAAU,EAAmB;IACvE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAG,0BAA0B,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5F,OAAO,GAAG,EAAE,IAAI,KAAK,UAAU;QAC7B,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAChF,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAqB;IAClD,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;IAC5E,kBAAkB,EAAE,sBAAsB;IAC1C,eAAe,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CACvC,8BAA8B,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;IAC1F,oEAAoE;IACpE,OAAO,CAAC,KAAK,EAAE,KAAK;QAClB,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5E,MAAM,aAAa,GAAG,yBAAyB,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACzF,OAAO,YAAY,CACjB,KAAK,EACL,aAAa;YACX,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,yCAAyC,EAAE;YAC5E,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAC1B,CAAC;IACJ,CAAC;IACD,uFAAuF;IACvF,4EAA4E;IAC5E,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CACpC,YAAY,CACV,KAAK,EACL,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,IAAI,2BAA2B,CAAC,KAAK,CAAC,CAAC,CACnG;IACH,YAAY,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC;CAC3D,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAqB;IAC/C,4FAA4F;IAC5F,sFAAsF;IACtF,cAAc,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAC/B,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,MAAM;QAC5B,OAAO,CAAC,IAAI,KAAK,UAAU;QAC3B,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE;IAC7E,kBAAkB,EAAE,sBAAsB;IAC1C,OAAO,CAAC,KAAK,EAAE,KAAK;QAClB,IAAI,KAAK,CAAC,cAAc,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9F,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1E,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC;CACrE,CAAC"}

package/dist/indexer/name-lookup-policies/index.d.ts

@@ -0,0 +1,3 @@
+import type { NameLookupPolicy } from "../name-resolution-types.js";
+export declare function nameLookupPolicyFor(languageId: string): NameLookupPolicy;
+//# sourceMappingURL=index.d.ts.map

package/dist/indexer/name-lookup-policies/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/index.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAsHpE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,CAExE"}

package/dist/indexer/name-lookup-policies/index.js

@@ -0,0 +1,132 @@
+/**
+ * Per-language additions to the shared bare-name lookup order in `../name-resolution.ts`.
+ * New lookup rules belong in a policy here, never in a consumer (go-to-definition, references,
+ * or the detailed graph), so every consumer answers the same way.
+ */
+import { getCallArgumentCount } from "../../languages/callable-arity.js";
+import { rustTokenTreeNameFollowsSeparator } from "../../util/member-access.js";
+import { fileIdentityKey } from "../../util/paths.js";
+import { okGoToResult } from "../navigation-provenance.js";
+import { resolveImported } from "../navigation-resolve.js";
+import { typescriptOverloadImplementationAcceptsCount } from "../ts-callables.js";
+import { SymbolKind } from "../types.js";
+import { cLookupPolicy, cppLookupPolicy } from "./c-family.js";
+import { csharpLookupPolicy, jvmLookupPolicy, swiftLookupPolicy } from "./implicit-self.js";
+import { phpLookupPolicy } from "./php.js";
+/** Whether a function shares its name with another function in its file (an overload set). */
+function hasSameNameSiblings(module, def) {
+    return module.locals.some((candidate) => candidate.kind === def.kind &&
+        candidate.localName === def.localName &&
+        candidate.range.start.index !== def.range.start.index);
+}
+/** TypeScript overloads: a call must match a signature of the implementation it names. */
+const typescriptLookupPolicy = {
+    onUnboundLocal({ use, closestBinding }) {
+        if (closestBinding?.kind !== "function" || use.node.parent?.type !== "call_expression")
+            return undefined;
+        return { status: "not_found", reason: "No matching TypeScript overload signature" };
+    },
+    afterCrossModule({ use }, resolved) {
+        const call = use.node.parent;
+        if (call?.type !== "call_expression" || resolved?.status !== "ok")
+            return undefined;
+        const target = resolved.definition;
+        if (target.kind !== SymbolKind.Function)
+            return undefined;
+        const argumentCount = getCallArgumentCount({ languageId: use.parsed.sup.id, source: use.parsed.source, call });
+        const targetModule = use.index.byFile.get(fileIdentityKey(target.file));
+        // Only an overload set needs the target's syntax; a single implementation accepts any count.
+        if (argumentCount === null || !targetModule || !hasSameNameSiblings(targetModule, target))
+            return undefined;
+        const targetContext = use.files.get(target.file);
+        if (!targetContext || (targetContext.sup.id !== "ts" && targetContext.sup.id !== "tsx"))
+            return undefined;
+        const accepted = typescriptOverloadImplementationAcceptsCount({
+            implementation: target,
+            locals: targetModule.locals,
+            argumentCount,
+        });
+        return accepted ? undefined : { status: "not_found", reason: "No matching TypeScript overload signature" };
+    },
+    // A re-exported overload set lives in another file than the module the import names.
+    *preloadFiles(index, mod) {
+        for (const imp of mod.imports) {
+            if (imp.kind !== "named" && imp.kind !== "default")
+                continue;
+            const target = resolveImported(index, imp, imp.kind === "default" ? "default" : imp.imported);
+            if (!target || "namespace" in target)
+                continue;
+            const targetModule = index.byFile.get(fileIdentityKey(target.file));
+            if (targetModule && hasSameNameSiblings(targetModule, target))
+                yield target.file;
+        }
+    },
+};
+/** Python: a module object is not callable. */
+const pythonLookupPolicy = {
+    afterCrossModule({ use }, resolved) {
+        if (use.node.parent?.type !== "call" || resolved?.status !== "ok")
+            return undefined;
+        if (resolved.provenance?.resolution !== "namespace")
+            return undefined;
+        // A namespace binding holds a module object: the call is an error, not a call to the
+        // module's first export.
+        return { status: "not_found", reason: "No callable definition for a Python module binding" };
+    },
+};
+/** Rust: macro arguments stay unparsed token trees. */
+const rustLookupPolicy = {
+    // A name preceded by `.` or `::` there is a member or path receiver the raw tokens cannot
+    // prove, so bare-name resolution would answer with an unrelated same-named free function.
+    beforeLexical(use) {
+        if (!rustTokenTreeNameFollowsSeparator(use.node))
+            return undefined;
+        return { status: "not_found", reason: "No resolvable receiver inside a Rust macro token tree" };
+    },
+};
+/** Go package aliases yield to closer local bindings. */
+const goLookupPolicy = {
+    moduleAliasIsUnshadowed: ({ use, closestBinding }) => !closestBinding || use.scopeIndex.allScopes[0]?.map.get(closestBinding.canonicalName) === closestBinding,
+};
+/** A Zig declaration initialized from an imported member names the source symbol. */
+const zigLookupPolicy = {
+    onLocal({ use, lookupName }, local) {
+        const binding = use.mod.imports.find((candidate) => candidate.kind === "named" &&
+            candidate.local === lookupName &&
+            candidate.localRange?.start.index === local.range.start.index &&
+            fileIdentityKey(local.file) === fileIdentityKey(use.file));
+        if (!binding || binding.kind !== "named")
+            return undefined;
+        const target = resolveImported(use.index, binding, binding.imported);
+        if (!target || "namespace" in target)
+            return { status: "not_found", reason: "Unresolved Zig symbol import" };
+        return okGoToResult(use.index, target, {
+            via: {
+                ...(typeof binding.resolved === "string" ? { importedFrom: binding.resolved } : {}),
+                exportedName: binding.imported,
+            },
+            resolution: "import",
+            confidence: "high",
+        });
+    },
+};
+const NO_POLICY = {};
+const POLICIES = {
+    c: cLookupPolicy,
+    cpp: cppLookupPolicy,
+    csharp: csharpLookupPolicy,
+    java: jvmLookupPolicy,
+    go: goLookupPolicy,
+    kotlin: jvmLookupPolicy,
+    php: phpLookupPolicy,
+    python: pythonLookupPolicy,
+    rust: rustLookupPolicy,
+    swift: swiftLookupPolicy,
+    ts: typescriptLookupPolicy,
+    tsx: typescriptLookupPolicy,
+    zig: zigLookupPolicy,
+};
+export function nameLookupPolicyFor(languageId) {
+    return POLICIES[languageId] ?? NO_POLICY;
+}
+//# sourceMappingURL=index.js.map

package/dist/indexer/name-lookup-policies/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,4CAA4C,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,EAAoC,UAAU,EAAE,MAAM,aAAa,CAAC;AAE3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAE3C,8FAA8F;AAC9F,SAAS,mBAAmB,CAAC,MAAmB,EAAE,GAAc;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CACvB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;QAC3B,SAAS,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS;QACrC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CACxD,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,sBAAsB,GAAqB;IAC/C,cAAc,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE;QACpC,IAAI,cAAc,EAAE,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,iBAAiB;YAAE,OAAO,SAAS,CAAC;QACzG,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAC;IACtF,CAAC;IACD,gBAAgB,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACpF,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC;QACnC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1D,MAAM,aAAa,GAAG,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/G,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,6FAA6F;QAC7F,IAAI,aAAa,KAAK,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB,CAAC,YAAY,EAAE,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5G,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1G,MAAM,QAAQ,GAAG,4CAA4C,CAAC;YAC5D,cAAc,EAAE,MAAM;YACtB,MAAM,EAAE,YAAY,CAAC,MAAM;YAC3B,aAAa;SACd,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAC;IAC7G,CAAC;IACD,qFAAqF;IACrF,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG;QACtB,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAS;YAC7D,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC9F,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,MAAM;gBAAE,SAAS;YAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YACpE,IAAI,YAAY,IAAI,mBAAmB,CAAC,YAAY,EAAE,MAAM,CAAC;gBAAE,MAAM,MAAM,CAAC,IAAI,CAAC;QACnF,CAAC;IACH,CAAC;CACF,CAAC;AAEF,+CAA+C;AAC/C,MAAM,kBAAkB,GAAqB;IAC3C,gBAAgB,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ;QAChC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACpF,IAAI,QAAQ,CAAC,UAAU,EAAE,UAAU,KAAK,WAAW;YAAE,OAAO,SAAS,CAAC;QACtE,qFAAqF;QACrF,yBAAyB;QACzB,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,oDAAoD,EAAE,CAAC;IAC/F,CAAC;CACF,CAAC;AAEF,uDAAuD;AACvD,MAAM,gBAAgB,GAAqB;IACzC,0FAA0F;IAC1F,0FAA0F;IAC1F,aAAa,CAAC,GAAG;QACf,IAAI,CAAC,iCAAiC,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACnE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;IAClG,CAAC;CACF,CAAC;AAEF,yDAAyD;AACzD,MAAM,cAAc,GAAqB;IACvC,uBAAuB,EAAE,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,CACnD,CAAC,cAAc,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,cAAc;CAC3G,CAAC;AACF,qFAAqF;AACrF,MAAM,eAAe,GAAqB;IACxC,OAAO,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,KAAK;QAChC,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,OAAO;YAC1B,SAAS,CAAC,KAAK,KAAK,UAAU;YAC9B,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK;YAC7D,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAC5D,CAAC;QACF,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,SAAS,CAAC;QAC3D,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACrE,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,MAAM;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;QAC7G,OAAO,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE;YACrC,GAAG,EAAE;gBACH,GAAG,CAAC,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,YAAY,EAAE,OAAO,CAAC,QAAQ;aAC/B;YACD,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,MAAM;SACnB,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AACF,MAAM,SAAS,GAAqB,EAAE,CAAC;AAEvC,MAAM,QAAQ,GAA+C;IAC3D,CAAC,EAAE,aAAa;IAChB,GAAG,EAAE,eAAe;IACpB,MAAM,EAAE,kBAAkB;IAC1B,IAAI,EAAE,eAAe;IACrB,EAAE,EAAE,cAAc;IAClB,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,eAAe;IACpB,MAAM,EAAE,kBAAkB;IAC1B,IAAI,EAAE,gBAAgB;IACtB,KAAK,EAAE,iBAAiB;IACxB,EAAE,EAAE,sBAAsB;IAC1B,GAAG,EAAE,sBAAsB;IAC3B,GAAG,EAAE,eAAe;CACrB,CAAC;AAEF,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACpD,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC;AAC3C,CAAC"}

package/dist/indexer/name-lookup-policies/php.d.ts

@@ -0,0 +1,3 @@
+import type { NameLookupPolicy } from "../name-resolution-types.js";
+export declare const phpLookupPolicy: NameLookupPolicy;
+//# sourceMappingURL=php.d.ts.map

package/dist/indexer/name-lookup-policies/php.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"php.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/php.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAe,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAgBjF,eAAO,MAAM,eAAe,EAAE,gBAwE7B,CAAC"}