blob: ba83d0cdef68aaed48f9d2da8ed9a5247425bb13 [file] [log] [blame]
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +00001//===--- IndexSymbol.cpp - Types and functions for indexing symbols -------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "clang/Index/IndexSymbol.h"
11#include "clang/AST/DeclCXX.h"
12#include "clang/AST/DeclObjC.h"
13#include "clang/AST/DeclTemplate.h"
Argyrios Kyrtzidisd5719082016-02-15 01:32:36 +000014#include "clang/AST/PrettyPrinter.h"
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000015
16using namespace clang;
17using namespace clang::index;
18
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +000019/// \returns true if \c D is a subclass of 'XCTestCase'.
20static bool isUnitTestCase(const ObjCInterfaceDecl *D) {
21 if (!D)
22 return false;
23 while (const ObjCInterfaceDecl *SuperD = D->getSuperClass()) {
24 if (SuperD->getName() == "XCTestCase")
25 return true;
26 D = SuperD;
27 }
28 return false;
29}
30
31/// \returns true if \c D is in a subclass of 'XCTestCase', returns void, has
32/// no parameters, and its name starts with 'test'.
33static bool isUnitTest(const ObjCMethodDecl *D) {
34 if (!D->parameters().empty())
35 return false;
36 if (!D->getReturnType()->isVoidType())
37 return false;
38 if (!D->getSelector().getNameForSlot(0).startswith("test"))
39 return false;
40 return isUnitTestCase(D->getClassInterface());
41}
42
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000043SymbolInfo index::getSymbolInfo(const Decl *D) {
44 assert(D);
45 SymbolInfo Info;
46 Info.Kind = SymbolKind::Unknown;
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +000047 Info.SubKinds = SymbolSubKindSet();
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000048 Info.Lang = SymbolLanguage::C;
49
50 if (const TagDecl *TD = dyn_cast<TagDecl>(D)) {
51 switch (TD->getTagKind()) {
52 case TTK_Struct:
53 Info.Kind = SymbolKind::Struct; break;
54 case TTK_Union:
55 Info.Kind = SymbolKind::Union; break;
56 case TTK_Class:
Ben Langmuir443913f2016-03-25 17:01:59 +000057 Info.Kind = SymbolKind::Class;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000058 Info.Lang = SymbolLanguage::CXX;
59 break;
60 case TTK_Interface:
Ben Langmuir443913f2016-03-25 17:01:59 +000061 Info.Kind = SymbolKind::Protocol;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000062 Info.Lang = SymbolLanguage::CXX;
63 break;
64 case TTK_Enum:
65 Info.Kind = SymbolKind::Enum; break;
66 }
67
68 if (const CXXRecordDecl *CXXRec = dyn_cast<CXXRecordDecl>(D))
69 if (!CXXRec->isCLike())
70 Info.Lang = SymbolLanguage::CXX;
71
72 if (isa<ClassTemplatePartialSpecializationDecl>(D)) {
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +000073 Info.SubKinds |= (unsigned)SymbolSubKind::Generic;
74 Info.SubKinds |= (unsigned)SymbolSubKind::TemplatePartialSpecialization;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000075 } else if (isa<ClassTemplateSpecializationDecl>(D)) {
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +000076 Info.SubKinds |= (unsigned)SymbolSubKind::Generic;
77 Info.SubKinds |= (unsigned)SymbolSubKind::TemplateSpecialization;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000078 }
79
80 } else {
81 switch (D->getKind()) {
Argyrios Kyrtzidis113387e2016-02-29 07:56:07 +000082 case Decl::Import:
83 Info.Kind = SymbolKind::Module;
84 break;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000085 case Decl::Typedef:
Ben Langmuir443913f2016-03-25 17:01:59 +000086 Info.Kind = SymbolKind::TypeAlias; break; // Lang = C
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000087 case Decl::Function:
88 Info.Kind = SymbolKind::Function;
89 break;
90 case Decl::ParmVar:
91 Info.Kind = SymbolKind::Variable;
92 break;
93 case Decl::Var:
94 Info.Kind = SymbolKind::Variable;
95 if (isa<CXXRecordDecl>(D->getDeclContext())) {
Ben Langmuir443913f2016-03-25 17:01:59 +000096 Info.Kind = SymbolKind::StaticProperty;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000097 Info.Lang = SymbolLanguage::CXX;
98 }
99 break;
100 case Decl::Field:
101 Info.Kind = SymbolKind::Field;
102 if (const CXXRecordDecl *
103 CXXRec = dyn_cast<CXXRecordDecl>(D->getDeclContext())) {
104 if (!CXXRec->isCLike())
105 Info.Lang = SymbolLanguage::CXX;
106 }
107 break;
108 case Decl::EnumConstant:
109 Info.Kind = SymbolKind::EnumConstant; break;
110 case Decl::ObjCInterface:
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000111 case Decl::ObjCImplementation: {
Ben Langmuir443913f2016-03-25 17:01:59 +0000112 Info.Kind = SymbolKind::Class;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000113 Info.Lang = SymbolLanguage::ObjC;
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000114 const ObjCInterfaceDecl *ClsD = dyn_cast<ObjCInterfaceDecl>(D);
115 if (!ClsD)
116 ClsD = cast<ObjCImplementationDecl>(D)->getClassInterface();
117 if (isUnitTestCase(ClsD))
118 Info.SubKinds |= (unsigned)SymbolSubKind::UnitTest;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000119 break;
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000120 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000121 case Decl::ObjCProtocol:
Ben Langmuir443913f2016-03-25 17:01:59 +0000122 Info.Kind = SymbolKind::Protocol;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000123 Info.Lang = SymbolLanguage::ObjC;
124 break;
125 case Decl::ObjCCategory:
126 case Decl::ObjCCategoryImpl:
Ben Langmuir443913f2016-03-25 17:01:59 +0000127 Info.Kind = SymbolKind::Extension;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000128 Info.Lang = SymbolLanguage::ObjC;
129 break;
130 case Decl::ObjCMethod:
131 if (cast<ObjCMethodDecl>(D)->isInstanceMethod())
Ben Langmuir443913f2016-03-25 17:01:59 +0000132 Info.Kind = SymbolKind::InstanceMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000133 else
Ben Langmuir443913f2016-03-25 17:01:59 +0000134 Info.Kind = SymbolKind::ClassMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000135 Info.Lang = SymbolLanguage::ObjC;
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000136 if (isUnitTest(cast<ObjCMethodDecl>(D)))
137 Info.SubKinds |= (unsigned)SymbolSubKind::UnitTest;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000138 break;
139 case Decl::ObjCProperty:
Ben Langmuir443913f2016-03-25 17:01:59 +0000140 Info.Kind = SymbolKind::InstanceProperty;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000141 Info.Lang = SymbolLanguage::ObjC;
142 break;
143 case Decl::ObjCIvar:
Ben Langmuir443913f2016-03-25 17:01:59 +0000144 Info.Kind = SymbolKind::Field;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000145 Info.Lang = SymbolLanguage::ObjC;
146 break;
147 case Decl::Namespace:
Ben Langmuir443913f2016-03-25 17:01:59 +0000148 Info.Kind = SymbolKind::Namespace;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000149 Info.Lang = SymbolLanguage::CXX;
150 break;
151 case Decl::NamespaceAlias:
Ben Langmuir443913f2016-03-25 17:01:59 +0000152 Info.Kind = SymbolKind::NamespaceAlias;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000153 Info.Lang = SymbolLanguage::CXX;
154 break;
155 case Decl::CXXConstructor:
Ben Langmuir443913f2016-03-25 17:01:59 +0000156 Info.Kind = SymbolKind::Constructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000157 Info.Lang = SymbolLanguage::CXX;
158 break;
159 case Decl::CXXDestructor:
Ben Langmuir443913f2016-03-25 17:01:59 +0000160 Info.Kind = SymbolKind::Destructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000161 Info.Lang = SymbolLanguage::CXX;
162 break;
163 case Decl::CXXConversion:
Ben Langmuir443913f2016-03-25 17:01:59 +0000164 Info.Kind = SymbolKind::ConversionFunction;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000165 Info.Lang = SymbolLanguage::CXX;
166 break;
167 case Decl::CXXMethod: {
168 const CXXMethodDecl *MD = cast<CXXMethodDecl>(D);
169 if (MD->isStatic())
Ben Langmuir443913f2016-03-25 17:01:59 +0000170 Info.Kind = SymbolKind::StaticMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000171 else
Ben Langmuir443913f2016-03-25 17:01:59 +0000172 Info.Kind = SymbolKind::InstanceMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000173 Info.Lang = SymbolLanguage::CXX;
174 break;
175 }
176 case Decl::ClassTemplate:
Ben Langmuir443913f2016-03-25 17:01:59 +0000177 Info.Kind = SymbolKind::Class;
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000178 Info.SubKinds |= (unsigned)SymbolSubKind::Generic;
Ben Langmuir443913f2016-03-25 17:01:59 +0000179 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000180 break;
181 case Decl::FunctionTemplate:
182 Info.Kind = SymbolKind::Function;
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000183 Info.SubKinds |= (unsigned)SymbolSubKind::Generic;
Ben Langmuir443913f2016-03-25 17:01:59 +0000184 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000185 if (const CXXMethodDecl *MD = dyn_cast_or_null<CXXMethodDecl>(
186 cast<FunctionTemplateDecl>(D)->getTemplatedDecl())) {
187 if (isa<CXXConstructorDecl>(MD))
Ben Langmuir443913f2016-03-25 17:01:59 +0000188 Info.Kind = SymbolKind::Constructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000189 else if (isa<CXXDestructorDecl>(MD))
Ben Langmuir443913f2016-03-25 17:01:59 +0000190 Info.Kind = SymbolKind::Destructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000191 else if (isa<CXXConversionDecl>(MD))
Ben Langmuir443913f2016-03-25 17:01:59 +0000192 Info.Kind = SymbolKind::ConversionFunction;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000193 else {
194 if (MD->isStatic())
Ben Langmuir443913f2016-03-25 17:01:59 +0000195 Info.Kind = SymbolKind::StaticMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000196 else
Ben Langmuir443913f2016-03-25 17:01:59 +0000197 Info.Kind = SymbolKind::InstanceMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000198 }
199 }
200 break;
201 case Decl::TypeAliasTemplate:
Ben Langmuir443913f2016-03-25 17:01:59 +0000202 Info.Kind = SymbolKind::TypeAlias;
203 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000204 Info.SubKinds |= (unsigned)SymbolSubKind::Generic;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000205 break;
206 case Decl::TypeAlias:
Ben Langmuir443913f2016-03-25 17:01:59 +0000207 Info.Kind = SymbolKind::TypeAlias;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000208 Info.Lang = SymbolLanguage::CXX;
209 break;
210 default:
211 break;
212 }
213 }
214
215 if (Info.Kind == SymbolKind::Unknown)
216 return Info;
217
218 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
219 if (FD->getTemplatedKind() ==
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000220 FunctionDecl::TK_FunctionTemplateSpecialization) {
221 Info.SubKinds |= (unsigned)SymbolSubKind::Generic;
222 Info.SubKinds |= (unsigned)SymbolSubKind::TemplateSpecialization;
223 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000224 }
225
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000226 if (Info.SubKinds & (unsigned)SymbolSubKind::Generic)
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000227 Info.Lang = SymbolLanguage::CXX;
228
229 return Info;
230}
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000231
232void index::applyForEachSymbolRole(SymbolRoleSet Roles,
233 llvm::function_ref<void(SymbolRole)> Fn) {
234#define APPLY_FOR_ROLE(Role) \
235 if (Roles & (unsigned)SymbolRole::Role) \
236 Fn(SymbolRole::Role)
237
238 APPLY_FOR_ROLE(Declaration);
239 APPLY_FOR_ROLE(Definition);
240 APPLY_FOR_ROLE(Reference);
241 APPLY_FOR_ROLE(Read);
242 APPLY_FOR_ROLE(Write);
243 APPLY_FOR_ROLE(Call);
244 APPLY_FOR_ROLE(Dynamic);
245 APPLY_FOR_ROLE(AddressOf);
246 APPLY_FOR_ROLE(Implicit);
247 APPLY_FOR_ROLE(RelationChildOf);
248 APPLY_FOR_ROLE(RelationBaseOf);
249 APPLY_FOR_ROLE(RelationOverrideOf);
250 APPLY_FOR_ROLE(RelationReceivedBy);
Argyrios Kyrtzidisa8b51c12016-02-29 07:56:00 +0000251 APPLY_FOR_ROLE(RelationCalledBy);
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000252
253#undef APPLY_FOR_ROLE
254}
255
256void index::printSymbolRoles(SymbolRoleSet Roles, raw_ostream &OS) {
257 bool VisitedOnce = false;
258 applyForEachSymbolRole(Roles, [&](SymbolRole Role) {
259 if (VisitedOnce)
Argyrios Kyrtzidisd97ec182016-02-29 07:55:51 +0000260 OS << ',';
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000261 else
262 VisitedOnce = true;
263 switch (Role) {
264 case SymbolRole::Declaration: OS << "Decl"; break;
265 case SymbolRole::Definition: OS << "Def"; break;
266 case SymbolRole::Reference: OS << "Ref"; break;
267 case SymbolRole::Read: OS << "Read"; break;
268 case SymbolRole::Write: OS << "Writ"; break;
269 case SymbolRole::Call: OS << "Call"; break;
270 case SymbolRole::Dynamic: OS << "Dyn"; break;
271 case SymbolRole::AddressOf: OS << "Addr"; break;
272 case SymbolRole::Implicit: OS << "Impl"; break;
273 case SymbolRole::RelationChildOf: OS << "RelChild"; break;
274 case SymbolRole::RelationBaseOf: OS << "RelBase"; break;
275 case SymbolRole::RelationOverrideOf: OS << "RelOver"; break;
276 case SymbolRole::RelationReceivedBy: OS << "RelRec"; break;
Argyrios Kyrtzidisa8b51c12016-02-29 07:56:00 +0000277 case SymbolRole::RelationCalledBy: OS << "RelCall"; break;
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000278 }
279 });
280}
281
Argyrios Kyrtzidisd5719082016-02-15 01:32:36 +0000282bool index::printSymbolName(const Decl *D, const LangOptions &LO,
283 raw_ostream &OS) {
284 if (auto *ND = dyn_cast<NamedDecl>(D)) {
285 PrintingPolicy Policy(LO);
286 // Forward references can have different template argument names. Suppress
287 // the template argument names in constructors to make their name more
288 // stable.
289 Policy.SuppressTemplateArgsInCXXConstructors = true;
290 DeclarationName DeclName = ND->getDeclName();
291 if (DeclName.isEmpty())
292 return true;
293 DeclName.print(OS, Policy);
294 return false;
295 } else {
296 return true;
297 }
298}
299
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000300StringRef index::getSymbolKindString(SymbolKind K) {
301 switch (K) {
302 case SymbolKind::Unknown: return "<unknown>";
303 case SymbolKind::Module: return "module";
Ben Langmuir443913f2016-03-25 17:01:59 +0000304 case SymbolKind::Namespace: return "namespace";
305 case SymbolKind::NamespaceAlias: return "namespace-alias";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000306 case SymbolKind::Macro: return "macro";
307 case SymbolKind::Enum: return "enum";
308 case SymbolKind::Struct: return "struct";
Ben Langmuir443913f2016-03-25 17:01:59 +0000309 case SymbolKind::Class: return "class";
310 case SymbolKind::Protocol: return "protocol";
311 case SymbolKind::Extension: return "extension";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000312 case SymbolKind::Union: return "union";
Ben Langmuir443913f2016-03-25 17:01:59 +0000313 case SymbolKind::TypeAlias: return "type-alias";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000314 case SymbolKind::Function: return "function";
315 case SymbolKind::Variable: return "variable";
316 case SymbolKind::Field: return "field";
317 case SymbolKind::EnumConstant: return "enumerator";
Ben Langmuir443913f2016-03-25 17:01:59 +0000318 case SymbolKind::InstanceMethod: return "instance-method";
319 case SymbolKind::ClassMethod: return "class-method";
320 case SymbolKind::StaticMethod: return "static-method";
321 case SymbolKind::InstanceProperty: return "instance-property";
322 case SymbolKind::ClassProperty: return "class-property";
323 case SymbolKind::StaticProperty: return "static-property";
324 case SymbolKind::Constructor: return "constructor";
325 case SymbolKind::Destructor: return "destructor";
326 case SymbolKind::ConversionFunction: return "coversion-func";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000327 }
Saleem Abdulrasool9b0ac332016-02-15 00:36:52 +0000328 llvm_unreachable("invalid symbol kind");
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000329}
330
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000331StringRef index::getSymbolLanguageString(SymbolLanguage K) {
332 switch (K) {
333 case SymbolLanguage::C: return "C";
334 case SymbolLanguage::ObjC: return "ObjC";
335 case SymbolLanguage::CXX: return "C++";
336 }
Saleem Abdulrasool9b0ac332016-02-15 00:36:52 +0000337 llvm_unreachable("invalid symbol language kind");
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000338}
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000339
340void index::applyForEachSymbolSubKind(SymbolSubKindSet SubKinds,
341 llvm::function_ref<void(SymbolSubKind)> Fn) {
342#define APPLY_FOR_SUBKIND(K) \
343 if (SubKinds & (unsigned)SymbolSubKind::K) \
344 Fn(SymbolSubKind::K)
345
346 APPLY_FOR_SUBKIND(Generic);
347 APPLY_FOR_SUBKIND(TemplatePartialSpecialization);
348 APPLY_FOR_SUBKIND(TemplateSpecialization);
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000349 APPLY_FOR_SUBKIND(UnitTest);
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000350
351#undef APPLY_FOR_SUBKIND
352}
353
354void index::printSymbolSubKinds(SymbolSubKindSet SubKinds, raw_ostream &OS) {
355 bool VisitedOnce = false;
356 applyForEachSymbolSubKind(SubKinds, [&](SymbolSubKind SubKind) {
357 if (VisitedOnce)
358 OS << ',';
359 else
360 VisitedOnce = true;
361 switch (SubKind) {
362 case SymbolSubKind::Generic: OS << "Gen"; break;
363 case SymbolSubKind::TemplatePartialSpecialization: OS << "TPS"; break;
364 case SymbolSubKind::TemplateSpecialization: OS << "TS"; break;
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000365 case SymbolSubKind::UnitTest: OS << "test"; break;
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000366 }
367 });
368}