@lzehrung/codegraph 2.4.0 → 3.0.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +5 -4
- package/codegraph-skill/codegraph/SKILL.md +3 -3
- package/dist/agent/call-hierarchy.js +2 -4
- package/dist/agent/call-hierarchy.js.map +1 -1
- package/dist/agent/explore.d.ts +1 -1
- package/dist/agent/explore.d.ts.map +1 -1
- package/dist/agent/explore.js +3 -2
- package/dist/agent/explore.js.map +1 -1
- package/dist/agent/refactor-plan.js +2 -4
- package/dist/agent/refactor-plan.js.map +1 -1
- package/dist/agent/rename-preview.d.ts.map +1 -1
- package/dist/agent/rename-preview.js +58 -8
- package/dist/agent/rename-preview.js.map +1 -1
- package/dist/agent/search.js +2 -3
- package/dist/agent/search.js.map +1 -1
- package/dist/agent/semantic-symbols.d.ts.map +1 -1
- package/dist/agent/semantic-symbols.js +2 -3
- package/dist/agent/semantic-symbols.js.map +1 -1
- package/dist/agent/type-hierarchy.js +2 -4
- package/dist/agent/type-hierarchy.js.map +1 -1
- package/dist/agent/workspace-symbols.d.ts.map +1 -1
- package/dist/agent/workspace-symbols.js +2 -3
- package/dist/agent/workspace-symbols.js.map +1 -1
- package/dist/agent-tools.d.ts +0 -4
- package/dist/agent-tools.d.ts.map +1 -1
- package/dist/agent-tools.js +3 -6
- package/dist/agent-tools.js.map +1 -1
- package/dist/analysis-summary.d.ts +8 -4
- package/dist/analysis-summary.d.ts.map +1 -1
- package/dist/analysis-summary.js +15 -66
- package/dist/analysis-summary.js.map +1 -1
- package/dist/bin/cli.js +14417 -16886
- package/dist/bin/query-index-worker.js +229 -99
- package/dist/cli/command-table.d.ts.map +1 -1
- package/dist/cli/command-table.js +9 -17
- package/dist/cli/command-table.js.map +1 -1
- package/dist/cli/context.js +10 -10
- package/dist/cli/context.js.map +1 -1
- package/dist/cli/drift.d.ts +0 -2
- package/dist/cli/drift.d.ts.map +1 -1
- package/dist/cli/drift.js +0 -1
- package/dist/cli/drift.js.map +1 -1
- package/dist/cli/graph-delta.d.ts +0 -2
- package/dist/cli/graph-delta.d.ts.map +1 -1
- package/dist/cli/graph-delta.js +0 -4
- package/dist/cli/graph-delta.js.map +1 -1
- package/dist/cli/graph.d.ts +0 -3
- package/dist/cli/graph.d.ts.map +1 -1
- package/dist/cli/graph.js +4 -14
- package/dist/cli/graph.js.map +1 -1
- package/dist/cli/help.d.ts +34 -34
- package/dist/cli/help.d.ts.map +1 -1
- package/dist/cli/help.js +6 -13
- package/dist/cli/help.js.map +1 -1
- package/dist/cli/impact.d.ts +0 -2
- package/dist/cli/impact.d.ts.map +1 -1
- package/dist/cli/impact.js +0 -1
- package/dist/cli/impact.js.map +1 -1
- package/dist/cli/index.d.ts +0 -2
- package/dist/cli/index.d.ts.map +1 -1
- package/dist/cli/index.js +5 -6
- package/dist/cli/index.js.map +1 -1
- package/dist/cli/inspect.d.ts +0 -2
- package/dist/cli/inspect.d.ts.map +1 -1
- package/dist/cli/inspect.js +5 -8
- package/dist/cli/inspect.js.map +1 -1
- package/dist/cli/invocation-context.d.ts +0 -3
- package/dist/cli/invocation-context.d.ts.map +1 -1
- package/dist/cli/invocation-context.js +4 -16
- package/dist/cli/invocation-context.js.map +1 -1
- package/dist/cli/navigation.d.ts +0 -2
- package/dist/cli/navigation.d.ts.map +1 -1
- package/dist/cli/navigation.js +0 -1
- package/dist/cli/navigation.js.map +1 -1
- package/dist/cli/options.d.ts.map +1 -1
- package/dist/cli/options.js +2 -12
- package/dist/cli/options.js.map +1 -1
- package/dist/cli/review.d.ts +0 -2
- package/dist/cli/review.d.ts.map +1 -1
- package/dist/cli/review.js +0 -5
- package/dist/cli/review.js.map +1 -1
- package/dist/cli/root-policy.d.ts +0 -2
- package/dist/cli/root-policy.d.ts.map +1 -1
- package/dist/cli/root-policy.js +0 -8
- package/dist/cli/root-policy.js.map +1 -1
- package/dist/cli/server.d.ts.map +1 -1
- package/dist/cli/server.js +0 -2
- package/dist/cli/server.js.map +1 -1
- package/dist/drift/git.d.ts.map +1 -1
- package/dist/drift/git.js +0 -1
- package/dist/drift/git.js.map +1 -1
- package/dist/drift/snapshot.d.ts.map +1 -1
- package/dist/drift/snapshot.js +0 -1
- package/dist/drift/snapshot.js.map +1 -1
- package/dist/drift/types.d.ts +0 -2
- package/dist/drift/types.d.ts.map +1 -1
- package/dist/drift/types.js.map +1 -1
- package/dist/duplicates/unit-cache.d.ts +0 -1
- package/dist/duplicates/unit-cache.d.ts.map +1 -1
- package/dist/duplicates/unit-cache.js +3 -11
- package/dist/duplicates/unit-cache.js.map +1 -1
- package/dist/duplicates/units.d.ts +5 -5
- package/dist/duplicates/units.d.ts.map +1 -1
- package/dist/duplicates/units.js +25 -88
- package/dist/duplicates/units.js.map +1 -1
- package/dist/graph-builder.d.ts +0 -6
- package/dist/graph-builder.d.ts.map +1 -1
- package/dist/graph-builder.js +2 -5
- package/dist/graph-builder.js.map +1 -1
- package/dist/graph-edge-collector.d.ts +1 -6
- package/dist/graph-edge-collector.d.ts.map +1 -1
- package/dist/graph-edge-collector.js +23 -21
- package/dist/graph-edge-collector.js.map +1 -1
- package/dist/graphs/edge-resolution.d.ts +1 -1
- package/dist/graphs/edge-resolution.d.ts.map +1 -1
- package/dist/graphs/edge-resolution.js +22 -98
- package/dist/graphs/edge-resolution.js.map +1 -1
- package/dist/graphs/specifiers.d.ts +4 -13
- package/dist/graphs/specifiers.d.ts.map +1 -1
- package/dist/graphs/specifiers.js +76 -173
- package/dist/graphs/specifiers.js.map +1 -1
- package/dist/graphs/symbol-graph-detailed/edge-passes.d.ts +12 -3
- package/dist/graphs/symbol-graph-detailed/edge-passes.d.ts.map +1 -1
- package/dist/graphs/symbol-graph-detailed/edge-passes.js +315 -177
- package/dist/graphs/symbol-graph-detailed/edge-passes.js.map +1 -1
- package/dist/graphs/symbol-graph-detailed/import-aliases.d.ts.map +1 -1
- package/dist/graphs/symbol-graph-detailed/import-aliases.js +11 -0
- package/dist/graphs/symbol-graph-detailed/import-aliases.js.map +1 -1
- package/dist/graphs/symbol-graph-detailed/receiver-calls.d.ts +25 -22
- package/dist/graphs/symbol-graph-detailed/receiver-calls.d.ts.map +1 -1
- package/dist/graphs/symbol-graph-detailed/receiver-calls.js +216 -147
- package/dist/graphs/symbol-graph-detailed/receiver-calls.js.map +1 -1
- package/dist/graphs/symbol-graph-detailed.d.ts.map +1 -1
- package/dist/graphs/symbol-graph-detailed.js +80 -71
- package/dist/graphs/symbol-graph-detailed.js.map +1 -1
- package/dist/graphs/symbol-graph.d.ts +1 -1
- package/dist/graphs/symbol-graph.d.ts.map +1 -1
- package/dist/graphs/symbol-graph.js +12 -4
- package/dist/graphs/symbol-graph.js.map +1 -1
- package/dist/graphs/types.d.ts +0 -4
- package/dist/graphs/types.d.ts.map +1 -1
- package/dist/graphs.d.ts +1 -1
- package/dist/graphs.d.ts.map +1 -1
- package/dist/impact/analyzer.d.ts.map +1 -1
- package/dist/impact/analyzer.js +94 -1
- package/dist/impact/analyzer.js.map +1 -1
- package/dist/impact/call-compatibility.d.ts.map +1 -1
- package/dist/impact/call-compatibility.js +39 -43
- package/dist/impact/call-compatibility.js.map +1 -1
- package/dist/impact/transitive.d.ts +6 -2
- package/dist/impact/transitive.d.ts.map +1 -1
- package/dist/impact/transitive.js +23 -11
- package/dist/impact/transitive.js.map +1 -1
- package/dist/index.d.ts +2 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js.map +1 -1
- package/dist/indexer/build-cache/module-cache.d.ts +1 -1
- package/dist/indexer/build-cache/module-cache.d.ts.map +1 -1
- package/dist/indexer/build-cache/module-cache.js +67 -12
- package/dist/indexer/build-cache/module-cache.js.map +1 -1
- package/dist/indexer/build-cache/options.d.ts +17 -2
- package/dist/indexer/build-cache/options.d.ts.map +1 -1
- package/dist/indexer/build-cache/options.js +19 -29
- package/dist/indexer/build-cache/options.js.map +1 -1
- package/dist/indexer/build-cache/project-snapshot.d.ts +3 -4
- package/dist/indexer/build-cache/project-snapshot.d.ts.map +1 -1
- package/dist/indexer/build-cache/project-snapshot.js +53 -62
- package/dist/indexer/build-cache/project-snapshot.js.map +1 -1
- package/dist/indexer/build-cache/reports.d.ts +0 -2
- package/dist/indexer/build-cache/reports.d.ts.map +1 -1
- package/dist/indexer/build-cache/reports.js +0 -97
- package/dist/indexer/build-cache/reports.js.map +1 -1
- package/dist/indexer/build-cache.d.ts +1 -1
- package/dist/indexer/build-cache.d.ts.map +1 -1
- package/dist/indexer/build-cache.js +1 -1
- package/dist/indexer/build-cache.js.map +1 -1
- package/dist/indexer/build-index.d.ts.map +1 -1
- package/dist/indexer/build-index.js +72 -58
- package/dist/indexer/build-index.js.map +1 -1
- package/dist/indexer/build-workers.d.ts.map +1 -1
- package/dist/indexer/build-workers.js +9 -9
- package/dist/indexer/build-workers.js.map +1 -1
- package/dist/indexer/callable-identity.d.ts +24 -0
- package/dist/indexer/callable-identity.d.ts.map +1 -0
- package/dist/indexer/callable-identity.js +111 -0
- package/dist/indexer/callable-identity.js.map +1 -0
- package/dist/indexer/compilation-units.d.ts +2 -0
- package/dist/indexer/compilation-units.d.ts.map +1 -1
- package/dist/indexer/compilation-units.js +20 -18
- package/dist/indexer/compilation-units.js.map +1 -1
- package/dist/indexer/cpp-callables.d.ts +12 -7
- package/dist/indexer/cpp-callables.d.ts.map +1 -1
- package/dist/indexer/cpp-callables.js +42 -34
- package/dist/indexer/cpp-callables.js.map +1 -1
- package/dist/indexer/declaration-visibility.d.ts +7 -0
- package/dist/indexer/declaration-visibility.d.ts.map +1 -1
- package/dist/indexer/declaration-visibility.js +22 -0
- package/dist/indexer/declaration-visibility.js.map +1 -1
- package/dist/indexer/declarations.d.ts.map +1 -1
- package/dist/indexer/declarations.js +32 -7
- package/dist/indexer/declarations.js.map +1 -1
- package/dist/indexer/expand-star-imports.d.ts +6 -1
- package/dist/indexer/expand-star-imports.d.ts.map +1 -1
- package/dist/indexer/expand-star-imports.js +120 -48
- package/dist/indexer/expand-star-imports.js.map +1 -1
- package/dist/indexer/finalize.d.ts.map +1 -1
- package/dist/indexer/finalize.js +0 -1
- package/dist/indexer/finalize.js.map +1 -1
- package/dist/indexer/import-resolution-tables.d.ts +72 -0
- package/dist/indexer/import-resolution-tables.d.ts.map +1 -0
- package/dist/indexer/import-resolution-tables.js +147 -0
- package/dist/indexer/import-resolution-tables.js.map +1 -0
- package/dist/indexer/import-types.d.ts +18 -1
- package/dist/indexer/import-types.d.ts.map +1 -1
- package/dist/indexer/import-types.js.map +1 -1
- package/dist/indexer/imports/context.d.ts +6 -1
- package/dist/indexer/imports/context.d.ts.map +1 -1
- package/dist/indexer/imports/import-binding-tables.d.ts +3 -2
- package/dist/indexer/imports/import-binding-tables.d.ts.map +1 -1
- package/dist/indexer/imports/import-binding-tables.js +19 -22
- package/dist/indexer/imports/import-binding-tables.js.map +1 -1
- package/dist/indexer/imports/native-captures.d.ts.map +1 -1
- package/dist/indexer/imports/native-captures.js +10 -4
- package/dist/indexer/imports/native-captures.js.map +1 -1
- package/dist/indexer/imports/python.d.ts.map +1 -1
- package/dist/indexer/imports/python.js +46 -81
- package/dist/indexer/imports/python.js.map +1 -1
- package/dist/indexer/imports/text-import-extractors.d.ts.map +1 -1
- package/dist/indexer/imports/text-import-extractors.js +17 -7
- package/dist/indexer/imports/text-import-extractors.js.map +1 -1
- package/dist/indexer/imports.d.ts +3 -4
- package/dist/indexer/imports.d.ts.map +1 -1
- package/dist/indexer/imports.js +106 -81
- package/dist/indexer/imports.js.map +1 -1
- package/dist/indexer/incremental-plan.d.ts.map +1 -1
- package/dist/indexer/incremental-plan.js +27 -11
- package/dist/indexer/incremental-plan.js.map +1 -1
- package/dist/indexer/locals-and-exports.d.ts +1 -2
- package/dist/indexer/locals-and-exports.d.ts.map +1 -1
- package/dist/indexer/locals-and-exports.js +121 -43
- package/dist/indexer/locals-and-exports.js.map +1 -1
- package/dist/indexer/member-selection.d.ts +46 -0
- package/dist/indexer/member-selection.d.ts.map +1 -0
- package/dist/indexer/member-selection.js +169 -0
- package/dist/indexer/member-selection.js.map +1 -0
- package/dist/indexer/name-lookup-policies/c-family.d.ts +1 -1
- package/dist/indexer/name-lookup-policies/c-family.d.ts.map +1 -1
- package/dist/indexer/name-lookup-policies/c-family.js +30 -10
- package/dist/indexer/name-lookup-policies/c-family.js.map +1 -1
- package/dist/indexer/name-lookup-policies/implicit-self.d.ts.map +1 -1
- package/dist/indexer/name-lookup-policies/implicit-self.js +14 -8
- package/dist/indexer/name-lookup-policies/implicit-self.js.map +1 -1
- package/dist/indexer/name-lookup-policies/index.d.ts.map +1 -1
- package/dist/indexer/name-lookup-policies/index.js +29 -3
- package/dist/indexer/name-lookup-policies/index.js.map +1 -1
- package/dist/indexer/name-lookup-policies/php.d.ts.map +1 -1
- package/dist/indexer/name-lookup-policies/php.js +9 -2
- package/dist/indexer/name-lookup-policies/php.js.map +1 -1
- package/dist/indexer/name-resolution-types.d.ts +2 -0
- package/dist/indexer/name-resolution-types.d.ts.map +1 -1
- package/dist/indexer/name-resolution.d.ts +5 -0
- package/dist/indexer/name-resolution.d.ts.map +1 -1
- package/dist/indexer/name-resolution.js +17 -2
- package/dist/indexer/name-resolution.js.map +1 -1
- package/dist/indexer/navigation-cpp.d.ts +8 -0
- package/dist/indexer/navigation-cpp.d.ts.map +1 -1
- package/dist/indexer/navigation-cpp.js +283 -2
- package/dist/indexer/navigation-cpp.js.map +1 -1
- package/dist/indexer/navigation-goto.d.ts +11 -2
- package/dist/indexer/navigation-goto.d.ts.map +1 -1
- package/dist/indexer/navigation-goto.js +675 -333
- package/dist/indexer/navigation-goto.js.map +1 -1
- package/dist/indexer/navigation-local.d.ts +4 -1
- package/dist/indexer/navigation-local.d.ts.map +1 -1
- package/dist/indexer/navigation-local.js +43 -23
- package/dist/indexer/navigation-local.js.map +1 -1
- package/dist/indexer/navigation-provenance.d.ts +1 -1
- package/dist/indexer/navigation-provenance.d.ts.map +1 -1
- package/dist/indexer/navigation-provenance.js +4 -13
- package/dist/indexer/navigation-provenance.js.map +1 -1
- package/dist/indexer/navigation-references.d.ts +1 -1
- package/dist/indexer/navigation-references.d.ts.map +1 -1
- package/dist/indexer/navigation-references.js +44 -16
- package/dist/indexer/navigation-references.js.map +1 -1
- package/dist/indexer/navigation-resolve.d.ts +13 -0
- package/dist/indexer/navigation-resolve.d.ts.map +1 -1
- package/dist/indexer/navigation-resolve.js +158 -5
- package/dist/indexer/navigation-resolve.js.map +1 -1
- package/dist/indexer/navigation.d.ts +2 -1
- package/dist/indexer/navigation.d.ts.map +1 -1
- package/dist/indexer/navigation.js +82 -57
- package/dist/indexer/navigation.js.map +1 -1
- package/dist/indexer/parse-context.d.ts +2 -3
- package/dist/indexer/parse-context.d.ts.map +1 -1
- package/dist/indexer/parse-context.js +8 -21
- package/dist/indexer/parse-context.js.map +1 -1
- package/dist/indexer/reference-candidates.d.ts.map +1 -1
- package/dist/indexer/reference-candidates.js +13 -7
- package/dist/indexer/reference-candidates.js.map +1 -1
- package/dist/indexer/reference-context.d.ts.map +1 -1
- package/dist/indexer/reference-context.js +4 -1
- package/dist/indexer/reference-context.js.map +1 -1
- package/dist/indexer/scope-nodes.d.ts.map +1 -1
- package/dist/indexer/scope-nodes.js +5 -0
- package/dist/indexer/scope-nodes.js.map +1 -1
- package/dist/indexer/scope-types.d.ts +4 -0
- package/dist/indexer/scope-types.d.ts.map +1 -1
- package/dist/indexer/scope.d.ts +2 -3
- package/dist/indexer/scope.d.ts.map +1 -1
- package/dist/indexer/scope.js +85 -13
- package/dist/indexer/scope.js.map +1 -1
- package/dist/indexer/shared-owner-identity.js +1 -1
- package/dist/indexer/shared-owner-identity.js.map +1 -1
- package/dist/indexer/star-import-precedence.d.ts +6 -7
- package/dist/indexer/star-import-precedence.d.ts.map +1 -1
- package/dist/indexer/star-import-precedence.js +18 -12
- package/dist/indexer/star-import-precedence.js.map +1 -1
- package/dist/indexer/ts-callables.d.ts +15 -24
- package/dist/indexer/ts-callables.d.ts.map +1 -1
- package/dist/indexer/ts-callables.js +44 -75
- package/dist/indexer/ts-callables.js.map +1 -1
- package/dist/indexer/types.d.ts +23 -26
- package/dist/indexer/types.d.ts.map +1 -1
- package/dist/indexer/types.js +4 -0
- package/dist/indexer/types.js.map +1 -1
- package/dist/indexer.d.ts +2 -7
- package/dist/indexer.d.ts.map +1 -1
- package/dist/indexer.js.map +1 -1
- package/dist/languages/all.d.ts +1 -0
- package/dist/languages/all.d.ts.map +1 -1
- package/dist/languages/all.js +1 -0
- package/dist/languages/all.js.map +1 -1
- package/dist/languages/callable-arity.d.ts +21 -0
- package/dist/languages/callable-arity.d.ts.map +1 -1
- package/dist/languages/callable-arity.js +17 -0
- package/dist/languages/callable-arity.js.map +1 -1
- package/dist/languages/definitions/terraform.d.ts +9 -0
- package/dist/languages/definitions/terraform.d.ts.map +1 -0
- package/dist/languages/definitions/terraform.js +84 -0
- package/dist/languages/definitions/terraform.js.map +1 -0
- package/dist/languages/definitions/zig.d.ts.map +1 -1
- package/dist/languages/definitions/zig.js +6 -0
- package/dist/languages/definitions/zig.js.map +1 -1
- package/dist/languages.d.ts +1 -0
- package/dist/languages.d.ts.map +1 -1
- package/dist/languages.js +1 -0
- package/dist/languages.js.map +1 -1
- package/dist/lifecycle/manifest.d.ts.map +1 -1
- package/dist/lifecycle/manifest.js +0 -1
- package/dist/lifecycle/manifest.js.map +1 -1
- package/dist/native/byte-index.d.ts +6 -0
- package/dist/native/byte-index.d.ts.map +1 -1
- package/dist/native/byte-index.js +11 -6
- package/dist/native/byte-index.js.map +1 -1
- package/dist/native/contracts.d.ts +2 -3
- package/dist/native/contracts.d.ts.map +1 -1
- package/dist/native/execution.d.ts +9 -9
- package/dist/native/execution.d.ts.map +1 -1
- package/dist/native/execution.js +37 -77
- package/dist/native/execution.js.map +1 -1
- package/dist/native/js-bridge.d.ts +2 -15
- package/dist/native/js-bridge.d.ts.map +1 -1
- package/dist/native/js-bridge.js +2 -15
- package/dist/native/js-bridge.js.map +1 -1
- package/dist/native/query-results.js +2 -2
- package/dist/native/query-results.js.map +1 -1
- package/dist/native/runtime.d.ts +12 -12
- package/dist/native/runtime.d.ts.map +1 -1
- package/dist/native/runtime.js +24 -69
- package/dist/native/runtime.js.map +1 -1
- package/dist/native/tree-sitter-native.d.ts +3 -3
- package/dist/native/tree-sitter-native.d.ts.map +1 -1
- package/dist/native/tree-sitter-native.js +2 -2
- package/dist/native/tree-sitter-native.js.map +1 -1
- package/dist/presets.d.ts.map +1 -1
- package/dist/presets.js +0 -4
- package/dist/presets.js.map +1 -1
- package/dist/review.d.ts.map +1 -1
- package/dist/review.js +2 -20
- package/dist/review.js.map +1 -1
- package/dist/session.d.ts.map +1 -1
- package/dist/session.js +0 -5
- package/dist/session.js.map +1 -1
- package/dist/sql/navigation.js +1 -1
- package/dist/sql/navigation.js.map +1 -1
- package/dist/terraform/navigation.d.ts +20 -0
- package/dist/terraform/navigation.d.ts.map +1 -0
- package/dist/terraform/navigation.js +142 -0
- package/dist/terraform/navigation.js.map +1 -0
- package/dist/terraform/resolution.d.ts +82 -0
- package/dist/terraform/resolution.d.ts.map +1 -0
- package/dist/terraform/resolution.js +324 -0
- package/dist/terraform/resolution.js.map +1 -0
- package/dist/terraform/syntax.d.ts +109 -0
- package/dist/terraform/syntax.d.ts.map +1 -0
- package/dist/terraform/syntax.js +441 -0
- package/dist/terraform/syntax.js.map +1 -0
- package/dist/util/bloom-filter.d.ts +1 -0
- package/dist/util/bloom-filter.d.ts.map +1 -1
- package/dist/util/bloom-filter.js +3 -0
- package/dist/util/bloom-filter.js.map +1 -1
- package/dist/util/glob.d.ts +32 -0
- package/dist/util/glob.d.ts.map +1 -0
- package/dist/util/glob.js +137 -0
- package/dist/util/glob.js.map +1 -0
- package/dist/util/member-access-tables.d.ts.map +1 -1
- package/dist/util/member-access-tables.js +5 -0
- package/dist/util/member-access-tables.js.map +1 -1
- package/dist/util/member-access.d.ts.map +1 -1
- package/dist/util/member-access.js +5 -2
- package/dist/util/member-access.js.map +1 -1
- package/dist/util/project-files.d.ts +2 -10
- package/dist/util/project-files.d.ts.map +1 -1
- package/dist/util/project-files.js +32 -52
- package/dist/util/project-files.js.map +1 -1
- package/dist/util/python-type-checking.d.ts +18 -0
- package/dist/util/python-type-checking.d.ts.map +1 -0
- package/dist/util/python-type-checking.js +160 -0
- package/dist/util/python-type-checking.js.map +1 -0
- package/dist/util/resolution/jvm.d.ts +7 -3
- package/dist/util/resolution/jvm.d.ts.map +1 -1
- package/dist/util/resolution/jvm.js +56 -38
- package/dist/util/resolution/jvm.js.map +1 -1
- package/dist/util/resolution/rust.d.ts +0 -1
- package/dist/util/resolution/rust.d.ts.map +1 -1
- package/dist/util/resolution/rust.js +0 -9
- package/dist/util/resolution/rust.js.map +1 -1
- package/dist/util/resolution/specifier-targets.d.ts +44 -0
- package/dist/util/resolution/specifier-targets.d.ts.map +1 -0
- package/dist/util/resolution/specifier-targets.js +157 -0
- package/dist/util/resolution/specifier-targets.js.map +1 -0
- package/dist/util/resolution/terraform.d.ts +18 -0
- package/dist/util/resolution/terraform.d.ts.map +1 -0
- package/dist/util/resolution/terraform.js +64 -0
- package/dist/util/resolution/terraform.js.map +1 -0
- package/dist/util/resolution.d.ts.map +1 -1
- package/dist/util/resolution.js +5 -10
- package/dist/util/resolution.js.map +1 -1
- package/dist/util/specifiers.d.ts +9 -1
- package/dist/util/specifiers.d.ts.map +1 -1
- package/dist/util/specifiers.js +27 -8
- package/dist/util/specifiers.js.map +1 -1
- package/dist/util/trivia-tables.d.ts.map +1 -1
- package/dist/util/trivia-tables.js +9 -0
- package/dist/util/trivia-tables.js.map +1 -1
- package/dist/util/trivia.d.ts.map +1 -1
- package/dist/util/trivia.js +49 -30
- package/dist/util/trivia.js.map +1 -1
- package/dist/util/workspace.d.ts.map +1 -1
- package/dist/util/workspace.js +32 -4
- package/dist/util/workspace.js.map +1 -1
- package/package.json +6 -8
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
import type { CallableIdentity } from "../languages/callable-arity.js";
|
|
2
|
+
export type MemberScope = "any" | "static" | "instance";
|
|
3
|
+
/** A consumer supplies indexed owners or graph ownership edges without changing lookup order. */
|
|
4
|
+
export type MemberModel<Owner, Member> = {
|
|
5
|
+
ownerKey(owner: Owner): string;
|
|
6
|
+
members(owner: Owner): readonly Member[];
|
|
7
|
+
supertypes(owner: Owner, classOnly: boolean): readonly Owner[];
|
|
8
|
+
name(member: Member): string;
|
|
9
|
+
key(member: Member): string;
|
|
10
|
+
callable(member: Member): CallableIdentity | undefined;
|
|
11
|
+
scope(member: Member): MemberScope;
|
|
12
|
+
visible(member: Member, useFile: string): boolean;
|
|
13
|
+
/** Only needed by languages that inherit otherwise hidden overloads. */
|
|
14
|
+
sameSignature?(derived: Member, inherited: Member): boolean;
|
|
15
|
+
};
|
|
16
|
+
export type MemberSelection<Member> = {
|
|
17
|
+
status: "none";
|
|
18
|
+
named: false;
|
|
19
|
+
} | {
|
|
20
|
+
status: "unique";
|
|
21
|
+
named: true;
|
|
22
|
+
member: Member;
|
|
23
|
+
} | {
|
|
24
|
+
status: "ambiguous";
|
|
25
|
+
named: true;
|
|
26
|
+
};
|
|
27
|
+
export type MemberSelectionOptions = {
|
|
28
|
+
name: string;
|
|
29
|
+
argumentCount: number | null;
|
|
30
|
+
scope: MemberScope;
|
|
31
|
+
useFile: string;
|
|
32
|
+
phpCaseInsensitive?: boolean;
|
|
33
|
+
separateMemberScopes?: boolean;
|
|
34
|
+
classAncestorsOnly?: boolean;
|
|
35
|
+
startAtAncestor?: boolean;
|
|
36
|
+
keepUniqueArityMismatch?: boolean;
|
|
37
|
+
inheritOverloads?: boolean;
|
|
38
|
+
/** Ruby reopening uses the first indexed declaration for a method name. */
|
|
39
|
+
firstDeclarationWins?: boolean;
|
|
40
|
+
};
|
|
41
|
+
export declare function hasSeparateMemberScopes(languageId: string): boolean;
|
|
42
|
+
/** Java, Kotlin, and C# inherit overloads beyond the first declaring class. */
|
|
43
|
+
export declare function inheritsMemberOverloads(languageId: string): boolean;
|
|
44
|
+
/** Level-order member lookup shared by navigation and the detailed call graph. */
|
|
45
|
+
export declare function selectMember<Owner, Member>(starts: readonly Owner[], model: MemberModel<Owner, Member>, options: MemberSelectionOptions): MemberSelection<Member>;
|
|
46
|
+
//# sourceMappingURL=member-selection.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"member-selection.d.ts","sourceRoot":"","sources":["../../src/indexer/member-selection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAiB,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAGtF,MAAM,MAAM,WAAW,GAAG,KAAK,GAAG,QAAQ,GAAG,UAAU,CAAC;AAExD,iGAAiG;AACjG,MAAM,MAAM,WAAW,CAAC,KAAK,EAAE,MAAM,IAAI;IACvC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC;IAC/B,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,MAAM,EAAE,CAAC;IACzC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,GAAG,SAAS,KAAK,EAAE,CAAC;IAC/D,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAC;IACvD,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC;IACnC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IAClD,wEAAwE;IACxE,aAAa,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC7D,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,MAAM,IAC9B;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAChC;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAEzC,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,2EAA2E;IAC3E,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAKF,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAEnE;AAGD,+EAA+E;AAC/E,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAEnE;AA+ED,kFAAkF;AAClF,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EACxC,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,EACjC,OAAO,EAAE,sBAAsB,GAC9B,eAAe,CAAC,MAAM,CAAC,CAwFzB"}
|
|
@@ -0,0 +1,169 @@
|
|
|
1
|
+
import { foldPhpIdentifierCase } from "../util/identifiers.js";
|
|
2
|
+
/** Static and instance members have independent lookup chains in these languages. */
|
|
3
|
+
const SEPARATE_MEMBER_SCOPES = new Set(["js", "ts", "tsx", "ruby", "swift", "kotlin"]);
|
|
4
|
+
export function hasSeparateMemberScopes(languageId) {
|
|
5
|
+
return SEPARATE_MEMBER_SCOPES.has(languageId);
|
|
6
|
+
}
|
|
7
|
+
const MAX_DEPTH = 16;
|
|
8
|
+
/** Java, Kotlin, and C# inherit overloads beyond the first declaring class. */
|
|
9
|
+
export function inheritsMemberOverloads(languageId) {
|
|
10
|
+
return languageId === "java" || languageId === "kotlin" || languageId === "csharp";
|
|
11
|
+
}
|
|
12
|
+
function accepts(range, count) {
|
|
13
|
+
return count === null || !range || (count >= range.minArgs && (range.maxArgs === null || count <= range.maxArgs));
|
|
14
|
+
}
|
|
15
|
+
/** Fold equivalent declarations only after their overload signatures have been checked. */
|
|
16
|
+
function distinctCandidates(candidates, model, count) {
|
|
17
|
+
if (candidates.length < 2)
|
|
18
|
+
return candidates;
|
|
19
|
+
const groups = new Map();
|
|
20
|
+
for (const member of candidates) {
|
|
21
|
+
const key = model.key(member);
|
|
22
|
+
const group = groups.get(key);
|
|
23
|
+
if (group)
|
|
24
|
+
group.push(member);
|
|
25
|
+
else
|
|
26
|
+
groups.set(key, [member]);
|
|
27
|
+
}
|
|
28
|
+
const selected = [];
|
|
29
|
+
for (const group of groups.values()) {
|
|
30
|
+
const implementation = group.filter((member) => model.callable(member)?.role === "implementation");
|
|
31
|
+
if (implementation.length === 1 && group.length > 1) {
|
|
32
|
+
const signatures = group.filter((member) => model.callable(member)?.role === "signature");
|
|
33
|
+
if (signatures.length && !signatures.some((member) => accepts(model.callable(member)?.arity, count)))
|
|
34
|
+
continue;
|
|
35
|
+
selected.push(implementation[0]);
|
|
36
|
+
continue;
|
|
37
|
+
}
|
|
38
|
+
if (group.length > 1 && group.some((member) => model.callable(member)?.role)) {
|
|
39
|
+
selected.push(...group);
|
|
40
|
+
continue;
|
|
41
|
+
}
|
|
42
|
+
selected.push(group[0]);
|
|
43
|
+
}
|
|
44
|
+
return selected;
|
|
45
|
+
}
|
|
46
|
+
function memberNameMatches(member, model, options, queryName) {
|
|
47
|
+
const name = model.name(member);
|
|
48
|
+
if (!options.phpCaseInsensitive)
|
|
49
|
+
return name === queryName;
|
|
50
|
+
if (model.callable(member))
|
|
51
|
+
return foldPhpIdentifierCase(name) === queryName;
|
|
52
|
+
if (name === options.name)
|
|
53
|
+
return true;
|
|
54
|
+
return name.startsWith("$") && !options.name.startsWith("$") && name.slice(1) === options.name;
|
|
55
|
+
}
|
|
56
|
+
/** A hidden ancestor makes a mismatched shallow declaration no longer the only candidate. */
|
|
57
|
+
function hasNamedAncestor(level, model, options, queryName) {
|
|
58
|
+
const seen = new Set(level.map((owner) => model.ownerKey(owner)));
|
|
59
|
+
let parents = level.flatMap((owner) => model.supertypes(owner, false));
|
|
60
|
+
for (let depth = 0; depth < MAX_DEPTH && parents.length; depth += 1) {
|
|
61
|
+
const next = [];
|
|
62
|
+
for (const owner of parents) {
|
|
63
|
+
const key = model.ownerKey(owner);
|
|
64
|
+
if (seen.has(key))
|
|
65
|
+
continue;
|
|
66
|
+
seen.add(key);
|
|
67
|
+
for (const member of model.members(owner)) {
|
|
68
|
+
if (memberNameMatches(member, model, options, queryName) &&
|
|
69
|
+
model.visible(member, options.useFile) &&
|
|
70
|
+
(!options.separateMemberScopes || options.scope === "any" || model.scope(member) === options.scope))
|
|
71
|
+
return true;
|
|
72
|
+
}
|
|
73
|
+
next.push(...model.supertypes(owner, false));
|
|
74
|
+
}
|
|
75
|
+
parents = next;
|
|
76
|
+
}
|
|
77
|
+
return false;
|
|
78
|
+
}
|
|
79
|
+
/** Level-order member lookup shared by navigation and the detailed call graph. */
|
|
80
|
+
export function selectMember(starts, model, options) {
|
|
81
|
+
let level = options.startAtAncestor ? starts.flatMap((owner) => model.supertypes(owner, true)) : [...starts];
|
|
82
|
+
const visited = new Set(starts.map((owner) => model.ownerKey(owner)));
|
|
83
|
+
const overloadState = options.inheritOverloads ? { subclasses: new Map(), declarations: [], accepted: [] } : null;
|
|
84
|
+
let lenient;
|
|
85
|
+
let named = false;
|
|
86
|
+
const queryName = options.phpCaseInsensitive ? foldPhpIdentifierCase(options.name) : options.name;
|
|
87
|
+
for (let depth = 0; depth < MAX_DEPTH && level.length; depth += 1) {
|
|
88
|
+
const candidates = [];
|
|
89
|
+
const owners = overloadState ? new Map() : undefined;
|
|
90
|
+
for (const owner of level) {
|
|
91
|
+
const ownerKey = model.ownerKey(owner);
|
|
92
|
+
for (const member of model.members(owner)) {
|
|
93
|
+
if (!memberNameMatches(member, model, options, queryName) || !model.visible(member, options.useFile))
|
|
94
|
+
continue;
|
|
95
|
+
const matchesScope = options.scope === "any" || model.scope(member) === options.scope;
|
|
96
|
+
if (matchesScope || !options.separateMemberScopes)
|
|
97
|
+
named = true;
|
|
98
|
+
if (matchesScope) {
|
|
99
|
+
candidates.push(member);
|
|
100
|
+
owners?.set(member, ownerKey);
|
|
101
|
+
}
|
|
102
|
+
if (options.firstDeclarationWins && (matchesScope || !options.separateMemberScopes))
|
|
103
|
+
break;
|
|
104
|
+
}
|
|
105
|
+
}
|
|
106
|
+
const unique = distinctCandidates(candidates, model, options.argumentCount);
|
|
107
|
+
if (!overloadState) {
|
|
108
|
+
if (named) {
|
|
109
|
+
let match;
|
|
110
|
+
for (const member of unique) {
|
|
111
|
+
if (!accepts(model.callable(member)?.arity, options.argumentCount))
|
|
112
|
+
continue;
|
|
113
|
+
if (match !== undefined)
|
|
114
|
+
return { status: "ambiguous", named: true };
|
|
115
|
+
match = member;
|
|
116
|
+
}
|
|
117
|
+
if (match !== undefined)
|
|
118
|
+
return { status: "unique", named: true, member: match };
|
|
119
|
+
if (options.keepUniqueArityMismatch &&
|
|
120
|
+
unique.length === 1 &&
|
|
121
|
+
!hasNamedAncestor(level, model, options, queryName)) {
|
|
122
|
+
return { status: "unique", named: true, member: unique[0] };
|
|
123
|
+
}
|
|
124
|
+
return { status: "ambiguous", named: true };
|
|
125
|
+
}
|
|
126
|
+
}
|
|
127
|
+
if (overloadState) {
|
|
128
|
+
for (const member of unique) {
|
|
129
|
+
const owner = owners?.get(member) ?? "";
|
|
130
|
+
const descendants = overloadState.subclasses.get(owner);
|
|
131
|
+
if (overloadState.declarations.some((entry) => descendants?.has(entry.owner) && model.sameSignature?.(entry.member, member)))
|
|
132
|
+
continue;
|
|
133
|
+
overloadState.declarations.push({ member, owner });
|
|
134
|
+
if (accepts(model.callable(member)?.arity, options.argumentCount)) {
|
|
135
|
+
overloadState.accepted.push({ member, owner });
|
|
136
|
+
}
|
|
137
|
+
}
|
|
138
|
+
if (lenient === undefined && depth === 0 && options.keepUniqueArityMismatch && unique.length === 1)
|
|
139
|
+
lenient = unique[0];
|
|
140
|
+
}
|
|
141
|
+
const next = [];
|
|
142
|
+
for (const owner of level) {
|
|
143
|
+
const child = model.ownerKey(owner);
|
|
144
|
+
for (const parent of model.supertypes(owner, !!options.classAncestorsOnly || !!options.startAtAncestor)) {
|
|
145
|
+
const key = model.ownerKey(parent);
|
|
146
|
+
if (overloadState) {
|
|
147
|
+
const descendants = overloadState.subclasses.get(key) ?? new Set();
|
|
148
|
+
descendants.add(child);
|
|
149
|
+
for (const descendant of overloadState.subclasses.get(child) ?? [])
|
|
150
|
+
descendants.add(descendant);
|
|
151
|
+
overloadState.subclasses.set(key, descendants);
|
|
152
|
+
}
|
|
153
|
+
if (visited.has(key))
|
|
154
|
+
continue;
|
|
155
|
+
visited.add(key);
|
|
156
|
+
next.push(parent);
|
|
157
|
+
}
|
|
158
|
+
}
|
|
159
|
+
level = next;
|
|
160
|
+
}
|
|
161
|
+
if (overloadState?.accepted.length === 1)
|
|
162
|
+
return { status: "unique", named: true, member: overloadState.accepted[0].member };
|
|
163
|
+
if (overloadState && overloadState.accepted.length > 1)
|
|
164
|
+
return { status: "ambiguous", named: true };
|
|
165
|
+
if (lenient !== undefined)
|
|
166
|
+
return { status: "unique", named: true, member: lenient };
|
|
167
|
+
return named ? { status: "ambiguous", named: true } : { status: "none", named: false };
|
|
168
|
+
}
|
|
169
|
+
//# sourceMappingURL=member-selection.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"member-selection.js","sourceRoot":"","sources":["../../src/indexer/member-selection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAsC/D,qFAAqF;AACrF,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEvF,MAAM,UAAU,uBAAuB,CAAC,UAAkB;IACxD,OAAO,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAChD,CAAC;AACD,MAAM,SAAS,GAAG,EAAE,CAAC;AAErB,+EAA+E;AAC/E,MAAM,UAAU,uBAAuB,CAAC,UAAkB;IACxD,OAAO,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,QAAQ,CAAC;AACrF,CAAC;AAED,SAAS,OAAO,CAAC,KAAuC,EAAE,KAAoB;IAC5E,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;AACpH,CAAC;AAED,2FAA2F;AAC3F,SAAS,kBAAkB,CACzB,UAA6B,EAC7B,KAAiC,EACjC,KAAoB;IAEpB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,UAAU,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;YACzB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,gBAAgB,CAAC,CAAC;QACnG,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC;YAC1F,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;gBAAE,SAAS;YAC/G,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YAC7E,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAc,EACd,KAAiC,EACjC,OAA+B,EAC/B,SAAiB;IAEjB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,kBAAkB;QAAE,OAAO,IAAI,KAAK,SAAS,CAAC;IAC3D,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,qBAAqB,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;IAC7E,IAAI,IAAI,KAAK,OAAO,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;AACjG,CAAC;AACD,6FAA6F;AAC7F,SAAS,gBAAgB,CACvB,KAAuB,EACvB,KAAiC,EACjC,OAA+B,EAC/B,SAAiB;IAEjB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACvE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,IAAI,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,GAAY,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1C,IACE,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC;oBACpD,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC;oBACtC,CAAC,CAAC,OAAO,CAAC,oBAAoB,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC;oBAEnG,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,kFAAkF;AAClF,MAAM,UAAU,YAAY,CAC1B,MAAwB,EACxB,KAAiC,EACjC,OAA+B;IAE/B,IAAI,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,aAAa,GAIR,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACvG,IAAI,OAA2B,CAAC;IAChC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAClG,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,IAAI,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClE,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,EAAkB,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACvC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC;oBAAE,SAAS;gBAC/G,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC;gBACtF,IAAI,YAAY,IAAI,CAAC,OAAO,CAAC,oBAAoB;oBAAE,KAAK,GAAG,IAAI,CAAC;gBAChE,IAAI,YAAY,EAAE,CAAC;oBACjB,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACxB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAChC,CAAC;gBACD,IAAI,OAAO,CAAC,oBAAoB,IAAI,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;oBAAE,MAAM;YAC7F,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;QAC5E,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,KAAyB,CAAC;gBAC9B,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;oBAC5B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC;wBAAE,SAAS;oBAC7E,IAAI,KAAK,KAAK,SAAS;wBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;oBACrE,KAAK,GAAG,MAAM,CAAC;gBACjB,CAAC;gBACD,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;gBACjF,IACE,OAAO,CAAC,uBAAuB;oBAC/B,MAAM,CAAC,MAAM,KAAK,CAAC;oBACnB,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,EACnD,CAAC;oBACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC;gBAC/D,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACxC,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACxD,IACE,aAAa,CAAC,YAAY,CAAC,IAAI,CAC7B,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CACxF;oBAED,SAAS;gBACX,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;gBACnD,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;oBAClE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;YACD,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,CAAC,uBAAuB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAChG,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,IAAI,GAAY,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACpC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;gBACxG,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;oBAC3E,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACvB,KAAK,MAAM,UAAU,IAAI,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;wBAAE,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBAChG,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBACjD,CAAC;gBACD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,IAAI,aAAa,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACtC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,CAAC;IACtF,IAAI,aAAa,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACpG,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACrF,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACzF,CAAC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import type { GoToResult } from "../types.js";
|
|
2
2
|
import type { BareNameUse, NameLookupPolicy } from "../name-resolution-types.js";
|
|
3
3
|
export declare const cLookupPolicy: NameLookupPolicy;
|
|
4
|
-
/**
|
|
4
|
+
/** Qualifier lookup is lexical before the direct textual path can name a global declaration. */
|
|
5
5
|
export declare function resolveCppQualifiedName(use: BareNameUse): GoToResult | undefined;
|
|
6
6
|
export declare const cppLookupPolicy: NameLookupPolicy;
|
|
7
7
|
//# sourceMappingURL=c-family.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"c-family.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/c-family.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"c-family.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/c-family.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAmC,MAAM,6BAA6B,CAAC;AAwBlH,eAAO,MAAM,aAAa,EAAE,gBAG3B,CAAC;AAiCF,gGAAgG;AAChG,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,WAAW,GAAG,UAAU,GAAG,SAAS,CAsBhF;AAED,eAAO,MAAM,eAAe,EAAE,gBAiE7B,CAAC"}
|
|
@@ -1,9 +1,8 @@
|
|
|
1
1
|
/** C and C++ additions to the shared name lookup order. */
|
|
2
2
|
import { cTagRole } from "../../languages/definitions/c.js";
|
|
3
3
|
import { AMBIGUOUS_CPP_OVERLOAD_REASON, AMBIGUOUS_CPP_USING_DECLARATION_REASON, AMBIGUOUS_CPP_USING_DIRECTIVE_REASON, AMBIGUOUS_STAR_IMPORT_REASON, } from "../ambiguous-resolution.js";
|
|
4
|
-
import { cppBindingCallableShape } from "../cpp-callables.js";
|
|
5
4
|
import { cppOutOfLineOwnerPath } from "../../graphs/symbol-graph-detailed/receiver-calls.js";
|
|
6
|
-
import { cppStarImportClosure, cppUsingDeclarationTarget, resolveCppCallableBindings, resolveCppCollidingBinding, resolveCppUsingDirectiveName, resolveVisibleCppCallableName, } from "../navigation-cpp.js";
|
|
5
|
+
import { cppQualifiedNameThroughVisiblePrefix, cppStarImportClosure, cppUsingDeclarationTarget, resolveCppCallableBindings, resolveCppCollidingBinding, resolveCppUsingDirectiveName, resolveVisibleCppCallableName, resolveCppVisibleStaticCallableName, } from "../navigation-cpp.js";
|
|
7
6
|
import { resolveNamedDefinition } from "../navigation-local.js";
|
|
8
7
|
import { okGoToResult } from "../navigation-provenance.js";
|
|
9
8
|
const loadParsed = (use) => (file) => use.files.get(file);
|
|
@@ -22,25 +21,46 @@ export const cLookupPolicy = {
|
|
|
22
21
|
cNamespace: cNamespaceOf,
|
|
23
22
|
afterCrossModule: (state, resolved) => deferIncludedStarRecovery(state, resolved, cNamespaceOf(state.use.node)),
|
|
24
23
|
};
|
|
24
|
+
const AMBIGUOUS_CPP_NAMESPACE_ALIAS_REASON = "Ambiguous C++ namespace alias";
|
|
25
25
|
/** A qualified name (`ns::f`, `Box::make`) names a namespace or static member directly. */
|
|
26
|
-
|
|
27
|
-
const { index, mod, file, node,
|
|
28
|
-
|
|
29
|
-
return undefined;
|
|
30
|
-
const qualifiedBindings = scopeIndex.cppQualifiedFunctionBindings.get(name);
|
|
26
|
+
function lookupCppQualifiedName(use, qualifiedName) {
|
|
27
|
+
const { index, mod, file, node, scopeIndex, parsed } = use;
|
|
28
|
+
const qualifiedBindings = scopeIndex.cppQualifiedFunctionBindings.get(qualifiedName);
|
|
31
29
|
if (qualifiedBindings) {
|
|
32
30
|
const selected = resolveCppCallableBindings(file, qualifiedBindings, node, parsed.source);
|
|
33
31
|
if (!selected)
|
|
34
32
|
return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
|
|
35
33
|
return okGoToResult(index, selected, { resolution: "exact", confidence: "high" });
|
|
36
34
|
}
|
|
37
|
-
const visible = resolveVisibleCppCallableName(index, mod,
|
|
35
|
+
const visible = resolveVisibleCppCallableName(index, mod, qualifiedName, node, parsed.source, loadParsed(use));
|
|
38
36
|
if (visible !== undefined) {
|
|
39
37
|
if (!visible)
|
|
40
38
|
return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
|
|
41
39
|
return okGoToResult(index, visible, { resolution: "exact", confidence: "high" });
|
|
42
40
|
}
|
|
43
|
-
|
|
41
|
+
const staticMember = resolveCppVisibleStaticCallableName(index, mod, qualifiedName, node, parsed.source, loadParsed(use));
|
|
42
|
+
if (staticMember !== undefined) {
|
|
43
|
+
if (!staticMember)
|
|
44
|
+
return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
|
|
45
|
+
return okGoToResult(index, staticMember, { resolution: "exact", confidence: "high" });
|
|
46
|
+
}
|
|
47
|
+
return resolveNamedDefinition(index, mod, file, parsed.sup, qualifiedName) ?? undefined;
|
|
48
|
+
}
|
|
49
|
+
/** Qualifier lookup is lexical before the direct textual path can name a global declaration. */
|
|
50
|
+
export function resolveCppQualifiedName(use) {
|
|
51
|
+
const { name } = use;
|
|
52
|
+
if (!name.includes("::"))
|
|
53
|
+
return undefined;
|
|
54
|
+
const rewritten = cppQualifiedNameThroughVisiblePrefix(use.index, use.mod, name, use.node, use.parsed.source, use.parsed.tree, loadParsed(use));
|
|
55
|
+
if (rewritten === null)
|
|
56
|
+
return { status: "not_found", reason: AMBIGUOUS_CPP_NAMESPACE_ALIAS_REASON };
|
|
57
|
+
if (rewritten !== undefined) {
|
|
58
|
+
return (lookupCppQualifiedName(use, rewritten) ?? {
|
|
59
|
+
status: "not_found",
|
|
60
|
+
reason: "No matching C++ declaration in the visible qualifier",
|
|
61
|
+
});
|
|
62
|
+
}
|
|
63
|
+
return lookupCppQualifiedName(use, name);
|
|
44
64
|
}
|
|
45
65
|
export const cppLookupPolicy = {
|
|
46
66
|
beforeLexical: resolveCppQualifiedName,
|
|
@@ -88,7 +108,7 @@ export const cppLookupPolicy = {
|
|
|
88
108
|
},
|
|
89
109
|
beforeCrossModule({ use, closestBinding }) {
|
|
90
110
|
const { index, mod, node, name, parsed } = use;
|
|
91
|
-
if (closestBinding?.kind === "function" &&
|
|
111
|
+
if (closestBinding?.kind === "function" && closestBinding.callable?.signature) {
|
|
92
112
|
return { status: "not_found", reason: AMBIGUOUS_CPP_OVERLOAD_REASON };
|
|
93
113
|
}
|
|
94
114
|
const visible = resolveVisibleCppCallableName(index, mod, name, node, parsed.source, loadParsed(use));
|
|
@@ -1 +1 @@
|
|
|
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,
|
|
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"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"implicit-self.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/implicit-self.ts"],"names":[],"mappings":"
|
|
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"}
|
|
@@ -4,7 +4,8 @@
|
|
|
4
4
|
* member lookup, which applies static scope and overload selection, and it takes precedence over
|
|
5
5
|
* a same-named module-level name or import.
|
|
6
6
|
*/
|
|
7
|
-
import { nearestMemberContainer, nodeInStaticMemberContext, } from "../../graphs/symbol-graph-detailed/receiver-calls.js";
|
|
7
|
+
import { declaresMembers, nearestMemberContainer, nodeInStaticMemberContext, } from "../../graphs/symbol-graph-detailed/receiver-calls.js";
|
|
8
|
+
import { sliceText } from "../../util/ast.js";
|
|
8
9
|
import { csharpAliasQualifiedLookupName, implicitSelfCallee, isDirectKeywordMemberDeclaration, } from "../navigation-goto.js";
|
|
9
10
|
import { csharpLookupName, definitionForBinding } from "../navigation-local.js";
|
|
10
11
|
import { csharpUsingStaticFiles, withCsharpUsingStatic } from "./csharp-using-static.js";
|
|
@@ -28,14 +29,10 @@ function bindsTypeMethod({ closestBinding }) {
|
|
|
28
29
|
const container = declaration ? nearestMemberContainer(declaration) : null;
|
|
29
30
|
return !!declaration && !!container && isDirectKeywordMemberDeclaration(declaration, container);
|
|
30
31
|
}
|
|
31
|
-
/**
|
|
32
|
-
* The use is the name of a same-scope overload that a later declaration replaced in the scope map
|
|
33
|
-
* (`int Two(int a)` before `int Two(int a, int b)`). A declaration's own name resolves to that
|
|
34
|
-
* declaration, not to the last overload.
|
|
35
|
-
*/
|
|
32
|
+
/** An overload name at its declaration resolves to itself, not a later same-scope declaration. */
|
|
36
33
|
function ownOverloadDeclaration({ use, closestBinding }) {
|
|
37
34
|
const { node, file, parsed } = use;
|
|
38
|
-
for (let binding = closestBinding
|
|
35
|
+
for (let binding = closestBinding; binding; binding = binding.earlierSameScope ?? null) {
|
|
39
36
|
if (binding.node?.startIndex !== node.startIndex || binding.node.endIndex !== node.endIndex)
|
|
40
37
|
continue;
|
|
41
38
|
const own = definitionForBinding(binding, file, node, parsed.sup, parsed.source, parsed.tree);
|
|
@@ -45,15 +42,24 @@ function ownOverloadDeclaration({ use, closestBinding }) {
|
|
|
45
42
|
}
|
|
46
43
|
/** The use is the callee of a receiverless call (`f()`). */
|
|
47
44
|
const isImplicitSelfCall = ({ use }) => implicitSelfCallee(use.parsed.sup.id, use.node.parent ?? use.node)?.id === use.node.id;
|
|
45
|
+
/** A nominal type is not a member of its own declaration or extension. */
|
|
46
|
+
function namesEnclosingSwiftType(state, def) {
|
|
47
|
+
if (!declaresMembers(def))
|
|
48
|
+
return false;
|
|
49
|
+
const owner = nearestMemberContainer(state.use.node);
|
|
50
|
+
return sliceText(owner?.childForFieldName("name"), state.use.parsed.source) === state.lookupName;
|
|
51
|
+
}
|
|
48
52
|
export const swiftLookupPolicy = {
|
|
49
53
|
fromClosestBinding: ownOverloadDeclaration,
|
|
50
54
|
// Swift checks every bare name through `self`; method-local bindings still win.
|
|
51
55
|
onLocal(state, local) {
|
|
52
|
-
if (!bindsAtFileScope(state) && !bindsTypeMethod(state))
|
|
56
|
+
if (namesEnclosingSwiftType(state, local) || (!bindsAtFileScope(state) && !bindsTypeMethod(state)))
|
|
53
57
|
return undefined;
|
|
54
58
|
return implicitSelf(state, lexical(state, local));
|
|
55
59
|
},
|
|
56
60
|
afterCrossModule(state, resolved) {
|
|
61
|
+
if (resolved?.status === "ok" && namesEnclosingSwiftType(state, resolved.definition))
|
|
62
|
+
return resolved;
|
|
57
63
|
// A member reached only by name, not through `self`, is not a module-level target.
|
|
58
64
|
const memberOnly = resolved?.status === "ok" && !!resolved.definition.isMember;
|
|
59
65
|
return implicitSelf(state, memberOnly ? { status: "not_found", reason: "No matching Swift member definition" } : resolved);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"implicit-self.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/implicit-self.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EACL,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,sDAAsD,CAAC;AAC9D,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
|
|
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"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/index.ts"],"names":[],"mappings":"
|
|
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"}
|
|
@@ -6,6 +6,7 @@
|
|
|
6
6
|
import { getCallArgumentCount } from "../../languages/callable-arity.js";
|
|
7
7
|
import { rustTokenTreeNameFollowsSeparator } from "../../util/member-access.js";
|
|
8
8
|
import { fileIdentityKey } from "../../util/paths.js";
|
|
9
|
+
import { okGoToResult } from "../navigation-provenance.js";
|
|
9
10
|
import { resolveImported } from "../navigation-resolve.js";
|
|
10
11
|
import { typescriptOverloadImplementationAcceptsCount } from "../ts-callables.js";
|
|
11
12
|
import { SymbolKind } from "../types.js";
|
|
@@ -43,9 +44,6 @@ const typescriptLookupPolicy = {
|
|
|
43
44
|
const accepted = typescriptOverloadImplementationAcceptsCount({
|
|
44
45
|
implementation: target,
|
|
45
46
|
locals: targetModule.locals,
|
|
46
|
-
tree: targetContext.tree,
|
|
47
|
-
source: targetContext.source,
|
|
48
|
-
languageId: targetContext.sup.id,
|
|
49
47
|
argumentCount,
|
|
50
48
|
});
|
|
51
49
|
return accepted ? undefined : { status: "not_found", reason: "No matching TypeScript overload signature" };
|
|
@@ -86,12 +84,39 @@ const rustLookupPolicy = {
|
|
|
86
84
|
return { status: "not_found", reason: "No resolvable receiver inside a Rust macro token tree" };
|
|
87
85
|
},
|
|
88
86
|
};
|
|
87
|
+
/** Go package aliases yield to closer local bindings. */
|
|
88
|
+
const goLookupPolicy = {
|
|
89
|
+
moduleAliasIsUnshadowed: ({ use, closestBinding }) => !closestBinding || use.scopeIndex.allScopes[0]?.map.get(closestBinding.canonicalName) === closestBinding,
|
|
90
|
+
};
|
|
91
|
+
/** A Zig declaration initialized from an imported member names the source symbol. */
|
|
92
|
+
const zigLookupPolicy = {
|
|
93
|
+
onLocal({ use, lookupName }, local) {
|
|
94
|
+
const binding = use.mod.imports.find((candidate) => candidate.kind === "named" &&
|
|
95
|
+
candidate.local === lookupName &&
|
|
96
|
+
candidate.localRange?.start.index === local.range.start.index &&
|
|
97
|
+
fileIdentityKey(local.file) === fileIdentityKey(use.file));
|
|
98
|
+
if (!binding || binding.kind !== "named")
|
|
99
|
+
return undefined;
|
|
100
|
+
const target = resolveImported(use.index, binding, binding.imported);
|
|
101
|
+
if (!target || "namespace" in target)
|
|
102
|
+
return { status: "not_found", reason: "Unresolved Zig symbol import" };
|
|
103
|
+
return okGoToResult(use.index, target, {
|
|
104
|
+
via: {
|
|
105
|
+
...(typeof binding.resolved === "string" ? { importedFrom: binding.resolved } : {}),
|
|
106
|
+
exportedName: binding.imported,
|
|
107
|
+
},
|
|
108
|
+
resolution: "import",
|
|
109
|
+
confidence: "high",
|
|
110
|
+
});
|
|
111
|
+
},
|
|
112
|
+
};
|
|
89
113
|
const NO_POLICY = {};
|
|
90
114
|
const POLICIES = {
|
|
91
115
|
c: cLookupPolicy,
|
|
92
116
|
cpp: cppLookupPolicy,
|
|
93
117
|
csharp: csharpLookupPolicy,
|
|
94
118
|
java: jvmLookupPolicy,
|
|
119
|
+
go: goLookupPolicy,
|
|
95
120
|
kotlin: jvmLookupPolicy,
|
|
96
121
|
php: phpLookupPolicy,
|
|
97
122
|
python: pythonLookupPolicy,
|
|
@@ -99,6 +124,7 @@ const POLICIES = {
|
|
|
99
124
|
swift: swiftLookupPolicy,
|
|
100
125
|
ts: typescriptLookupPolicy,
|
|
101
126
|
tsx: typescriptLookupPolicy,
|
|
127
|
+
zig: zigLookupPolicy,
|
|
102
128
|
};
|
|
103
129
|
export function nameLookupPolicyFor(languageId) {
|
|
104
130
|
return POLICIES[languageId] ?? NO_POLICY;
|
|
@@ -1 +1 @@
|
|
|
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,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,
|
|
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"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"php.d.ts","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/php.ts"],"names":[],"mappings":"
|
|
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"}
|
|
@@ -3,9 +3,9 @@
|
|
|
3
3
|
* separate namespaces, so the syntactic role of the use selects which one a name can bind.
|
|
4
4
|
*/
|
|
5
5
|
import { findClosestBinding } from "../navigation-local.js";
|
|
6
|
-
import { findPhpImportAlias, inferPhpQualifiedReferenceImportType } from "../navigation-php.js";
|
|
6
|
+
import { findPhpImportAlias, getPhpQualifiedReference, inferPhpQualifiedReferenceImportType, } from "../navigation-php.js";
|
|
7
7
|
import { okGoToResult } from "../navigation-provenance.js";
|
|
8
|
-
import { phpClassReferenceMatchesDefinition, phpReferenceRoleMatchesKind, resolveIndexedPhpClassReference, resolvePhpExplicitImport, resolvePhpSameScopeRoleDefinition, } from "../php-namespace-symbols.js";
|
|
8
|
+
import { phpClassReferenceMatchesDefinition, phpReferenceRoleMatchesKind, resolveIndexedPhpClassReference, resolvePhpExplicitImport, resolvePhpNamespaceSymbol, resolvePhpSameScopeRoleDefinition, } from "../php-namespace-symbols.js";
|
|
9
9
|
import { scopeNodesFor } from "../scope-nodes.js";
|
|
10
10
|
/** A class-reference form (`new X`, `X::y`, a type) cannot bind a same-named function. */
|
|
11
11
|
const isClassReference = (use) => inferPhpQualifiedReferenceImportType(use.node) === "class";
|
|
@@ -34,6 +34,13 @@ export const phpLookupPolicy = {
|
|
|
34
34
|
confidence: "high",
|
|
35
35
|
});
|
|
36
36
|
}
|
|
37
|
+
const qualified = getPhpQualifiedReference(node, parsed.source);
|
|
38
|
+
if (qualified?.includes("\\") && inferPhpQualifiedReferenceImportType(node) === "function") {
|
|
39
|
+
const target = resolvePhpNamespaceSymbol(index, parsed.source, parsed.tree, node, qualified, mod.imports, "function");
|
|
40
|
+
if (target)
|
|
41
|
+
return okGoToResult(index, target, { resolution: "php-qualified", confidence: "high" });
|
|
42
|
+
return { status: "not_found", reason: "No matching PHP qualified function" };
|
|
43
|
+
}
|
|
37
44
|
if (!isClassReference(use))
|
|
38
45
|
return undefined;
|
|
39
46
|
const phpClass = resolveIndexedPhpClassReference(index, parsed.source, parsed.tree, node, lookupName, mod.imports);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"php.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/php.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,
|
|
1
|
+
{"version":3,"file":"php.js","sourceRoot":"","sources":["../../../src/indexer/name-lookup-policies/php.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,oCAAoC,GACrC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,kCAAkC,EAClC,2BAA2B,EAC3B,+BAA+B,EAC/B,wBAAwB,EACxB,yBAAyB,EACzB,iCAAiC,GAClC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAIlD,0FAA0F;AAC1F,MAAM,gBAAgB,GAAG,CAAC,GAAgB,EAAW,EAAE,CAAC,oCAAoC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC;AAEnH,MAAM,YAAY,GAAG,CAAC,GAAgB,EAAE,UAAkB,EAAE,GAAc,EAAW,EAAE,CACrF,kCAAkC,CAChC,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,MAAM,CAAC,MAAM,EACjB,GAAG,CAAC,MAAM,CAAC,IAAI,EACf,GAAG,CAAC,IAAI,EACR,UAAU,EACV,GAAG,CAAC,GAAG,CAAC,OAAO,EACf,GAAG,CACJ,CAAC;AAEJ,MAAM,CAAC,MAAM,eAAe,GAAqB;IAC/C,aAAa,CAAC,GAAG,EAAE,UAAU;QAC3B,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QACjE,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,yBAAyB,CAAC;QACrE,IAAI,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAChH,IAAI,CAAC,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;YAC7F,OAAO,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,sFAAsF;QACtF,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACjC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,QAAQ,CAClG,CAAC;QACF,IAAI,WAAW;YAAE,OAAO,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACtG,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC;QAC1C,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9E,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE;gBAChC,GAAG,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,SAAS,EAAE;gBAChE,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,MAAM;aACnB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAChE,IAAI,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,oCAAoC,CAAC,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YAC3F,MAAM,MAAM,GAAG,yBAAyB,CACtC,KAAK,EACL,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,IAAI,EACX,IAAI,EACJ,SAAS,EACT,GAAG,CAAC,OAAO,EACX,UAAU,CACX,CAAC;YACF,IAAI,MAAM;gBAAE,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;YACpG,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,oCAAoC,EAAE,CAAC;QAC/E,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC7C,MAAM,QAAQ,GAAG,+BAA+B,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnH,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,OAAO,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE;YACnC,GAAG,EAAE,EAAE,YAAY,EAAE,QAAQ,CAAC,SAAS,EAAE;YACzC,UAAU,EAAE,eAAe;YAC3B,UAAU,EAAE,MAAM;SACnB,CAAC,CAAC;IACL,CAAC;IAED,4FAA4F;IAC5F,OAAO,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,KAAK;QAChD,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QACzC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;YACnE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,SAAS,GAAG,cAAc;YAC9B,CAAC,CAAC,iCAAiC,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC;YAC7G,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,SAAS;YAAE,OAAO,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QAClG,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;IACxE,CAAC;IAED,gBAAgB,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,QAAQ;QAC5C,IAAI,QAAQ,EAAE,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAChD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACjF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QACxE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF,CAAC"}
|
|
@@ -93,6 +93,8 @@ export type NameLookupPolicy = {
|
|
|
93
93
|
cNamespace?(node: SyntaxNodeLike): "tag" | "ordinary" | undefined;
|
|
94
94
|
/** Adjusts the cross-module result (arity, roles, member precedence, deferred recovery). */
|
|
95
95
|
afterCrossModule?(state: NameLookupState, resolved: GoToResult | null): NameResolution | null | undefined;
|
|
96
|
+
/** Whether a file import alias remains visible at this use, after lexical shadowing. */
|
|
97
|
+
moduleAliasIsUnshadowed?(state: NameLookupState): boolean;
|
|
96
98
|
/** Files a synchronous consumer loads before resolving names in a module of this language. */
|
|
97
99
|
preloadFiles?(index: ProjectIndex, mod: ModuleIndex): Iterable<FileId>;
|
|
98
100
|
};
|