blob: 980a373778fec2e68330b35217d568b2955a42cc [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
Douglas Gregor9e6f2a82011-02-17 17:10:20 +0000115RedeclarableTemplateDecl::CommonBase *
116RedeclarableTemplateDecl::newCommon(ASTContext &C) {
117 if (FunctionTemplateDecl *FunTmpl = dyn_cast<FunctionTemplateDecl>(this))
118 return FunTmpl->newCommon(C);
119
120 return cast<ClassTemplateDecl>(this)->newCommon(C);
121}
122
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000123RedeclarableTemplateDecl *RedeclarableTemplateDecl::getCanonicalDeclImpl() {
124 RedeclarableTemplateDecl *Tmpl = this;
125 while (Tmpl->getPreviousDeclaration())
126 Tmpl = Tmpl->getPreviousDeclaration();
127 return Tmpl;
128}
129
Peter Collingbourne8a798a72010-07-29 16:12:01 +0000130void RedeclarableTemplateDecl::setPreviousDeclarationImpl(
131 RedeclarableTemplateDecl *Prev) {
132 if (Prev) {
133 CommonBase *Common = Prev->getCommonPtr();
134 Prev = Common->Latest;
135 Common->Latest = this;
136 CommonOrPrev = Prev;
137 } else {
138 assert(CommonOrPrev.is<CommonBase*>() && "Cannot reset TemplateDecl Prev");
139 }
140}
141
Peter Collingbournef88718e2010-07-29 16:12:09 +0000142RedeclarableTemplateDecl *RedeclarableTemplateDecl::getNextRedeclaration() {
143 if (CommonOrPrev.is<RedeclarableTemplateDecl*>())
144 return CommonOrPrev.get<RedeclarableTemplateDecl*>();
145 CommonBase *Common = CommonOrPrev.get<CommonBase*>();
146 return Common ? Common->Latest : this;
147}
148
Peter Collingbourne40485902010-07-30 17:09:04 +0000149template <class EntryType>
150typename RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::DeclType*
151RedeclarableTemplateDecl::findSpecializationImpl(
152 llvm::FoldingSet<EntryType> &Specs,
153 const TemplateArgument *Args, unsigned NumArgs,
154 void *&InsertPos) {
155 typedef SpecEntryTraits<EntryType> SETraits;
156 llvm::FoldingSetNodeID ID;
157 EntryType::Profile(ID,Args,NumArgs, getASTContext());
158 EntryType *Entry = Specs.FindNodeOrInsertPos(ID, InsertPos);
159 return Entry ? SETraits::getMostRecentDeclaration(Entry) : 0;
160}
161
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000162//===----------------------------------------------------------------------===//
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000163// FunctionTemplateDecl Implementation
164//===----------------------------------------------------------------------===//
165
Douglas Gregor00545312010-05-23 18:26:36 +0000166void FunctionTemplateDecl::DeallocateCommon(void *Ptr) {
167 static_cast<Common *>(Ptr)->~Common();
168}
169
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000170FunctionTemplateDecl *FunctionTemplateDecl::Create(ASTContext &C,
171 DeclContext *DC,
172 SourceLocation L,
173 DeclarationName Name,
Douglas Gregor127102b2009-06-29 20:59:39 +0000174 TemplateParameterList *Params,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000175 NamedDecl *Decl) {
176 return new (C) FunctionTemplateDecl(DC, L, Name, Params, Decl);
177}
178
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000179RedeclarableTemplateDecl::CommonBase *
180FunctionTemplateDecl::newCommon(ASTContext &C) {
181 Common *CommonPtr = new (C) Common;
182 C.AddDeallocation(DeallocateCommon, CommonPtr);
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000183 return CommonPtr;
184}
185
Argyrios Kyrtzidis2c853e42010-07-20 13:59:58 +0000186FunctionDecl *
187FunctionTemplateDecl::findSpecialization(const TemplateArgument *Args,
188 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000189 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidis2c853e42010-07-20 13:59:58 +0000190}
191
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000192//===----------------------------------------------------------------------===//
193// ClassTemplateDecl Implementation
194//===----------------------------------------------------------------------===//
195
Douglas Gregor00545312010-05-23 18:26:36 +0000196void ClassTemplateDecl::DeallocateCommon(void *Ptr) {
197 static_cast<Common *>(Ptr)->~Common();
198}
199
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000200ClassTemplateDecl *ClassTemplateDecl::Create(ASTContext &C,
201 DeclContext *DC,
202 SourceLocation L,
203 DeclarationName Name,
204 TemplateParameterList *Params,
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000205 NamedDecl *Decl,
206 ClassTemplateDecl *PrevDecl) {
Argyrios Kyrtzidis8731ca72010-06-19 19:29:09 +0000207 ClassTemplateDecl *New = new (C) ClassTemplateDecl(DC, L, Name, Params, Decl);
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000208 New->setPreviousDeclaration(PrevDecl);
Argyrios Kyrtzidis8731ca72010-06-19 19:29:09 +0000209 return New;
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000210}
211
Douglas Gregorc8e5cf82010-10-27 22:21:36 +0000212void ClassTemplateDecl::LoadLazySpecializations() {
213 Common *CommonPtr = getCommonPtr();
214 if (CommonPtr->LazySpecializations) {
215 ASTContext &Context = getASTContext();
216 uint32_t *Specs = CommonPtr->LazySpecializations;
217 CommonPtr->LazySpecializations = 0;
218 for (uint32_t I = 0, N = *Specs++; I != N; ++I)
219 (void)Context.getExternalSource()->GetExternalDecl(Specs[I]);
220 }
221}
222
223llvm::FoldingSet<ClassTemplateSpecializationDecl> &
224ClassTemplateDecl::getSpecializations() {
225 LoadLazySpecializations();
226 return getCommonPtr()->Specializations;
227}
228
229llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &
230ClassTemplateDecl::getPartialSpecializations() {
231 LoadLazySpecializations();
232 return getCommonPtr()->PartialSpecializations;
233}
234
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000235RedeclarableTemplateDecl::CommonBase *
236ClassTemplateDecl::newCommon(ASTContext &C) {
237 Common *CommonPtr = new (C) Common;
238 C.AddDeallocation(DeallocateCommon, CommonPtr);
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000239 return CommonPtr;
240}
241
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000242ClassTemplateSpecializationDecl *
243ClassTemplateDecl::findSpecialization(const TemplateArgument *Args,
244 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000245 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000246}
247
Argyrios Kyrtzidisbef1a7b2010-10-28 07:38:42 +0000248void ClassTemplateDecl::AddSpecialization(ClassTemplateSpecializationDecl *D,
249 void *InsertPos) {
250 getSpecializations().InsertNode(D, InsertPos);
251 if (ASTMutationListener *L = getASTMutationListener())
252 L->AddedCXXTemplateSpecialization(this, D);
253}
254
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000255ClassTemplatePartialSpecializationDecl *
256ClassTemplateDecl::findPartialSpecialization(const TemplateArgument *Args,
257 unsigned NumArgs,
258 void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000259 return findSpecializationImpl(getPartialSpecializations(), Args, NumArgs,
260 InsertPos);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000261}
262
Argyrios Kyrtzidisbef1a7b2010-10-28 07:38:42 +0000263void ClassTemplateDecl::AddPartialSpecialization(
264 ClassTemplatePartialSpecializationDecl *D,
265 void *InsertPos) {
266 getPartialSpecializations().InsertNode(D, InsertPos);
267 if (ASTMutationListener *L = getASTMutationListener())
268 L->AddedCXXTemplateSpecialization(this, D);
269}
270
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000271void ClassTemplateDecl::getPartialSpecializations(
272 llvm::SmallVectorImpl<ClassTemplatePartialSpecializationDecl *> &PS) {
273 llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &PartialSpecs
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000274 = getPartialSpecializations();
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000275 PS.clear();
276 PS.resize(PartialSpecs.size());
277 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
278 P = PartialSpecs.begin(), PEnd = PartialSpecs.end();
279 P != PEnd; ++P) {
280 assert(!PS[P->getSequenceNumber()]);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000281 PS[P->getSequenceNumber()] = P->getMostRecentDeclaration();
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000282 }
283}
284
Douglas Gregorb88e8882009-07-30 17:40:51 +0000285ClassTemplatePartialSpecializationDecl *
286ClassTemplateDecl::findPartialSpecialization(QualType T) {
287 ASTContext &Context = getASTContext();
288 typedef llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
289 partial_spec_iterator;
290 for (partial_spec_iterator P = getPartialSpecializations().begin(),
291 PEnd = getPartialSpecializations().end();
292 P != PEnd; ++P) {
John McCall31f17ec2010-04-27 00:57:59 +0000293 if (Context.hasSameType(P->getInjectedSpecializationType(), T))
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000294 return P->getMostRecentDeclaration();
295 }
296
297 return 0;
298}
299
300ClassTemplatePartialSpecializationDecl *
301ClassTemplateDecl::findPartialSpecInstantiatedFromMember(
302 ClassTemplatePartialSpecializationDecl *D) {
303 Decl *DCanon = D->getCanonicalDecl();
304 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
305 P = getPartialSpecializations().begin(),
306 PEnd = getPartialSpecializations().end();
307 P != PEnd; ++P) {
308 if (P->getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
309 return P->getMostRecentDeclaration();
Douglas Gregorb88e8882009-07-30 17:40:51 +0000310 }
Mike Stump1eb44332009-09-09 15:08:12 +0000311
Douglas Gregorb88e8882009-07-30 17:40:51 +0000312 return 0;
313}
314
John McCall3cb0ebd2010-03-10 03:28:59 +0000315QualType
Douglas Gregor24bae922010-07-08 18:37:38 +0000316ClassTemplateDecl::getInjectedClassNameSpecialization() {
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000317 Common *CommonPtr = getCommonPtr();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000318 if (!CommonPtr->InjectedClassNameType.isNull())
319 return CommonPtr->InjectedClassNameType;
320
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000321 // C++0x [temp.dep.type]p2:
322 // The template argument list of a primary template is a template argument
323 // list in which the nth template argument has the value of the nth template
324 // parameter of the class template. If the nth template parameter is a
325 // template parameter pack (14.5.3), the nth template argument is a pack
326 // expansion (14.5.3) whose pattern is the name of the template parameter
327 // pack.
Douglas Gregor24bae922010-07-08 18:37:38 +0000328 ASTContext &Context = getASTContext();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000329 TemplateParameterList *Params = getTemplateParameters();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000330 llvm::SmallVector<TemplateArgument, 16> TemplateArgs;
Douglas Gregor7da97d02009-05-10 22:57:19 +0000331 TemplateArgs.reserve(Params->size());
Mike Stump1eb44332009-09-09 15:08:12 +0000332 for (TemplateParameterList::iterator Param = Params->begin(),
333 ParamEnd = Params->end();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000334 Param != ParamEnd; ++Param) {
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000335 TemplateArgument Arg;
336 if (TemplateTypeParmDecl *TTP = dyn_cast<TemplateTypeParmDecl>(*Param)) {
337 QualType ArgType = Context.getTypeDeclType(TTP);
338 if (TTP->isParameterPack())
Douglas Gregorcded4f62011-01-14 17:04:44 +0000339 ArgType = Context.getPackExpansionType(ArgType,
340 llvm::Optional<unsigned>());
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000341
342 Arg = TemplateArgument(ArgType);
Mike Stump1eb44332009-09-09 15:08:12 +0000343 } else if (NonTypeTemplateParmDecl *NTTP =
Douglas Gregor7da97d02009-05-10 22:57:19 +0000344 dyn_cast<NonTypeTemplateParmDecl>(*Param)) {
Chandler Carruthb7de1812010-01-31 07:24:03 +0000345 Expr *E = new (Context) DeclRefExpr(NTTP,
Douglas Gregor63982352010-07-13 18:40:04 +0000346 NTTP->getType().getNonLValueExprType(Context),
John McCallf89e55a2010-11-18 06:31:45 +0000347 Expr::getValueKindForType(NTTP->getType()),
Douglas Gregor0da76df2009-11-23 11:41:28 +0000348 NTTP->getLocation());
Douglas Gregorb95cc972011-01-04 02:33:52 +0000349
350 if (NTTP->isParameterPack())
351 E = new (Context) PackExpansionExpr(Context.DependentTy, E,
Douglas Gregor67fd1252011-01-14 21:20:45 +0000352 NTTP->getLocation(),
353 llvm::Optional<unsigned>());
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000354 Arg = TemplateArgument(E);
Mike Stump1eb44332009-09-09 15:08:12 +0000355 } else {
Douglas Gregor7da97d02009-05-10 22:57:19 +0000356 TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*Param);
Douglas Gregor2be29f42011-01-14 23:41:42 +0000357 if (TTP->isParameterPack())
358 Arg = TemplateArgument(TemplateName(TTP), llvm::Optional<unsigned>());
359 else
360 Arg = TemplateArgument(TemplateName(TTP));
Douglas Gregor7da97d02009-05-10 22:57:19 +0000361 }
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000362
Douglas Gregor203e6a32011-01-11 23:09:57 +0000363 if ((*Param)->isTemplateParameterPack())
364 Arg = TemplateArgument::CreatePackCopy(Context, &Arg, 1);
Douglas Gregorb7d09d62010-12-23 16:00:30 +0000365
366 TemplateArgs.push_back(Arg);
Douglas Gregor7da97d02009-05-10 22:57:19 +0000367 }
368
Douglas Gregor7da97d02009-05-10 22:57:19 +0000369 CommonPtr->InjectedClassNameType
Douglas Gregor1275ae02009-07-28 23:00:59 +0000370 = Context.getTemplateSpecializationType(TemplateName(this),
Douglas Gregor7da97d02009-05-10 22:57:19 +0000371 &TemplateArgs[0],
Douglas Gregor1275ae02009-07-28 23:00:59 +0000372 TemplateArgs.size());
Douglas Gregor7da97d02009-05-10 22:57:19 +0000373 return CommonPtr->InjectedClassNameType;
374}
375
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000376//===----------------------------------------------------------------------===//
377// TemplateTypeParm Allocation/Deallocation Method Implementations
378//===----------------------------------------------------------------------===//
379
380TemplateTypeParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000381TemplateTypeParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000382 SourceLocation L, unsigned D, unsigned P,
Anders Carlsson6d845ae2009-06-12 22:23:22 +0000383 IdentifierInfo *Id, bool Typename,
384 bool ParameterPack) {
Douglas Gregorefed5c82010-06-16 15:23:05 +0000385 QualType Type = C.getTemplateTypeParmType(D, P, ParameterPack, Id);
386 return new (C) TemplateTypeParmDecl(DC, L, Id, Typename, Type, ParameterPack);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000387}
388
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000389TemplateTypeParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000390TemplateTypeParmDecl::Create(const ASTContext &C, EmptyShell Empty) {
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000391 return new (C) TemplateTypeParmDecl(0, SourceLocation(), 0, false,
392 QualType(), false);
393}
394
John McCall833ca992009-10-29 08:12:44 +0000395SourceLocation TemplateTypeParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnarabd054db2010-05-20 10:00:11 +0000396 return DefaultArgument->getTypeLoc().getSourceRange().getBegin();
John McCall833ca992009-10-29 08:12:44 +0000397}
398
Douglas Gregored9c0f92009-10-29 00:04:11 +0000399unsigned TemplateTypeParmDecl::getDepth() const {
400 return TypeForDecl->getAs<TemplateTypeParmType>()->getDepth();
401}
402
403unsigned TemplateTypeParmDecl::getIndex() const {
404 return TypeForDecl->getAs<TemplateTypeParmType>()->getIndex();
405}
406
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000407//===----------------------------------------------------------------------===//
408// NonTypeTemplateParmDecl Method Implementations
409//===----------------------------------------------------------------------===//
410
Douglas Gregor6952f1e2011-01-19 20:10:05 +0000411NonTypeTemplateParmDecl::NonTypeTemplateParmDecl(DeclContext *DC,
412 SourceLocation L, unsigned D,
413 unsigned P, IdentifierInfo *Id,
414 QualType T,
415 TypeSourceInfo *TInfo,
416 const QualType *ExpandedTypes,
417 unsigned NumExpandedTypes,
418 TypeSourceInfo **ExpandedTInfos)
John McCall76a40212011-02-09 01:13:10 +0000419 : DeclaratorDecl(NonTypeTemplateParm, DC, L, Id, T, TInfo),
Douglas Gregor6952f1e2011-01-19 20:10:05 +0000420 TemplateParmPosition(D, P), DefaultArgumentAndInherited(0, false),
421 ParameterPack(true), ExpandedParameterPack(true),
422 NumExpandedTypes(NumExpandedTypes)
423{
424 if (ExpandedTypes && ExpandedTInfos) {
425 void **TypesAndInfos = reinterpret_cast<void **>(this + 1);
426 for (unsigned I = 0; I != NumExpandedTypes; ++I) {
427 TypesAndInfos[2*I] = ExpandedTypes[I].getAsOpaquePtr();
428 TypesAndInfos[2*I + 1] = ExpandedTInfos[I];
429 }
430 }
431}
432
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000433NonTypeTemplateParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000434NonTypeTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000435 SourceLocation L, unsigned D, unsigned P,
436 IdentifierInfo *Id, QualType T,
Douglas Gregor10738d32010-12-23 23:51:58 +0000437 bool ParameterPack, TypeSourceInfo *TInfo) {
438 return new (C) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, ParameterPack,
439 TInfo);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000440}
441
Douglas Gregor6952f1e2011-01-19 20:10:05 +0000442NonTypeTemplateParmDecl *
443NonTypeTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
444 SourceLocation L, unsigned D, unsigned P,
445 IdentifierInfo *Id, QualType T,
446 TypeSourceInfo *TInfo,
447 const QualType *ExpandedTypes,
448 unsigned NumExpandedTypes,
449 TypeSourceInfo **ExpandedTInfos) {
450 unsigned Size = sizeof(NonTypeTemplateParmDecl)
451 + NumExpandedTypes * 2 * sizeof(void*);
452 void *Mem = C.Allocate(Size);
453 return new (Mem) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, TInfo,
454 ExpandedTypes, NumExpandedTypes,
455 ExpandedTInfos);
456}
457
John McCall76a40212011-02-09 01:13:10 +0000458SourceRange NonTypeTemplateParmDecl::getSourceRange() const {
459 return SourceRange(getOuterLocStart(), getLocation());
460}
461
Douglas Gregord684b002009-02-10 19:49:53 +0000462SourceLocation NonTypeTemplateParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnarad92f7a22010-06-09 09:26:05 +0000463 return hasDefaultArgument()
464 ? getDefaultArgument()->getSourceRange().getBegin()
465 : SourceLocation();
Douglas Gregord684b002009-02-10 19:49:53 +0000466}
467
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000468//===----------------------------------------------------------------------===//
469// TemplateTemplateParmDecl Method Implementations
470//===----------------------------------------------------------------------===//
471
472TemplateTemplateParmDecl *
Jay Foad4ba2a172011-01-12 09:06:06 +0000473TemplateTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000474 SourceLocation L, unsigned D, unsigned P,
Douglas Gregor61c4d282011-01-05 15:48:55 +0000475 bool ParameterPack, IdentifierInfo *Id,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000476 TemplateParameterList *Params) {
Douglas Gregor61c4d282011-01-05 15:48:55 +0000477 return new (C) TemplateTemplateParmDecl(DC, L, D, P, ParameterPack, Id,
478 Params);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000479}
480
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000481//===----------------------------------------------------------------------===//
Douglas Gregor7e063902009-05-11 23:53:27 +0000482// TemplateArgumentList Implementation
483//===----------------------------------------------------------------------===//
Douglas Gregor910f8002010-11-07 23:05:16 +0000484TemplateArgumentList *
485TemplateArgumentList::CreateCopy(ASTContext &Context,
486 const TemplateArgument *Args,
487 unsigned NumArgs) {
488 std::size_t Size = sizeof(TemplateArgumentList)
489 + NumArgs * sizeof(TemplateArgument);
490 void *Mem = Context.Allocate(Size);
491 TemplateArgument *StoredArgs
492 = reinterpret_cast<TemplateArgument *>(
493 static_cast<TemplateArgumentList *>(Mem) + 1);
494 std::uninitialized_copy(Args, Args + NumArgs, StoredArgs);
495 return new (Mem) TemplateArgumentList(StoredArgs, NumArgs, true);
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000496}
497
Douglas Gregor7e063902009-05-11 23:53:27 +0000498//===----------------------------------------------------------------------===//
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000499// ClassTemplateSpecializationDecl Implementation
500//===----------------------------------------------------------------------===//
501ClassTemplateSpecializationDecl::
Douglas Gregor13c85772010-05-06 00:28:52 +0000502ClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, TagKind TK,
Douglas Gregor7e063902009-05-11 23:53:27 +0000503 DeclContext *DC, SourceLocation L,
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000504 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000505 const TemplateArgument *Args,
506 unsigned NumArgs,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000507 ClassTemplateSpecializationDecl *PrevDecl)
Douglas Gregor13c85772010-05-06 00:28:52 +0000508 : CXXRecordDecl(DK, TK, DC, L,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000509 SpecializedTemplate->getIdentifier(),
510 PrevDecl),
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000511 SpecializedTemplate(SpecializedTemplate),
Abramo Bagnarac98971d2010-06-12 07:44:57 +0000512 ExplicitInfo(0),
Douglas Gregor910f8002010-11-07 23:05:16 +0000513 TemplateArgs(TemplateArgumentList::CreateCopy(Context, Args, NumArgs)),
Douglas Gregor7e063902009-05-11 23:53:27 +0000514 SpecializationKind(TSK_Undeclared) {
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000515}
Mike Stump1eb44332009-09-09 15:08:12 +0000516
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000517ClassTemplateSpecializationDecl::ClassTemplateSpecializationDecl(Kind DK)
518 : CXXRecordDecl(DK, TTK_Struct, 0, SourceLocation(), 0, 0),
519 ExplicitInfo(0),
520 SpecializationKind(TSK_Undeclared) {
521}
522
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000523ClassTemplateSpecializationDecl *
Douglas Gregor13c85772010-05-06 00:28:52 +0000524ClassTemplateSpecializationDecl::Create(ASTContext &Context, TagKind TK,
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000525 DeclContext *DC, SourceLocation L,
526 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000527 const TemplateArgument *Args,
528 unsigned NumArgs,
Douglas Gregorcc636682009-02-17 23:15:12 +0000529 ClassTemplateSpecializationDecl *PrevDecl) {
Douglas Gregorcc636682009-02-17 23:15:12 +0000530 ClassTemplateSpecializationDecl *Result
Mike Stump1eb44332009-09-09 15:08:12 +0000531 = new (Context)ClassTemplateSpecializationDecl(Context,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000532 ClassTemplateSpecialization,
Douglas Gregor13c85772010-05-06 00:28:52 +0000533 TK, DC, L,
Douglas Gregor7e063902009-05-11 23:53:27 +0000534 SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000535 Args, NumArgs,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000536 PrevDecl);
Douglas Gregorcc636682009-02-17 23:15:12 +0000537 Context.getTypeDeclType(Result, PrevDecl);
538 return Result;
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000539}
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000540
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000541ClassTemplateSpecializationDecl *
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000542ClassTemplateSpecializationDecl::Create(ASTContext &Context, EmptyShell Empty) {
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000543 return
544 new (Context)ClassTemplateSpecializationDecl(ClassTemplateSpecialization);
545}
546
Douglas Gregor37d93e92009-08-02 23:24:31 +0000547ClassTemplateDecl *
Mike Stump1eb44332009-09-09 15:08:12 +0000548ClassTemplateSpecializationDecl::getSpecializedTemplate() const {
549 if (SpecializedPartialSpecialization *PartialSpec
Douglas Gregor37d93e92009-08-02 23:24:31 +0000550 = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
551 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
552 return SpecializedTemplate.get<ClassTemplateDecl*>();
553}
554
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000555//===----------------------------------------------------------------------===//
556// ClassTemplatePartialSpecializationDecl Implementation
557//===----------------------------------------------------------------------===//
558ClassTemplatePartialSpecializationDecl *
559ClassTemplatePartialSpecializationDecl::
Douglas Gregor13c85772010-05-06 00:28:52 +0000560Create(ASTContext &Context, TagKind TK,DeclContext *DC, SourceLocation L,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000561 TemplateParameterList *Params,
562 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000563 const TemplateArgument *Args,
564 unsigned NumArgs,
John McCalld5532b62009-11-23 01:53:49 +0000565 const TemplateArgumentListInfo &ArgInfos,
John McCall3cb0ebd2010-03-10 03:28:59 +0000566 QualType CanonInjectedType,
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000567 ClassTemplatePartialSpecializationDecl *PrevDecl,
568 unsigned SequenceNumber) {
John McCalld5532b62009-11-23 01:53:49 +0000569 unsigned N = ArgInfos.size();
John McCall833ca992009-10-29 08:12:44 +0000570 TemplateArgumentLoc *ClonedArgs = new (Context) TemplateArgumentLoc[N];
571 for (unsigned I = 0; I != N; ++I)
572 ClonedArgs[I] = ArgInfos[I];
573
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000574 ClassTemplatePartialSpecializationDecl *Result
Douglas Gregor13c85772010-05-06 00:28:52 +0000575 = new (Context)ClassTemplatePartialSpecializationDecl(Context, TK,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000576 DC, L, Params,
577 SpecializedTemplate,
Douglas Gregor910f8002010-11-07 23:05:16 +0000578 Args, NumArgs,
John McCall833ca992009-10-29 08:12:44 +0000579 ClonedArgs, N,
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000580 PrevDecl,
581 SequenceNumber);
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000582 Result->setSpecializationKind(TSK_ExplicitSpecialization);
John McCall3cb0ebd2010-03-10 03:28:59 +0000583
584 Context.getInjectedClassNameType(Result, CanonInjectedType);
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000585 return Result;
586}
John McCalldd4a3b02009-09-16 22:47:08 +0000587
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000588ClassTemplatePartialSpecializationDecl *
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000589ClassTemplatePartialSpecializationDecl::Create(ASTContext &Context,
590 EmptyShell Empty) {
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000591 return new (Context)ClassTemplatePartialSpecializationDecl();
592}
593
John McCalldd4a3b02009-09-16 22:47:08 +0000594//===----------------------------------------------------------------------===//
595// FriendTemplateDecl Implementation
596//===----------------------------------------------------------------------===//
597
598FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
599 DeclContext *DC,
600 SourceLocation L,
601 unsigned NParams,
602 TemplateParameterList **Params,
603 FriendUnion Friend,
604 SourceLocation FLoc) {
605 FriendTemplateDecl *Result
606 = new (Context) FriendTemplateDecl(DC, L, NParams, Params, Friend, FLoc);
607 return Result;
608}
Argyrios Kyrtzidis554e6aa2010-07-22 16:04:10 +0000609
610FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
611 EmptyShell Empty) {
612 return new (Context) FriendTemplateDecl(Empty);
613}