@lzehrung/codegraph 2.3.31 → 3.0.0

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

@@ -1,9 +1,9 @@
 import { type LanguageSupport } from "../languages.js";
 import type { SyntaxTreeLike } from "../languages/types.js";
-import type { Range } from "../types.js";
+import type { FileId, Range } from "../types.js";
 import { type ParsedFileContext } from "./parse-context.js";
-import { type ScopeIndex } from "./scope.js";
-import type { ExportEntry, ImportBindingRole, ModuleIndex, ProjectIndex, ReferenceCoverage, ResolutionProvenance, SymbolDef } from "./types.js";
+import type { ScopeIndex } from "./scope.js";
+import { type ExportEntry, type ImportBindingRole, type ModuleIndex, type ProjectIndex, type ReferenceCoverage, type ReferenceCoverageReason, type ResolutionProvenance, type SymbolDef } from "./types.js";
 import type { ImportBinding } from "./import-types.js";
 type ReexportEntry = Extract<ExportEntry, {
     type: "reexport";
@@ -27,7 +27,7 @@ export type VerifiedNamedNodeReference = {
         reexport: true;
     };
 };
-export declare function collectVerifiedNamedNodeReferences(index: ProjectIndex, fileId: string, symbolName: string, expectedDef: SymbolDef, resolveDefinition: (params: {
+type ReferenceDefinitionResolver = (params: {
     file: string;
     line: number;
     column: number;
@@ -35,10 +35,66 @@ export declare function collectVerifiedNamedNodeReferences(index: ProjectIndex,
     status: string;
     definition?: SymbolDef;
     provenance?: ResolutionProvenance;
-}>, maxVerified?: number, includeReference?: (reference: VerifiedNamedNodeReference) => boolean): Promise<VerifiedNamedNodeReference[]>;
+    reason?: string;
+}>;
+/** True when `range` is the property of a member-access expression, not a bare call. */
+export declare function isMemberAccessPropertyRange(parsed: ParsedFileContext, range: Range): boolean;
+export declare function collectVerifiedNamedNodeReferences(index: ProjectIndex, fileId: string, symbolName: string, expectedDef: SymbolDef, resolveDefinition: ReferenceDefinitionResolver, maxVerified?: number, includeReference?: (reference: VerifiedNamedNodeReference) => boolean, onReceiverProofUnavailable?: (file: FileId) => void, equivalentDefinitions?: readonly SymbolDef[]): Promise<VerifiedNamedNodeReference[]>;
 export declare function getCandidateReferenceNames(moduleIndex: ModuleIndex, definitionFile: string, exportedNameSet: Set<string>): string[];
 export declare function hasExpandedNamedImport(moduleIndex: ModuleIndex, targetFile: string, symbolName: string): boolean;
-export declare function getCachedReferenceCandidateFiles(index: ProjectIndex, def: SymbolDef, exportedNames: readonly string[], hasGlobalNameReferences: boolean): string[];
+/** A package import may expose a child only along its exact dotted module path. */
+export declare function pythonParentPackageNamespacePaths(moduleIndex: ModuleIndex, definitionFile: string): Array<{
+    namespace: string;
+    importBinding: ImportBinding;
+}>;
+export declare function getCachedReferenceCandidateFiles(index: ProjectIndex, def: SymbolDef, exportedNames: readonly string[], hasGlobalNameReferences: boolean, languageId: string): string[];
+/**
+ * The single precedence table for reference-coverage reasons, shared by the direct
+ * indexed-candidate builder and the bounded reference lookup cache. Existing reasons keep
+ * their established relative order so current expectations stay stable; the two strategy
+ * reasons sit after the file-level reasons they refine and before `truncated`, because a
+ * skipped collection strategy is a correctness gap while `truncated` only reflects the
+ * caller's own requested bound.
+ */
+export declare const REFERENCE_COVERAGE_REASON_ORDER: readonly ReferenceCoverageReason[];
+/**
+ * A reference-collection strategy a definition's language and shape require. Coverage reports
+ * `strategy_unavailable` when an applicable strategy never ran, so a reference set that is
+ * missing sites because a scan was skipped can no longer claim `state: "complete"`.
+ *
+ * Applicability is a capability fact about the definition's language, not a result fact: a
+ * strategy that legitimately produced nothing (an export with no same-file uses) is still
+ * `executed`, while a strategy the language cannot run is applicable-but-not-executed.
+ */
+export type ReferenceStrategyId = "same_file_occurrence" | "php_qualified_name" | "implicit_unit_peers";
+export type ReferenceStrategyReport = {
+    applicable: readonly ReferenceStrategyId[];
+    executed: readonly ReferenceStrategyId[];
+};
+export declare function describeReferenceStrategies(args: {
+    languageId: string;
+    /** PHP global/qualified probe names produced for the definition; empty for other languages. */
+    phpQualifiedNames: readonly string[];
+    /**
+     * Same-file occurrence scan facts, for a language whose scope layer cannot register the
+     * declaration's occurrences. Omit for languages that do register them; omitting a strategy
+     * never reports it as unavailable.
+     */
+    sameFileOccurrence?: {
+        applicable: boolean;
+        executed: boolean;
+    };
+    /**
+     * Implicit compilation-unit peer enumeration, for languages whose files can name each
+     * other's top-level declarations without imports. `executed` is true only when the unit
+     * boundary is proven complete, so a unit that may extend beyond the enumerated peers
+     * reports `strategy_unavailable` instead of implying full candidate coverage.
+     */
+    implicitUnitPeers?: {
+        applicable: boolean;
+        executed: boolean;
+    };
+}): ReferenceStrategyReport;
 export declare function rangeIdentityKey(range: Range): string;
 export declare function referenceSiteKey(file: string, range: Range): string;
 export declare function rangesEqual(left: Range | undefined, right: Range | undefined): boolean;
@@ -51,13 +107,24 @@ export declare function importBindingIdentityVerificationSites(imp: ImportBindin
     importBinding: ImportBindingRole;
 }>;
 export declare function importBindingDeclarationRangeKeys(moduleIndex: ModuleIndex | undefined): Set<string>;
+/** Recover C++ overload candidates through real exports, never the unresolved-import name shortcut. */
+export declare function cppCanonicalStructuralExport(index: ProjectIndex, targetFile: string, exportedName: string, def: SymbolDef, languageId: string): boolean;
 export declare function buildIndexedCandidateCoverage(args: {
     index: ProjectIndex;
     def: SymbolDef;
+    languageId: string;
     exportedNames: readonly string[];
     candidateFiles: readonly string[];
     scannedFiles: readonly string[];
     truncated: boolean;
+    /**
+     * Reference strategies applicable to this definition and the subset that actually ran.
+     * Optional so existing callers compile unchanged; without it coverage keeps its historical
+     * file-count behavior. When supplied, an applicable strategy absent from `executed` reports
+     * `strategy_unavailable`.
+     */
+    strategies?: ReferenceStrategyReport;
+    strategyUnavailableFiles?: readonly FileId[];
 }): ReferenceCoverage;
 export {};
 //# sourceMappingURL=navigation-references.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"navigation-references.d.ts","sourceRoot":"","sources":["../../src/indexer/navigation-references.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC1F,OAAO,KAAK,EAAkB,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,KAAK,EAAU,KAAK,EAAE,MAAM,aAAa,CAAC;AAGjD,OAAO,EAAuB,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAIjF,OAAO,EAA6B,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAExE,OAAO,KAAK,EACV,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,YAAY,EACZ,iBAAiB,EAEjB,oBAAoB,EACpB,SAAS,EACV,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAUvD,KAAK,aAAa,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,CAAC;AAEhE,KAAK,oBAAoB,GAAG;IAC1B,YAAY,EAAE,OAAO,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,KAAK,CAAC,EAAE,aAAa,CAAC;CACvB,CAAC;AAEF,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,iBAAiB,GACxB,oBAAoB,GAAG,IAAI,CAwD7B;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE;IACT,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,eAAe,CAAC;IACrB,IAAI,EAAE,cAAc,CAAC;CACtB,GACA,UAAU,CAqBZ;AACD,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,YAAY,EACnB,cAAc,EAAE,MAAM,EACtB,GAAG,EAAE,SAAS,GACb,OAAO,CAAC,MAAM,EAAE,CAAC,CAiBnB;AA0CD,MAAM,MAAM,0BAA0B,GAAG;IACvC,KAAK,EAAE,KAAK,CAAC;IACb,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAClC,GAAG,CAAC,EAAE;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,CAAC;CAC1B,CAAC;AAEF,wBAAsB,kCAAkC,CACtD,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,SAAS,EACtB,iBAAiB,EAAE,CACjB,MAAM,EAAE;IACN,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB,EACD,MAAM,EAAE,iBAAiB,KACtB,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,CAAC,EAAE,oBAAoB,CAAA;CAAE,CAAC,EAC3F,WAAW,CAAC,EAAE,MAAM,EACpB,gBAAgB,CAAC,EAAE,CAAC,SAAS,EAAE,0BAA0B,KAAK,OAAO,GACpE,OAAO,CAAC,0BAA0B,EAAE,CAAC,CAwCvC;AAED,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,GAC3B,MAAM,EAAE,CAsBV;AAED,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAUhH;AA0HD,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,YAAY,EACnB,GAAG,EAAE,SAAS,EACd,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,uBAAuB,EAAE,OAAO,GAC/B,MAAM,EAAE,CA8CV;AASD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAErD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAEnE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,SAAS,GAAG,OAAO,CAGtF;AAYD,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,aAAa,GACjB,KAAK,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,aAAa,EAAE,iBAAiB,CAAA;CAAE,CAAC,CAmB3D;AAED,wBAAgB,sCAAsC,CACpD,GAAG,EAAE,aAAa,GACjB,KAAK,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,aAAa,EAAE,iBAAiB,CAAA;CAAE,CAAC,CAO3D;AAED,wBAAgB,iCAAiC,CAAC,WAAW,EAAE,WAAW,GAAG,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CASnG;AAoGD,wBAAgB,6BAA6B,CAAC,IAAI,EAAE;IAClD,KAAK,EAAE,YAAY,CAAC;IACpB,GAAG,EAAE,SAAS,CAAC;IACf,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,SAAS,EAAE,OAAO,CAAC;CACpB,GAAG,iBAAiB,CA0CpB"}
+{"version":3,"file":"navigation-references.d.ts","sourceRoot":"","sources":["../../src/indexer/navigation-references.ts"],"names":[],"mappings":"AACA,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC1F,OAAO,KAAK,EAAkB,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAUjD,OAAO,EAAuB,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAmBjF,OAAO,KAAK,EAAW,UAAU,EAAE,MAAM,YAAY,CAAC;AActD,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,oBAAoB,EACzB,KAAK,SAAS,EACf,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAWvD,KAAK,aAAa,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,CAAC;AA+BhE,KAAK,oBAAoB,GAAG;IAC1B,YAAY,EAAE,OAAO,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,KAAK,CAAC,EAAE,aAAa,CAAC;CACvB,CAAC;AAEF,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,iBAAiB,GACxB,oBAAoB,GAAG,IAAI,CAwD7B;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE;IACT,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,eAAe,CAAC;IACrB,IAAI,EAAE,cAAc,CAAC;CACtB,GACA,UAAU,CAiBZ;AA0BD,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,YAAY,EACnB,cAAc,EAAE,MAAM,EACtB,GAAG,EAAE,SAAS,GACb,OAAO,CAAC,MAAM,EAAE,CAAC,CAInB;AA6PD,MAAM,MAAM,0BAA0B,GAAG;IACvC,KAAK,EAAE,KAAK,CAAC;IACb,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAClC,GAAG,CAAC,EAAE;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,CAAC;CAC1B,CAAC;AACF,KAAK,2BAA2B,GAAG,CACjC,MAAM,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EACtD,MAAM,EAAE,iBAAiB,KACtB,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE7G,wFAAwF;AACxF,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAa5F;AAmGD,wBAAsB,kCAAkC,CACtD,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,SAAS,EACtB,iBAAiB,EAAE,2BAA2B,EAC9C,WAAW,CAAC,EAAE,MAAM,EACpB,gBAAgB,CAAC,EAAE,CAAC,SAAS,EAAE,0BAA0B,KAAK,OAAO,EACrE,0BAA0B,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,EACnD,qBAAqB,GAAE,SAAS,SAAS,EAAO,GAC/C,OAAO,CAAC,0BAA0B,EAAE,CAAC,CAoJvC;AAED,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,GAC3B,MAAM,EAAE,CAsBV;AAED,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAUhH;AAID,mFAAmF;AACnF,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,MAAM,GACrB,KAAK,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,CAAC,CAsB5D;AA0KD,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,YAAY,EACnB,GAAG,EAAE,SAAS,EACd,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,uBAAuB,EAAE,OAAO,EAChC,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CA8GV;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,EAAE,SAAS,uBAAuB,EAM7E,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,mBAAmB,GAAG,sBAAsB,GAAG,oBAAoB,GAAG,qBAAqB,CAAC;AAExG,MAAM,MAAM,uBAAuB,GAAG;IACpC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC3C,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC1C,CAAC;AAEF,wBAAgB,2BAA2B,CAAC,IAAI,EAAE;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,+FAA+F;IAC/F,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;OAIG;IACH,kBAAkB,CAAC,EAAE;QAAE,UAAU,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAChE;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE;QAAE,UAAU,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;CAChE,GAAG,uBAAuB,CAkB1B;AAOD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAErD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAEnE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,SAAS,GAAG,OAAO,CAGtF;AAYD,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,aAAa,GACjB,KAAK,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,aAAa,EAAE,iBAAiB,CAAA;CAAE,CAAC,CAmB3D;AAED,wBAAgB,sCAAsC,CACpD,GAAG,EAAE,aAAa,GACjB,KAAK,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,aAAa,EAAE,iBAAiB,CAAA;CAAE,CAAC,CAO3D;AAED,wBAAgB,iCAAiC,CAAC,WAAW,EAAE,WAAW,GAAG,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CASnG;AA0DD,uGAAuG;AACvG,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,YAAY,EACnB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,SAAS,EACd,UAAU,EAAE,MAAM,GACjB,OAAO,CAGT;AA6CD,wBAAgB,6BAA6B,CAAC,IAAI,EAAE;IAClD,KAAK,EAAE,YAAY,CAAC;IACpB,GAAG,EAAE,SAAS,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,SAAS,EAAE,OAAO,CAAC;IACnB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,wBAAwB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,GAAG,iBAAiB,CAmEpB"}