annotate clang-tools-extra/clangd/XRefs.h @ 221:79ff65ed7e25

LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 0572611fdcc8
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===--- XRefs.h -------------------------------------------------*- C++-*-===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // Features that traverse references between symbols.
anatofuz
parents:
diff changeset
10 //
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANGD_XREFS_H
anatofuz
parents:
diff changeset
14 #define LLVM_CLANG_TOOLS_EXTRA_CLANGD_XREFS_H
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 #include "Protocol.h"
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
17 #include "SourceCode.h"
150
anatofuz
parents:
diff changeset
18 #include "index/Index.h"
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
19 #include "index/SymbolID.h"
150
anatofuz
parents:
diff changeset
20 #include "index/SymbolLocation.h"
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
21 #include "support/Path.h"
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
22 #include "clang/AST/ASTTypeTraits.h"
150
anatofuz
parents:
diff changeset
23 #include "clang/AST/Type.h"
anatofuz
parents:
diff changeset
24 #include "clang/Format/Format.h"
anatofuz
parents:
diff changeset
25 #include "clang/Index/IndexSymbol.h"
anatofuz
parents:
diff changeset
26 #include "llvm/ADT/Optional.h"
anatofuz
parents:
diff changeset
27 #include "llvm/Support/raw_ostream.h"
anatofuz
parents:
diff changeset
28 #include <vector>
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 namespace clang {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
31 namespace syntax {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
32 class Token;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
33 class TokenBuffer;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
34 } // namespace syntax
150
anatofuz
parents:
diff changeset
35 namespace clangd {
anatofuz
parents:
diff changeset
36 class ParsedAST;
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 // Describes where a symbol is declared and defined (as far as clangd knows).
anatofuz
parents:
diff changeset
39 // There are three cases:
anatofuz
parents:
diff changeset
40 // - a declaration only, no definition is known (e.g. only header seen)
anatofuz
parents:
diff changeset
41 // - a declaration and a distinct definition (e.g. function declared in header)
anatofuz
parents:
diff changeset
42 // - a declaration and an equal definition (e.g. inline function, or class)
anatofuz
parents:
diff changeset
43 // For some types of symbol, e.g. macros, definition == declaration always.
anatofuz
parents:
diff changeset
44 struct LocatedSymbol {
anatofuz
parents:
diff changeset
45 // The (unqualified) name of the symbol.
anatofuz
parents:
diff changeset
46 std::string Name;
anatofuz
parents:
diff changeset
47 // The canonical or best declaration: where most users find its interface.
anatofuz
parents:
diff changeset
48 Location PreferredDeclaration;
anatofuz
parents:
diff changeset
49 // Where the symbol is defined, if known. May equal PreferredDeclaration.
anatofuz
parents:
diff changeset
50 llvm::Optional<Location> Definition;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
51 // SymbolID of the located symbol if available.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
52 SymbolID ID;
150
anatofuz
parents:
diff changeset
53 };
anatofuz
parents:
diff changeset
54 llvm::raw_ostream &operator<<(llvm::raw_ostream &, const LocatedSymbol &);
anatofuz
parents:
diff changeset
55 /// Get definition of symbol at a specified \p Pos.
anatofuz
parents:
diff changeset
56 /// Multiple locations may be returned, corresponding to distinct symbols.
anatofuz
parents:
diff changeset
57 std::vector<LocatedSymbol> locateSymbolAt(ParsedAST &AST, Position Pos,
anatofuz
parents:
diff changeset
58 const SymbolIndex *Index = nullptr);
anatofuz
parents:
diff changeset
59
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
60 // Tries to provide a textual fallback for locating a symbol by looking up the
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
61 // word under the cursor as a symbol name in the index.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
62 // The aim is to pick up references to symbols in contexts where
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
63 // AST-based resolution does not work, such as comments, strings, and PP
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
64 // disabled regions.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
65 // (This is for internal use by locateSymbolAt, and is exposed for testing).
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
66 std::vector<LocatedSymbol>
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
67 locateSymbolTextually(const SpelledWord &Word, ParsedAST &AST,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
68 const SymbolIndex *Index, const std::string &MainFilePath,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
69 ASTNodeKind NodeKind);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
70
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
71 // Try to find a proximate occurrence of `Word` as an identifier, which can be
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
72 // used to resolve it.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
73 // (This is for internal use by locateSymbolAt, and is exposed for testing).
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
74 const syntax::Token *findNearbyIdentifier(const SpelledWord &Word,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
75 const syntax::TokenBuffer &TB);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
76
150
anatofuz
parents:
diff changeset
77 /// Get all document links
anatofuz
parents:
diff changeset
78 std::vector<DocumentLink> getDocumentLinks(ParsedAST &AST);
anatofuz
parents:
diff changeset
79
anatofuz
parents:
diff changeset
80 /// Returns highlights for all usages of a symbol at \p Pos.
anatofuz
parents:
diff changeset
81 std::vector<DocumentHighlight> findDocumentHighlights(ParsedAST &AST,
anatofuz
parents:
diff changeset
82 Position Pos);
anatofuz
parents:
diff changeset
83
anatofuz
parents:
diff changeset
84 struct ReferencesResult {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
85 // Bitmask describing whether the occurrence is a declaration, definition etc.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
86 enum ReferenceAttributes : unsigned {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
87 Declaration = 1 << 0,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
88 Definition = 1 << 1,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
89 // The occurrence is an override of the target base method.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
90 Override = 1 << 2,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
91 };
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
92 struct Reference {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
93 Location Loc;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
94 unsigned Attributes = 0;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
95 };
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
96 std::vector<Reference> References;
150
anatofuz
parents:
diff changeset
97 bool HasMore = false;
anatofuz
parents:
diff changeset
98 };
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
99 llvm::raw_ostream &operator<<(llvm::raw_ostream &,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
100 const ReferencesResult::Reference &);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
101
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
102 /// Returns implementations at a specified \p Pos:
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
103 /// - overrides for a virtual method;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
104 /// - subclasses for a base class;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
105 std::vector<LocatedSymbol> findImplementations(ParsedAST &AST, Position Pos,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
106 const SymbolIndex *Index);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
107
150
anatofuz
parents:
diff changeset
108 /// Returns references of the symbol at a specified \p Pos.
anatofuz
parents:
diff changeset
109 /// \p Limit limits the number of results returned (0 means no limit).
anatofuz
parents:
diff changeset
110 ReferencesResult findReferences(ParsedAST &AST, Position Pos, uint32_t Limit,
anatofuz
parents:
diff changeset
111 const SymbolIndex *Index = nullptr);
anatofuz
parents:
diff changeset
112
anatofuz
parents:
diff changeset
113 /// Get info about symbols at \p Pos.
anatofuz
parents:
diff changeset
114 std::vector<SymbolDetails> getSymbolInfo(ParsedAST &AST, Position Pos);
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 /// Find the record type references at \p Pos.
anatofuz
parents:
diff changeset
117 const CXXRecordDecl *findRecordTypeAt(ParsedAST &AST, Position Pos);
anatofuz
parents:
diff changeset
118
anatofuz
parents:
diff changeset
119 /// Given a record type declaration, find its base (parent) types.
anatofuz
parents:
diff changeset
120 std::vector<const CXXRecordDecl *> typeParents(const CXXRecordDecl *CXXRD);
anatofuz
parents:
diff changeset
121
anatofuz
parents:
diff changeset
122 /// Get type hierarchy information at \p Pos.
anatofuz
parents:
diff changeset
123 llvm::Optional<TypeHierarchyItem> getTypeHierarchy(
anatofuz
parents:
diff changeset
124 ParsedAST &AST, Position Pos, int Resolve, TypeHierarchyDirection Direction,
anatofuz
parents:
diff changeset
125 const SymbolIndex *Index = nullptr, PathRef TUPath = PathRef{});
anatofuz
parents:
diff changeset
126
anatofuz
parents:
diff changeset
127 void resolveTypeHierarchy(TypeHierarchyItem &Item, int ResolveLevels,
anatofuz
parents:
diff changeset
128 TypeHierarchyDirection Direction,
anatofuz
parents:
diff changeset
129 const SymbolIndex *Index);
anatofuz
parents:
diff changeset
130
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
131 /// Get call hierarchy information at \p Pos.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
132 std::vector<CallHierarchyItem>
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
133 prepareCallHierarchy(ParsedAST &AST, Position Pos, PathRef TUPath);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
134
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
135 std::vector<CallHierarchyIncomingCall>
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
136 incomingCalls(const CallHierarchyItem &Item, const SymbolIndex *Index);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
137
150
anatofuz
parents:
diff changeset
138 /// Returns all decls that are referenced in the \p FD except local symbols.
anatofuz
parents:
diff changeset
139 llvm::DenseSet<const Decl *> getNonLocalDeclRefs(ParsedAST &AST,
anatofuz
parents:
diff changeset
140 const FunctionDecl *FD);
anatofuz
parents:
diff changeset
141 } // namespace clangd
anatofuz
parents:
diff changeset
142 } // namespace clang
anatofuz
parents:
diff changeset
143
anatofuz
parents:
diff changeset
144 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANGD_XREFS_H