blob: 0b20970acc3b3073340f4a587797762ca93eed7a [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 Kyrtzidisdb469832016-11-11 23:49:55 +000043static void checkForIBOutlets(const Decl *D, SymbolPropertySet &PropSet) {
Argyrios Kyrtzidis0642a212016-04-22 07:21:16 +000044 if (D->hasAttr<IBOutletAttr>()) {
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +000045 PropSet |= (unsigned)SymbolProperty::IBAnnotated;
Argyrios Kyrtzidis0642a212016-04-22 07:21:16 +000046 } else if (D->hasAttr<IBOutletCollectionAttr>()) {
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +000047 PropSet |= (unsigned)SymbolProperty::IBAnnotated;
48 PropSet |= (unsigned)SymbolProperty::IBOutletCollection;
Argyrios Kyrtzidis0642a212016-04-22 07:21:16 +000049 }
50}
51
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +000052bool index::isFunctionLocalSymbol(const Decl *D) {
53 assert(D);
54
55 if (isa<ParmVarDecl>(D))
56 return true;
57
58 if (isa<TemplateTemplateParmDecl>(D))
59 return true;
60
61 if (isa<ObjCTypeParamDecl>(D))
62 return true;
63
Alex Lorenzd65b3e42017-05-22 14:39:39 +000064 if (isa<UsingDirectiveDecl>(D))
65 return false;
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +000066 if (!D->getParentFunctionOrMethod())
67 return false;
68
69 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
70 switch (ND->getFormalLinkage()) {
71 case NoLinkage:
72 case VisibleNoLinkage:
73 case InternalLinkage:
74 return true;
75 case UniqueExternalLinkage:
76 llvm_unreachable("Not a sema linkage");
77 case ExternalLinkage:
78 return false;
79 }
80 }
81
82 return true;
83}
84
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000085SymbolInfo index::getSymbolInfo(const Decl *D) {
86 assert(D);
87 SymbolInfo Info;
88 Info.Kind = SymbolKind::Unknown;
Argyrios Kyrtzidise24f5e22017-01-08 23:21:35 +000089 Info.SubKind = SymbolSubKind::None;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +000090 Info.Properties = SymbolPropertySet();
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000091 Info.Lang = SymbolLanguage::C;
92
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +000093 if (isFunctionLocalSymbol(D)) {
94 Info.Properties |= (unsigned)SymbolProperty::Local;
95 }
96
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000097 if (const TagDecl *TD = dyn_cast<TagDecl>(D)) {
98 switch (TD->getTagKind()) {
99 case TTK_Struct:
100 Info.Kind = SymbolKind::Struct; break;
101 case TTK_Union:
102 Info.Kind = SymbolKind::Union; break;
103 case TTK_Class:
Ben Langmuir443913f2016-03-25 17:01:59 +0000104 Info.Kind = SymbolKind::Class;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000105 Info.Lang = SymbolLanguage::CXX;
106 break;
107 case TTK_Interface:
Ben Langmuir443913f2016-03-25 17:01:59 +0000108 Info.Kind = SymbolKind::Protocol;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000109 Info.Lang = SymbolLanguage::CXX;
110 break;
111 case TTK_Enum:
112 Info.Kind = SymbolKind::Enum; break;
113 }
114
Argyrios Kyrtzidis3e5b61f2016-11-07 21:20:08 +0000115 if (const CXXRecordDecl *CXXRec = dyn_cast<CXXRecordDecl>(D)) {
116 if (!CXXRec->isCLike()) {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000117 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidis3e5b61f2016-11-07 21:20:08 +0000118 if (CXXRec->getDescribedClassTemplate()) {
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000119 Info.Properties |= (unsigned)SymbolProperty::Generic;
Argyrios Kyrtzidis3e5b61f2016-11-07 21:20:08 +0000120 }
121 }
122 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000123
124 if (isa<ClassTemplatePartialSpecializationDecl>(D)) {
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000125 Info.Properties |= (unsigned)SymbolProperty::Generic;
126 Info.Properties |= (unsigned)SymbolProperty::TemplatePartialSpecialization;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000127 } else if (isa<ClassTemplateSpecializationDecl>(D)) {
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000128 Info.Properties |= (unsigned)SymbolProperty::Generic;
129 Info.Properties |= (unsigned)SymbolProperty::TemplateSpecialization;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000130 }
131
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000132 } else if (auto *VD = dyn_cast<VarDecl>(D)) {
133 Info.Kind = SymbolKind::Variable;
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +0000134 if (isa<ParmVarDecl>(D)) {
135 Info.Kind = SymbolKind::Parameter;
136 } else if (isa<CXXRecordDecl>(D->getDeclContext())) {
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000137 Info.Kind = SymbolKind::StaticProperty;
138 Info.Lang = SymbolLanguage::CXX;
139 }
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +0000140
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000141 if (isa<VarTemplatePartialSpecializationDecl>(D)) {
142 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000143 Info.Properties |= (unsigned)SymbolProperty::Generic;
144 Info.Properties |= (unsigned)SymbolProperty::TemplatePartialSpecialization;
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000145 } else if (isa<VarTemplateSpecializationDecl>(D)) {
146 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000147 Info.Properties |= (unsigned)SymbolProperty::Generic;
148 Info.Properties |= (unsigned)SymbolProperty::TemplateSpecialization;
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000149 } else if (VD->getDescribedVarTemplate()) {
150 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000151 Info.Properties |= (unsigned)SymbolProperty::Generic;
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000152 }
153
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000154 } else {
155 switch (D->getKind()) {
Argyrios Kyrtzidis113387e2016-02-29 07:56:07 +0000156 case Decl::Import:
157 Info.Kind = SymbolKind::Module;
158 break;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000159 case Decl::Typedef:
Ben Langmuir443913f2016-03-25 17:01:59 +0000160 Info.Kind = SymbolKind::TypeAlias; break; // Lang = C
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000161 case Decl::Function:
162 Info.Kind = SymbolKind::Function;
163 break;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000164 case Decl::Field:
165 Info.Kind = SymbolKind::Field;
166 if (const CXXRecordDecl *
167 CXXRec = dyn_cast<CXXRecordDecl>(D->getDeclContext())) {
168 if (!CXXRec->isCLike())
169 Info.Lang = SymbolLanguage::CXX;
170 }
171 break;
172 case Decl::EnumConstant:
173 Info.Kind = SymbolKind::EnumConstant; break;
174 case Decl::ObjCInterface:
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000175 case Decl::ObjCImplementation: {
Ben Langmuir443913f2016-03-25 17:01:59 +0000176 Info.Kind = SymbolKind::Class;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000177 Info.Lang = SymbolLanguage::ObjC;
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000178 const ObjCInterfaceDecl *ClsD = dyn_cast<ObjCInterfaceDecl>(D);
179 if (!ClsD)
180 ClsD = cast<ObjCImplementationDecl>(D)->getClassInterface();
181 if (isUnitTestCase(ClsD))
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000182 Info.Properties |= (unsigned)SymbolProperty::UnitTest;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000183 break;
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000184 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000185 case Decl::ObjCProtocol:
Ben Langmuir443913f2016-03-25 17:01:59 +0000186 Info.Kind = SymbolKind::Protocol;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000187 Info.Lang = SymbolLanguage::ObjC;
188 break;
189 case Decl::ObjCCategory:
Argyrios Kyrtzidisa9706992017-03-07 09:38:08 +0000190 case Decl::ObjCCategoryImpl: {
Ben Langmuir443913f2016-03-25 17:01:59 +0000191 Info.Kind = SymbolKind::Extension;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000192 Info.Lang = SymbolLanguage::ObjC;
Argyrios Kyrtzidisa9706992017-03-07 09:38:08 +0000193 const ObjCInterfaceDecl *ClsD = nullptr;
194 if (auto *CatD = dyn_cast<ObjCCategoryDecl>(D))
195 ClsD = CatD->getClassInterface();
196 else
197 ClsD = cast<ObjCCategoryImplDecl>(D)->getClassInterface();
198 if (isUnitTestCase(ClsD))
199 Info.Properties |= (unsigned)SymbolProperty::UnitTest;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000200 break;
Argyrios Kyrtzidisa9706992017-03-07 09:38:08 +0000201 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000202 case Decl::ObjCMethod:
Argyrios Kyrtzidis2a89c852017-01-11 21:42:48 +0000203 if (cast<ObjCMethodDecl>(D)->isInstanceMethod()) {
204 const ObjCMethodDecl *MD = cast<ObjCMethodDecl>(D);
Ben Langmuir443913f2016-03-25 17:01:59 +0000205 Info.Kind = SymbolKind::InstanceMethod;
Argyrios Kyrtzidis2a89c852017-01-11 21:42:48 +0000206 if (MD->isPropertyAccessor()) {
207 if (MD->param_size())
208 Info.SubKind = SymbolSubKind::AccessorSetter;
209 else
210 Info.SubKind = SymbolSubKind::AccessorGetter;
211 }
212 } else {
Ben Langmuir443913f2016-03-25 17:01:59 +0000213 Info.Kind = SymbolKind::ClassMethod;
Argyrios Kyrtzidis2a89c852017-01-11 21:42:48 +0000214 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000215 Info.Lang = SymbolLanguage::ObjC;
Argyrios Kyrtzidisf30c8c62016-04-22 07:21:10 +0000216 if (isUnitTest(cast<ObjCMethodDecl>(D)))
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000217 Info.Properties |= (unsigned)SymbolProperty::UnitTest;
Argyrios Kyrtzidis0642a212016-04-22 07:21:16 +0000218 if (D->hasAttr<IBActionAttr>())
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000219 Info.Properties |= (unsigned)SymbolProperty::IBAnnotated;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000220 break;
221 case Decl::ObjCProperty:
Ben Langmuir443913f2016-03-25 17:01:59 +0000222 Info.Kind = SymbolKind::InstanceProperty;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000223 Info.Lang = SymbolLanguage::ObjC;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000224 checkForIBOutlets(D, Info.Properties);
Argyrios Kyrtzidisf42032a2016-11-10 23:27:11 +0000225 if (auto *Annot = D->getAttr<AnnotateAttr>()) {
226 if (Annot->getAnnotation() == "gk_inspectable")
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000227 Info.Properties |= (unsigned)SymbolProperty::GKInspectable;
Argyrios Kyrtzidisf42032a2016-11-10 23:27:11 +0000228 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000229 break;
230 case Decl::ObjCIvar:
Ben Langmuir443913f2016-03-25 17:01:59 +0000231 Info.Kind = SymbolKind::Field;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000232 Info.Lang = SymbolLanguage::ObjC;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000233 checkForIBOutlets(D, Info.Properties);
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000234 break;
235 case Decl::Namespace:
Ben Langmuir443913f2016-03-25 17:01:59 +0000236 Info.Kind = SymbolKind::Namespace;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000237 Info.Lang = SymbolLanguage::CXX;
238 break;
239 case Decl::NamespaceAlias:
Ben Langmuir443913f2016-03-25 17:01:59 +0000240 Info.Kind = SymbolKind::NamespaceAlias;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000241 Info.Lang = SymbolLanguage::CXX;
242 break;
Argyrios Kyrtzidise24f5e22017-01-08 23:21:35 +0000243 case Decl::CXXConstructor: {
Ben Langmuir443913f2016-03-25 17:01:59 +0000244 Info.Kind = SymbolKind::Constructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000245 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidise24f5e22017-01-08 23:21:35 +0000246 auto *CD = cast<CXXConstructorDecl>(D);
247 if (CD->isCopyConstructor())
248 Info.SubKind = SymbolSubKind::CXXCopyConstructor;
249 else if (CD->isMoveConstructor())
250 Info.SubKind = SymbolSubKind::CXXMoveConstructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000251 break;
Argyrios Kyrtzidise24f5e22017-01-08 23:21:35 +0000252 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000253 case Decl::CXXDestructor:
Ben Langmuir443913f2016-03-25 17:01:59 +0000254 Info.Kind = SymbolKind::Destructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000255 Info.Lang = SymbolLanguage::CXX;
256 break;
257 case Decl::CXXConversion:
Ben Langmuir443913f2016-03-25 17:01:59 +0000258 Info.Kind = SymbolKind::ConversionFunction;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000259 Info.Lang = SymbolLanguage::CXX;
260 break;
261 case Decl::CXXMethod: {
262 const CXXMethodDecl *MD = cast<CXXMethodDecl>(D);
263 if (MD->isStatic())
Ben Langmuir443913f2016-03-25 17:01:59 +0000264 Info.Kind = SymbolKind::StaticMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000265 else
Ben Langmuir443913f2016-03-25 17:01:59 +0000266 Info.Kind = SymbolKind::InstanceMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000267 Info.Lang = SymbolLanguage::CXX;
268 break;
269 }
270 case Decl::ClassTemplate:
Ben Langmuir443913f2016-03-25 17:01:59 +0000271 Info.Kind = SymbolKind::Class;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000272 Info.Properties |= (unsigned)SymbolProperty::Generic;
Ben Langmuir443913f2016-03-25 17:01:59 +0000273 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000274 break;
275 case Decl::FunctionTemplate:
276 Info.Kind = SymbolKind::Function;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000277 Info.Properties |= (unsigned)SymbolProperty::Generic;
Ben Langmuir443913f2016-03-25 17:01:59 +0000278 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000279 if (const CXXMethodDecl *MD = dyn_cast_or_null<CXXMethodDecl>(
280 cast<FunctionTemplateDecl>(D)->getTemplatedDecl())) {
281 if (isa<CXXConstructorDecl>(MD))
Ben Langmuir443913f2016-03-25 17:01:59 +0000282 Info.Kind = SymbolKind::Constructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000283 else if (isa<CXXDestructorDecl>(MD))
Ben Langmuir443913f2016-03-25 17:01:59 +0000284 Info.Kind = SymbolKind::Destructor;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000285 else if (isa<CXXConversionDecl>(MD))
Ben Langmuir443913f2016-03-25 17:01:59 +0000286 Info.Kind = SymbolKind::ConversionFunction;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000287 else {
288 if (MD->isStatic())
Ben Langmuir443913f2016-03-25 17:01:59 +0000289 Info.Kind = SymbolKind::StaticMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000290 else
Ben Langmuir443913f2016-03-25 17:01:59 +0000291 Info.Kind = SymbolKind::InstanceMethod;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000292 }
293 }
294 break;
295 case Decl::TypeAliasTemplate:
Ben Langmuir443913f2016-03-25 17:01:59 +0000296 Info.Kind = SymbolKind::TypeAlias;
297 Info.Lang = SymbolLanguage::CXX;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000298 Info.Properties |= (unsigned)SymbolProperty::Generic;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000299 break;
300 case Decl::TypeAlias:
Ben Langmuir443913f2016-03-25 17:01:59 +0000301 Info.Kind = SymbolKind::TypeAlias;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000302 Info.Lang = SymbolLanguage::CXX;
303 break;
304 default:
305 break;
306 }
307 }
308
309 if (Info.Kind == SymbolKind::Unknown)
310 return Info;
311
312 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
313 if (FD->getTemplatedKind() ==
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000314 FunctionDecl::TK_FunctionTemplateSpecialization) {
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000315 Info.Properties |= (unsigned)SymbolProperty::Generic;
316 Info.Properties |= (unsigned)SymbolProperty::TemplateSpecialization;
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000317 }
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000318 }
319
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000320 if (Info.Properties & (unsigned)SymbolProperty::Generic)
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000321 Info.Lang = SymbolLanguage::CXX;
322
Argyrios Kyrtzidis11d70482017-05-20 04:11:33 +0000323 if (auto *attr = D->getExternalSourceSymbolAttr()) {
Argyrios Kyrtzidisb4b85f22017-04-24 14:52:00 +0000324 if (attr->getLanguage() == "Swift")
325 Info.Lang = SymbolLanguage::Swift;
326 }
327
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000328 return Info;
329}
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000330
Argyrios Kyrtzidisa9876ca2017-03-23 16:34:47 +0000331bool index::applyForEachSymbolRoleInterruptible(SymbolRoleSet Roles,
332 llvm::function_ref<bool(SymbolRole)> Fn) {
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000333#define APPLY_FOR_ROLE(Role) \
334 if (Roles & (unsigned)SymbolRole::Role) \
Argyrios Kyrtzidisa9876ca2017-03-23 16:34:47 +0000335 if (!Fn(SymbolRole::Role)) \
336 return false;
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000337
338 APPLY_FOR_ROLE(Declaration);
339 APPLY_FOR_ROLE(Definition);
340 APPLY_FOR_ROLE(Reference);
341 APPLY_FOR_ROLE(Read);
342 APPLY_FOR_ROLE(Write);
343 APPLY_FOR_ROLE(Call);
344 APPLY_FOR_ROLE(Dynamic);
345 APPLY_FOR_ROLE(AddressOf);
346 APPLY_FOR_ROLE(Implicit);
347 APPLY_FOR_ROLE(RelationChildOf);
348 APPLY_FOR_ROLE(RelationBaseOf);
349 APPLY_FOR_ROLE(RelationOverrideOf);
350 APPLY_FOR_ROLE(RelationReceivedBy);
Argyrios Kyrtzidisa8b51c12016-02-29 07:56:00 +0000351 APPLY_FOR_ROLE(RelationCalledBy);
Argyrios Kyrtzidis806faaf2016-10-25 21:11:22 +0000352 APPLY_FOR_ROLE(RelationExtendedBy);
353 APPLY_FOR_ROLE(RelationAccessorOf);
Argyrios Kyrtzidisdf60aa82017-01-11 20:51:10 +0000354 APPLY_FOR_ROLE(RelationContainedBy);
Argyrios Kyrtzidisde0f5082017-01-11 21:01:07 +0000355 APPLY_FOR_ROLE(RelationIBTypeOf);
Alex Lorenzf6071c32017-04-20 10:43:22 +0000356 APPLY_FOR_ROLE(RelationSpecializationOf);
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000357
358#undef APPLY_FOR_ROLE
Argyrios Kyrtzidisa9876ca2017-03-23 16:34:47 +0000359
360 return true;
361}
362
363void index::applyForEachSymbolRole(SymbolRoleSet Roles,
364 llvm::function_ref<void(SymbolRole)> Fn) {
365 applyForEachSymbolRoleInterruptible(Roles, [&](SymbolRole r) -> bool {
366 Fn(r);
367 return true;
368 });
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000369}
370
371void index::printSymbolRoles(SymbolRoleSet Roles, raw_ostream &OS) {
372 bool VisitedOnce = false;
373 applyForEachSymbolRole(Roles, [&](SymbolRole Role) {
374 if (VisitedOnce)
Argyrios Kyrtzidisd97ec182016-02-29 07:55:51 +0000375 OS << ',';
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000376 else
377 VisitedOnce = true;
378 switch (Role) {
379 case SymbolRole::Declaration: OS << "Decl"; break;
380 case SymbolRole::Definition: OS << "Def"; break;
381 case SymbolRole::Reference: OS << "Ref"; break;
382 case SymbolRole::Read: OS << "Read"; break;
383 case SymbolRole::Write: OS << "Writ"; break;
384 case SymbolRole::Call: OS << "Call"; break;
385 case SymbolRole::Dynamic: OS << "Dyn"; break;
386 case SymbolRole::AddressOf: OS << "Addr"; break;
387 case SymbolRole::Implicit: OS << "Impl"; break;
388 case SymbolRole::RelationChildOf: OS << "RelChild"; break;
389 case SymbolRole::RelationBaseOf: OS << "RelBase"; break;
390 case SymbolRole::RelationOverrideOf: OS << "RelOver"; break;
391 case SymbolRole::RelationReceivedBy: OS << "RelRec"; break;
Argyrios Kyrtzidisa8b51c12016-02-29 07:56:00 +0000392 case SymbolRole::RelationCalledBy: OS << "RelCall"; break;
Argyrios Kyrtzidis806faaf2016-10-25 21:11:22 +0000393 case SymbolRole::RelationExtendedBy: OS << "RelExt"; break;
394 case SymbolRole::RelationAccessorOf: OS << "RelAcc"; break;
Argyrios Kyrtzidisdf60aa82017-01-11 20:51:10 +0000395 case SymbolRole::RelationContainedBy: OS << "RelCont"; break;
Argyrios Kyrtzidisde0f5082017-01-11 21:01:07 +0000396 case SymbolRole::RelationIBTypeOf: OS << "RelIBType"; break;
Alex Lorenzf6071c32017-04-20 10:43:22 +0000397 case SymbolRole::RelationSpecializationOf: OS << "RelSpecialization"; break;
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000398 }
399 });
400}
401
Argyrios Kyrtzidisd5719082016-02-15 01:32:36 +0000402bool index::printSymbolName(const Decl *D, const LangOptions &LO,
403 raw_ostream &OS) {
404 if (auto *ND = dyn_cast<NamedDecl>(D)) {
405 PrintingPolicy Policy(LO);
406 // Forward references can have different template argument names. Suppress
407 // the template argument names in constructors to make their name more
408 // stable.
409 Policy.SuppressTemplateArgsInCXXConstructors = true;
410 DeclarationName DeclName = ND->getDeclName();
411 if (DeclName.isEmpty())
412 return true;
413 DeclName.print(OS, Policy);
414 return false;
415 } else {
416 return true;
417 }
418}
419
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000420StringRef index::getSymbolKindString(SymbolKind K) {
421 switch (K) {
422 case SymbolKind::Unknown: return "<unknown>";
423 case SymbolKind::Module: return "module";
Ben Langmuir443913f2016-03-25 17:01:59 +0000424 case SymbolKind::Namespace: return "namespace";
425 case SymbolKind::NamespaceAlias: return "namespace-alias";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000426 case SymbolKind::Macro: return "macro";
427 case SymbolKind::Enum: return "enum";
428 case SymbolKind::Struct: return "struct";
Ben Langmuir443913f2016-03-25 17:01:59 +0000429 case SymbolKind::Class: return "class";
430 case SymbolKind::Protocol: return "protocol";
431 case SymbolKind::Extension: return "extension";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000432 case SymbolKind::Union: return "union";
Ben Langmuir443913f2016-03-25 17:01:59 +0000433 case SymbolKind::TypeAlias: return "type-alias";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000434 case SymbolKind::Function: return "function";
435 case SymbolKind::Variable: return "variable";
436 case SymbolKind::Field: return "field";
437 case SymbolKind::EnumConstant: return "enumerator";
Ben Langmuir443913f2016-03-25 17:01:59 +0000438 case SymbolKind::InstanceMethod: return "instance-method";
439 case SymbolKind::ClassMethod: return "class-method";
440 case SymbolKind::StaticMethod: return "static-method";
441 case SymbolKind::InstanceProperty: return "instance-property";
442 case SymbolKind::ClassProperty: return "class-property";
443 case SymbolKind::StaticProperty: return "static-property";
444 case SymbolKind::Constructor: return "constructor";
445 case SymbolKind::Destructor: return "destructor";
446 case SymbolKind::ConversionFunction: return "coversion-func";
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +0000447 case SymbolKind::Parameter: return "param";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000448 }
Saleem Abdulrasool9b0ac332016-02-15 00:36:52 +0000449 llvm_unreachable("invalid symbol kind");
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000450}
451
Argyrios Kyrtzidise24f5e22017-01-08 23:21:35 +0000452StringRef index::getSymbolSubKindString(SymbolSubKind K) {
453 switch (K) {
454 case SymbolSubKind::None: return "<none>";
455 case SymbolSubKind::CXXCopyConstructor: return "cxx-copy-ctor";
456 case SymbolSubKind::CXXMoveConstructor: return "cxx-move-ctor";
Argyrios Kyrtzidis2a89c852017-01-11 21:42:48 +0000457 case SymbolSubKind::AccessorGetter: return "acc-get";
458 case SymbolSubKind::AccessorSetter: return "acc-set";
Argyrios Kyrtzidise24f5e22017-01-08 23:21:35 +0000459 }
460 llvm_unreachable("invalid symbol subkind");
461}
462
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000463StringRef index::getSymbolLanguageString(SymbolLanguage K) {
464 switch (K) {
465 case SymbolLanguage::C: return "C";
466 case SymbolLanguage::ObjC: return "ObjC";
467 case SymbolLanguage::CXX: return "C++";
Argyrios Kyrtzidisb4b85f22017-04-24 14:52:00 +0000468 case SymbolLanguage::Swift: return "Swift";
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000469 }
Saleem Abdulrasool9b0ac332016-02-15 00:36:52 +0000470 llvm_unreachable("invalid symbol language kind");
Argyrios Kyrtzidis6fdcb9c2016-02-14 06:39:11 +0000471}
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000472
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000473void index::applyForEachSymbolProperty(SymbolPropertySet Props,
474 llvm::function_ref<void(SymbolProperty)> Fn) {
475#define APPLY_FOR_PROPERTY(K) \
476 if (Props & (unsigned)SymbolProperty::K) \
477 Fn(SymbolProperty::K)
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000478
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000479 APPLY_FOR_PROPERTY(Generic);
480 APPLY_FOR_PROPERTY(TemplatePartialSpecialization);
481 APPLY_FOR_PROPERTY(TemplateSpecialization);
482 APPLY_FOR_PROPERTY(UnitTest);
483 APPLY_FOR_PROPERTY(IBAnnotated);
484 APPLY_FOR_PROPERTY(IBOutletCollection);
485 APPLY_FOR_PROPERTY(GKInspectable);
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +0000486 APPLY_FOR_PROPERTY(Local);
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000487
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000488#undef APPLY_FOR_PROPERTY
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000489}
490
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000491void index::printSymbolProperties(SymbolPropertySet Props, raw_ostream &OS) {
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000492 bool VisitedOnce = false;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000493 applyForEachSymbolProperty(Props, [&](SymbolProperty Prop) {
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000494 if (VisitedOnce)
495 OS << ',';
496 else
497 VisitedOnce = true;
Argyrios Kyrtzidisdb469832016-11-11 23:49:55 +0000498 switch (Prop) {
499 case SymbolProperty::Generic: OS << "Gen"; break;
500 case SymbolProperty::TemplatePartialSpecialization: OS << "TPS"; break;
501 case SymbolProperty::TemplateSpecialization: OS << "TS"; break;
502 case SymbolProperty::UnitTest: OS << "test"; break;
503 case SymbolProperty::IBAnnotated: OS << "IB"; break;
504 case SymbolProperty::IBOutletCollection: OS << "IBColl"; break;
505 case SymbolProperty::GKInspectable: OS << "GKI"; break;
Argyrios Kyrtzidis6d1a15b22017-02-26 05:37:56 +0000506 case SymbolProperty::Local: OS << "local"; break;
Argyrios Kyrtzidisf2142cb2016-04-22 07:21:04 +0000507 }
508 });
509}