blob: 67eb11d2d0ffc7a72bd7c7c60904ed800608753c [file] [log] [blame]
Sebastian Redle2530ec2009-10-23 22:13:42 +00001//===--- DeclTemplate.cpp - Template Declaration AST Node Implementation --===//
Douglas Gregorded2d7b2009-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 Gregor8bf42052009-02-09 18:46:07 +000016#include "clang/AST/Expr.h"
Douglas Gregor85759112011-01-04 02:33:52 +000017#include "clang/AST/ExprCXX.h"
Douglas Gregorded2d7b2009-02-04 19:02:06 +000018#include "clang/AST/ASTContext.h"
John McCall0ad16662009-10-29 08:12:44 +000019#include "clang/AST/TypeLoc.h"
Argyrios Kyrtzidis402dbbb2010-10-28 07:38:42 +000020#include "clang/AST/ASTMutationListener.h"
Douglas Gregorded2d7b2009-02-04 19:02:06 +000021#include "clang/Basic/IdentifierTable.h"
22#include "llvm/ADT/STLExtras.h"
Douglas Gregor1ccc8412010-11-07 23:05:16 +000023#include <memory>
Douglas Gregorded2d7b2009-02-04 19:02:06 +000024using namespace clang;
25
26//===----------------------------------------------------------------------===//
27// TemplateParameterList Implementation
28//===----------------------------------------------------------------------===//
29
Douglas Gregorcd72ba92009-02-06 22:42:48 +000030TemplateParameterList::TemplateParameterList(SourceLocation TemplateLoc,
31 SourceLocation LAngleLoc,
Douglas Gregorbe999392009-09-15 16:23:51 +000032 NamedDecl **Params, unsigned NumParams,
Douglas Gregorcd72ba92009-02-06 22:42:48 +000033 SourceLocation RAngleLoc)
34 : TemplateLoc(TemplateLoc), LAngleLoc(LAngleLoc), RAngleLoc(RAngleLoc),
35 NumParams(NumParams) {
Douglas Gregorded2d7b2009-02-04 19:02:06 +000036 for (unsigned Idx = 0; Idx < NumParams; ++Idx)
37 begin()[Idx] = Params[Idx];
38}
39
40TemplateParameterList *
Jay Foad39c79802011-01-12 09:06:06 +000041TemplateParameterList::Create(const ASTContext &C, SourceLocation TemplateLoc,
Douglas Gregorbe999392009-09-15 16:23:51 +000042 SourceLocation LAngleLoc, NamedDecl **Params,
Douglas Gregorcd72ba92009-02-06 22:42:48 +000043 unsigned NumParams, SourceLocation RAngleLoc) {
Douglas Gregorbe999392009-09-15 16:23:51 +000044 unsigned Size = sizeof(TemplateParameterList)
45 + sizeof(NamedDecl *) * NumParams;
Douglas Gregorded2d7b2009-02-04 19:02:06 +000046 unsigned Align = llvm::AlignOf<TemplateParameterList>::Alignment;
47 void *Mem = C.Allocate(Size, Align);
Mike Stump11289f42009-09-09 15:08:12 +000048 return new (Mem) TemplateParameterList(TemplateLoc, LAngleLoc, Params,
Douglas Gregorcd72ba92009-02-06 22:42:48 +000049 NumParams, RAngleLoc);
Douglas Gregorded2d7b2009-02-04 19:02:06 +000050}
51
Douglas Gregorf8f86832009-02-11 18:16:40 +000052unsigned TemplateParameterList::getMinRequiredArguments() const {
Douglas Gregor0231d8d2011-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 Gregorf8f86832009-02-11 18:16:40 +000064 break;
Douglas Gregor0231d8d2011-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 Gregorf8f86832009-02-11 18:16:40 +000078 }
Douglas Gregor0231d8d2011-01-19 20:10:05 +000079
Douglas Gregorf8f86832009-02-11 18:16:40 +000080 return NumRequiredArgs;
81}
82
Douglas Gregor21610382009-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 Gregorded2d7b2009-02-04 19:02:06 +000098//===----------------------------------------------------------------------===//
Peter Collingbourne91b25b72010-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 Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000107 CommonBase *CommonPtr = First->newCommon(getASTContext());
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000108 First->CommonOrPrev = CommonPtr;
Peter Collingbourne2bf3d242010-07-29 16:12:01 +0000109 CommonPtr->Latest = First;
Peter Collingbourne91b25b72010-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 Collingbourne2bf3d242010-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 Collingbourne029fd692010-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 Collingbourneb498ed62010-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 Collingbourne91b25b72010-07-29 16:11:51 +0000154//===----------------------------------------------------------------------===//
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000155// FunctionTemplateDecl Implementation
156//===----------------------------------------------------------------------===//
157
Douglas Gregor1a809332010-05-23 18:26:36 +0000158void FunctionTemplateDecl::DeallocateCommon(void *Ptr) {
159 static_cast<Common *>(Ptr)->~Common();
160}
161
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000162FunctionTemplateDecl *FunctionTemplateDecl::Create(ASTContext &C,
163 DeclContext *DC,
164 SourceLocation L,
165 DeclarationName Name,
Douglas Gregor8f5d4422009-06-29 20:59:39 +0000166 TemplateParameterList *Params,
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000167 NamedDecl *Decl) {
168 return new (C) FunctionTemplateDecl(DC, L, Name, Params, Decl);
169}
170
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000171RedeclarableTemplateDecl::CommonBase *
172FunctionTemplateDecl::newCommon(ASTContext &C) {
173 Common *CommonPtr = new (C) Common;
174 C.AddDeallocation(DeallocateCommon, CommonPtr);
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000175 return CommonPtr;
176}
177
Argyrios Kyrtzidisdde57902010-07-20 13:59:58 +0000178FunctionDecl *
179FunctionTemplateDecl::findSpecialization(const TemplateArgument *Args,
180 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourneb498ed62010-07-30 17:09:04 +0000181 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidisdde57902010-07-20 13:59:58 +0000182}
183
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000184//===----------------------------------------------------------------------===//
185// ClassTemplateDecl Implementation
186//===----------------------------------------------------------------------===//
187
Douglas Gregor1a809332010-05-23 18:26:36 +0000188void ClassTemplateDecl::DeallocateCommon(void *Ptr) {
189 static_cast<Common *>(Ptr)->~Common();
190}
191
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000192ClassTemplateDecl *ClassTemplateDecl::Create(ASTContext &C,
193 DeclContext *DC,
194 SourceLocation L,
195 DeclarationName Name,
196 TemplateParameterList *Params,
Douglas Gregor90a1a652009-03-19 17:26:29 +0000197 NamedDecl *Decl,
198 ClassTemplateDecl *PrevDecl) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000199 ClassTemplateDecl *New = new (C) ClassTemplateDecl(DC, L, Name, Params, Decl);
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +0000200 New->setPreviousDeclaration(PrevDecl);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000201 return New;
Douglas Gregor90a1a652009-03-19 17:26:29 +0000202}
203
Douglas Gregor7e8c4e02010-10-27 22:21:36 +0000204void ClassTemplateDecl::LoadLazySpecializations() {
205 Common *CommonPtr = getCommonPtr();
206 if (CommonPtr->LazySpecializations) {
207 ASTContext &Context = getASTContext();
208 uint32_t *Specs = CommonPtr->LazySpecializations;
209 CommonPtr->LazySpecializations = 0;
210 for (uint32_t I = 0, N = *Specs++; I != N; ++I)
211 (void)Context.getExternalSource()->GetExternalDecl(Specs[I]);
212 }
213}
214
215llvm::FoldingSet<ClassTemplateSpecializationDecl> &
216ClassTemplateDecl::getSpecializations() {
217 LoadLazySpecializations();
218 return getCommonPtr()->Specializations;
219}
220
221llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &
222ClassTemplateDecl::getPartialSpecializations() {
223 LoadLazySpecializations();
224 return getCommonPtr()->PartialSpecializations;
225}
226
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000227RedeclarableTemplateDecl::CommonBase *
228ClassTemplateDecl::newCommon(ASTContext &C) {
229 Common *CommonPtr = new (C) Common;
230 C.AddDeallocation(DeallocateCommon, CommonPtr);
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000231 return CommonPtr;
232}
233
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000234ClassTemplateSpecializationDecl *
235ClassTemplateDecl::findSpecialization(const TemplateArgument *Args,
236 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourneb498ed62010-07-30 17:09:04 +0000237 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000238}
239
Argyrios Kyrtzidis402dbbb2010-10-28 07:38:42 +0000240void ClassTemplateDecl::AddSpecialization(ClassTemplateSpecializationDecl *D,
241 void *InsertPos) {
242 getSpecializations().InsertNode(D, InsertPos);
243 if (ASTMutationListener *L = getASTMutationListener())
244 L->AddedCXXTemplateSpecialization(this, D);
245}
246
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000247ClassTemplatePartialSpecializationDecl *
248ClassTemplateDecl::findPartialSpecialization(const TemplateArgument *Args,
249 unsigned NumArgs,
250 void *&InsertPos) {
Peter Collingbourneb498ed62010-07-30 17:09:04 +0000251 return findSpecializationImpl(getPartialSpecializations(), Args, NumArgs,
252 InsertPos);
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000253}
254
Argyrios Kyrtzidis402dbbb2010-10-28 07:38:42 +0000255void ClassTemplateDecl::AddPartialSpecialization(
256 ClassTemplatePartialSpecializationDecl *D,
257 void *InsertPos) {
258 getPartialSpecializations().InsertNode(D, InsertPos);
259 if (ASTMutationListener *L = getASTMutationListener())
260 L->AddedCXXTemplateSpecialization(this, D);
261}
262
Douglas Gregor407e9612010-04-30 05:56:50 +0000263void ClassTemplateDecl::getPartialSpecializations(
264 llvm::SmallVectorImpl<ClassTemplatePartialSpecializationDecl *> &PS) {
265 llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &PartialSpecs
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +0000266 = getPartialSpecializations();
Douglas Gregor407e9612010-04-30 05:56:50 +0000267 PS.clear();
268 PS.resize(PartialSpecs.size());
269 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
270 P = PartialSpecs.begin(), PEnd = PartialSpecs.end();
271 P != PEnd; ++P) {
272 assert(!PS[P->getSequenceNumber()]);
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000273 PS[P->getSequenceNumber()] = P->getMostRecentDeclaration();
Douglas Gregor407e9612010-04-30 05:56:50 +0000274 }
275}
276
Douglas Gregor15301382009-07-30 17:40:51 +0000277ClassTemplatePartialSpecializationDecl *
278ClassTemplateDecl::findPartialSpecialization(QualType T) {
279 ASTContext &Context = getASTContext();
280 typedef llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
281 partial_spec_iterator;
282 for (partial_spec_iterator P = getPartialSpecializations().begin(),
283 PEnd = getPartialSpecializations().end();
284 P != PEnd; ++P) {
John McCall2408e322010-04-27 00:57:59 +0000285 if (Context.hasSameType(P->getInjectedSpecializationType(), T))
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000286 return P->getMostRecentDeclaration();
287 }
288
289 return 0;
290}
291
292ClassTemplatePartialSpecializationDecl *
293ClassTemplateDecl::findPartialSpecInstantiatedFromMember(
294 ClassTemplatePartialSpecializationDecl *D) {
295 Decl *DCanon = D->getCanonicalDecl();
296 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
297 P = getPartialSpecializations().begin(),
298 PEnd = getPartialSpecializations().end();
299 P != PEnd; ++P) {
300 if (P->getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
301 return P->getMostRecentDeclaration();
Douglas Gregor15301382009-07-30 17:40:51 +0000302 }
Mike Stump11289f42009-09-09 15:08:12 +0000303
Douglas Gregor15301382009-07-30 17:40:51 +0000304 return 0;
305}
306
John McCalle78aac42010-03-10 03:28:59 +0000307QualType
Douglas Gregor9961ce92010-07-08 18:37:38 +0000308ClassTemplateDecl::getInjectedClassNameSpecialization() {
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +0000309 Common *CommonPtr = getCommonPtr();
Douglas Gregore362cea2009-05-10 22:57:19 +0000310 if (!CommonPtr->InjectedClassNameType.isNull())
311 return CommonPtr->InjectedClassNameType;
312
Douglas Gregor8092e802010-12-23 16:00:30 +0000313 // C++0x [temp.dep.type]p2:
314 // The template argument list of a primary template is a template argument
315 // list in which the nth template argument has the value of the nth template
316 // parameter of the class template. If the nth template parameter is a
317 // template parameter pack (14.5.3), the nth template argument is a pack
318 // expansion (14.5.3) whose pattern is the name of the template parameter
319 // pack.
Douglas Gregor9961ce92010-07-08 18:37:38 +0000320 ASTContext &Context = getASTContext();
Douglas Gregore362cea2009-05-10 22:57:19 +0000321 TemplateParameterList *Params = getTemplateParameters();
Douglas Gregore362cea2009-05-10 22:57:19 +0000322 llvm::SmallVector<TemplateArgument, 16> TemplateArgs;
Douglas Gregore362cea2009-05-10 22:57:19 +0000323 TemplateArgs.reserve(Params->size());
Mike Stump11289f42009-09-09 15:08:12 +0000324 for (TemplateParameterList::iterator Param = Params->begin(),
325 ParamEnd = Params->end();
Douglas Gregore362cea2009-05-10 22:57:19 +0000326 Param != ParamEnd; ++Param) {
Douglas Gregor8092e802010-12-23 16:00:30 +0000327 TemplateArgument Arg;
328 if (TemplateTypeParmDecl *TTP = dyn_cast<TemplateTypeParmDecl>(*Param)) {
329 QualType ArgType = Context.getTypeDeclType(TTP);
330 if (TTP->isParameterPack())
Douglas Gregor0dca5fd2011-01-14 17:04:44 +0000331 ArgType = Context.getPackExpansionType(ArgType,
332 llvm::Optional<unsigned>());
Douglas Gregor8092e802010-12-23 16:00:30 +0000333
334 Arg = TemplateArgument(ArgType);
Mike Stump11289f42009-09-09 15:08:12 +0000335 } else if (NonTypeTemplateParmDecl *NTTP =
Douglas Gregore362cea2009-05-10 22:57:19 +0000336 dyn_cast<NonTypeTemplateParmDecl>(*Param)) {
Chandler Carruth234c1292010-01-31 07:24:03 +0000337 Expr *E = new (Context) DeclRefExpr(NTTP,
Douglas Gregora8a089b2010-07-13 18:40:04 +0000338 NTTP->getType().getNonLValueExprType(Context),
John McCall7decc9e2010-11-18 06:31:45 +0000339 Expr::getValueKindForType(NTTP->getType()),
Douglas Gregored6c7442009-11-23 11:41:28 +0000340 NTTP->getLocation());
Douglas Gregor85759112011-01-04 02:33:52 +0000341
342 if (NTTP->isParameterPack())
343 E = new (Context) PackExpansionExpr(Context.DependentTy, E,
Douglas Gregorb8840002011-01-14 21:20:45 +0000344 NTTP->getLocation(),
345 llvm::Optional<unsigned>());
Douglas Gregor8092e802010-12-23 16:00:30 +0000346 Arg = TemplateArgument(E);
Mike Stump11289f42009-09-09 15:08:12 +0000347 } else {
Douglas Gregore362cea2009-05-10 22:57:19 +0000348 TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*Param);
Douglas Gregore1d60df2011-01-14 23:41:42 +0000349 if (TTP->isParameterPack())
350 Arg = TemplateArgument(TemplateName(TTP), llvm::Optional<unsigned>());
351 else
352 Arg = TemplateArgument(TemplateName(TTP));
Douglas Gregore362cea2009-05-10 22:57:19 +0000353 }
Douglas Gregor8092e802010-12-23 16:00:30 +0000354
Douglas Gregor74c6d192011-01-11 23:09:57 +0000355 if ((*Param)->isTemplateParameterPack())
356 Arg = TemplateArgument::CreatePackCopy(Context, &Arg, 1);
Douglas Gregor8092e802010-12-23 16:00:30 +0000357
358 TemplateArgs.push_back(Arg);
Douglas Gregore362cea2009-05-10 22:57:19 +0000359 }
360
Douglas Gregore362cea2009-05-10 22:57:19 +0000361 CommonPtr->InjectedClassNameType
Douglas Gregora8e02e72009-07-28 23:00:59 +0000362 = Context.getTemplateSpecializationType(TemplateName(this),
Douglas Gregore362cea2009-05-10 22:57:19 +0000363 &TemplateArgs[0],
Douglas Gregora8e02e72009-07-28 23:00:59 +0000364 TemplateArgs.size());
Douglas Gregore362cea2009-05-10 22:57:19 +0000365 return CommonPtr->InjectedClassNameType;
366}
367
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000368//===----------------------------------------------------------------------===//
369// TemplateTypeParm Allocation/Deallocation Method Implementations
370//===----------------------------------------------------------------------===//
371
372TemplateTypeParmDecl *
Jay Foad39c79802011-01-12 09:06:06 +0000373TemplateTypeParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000374 SourceLocation L, unsigned D, unsigned P,
Anders Carlssonfb1d7762009-06-12 22:23:22 +0000375 IdentifierInfo *Id, bool Typename,
376 bool ParameterPack) {
Douglas Gregor2ebcae12010-06-16 15:23:05 +0000377 QualType Type = C.getTemplateTypeParmType(D, P, ParameterPack, Id);
378 return new (C) TemplateTypeParmDecl(DC, L, Id, Typename, Type, ParameterPack);
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000379}
380
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +0000381TemplateTypeParmDecl *
Jay Foad39c79802011-01-12 09:06:06 +0000382TemplateTypeParmDecl::Create(const ASTContext &C, EmptyShell Empty) {
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +0000383 return new (C) TemplateTypeParmDecl(0, SourceLocation(), 0, false,
384 QualType(), false);
385}
386
John McCall0ad16662009-10-29 08:12:44 +0000387SourceLocation TemplateTypeParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnara1108e7b2010-05-20 10:00:11 +0000388 return DefaultArgument->getTypeLoc().getSourceRange().getBegin();
John McCall0ad16662009-10-29 08:12:44 +0000389}
390
Douglas Gregor21610382009-10-29 00:04:11 +0000391unsigned TemplateTypeParmDecl::getDepth() const {
392 return TypeForDecl->getAs<TemplateTypeParmType>()->getDepth();
393}
394
395unsigned TemplateTypeParmDecl::getIndex() const {
396 return TypeForDecl->getAs<TemplateTypeParmType>()->getIndex();
397}
398
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000399//===----------------------------------------------------------------------===//
400// NonTypeTemplateParmDecl Method Implementations
401//===----------------------------------------------------------------------===//
402
Douglas Gregor0231d8d2011-01-19 20:10:05 +0000403NonTypeTemplateParmDecl::NonTypeTemplateParmDecl(DeclContext *DC,
404 SourceLocation L, unsigned D,
405 unsigned P, IdentifierInfo *Id,
406 QualType T,
407 TypeSourceInfo *TInfo,
408 const QualType *ExpandedTypes,
409 unsigned NumExpandedTypes,
410 TypeSourceInfo **ExpandedTInfos)
John McCallf4cd4f92011-02-09 01:13:10 +0000411 : DeclaratorDecl(NonTypeTemplateParm, DC, L, Id, T, TInfo),
Douglas Gregor0231d8d2011-01-19 20:10:05 +0000412 TemplateParmPosition(D, P), DefaultArgumentAndInherited(0, false),
413 ParameterPack(true), ExpandedParameterPack(true),
414 NumExpandedTypes(NumExpandedTypes)
415{
416 if (ExpandedTypes && ExpandedTInfos) {
417 void **TypesAndInfos = reinterpret_cast<void **>(this + 1);
418 for (unsigned I = 0; I != NumExpandedTypes; ++I) {
419 TypesAndInfos[2*I] = ExpandedTypes[I].getAsOpaquePtr();
420 TypesAndInfos[2*I + 1] = ExpandedTInfos[I];
421 }
422 }
423}
424
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000425NonTypeTemplateParmDecl *
Jay Foad39c79802011-01-12 09:06:06 +0000426NonTypeTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000427 SourceLocation L, unsigned D, unsigned P,
428 IdentifierInfo *Id, QualType T,
Douglas Gregorda3cc0d2010-12-23 23:51:58 +0000429 bool ParameterPack, TypeSourceInfo *TInfo) {
430 return new (C) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, ParameterPack,
431 TInfo);
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000432}
433
Douglas Gregor0231d8d2011-01-19 20:10:05 +0000434NonTypeTemplateParmDecl *
435NonTypeTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
436 SourceLocation L, unsigned D, unsigned P,
437 IdentifierInfo *Id, QualType T,
438 TypeSourceInfo *TInfo,
439 const QualType *ExpandedTypes,
440 unsigned NumExpandedTypes,
441 TypeSourceInfo **ExpandedTInfos) {
442 unsigned Size = sizeof(NonTypeTemplateParmDecl)
443 + NumExpandedTypes * 2 * sizeof(void*);
444 void *Mem = C.Allocate(Size);
445 return new (Mem) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, TInfo,
446 ExpandedTypes, NumExpandedTypes,
447 ExpandedTInfos);
448}
449
Douglas Gregorb11aad82011-02-19 18:51:44 +0000450SourceLocation NonTypeTemplateParmDecl::getInnerLocStart() const {
451 SourceLocation Start = getTypeSpecStartLoc();
452 if (Start.isInvalid())
453 Start = getLocation();
454 return Start;
455}
456
John McCallf4cd4f92011-02-09 01:13:10 +0000457SourceRange NonTypeTemplateParmDecl::getSourceRange() const {
Abramo Bagnarae15d5532011-03-04 11:03:48 +0000458 SourceLocation End = getLocation();
459 if (hasDefaultArgument() && !defaultArgumentWasInherited())
460 End = getDefaultArgument()->getSourceRange().getEnd();
461 return SourceRange(getOuterLocStart(), End);
John McCallf4cd4f92011-02-09 01:13:10 +0000462}
463
Douglas Gregordba32632009-02-10 19:49:53 +0000464SourceLocation NonTypeTemplateParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnara656e3002010-06-09 09:26:05 +0000465 return hasDefaultArgument()
466 ? getDefaultArgument()->getSourceRange().getBegin()
467 : SourceLocation();
Douglas Gregordba32632009-02-10 19:49:53 +0000468}
469
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000470//===----------------------------------------------------------------------===//
471// TemplateTemplateParmDecl Method Implementations
472//===----------------------------------------------------------------------===//
473
474TemplateTemplateParmDecl *
Jay Foad39c79802011-01-12 09:06:06 +0000475TemplateTemplateParmDecl::Create(const ASTContext &C, DeclContext *DC,
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000476 SourceLocation L, unsigned D, unsigned P,
Douglas Gregorf5500772011-01-05 15:48:55 +0000477 bool ParameterPack, IdentifierInfo *Id,
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000478 TemplateParameterList *Params) {
Douglas Gregorf5500772011-01-05 15:48:55 +0000479 return new (C) TemplateTemplateParmDecl(DC, L, D, P, ParameterPack, Id,
480 Params);
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000481}
482
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000483//===----------------------------------------------------------------------===//
Douglas Gregord002c7b2009-05-11 23:53:27 +0000484// TemplateArgumentList Implementation
485//===----------------------------------------------------------------------===//
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000486TemplateArgumentList *
487TemplateArgumentList::CreateCopy(ASTContext &Context,
488 const TemplateArgument *Args,
489 unsigned NumArgs) {
490 std::size_t Size = sizeof(TemplateArgumentList)
491 + NumArgs * sizeof(TemplateArgument);
492 void *Mem = Context.Allocate(Size);
493 TemplateArgument *StoredArgs
494 = reinterpret_cast<TemplateArgument *>(
495 static_cast<TemplateArgumentList *>(Mem) + 1);
496 std::uninitialized_copy(Args, Args + NumArgs, StoredArgs);
497 return new (Mem) TemplateArgumentList(StoredArgs, NumArgs, true);
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000498}
499
Douglas Gregord002c7b2009-05-11 23:53:27 +0000500//===----------------------------------------------------------------------===//
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000501// ClassTemplateSpecializationDecl Implementation
502//===----------------------------------------------------------------------===//
503ClassTemplateSpecializationDecl::
Douglas Gregore9029562010-05-06 00:28:52 +0000504ClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, TagKind TK,
Douglas Gregord002c7b2009-05-11 23:53:27 +0000505 DeclContext *DC, SourceLocation L,
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000506 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000507 const TemplateArgument *Args,
508 unsigned NumArgs,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +0000509 ClassTemplateSpecializationDecl *PrevDecl)
Douglas Gregore9029562010-05-06 00:28:52 +0000510 : CXXRecordDecl(DK, TK, DC, L,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +0000511 SpecializedTemplate->getIdentifier(),
512 PrevDecl),
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000513 SpecializedTemplate(SpecializedTemplate),
Abramo Bagnara8075c852010-06-12 07:44:57 +0000514 ExplicitInfo(0),
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000515 TemplateArgs(TemplateArgumentList::CreateCopy(Context, Args, NumArgs)),
Douglas Gregord002c7b2009-05-11 23:53:27 +0000516 SpecializationKind(TSK_Undeclared) {
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000517}
Mike Stump11289f42009-09-09 15:08:12 +0000518
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000519ClassTemplateSpecializationDecl::ClassTemplateSpecializationDecl(Kind DK)
520 : CXXRecordDecl(DK, TTK_Struct, 0, SourceLocation(), 0, 0),
521 ExplicitInfo(0),
522 SpecializationKind(TSK_Undeclared) {
523}
524
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000525ClassTemplateSpecializationDecl *
Douglas Gregore9029562010-05-06 00:28:52 +0000526ClassTemplateSpecializationDecl::Create(ASTContext &Context, TagKind TK,
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000527 DeclContext *DC, SourceLocation L,
528 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000529 const TemplateArgument *Args,
530 unsigned NumArgs,
Douglas Gregor67a65642009-02-17 23:15:12 +0000531 ClassTemplateSpecializationDecl *PrevDecl) {
Douglas Gregor67a65642009-02-17 23:15:12 +0000532 ClassTemplateSpecializationDecl *Result
Mike Stump11289f42009-09-09 15:08:12 +0000533 = new (Context)ClassTemplateSpecializationDecl(Context,
Douglas Gregor2373c592009-05-31 09:31:02 +0000534 ClassTemplateSpecialization,
Douglas Gregore9029562010-05-06 00:28:52 +0000535 TK, DC, L,
Douglas Gregord002c7b2009-05-11 23:53:27 +0000536 SpecializedTemplate,
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000537 Args, NumArgs,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +0000538 PrevDecl);
Douglas Gregor67a65642009-02-17 23:15:12 +0000539 Context.getTypeDeclType(Result, PrevDecl);
540 return Result;
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000541}
Douglas Gregor2373c592009-05-31 09:31:02 +0000542
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000543ClassTemplateSpecializationDecl *
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +0000544ClassTemplateSpecializationDecl::Create(ASTContext &Context, EmptyShell Empty) {
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000545 return
546 new (Context)ClassTemplateSpecializationDecl(ClassTemplateSpecialization);
547}
548
Douglas Gregorb11aad82011-02-19 18:51:44 +0000549void
550ClassTemplateSpecializationDecl::getNameForDiagnostic(std::string &S,
551 const PrintingPolicy &Policy,
552 bool Qualified) const {
553 NamedDecl::getNameForDiagnostic(S, Policy, Qualified);
554
555 const TemplateArgumentList &TemplateArgs = getTemplateArgs();
556 S += TemplateSpecializationType::PrintTemplateArgumentList(
557 TemplateArgs.data(),
558 TemplateArgs.size(),
559 Policy);
560}
561
Douglas Gregor9dc8bd32009-08-02 23:24:31 +0000562ClassTemplateDecl *
Mike Stump11289f42009-09-09 15:08:12 +0000563ClassTemplateSpecializationDecl::getSpecializedTemplate() const {
564 if (SpecializedPartialSpecialization *PartialSpec
Douglas Gregor9dc8bd32009-08-02 23:24:31 +0000565 = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
566 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
567 return SpecializedTemplate.get<ClassTemplateDecl*>();
568}
569
Douglas Gregor2373c592009-05-31 09:31:02 +0000570//===----------------------------------------------------------------------===//
571// ClassTemplatePartialSpecializationDecl Implementation
572//===----------------------------------------------------------------------===//
573ClassTemplatePartialSpecializationDecl *
574ClassTemplatePartialSpecializationDecl::
Douglas Gregore9029562010-05-06 00:28:52 +0000575Create(ASTContext &Context, TagKind TK,DeclContext *DC, SourceLocation L,
Douglas Gregor2373c592009-05-31 09:31:02 +0000576 TemplateParameterList *Params,
577 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000578 const TemplateArgument *Args,
579 unsigned NumArgs,
John McCall6b51f282009-11-23 01:53:49 +0000580 const TemplateArgumentListInfo &ArgInfos,
John McCalle78aac42010-03-10 03:28:59 +0000581 QualType CanonInjectedType,
Douglas Gregor407e9612010-04-30 05:56:50 +0000582 ClassTemplatePartialSpecializationDecl *PrevDecl,
583 unsigned SequenceNumber) {
John McCall6b51f282009-11-23 01:53:49 +0000584 unsigned N = ArgInfos.size();
John McCall0ad16662009-10-29 08:12:44 +0000585 TemplateArgumentLoc *ClonedArgs = new (Context) TemplateArgumentLoc[N];
586 for (unsigned I = 0; I != N; ++I)
587 ClonedArgs[I] = ArgInfos[I];
588
Douglas Gregor2373c592009-05-31 09:31:02 +0000589 ClassTemplatePartialSpecializationDecl *Result
Douglas Gregore9029562010-05-06 00:28:52 +0000590 = new (Context)ClassTemplatePartialSpecializationDecl(Context, TK,
Douglas Gregor2373c592009-05-31 09:31:02 +0000591 DC, L, Params,
592 SpecializedTemplate,
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000593 Args, NumArgs,
John McCall0ad16662009-10-29 08:12:44 +0000594 ClonedArgs, N,
Douglas Gregor407e9612010-04-30 05:56:50 +0000595 PrevDecl,
596 SequenceNumber);
Douglas Gregor2373c592009-05-31 09:31:02 +0000597 Result->setSpecializationKind(TSK_ExplicitSpecialization);
John McCalle78aac42010-03-10 03:28:59 +0000598
599 Context.getInjectedClassNameType(Result, CanonInjectedType);
Douglas Gregor2373c592009-05-31 09:31:02 +0000600 return Result;
601}
John McCall11083da2009-09-16 22:47:08 +0000602
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000603ClassTemplatePartialSpecializationDecl *
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +0000604ClassTemplatePartialSpecializationDecl::Create(ASTContext &Context,
605 EmptyShell Empty) {
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000606 return new (Context)ClassTemplatePartialSpecializationDecl();
607}
608
John McCall11083da2009-09-16 22:47:08 +0000609//===----------------------------------------------------------------------===//
610// FriendTemplateDecl Implementation
611//===----------------------------------------------------------------------===//
612
613FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
614 DeclContext *DC,
615 SourceLocation L,
616 unsigned NParams,
617 TemplateParameterList **Params,
618 FriendUnion Friend,
619 SourceLocation FLoc) {
620 FriendTemplateDecl *Result
621 = new (Context) FriendTemplateDecl(DC, L, NParams, Params, Friend, FLoc);
622 return Result;
623}
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +0000624
625FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
626 EmptyShell Empty) {
627 return new (Context) FriendTemplateDecl(Empty);
628}