blob: bbd5db3d3987f0453438554bd8ff4a4f22d7ec28 [file] [log] [blame]
Eric Liu4d221722018-09-18 08:51:08 +00001//===--- IndexTests.cpp - Test indexing actions -----------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Eric Liu4d221722018-09-18 08:51:08 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "clang/AST/ASTConsumer.h"
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +000010#include "clang/AST/ASTContext.h"
Eric Liu4d221722018-09-18 08:51:08 +000011#include "clang/AST/Decl.h"
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +000012#include "clang/Basic/SourceLocation.h"
13#include "clang/Basic/SourceManager.h"
Eric Liu4d221722018-09-18 08:51:08 +000014#include "clang/Frontend/CompilerInstance.h"
15#include "clang/Frontend/FrontendAction.h"
16#include "clang/Index/IndexDataConsumer.h"
17#include "clang/Index/IndexSymbol.h"
18#include "clang/Index/IndexingAction.h"
19#include "clang/Lex/Preprocessor.h"
20#include "clang/Tooling/Tooling.h"
21#include "llvm/ADT/StringRef.h"
Jonas Devliegherefc514902018-10-10 13:27:25 +000022#include "llvm/Support/VirtualFileSystem.h"
Eric Liu4d221722018-09-18 08:51:08 +000023#include "gmock/gmock.h"
24#include "gtest/gtest.h"
25#include <memory>
26
27namespace clang {
28namespace index {
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +000029namespace {
30struct Position {
31 size_t Line = 0;
32 size_t Column = 0;
33
34 Position(size_t Line = 0, size_t Column = 0) : Line(Line), Column(Column) {}
35
36 static Position fromSourceLocation(SourceLocation Loc,
37 const SourceManager &SM) {
38 FileID FID;
39 unsigned Offset;
40 std::tie(FID, Offset) = SM.getDecomposedSpellingLoc(Loc);
41 Position P;
42 P.Line = SM.getLineNumber(FID, Offset);
43 P.Column = SM.getColumnNumber(FID, Offset);
44 return P;
45 }
46};
47
48bool operator==(const Position &LHS, const Position &RHS) {
49 return std::tie(LHS.Line, LHS.Column) == std::tie(RHS.Line, RHS.Column);
50}
51
52llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Position &Pos) {
53 return OS << Pos.Line << ':' << Pos.Column;
54}
Eric Liu4d221722018-09-18 08:51:08 +000055
56struct TestSymbol {
57 std::string QName;
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +000058 Position WrittenPos;
59 Position DeclPos;
Kadir Cetinkayaa87ada02019-02-26 14:23:12 +000060 SymbolInfo SymInfo;
Kadir Cetinkayae7eb27a2019-03-08 08:30:20 +000061 SymbolRoleSet Roles;
Eric Liu4d221722018-09-18 08:51:08 +000062 // FIXME: add more information.
63};
64
65llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const TestSymbol &S) {
Kadir Cetinkayae7eb27a2019-03-08 08:30:20 +000066 return OS << S.QName << '[' << S.WrittenPos << ']' << '@' << S.DeclPos << '('
67 << static_cast<unsigned>(S.SymInfo.Kind) << ')';
Eric Liu4d221722018-09-18 08:51:08 +000068}
69
Eric Liu4d221722018-09-18 08:51:08 +000070class Indexer : public IndexDataConsumer {
71public:
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +000072 void initialize(ASTContext &Ctx) override {
73 AST = &Ctx;
74 IndexDataConsumer::initialize(Ctx);
75 }
76
Eric Liu4d221722018-09-18 08:51:08 +000077 bool handleDeclOccurence(const Decl *D, SymbolRoleSet Roles,
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +000078 ArrayRef<SymbolRelation>, SourceLocation Loc,
Eric Liu4d221722018-09-18 08:51:08 +000079 ASTNodeInfo) override {
80 const auto *ND = llvm::dyn_cast<NamedDecl>(D);
81 if (!ND)
82 return true;
83 TestSymbol S;
Kadir Cetinkayaa87ada02019-02-26 14:23:12 +000084 S.SymInfo = getSymbolInfo(D);
Eric Liu4d221722018-09-18 08:51:08 +000085 S.QName = ND->getQualifiedNameAsString();
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +000086 S.WrittenPos = Position::fromSourceLocation(Loc, AST->getSourceManager());
87 S.DeclPos =
88 Position::fromSourceLocation(D->getLocation(), AST->getSourceManager());
Kadir Cetinkayae7eb27a2019-03-08 08:30:20 +000089 S.Roles = Roles;
Eric Liu4d221722018-09-18 08:51:08 +000090 Symbols.push_back(std::move(S));
91 return true;
92 }
93
Kadir Cetinkayae4407872019-03-08 10:18:40 +000094 bool handleMacroOccurence(const IdentifierInfo *Name, const MacroInfo *MI,
95 SymbolRoleSet Roles, SourceLocation Loc) override {
Eric Liu4d221722018-09-18 08:51:08 +000096 TestSymbol S;
Kadir Cetinkayae4407872019-03-08 10:18:40 +000097 S.SymInfo = getSymbolInfoForMacro(*MI);
Eric Liu4d221722018-09-18 08:51:08 +000098 S.QName = Name->getName();
Kadir Cetinkayae4407872019-03-08 10:18:40 +000099 S.WrittenPos = Position::fromSourceLocation(Loc, AST->getSourceManager());
100 S.DeclPos = Position::fromSourceLocation(MI->getDefinitionLoc(),
101 AST->getSourceManager());
102 S.Roles = Roles;
Eric Liu4d221722018-09-18 08:51:08 +0000103 Symbols.push_back(std::move(S));
104 return true;
105 }
106
107 std::vector<TestSymbol> Symbols;
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +0000108 const ASTContext *AST = nullptr;
Eric Liu4d221722018-09-18 08:51:08 +0000109};
110
111class IndexAction : public ASTFrontendAction {
112public:
113 IndexAction(std::shared_ptr<Indexer> Index,
114 IndexingOptions Opts = IndexingOptions())
115 : Index(std::move(Index)), Opts(Opts) {}
116
117protected:
118 std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
119 StringRef InFile) override {
120 class Consumer : public ASTConsumer {
121 std::shared_ptr<Indexer> Index;
122 std::shared_ptr<Preprocessor> PP;
123 IndexingOptions Opts;
124
125 public:
126 Consumer(std::shared_ptr<Indexer> Index, std::shared_ptr<Preprocessor> PP,
127 IndexingOptions Opts)
128 : Index(std::move(Index)), PP(std::move(PP)), Opts(Opts) {}
129
130 void HandleTranslationUnit(ASTContext &Ctx) override {
131 std::vector<Decl *> DeclsToIndex(
132 Ctx.getTranslationUnitDecl()->decls().begin(),
133 Ctx.getTranslationUnitDecl()->decls().end());
134 indexTopLevelDecls(Ctx, *PP, DeclsToIndex, *Index, Opts);
135 }
136 };
137 return llvm::make_unique<Consumer>(Index, CI.getPreprocessorPtr(), Opts);
138 }
139
140private:
141 std::shared_ptr<Indexer> Index;
142 IndexingOptions Opts;
143};
144
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +0000145using testing::AllOf;
Eric Liu4d221722018-09-18 08:51:08 +0000146using testing::Contains;
147using testing::Not;
148using testing::UnorderedElementsAre;
149
150MATCHER_P(QName, Name, "") { return arg.QName == Name; }
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +0000151MATCHER_P(WrittenAt, Pos, "") { return arg.WrittenPos == Pos; }
152MATCHER_P(DeclAt, Pos, "") { return arg.DeclPos == Pos; }
Kadir Cetinkayaa87ada02019-02-26 14:23:12 +0000153MATCHER_P(Kind, SymKind, "") { return arg.SymInfo.Kind == SymKind; }
Kadir Cetinkayae7eb27a2019-03-08 08:30:20 +0000154MATCHER_P(HasRole, Role, "") { return arg.Roles & static_cast<unsigned>(Role); }
Eric Liu4d221722018-09-18 08:51:08 +0000155
156TEST(IndexTest, Simple) {
157 auto Index = std::make_shared<Indexer>();
158 tooling::runToolOnCode(new IndexAction(Index), "class X {}; void f() {}");
159 EXPECT_THAT(Index->Symbols, UnorderedElementsAre(QName("X"), QName("f")));
160}
161
162TEST(IndexTest, IndexPreprocessorMacros) {
163 std::string Code = "#define INDEX_MAC 1";
164 auto Index = std::make_shared<Indexer>();
165 IndexingOptions Opts;
166 Opts.IndexMacrosInPreprocessor = true;
167 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
168 EXPECT_THAT(Index->Symbols, Contains(QName("INDEX_MAC")));
169
170 Opts.IndexMacrosInPreprocessor = false;
171 Index->Symbols.clear();
172 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
173 EXPECT_THAT(Index->Symbols, UnorderedElementsAre());
174}
175
Kadir Cetinkaya0468fc02019-02-11 13:02:21 +0000176TEST(IndexTest, IndexParametersInDecls) {
177 std::string Code = "void foo(int bar);";
178 auto Index = std::make_shared<Indexer>();
179 IndexingOptions Opts;
180 Opts.IndexFunctionLocals = true;
181 Opts.IndexParametersInDeclarations = true;
182 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
183 EXPECT_THAT(Index->Symbols, Contains(QName("bar")));
184
185 Opts.IndexParametersInDeclarations = false;
186 Index->Symbols.clear();
187 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
188 EXPECT_THAT(Index->Symbols, Not(Contains(QName("bar"))));
189}
190
Kadir Cetinkayaf53621b2019-02-18 11:30:43 +0000191TEST(IndexTest, IndexExplicitTemplateInstantiation) {
192 std::string Code = R"cpp(
193 template <typename T>
194 struct Foo { void bar() {} };
195 template <>
196 struct Foo<int> { void bar() {} };
197 void foo() {
198 Foo<char> abc;
199 Foo<int> b;
200 }
201 )cpp";
202 auto Index = std::make_shared<Indexer>();
203 IndexingOptions Opts;
204 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
205 EXPECT_THAT(Index->Symbols,
206 AllOf(Contains(AllOf(QName("Foo"), WrittenAt(Position(8, 7)),
207 DeclAt(Position(5, 12)))),
208 Contains(AllOf(QName("Foo"), WrittenAt(Position(7, 7)),
209 DeclAt(Position(3, 12))))));
210}
211
212TEST(IndexTest, IndexTemplateInstantiationPartial) {
213 std::string Code = R"cpp(
214 template <typename T1, typename T2>
215 struct Foo { void bar() {} };
216 template <typename T>
217 struct Foo<T, int> { void bar() {} };
218 void foo() {
219 Foo<char, char> abc;
220 Foo<int, int> b;
221 }
222 )cpp";
223 auto Index = std::make_shared<Indexer>();
224 IndexingOptions Opts;
225 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
226 EXPECT_THAT(Index->Symbols,
227 Contains(AllOf(QName("Foo"), WrittenAt(Position(8, 7)),
228 DeclAt(Position(5, 12)))));
229}
230
Kadir Cetinkayab7805172019-02-21 09:52:33 +0000231TEST(IndexTest, IndexTypeParmDecls) {
232 std::string Code = R"cpp(
233 template <typename T, int I, template<typename> class C, typename NoRef>
234 struct Foo {
235 T t = I;
236 C<int> x;
237 };
238 )cpp";
239 auto Index = std::make_shared<Indexer>();
240 IndexingOptions Opts;
241 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
242 EXPECT_THAT(Index->Symbols, AllOf(Not(Contains(QName("Foo::T"))),
243 Not(Contains(QName("Foo::I"))),
244 Not(Contains(QName("Foo::C"))),
245 Not(Contains(QName("Foo::NoRef")))));
246
247 Opts.IndexTemplateParameters = true;
248 Index->Symbols.clear();
249 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
250 EXPECT_THAT(Index->Symbols,
251 AllOf(Contains(QName("Foo::T")), Contains(QName("Foo::I")),
252 Contains(QName("Foo::C")), Contains(QName("Foo::NoRef"))));
253}
254
Kadir Cetinkayaa87ada02019-02-26 14:23:12 +0000255TEST(IndexTest, UsingDecls) {
256 std::string Code = R"cpp(
257 void foo(int bar);
258 namespace std {
259 using ::foo;
260 }
261 )cpp";
262 auto Index = std::make_shared<Indexer>();
263 IndexingOptions Opts;
264 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
265 EXPECT_THAT(Index->Symbols,
266 Contains(AllOf(QName("std::foo"), Kind(SymbolKind::Using))));
267}
268
Kadir Cetinkayae7eb27a2019-03-08 08:30:20 +0000269TEST(IndexTest, Constructors) {
270 std::string Code = R"cpp(
271 struct Foo {
272 Foo(int);
273 ~Foo();
274 };
275 )cpp";
276 auto Index = std::make_shared<Indexer>();
277 IndexingOptions Opts;
278 tooling::runToolOnCode(new IndexAction(Index, Opts), Code);
279 EXPECT_THAT(
280 Index->Symbols,
281 UnorderedElementsAre(
282 AllOf(QName("Foo"), Kind(SymbolKind::Struct),
283 WrittenAt(Position(2, 12))),
284 AllOf(QName("Foo::Foo"), Kind(SymbolKind::Constructor),
285 WrittenAt(Position(3, 7))),
286 AllOf(QName("Foo"), Kind(SymbolKind::Struct),
287 HasRole(SymbolRole::NameReference), WrittenAt(Position(3, 7))),
288 AllOf(QName("Foo::~Foo"), Kind(SymbolKind::Destructor),
289 WrittenAt(Position(4, 7))),
290 AllOf(QName("Foo"), Kind(SymbolKind::Struct),
291 HasRole(SymbolRole::NameReference),
292 WrittenAt(Position(4, 8)))));
293}
294
Eric Liu4d221722018-09-18 08:51:08 +0000295} // namespace
296} // namespace index
297} // namespace clang