|
10 | 10 | // |
11 | 11 | //===----------------------------------------------------------------------===// |
12 | 12 |
|
| 13 | +import Foundation |
13 | 14 | package import IndexStoreDB |
14 | 15 | import SKLogging |
15 | 16 | import SemanticIndex |
16 | | -@_spi(LinkCompletion) import SwiftDocC |
| 17 | +@preconcurrency @_spi(LinkCompletion) import SwiftDocC |
| 18 | +import SwiftExtensions |
| 19 | +import SymbolKit |
17 | 20 |
|
18 | 21 | extension CheckedIndex { |
19 | 22 | /// Find a `SymbolOccurrence` that is considered the primary definition of the symbol with the given `DocCSymbolLink`. |
20 | 23 | /// |
21 | 24 | /// If the `DocCSymbolLink` has an ambiguous definition, the most important role of this function is to deterministically return |
22 | 25 | /// the same result every time. |
23 | 26 | package func primaryDefinitionOrDeclarationOccurrence( |
24 | | - ofDocCSymbolLink symbolLink: DocCSymbolLink |
25 | | - ) -> SymbolOccurrence? { |
26 | | - var components = symbolLink.components |
27 | | - guard components.count > 0 else { |
| 27 | + ofDocCSymbolLink symbolLink: DocCSymbolLink, |
| 28 | + fetchSymbolGraph: @Sendable (_: SymbolLocation) async throws -> String? |
| 29 | + ) async throws -> SymbolOccurrence? { |
| 30 | + guard !symbolLink.components.isEmpty else { |
28 | 31 | return nil |
29 | 32 | } |
30 | | - // Do a lookup to find the top level symbol |
31 | | - let topLevelSymbol = components.removeLast() |
| 33 | + // Find all occurrences of the symbol by name alone |
| 34 | + let topLevelSymbolName = symbolLink.components.last!.name |
32 | 35 | var topLevelSymbolOccurrences: [SymbolOccurrence] = [] |
33 | | - forEachCanonicalSymbolOccurrence(byName: topLevelSymbol.name) { symbolOccurrence in |
| 36 | + forEachCanonicalSymbolOccurrence(byName: topLevelSymbolName) { symbolOccurrence in |
34 | 37 | topLevelSymbolOccurrences.append(symbolOccurrence) |
35 | 38 | return true // continue |
36 | 39 | } |
37 | | - topLevelSymbolOccurrences = topLevelSymbolOccurrences.filter { |
38 | | - let symbolInformation = LinkCompletionTools.SymbolInformation(fromSymbolOccurrence: $0) |
39 | | - return symbolInformation.matches(topLevelSymbol.disambiguation) |
40 | | - } |
41 | | - // Search each potential symbol's parents to find an exact match |
42 | | - let symbolOccurences = topLevelSymbolOccurrences.filter { topLevelSymbolOccurrence in |
43 | | - var components = components |
44 | | - var symbolOccurrence = topLevelSymbolOccurrence |
45 | | - while let nextComponent = components.popLast(), let parentSymbolOccurrence = symbolOccurrence.parent(self) { |
46 | | - let parentSymbolInformation = LinkCompletionTools.SymbolInformation( |
47 | | - fromSymbolOccurrence: parentSymbolOccurrence |
48 | | - ) |
49 | | - guard parentSymbolOccurrence.symbol.name == nextComponent.name, |
50 | | - parentSymbolInformation.matches(nextComponent.disambiguation) |
51 | | - else { |
52 | | - return false |
53 | | - } |
54 | | - symbolOccurrence = parentSymbolOccurrence |
| 40 | + // Determine which of the symbol occurrences actually matches the symbol link |
| 41 | + var result: [SymbolOccurrence] = [] |
| 42 | + for occurrence in topLevelSymbolOccurrences { |
| 43 | + let info = try await doccSymbolInformation(ofUSR: occurrence.symbol.usr, fetchSymbolGraph: fetchSymbolGraph) |
| 44 | + if let info, info.matches(symbolLink) { |
| 45 | + result.append(occurrence) |
55 | 46 | } |
56 | | - // If we have exactly one component left, check to see if it's the module name |
57 | | - if components.count == 1 { |
58 | | - let lastComponent = components.removeLast() |
59 | | - guard lastComponent.name == topLevelSymbolOccurrence.location.moduleName else { |
60 | | - return false |
61 | | - } |
| 47 | + } |
| 48 | + // Ensure that this is deterministic by sorting the results |
| 49 | + result.sort() |
| 50 | + if result.count > 1 { |
| 51 | + logger.debug("Multiple symbols found for DocC symbol link '\(symbolLink.linkString)'") |
| 52 | + } |
| 53 | + return result.first |
| 54 | + } |
| 55 | + |
| 56 | + /// Find the DocCSymbolLink for a given symbol USR. |
| 57 | + /// |
| 58 | + /// - Parameters: |
| 59 | + /// - usr: The symbol USR to find in the index. |
| 60 | + /// - fetchSymbolGraph: Callback that returns a SymbolGraph for a given SymbolLocation |
| 61 | + package func doccSymbolInformation( |
| 62 | + ofUSR usr: String, |
| 63 | + fetchSymbolGraph: (_: SymbolLocation) async throws -> String? |
| 64 | + ) async throws -> DocCSymbolInformation? { |
| 65 | + guard let topLevelSymbolOccurrence = primaryDefinitionOrDeclarationOccurrence(ofUSR: usr) else { |
| 66 | + return nil |
| 67 | + } |
| 68 | + let moduleName = topLevelSymbolOccurrence.location.moduleName |
| 69 | + var symbols = [topLevelSymbolOccurrence] |
| 70 | + // Find any parent symbols |
| 71 | + var symbolOccurrence: SymbolOccurrence = topLevelSymbolOccurrence |
| 72 | + while let parentSymbolOccurrence = symbolOccurrence.parent(self) { |
| 73 | + symbols.insert(parentSymbolOccurrence, at: 0) |
| 74 | + symbolOccurrence = parentSymbolOccurrence |
| 75 | + } |
| 76 | + // Fetch symbol information from the symbol graph |
| 77 | + var components = [DocCSymbolInformation.Component(fromModuleName: moduleName)] |
| 78 | + for symbolOccurence in symbols { |
| 79 | + guard let rawSymbolGraph = try await fetchSymbolGraph(symbolOccurence.location) else { |
| 80 | + return nil |
62 | 81 | } |
63 | | - guard components.isEmpty else { |
64 | | - return false |
| 82 | + let symbolGraph = try JSONDecoder().decode(SymbolGraph.self, from: Data(rawSymbolGraph.utf8)) |
| 83 | + guard let symbol = symbolGraph.symbols[symbolOccurence.symbol.usr] else { |
| 84 | + return nil |
65 | 85 | } |
66 | | - return true |
67 | | - }.sorted() |
68 | | - if symbolOccurences.count > 1 { |
69 | | - logger.debug("Multiple symbols found for DocC symbol link '\(symbolLink.linkString)'") |
| 86 | + components.append(DocCSymbolInformation.Component(fromSymbol: symbol)) |
70 | 87 | } |
71 | | - return symbolOccurences.first |
| 88 | + return DocCSymbolInformation(components: components) |
72 | 89 | } |
73 | 90 | } |
74 | 91 |
|
|
0 commit comments