blob: 3958cb63a51b77555a44f89719aaa09a7ba9cc01 [file] [log] [blame]
Chris Lattner1e03a562008-03-16 00:19:01 +00001//===--- DeclObjC.cpp - ObjC Declaration AST Node Implementation ----------===//
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// This file implements the Objective-C related Decl classes.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/AST/DeclObjC.h"
15#include "clang/AST/ASTContext.h"
Daniel Dunbare91593e2008-08-11 04:54:23 +000016#include "clang/AST/Stmt.h"
Argyrios Kyrtzidise6b8d682011-09-01 00:58:55 +000017#include "clang/AST/ASTMutationListener.h"
Steve Naroff0de21fd2009-02-22 19:35:57 +000018#include "llvm/ADT/STLExtras.h"
Anna Zaksad0ce532012-09-27 19:45:11 +000019#include "llvm/ADT/SmallString.h"
Chris Lattner1e03a562008-03-16 00:19:01 +000020using namespace clang;
21
Chris Lattner6c4ae5d2008-03-16 00:49:28 +000022//===----------------------------------------------------------------------===//
Chris Lattner11e1e1a2009-02-20 21:16:26 +000023// ObjCListBase
24//===----------------------------------------------------------------------===//
25
Chris Lattner38af2de2009-02-20 21:35:13 +000026void ObjCListBase::set(void *const* InList, unsigned Elts, ASTContext &Ctx) {
Douglas Gregorff331c12010-07-25 18:17:45 +000027 List = 0;
Chris Lattner11e1e1a2009-02-20 21:16:26 +000028 if (Elts == 0) return; // Setting to an empty list is a noop.
Mike Stump1eb44332009-09-09 15:08:12 +000029
30
Chris Lattner4ee413b2009-02-20 21:44:01 +000031 List = new (Ctx) void*[Elts];
Chris Lattner11e1e1a2009-02-20 21:16:26 +000032 NumElts = Elts;
33 memcpy(List, InList, sizeof(void*)*Elts);
34}
35
Douglas Gregor18df52b2010-01-16 15:02:53 +000036void ObjCProtocolList::set(ObjCProtocolDecl* const* InList, unsigned Elts,
37 const SourceLocation *Locs, ASTContext &Ctx) {
38 if (Elts == 0)
39 return;
40
41 Locations = new (Ctx) SourceLocation[Elts];
42 memcpy(Locations, Locs, sizeof(SourceLocation) * Elts);
43 set(InList, Elts, Ctx);
44}
45
Chris Lattner11e1e1a2009-02-20 21:16:26 +000046//===----------------------------------------------------------------------===//
Chris Lattnerab351632009-02-20 20:59:54 +000047// ObjCInterfaceDecl
Chris Lattner6c4ae5d2008-03-16 00:49:28 +000048//===----------------------------------------------------------------------===//
49
David Blaikie99ba9e32011-12-20 02:48:34 +000050void ObjCContainerDecl::anchor() { }
51
Fariborz Jahanian496b5a82009-06-05 18:16:35 +000052/// getIvarDecl - This method looks up an ivar in this ContextDecl.
53///
54ObjCIvarDecl *
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +000055ObjCContainerDecl::getIvarDecl(IdentifierInfo *Id) const {
Fariborz Jahanian496b5a82009-06-05 18:16:35 +000056 lookup_const_iterator Ivar, IvarEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +000057 for (llvm::tie(Ivar, IvarEnd) = lookup(Id); Ivar != IvarEnd; ++Ivar) {
Fariborz Jahanian496b5a82009-06-05 18:16:35 +000058 if (ObjCIvarDecl *ivar = dyn_cast<ObjCIvarDecl>(*Ivar))
59 return ivar;
60 }
61 return 0;
62}
63
Argyrios Kyrtzidis467c0b12009-07-25 22:15:22 +000064// Get the local instance/class method declared in this interface.
Douglas Gregor6ab35242009-04-09 21:40:53 +000065ObjCMethodDecl *
Argyrios Kyrtzidis467c0b12009-07-25 22:15:22 +000066ObjCContainerDecl::getMethod(Selector Sel, bool isInstance) const {
Steve Naroff0de21fd2009-02-22 19:35:57 +000067 // Since instance & class methods can have the same name, the loop below
68 // ensures we get the correct method.
69 //
70 // @interface Whatever
71 // - (int) class_method;
72 // + (float) class_method;
73 // @end
74 //
75 lookup_const_iterator Meth, MethEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +000076 for (llvm::tie(Meth, MethEnd) = lookup(Sel); Meth != MethEnd; ++Meth) {
Steve Naroff0de21fd2009-02-22 19:35:57 +000077 ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(*Meth);
Argyrios Kyrtzidis467c0b12009-07-25 22:15:22 +000078 if (MD && MD->isInstanceMethod() == isInstance)
Steve Naroff0de21fd2009-02-22 19:35:57 +000079 return MD;
80 }
Steve Naroff0701bbb2009-01-08 17:28:14 +000081 return 0;
82}
83
Ted Kremenek9f550ff2010-03-15 20:11:46 +000084ObjCPropertyDecl *
Ted Kremenekde09d0c2010-03-15 20:11:53 +000085ObjCPropertyDecl::findPropertyDecl(const DeclContext *DC,
Ted Kremenek9f550ff2010-03-15 20:11:46 +000086 IdentifierInfo *propertyID) {
87
Ted Kremenekde09d0c2010-03-15 20:11:53 +000088 DeclContext::lookup_const_iterator I, E;
Ted Kremenek9f550ff2010-03-15 20:11:46 +000089 llvm::tie(I, E) = DC->lookup(propertyID);
90 for ( ; I != E; ++I)
91 if (ObjCPropertyDecl *PD = dyn_cast<ObjCPropertyDecl>(*I))
92 return PD;
93
94 return 0;
95}
96
Anna Zaksad0ce532012-09-27 19:45:11 +000097IdentifierInfo *
98ObjCPropertyDecl::getDefaultSynthIvarName(ASTContext &Ctx) const {
99 SmallString<128> ivarName;
100 {
101 llvm::raw_svector_ostream os(ivarName);
102 os << '_' << getIdentifier()->getName();
103 }
104 return &Ctx.Idents.get(ivarName.str());
105}
106
Fariborz Jahanian559c0c42008-04-21 19:04:53 +0000107/// FindPropertyDeclaration - Finds declaration of the property given its name
108/// in 'PropertyId' and returns it. It returns 0, if not found.
Fariborz Jahanian559c0c42008-04-21 19:04:53 +0000109ObjCPropertyDecl *
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000110ObjCContainerDecl::FindPropertyDeclaration(IdentifierInfo *PropertyId) const {
Mike Stump1eb44332009-09-09 15:08:12 +0000111
Ted Kremenekde09d0c2010-03-15 20:11:53 +0000112 if (ObjCPropertyDecl *PD =
113 ObjCPropertyDecl::findPropertyDecl(cast<DeclContext>(this), PropertyId))
114 return PD;
Mike Stump1eb44332009-09-09 15:08:12 +0000115
Ted Kremenekde09d0c2010-03-15 20:11:53 +0000116 switch (getKind()) {
117 default:
118 break;
119 case Decl::ObjCProtocol: {
120 const ObjCProtocolDecl *PID = cast<ObjCProtocolDecl>(this);
121 for (ObjCProtocolDecl::protocol_iterator I = PID->protocol_begin(),
122 E = PID->protocol_end(); I != E; ++I)
Fariborz Jahanian25760612010-02-15 21:55:26 +0000123 if (ObjCPropertyDecl *P = (*I)->FindPropertyDeclaration(PropertyId))
124 return P;
Ted Kremenekde09d0c2010-03-15 20:11:53 +0000125 break;
126 }
127 case Decl::ObjCInterface: {
128 const ObjCInterfaceDecl *OID = cast<ObjCInterfaceDecl>(this);
129 // Look through categories.
130 for (ObjCCategoryDecl *Cat = OID->getCategoryList();
131 Cat; Cat = Cat->getNextClassCategory())
132 if (!Cat->IsClassExtension())
133 if (ObjCPropertyDecl *P = Cat->FindPropertyDeclaration(PropertyId))
134 return P;
135
136 // Look through protocols.
Ted Kremenek53b94412010-09-01 01:21:15 +0000137 for (ObjCInterfaceDecl::all_protocol_iterator
138 I = OID->all_referenced_protocol_begin(),
139 E = OID->all_referenced_protocol_end(); I != E; ++I)
Ted Kremenekde09d0c2010-03-15 20:11:53 +0000140 if (ObjCPropertyDecl *P = (*I)->FindPropertyDeclaration(PropertyId))
141 return P;
142
143 // Finally, check the super class.
144 if (const ObjCInterfaceDecl *superClass = OID->getSuperClass())
145 return superClass->FindPropertyDeclaration(PropertyId);
146 break;
147 }
148 case Decl::ObjCCategory: {
149 const ObjCCategoryDecl *OCD = cast<ObjCCategoryDecl>(this);
150 // Look through protocols.
151 if (!OCD->IsClassExtension())
152 for (ObjCCategoryDecl::protocol_iterator
153 I = OCD->protocol_begin(), E = OCD->protocol_end(); I != E; ++I)
154 if (ObjCPropertyDecl *P = (*I)->FindPropertyDeclaration(PropertyId))
155 return P;
156
157 break;
Fariborz Jahanianf034e9c2009-01-19 18:16:19 +0000158 }
159 }
Steve Naroff3d2c22b2008-06-05 13:55:23 +0000160 return 0;
161}
162
David Blaikie99ba9e32011-12-20 02:48:34 +0000163void ObjCInterfaceDecl::anchor() { }
164
Fariborz Jahaniana6f14e12009-11-02 22:45:15 +0000165/// FindPropertyVisibleInPrimaryClass - Finds declaration of the property
166/// with name 'PropertyId' in the primary class; including those in protocols
Ted Kremenek37cafb02010-03-15 20:30:07 +0000167/// (direct or indirect) used by the primary class.
Fariborz Jahaniana6f14e12009-11-02 22:45:15 +0000168///
169ObjCPropertyDecl *
Ted Kremenek37cafb02010-03-15 20:30:07 +0000170ObjCInterfaceDecl::FindPropertyVisibleInPrimaryClass(
Fariborz Jahaniana6f14e12009-11-02 22:45:15 +0000171 IdentifierInfo *PropertyId) const {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000172 // FIXME: Should make sure no callers ever do this.
173 if (!hasDefinition())
174 return 0;
175
176 if (data().ExternallyCompleted)
Douglas Gregor26ac3f32010-12-01 23:49:52 +0000177 LoadExternalDefinition();
178
Ted Kremenek37cafb02010-03-15 20:30:07 +0000179 if (ObjCPropertyDecl *PD =
180 ObjCPropertyDecl::findPropertyDecl(cast<DeclContext>(this), PropertyId))
181 return PD;
182
Fariborz Jahaniana6f14e12009-11-02 22:45:15 +0000183 // Look through protocols.
Ted Kremenek53b94412010-09-01 01:21:15 +0000184 for (ObjCInterfaceDecl::all_protocol_iterator
185 I = all_referenced_protocol_begin(),
186 E = all_referenced_protocol_end(); I != E; ++I)
Fariborz Jahaniana6f14e12009-11-02 22:45:15 +0000187 if (ObjCPropertyDecl *P = (*I)->FindPropertyDeclaration(PropertyId))
188 return P;
Ted Kremenek37cafb02010-03-15 20:30:07 +0000189
Fariborz Jahaniana6f14e12009-11-02 22:45:15 +0000190 return 0;
191}
192
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000193void ObjCInterfaceDecl::mergeClassExtensionProtocolList(
194 ObjCProtocolDecl *const* ExtList, unsigned ExtNum,
195 ASTContext &C)
196{
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000197 if (data().ExternallyCompleted)
Douglas Gregor26ac3f32010-12-01 23:49:52 +0000198 LoadExternalDefinition();
199
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000200 if (data().AllReferencedProtocols.empty() &&
201 data().ReferencedProtocols.empty()) {
202 data().AllReferencedProtocols.set(ExtList, ExtNum, C);
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000203 return;
204 }
Ted Kremenek53b94412010-09-01 01:21:15 +0000205
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000206 // Check for duplicate protocol in class's protocol list.
Ted Kremenek53b94412010-09-01 01:21:15 +0000207 // This is O(n*m). But it is extremely rare and number of protocols in
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000208 // class or its extension are very few.
Chris Lattner5f9e2722011-07-23 10:55:15 +0000209 SmallVector<ObjCProtocolDecl*, 8> ProtocolRefs;
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000210 for (unsigned i = 0; i < ExtNum; i++) {
211 bool protocolExists = false;
212 ObjCProtocolDecl *ProtoInExtension = ExtList[i];
Ted Kremenek53b94412010-09-01 01:21:15 +0000213 for (all_protocol_iterator
214 p = all_referenced_protocol_begin(),
215 e = all_referenced_protocol_end(); p != e; ++p) {
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000216 ObjCProtocolDecl *Proto = (*p);
217 if (C.ProtocolCompatibleWithProtocol(ProtoInExtension, Proto)) {
218 protocolExists = true;
219 break;
220 }
221 }
222 // Do we want to warn on a protocol in extension class which
223 // already exist in the class? Probably not.
Ted Kremenek53b94412010-09-01 01:21:15 +0000224 if (!protocolExists)
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000225 ProtocolRefs.push_back(ProtoInExtension);
226 }
Ted Kremenek53b94412010-09-01 01:21:15 +0000227
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000228 if (ProtocolRefs.empty())
229 return;
Ted Kremenek53b94412010-09-01 01:21:15 +0000230
Fariborz Jahanianb106fc62009-10-05 21:32:49 +0000231 // Merge ProtocolRefs into class's protocol list;
Ted Kremenek53b94412010-09-01 01:21:15 +0000232 for (all_protocol_iterator p = all_referenced_protocol_begin(),
233 e = all_referenced_protocol_end(); p != e; ++p) {
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000234 ProtocolRefs.push_back(*p);
Douglas Gregor18df52b2010-01-16 15:02:53 +0000235 }
Ted Kremenek53b94412010-09-01 01:21:15 +0000236
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000237 data().AllReferencedProtocols.set(ProtocolRefs.data(), ProtocolRefs.size(),C);
Fariborz Jahanian339798e2009-10-05 20:41:32 +0000238}
239
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000240void ObjCInterfaceDecl::allocateDefinitionData() {
241 assert(!hasDefinition() && "ObjC class already has a definition");
Douglas Gregor26fec632011-12-15 18:17:27 +0000242 Data = new (getASTContext()) DefinitionData();
Douglas Gregor8d2dbbf2011-12-16 16:34:57 +0000243 Data->Definition = this;
244
245 // Make the type point at the definition, now that we have one.
246 if (TypeForDecl)
247 cast<ObjCInterfaceType>(TypeForDecl)->Decl = this;
Douglas Gregor0af55012011-12-16 03:12:41 +0000248}
249
250void ObjCInterfaceDecl::startDefinition() {
251 allocateDefinitionData();
252
Douglas Gregor53df7a12011-12-15 18:03:09 +0000253 // Update all of the declarations with a pointer to the definition.
254 for (redecl_iterator RD = redecls_begin(), RDEnd = redecls_end();
255 RD != RDEnd; ++RD) {
256 if (*RD != this)
Douglas Gregor26fec632011-12-15 18:17:27 +0000257 RD->Data = Data;
Douglas Gregor53df7a12011-12-15 18:03:09 +0000258 }
Argyrios Kyrtzidisad834d52011-11-12 21:07:46 +0000259}
260
Fariborz Jahanian80aa1cd2010-06-22 23:20:40 +0000261/// getFirstClassExtension - Find first class extension of the given class.
262ObjCCategoryDecl* ObjCInterfaceDecl::getFirstClassExtension() const {
263 for (ObjCCategoryDecl *CDecl = getCategoryList(); CDecl;
Fariborz Jahanian0e5ad252010-02-23 01:26:30 +0000264 CDecl = CDecl->getNextClassCategory())
265 if (CDecl->IsClassExtension())
266 return CDecl;
267 return 0;
268}
269
Fariborz Jahanian80aa1cd2010-06-22 23:20:40 +0000270/// getNextClassCategory - Find next class extension in list of categories.
271const ObjCCategoryDecl* ObjCCategoryDecl::getNextClassExtension() const {
272 for (const ObjCCategoryDecl *CDecl = getNextClassCategory(); CDecl;
273 CDecl = CDecl->getNextClassCategory())
274 if (CDecl->IsClassExtension())
275 return CDecl;
276 return 0;
277}
278
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000279ObjCIvarDecl *ObjCInterfaceDecl::lookupInstanceVariable(IdentifierInfo *ID,
280 ObjCInterfaceDecl *&clsDeclared) {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000281 // FIXME: Should make sure no callers ever do this.
282 if (!hasDefinition())
283 return 0;
284
285 if (data().ExternallyCompleted)
Argyrios Kyrtzidis7c81c2a2011-10-19 02:25:16 +0000286 LoadExternalDefinition();
287
Chris Lattner1e03a562008-03-16 00:19:01 +0000288 ObjCInterfaceDecl* ClassDecl = this;
289 while (ClassDecl != NULL) {
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000290 if (ObjCIvarDecl *I = ClassDecl->getIvarDecl(ID)) {
Fariborz Jahanian496b5a82009-06-05 18:16:35 +0000291 clsDeclared = ClassDecl;
292 return I;
Chris Lattner1e03a562008-03-16 00:19:01 +0000293 }
Fariborz Jahanian80aa1cd2010-06-22 23:20:40 +0000294 for (const ObjCCategoryDecl *CDecl = ClassDecl->getFirstClassExtension();
295 CDecl; CDecl = CDecl->getNextClassExtension()) {
Fariborz Jahanian0e5ad252010-02-23 01:26:30 +0000296 if (ObjCIvarDecl *I = CDecl->getIvarDecl(ID)) {
297 clsDeclared = ClassDecl;
298 return I;
299 }
Fariborz Jahanian80aa1cd2010-06-22 23:20:40 +0000300 }
Fariborz Jahanian0e5ad252010-02-23 01:26:30 +0000301
Chris Lattner1e03a562008-03-16 00:19:01 +0000302 ClassDecl = ClassDecl->getSuperClass();
303 }
304 return NULL;
305}
306
Fariborz Jahaniancd187622009-05-22 17:12:32 +0000307/// lookupInheritedClass - This method returns ObjCInterfaceDecl * of the super
308/// class whose name is passed as argument. If it is not one of the super classes
309/// the it returns NULL.
310ObjCInterfaceDecl *ObjCInterfaceDecl::lookupInheritedClass(
311 const IdentifierInfo*ICName) {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000312 // FIXME: Should make sure no callers ever do this.
313 if (!hasDefinition())
314 return 0;
315
316 if (data().ExternallyCompleted)
Argyrios Kyrtzidis7c81c2a2011-10-19 02:25:16 +0000317 LoadExternalDefinition();
318
Fariborz Jahaniancd187622009-05-22 17:12:32 +0000319 ObjCInterfaceDecl* ClassDecl = this;
320 while (ClassDecl != NULL) {
321 if (ClassDecl->getIdentifier() == ICName)
322 return ClassDecl;
323 ClassDecl = ClassDecl->getSuperClass();
324 }
325 return NULL;
326}
327
Argyrios Kyrtzidisaa5420c2009-07-25 22:15:51 +0000328/// lookupMethod - This method returns an instance/class method by looking in
Chris Lattner1e03a562008-03-16 00:19:01 +0000329/// the class, its categories, and its super classes (using a linear search).
Fariborz Jahanianbf393be2012-04-05 22:14:12 +0000330ObjCMethodDecl *ObjCInterfaceDecl::lookupMethod(Selector Sel,
331 bool isInstance,
332 bool shallowCategoryLookup) const {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000333 // FIXME: Should make sure no callers ever do this.
334 if (!hasDefinition())
335 return 0;
336
Argyrios Kyrtzidisaa5420c2009-07-25 22:15:51 +0000337 const ObjCInterfaceDecl* ClassDecl = this;
Chris Lattner1e03a562008-03-16 00:19:01 +0000338 ObjCMethodDecl *MethodDecl = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000339
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000340 if (data().ExternallyCompleted)
Douglas Gregor26ac3f32010-12-01 23:49:52 +0000341 LoadExternalDefinition();
342
Chris Lattner1e03a562008-03-16 00:19:01 +0000343 while (ClassDecl != NULL) {
Argyrios Kyrtzidisaa5420c2009-07-25 22:15:51 +0000344 if ((MethodDecl = ClassDecl->getMethod(Sel, isInstance)))
Chris Lattner1e03a562008-03-16 00:19:01 +0000345 return MethodDecl;
Mike Stump1eb44332009-09-09 15:08:12 +0000346
Chris Lattner1e03a562008-03-16 00:19:01 +0000347 // Didn't find one yet - look through protocols.
Argyrios Kyrtzidisa5f44412012-03-13 01:09:41 +0000348 for (ObjCInterfaceDecl::protocol_iterator I = ClassDecl->protocol_begin(),
349 E = ClassDecl->protocol_end();
350 I != E; ++I)
Argyrios Kyrtzidisaa5420c2009-07-25 22:15:51 +0000351 if ((MethodDecl = (*I)->lookupMethod(Sel, isInstance)))
Chris Lattner1e03a562008-03-16 00:19:01 +0000352 return MethodDecl;
Fariborz Jahanianbf393be2012-04-05 22:14:12 +0000353
354 // Didn't find one yet - now look through categories.
355 ObjCCategoryDecl *CatDecl = ClassDecl->getCategoryList();
356 while (CatDecl) {
357 if ((MethodDecl = CatDecl->getMethod(Sel, isInstance)))
358 return MethodDecl;
Fariborz Jahanianbb3d14e2012-02-09 21:30:24 +0000359
Fariborz Jahanianbf393be2012-04-05 22:14:12 +0000360 if (!shallowCategoryLookup) {
Fariborz Jahanianbb3d14e2012-02-09 21:30:24 +0000361 // Didn't find one yet - look through protocols.
362 const ObjCList<ObjCProtocolDecl> &Protocols =
363 CatDecl->getReferencedProtocols();
364 for (ObjCList<ObjCProtocolDecl>::iterator I = Protocols.begin(),
365 E = Protocols.end(); I != E; ++I)
366 if ((MethodDecl = (*I)->lookupMethod(Sel, isInstance)))
367 return MethodDecl;
Fariborz Jahanianbb3d14e2012-02-09 21:30:24 +0000368 }
Fariborz Jahanianbf393be2012-04-05 22:14:12 +0000369 CatDecl = CatDecl->getNextClassCategory();
Chris Lattner1e03a562008-03-16 00:19:01 +0000370 }
Fariborz Jahanianbf393be2012-04-05 22:14:12 +0000371
Chris Lattner1e03a562008-03-16 00:19:01 +0000372 ClassDecl = ClassDecl->getSuperClass();
373 }
374 return NULL;
375}
376
Anna Zakse61354b2012-07-27 19:07:44 +0000377// Will search "local" class/category implementations for a method decl.
378// If failed, then we search in class's root for an instance method.
379// Returns 0 if no method is found.
Fariborz Jahanian74b27562010-12-03 23:37:08 +0000380ObjCMethodDecl *ObjCInterfaceDecl::lookupPrivateMethod(
381 const Selector &Sel,
Anna Zaksca93ee72012-07-30 20:31:21 +0000382 bool Instance) const {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000383 // FIXME: Should make sure no callers ever do this.
384 if (!hasDefinition())
385 return 0;
386
387 if (data().ExternallyCompleted)
Argyrios Kyrtzidis7c81c2a2011-10-19 02:25:16 +0000388 LoadExternalDefinition();
389
Steve Naroffd789d3d2009-10-01 23:46:04 +0000390 ObjCMethodDecl *Method = 0;
391 if (ObjCImplementationDecl *ImpDecl = getImplementation())
Fariborz Jahanian74b27562010-12-03 23:37:08 +0000392 Method = Instance ? ImpDecl->getInstanceMethod(Sel)
393 : ImpDecl->getClassMethod(Sel);
Anna Zakse61354b2012-07-27 19:07:44 +0000394
395 // Look through local category implementations associated with the class.
396 if (!Method)
397 Method = Instance ? getCategoryInstanceMethod(Sel)
398 : getCategoryClassMethod(Sel);
399
400 // Before we give up, check if the selector is an instance method.
401 // But only in the root. This matches gcc's behavior and what the
402 // runtime expects.
403 if (!Instance && !Method && !getSuperClass()) {
404 Method = lookupInstanceMethod(Sel);
405 // Look through local category implementations associated
406 // with the root class.
407 if (!Method)
408 Method = lookupPrivateMethod(Sel, true);
409 }
410
Steve Naroffd789d3d2009-10-01 23:46:04 +0000411 if (!Method && getSuperClass())
Fariborz Jahanian74b27562010-12-03 23:37:08 +0000412 return getSuperClass()->lookupPrivateMethod(Sel, Instance);
Steve Naroffd789d3d2009-10-01 23:46:04 +0000413 return Method;
414}
Chris Lattnerab351632009-02-20 20:59:54 +0000415
416//===----------------------------------------------------------------------===//
417// ObjCMethodDecl
418//===----------------------------------------------------------------------===//
419
420ObjCMethodDecl *ObjCMethodDecl::Create(ASTContext &C,
Mike Stump1eb44332009-09-09 15:08:12 +0000421 SourceLocation beginLoc,
Chris Lattnerab351632009-02-20 20:59:54 +0000422 SourceLocation endLoc,
423 Selector SelInfo, QualType T,
Douglas Gregor4bc1cb62010-03-08 14:59:44 +0000424 TypeSourceInfo *ResultTInfo,
Chris Lattnerab351632009-02-20 20:59:54 +0000425 DeclContext *contextDecl,
426 bool isInstance,
427 bool isVariadic,
428 bool isSynthesized,
Argyrios Kyrtzidis75cf3e82011-08-17 19:25:08 +0000429 bool isImplicitlyDeclared,
Fariborz Jahanian3fe10412010-07-22 18:24:20 +0000430 bool isDefined,
Fariborz Jahanian7732cc92010-04-08 21:29:11 +0000431 ImplementationControl impControl,
Argyrios Kyrtzidisda92a7f2011-10-03 06:36:29 +0000432 bool HasRelatedResultType) {
Chris Lattnerab351632009-02-20 20:59:54 +0000433 return new (C) ObjCMethodDecl(beginLoc, endLoc,
Douglas Gregor4bc1cb62010-03-08 14:59:44 +0000434 SelInfo, T, ResultTInfo, contextDecl,
435 isInstance,
Argyrios Kyrtzidis75cf3e82011-08-17 19:25:08 +0000436 isVariadic, isSynthesized, isImplicitlyDeclared,
437 isDefined,
Fariborz Jahanian3fe10412010-07-22 18:24:20 +0000438 impControl,
Argyrios Kyrtzidisda92a7f2011-10-03 06:36:29 +0000439 HasRelatedResultType);
Chris Lattner1e03a562008-03-16 00:19:01 +0000440}
441
Douglas Gregor1e68ecc2012-01-05 21:55:30 +0000442ObjCMethodDecl *ObjCMethodDecl::CreateDeserialized(ASTContext &C, unsigned ID) {
443 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCMethodDecl));
444 return new (Mem) ObjCMethodDecl(SourceLocation(), SourceLocation(),
445 Selector(), QualType(), 0, 0);
446}
447
Douglas Gregor5456b0fe2012-10-09 17:21:28 +0000448Stmt *ObjCMethodDecl::getBody() const {
449 return Body.get(getASTContext().getExternalSource());
450}
451
Argyrios Kyrtzidis3a919e72011-10-14 08:02:31 +0000452void ObjCMethodDecl::setAsRedeclaration(const ObjCMethodDecl *PrevMethod) {
453 assert(PrevMethod);
454 getASTContext().setObjCMethodRedeclaration(PrevMethod, this);
455 IsRedeclaration = true;
Argyrios Kyrtzidis72b26252011-10-14 17:41:52 +0000456 PrevMethod->HasRedeclaration = true;
Argyrios Kyrtzidis3a919e72011-10-14 08:02:31 +0000457}
458
Argyrios Kyrtzidis491306a2011-10-03 06:37:04 +0000459void ObjCMethodDecl::setParamsAndSelLocs(ASTContext &C,
460 ArrayRef<ParmVarDecl*> Params,
461 ArrayRef<SourceLocation> SelLocs) {
462 ParamsAndSelLocs = 0;
463 NumParams = Params.size();
464 if (Params.empty() && SelLocs.empty())
465 return;
466
467 unsigned Size = sizeof(ParmVarDecl *) * NumParams +
468 sizeof(SourceLocation) * SelLocs.size();
469 ParamsAndSelLocs = C.Allocate(Size);
470 std::copy(Params.begin(), Params.end(), getParams());
471 std::copy(SelLocs.begin(), SelLocs.end(), getStoredSelLocs());
472}
473
474void ObjCMethodDecl::getSelectorLocs(
475 SmallVectorImpl<SourceLocation> &SelLocs) const {
476 for (unsigned i = 0, e = getNumSelectorLocs(); i != e; ++i)
477 SelLocs.push_back(getSelectorLoc(i));
478}
479
480void ObjCMethodDecl::setMethodParams(ASTContext &C,
481 ArrayRef<ParmVarDecl*> Params,
482 ArrayRef<SourceLocation> SelLocs) {
483 assert((!SelLocs.empty() || isImplicit()) &&
484 "No selector locs for non-implicit method");
485 if (isImplicit())
486 return setParamsAndSelLocs(C, Params, ArrayRef<SourceLocation>());
487
Argyrios Kyrtzidisa0cff722012-06-16 00:46:02 +0000488 SelLocsKind = hasStandardSelectorLocs(getSelector(), SelLocs, Params,
489 DeclEndLoc);
Argyrios Kyrtzidis491306a2011-10-03 06:37:04 +0000490 if (SelLocsKind != SelLoc_NonStandard)
491 return setParamsAndSelLocs(C, Params, ArrayRef<SourceLocation>());
492
493 setParamsAndSelLocs(C, Params, SelLocs);
494}
495
Argyrios Kyrtzidis57ea6be2009-07-21 00:06:36 +0000496/// \brief A definition will return its interface declaration.
497/// An interface declaration will return its definition.
498/// Otherwise it will return itself.
499ObjCMethodDecl *ObjCMethodDecl::getNextRedeclaration() {
500 ASTContext &Ctx = getASTContext();
Argyrios Kyrtzidis72b26252011-10-14 17:41:52 +0000501 ObjCMethodDecl *Redecl = 0;
502 if (HasRedeclaration)
503 Redecl = const_cast<ObjCMethodDecl*>(Ctx.getObjCMethodRedeclaration(this));
Argyrios Kyrtzidisb40034c2011-10-14 06:48:06 +0000504 if (Redecl)
505 return Redecl;
506
Argyrios Kyrtzidis57ea6be2009-07-21 00:06:36 +0000507 Decl *CtxD = cast<Decl>(getDeclContext());
508
509 if (ObjCInterfaceDecl *IFD = dyn_cast<ObjCInterfaceDecl>(CtxD)) {
510 if (ObjCImplementationDecl *ImplD = Ctx.getObjCImplementation(IFD))
511 Redecl = ImplD->getMethod(getSelector(), isInstanceMethod());
512
513 } else if (ObjCCategoryDecl *CD = dyn_cast<ObjCCategoryDecl>(CtxD)) {
514 if (ObjCCategoryImplDecl *ImplD = Ctx.getObjCImplementation(CD))
515 Redecl = ImplD->getMethod(getSelector(), isInstanceMethod());
516
Argyrios Kyrtzidis42920732009-07-28 05:11:05 +0000517 } else if (ObjCImplementationDecl *ImplD =
518 dyn_cast<ObjCImplementationDecl>(CtxD)) {
Argyrios Kyrtzidis57ea6be2009-07-21 00:06:36 +0000519 if (ObjCInterfaceDecl *IFD = ImplD->getClassInterface())
520 Redecl = IFD->getMethod(getSelector(), isInstanceMethod());
Argyrios Kyrtzidis42920732009-07-28 05:11:05 +0000521
522 } else if (ObjCCategoryImplDecl *CImplD =
523 dyn_cast<ObjCCategoryImplDecl>(CtxD)) {
Steve Naroff0d69b8c2009-10-29 21:11:04 +0000524 if (ObjCCategoryDecl *CatD = CImplD->getCategoryDecl())
Argyrios Kyrtzidis42920732009-07-28 05:11:05 +0000525 Redecl = CatD->getMethod(getSelector(), isInstanceMethod());
Argyrios Kyrtzidis57ea6be2009-07-21 00:06:36 +0000526 }
527
Argyrios Kyrtzidis3a919e72011-10-14 08:02:31 +0000528 if (!Redecl && isRedeclaration()) {
529 // This is the last redeclaration, go back to the first method.
530 return cast<ObjCContainerDecl>(CtxD)->getMethod(getSelector(),
531 isInstanceMethod());
532 }
533
Argyrios Kyrtzidis57ea6be2009-07-21 00:06:36 +0000534 return Redecl ? Redecl : this;
535}
536
Argyrios Kyrtzidise7f9d302009-07-28 05:11:17 +0000537ObjCMethodDecl *ObjCMethodDecl::getCanonicalDecl() {
538 Decl *CtxD = cast<Decl>(getDeclContext());
539
540 if (ObjCImplementationDecl *ImplD = dyn_cast<ObjCImplementationDecl>(CtxD)) {
541 if (ObjCInterfaceDecl *IFD = ImplD->getClassInterface())
542 if (ObjCMethodDecl *MD = IFD->getMethod(getSelector(),
543 isInstanceMethod()))
544 return MD;
545
546 } else if (ObjCCategoryImplDecl *CImplD =
547 dyn_cast<ObjCCategoryImplDecl>(CtxD)) {
Steve Naroff0d69b8c2009-10-29 21:11:04 +0000548 if (ObjCCategoryDecl *CatD = CImplD->getCategoryDecl())
Argyrios Kyrtzidise7f9d302009-07-28 05:11:17 +0000549 if (ObjCMethodDecl *MD = CatD->getMethod(getSelector(),
550 isInstanceMethod()))
551 return MD;
552 }
553
Argyrios Kyrtzidis6d4740e2011-10-17 19:48:09 +0000554 if (isRedeclaration())
555 return cast<ObjCContainerDecl>(CtxD)->getMethod(getSelector(),
556 isInstanceMethod());
557
Argyrios Kyrtzidise7f9d302009-07-28 05:11:17 +0000558 return this;
559}
560
Argyrios Kyrtzidisa0cff722012-06-16 00:46:02 +0000561SourceLocation ObjCMethodDecl::getLocEnd() const {
562 if (Stmt *Body = getBody())
563 return Body->getLocEnd();
564 return DeclEndLoc;
565}
566
John McCall85f3d762011-03-02 01:50:55 +0000567ObjCMethodFamily ObjCMethodDecl::getMethodFamily() const {
568 ObjCMethodFamily family = static_cast<ObjCMethodFamily>(Family);
John McCalld976c8e2011-03-02 21:01:41 +0000569 if (family != static_cast<unsigned>(InvalidObjCMethodFamily))
John McCall85f3d762011-03-02 01:50:55 +0000570 return family;
571
John McCalld5313b02011-03-02 11:33:24 +0000572 // Check for an explicit attribute.
573 if (const ObjCMethodFamilyAttr *attr = getAttr<ObjCMethodFamilyAttr>()) {
574 // The unfortunate necessity of mapping between enums here is due
575 // to the attributes framework.
576 switch (attr->getFamily()) {
577 case ObjCMethodFamilyAttr::OMF_None: family = OMF_None; break;
578 case ObjCMethodFamilyAttr::OMF_alloc: family = OMF_alloc; break;
579 case ObjCMethodFamilyAttr::OMF_copy: family = OMF_copy; break;
580 case ObjCMethodFamilyAttr::OMF_init: family = OMF_init; break;
581 case ObjCMethodFamilyAttr::OMF_mutableCopy: family = OMF_mutableCopy; break;
582 case ObjCMethodFamilyAttr::OMF_new: family = OMF_new; break;
583 }
584 Family = static_cast<unsigned>(family);
585 return family;
586 }
587
John McCall85f3d762011-03-02 01:50:55 +0000588 family = getSelector().getMethodFamily();
589 switch (family) {
590 case OMF_None: break;
591
592 // init only has a conventional meaning for an instance method, and
593 // it has to return an object.
594 case OMF_init:
595 if (!isInstanceMethod() || !getResultType()->isObjCObjectPointerType())
596 family = OMF_None;
597 break;
598
599 // alloc/copy/new have a conventional meaning for both class and
600 // instance methods, but they require an object return.
601 case OMF_alloc:
602 case OMF_copy:
603 case OMF_mutableCopy:
604 case OMF_new:
605 if (!getResultType()->isObjCObjectPointerType())
606 family = OMF_None;
607 break;
608
609 // These selectors have a conventional meaning only for instance methods.
610 case OMF_dealloc:
Nico Weber80cb6e62011-08-28 22:35:17 +0000611 case OMF_finalize:
John McCall85f3d762011-03-02 01:50:55 +0000612 case OMF_retain:
613 case OMF_release:
614 case OMF_autorelease:
615 case OMF_retainCount:
Douglas Gregor926df6c2011-06-11 01:09:30 +0000616 case OMF_self:
John McCall85f3d762011-03-02 01:50:55 +0000617 if (!isInstanceMethod())
618 family = OMF_None;
619 break;
Fariborz Jahanian9670e172011-07-05 22:38:59 +0000620
621 case OMF_performSelector:
622 if (!isInstanceMethod() ||
623 !getResultType()->isObjCIdType())
624 family = OMF_None;
625 else {
626 unsigned noParams = param_size();
627 if (noParams < 1 || noParams > 3)
628 family = OMF_None;
629 else {
630 ObjCMethodDecl::arg_type_iterator it = arg_type_begin();
631 QualType ArgT = (*it);
632 if (!ArgT->isObjCSelType()) {
633 family = OMF_None;
634 break;
635 }
636 while (--noParams) {
637 it++;
638 ArgT = (*it);
639 if (!ArgT->isObjCIdType()) {
640 family = OMF_None;
641 break;
642 }
643 }
644 }
645 }
646 break;
647
John McCall85f3d762011-03-02 01:50:55 +0000648 }
649
650 // Cache the result.
651 Family = static_cast<unsigned>(family);
652 return family;
653}
654
Mike Stump1eb44332009-09-09 15:08:12 +0000655void ObjCMethodDecl::createImplicitParams(ASTContext &Context,
Chris Lattnerab351632009-02-20 20:59:54 +0000656 const ObjCInterfaceDecl *OID) {
657 QualType selfTy;
658 if (isInstanceMethod()) {
659 // There may be no interface context due to error in declaration
660 // of the interface (which has been reported). Recover gracefully.
661 if (OID) {
Daniel Dunbar3b3a4582009-04-22 04:34:53 +0000662 selfTy = Context.getObjCInterfaceType(OID);
Steve Naroff14108da2009-07-10 23:34:53 +0000663 selfTy = Context.getObjCObjectPointerType(selfTy);
Chris Lattnerab351632009-02-20 20:59:54 +0000664 } else {
665 selfTy = Context.getObjCIdType();
666 }
667 } else // we have a factory method.
668 selfTy = Context.getObjCClassType();
669
John McCall7acddac2011-06-17 06:42:21 +0000670 bool selfIsPseudoStrong = false;
John McCallf85e1932011-06-15 23:02:42 +0000671 bool selfIsConsumed = false;
Ted Kremenek2bbcd5c2011-11-14 21:59:25 +0000672
David Blaikie4e4d0842012-03-11 07:00:24 +0000673 if (Context.getLangOpts().ObjCAutoRefCount) {
Ted Kremenek2bbcd5c2011-11-14 21:59:25 +0000674 if (isInstanceMethod()) {
675 selfIsConsumed = hasAttr<NSConsumesSelfAttr>();
John McCallf85e1932011-06-15 23:02:42 +0000676
Ted Kremenek2bbcd5c2011-11-14 21:59:25 +0000677 // 'self' is always __strong. It's actually pseudo-strong except
678 // in init methods (or methods labeled ns_consumes_self), though.
679 Qualifiers qs;
680 qs.setObjCLifetime(Qualifiers::OCL_Strong);
681 selfTy = Context.getQualifiedType(selfTy, qs);
John McCallf85e1932011-06-15 23:02:42 +0000682
Ted Kremenek2bbcd5c2011-11-14 21:59:25 +0000683 // In addition, 'self' is const unless this is an init method.
684 if (getMethodFamily() != OMF_init && !selfIsConsumed) {
685 selfTy = selfTy.withConst();
686 selfIsPseudoStrong = true;
687 }
688 }
689 else {
690 assert(isClassMethod());
691 // 'self' is always const in class methods.
John McCallf85e1932011-06-15 23:02:42 +0000692 selfTy = selfTy.withConst();
John McCall7acddac2011-06-17 06:42:21 +0000693 selfIsPseudoStrong = true;
694 }
John McCallf85e1932011-06-15 23:02:42 +0000695 }
696
697 ImplicitParamDecl *self
698 = ImplicitParamDecl::Create(Context, this, SourceLocation(),
699 &Context.Idents.get("self"), selfTy);
700 setSelfDecl(self);
701
702 if (selfIsConsumed)
703 self->addAttr(new (Context) NSConsumedAttr(SourceLocation(), Context));
Chris Lattnerab351632009-02-20 20:59:54 +0000704
John McCall7acddac2011-06-17 06:42:21 +0000705 if (selfIsPseudoStrong)
706 self->setARCPseudoStrong(true);
707
Mike Stump1eb44332009-09-09 15:08:12 +0000708 setCmdDecl(ImplicitParamDecl::Create(Context, this, SourceLocation(),
709 &Context.Idents.get("_cmd"),
Steve Naroff53c9d8a2009-04-20 15:06:07 +0000710 Context.getObjCSelType()));
Chris Lattnerab351632009-02-20 20:59:54 +0000711}
712
Chris Lattnerab351632009-02-20 20:59:54 +0000713ObjCInterfaceDecl *ObjCMethodDecl::getClassInterface() {
714 if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(getDeclContext()))
715 return ID;
716 if (ObjCCategoryDecl *CD = dyn_cast<ObjCCategoryDecl>(getDeclContext()))
717 return CD->getClassInterface();
Argyrios Kyrtzidisa8530372009-07-28 05:10:52 +0000718 if (ObjCImplDecl *IMD = dyn_cast<ObjCImplDecl>(getDeclContext()))
Chris Lattnerab351632009-02-20 20:59:54 +0000719 return IMD->getClassInterface();
Argyrios Kyrtzidisa8530372009-07-28 05:10:52 +0000720
721 assert(!isa<ObjCProtocolDecl>(getDeclContext()) && "It's a protocol method");
David Blaikieb219cfc2011-09-23 05:06:16 +0000722 llvm_unreachable("unknown method context");
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +0000723}
724
Argyrios Kyrtzidis740ae672012-10-09 18:19:01 +0000725static void CollectOverriddenMethodsRecurse(const ObjCContainerDecl *Container,
726 const ObjCMethodDecl *Method,
727 SmallVectorImpl<const ObjCMethodDecl *> &Methods,
728 bool MovedToSuper) {
729 if (!Container)
730 return;
731
732 // In categories look for overriden methods from protocols. A method from
733 // category is not "overriden" since it is considered as the "same" method
734 // (same USR) as the one from the interface.
735 if (const ObjCCategoryDecl *
736 Category = dyn_cast<ObjCCategoryDecl>(Container)) {
737 // Check whether we have a matching method at this category but only if we
738 // are at the super class level.
739 if (MovedToSuper)
740 if (ObjCMethodDecl *
741 Overridden = Container->getMethod(Method->getSelector(),
742 Method->isInstanceMethod()))
743 if (Method != Overridden) {
744 // We found an override at this category; there is no need to look
745 // into its protocols.
746 Methods.push_back(Overridden);
747 return;
748 }
749
750 for (ObjCCategoryDecl::protocol_iterator P = Category->protocol_begin(),
751 PEnd = Category->protocol_end();
752 P != PEnd; ++P)
753 CollectOverriddenMethodsRecurse(*P, Method, Methods, MovedToSuper);
754 return;
755 }
756
757 // Check whether we have a matching method at this level.
758 if (const ObjCMethodDecl *
759 Overridden = Container->getMethod(Method->getSelector(),
760 Method->isInstanceMethod()))
761 if (Method != Overridden) {
762 // We found an override at this level; there is no need to look
763 // into other protocols or categories.
764 Methods.push_back(Overridden);
765 return;
766 }
767
768 if (const ObjCProtocolDecl *Protocol = dyn_cast<ObjCProtocolDecl>(Container)){
769 for (ObjCProtocolDecl::protocol_iterator P = Protocol->protocol_begin(),
770 PEnd = Protocol->protocol_end();
771 P != PEnd; ++P)
772 CollectOverriddenMethodsRecurse(*P, Method, Methods, MovedToSuper);
773 }
774
775 if (const ObjCInterfaceDecl *
776 Interface = dyn_cast<ObjCInterfaceDecl>(Container)) {
777 for (ObjCInterfaceDecl::protocol_iterator P = Interface->protocol_begin(),
778 PEnd = Interface->protocol_end();
779 P != PEnd; ++P)
780 CollectOverriddenMethodsRecurse(*P, Method, Methods, MovedToSuper);
781
782 for (const ObjCCategoryDecl *Category = Interface->getCategoryList();
783 Category; Category = Category->getNextClassCategory())
784 CollectOverriddenMethodsRecurse(Category, Method, Methods,
785 MovedToSuper);
786
787 if (const ObjCInterfaceDecl *Super = Interface->getSuperClass())
788 return CollectOverriddenMethodsRecurse(Super, Method, Methods,
789 /*MovedToSuper=*/true);
790 }
791}
792
793static inline void CollectOverriddenMethods(const ObjCContainerDecl *Container,
794 const ObjCMethodDecl *Method,
795 SmallVectorImpl<const ObjCMethodDecl *> &Methods) {
796 CollectOverriddenMethodsRecurse(Container, Method, Methods,
797 /*MovedToSuper=*/false);
798}
799
800static void collectOverriddenMethodsSlow(const ObjCMethodDecl *Method,
801 SmallVectorImpl<const ObjCMethodDecl *> &overridden) {
802 assert(Method->isOverriding());
803
804 if (const ObjCProtocolDecl *
805 ProtD = dyn_cast<ObjCProtocolDecl>(Method->getDeclContext())) {
806 CollectOverriddenMethods(ProtD, Method, overridden);
807
808 } else if (const ObjCImplDecl *
809 IMD = dyn_cast<ObjCImplDecl>(Method->getDeclContext())) {
810 const ObjCInterfaceDecl *ID = IMD->getClassInterface();
811 if (!ID)
812 return;
813 // Start searching for overridden methods using the method from the
814 // interface as starting point.
815 if (const ObjCMethodDecl *IFaceMeth = ID->getMethod(Method->getSelector(),
816 Method->isInstanceMethod()))
817 Method = IFaceMeth;
818 CollectOverriddenMethods(ID, Method, overridden);
819
820 } else if (const ObjCCategoryDecl *
821 CatD = dyn_cast<ObjCCategoryDecl>(Method->getDeclContext())) {
822 const ObjCInterfaceDecl *ID = CatD->getClassInterface();
823 if (!ID)
824 return;
825 // Start searching for overridden methods using the method from the
826 // interface as starting point.
827 if (const ObjCMethodDecl *IFaceMeth = ID->getMethod(Method->getSelector(),
828 Method->isInstanceMethod()))
829 Method = IFaceMeth;
830 CollectOverriddenMethods(ID, Method, overridden);
831
832 } else {
833 CollectOverriddenMethods(
834 dyn_cast_or_null<ObjCContainerDecl>(Method->getDeclContext()),
835 Method, overridden);
836 }
837}
838
839static void collectOnCategoriesAfterLocation(SourceLocation Loc,
840 const ObjCInterfaceDecl *Class,
841 SourceManager &SM,
842 const ObjCMethodDecl *Method,
843 SmallVectorImpl<const ObjCMethodDecl *> &Methods) {
844 if (!Class)
845 return;
846
847 for (const ObjCCategoryDecl *Category = Class->getCategoryList();
848 Category; Category = Category->getNextClassCategory())
849 if (SM.isBeforeInTranslationUnit(Loc, Category->getLocation()))
850 CollectOverriddenMethodsRecurse(Category, Method, Methods, true);
851
852 collectOnCategoriesAfterLocation(Loc, Class->getSuperClass(), SM,
853 Method, Methods);
854}
855
856/// \brief Faster collection that is enabled when ObjCMethodDecl::isOverriding()
857/// returns false.
858/// You'd think that in that case there are no overrides but categories can
859/// "introduce" new overridden methods that are missed by Sema because the
860/// overrides lookup that it does for methods, inside implementations, will
861/// stop at the interface level (if there is a method there) and not look
862/// further in super classes.
863static void collectOverriddenMethodsFast(SourceManager &SM,
864 const ObjCMethodDecl *Method,
865 SmallVectorImpl<const ObjCMethodDecl *> &Methods) {
866 assert(!Method->isOverriding());
867
868 const ObjCContainerDecl *
869 ContD = cast<ObjCContainerDecl>(Method->getDeclContext());
870 if (isa<ObjCInterfaceDecl>(ContD) || isa<ObjCProtocolDecl>(ContD))
871 return;
872 const ObjCInterfaceDecl *Class = Method->getClassInterface();
873 if (!Class)
874 return;
875
876 collectOnCategoriesAfterLocation(Class->getLocation(), Class->getSuperClass(),
877 SM, Method, Methods);
878}
879
880void ObjCMethodDecl::getOverriddenMethods(
881 SmallVectorImpl<const ObjCMethodDecl *> &Overridden) const {
882 const ObjCMethodDecl *Method = this;
883
884 if (Method->isRedeclaration()) {
885 Method = cast<ObjCContainerDecl>(Method->getDeclContext())->
886 getMethod(Method->getSelector(), Method->isInstanceMethod());
887 }
888
889 if (!Method->isOverriding()) {
890 collectOverriddenMethodsFast(getASTContext().getSourceManager(),
891 Method, Overridden);
892 } else {
893 collectOverriddenMethodsSlow(Method, Overridden);
894 assert(!Overridden.empty() &&
895 "ObjCMethodDecl's overriding bit is not as expected");
896 }
897}
898
Chris Lattnerab351632009-02-20 20:59:54 +0000899//===----------------------------------------------------------------------===//
900// ObjCInterfaceDecl
901//===----------------------------------------------------------------------===//
902
Douglas Gregora6ea10e2012-01-17 18:09:05 +0000903ObjCInterfaceDecl *ObjCInterfaceDecl::Create(const ASTContext &C,
Chris Lattnerab351632009-02-20 20:59:54 +0000904 DeclContext *DC,
905 SourceLocation atLoc,
Mike Stump1eb44332009-09-09 15:08:12 +0000906 IdentifierInfo *Id,
Douglas Gregor0af55012011-12-16 03:12:41 +0000907 ObjCInterfaceDecl *PrevDecl,
Chris Lattnerab351632009-02-20 20:59:54 +0000908 SourceLocation ClassLoc,
Douglas Gregor7723fec2011-12-15 20:29:51 +0000909 bool isInternal){
Douglas Gregor0af55012011-12-16 03:12:41 +0000910 ObjCInterfaceDecl *Result = new (C) ObjCInterfaceDecl(DC, atLoc, Id, ClassLoc,
Douglas Gregorfd002a72011-12-16 22:37:11 +0000911 PrevDecl, isInternal);
Douglas Gregor0af55012011-12-16 03:12:41 +0000912 C.getObjCInterfaceType(Result, PrevDecl);
Douglas Gregor0af55012011-12-16 03:12:41 +0000913 return Result;
914}
915
Douglas Gregor1e68ecc2012-01-05 21:55:30 +0000916ObjCInterfaceDecl *ObjCInterfaceDecl::CreateDeserialized(ASTContext &C,
917 unsigned ID) {
918 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCInterfaceDecl));
919 return new (Mem) ObjCInterfaceDecl(0, SourceLocation(), 0, SourceLocation(),
920 0, false);
Chris Lattnerab351632009-02-20 20:59:54 +0000921}
922
923ObjCInterfaceDecl::
924ObjCInterfaceDecl(DeclContext *DC, SourceLocation atLoc, IdentifierInfo *Id,
Douglas Gregorfd002a72011-12-16 22:37:11 +0000925 SourceLocation CLoc, ObjCInterfaceDecl *PrevDecl,
926 bool isInternal)
Argyrios Kyrtzidis1711fc92011-10-04 04:48:02 +0000927 : ObjCContainerDecl(ObjCInterface, DC, Id, CLoc, atLoc),
Douglas Gregor7723fec2011-12-15 20:29:51 +0000928 TypeForDecl(0), Data()
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000929{
Douglas Gregorfd002a72011-12-16 22:37:11 +0000930 setPreviousDeclaration(PrevDecl);
931
932 // Copy the 'data' pointer over.
933 if (PrevDecl)
934 Data = PrevDecl->Data;
935
Argyrios Kyrtzidis40f57ee2011-11-15 06:20:21 +0000936 setImplicit(isInternal);
Chris Lattnerab351632009-02-20 20:59:54 +0000937}
938
Douglas Gregor26ac3f32010-12-01 23:49:52 +0000939void ObjCInterfaceDecl::LoadExternalDefinition() const {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000940 assert(data().ExternallyCompleted && "Class is not externally completed");
941 data().ExternallyCompleted = false;
Douglas Gregor26ac3f32010-12-01 23:49:52 +0000942 getASTContext().getExternalSource()->CompleteType(
943 const_cast<ObjCInterfaceDecl *>(this));
944}
945
946void ObjCInterfaceDecl::setExternallyCompleted() {
947 assert(getASTContext().getExternalSource() &&
948 "Class can't be externally completed without an external source");
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000949 assert(hasDefinition() &&
Douglas Gregor26ac3f32010-12-01 23:49:52 +0000950 "Forward declarations can't be externally completed");
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000951 data().ExternallyCompleted = true;
Douglas Gregor26ac3f32010-12-01 23:49:52 +0000952}
953
Argyrios Kyrtzidis8a1d7222009-07-21 00:05:53 +0000954ObjCImplementationDecl *ObjCInterfaceDecl::getImplementation() const {
Douglas Gregor7723fec2011-12-15 20:29:51 +0000955 if (const ObjCInterfaceDecl *Def = getDefinition()) {
956 if (data().ExternallyCompleted)
957 LoadExternalDefinition();
958
959 return getASTContext().getObjCImplementation(
960 const_cast<ObjCInterfaceDecl*>(Def));
961 }
962
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000963 // FIXME: Should make sure no callers ever do this.
Douglas Gregor7723fec2011-12-15 20:29:51 +0000964 return 0;
Argyrios Kyrtzidis8a1d7222009-07-21 00:05:53 +0000965}
966
967void ObjCInterfaceDecl::setImplementation(ObjCImplementationDecl *ImplD) {
Douglas Gregor7723fec2011-12-15 20:29:51 +0000968 getASTContext().setObjCImplementation(getDefinition(), ImplD);
Argyrios Kyrtzidis8a1d7222009-07-21 00:05:53 +0000969}
970
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +0000971/// all_declared_ivar_begin - return first ivar declared in this class,
972/// its extensions and its implementation. Lazily build the list on first
973/// access.
974ObjCIvarDecl *ObjCInterfaceDecl::all_declared_ivar_begin() {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000975 // FIXME: Should make sure no callers ever do this.
976 if (!hasDefinition())
977 return 0;
978
979 if (data().IvarList)
980 return data().IvarList;
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +0000981
982 ObjCIvarDecl *curIvar = 0;
983 if (!ivar_empty()) {
984 ObjCInterfaceDecl::ivar_iterator I = ivar_begin(), E = ivar_end();
David Blaikie581deb32012-06-06 20:45:41 +0000985 data().IvarList = *I; ++I;
986 for (curIvar = data().IvarList; I != E; curIvar = *I, ++I)
987 curIvar->setNextIvar(*I);
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +0000988 }
989
990 for (const ObjCCategoryDecl *CDecl = getFirstClassExtension(); CDecl;
991 CDecl = CDecl->getNextClassExtension()) {
992 if (!CDecl->ivar_empty()) {
993 ObjCCategoryDecl::ivar_iterator I = CDecl->ivar_begin(),
994 E = CDecl->ivar_end();
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000995 if (!data().IvarList) {
David Blaikie581deb32012-06-06 20:45:41 +0000996 data().IvarList = *I; ++I;
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000997 curIvar = data().IvarList;
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +0000998 }
David Blaikie581deb32012-06-06 20:45:41 +0000999 for ( ;I != E; curIvar = *I, ++I)
1000 curIvar->setNextIvar(*I);
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +00001001 }
1002 }
1003
1004 if (ObjCImplementationDecl *ImplDecl = getImplementation()) {
1005 if (!ImplDecl->ivar_empty()) {
1006 ObjCImplementationDecl::ivar_iterator I = ImplDecl->ivar_begin(),
1007 E = ImplDecl->ivar_end();
Douglas Gregor2e5c15b2011-12-15 05:27:12 +00001008 if (!data().IvarList) {
David Blaikie581deb32012-06-06 20:45:41 +00001009 data().IvarList = *I; ++I;
Douglas Gregor2e5c15b2011-12-15 05:27:12 +00001010 curIvar = data().IvarList;
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +00001011 }
David Blaikie581deb32012-06-06 20:45:41 +00001012 for ( ;I != E; curIvar = *I, ++I)
1013 curIvar->setNextIvar(*I);
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +00001014 }
1015 }
Douglas Gregor2e5c15b2011-12-15 05:27:12 +00001016 return data().IvarList;
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +00001017}
Chris Lattnerab351632009-02-20 20:59:54 +00001018
1019/// FindCategoryDeclaration - Finds category declaration in the list of
1020/// categories for this class and returns it. Name of the category is passed
1021/// in 'CategoryId'. If category not found, return 0;
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +00001022///
Chris Lattnerab351632009-02-20 20:59:54 +00001023ObjCCategoryDecl *
1024ObjCInterfaceDecl::FindCategoryDeclaration(IdentifierInfo *CategoryId) const {
Argyrios Kyrtzidis5a61e0c2012-03-02 19:14:29 +00001025 // FIXME: Should make sure no callers ever do this.
1026 if (!hasDefinition())
1027 return 0;
1028
Douglas Gregor2e5c15b2011-12-15 05:27:12 +00001029 if (data().ExternallyCompleted)
Douglas Gregor26ac3f32010-12-01 23:49:52 +00001030 LoadExternalDefinition();
1031
Chris Lattnerab351632009-02-20 20:59:54 +00001032 for (ObjCCategoryDecl *Category = getCategoryList();
1033 Category; Category = Category->getNextClassCategory())
1034 if (Category->getIdentifier() == CategoryId)
1035 return Category;
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +00001036 return 0;
1037}
1038
Argyrios Kyrtzidis1cb35dd2009-07-21 00:06:20 +00001039ObjCMethodDecl *
1040ObjCInterfaceDecl::getCategoryInstanceMethod(Selector Sel) const {
1041 for (ObjCCategoryDecl *Category = getCategoryList();
1042 Category; Category = Category->getNextClassCategory())
1043 if (ObjCCategoryImplDecl *Impl = Category->getImplementation())
1044 if (ObjCMethodDecl *MD = Impl->getInstanceMethod(Sel))
1045 return MD;
1046 return 0;
1047}
1048
1049ObjCMethodDecl *ObjCInterfaceDecl::getCategoryClassMethod(Selector Sel) const {
1050 for (ObjCCategoryDecl *Category = getCategoryList();
1051 Category; Category = Category->getNextClassCategory())
1052 if (ObjCCategoryImplDecl *Impl = Category->getImplementation())
1053 if (ObjCMethodDecl *MD = Impl->getClassMethod(Sel))
1054 return MD;
1055 return 0;
1056}
1057
Fariborz Jahanian0fd89042009-08-11 22:02:25 +00001058/// ClassImplementsProtocol - Checks that 'lProto' protocol
1059/// has been implemented in IDecl class, its super class or categories (if
1060/// lookupCategory is true).
1061bool ObjCInterfaceDecl::ClassImplementsProtocol(ObjCProtocolDecl *lProto,
1062 bool lookupCategory,
1063 bool RHSIsQualifiedID) {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +00001064 if (!hasDefinition())
1065 return false;
1066
Fariborz Jahanian0fd89042009-08-11 22:02:25 +00001067 ObjCInterfaceDecl *IDecl = this;
1068 // 1st, look up the class.
Argyrios Kyrtzidisa5f44412012-03-13 01:09:41 +00001069 for (ObjCInterfaceDecl::protocol_iterator
1070 PI = IDecl->protocol_begin(), E = IDecl->protocol_end(); PI != E; ++PI){
Fariborz Jahanian0fd89042009-08-11 22:02:25 +00001071 if (getASTContext().ProtocolCompatibleWithProtocol(lProto, *PI))
1072 return true;
1073 // This is dubious and is added to be compatible with gcc. In gcc, it is
1074 // also allowed assigning a protocol-qualified 'id' type to a LHS object
1075 // when protocol in qualified LHS is in list of protocols in the rhs 'id'
1076 // object. This IMO, should be a bug.
1077 // FIXME: Treat this as an extension, and flag this as an error when GCC
1078 // extensions are not enabled.
Mike Stump1eb44332009-09-09 15:08:12 +00001079 if (RHSIsQualifiedID &&
Fariborz Jahanian0fd89042009-08-11 22:02:25 +00001080 getASTContext().ProtocolCompatibleWithProtocol(*PI, lProto))
1081 return true;
1082 }
Mike Stump1eb44332009-09-09 15:08:12 +00001083
Fariborz Jahanian0fd89042009-08-11 22:02:25 +00001084 // 2nd, look up the category.
1085 if (lookupCategory)
1086 for (ObjCCategoryDecl *CDecl = IDecl->getCategoryList(); CDecl;
1087 CDecl = CDecl->getNextClassCategory()) {
1088 for (ObjCCategoryDecl::protocol_iterator PI = CDecl->protocol_begin(),
1089 E = CDecl->protocol_end(); PI != E; ++PI)
1090 if (getASTContext().ProtocolCompatibleWithProtocol(lProto, *PI))
1091 return true;
1092 }
Mike Stump1eb44332009-09-09 15:08:12 +00001093
Fariborz Jahanian0fd89042009-08-11 22:02:25 +00001094 // 3rd, look up the super class(s)
1095 if (IDecl->getSuperClass())
1096 return
1097 IDecl->getSuperClass()->ClassImplementsProtocol(lProto, lookupCategory,
1098 RHSIsQualifiedID);
Mike Stump1eb44332009-09-09 15:08:12 +00001099
Fariborz Jahanian0fd89042009-08-11 22:02:25 +00001100 return false;
1101}
1102
Chris Lattnerab351632009-02-20 20:59:54 +00001103//===----------------------------------------------------------------------===//
1104// ObjCIvarDecl
1105//===----------------------------------------------------------------------===//
1106
David Blaikie99ba9e32011-12-20 02:48:34 +00001107void ObjCIvarDecl::anchor() { }
1108
Daniel Dunbara0654922010-04-02 20:10:03 +00001109ObjCIvarDecl *ObjCIvarDecl::Create(ASTContext &C, ObjCContainerDecl *DC,
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001110 SourceLocation StartLoc,
1111 SourceLocation IdLoc, IdentifierInfo *Id,
John McCalla93c9342009-12-07 02:54:59 +00001112 QualType T, TypeSourceInfo *TInfo,
Fariborz Jahanianad51e742010-07-17 00:59:30 +00001113 AccessControl ac, Expr *BW,
1114 bool synthesized) {
Daniel Dunbara0654922010-04-02 20:10:03 +00001115 if (DC) {
1116 // Ivar's can only appear in interfaces, implementations (via synthesized
1117 // properties), and class extensions (via direct declaration, or synthesized
1118 // properties).
1119 //
1120 // FIXME: This should really be asserting this:
1121 // (isa<ObjCCategoryDecl>(DC) &&
1122 // cast<ObjCCategoryDecl>(DC)->IsClassExtension()))
1123 // but unfortunately we sometimes place ivars into non-class extension
1124 // categories on error. This breaks an AST invariant, and should not be
1125 // fixed.
1126 assert((isa<ObjCInterfaceDecl>(DC) || isa<ObjCImplementationDecl>(DC) ||
1127 isa<ObjCCategoryDecl>(DC)) &&
1128 "Invalid ivar decl context!");
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +00001129 // Once a new ivar is created in any of class/class-extension/implementation
1130 // decl contexts, the previously built IvarList must be rebuilt.
1131 ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(DC);
1132 if (!ID) {
Eric Christopherffb0c3a2012-07-19 22:22:55 +00001133 if (ObjCImplementationDecl *IM = dyn_cast<ObjCImplementationDecl>(DC))
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +00001134 ID = IM->getClassInterface();
Eric Christopherffb0c3a2012-07-19 22:22:55 +00001135 else
1136 ID = cast<ObjCCategoryDecl>(DC)->getClassInterface();
Fariborz Jahanian2c18bb72010-08-20 21:21:08 +00001137 }
1138 ID->setIvarList(0);
Daniel Dunbara0654922010-04-02 20:10:03 +00001139 }
1140
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001141 return new (C) ObjCIvarDecl(DC, StartLoc, IdLoc, Id, T, TInfo,
1142 ac, BW, synthesized);
Chris Lattnerab351632009-02-20 20:59:54 +00001143}
1144
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001145ObjCIvarDecl *ObjCIvarDecl::CreateDeserialized(ASTContext &C, unsigned ID) {
1146 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCIvarDecl));
1147 return new (Mem) ObjCIvarDecl(0, SourceLocation(), SourceLocation(), 0,
1148 QualType(), 0, ObjCIvarDecl::None, 0, false);
1149}
1150
Daniel Dunbar27a961a2010-04-02 21:13:59 +00001151const ObjCInterfaceDecl *ObjCIvarDecl::getContainingInterface() const {
1152 const ObjCContainerDecl *DC = cast<ObjCContainerDecl>(getDeclContext());
Chris Lattnerab351632009-02-20 20:59:54 +00001153
Daniel Dunbar27a961a2010-04-02 21:13:59 +00001154 switch (DC->getKind()) {
1155 default:
1156 case ObjCCategoryImpl:
1157 case ObjCProtocol:
David Blaikieb219cfc2011-09-23 05:06:16 +00001158 llvm_unreachable("invalid ivar container!");
Daniel Dunbar27a961a2010-04-02 21:13:59 +00001159
1160 // Ivars can only appear in class extension categories.
1161 case ObjCCategory: {
1162 const ObjCCategoryDecl *CD = cast<ObjCCategoryDecl>(DC);
1163 assert(CD->IsClassExtension() && "invalid container for ivar!");
1164 return CD->getClassInterface();
1165 }
1166
1167 case ObjCImplementation:
1168 return cast<ObjCImplementationDecl>(DC)->getClassInterface();
1169
1170 case ObjCInterface:
1171 return cast<ObjCInterfaceDecl>(DC);
1172 }
1173}
Chris Lattnerab351632009-02-20 20:59:54 +00001174
1175//===----------------------------------------------------------------------===//
1176// ObjCAtDefsFieldDecl
1177//===----------------------------------------------------------------------===//
1178
David Blaikie99ba9e32011-12-20 02:48:34 +00001179void ObjCAtDefsFieldDecl::anchor() { }
1180
Chris Lattnerab351632009-02-20 20:59:54 +00001181ObjCAtDefsFieldDecl
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001182*ObjCAtDefsFieldDecl::Create(ASTContext &C, DeclContext *DC,
1183 SourceLocation StartLoc, SourceLocation IdLoc,
Chris Lattnerab351632009-02-20 20:59:54 +00001184 IdentifierInfo *Id, QualType T, Expr *BW) {
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001185 return new (C) ObjCAtDefsFieldDecl(DC, StartLoc, IdLoc, Id, T, BW);
Chris Lattnerab351632009-02-20 20:59:54 +00001186}
1187
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001188ObjCAtDefsFieldDecl *ObjCAtDefsFieldDecl::CreateDeserialized(ASTContext &C,
1189 unsigned ID) {
1190 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCAtDefsFieldDecl));
1191 return new (Mem) ObjCAtDefsFieldDecl(0, SourceLocation(), SourceLocation(),
1192 0, QualType(), 0);
1193}
1194
Chris Lattnerab351632009-02-20 20:59:54 +00001195//===----------------------------------------------------------------------===//
1196// ObjCProtocolDecl
1197//===----------------------------------------------------------------------===//
1198
David Blaikie99ba9e32011-12-20 02:48:34 +00001199void ObjCProtocolDecl::anchor() { }
1200
Douglas Gregor27c6da22012-01-01 20:30:41 +00001201ObjCProtocolDecl::ObjCProtocolDecl(DeclContext *DC, IdentifierInfo *Id,
1202 SourceLocation nameLoc,
1203 SourceLocation atStartLoc,
Douglas Gregorc9d3c7e2012-01-01 22:06:18 +00001204 ObjCProtocolDecl *PrevDecl)
1205 : ObjCContainerDecl(ObjCProtocol, DC, Id, nameLoc, atStartLoc), Data()
Douglas Gregor27c6da22012-01-01 20:30:41 +00001206{
1207 setPreviousDeclaration(PrevDecl);
1208 if (PrevDecl)
1209 Data = PrevDecl->Data;
1210}
1211
Chris Lattnerab351632009-02-20 20:59:54 +00001212ObjCProtocolDecl *ObjCProtocolDecl::Create(ASTContext &C, DeclContext *DC,
Argyrios Kyrtzidis1711fc92011-10-04 04:48:02 +00001213 IdentifierInfo *Id,
1214 SourceLocation nameLoc,
Argyrios Kyrtzidisb05d7b22011-10-17 19:48:06 +00001215 SourceLocation atStartLoc,
Douglas Gregorc9d3c7e2012-01-01 22:06:18 +00001216 ObjCProtocolDecl *PrevDecl) {
Douglas Gregor27c6da22012-01-01 20:30:41 +00001217 ObjCProtocolDecl *Result
Douglas Gregorc9d3c7e2012-01-01 22:06:18 +00001218 = new (C) ObjCProtocolDecl(DC, Id, nameLoc, atStartLoc, PrevDecl);
Douglas Gregor27c6da22012-01-01 20:30:41 +00001219
1220 return Result;
Chris Lattnerab351632009-02-20 20:59:54 +00001221}
1222
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001223ObjCProtocolDecl *ObjCProtocolDecl::CreateDeserialized(ASTContext &C,
1224 unsigned ID) {
1225 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCProtocolDecl));
1226 return new (Mem) ObjCProtocolDecl(0, 0, SourceLocation(), SourceLocation(),
1227 0);
1228}
1229
Steve Naroff91b0b0c2009-03-01 16:12:44 +00001230ObjCProtocolDecl *ObjCProtocolDecl::lookupProtocolNamed(IdentifierInfo *Name) {
1231 ObjCProtocolDecl *PDecl = this;
1232
1233 if (Name == getIdentifier())
1234 return PDecl;
1235
1236 for (protocol_iterator I = protocol_begin(), E = protocol_end(); I != E; ++I)
1237 if ((PDecl = (*I)->lookupProtocolNamed(Name)))
1238 return PDecl;
Mike Stump1eb44332009-09-09 15:08:12 +00001239
Steve Naroff91b0b0c2009-03-01 16:12:44 +00001240 return NULL;
1241}
1242
Argyrios Kyrtzidis094e2bb2009-07-25 22:15:38 +00001243// lookupMethod - Lookup a instance/class method in the protocol and protocols
Chris Lattnerab351632009-02-20 20:59:54 +00001244// it inherited.
Argyrios Kyrtzidis094e2bb2009-07-25 22:15:38 +00001245ObjCMethodDecl *ObjCProtocolDecl::lookupMethod(Selector Sel,
1246 bool isInstance) const {
Chris Lattnerab351632009-02-20 20:59:54 +00001247 ObjCMethodDecl *MethodDecl = NULL;
Mike Stump1eb44332009-09-09 15:08:12 +00001248
Argyrios Kyrtzidis094e2bb2009-07-25 22:15:38 +00001249 if ((MethodDecl = getMethod(Sel, isInstance)))
Chris Lattnerab351632009-02-20 20:59:54 +00001250 return MethodDecl;
Mike Stump1eb44332009-09-09 15:08:12 +00001251
Chris Lattnerab351632009-02-20 20:59:54 +00001252 for (protocol_iterator I = protocol_begin(), E = protocol_end(); I != E; ++I)
Argyrios Kyrtzidis094e2bb2009-07-25 22:15:38 +00001253 if ((MethodDecl = (*I)->lookupMethod(Sel, isInstance)))
Chris Lattnerab351632009-02-20 20:59:54 +00001254 return MethodDecl;
1255 return NULL;
1256}
1257
Douglas Gregor5e2a1ff2012-01-01 19:29:29 +00001258void ObjCProtocolDecl::allocateDefinitionData() {
1259 assert(!Data && "Protocol already has a definition!");
Douglas Gregor1d784b22012-01-01 19:51:50 +00001260 Data = new (getASTContext()) DefinitionData;
1261 Data->Definition = this;
Douglas Gregor5e2a1ff2012-01-01 19:29:29 +00001262}
1263
1264void ObjCProtocolDecl::startDefinition() {
1265 allocateDefinitionData();
Douglas Gregor1d784b22012-01-01 19:51:50 +00001266
1267 // Update all of the declarations with a pointer to the definition.
1268 for (redecl_iterator RD = redecls_begin(), RDEnd = redecls_end();
1269 RD != RDEnd; ++RD)
1270 RD->Data = this->Data;
Argyrios Kyrtzidisad834d52011-11-12 21:07:46 +00001271}
1272
Chris Lattnerab351632009-02-20 20:59:54 +00001273//===----------------------------------------------------------------------===//
Chris Lattnerab351632009-02-20 20:59:54 +00001274// ObjCCategoryDecl
1275//===----------------------------------------------------------------------===//
1276
David Blaikie99ba9e32011-12-20 02:48:34 +00001277void ObjCCategoryDecl::anchor() { }
1278
Chris Lattnerab351632009-02-20 20:59:54 +00001279ObjCCategoryDecl *ObjCCategoryDecl::Create(ASTContext &C, DeclContext *DC,
Douglas Gregor3db211b2010-01-16 16:38:58 +00001280 SourceLocation AtLoc,
1281 SourceLocation ClassNameLoc,
1282 SourceLocation CategoryNameLoc,
Argyrios Kyrtzidis955fadb2011-08-30 19:43:26 +00001283 IdentifierInfo *Id,
Fariborz Jahanianaf300292012-02-20 20:09:20 +00001284 ObjCInterfaceDecl *IDecl,
1285 SourceLocation IvarLBraceLoc,
1286 SourceLocation IvarRBraceLoc) {
Argyrios Kyrtzidis955fadb2011-08-30 19:43:26 +00001287 ObjCCategoryDecl *CatDecl = new (C) ObjCCategoryDecl(DC, AtLoc, ClassNameLoc,
1288 CategoryNameLoc, Id,
Fariborz Jahanianaf300292012-02-20 20:09:20 +00001289 IDecl,
1290 IvarLBraceLoc, IvarRBraceLoc);
Argyrios Kyrtzidis955fadb2011-08-30 19:43:26 +00001291 if (IDecl) {
1292 // Link this category into its class's category list.
1293 CatDecl->NextClassCategory = IDecl->getCategoryList();
Douglas Gregor2e5c15b2011-12-15 05:27:12 +00001294 if (IDecl->hasDefinition()) {
1295 IDecl->setCategoryList(CatDecl);
1296 if (ASTMutationListener *L = C.getASTMutationListener())
1297 L->AddedObjCCategoryToInterface(CatDecl, IDecl);
1298 }
Argyrios Kyrtzidis955fadb2011-08-30 19:43:26 +00001299 }
1300
1301 return CatDecl;
1302}
1303
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001304ObjCCategoryDecl *ObjCCategoryDecl::CreateDeserialized(ASTContext &C,
1305 unsigned ID) {
1306 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCCategoryDecl));
1307 return new (Mem) ObjCCategoryDecl(0, SourceLocation(), SourceLocation(),
1308 SourceLocation(), 0, 0);
Chris Lattnerab351632009-02-20 20:59:54 +00001309}
1310
Argyrios Kyrtzidis8a1d7222009-07-21 00:05:53 +00001311ObjCCategoryImplDecl *ObjCCategoryDecl::getImplementation() const {
1312 return getASTContext().getObjCImplementation(
1313 const_cast<ObjCCategoryDecl*>(this));
1314}
1315
1316void ObjCCategoryDecl::setImplementation(ObjCCategoryImplDecl *ImplD) {
1317 getASTContext().setObjCImplementation(this, ImplD);
1318}
1319
1320
Chris Lattnerab351632009-02-20 20:59:54 +00001321//===----------------------------------------------------------------------===//
1322// ObjCCategoryImplDecl
1323//===----------------------------------------------------------------------===//
1324
David Blaikie99ba9e32011-12-20 02:48:34 +00001325void ObjCCategoryImplDecl::anchor() { }
1326
Chris Lattnerab351632009-02-20 20:59:54 +00001327ObjCCategoryImplDecl *
1328ObjCCategoryImplDecl::Create(ASTContext &C, DeclContext *DC,
Argyrios Kyrtzidis1711fc92011-10-04 04:48:02 +00001329 IdentifierInfo *Id,
1330 ObjCInterfaceDecl *ClassInterface,
1331 SourceLocation nameLoc,
Argyrios Kyrtzidisc6994002011-12-09 00:31:40 +00001332 SourceLocation atStartLoc,
1333 SourceLocation CategoryNameLoc) {
Fariborz Jahanian712ef872011-12-23 00:31:02 +00001334 if (ClassInterface && ClassInterface->hasDefinition())
1335 ClassInterface = ClassInterface->getDefinition();
Argyrios Kyrtzidis1711fc92011-10-04 04:48:02 +00001336 return new (C) ObjCCategoryImplDecl(DC, Id, ClassInterface,
Argyrios Kyrtzidisc6994002011-12-09 00:31:40 +00001337 nameLoc, atStartLoc, CategoryNameLoc);
Chris Lattnerab351632009-02-20 20:59:54 +00001338}
1339
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001340ObjCCategoryImplDecl *ObjCCategoryImplDecl::CreateDeserialized(ASTContext &C,
1341 unsigned ID) {
1342 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCCategoryImplDecl));
1343 return new (Mem) ObjCCategoryImplDecl(0, 0, 0, SourceLocation(),
1344 SourceLocation(), SourceLocation());
1345}
1346
Steve Naroff0d69b8c2009-10-29 21:11:04 +00001347ObjCCategoryDecl *ObjCCategoryImplDecl::getCategoryDecl() const {
Ted Kremenekebfa3392010-03-19 20:39:03 +00001348 // The class interface might be NULL if we are working with invalid code.
1349 if (const ObjCInterfaceDecl *ID = getClassInterface())
1350 return ID->FindCategoryDeclaration(getIdentifier());
1351 return 0;
Argyrios Kyrtzidis42920732009-07-28 05:11:05 +00001352}
1353
Chris Lattnerab351632009-02-20 20:59:54 +00001354
David Blaikie99ba9e32011-12-20 02:48:34 +00001355void ObjCImplDecl::anchor() { }
1356
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +00001357void ObjCImplDecl::addPropertyImplementation(ObjCPropertyImplDecl *property) {
Douglas Gregor2c2d43c2009-04-23 02:42:49 +00001358 // FIXME: The context should be correct before we get here.
Douglas Gregor653f1b12009-04-23 01:02:12 +00001359 property->setLexicalDeclContext(this);
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +00001360 addDecl(property);
Douglas Gregor653f1b12009-04-23 01:02:12 +00001361}
1362
Argyrios Kyrtzidis8a1d7222009-07-21 00:05:53 +00001363void ObjCImplDecl::setClassInterface(ObjCInterfaceDecl *IFace) {
1364 ASTContext &Ctx = getASTContext();
1365
1366 if (ObjCImplementationDecl *ImplD
Duncan Sands98f2cca2009-07-21 07:56:29 +00001367 = dyn_cast_or_null<ObjCImplementationDecl>(this)) {
Argyrios Kyrtzidis8a1d7222009-07-21 00:05:53 +00001368 if (IFace)
1369 Ctx.setObjCImplementation(IFace, ImplD);
1370
Duncan Sands98f2cca2009-07-21 07:56:29 +00001371 } else if (ObjCCategoryImplDecl *ImplD =
Argyrios Kyrtzidis8a1d7222009-07-21 00:05:53 +00001372 dyn_cast_or_null<ObjCCategoryImplDecl>(this)) {
1373 if (ObjCCategoryDecl *CD = IFace->FindCategoryDeclaration(getIdentifier()))
1374 Ctx.setObjCImplementation(CD, ImplD);
1375 }
1376
1377 ClassInterface = IFace;
1378}
1379
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +00001380/// FindPropertyImplIvarDecl - This method lookup the ivar in the list of
James Dennett1c3a46a2012-06-15 22:30:14 +00001381/// properties implemented in this category \@implementation block and returns
Chris Lattnerd6eed1c2009-02-16 19:24:31 +00001382/// the implemented property that uses it.
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +00001383///
Chris Lattner3aa18612009-02-28 18:42:10 +00001384ObjCPropertyImplDecl *ObjCImplDecl::
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +00001385FindPropertyImplIvarDecl(IdentifierInfo *ivarId) const {
1386 for (propimpl_iterator i = propimpl_begin(), e = propimpl_end(); i != e; ++i){
David Blaikie581deb32012-06-06 20:45:41 +00001387 ObjCPropertyImplDecl *PID = *i;
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +00001388 if (PID->getPropertyIvarDecl() &&
1389 PID->getPropertyIvarDecl()->getIdentifier() == ivarId)
1390 return PID;
1391 }
1392 return 0;
1393}
1394
1395/// FindPropertyImplDecl - This method looks up a previous ObjCPropertyImplDecl
James Dennett1c3a46a2012-06-15 22:30:14 +00001396/// added to the list of those properties \@synthesized/\@dynamic in this
1397/// category \@implementation block.
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +00001398///
Chris Lattner3aa18612009-02-28 18:42:10 +00001399ObjCPropertyImplDecl *ObjCImplDecl::
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +00001400FindPropertyImplDecl(IdentifierInfo *Id) const {
1401 for (propimpl_iterator i = propimpl_begin(), e = propimpl_end(); i != e; ++i){
David Blaikie581deb32012-06-06 20:45:41 +00001402 ObjCPropertyImplDecl *PID = *i;
Fariborz Jahanianae6f6fd2008-12-05 22:32:48 +00001403 if (PID->getPropertyDecl()->getIdentifier() == Id)
1404 return PID;
1405 }
1406 return 0;
1407}
1408
Chris Lattner5f9e2722011-07-23 10:55:15 +00001409raw_ostream &clang::operator<<(raw_ostream &OS,
Benjamin Kramerf9780592012-02-07 11:57:45 +00001410 const ObjCCategoryImplDecl &CID) {
1411 OS << CID.getName();
Benjamin Kramer900fc632010-04-17 09:33:03 +00001412 return OS;
1413}
1414
Chris Lattnerab351632009-02-20 20:59:54 +00001415//===----------------------------------------------------------------------===//
1416// ObjCImplementationDecl
1417//===----------------------------------------------------------------------===//
1418
David Blaikie99ba9e32011-12-20 02:48:34 +00001419void ObjCImplementationDecl::anchor() { }
1420
Chris Lattnerab351632009-02-20 20:59:54 +00001421ObjCImplementationDecl *
Mike Stump1eb44332009-09-09 15:08:12 +00001422ObjCImplementationDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattnerab351632009-02-20 20:59:54 +00001423 ObjCInterfaceDecl *ClassInterface,
Argyrios Kyrtzidis1711fc92011-10-04 04:48:02 +00001424 ObjCInterfaceDecl *SuperDecl,
1425 SourceLocation nameLoc,
Fariborz Jahanianaf300292012-02-20 20:09:20 +00001426 SourceLocation atStartLoc,
1427 SourceLocation IvarLBraceLoc,
1428 SourceLocation IvarRBraceLoc) {
Fariborz Jahanian712ef872011-12-23 00:31:02 +00001429 if (ClassInterface && ClassInterface->hasDefinition())
1430 ClassInterface = ClassInterface->getDefinition();
Argyrios Kyrtzidis1711fc92011-10-04 04:48:02 +00001431 return new (C) ObjCImplementationDecl(DC, ClassInterface, SuperDecl,
Fariborz Jahanianaf300292012-02-20 20:09:20 +00001432 nameLoc, atStartLoc,
1433 IvarLBraceLoc, IvarRBraceLoc);
Chris Lattnerab351632009-02-20 20:59:54 +00001434}
1435
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001436ObjCImplementationDecl *
1437ObjCImplementationDecl::CreateDeserialized(ASTContext &C, unsigned ID) {
1438 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCImplementationDecl));
1439 return new (Mem) ObjCImplementationDecl(0, 0, 0, SourceLocation(),
1440 SourceLocation());
1441}
1442
John McCallda6d9762011-07-22 04:15:06 +00001443void ObjCImplementationDecl::setIvarInitializers(ASTContext &C,
1444 CXXCtorInitializer ** initializers,
1445 unsigned numInitializers) {
1446 if (numInitializers > 0) {
1447 NumIvarInitializers = numInitializers;
1448 CXXCtorInitializer **ivarInitializers =
1449 new (C) CXXCtorInitializer*[NumIvarInitializers];
1450 memcpy(ivarInitializers, initializers,
1451 numInitializers * sizeof(CXXCtorInitializer*));
1452 IvarInitializers = ivarInitializers;
1453 }
1454}
1455
Chris Lattner5f9e2722011-07-23 10:55:15 +00001456raw_ostream &clang::operator<<(raw_ostream &OS,
Benjamin Kramerf9780592012-02-07 11:57:45 +00001457 const ObjCImplementationDecl &ID) {
1458 OS << ID.getName();
Benjamin Kramer900fc632010-04-17 09:33:03 +00001459 return OS;
1460}
1461
Chris Lattnerab351632009-02-20 20:59:54 +00001462//===----------------------------------------------------------------------===//
1463// ObjCCompatibleAliasDecl
1464//===----------------------------------------------------------------------===//
1465
David Blaikie99ba9e32011-12-20 02:48:34 +00001466void ObjCCompatibleAliasDecl::anchor() { }
1467
Chris Lattnerab351632009-02-20 20:59:54 +00001468ObjCCompatibleAliasDecl *
1469ObjCCompatibleAliasDecl::Create(ASTContext &C, DeclContext *DC,
1470 SourceLocation L,
Mike Stump1eb44332009-09-09 15:08:12 +00001471 IdentifierInfo *Id,
Chris Lattnerab351632009-02-20 20:59:54 +00001472 ObjCInterfaceDecl* AliasedClass) {
1473 return new (C) ObjCCompatibleAliasDecl(DC, L, Id, AliasedClass);
1474}
1475
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001476ObjCCompatibleAliasDecl *
1477ObjCCompatibleAliasDecl::CreateDeserialized(ASTContext &C, unsigned ID) {
1478 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCCompatibleAliasDecl));
1479 return new (Mem) ObjCCompatibleAliasDecl(0, SourceLocation(), 0, 0);
1480}
1481
Chris Lattnerab351632009-02-20 20:59:54 +00001482//===----------------------------------------------------------------------===//
1483// ObjCPropertyDecl
1484//===----------------------------------------------------------------------===//
1485
David Blaikie99ba9e32011-12-20 02:48:34 +00001486void ObjCPropertyDecl::anchor() { }
1487
Chris Lattnerab351632009-02-20 20:59:54 +00001488ObjCPropertyDecl *ObjCPropertyDecl::Create(ASTContext &C, DeclContext *DC,
1489 SourceLocation L,
1490 IdentifierInfo *Id,
Fariborz Jahaniand0502402010-01-21 17:36:00 +00001491 SourceLocation AtLoc,
Fariborz Jahanian77bfb8b2012-02-29 22:18:55 +00001492 SourceLocation LParenLoc,
John McCall83a230c2010-06-04 20:50:08 +00001493 TypeSourceInfo *T,
Chris Lattnerab351632009-02-20 20:59:54 +00001494 PropertyControl propControl) {
Fariborz Jahanian77bfb8b2012-02-29 22:18:55 +00001495 return new (C) ObjCPropertyDecl(DC, L, Id, AtLoc, LParenLoc, T);
Chris Lattnerab351632009-02-20 20:59:54 +00001496}
1497
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001498ObjCPropertyDecl *ObjCPropertyDecl::CreateDeserialized(ASTContext &C,
1499 unsigned ID) {
1500 void * Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCPropertyDecl));
1501 return new (Mem) ObjCPropertyDecl(0, SourceLocation(), 0, SourceLocation(),
Fariborz Jahanian77bfb8b2012-02-29 22:18:55 +00001502 SourceLocation(),
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001503 0);
1504}
1505
Chris Lattnerab351632009-02-20 20:59:54 +00001506//===----------------------------------------------------------------------===//
1507// ObjCPropertyImplDecl
1508//===----------------------------------------------------------------------===//
1509
Fariborz Jahanian628b96f2008-04-23 00:06:01 +00001510ObjCPropertyImplDecl *ObjCPropertyImplDecl::Create(ASTContext &C,
Douglas Gregord0434102009-01-09 00:49:46 +00001511 DeclContext *DC,
Fariborz Jahanian628b96f2008-04-23 00:06:01 +00001512 SourceLocation atLoc,
1513 SourceLocation L,
1514 ObjCPropertyDecl *property,
Daniel Dunbar9f0afd42008-08-26 04:47:31 +00001515 Kind PK,
Douglas Gregora4ffd852010-11-17 01:03:52 +00001516 ObjCIvarDecl *ivar,
1517 SourceLocation ivarLoc) {
1518 return new (C) ObjCPropertyImplDecl(DC, atLoc, L, property, PK, ivar,
1519 ivarLoc);
Fariborz Jahanian628b96f2008-04-23 00:06:01 +00001520}
Chris Lattnerf4af5152008-03-17 01:19:02 +00001521
Douglas Gregor1e68ecc2012-01-05 21:55:30 +00001522ObjCPropertyImplDecl *ObjCPropertyImplDecl::CreateDeserialized(ASTContext &C,
1523 unsigned ID) {
1524 void *Mem = AllocateDeserializedDecl(C, ID, sizeof(ObjCPropertyImplDecl));
1525 return new (Mem) ObjCPropertyImplDecl(0, SourceLocation(), SourceLocation(),
1526 0, Dynamic, 0, SourceLocation());
1527}
1528
Douglas Gregora4ffd852010-11-17 01:03:52 +00001529SourceRange ObjCPropertyImplDecl::getSourceRange() const {
1530 SourceLocation EndLoc = getLocation();
1531 if (IvarLoc.isValid())
1532 EndLoc = IvarLoc;
Chris Lattner0ed844b2008-04-04 06:12:32 +00001533
Douglas Gregora4ffd852010-11-17 01:03:52 +00001534 return SourceRange(AtLoc, EndLoc);
1535}