blob: 4c78f5e1b5efde018416ce84605de75b138bd4cc [file] [log] [blame]
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +00001//===- CIndexHigh.cpp - Higher level API functions ------------------------===//
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 "IndexingContext.h"
11
12#include "clang/AST/DeclVisitor.h"
13
14using namespace clang;
15using namespace cxindex;
16
17namespace {
18
19class IndexingDeclVisitor : public DeclVisitor<IndexingDeclVisitor, bool> {
20 IndexingContext &IndexCtx;
21
22public:
23 explicit IndexingDeclVisitor(IndexingContext &indexCtx)
24 : IndexCtx(indexCtx) { }
25
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +000026 void handleDeclarator(DeclaratorDecl *D, const NamedDecl *Parent = 0) {
27 if (!Parent) Parent = D;
Argyrios Kyrtzidisdb4d7a52012-01-14 02:05:51 +000028
Argyrios Kyrtzidis58d2dbe2012-02-14 22:23:11 +000029 if (!IndexCtx.shouldIndexFunctionLocalSymbols()) {
Argyrios Kyrtzidisdb4d7a52012-01-14 02:05:51 +000030 IndexCtx.indexTypeSourceInfo(D->getTypeSourceInfo(), Parent);
31 IndexCtx.indexNestedNameSpecifierLoc(D->getQualifierLoc(), Parent);
32 } else {
33 if (ParmVarDecl *Parm = dyn_cast<ParmVarDecl>(D)) {
34 IndexCtx.handleVar(Parm);
35 } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
36 for (FunctionDecl::param_iterator
37 PI = FD->param_begin(), PE = FD->param_end(); PI != PE; ++PI) {
38 IndexCtx.handleVar(*PI);
39 }
40 }
41 }
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +000042 }
43
Argyrios Kyrtzidisd7c15a62012-02-28 17:50:28 +000044 void handleObjCMethod(ObjCMethodDecl *D) {
45 IndexCtx.handleObjCMethod(D);
46 if (D->isImplicit())
47 return;
48
49 IndexCtx.indexTypeSourceInfo(D->getResultTypeSourceInfo(), D);
50 for (ObjCMethodDecl::param_iterator
51 I = D->param_begin(), E = D->param_end(); I != E; ++I)
52 handleDeclarator(*I, D);
53
54 if (D->isThisDeclarationADefinition()) {
55 const Stmt *Body = D->getBody();
56 if (Body) {
57 IndexCtx.indexBody(Body, D, D);
58 }
59 }
60 }
61
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +000062 bool VisitFunctionDecl(FunctionDecl *D) {
63 IndexCtx.handleFunction(D);
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +000064 handleDeclarator(D);
Argyrios Kyrtzidis8818d452012-01-23 16:58:36 +000065
66 if (CXXConstructorDecl *Ctor = dyn_cast<CXXConstructorDecl>(D)) {
67 // Constructor initializers.
68 for (CXXConstructorDecl::init_iterator I = Ctor->init_begin(),
69 E = Ctor->init_end();
70 I != E; ++I) {
71 CXXCtorInitializer *Init = *I;
72 if (Init->isWritten()) {
73 IndexCtx.indexTypeSourceInfo(Init->getTypeSourceInfo(), D);
74 if (const FieldDecl *Member = Init->getAnyMember())
75 IndexCtx.handleReference(Member, Init->getMemberLocation(), D, D);
76 IndexCtx.indexBody(Init->getInit(), D, D);
77 }
78 }
79 }
80
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +000081 if (D->isThisDeclarationADefinition()) {
82 const Stmt *Body = D->getBody();
83 if (Body) {
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +000084 IndexCtx.indexBody(Body, D, D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +000085 }
86 }
87 return true;
88 }
89
90 bool VisitVarDecl(VarDecl *D) {
91 IndexCtx.handleVar(D);
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +000092 handleDeclarator(D);
93 IndexCtx.indexBody(D->getInit(), D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +000094 return true;
95 }
96
97 bool VisitFieldDecl(FieldDecl *D) {
98 IndexCtx.handleField(D);
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +000099 handleDeclarator(D);
100 if (D->isBitField())
101 IndexCtx.indexBody(D->getBitWidth(), D);
102 else if (D->hasInClassInitializer())
103 IndexCtx.indexBody(D->getInClassInitializer(), D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000104 return true;
105 }
106
107 bool VisitEnumConstantDecl(EnumConstantDecl *D) {
108 IndexCtx.handleEnumerator(D);
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +0000109 IndexCtx.indexBody(D->getInitExpr(), D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000110 return true;
111 }
112
Argyrios Kyrtzidis754a5d12012-09-01 19:08:08 +0000113 bool VisitTypedefNameDecl(TypedefNameDecl *D) {
Argyrios Kyrtzidis2957e6f2011-11-22 07:24:51 +0000114 IndexCtx.handleTypedefName(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000115 IndexCtx.indexTypeSourceInfo(D->getTypeSourceInfo(), D);
116 return true;
117 }
118
119 bool VisitTagDecl(TagDecl *D) {
120 // Non-free standing tags are handled in indexTypeSourceInfo.
121 if (D->isFreeStanding())
122 IndexCtx.indexTagDecl(D);
123 return true;
124 }
125
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000126 bool VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) {
Argyrios Kyrtzidisdd93c592011-11-11 00:23:36 +0000127 IndexCtx.handleObjCInterface(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000128
Douglas Gregor375bb142011-12-27 22:43:10 +0000129 if (D->isThisDeclarationADefinition()) {
130 IndexCtx.indexTUDeclsInObjCContainer();
131 IndexCtx.indexDeclContext(D);
132 }
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000133 return true;
134 }
135
136 bool VisitObjCProtocolDecl(ObjCProtocolDecl *D) {
Argyrios Kyrtzidisdd93c592011-11-11 00:23:36 +0000137 IndexCtx.handleObjCProtocol(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000138
Douglas Gregorbd9482d2012-01-01 21:23:57 +0000139 if (D->isThisDeclarationADefinition()) {
140 IndexCtx.indexTUDeclsInObjCContainer();
141 IndexCtx.indexDeclContext(D);
142 }
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000143 return true;
144 }
145
146 bool VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Argyrios Kyrtzidise7bbab92011-11-15 06:20:24 +0000147 const ObjCInterfaceDecl *Class = D->getClassInterface();
Argyrios Kyrtzidis37f40572011-11-23 20:27:26 +0000148 if (!Class)
149 return true;
150
Argyrios Kyrtzidise7bbab92011-11-15 06:20:24 +0000151 if (Class->isImplicitInterfaceDecl())
152 IndexCtx.handleObjCInterface(Class);
153
Argyrios Kyrtzidisdd93c592011-11-11 00:23:36 +0000154 IndexCtx.handleObjCImplementation(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000155
156 IndexCtx.indexTUDeclsInObjCContainer();
Argyrios Kyrtzidis390fff82012-06-08 02:16:11 +0000157
158 // Index the ivars first to make sure the synthesized ivars are indexed
159 // before indexing the methods that can reference them.
160 for (ObjCImplementationDecl::ivar_iterator
161 IvarI = D->ivar_begin(),
162 IvarE = D->ivar_end(); IvarI != IvarE; ++IvarI) {
163 IndexCtx.indexDecl(*IvarI);
164 }
165 for (DeclContext::decl_iterator
166 I = D->decls_begin(), E = D->decls_end(); I != E; ++I) {
167 if (!isa<ObjCIvarDecl>(*I))
168 IndexCtx.indexDecl(*I);
169 }
170
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000171 return true;
172 }
173
174 bool VisitObjCCategoryDecl(ObjCCategoryDecl *D) {
Argyrios Kyrtzidisdd93c592011-11-11 00:23:36 +0000175 IndexCtx.handleObjCCategory(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000176
177 IndexCtx.indexTUDeclsInObjCContainer();
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000178 IndexCtx.indexDeclContext(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000179 return true;
180 }
181
182 bool VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Argyrios Kyrtzidis37f40572011-11-23 20:27:26 +0000183 const ObjCCategoryDecl *Cat = D->getCategoryDecl();
184 if (!Cat)
Argyrios Kyrtzidisdd93c592011-11-11 00:23:36 +0000185 return true;
186
187 IndexCtx.handleObjCCategoryImpl(D);
188
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000189 IndexCtx.indexTUDeclsInObjCContainer();
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000190 IndexCtx.indexDeclContext(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000191 return true;
192 }
193
194 bool VisitObjCMethodDecl(ObjCMethodDecl *D) {
Argyrios Kyrtzidisd7c15a62012-02-28 17:50:28 +0000195 // Methods associated with a property, even user-declared ones, are
196 // handled when we handle the property.
197 if (D->isSynthesized())
198 return true;
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000199
Argyrios Kyrtzidisd7c15a62012-02-28 17:50:28 +0000200 handleObjCMethod(D);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000201 return true;
202 }
203
204 bool VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Argyrios Kyrtzidisd7c15a62012-02-28 17:50:28 +0000205 if (ObjCMethodDecl *MD = D->getGetterMethodDecl())
206 if (MD->getLexicalDeclContext() == D->getLexicalDeclContext())
207 handleObjCMethod(MD);
208 if (ObjCMethodDecl *MD = D->getSetterMethodDecl())
209 if (MD->getLexicalDeclContext() == D->getLexicalDeclContext())
210 handleObjCMethod(MD);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000211 IndexCtx.handleObjCProperty(D);
212 IndexCtx.indexTypeSourceInfo(D->getTypeSourceInfo(), D);
213 return true;
214 }
Argyrios Kyrtzidisb395c632011-11-18 00:26:51 +0000215
216 bool VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
217 ObjCPropertyDecl *PD = D->getPropertyDecl();
218 IndexCtx.handleSynthesizedObjCProperty(D);
219
220 if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Dynamic)
221 return true;
222 assert(D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize);
223
224 if (ObjCIvarDecl *IvarD = D->getPropertyIvarDecl()) {
225 if (!IvarD->getSynthesize())
226 IndexCtx.handleReference(IvarD, D->getPropertyIvarDeclLoc(), 0,
227 D->getDeclContext());
228 }
229
230 if (ObjCMethodDecl *MD = PD->getGetterMethodDecl()) {
231 if (MD->isSynthesized())
Argyrios Kyrtzidisf9112422012-02-28 17:50:39 +0000232 IndexCtx.handleSynthesizedObjCMethod(MD, D->getLocation(),
233 D->getLexicalDeclContext());
Argyrios Kyrtzidisb395c632011-11-18 00:26:51 +0000234 }
235 if (ObjCMethodDecl *MD = PD->getSetterMethodDecl()) {
236 if (MD->isSynthesized())
Argyrios Kyrtzidisf9112422012-02-28 17:50:39 +0000237 IndexCtx.handleSynthesizedObjCMethod(MD, D->getLocation(),
238 D->getLexicalDeclContext());
Argyrios Kyrtzidisb395c632011-11-18 00:26:51 +0000239 }
Argyrios Kyrtzidis2957e6f2011-11-22 07:24:51 +0000240 return true;
241 }
Argyrios Kyrtzidisb395c632011-11-18 00:26:51 +0000242
Argyrios Kyrtzidis68478b02011-12-07 05:52:06 +0000243 bool VisitNamespaceDecl(NamespaceDecl *D) {
244 IndexCtx.handleNamespace(D);
245 IndexCtx.indexDeclContext(D);
246 return true;
247 }
248
Argyrios Kyrtzidis911d7172012-02-10 20:10:48 +0000249 bool VisitUsingDecl(UsingDecl *D) {
250 // FIXME: Parent for the following is CXIdxEntity_Unexposed with no USR,
251 // we should do better.
252
253 IndexCtx.indexNestedNameSpecifierLoc(D->getQualifierLoc(), D);
254 for (UsingDecl::shadow_iterator
255 I = D->shadow_begin(), E = D->shadow_end(); I != E; ++I) {
256 IndexCtx.handleReference((*I)->getUnderlyingDecl(), D->getLocation(),
257 D, D->getLexicalDeclContext());
258 }
259 return true;
260 }
261
262 bool VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
263 // FIXME: Parent for the following is CXIdxEntity_Unexposed with no USR,
264 // we should do better.
265
266 IndexCtx.indexNestedNameSpecifierLoc(D->getQualifierLoc(), D);
267 IndexCtx.handleReference(D->getNominatedNamespaceAsWritten(),
268 D->getLocation(), D, D->getLexicalDeclContext());
269 return true;
270 }
271
Argyrios Kyrtzidis2957e6f2011-11-22 07:24:51 +0000272 bool VisitClassTemplateDecl(ClassTemplateDecl *D) {
273 IndexCtx.handleClassTemplate(D);
274 if (D->isThisDeclarationADefinition())
275 IndexCtx.indexDeclContext(D->getTemplatedDecl());
276 return true;
277 }
278
Argyrios Kyrtzidis6d968362012-02-10 20:10:44 +0000279 bool VisitClassTemplateSpecializationDecl(
280 ClassTemplateSpecializationDecl *D) {
Argyrios Kyrtzidis58d2dbe2012-02-14 22:23:11 +0000281 // FIXME: Notify subsequent callbacks if info comes from implicit
Argyrios Kyrtzidis6d968362012-02-10 20:10:44 +0000282 // instantiation.
Argyrios Kyrtzidis58d2dbe2012-02-14 22:23:11 +0000283 if (D->isThisDeclarationADefinition() &&
284 (IndexCtx.shouldIndexImplicitTemplateInsts() ||
285 !IndexCtx.isTemplateImplicitInstantiation(D)))
Argyrios Kyrtzidis6d968362012-02-10 20:10:44 +0000286 IndexCtx.indexTagDecl(D);
287 return true;
288 }
289
Argyrios Kyrtzidis2957e6f2011-11-22 07:24:51 +0000290 bool VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
291 IndexCtx.handleFunctionTemplate(D);
292 FunctionDecl *FD = D->getTemplatedDecl();
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +0000293 handleDeclarator(FD, D);
Argyrios Kyrtzidis2957e6f2011-11-22 07:24:51 +0000294 if (FD->isThisDeclarationADefinition()) {
295 const Stmt *Body = FD->getBody();
296 if (Body) {
Argyrios Kyrtzidise422e452011-12-13 18:47:41 +0000297 IndexCtx.indexBody(Body, D, FD);
Argyrios Kyrtzidis2957e6f2011-11-22 07:24:51 +0000298 }
299 }
300 return true;
301 }
302
303 bool VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
304 IndexCtx.handleTypeAliasTemplate(D);
305 IndexCtx.indexTypeSourceInfo(D->getTemplatedDecl()->getTypeSourceInfo(), D);
Argyrios Kyrtzidisb395c632011-11-18 00:26:51 +0000306 return true;
307 }
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000308};
309
310} // anonymous namespace
311
312void IndexingContext::indexDecl(const Decl *D) {
Argyrios Kyrtzidisd0890082012-02-07 22:46:16 +0000313 if (D->isImplicit() && shouldIgnoreIfImplicit(D))
314 return;
315
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000316 bool Handled = IndexingDeclVisitor(*this).Visit(const_cast<Decl*>(D));
317 if (!Handled && isa<DeclContext>(D))
318 indexDeclContext(cast<DeclContext>(D));
319}
320
321void IndexingContext::indexDeclContext(const DeclContext *DC) {
322 for (DeclContext::decl_iterator
323 I = DC->decls_begin(), E = DC->decls_end(); I != E; ++I) {
324 indexDecl(*I);
325 }
326}
327
Argyrios Kyrtzidis21ee5702011-11-15 06:20:16 +0000328void IndexingContext::indexTopLevelDecl(Decl *D) {
329 if (isNotFromSourceFile(D->getLocation()))
330 return;
331
332 if (isa<ObjCMethodDecl>(D))
333 return; // Wait for the objc container.
334
335 indexDecl(D);
336}
337
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000338void IndexingContext::indexDeclGroupRef(DeclGroupRef DG) {
Argyrios Kyrtzidis21ee5702011-11-15 06:20:16 +0000339 for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I)
340 indexTopLevelDecl(*I);
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000341}
342
343void IndexingContext::indexTUDeclsInObjCContainer() {
Argyrios Kyrtzidis30a28052012-03-23 23:24:18 +0000344 while (!TUDeclsInObjCContainer.empty()) {
345 DeclGroupRef DG = TUDeclsInObjCContainer.front();
346 TUDeclsInObjCContainer.pop_front();
347 indexDeclGroupRef(DG);
348 }
Argyrios Kyrtzidis4e7064f2011-10-17 19:48:19 +0000349}