blob: 266d913ff4bd07e245751dce76c726bf0889a791 [file] [log] [blame]
Sebastian Redl06a59bb2009-10-23 22:13:42 +00001//===--- DeclTemplate.cpp - Template Declaration AST Node Implementation --===//
Douglas Gregoraaba5e32009-02-04 19:02:06 +00002//
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 C++ related Decl classes for templates.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/AST/DeclCXX.h"
15#include "clang/AST/DeclTemplate.h"
Douglas Gregor55f6b142009-02-09 18:46:07 +000016#include "clang/AST/Expr.h"
Douglas Gregorb95cc972011-01-04 02:33:52 +000017#include "clang/AST/ExprCXX.h"
Douglas Gregoraaba5e32009-02-04 19:02:06 +000018#include "clang/AST/ASTContext.h"
John McCall833ca992009-10-29 08:12:44 +000019#include "clang/AST/TypeLoc.h"
Argyrios Kyrtzidisbef1a7b2010-10-28 07:38:42 +000020#include "clang/AST/ASTMutationListener.h"
Douglas Gregoraaba5e32009-02-04 19:02:06 +000021#include "clang/Basic/IdentifierTable.h"
22#include "llvm/ADT/STLExtras.h"
Douglas Gregor910f8002010-11-07 23:05:16 +000023#include <memory>
Douglas Gregoraaba5e32009-02-04 19:02:06 +000024using namespace clang;
25
26//===----------------------------------------------------------------------===//
27// TemplateParameterList Implementation
28//===----------------------------------------------------------------------===//
29
Douglas Gregorddc29e12009-02-06 22:42:48 +000030TemplateParameterList::TemplateParameterList(SourceLocation TemplateLoc,
31 SourceLocation LAngleLoc,
Douglas Gregorbf4ea562009-09-15 16:23:51 +000032 NamedDecl **Params, unsigned NumParams,
Douglas Gregorddc29e12009-02-06 22:42:48 +000033 SourceLocation RAngleLoc)
34 : TemplateLoc(TemplateLoc), LAngleLoc(LAngleLoc), RAngleLoc(RAngleLoc),
35 NumParams(NumParams) {
Douglas Gregoraaba5e32009-02-04 19:02:06 +000036 for (unsigned Idx = 0; Idx < NumParams; ++Idx)
37 begin()[Idx] = Params[Idx];
38}
39
40TemplateParameterList *
Jay Foad4ba2a172011-01-12 09:06:06 +000041TemplateParameterList::Create(const ASTContext &C, SourceLocation TemplateLoc,
Douglas Gregorbf4ea562009-09-15 16:23:51 +000042 SourceLocation LAngleLoc, NamedDecl **Params,
Douglas Gregorddc29e12009-02-06 22:42:48 +000043 unsigned NumParams, SourceLocation RAngleLoc) {
Douglas Gregorbf4ea562009-09-15 16:23:51 +000044 unsigned Size = sizeof(TemplateParameterList)
45 + sizeof(NamedDecl *) * NumParams;
Douglas Gregoraaba5e32009-02-04 19:02:06 +000046 unsigned Align = llvm::AlignOf<TemplateParameterList>::Alignment;
47 void *Mem = C.Allocate(Size, Align);
Mike Stump1eb44332009-09-09 15:08:12 +000048 return new (Mem) TemplateParameterList(TemplateLoc, LAngleLoc, Params,
Douglas Gregorddc29e12009-02-06 22:42:48 +000049 NumParams, RAngleLoc);
Douglas Gregoraaba5e32009-02-04 19:02:06 +000050}
51
Douglas Gregor62cb18d2009-02-11 18:16:40 +000052unsigned TemplateParameterList::getMinRequiredArguments() const {
Douglas Gregor6952f1e2011-01-19 20:10:05 +000053 unsigned NumRequiredArgs = 0;
54 for (iterator P = const_cast<TemplateParameterList *>(this)->begin(),
55 PEnd = const_cast<TemplateParameterList *>(this)->end();
56 P != PEnd; ++P) {
57 if ((*P)->isTemplateParameterPack()) {
58 if (NonTypeTemplateParmDecl *NTTP = dyn_cast<NonTypeTemplateParmDecl>(*P))
59 if (NTTP->isExpandedParameterPack()) {
60 NumRequiredArgs += NTTP->getNumExpansionTypes();
61 continue;
62 }
63
Douglas Gregor62cb18d2009-02-11 18:16:40 +000064 break;
Douglas Gregor6952f1e2011-01-19 20:10:05 +000065 }
66
67 if (TemplateTypeParmDecl *TTP = dyn_cast<TemplateTypeParmDecl>(*P)) {
68 if (TTP->hasDefaultArgument())
69 break;
70 } else if (NonTypeTemplateParmDecl *NTTP
71 = dyn_cast<NonTypeTemplateParmDecl>(*P)) {
72 if (NTTP->hasDefaultArgument())
73 break;
74 } else if (cast<TemplateTemplateParmDecl>(*P)->hasDefaultArgument())
75 break;
76
77 ++NumRequiredArgs;
Douglas Gregor62cb18d2009-02-11 18:16:40 +000078 }
Douglas Gregor6952f1e2011-01-19 20:10:05 +000079
Douglas Gregor62cb18d2009-02-11 18:16:40 +000080 return NumRequiredArgs;
81}
82
Douglas Gregored9c0f92009-10-29 00:04:11 +000083unsigned TemplateParameterList::getDepth() const {
84 if (size() == 0)
85 return 0;
86
87 const NamedDecl *FirstParm = getParam(0);
88 if (const TemplateTypeParmDecl *TTP
89 = dyn_cast<TemplateTypeParmDecl>(FirstParm))
90 return TTP->getDepth();
91 else if (const NonTypeTemplateParmDecl *NTTP
92 = dyn_cast<NonTypeTemplateParmDecl>(FirstParm))
93 return NTTP->getDepth();
94 else
95 return cast<TemplateTemplateParmDecl>(FirstParm)->getDepth();
96}
97
Douglas Gregoraaba5e32009-02-04 19:02:06 +000098//===----------------------------------------------------------------------===//
Peter Collingbourne9eabeba2010-07-29 16:11:51 +000099// RedeclarableTemplateDecl Implementation
100//===----------------------------------------------------------------------===//
101
102RedeclarableTemplateDecl::CommonBase *RedeclarableTemplateDecl::getCommonPtr() {
103 // Find the first declaration of this function template.
104 RedeclarableTemplateDecl *First = getCanonicalDecl();
105
106 if (First->CommonOrPrev.isNull()) {
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000107 CommonBase *CommonPtr = First->newCommon(getASTContext());
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000108 First->CommonOrPrev = CommonPtr;
Peter Collingbourne8a798a72010-07-29 16:12:01 +0000109 CommonPtr->Latest = First;
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000110 }
111 return First->CommonOrPrev.get<CommonBase*>();
112}
113
114
115RedeclarableTemplateDecl *RedeclarableTemplateDecl::getCanonicalDeclImpl() {
116 RedeclarableTemplateDecl *Tmpl = this;
117 while (Tmpl->getPreviousDeclaration())
118 Tmpl = Tmpl->getPreviousDeclaration();
119 return Tmpl;
120}
121
Peter Collingbourne8a798a72010-07-29 16:12:01 +0000122void RedeclarableTemplateDecl::setPreviousDeclarationImpl(
123 RedeclarableTemplateDecl *Prev) {
124 if (Prev) {
125 CommonBase *Common = Prev->getCommonPtr();
126 Prev = Common->Latest;
127 Common->Latest = this;
128 CommonOrPrev = Prev;
129 } else {
130 assert(CommonOrPrev.is<CommonBase*>() && "Cannot reset TemplateDecl Prev");
131 }
132}
133
Peter Collingbournef88718e2010-07-29 16:12:09 +0000134RedeclarableTemplateDecl *RedeclarableTemplateDecl::getNextRedeclaration() {
135 if (CommonOrPrev.is<RedeclarableTemplateDecl*>())
136 return CommonOrPrev.get<RedeclarableTemplateDecl*>();
137 CommonBase *Common = CommonOrPrev.get<CommonBase*>();
138 return Common ? Common->Latest : this;
139}
140
Peter Collingbourne40485902010-07-30 17:09:04 +0000141template <class EntryType>
142typename RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::DeclType*
143RedeclarableTemplateDecl::findSpecializationImpl(
144 llvm::FoldingSet<EntryType> &Specs,
145 const TemplateArgument *Args, unsigned NumArgs,
146 void *&InsertPos) {
147 typedef SpecEntryTraits<EntryType> SETraits;
148 llvm::FoldingSetNodeID ID;
149 EntryType::Profile(ID,Args,NumArgs, getASTContext());
150 EntryType *Entry = Specs.FindNodeOrInsertPos(ID, InsertPos);
151 return Entry ? SETraits::getMostRecentDeclaration(Entry) : 0;
152}
153
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000154//===----------------------------------------------------------------------===//
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000155// FunctionTemplateDecl Implementation
156//===----------------------------------------------------------------------===//
157
Douglas Gregor00545312010-05-23 18:26:36 +0000158void FunctionTemplateDecl::DeallocateCommon(void *Ptr) {
159 static_cast<Common *>(Ptr)->~Common();
160}
161
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000162FunctionTemplateDecl *FunctionTemplateDecl::Create(ASTContext &C,
163 DeclContext *DC,
164 SourceLocation L,
165 DeclarationName Name,
Douglas Gregor127102b2009-06-29 20:59:39 +0000166 TemplateParameterList *Params,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000167 NamedDecl *Decl) {
Douglas Gregor9a299e02011-03-04 17:52:15 +0000168 // Take ownership of the template parameters.
169 for (TemplateParameterList::iterator P = Params->begin(),
170 PEnd = Params->end();
171 P != PEnd; ++P)
172 (*P)->setDeclContext(cast<DeclContext>(Decl));
173
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000174 return new (C) FunctionTemplateDecl(DC, L, Name, Params, Decl);
175}
176
Douglas Gregor9a299e02011-03-04 17:52:15 +0000177FunctionTemplateDecl *FunctionTemplateDecl::Create(ASTContext &C, EmptyShell) {
178 return new (C) FunctionTemplateDecl(0, SourceLocation(), DeclarationName(),
179 0, 0);
180}
181
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000182RedeclarableTemplateDecl::CommonBase *
183FunctionTemplateDecl::newCommon(ASTContext &C) {
184 Common *CommonPtr = new (C) Common;
185 C.AddDeallocation(DeallocateCommon, CommonPtr);
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000186 return CommonPtr;
187}
188
Argyrios Kyrtzidis2c853e42010-07-20 13:59:58 +0000189FunctionDecl *
190FunctionTemplateDecl::findSpecialization(const TemplateArgument *Args,
191 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000192 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidis2c853e42010-07-20 13:59:58 +0000193}
194
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000195//===----------------------------------------------------------------------===//
196// ClassTemplateDecl Implementation
197//===----------------------------------------------------------------------===//
198
Douglas Gregor00545312010-05-23 18:26:36 +0000199void ClassTemplateDecl::DeallocateCommon(void *Ptr) {
200 static_cast<Common *>(Ptr)->~Common();
201}
202
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000203ClassTemplateDecl *ClassTemplateDecl::Create(ASTContext &C,
204 DeclContext *DC,
205 SourceLocation L,
206 DeclarationName Name,
207 TemplateParameterList *Params,
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000208 NamedDecl *Decl,
209 ClassTemplateDecl *PrevDecl) {
Douglas Gregor9a299e02011-03-04 17:52:15 +0000210 // Take ownership of the template parameters.
211 for (TemplateParameterList::iterator P = Params->begin(),
212 PEnd = Params->end();
213 P != PEnd; ++P)
214 (*P)->setDeclContext(cast<DeclContext>(Decl));
215
Argyrios Kyrtzidis8731ca72010-06-19 19:29:09 +0000216 ClassTemplateDecl *New = new (C) ClassTemplateDecl(DC, L, Name, Params, Decl);
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000217 New->setPreviousDeclaration(PrevDecl);
Argyrios Kyrtzidis8731ca72010-06-19 19:29:09 +0000218 return New;
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000219}
220
Douglas Gregor9a299e02011-03-04 17:52:15 +0000221ClassTemplateDecl *ClassTemplateDecl::Create(ASTContext &C, EmptyShell Empty) {
222 return new (C) ClassTemplateDecl(Empty);
223}
224
Douglas Gregorc8e5cf82010-10-27 22:21:36 +0000225void ClassTemplateDecl::LoadLazySpecializations() {
226 Common *CommonPtr = getCommonPtr();
227 if (CommonPtr->LazySpecializations) {
228 ASTContext &Context = getASTContext();
229 uint32_t *Specs = CommonPtr->LazySpecializations;
230 CommonPtr->LazySpecializations = 0;
231 for (uint32_t I = 0, N = *Specs++; I != N; ++I)
232 (void)Context.getExternalSource()->GetExternalDecl(Specs[I]);
233 }
234}
235
236llvm::FoldingSet<ClassTemplateSpecializationDecl> &
237ClassTemplateDecl::getSpecializations() {
238 LoadLazySpecializations();
239 return getCommonPtr()->Specializations;
240}
241
242llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &
243ClassTemplateDecl::getPartialSpecializations() {
244 LoadLazySpecializations();
245 return getCommonPtr()->PartialSpecializations;
246}
247
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000248RedeclarableTemplateDecl::CommonBase *
249ClassTemplateDecl::newCommon(ASTContext &C) {
250 Common *CommonPtr = new (C) Common;
251 C.AddDeallocation(DeallocateCommon, CommonPtr);
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000252 return CommonPtr;
253}
254
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000255ClassTemplateSpecializationDecl *
256ClassTemplateDecl::findSpecialization(const TemplateArgument *Args,
257 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000258 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000259}
260
Argyrios Kyrtzidisbef1a7b2010-10-28 07:38:42 +0000261void ClassTemplateDecl::AddSpecialization(ClassTemplateSpecializationDecl *D,
262 void *InsertPos) {
263 getSpecializations().InsertNode(D, InsertPos);
264 if (ASTMutationListener *L = getASTMutationListener())
265 L->AddedCXXTemplateSpecialization(this, D);
266}
267
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000268ClassTemplatePartialSpecializationDecl *
269ClassTemplateDecl::findPartialSpecialization(const TemplateArgument *Args,
270 unsigned NumArgs,
271 void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000272 return findSpecializationImpl(getPartialSpecializations(), Args, NumArgs,
273 InsertPos);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000274}
275
Argyrios Kyrtzidisbef1a7b2010-10-28 07:38:42 +0000276void ClassTemplateDecl::AddPartialSpecialization(
277 ClassTemplatePartialSpecializationDecl *D,
278 void *InsertPos) {
279 getPartialSpecializations().InsertNode(D, InsertPos);
280 if (ASTMutationListener *L = getASTMutationListener())
281 L->AddedCXXTemplateSpecialization(this, D);
282}
283
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000284void ClassTemplateDecl::getPartialSpecializations(
285 llvm::SmallVectorImpl<ClassTemplatePartialSpecializationDecl *> &PS) {
286 llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &PartialSpecs
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000287 = getPartialSpecializations();
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000288 PS.clear();
289 PS.resize(PartialSpecs.size());
290 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
291 P = PartialSpecs.begin(), PEnd = PartialSpecs.end();
292 P != PEnd; ++P) {
293 assert(!PS[P->getSequenceNumber()]);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000294 PS[P->getSequenceNumber()] = P->getMostRecentDeclaration();
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000295 }
296}
297
Douglas Gregorb88e8882009-07-30 17:40:51 +0000298ClassTemplatePartialSpecializationDecl *
299ClassTemplateDecl::findPartialSpecialization(QualType T) {
300 ASTContext &Context = getASTContext();
301 typedef llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
302 partial_spec_iterator;
303 for (partial_spec_iterator P = getPartialSpecializations().begin(),
304 PEnd = getPartialSpecializations().end();
305 P != PEnd; ++P) {
John McCall31f17ec2010-04-27 00:57:59 +0000306 if (Context.hasSameType(P->getInjectedSpecializationType(), T))
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000307 return P->getMostRecentDeclaration();
308 }
309
310 return 0;
311}
312
313ClassTemplatePartialSpecializationDecl *
314ClassTemplateDecl::findPartialSpecInstantiatedFromMember(
315 ClassTemplatePartialSpecializationDecl *D) {
316 Decl *DCanon = D->getCanonicalDecl();
317 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
318 P = getPartialSpecializations().begin(),
319 PEnd = getPartialSpecializations().end();
320 P != PEnd; ++P) {
321 if (P->getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
322 return P->getMostRecentDeclaration();
Douglas Gregorb88e8882009-07-30 17:40:51 +0000323 }
Mike Stump1eb44332009-09-09 15:08:12 +0000324
Douglas Gregorb88e8882009-07-30 17:40:51 +0000325 return 0;
326}
327
John McCall3cb0ebd2010-03-10 03:28:59 +0000328QualType
Douglas Gregor24bae922010-07-08 18:37:38 +0000329ClassTemplateDecl::getInjectedClassNameSpecialization() {
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000330 Common *CommonPtr = getCommonPtr();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000331 if (!CommonPtr->InjectedClassNameType.isNull())
332 return CommonPtr->InjectedClassNameType;
333
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000334 // C++0x [temp.dep.type]p2:
335 // The template argument list of a primary template is a template argument
336 // list in which the nth template argument has the value of the nth template
337 // parameter of the class template. If the nth template parameter is a
338 // template parameter pack (14.5.3), the nth template argument is a pack
339 // expansion (14.5.3) whose pattern is the name of the template parameter
340 // pack.
Douglas Gregor24bae922010-07-08 18:37:38 +0000341 ASTContext &Context = getASTContext();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000342 TemplateParameterList *Params = getTemplateParameters();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000343 llvm::SmallVector<TemplateArgument, 16> TemplateArgs;
Douglas Gregor7da97d02009-05-10 22:57:19 +0000344 TemplateArgs.reserve(Params->size());
Mike Stump1eb44332009-09-09 15:08:12 +0000345 for (TemplateParameterList::iterator Param = Params->begin(),
346 ParamEnd = Params->end();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000347 Param != ParamEnd; ++Param) {
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000348 TemplateArgument Arg;
349 if (TemplateTypeParmDecl *TTP = dyn_cast<TemplateTypeParmDecl>(*Param)) {
350 QualType ArgType = Context.getTypeDeclType(TTP);
351 if (TTP->isParameterPack())
Douglas Gregorcded4f62011-01-14 17:04:44 +0000352 ArgType = Context.getPackExpansionType(ArgType,
353 llvm::Optional<unsigned>());
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000354
355 Arg = TemplateArgument(ArgType);
Mike Stump1eb44332009-09-09 15:08:12 +0000356 } else if (NonTypeTemplateParmDecl *NTTP =
Douglas Gregor7da97d02009-05-10 22:57:19 +0000357 dyn_cast<NonTypeTemplateParmDecl>(*Param)) {
Chandler Carruthb7de1812010-01-31 07:24:03 +0000358 Expr *E = new (Context) DeclRefExpr(NTTP,
Douglas Gregor63982352010-07-13 18:40:04 +0000359 NTTP->getType().getNonLValueExprType(Context),
John McCallf89e55a2010-11-18 06:31:45 +0000360 Expr::getValueKindForType(NTTP->getType()),
Douglas Gregor0da76df2009-11-23 11:41:28 +0000361 NTTP->getLocation());
Douglas Gregorb95cc972011-01-04 02:33:52 +0000362
363 if (NTTP->isParameterPack())
364 E = new (Context) PackExpansionExpr(Context.DependentTy, E,
Douglas Gregor67fd1252011-01-14 21:20:45 +0000365 NTTP->getLocation(),
366 llvm::Optional<unsigned>());
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000367 Arg = TemplateArgument(E);
Mike Stump1eb44332009-09-09 15:08:12 +0000368 } else {
Douglas Gregor7da97d02009-05-10 22:57:19 +0000369 TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*Param);
Douglas Gregor2be29f42011-01-14 23:41:42 +0000370 if (TTP->isParameterPack())
371 Arg = TemplateArgument(TemplateName(TTP), llvm::Optional<unsigned>());
372 else
373 Arg = TemplateArgument(TemplateName(TTP));
Douglas Gregor7da97d02009-05-10 22:57:19 +0000374 }
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000375
Douglas Gregor203e6a32011-01-11 23:09:57 +0000376 if ((*Param)->isTemplateParameterPack())
377 Arg = TemplateArgument::CreatePackCopy(Context, &Arg, 1);
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000378
379 TemplateArgs.push_back(Arg);
Douglas Gregor7da97d02009-05-10 22:57:19 +0000380 }
381
Douglas Gregor7da97d02009-05-10 22:57:19 +0000382 CommonPtr->InjectedClassNameType
Douglas Gregor1275ae02009-07-28 23:00:59 +0000383 = Context.getTemplateSpecializationType(TemplateName(this),
Douglas Gregor7da97d02009-05-10 22:57:19 +0000384 &TemplateArgs[0],
Douglas Gregor1275ae02009-07-28 23:00:59 +0000385 TemplateArgs.size());
Douglas Gregor7da97d02009-05-10 22:57:19 +0000386 return CommonPtr->InjectedClassNameType;
387}
388
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000389//===----------------------------------------------------------------------===//
390// TemplateTypeParm Allocation/Deallocation Method Implementations
391//===----------------------------------------------------------------------===//
392
393TemplateTypeParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000394TemplateTypeParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000395 SourceLocation L, unsigned D, unsigned P,
Anders Carlsson6d845ae2009-06-12 22:23:22 +0000396 IdentifierInfo *Id, bool Typename,
397 bool ParameterPack) {
Douglas Gregorefed5c82010-06-16 15:23:05 +0000398 QualType Type = C.getTemplateTypeParmType(D, P, ParameterPack, Id);
399 return new (C) TemplateTypeParmDecl(DC, L, Id, Typename, Type, ParameterPack);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000400}
401
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000402TemplateTypeParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000403TemplateTypeParmDecl::Create(const ASTContext &C, EmptyShell Empty) {
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000404 return new (C) TemplateTypeParmDecl(0, SourceLocation(), 0, false,
405 QualType(), false);
406}
407
John McCall833ca992009-10-29 08:12:44 +0000408SourceLocation TemplateTypeParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnara77d4ee22011-03-04 12:42:03 +0000409 return hasDefaultArgument()
410 ? DefaultArgument->getTypeLoc().getBeginLoc()
411 : SourceLocation();
412}
413
414SourceRange TemplateTypeParmDecl::getSourceRange() const {
415 if (hasDefaultArgument() && !defaultArgumentWasInherited())
416 return SourceRange(getLocation(),
417 DefaultArgument->getTypeLoc().getEndLoc());
418 else
419 return SourceRange(getLocation());
John McCall833ca992009-10-29 08:12:44 +0000420}
421
Douglas Gregored9c0f92009-10-29 00:04:11 +0000422unsigned TemplateTypeParmDecl::getDepth() const {
423 return TypeForDecl->getAs<TemplateTypeParmType>()->getDepth();
424}
425
426unsigned TemplateTypeParmDecl::getIndex() const {
427 return TypeForDecl->getAs<TemplateTypeParmType>()->getIndex();
428}
429
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000430//===----------------------------------------------------------------------===//
431// NonTypeTemplateParmDecl Method Implementations
432//===----------------------------------------------------------------------===//
433
Douglas Gregor6952f1e2011-01-19 20:10:05 +0000434NonTypeTemplateParmDecl::NonTypeTemplateParmDecl(DeclContext *DC,
435 SourceLocation L, unsigned D,
436 unsigned P, IdentifierInfo *Id,
437 QualType T,
438 TypeSourceInfo *TInfo,
439 const QualType *ExpandedTypes,
440 unsigned NumExpandedTypes,
441 TypeSourceInfo **ExpandedTInfos)
John McCall76a40212011-02-09 01:13:10 +0000442 : DeclaratorDecl(NonTypeTemplateParm, DC, L, Id, T, TInfo),
Douglas Gregor6952f1e2011-01-19 20:10:05 +0000443 TemplateParmPosition(D, P), DefaultArgumentAndInherited(0, false),
444 ParameterPack(true), ExpandedParameterPack(true),
445 NumExpandedTypes(NumExpandedTypes)
446{
447 if (ExpandedTypes && ExpandedTInfos) {
448 void **TypesAndInfos = reinterpret_cast<void **>(this + 1);
449 for (unsigned I = 0; I != NumExpandedTypes; ++I) {
450 TypesAndInfos[2*I] = ExpandedTypes[I].getAsOpaquePtr();
451 TypesAndInfos[2*I + 1] = ExpandedTInfos[I];
452 }
453 }
454}
455
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000456NonTypeTemplateParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000457NonTypeTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000458 SourceLocation L, unsigned D, unsigned P,
459 IdentifierInfo *Id, QualType T,
Douglas Gregor10738d32010-12-23 23:51:58 +0000460 bool ParameterPack, TypeSourceInfo *TInfo) {
461 return new (C) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, ParameterPack,
462 TInfo);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000463}
464
Douglas Gregor6952f1e2011-01-19 20:10:05 +0000465NonTypeTemplateParmDecl *
466NonTypeTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
467 SourceLocation L, unsigned D, unsigned P,
468 IdentifierInfo *Id, QualType T,
469 TypeSourceInfo *TInfo,
470 const QualType *ExpandedTypes,
471 unsigned NumExpandedTypes,
472 TypeSourceInfo **ExpandedTInfos) {
473 unsigned Size = sizeof(NonTypeTemplateParmDecl)
474 + NumExpandedTypes * 2 * sizeof(void*);
475 void *Mem = C.Allocate(Size);
476 return new (Mem) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, TInfo,
477 ExpandedTypes, NumExpandedTypes,
478 ExpandedTInfos);
479}
480
Douglas Gregorda2142f2011-02-19 18:51:44 +0000481SourceLocation NonTypeTemplateParmDecl::getInnerLocStart() const {
482 SourceLocation Start = getTypeSpecStartLoc();
483 if (Start.isInvalid())
484 Start = getLocation();
485 return Start;
486}
487
John McCall76a40212011-02-09 01:13:10 +0000488SourceRange NonTypeTemplateParmDecl::getSourceRange() const {
Abramo Bagnaraee4bfd42011-03-04 11:03:48 +0000489 SourceLocation End = getLocation();
490 if (hasDefaultArgument() && !defaultArgumentWasInherited())
491 End = getDefaultArgument()->getSourceRange().getEnd();
492 return SourceRange(getOuterLocStart(), End);
John McCall76a40212011-02-09 01:13:10 +0000493}
494
Douglas Gregord684b002009-02-10 19:49:53 +0000495SourceLocation NonTypeTemplateParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnarad92f7a22010-06-09 09:26:05 +0000496 return hasDefaultArgument()
497 ? getDefaultArgument()->getSourceRange().getBegin()
498 : SourceLocation();
Douglas Gregord684b002009-02-10 19:49:53 +0000499}
500
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000501//===----------------------------------------------------------------------===//
502// TemplateTemplateParmDecl Method Implementations
503//===----------------------------------------------------------------------===//
504
505TemplateTemplateParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000506TemplateTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000507 SourceLocation L, unsigned D, unsigned P,
Douglas Gregor61c4d282011-01-05 15:48:55 +0000508 bool ParameterPack, IdentifierInfo *Id,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000509 TemplateParameterList *Params) {
Douglas Gregor61c4d282011-01-05 15:48:55 +0000510 return new (C) TemplateTemplateParmDecl(DC, L, D, P, ParameterPack, Id,
511 Params);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000512}
513
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000514//===----------------------------------------------------------------------===//
Douglas Gregor7e063902009-05-11 23:53:27 +0000515// TemplateArgumentList Implementation
516//===----------------------------------------------------------------------===//
Douglas Gregor910f8002010-11-07 23:05:16 +0000517TemplateArgumentList *
518TemplateArgumentList::CreateCopy(ASTContext &Context,
519 const TemplateArgument *Args,
520 unsigned NumArgs) {
521 std::size_t Size = sizeof(TemplateArgumentList)
522 + NumArgs * sizeof(TemplateArgument);
523 void *Mem = Context.Allocate(Size);
524 TemplateArgument *StoredArgs
525 = reinterpret_cast<TemplateArgument *>(
526 static_cast<TemplateArgumentList *>(Mem) + 1);
527 std::uninitialized_copy(Args, Args + NumArgs, StoredArgs);
528 return new (Mem) TemplateArgumentList(StoredArgs, NumArgs, true);
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000529}
530
Douglas Gregor7e063902009-05-11 23:53:27 +0000531//===----------------------------------------------------------------------===//
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000532// ClassTemplateSpecializationDecl Implementation
533//===----------------------------------------------------------------------===//
534ClassTemplateSpecializationDecl::
Douglas Gregor13c85772010-05-06 00:28:52 +0000535ClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, TagKind TK,
Douglas Gregor7e063902009-05-11 23:53:27 +0000536 DeclContext *DC, SourceLocation L,
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000537 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000538 const TemplateArgument *Args,
539 unsigned NumArgs,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000540 ClassTemplateSpecializationDecl *PrevDecl)
Douglas Gregor13c85772010-05-06 00:28:52 +0000541 : CXXRecordDecl(DK, TK, DC, L,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000542 SpecializedTemplate->getIdentifier(),
543 PrevDecl),
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000544 SpecializedTemplate(SpecializedTemplate),
Abramo Bagnarac98971d2010-06-12 07:44:57 +0000545 ExplicitInfo(0),
Douglas Gregor910f8002010-11-07 23:05:16 +0000546 TemplateArgs(TemplateArgumentList::CreateCopy(Context, Args, NumArgs)),
Douglas Gregor7e063902009-05-11 23:53:27 +0000547 SpecializationKind(TSK_Undeclared) {
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000548}
Mike Stump1eb44332009-09-09 15:08:12 +0000549
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000550ClassTemplateSpecializationDecl::ClassTemplateSpecializationDecl(Kind DK)
551 : CXXRecordDecl(DK, TTK_Struct, 0, SourceLocation(), 0, 0),
552 ExplicitInfo(0),
553 SpecializationKind(TSK_Undeclared) {
554}
555
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000556ClassTemplateSpecializationDecl *
Douglas Gregor13c85772010-05-06 00:28:52 +0000557ClassTemplateSpecializationDecl::Create(ASTContext &Context, TagKind TK,
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000558 DeclContext *DC, SourceLocation L,
559 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000560 const TemplateArgument *Args,
561 unsigned NumArgs,
Douglas Gregorcc636682009-02-17 23:15:12 +0000562 ClassTemplateSpecializationDecl *PrevDecl) {
Douglas Gregorcc636682009-02-17 23:15:12 +0000563 ClassTemplateSpecializationDecl *Result
Mike Stump1eb44332009-09-09 15:08:12 +0000564 = new (Context)ClassTemplateSpecializationDecl(Context,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000565 ClassTemplateSpecialization,
Douglas Gregor13c85772010-05-06 00:28:52 +0000566 TK, DC, L,
Douglas Gregor7e063902009-05-11 23:53:27 +0000567 SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000568 Args, NumArgs,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000569 PrevDecl);
Douglas Gregorcc636682009-02-17 23:15:12 +0000570 Context.getTypeDeclType(Result, PrevDecl);
571 return Result;
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000572}
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000573
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000574ClassTemplateSpecializationDecl *
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000575ClassTemplateSpecializationDecl::Create(ASTContext &Context, EmptyShell Empty) {
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000576 return
577 new (Context)ClassTemplateSpecializationDecl(ClassTemplateSpecialization);
578}
579
Douglas Gregorda2142f2011-02-19 18:51:44 +0000580void
581ClassTemplateSpecializationDecl::getNameForDiagnostic(std::string &S,
582 const PrintingPolicy &Policy,
583 bool Qualified) const {
584 NamedDecl::getNameForDiagnostic(S, Policy, Qualified);
585
586 const TemplateArgumentList &TemplateArgs = getTemplateArgs();
587 S += TemplateSpecializationType::PrintTemplateArgumentList(
588 TemplateArgs.data(),
589 TemplateArgs.size(),
590 Policy);
591}
592
Douglas Gregor37d93e92009-08-02 23:24:31 +0000593ClassTemplateDecl *
Mike Stump1eb44332009-09-09 15:08:12 +0000594ClassTemplateSpecializationDecl::getSpecializedTemplate() const {
595 if (SpecializedPartialSpecialization *PartialSpec
Douglas Gregor37d93e92009-08-02 23:24:31 +0000596 = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
597 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
598 return SpecializedTemplate.get<ClassTemplateDecl*>();
599}
600
Abramo Bagnara4a85a732011-03-04 14:20:30 +0000601SourceRange
602ClassTemplateSpecializationDecl::getSourceRange() const {
603 if (!ExplicitInfo)
604 return SourceRange();
605 SourceLocation Begin = getExternLoc();
606 if (Begin.isInvalid())
607 Begin = getTemplateKeywordLoc();
608 SourceLocation End = getRBraceLoc();
609 if (End.isInvalid())
610 End = getTypeAsWritten()->getTypeLoc().getEndLoc();
611 return SourceRange(Begin, End);
612}
613
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000614//===----------------------------------------------------------------------===//
615// ClassTemplatePartialSpecializationDecl Implementation
616//===----------------------------------------------------------------------===//
Douglas Gregor9a299e02011-03-04 17:52:15 +0000617ClassTemplatePartialSpecializationDecl::
618ClassTemplatePartialSpecializationDecl(ASTContext &Context, TagKind TK,
619 DeclContext *DC, SourceLocation L,
620 TemplateParameterList *Params,
621 ClassTemplateDecl *SpecializedTemplate,
622 const TemplateArgument *Args,
623 unsigned NumArgs,
624 TemplateArgumentLoc *ArgInfos,
625 unsigned NumArgInfos,
626 ClassTemplatePartialSpecializationDecl *PrevDecl,
627 unsigned SequenceNumber)
628 : ClassTemplateSpecializationDecl(Context,
629 ClassTemplatePartialSpecialization,
630 TK, DC, L, SpecializedTemplate,
631 Args, NumArgs, PrevDecl),
632 TemplateParams(Params), ArgsAsWritten(ArgInfos),
633 NumArgsAsWritten(NumArgInfos), SequenceNumber(SequenceNumber),
634 InstantiatedFromMember(0, false)
635{
636 // Take ownership of the template parameters.
637 for (TemplateParameterList::iterator P = Params->begin(),
638 PEnd = Params->end();
639 P != PEnd; ++P)
640 (*P)->setDeclContext(this);
641}
642
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000643ClassTemplatePartialSpecializationDecl *
644ClassTemplatePartialSpecializationDecl::
Douglas Gregor13c85772010-05-06 00:28:52 +0000645Create(ASTContext &Context, TagKind TK,DeclContext *DC, SourceLocation L,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000646 TemplateParameterList *Params,
647 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000648 const TemplateArgument *Args,
649 unsigned NumArgs,
John McCalld5532b62009-11-23 01:53:49 +0000650 const TemplateArgumentListInfo &ArgInfos,
John McCall3cb0ebd2010-03-10 03:28:59 +0000651 QualType CanonInjectedType,
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000652 ClassTemplatePartialSpecializationDecl *PrevDecl,
653 unsigned SequenceNumber) {
John McCalld5532b62009-11-23 01:53:49 +0000654 unsigned N = ArgInfos.size();
John McCall833ca992009-10-29 08:12:44 +0000655 TemplateArgumentLoc *ClonedArgs = new (Context) TemplateArgumentLoc[N];
656 for (unsigned I = 0; I != N; ++I)
657 ClonedArgs[I] = ArgInfos[I];
658
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000659 ClassTemplatePartialSpecializationDecl *Result
Douglas Gregor13c85772010-05-06 00:28:52 +0000660 = new (Context)ClassTemplatePartialSpecializationDecl(Context, TK,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000661 DC, L, Params,
662 SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000663 Args, NumArgs,
John McCall833ca992009-10-29 08:12:44 +0000664 ClonedArgs, N,
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000665 PrevDecl,
666 SequenceNumber);
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000667 Result->setSpecializationKind(TSK_ExplicitSpecialization);
John McCall3cb0ebd2010-03-10 03:28:59 +0000668
669 Context.getInjectedClassNameType(Result, CanonInjectedType);
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000670 return Result;
671}
John McCalldd4a3b02009-09-16 22:47:08 +0000672
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000673ClassTemplatePartialSpecializationDecl *
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000674ClassTemplatePartialSpecializationDecl::Create(ASTContext &Context,
675 EmptyShell Empty) {
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000676 return new (Context)ClassTemplatePartialSpecializationDecl();
677}
678
John McCalldd4a3b02009-09-16 22:47:08 +0000679//===----------------------------------------------------------------------===//
680// FriendTemplateDecl Implementation
681//===----------------------------------------------------------------------===//
682
683FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
684 DeclContext *DC,
685 SourceLocation L,
686 unsigned NParams,
687 TemplateParameterList **Params,
688 FriendUnion Friend,
689 SourceLocation FLoc) {
690 FriendTemplateDecl *Result
691 = new (Context) FriendTemplateDecl(DC, L, NParams, Params, Friend, FLoc);
692 return Result;
693}
Argyrios Kyrtzidis554e6aa2010-07-22 16:04:10 +0000694
695FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
696 EmptyShell Empty) {
697 return new (Context) FriendTemplateDecl(Empty);
698}