blob: e69338a7730d2daca59640cfe6b8325a11835050 [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 Gregoraaba5e32009-02-04 19:02:06 +000017#include "clang/AST/ASTContext.h"
John McCall833ca992009-10-29 08:12:44 +000018#include "clang/AST/TypeLoc.h"
Douglas Gregoraaba5e32009-02-04 19:02:06 +000019#include "clang/Basic/IdentifierTable.h"
20#include "llvm/ADT/STLExtras.h"
21using namespace clang;
22
23//===----------------------------------------------------------------------===//
24// TemplateParameterList Implementation
25//===----------------------------------------------------------------------===//
26
Douglas Gregorddc29e12009-02-06 22:42:48 +000027TemplateParameterList::TemplateParameterList(SourceLocation TemplateLoc,
28 SourceLocation LAngleLoc,
Douglas Gregorbf4ea562009-09-15 16:23:51 +000029 NamedDecl **Params, unsigned NumParams,
Douglas Gregorddc29e12009-02-06 22:42:48 +000030 SourceLocation RAngleLoc)
31 : TemplateLoc(TemplateLoc), LAngleLoc(LAngleLoc), RAngleLoc(RAngleLoc),
32 NumParams(NumParams) {
Douglas Gregoraaba5e32009-02-04 19:02:06 +000033 for (unsigned Idx = 0; Idx < NumParams; ++Idx)
34 begin()[Idx] = Params[Idx];
35}
36
37TemplateParameterList *
Douglas Gregorddc29e12009-02-06 22:42:48 +000038TemplateParameterList::Create(ASTContext &C, SourceLocation TemplateLoc,
Douglas Gregorbf4ea562009-09-15 16:23:51 +000039 SourceLocation LAngleLoc, NamedDecl **Params,
Douglas Gregorddc29e12009-02-06 22:42:48 +000040 unsigned NumParams, SourceLocation RAngleLoc) {
Douglas Gregorbf4ea562009-09-15 16:23:51 +000041 unsigned Size = sizeof(TemplateParameterList)
42 + sizeof(NamedDecl *) * NumParams;
Douglas Gregoraaba5e32009-02-04 19:02:06 +000043 unsigned Align = llvm::AlignOf<TemplateParameterList>::Alignment;
44 void *Mem = C.Allocate(Size, Align);
Mike Stump1eb44332009-09-09 15:08:12 +000045 return new (Mem) TemplateParameterList(TemplateLoc, LAngleLoc, Params,
Douglas Gregorddc29e12009-02-06 22:42:48 +000046 NumParams, RAngleLoc);
Douglas Gregoraaba5e32009-02-04 19:02:06 +000047}
48
Douglas Gregor62cb18d2009-02-11 18:16:40 +000049unsigned TemplateParameterList::getMinRequiredArguments() const {
50 unsigned NumRequiredArgs = size();
Mike Stump1eb44332009-09-09 15:08:12 +000051 iterator Param = const_cast<TemplateParameterList *>(this)->end(),
Douglas Gregor62cb18d2009-02-11 18:16:40 +000052 ParamBegin = const_cast<TemplateParameterList *>(this)->begin();
53 while (Param != ParamBegin) {
54 --Param;
Mike Stump1eb44332009-09-09 15:08:12 +000055
Anders Carlsson0ceffb52009-06-13 02:08:00 +000056 if (!(*Param)->isTemplateParameterPack() &&
Mike Stump1eb44332009-09-09 15:08:12 +000057 !(isa<TemplateTypeParmDecl>(*Param) &&
Douglas Gregor62cb18d2009-02-11 18:16:40 +000058 cast<TemplateTypeParmDecl>(*Param)->hasDefaultArgument()) &&
59 !(isa<NonTypeTemplateParmDecl>(*Param) &&
60 cast<NonTypeTemplateParmDecl>(*Param)->hasDefaultArgument()) &&
61 !(isa<TemplateTemplateParmDecl>(*Param) &&
62 cast<TemplateTemplateParmDecl>(*Param)->hasDefaultArgument()))
63 break;
Mike Stump1eb44332009-09-09 15:08:12 +000064
Douglas Gregor62cb18d2009-02-11 18:16:40 +000065 --NumRequiredArgs;
66 }
67
68 return NumRequiredArgs;
69}
70
Douglas Gregored9c0f92009-10-29 00:04:11 +000071unsigned TemplateParameterList::getDepth() const {
72 if (size() == 0)
73 return 0;
74
75 const NamedDecl *FirstParm = getParam(0);
76 if (const TemplateTypeParmDecl *TTP
77 = dyn_cast<TemplateTypeParmDecl>(FirstParm))
78 return TTP->getDepth();
79 else if (const NonTypeTemplateParmDecl *NTTP
80 = dyn_cast<NonTypeTemplateParmDecl>(FirstParm))
81 return NTTP->getDepth();
82 else
83 return cast<TemplateTemplateParmDecl>(FirstParm)->getDepth();
84}
85
Douglas Gregoraaba5e32009-02-04 19:02:06 +000086//===----------------------------------------------------------------------===//
Peter Collingbourne9eabeba2010-07-29 16:11:51 +000087// RedeclarableTemplateDecl Implementation
88//===----------------------------------------------------------------------===//
89
90RedeclarableTemplateDecl::CommonBase *RedeclarableTemplateDecl::getCommonPtr() {
91 // Find the first declaration of this function template.
92 RedeclarableTemplateDecl *First = getCanonicalDecl();
93
94 if (First->CommonOrPrev.isNull()) {
95 CommonBase *CommonPtr = First->newCommon();
96 First->CommonOrPrev = CommonPtr;
Peter Collingbourne8a798a72010-07-29 16:12:01 +000097 CommonPtr->Latest = First;
Peter Collingbourne9eabeba2010-07-29 16:11:51 +000098 }
99 return First->CommonOrPrev.get<CommonBase*>();
100}
101
102
103RedeclarableTemplateDecl *RedeclarableTemplateDecl::getCanonicalDeclImpl() {
104 RedeclarableTemplateDecl *Tmpl = this;
105 while (Tmpl->getPreviousDeclaration())
106 Tmpl = Tmpl->getPreviousDeclaration();
107 return Tmpl;
108}
109
Peter Collingbourne8a798a72010-07-29 16:12:01 +0000110void RedeclarableTemplateDecl::setPreviousDeclarationImpl(
111 RedeclarableTemplateDecl *Prev) {
112 if (Prev) {
113 CommonBase *Common = Prev->getCommonPtr();
114 Prev = Common->Latest;
115 Common->Latest = this;
116 CommonOrPrev = Prev;
117 } else {
118 assert(CommonOrPrev.is<CommonBase*>() && "Cannot reset TemplateDecl Prev");
119 }
120}
121
Peter Collingbournef88718e2010-07-29 16:12:09 +0000122RedeclarableTemplateDecl *RedeclarableTemplateDecl::getNextRedeclaration() {
123 if (CommonOrPrev.is<RedeclarableTemplateDecl*>())
124 return CommonOrPrev.get<RedeclarableTemplateDecl*>();
125 CommonBase *Common = CommonOrPrev.get<CommonBase*>();
126 return Common ? Common->Latest : this;
127}
128
Peter Collingbourne40485902010-07-30 17:09:04 +0000129template <class EntryType>
130typename RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::DeclType*
131RedeclarableTemplateDecl::findSpecializationImpl(
132 llvm::FoldingSet<EntryType> &Specs,
133 const TemplateArgument *Args, unsigned NumArgs,
134 void *&InsertPos) {
135 typedef SpecEntryTraits<EntryType> SETraits;
136 llvm::FoldingSetNodeID ID;
137 EntryType::Profile(ID,Args,NumArgs, getASTContext());
138 EntryType *Entry = Specs.FindNodeOrInsertPos(ID, InsertPos);
139 return Entry ? SETraits::getMostRecentDeclaration(Entry) : 0;
140}
141
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000142//===----------------------------------------------------------------------===//
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000143// FunctionTemplateDecl Implementation
144//===----------------------------------------------------------------------===//
145
Douglas Gregor00545312010-05-23 18:26:36 +0000146void FunctionTemplateDecl::DeallocateCommon(void *Ptr) {
147 static_cast<Common *>(Ptr)->~Common();
148}
149
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000150FunctionTemplateDecl *FunctionTemplateDecl::Create(ASTContext &C,
151 DeclContext *DC,
152 SourceLocation L,
153 DeclarationName Name,
Douglas Gregor127102b2009-06-29 20:59:39 +0000154 TemplateParameterList *Params,
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000155 NamedDecl *Decl) {
156 return new (C) FunctionTemplateDecl(DC, L, Name, Params, Decl);
157}
158
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000159RedeclarableTemplateDecl::CommonBase *FunctionTemplateDecl::newCommon() {
160 Common *CommonPtr = new (getASTContext()) Common;
161 getASTContext().AddDeallocation(DeallocateCommon, CommonPtr);
162 return CommonPtr;
163}
164
Argyrios Kyrtzidis2c853e42010-07-20 13:59:58 +0000165FunctionDecl *
166FunctionTemplateDecl::findSpecialization(const TemplateArgument *Args,
167 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000168 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidis2c853e42010-07-20 13:59:58 +0000169}
170
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000171//===----------------------------------------------------------------------===//
172// ClassTemplateDecl Implementation
173//===----------------------------------------------------------------------===//
174
Douglas Gregor00545312010-05-23 18:26:36 +0000175void ClassTemplateDecl::DeallocateCommon(void *Ptr) {
176 static_cast<Common *>(Ptr)->~Common();
177}
178
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000179ClassTemplateDecl *ClassTemplateDecl::Create(ASTContext &C,
180 DeclContext *DC,
181 SourceLocation L,
182 DeclarationName Name,
183 TemplateParameterList *Params,
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000184 NamedDecl *Decl,
185 ClassTemplateDecl *PrevDecl) {
Argyrios Kyrtzidis8731ca72010-06-19 19:29:09 +0000186 ClassTemplateDecl *New = new (C) ClassTemplateDecl(DC, L, Name, Params, Decl);
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000187 New->setPreviousDeclaration(PrevDecl);
Argyrios Kyrtzidis8731ca72010-06-19 19:29:09 +0000188 return New;
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000189}
190
Peter Collingbourne9eabeba2010-07-29 16:11:51 +0000191RedeclarableTemplateDecl::CommonBase *ClassTemplateDecl::newCommon() {
192 Common *CommonPtr = new (getASTContext()) Common;
193 getASTContext().AddDeallocation(DeallocateCommon, CommonPtr);
194 return CommonPtr;
195}
196
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000197ClassTemplateSpecializationDecl *
198ClassTemplateDecl::findSpecialization(const TemplateArgument *Args,
199 unsigned NumArgs, void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000200 return findSpecializationImpl(getSpecializations(), Args, NumArgs, InsertPos);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000201}
202
203ClassTemplatePartialSpecializationDecl *
204ClassTemplateDecl::findPartialSpecialization(const TemplateArgument *Args,
205 unsigned NumArgs,
206 void *&InsertPos) {
Peter Collingbourne40485902010-07-30 17:09:04 +0000207 return findSpecializationImpl(getPartialSpecializations(), Args, NumArgs,
208 InsertPos);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000209}
210
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000211void ClassTemplateDecl::getPartialSpecializations(
212 llvm::SmallVectorImpl<ClassTemplatePartialSpecializationDecl *> &PS) {
213 llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &PartialSpecs
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000214 = getPartialSpecializations();
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000215 PS.clear();
216 PS.resize(PartialSpecs.size());
217 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
218 P = PartialSpecs.begin(), PEnd = PartialSpecs.end();
219 P != PEnd; ++P) {
220 assert(!PS[P->getSequenceNumber()]);
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000221 PS[P->getSequenceNumber()] = P->getMostRecentDeclaration();
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000222 }
223}
224
Douglas Gregorb88e8882009-07-30 17:40:51 +0000225ClassTemplatePartialSpecializationDecl *
226ClassTemplateDecl::findPartialSpecialization(QualType T) {
227 ASTContext &Context = getASTContext();
228 typedef llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
229 partial_spec_iterator;
230 for (partial_spec_iterator P = getPartialSpecializations().begin(),
231 PEnd = getPartialSpecializations().end();
232 P != PEnd; ++P) {
John McCall31f17ec2010-04-27 00:57:59 +0000233 if (Context.hasSameType(P->getInjectedSpecializationType(), T))
Argyrios Kyrtzidiscc0b1bc2010-07-20 13:59:28 +0000234 return P->getMostRecentDeclaration();
235 }
236
237 return 0;
238}
239
240ClassTemplatePartialSpecializationDecl *
241ClassTemplateDecl::findPartialSpecInstantiatedFromMember(
242 ClassTemplatePartialSpecializationDecl *D) {
243 Decl *DCanon = D->getCanonicalDecl();
244 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
245 P = getPartialSpecializations().begin(),
246 PEnd = getPartialSpecializations().end();
247 P != PEnd; ++P) {
248 if (P->getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
249 return P->getMostRecentDeclaration();
Douglas Gregorb88e8882009-07-30 17:40:51 +0000250 }
Mike Stump1eb44332009-09-09 15:08:12 +0000251
Douglas Gregorb88e8882009-07-30 17:40:51 +0000252 return 0;
253}
254
John McCall3cb0ebd2010-03-10 03:28:59 +0000255QualType
Douglas Gregor24bae922010-07-08 18:37:38 +0000256ClassTemplateDecl::getInjectedClassNameSpecialization() {
Argyrios Kyrtzidis5bf1bdc2010-06-21 10:57:41 +0000257 Common *CommonPtr = getCommonPtr();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000258 if (!CommonPtr->InjectedClassNameType.isNull())
259 return CommonPtr->InjectedClassNameType;
260
261 // FIXME: n2800 14.6.1p1 should say how the template arguments
262 // corresponding to template parameter packs should be pack
263 // expansions. We already say that in 14.6.2.1p2, so it would be
264 // better to fix that redundancy.
Douglas Gregor24bae922010-07-08 18:37:38 +0000265 ASTContext &Context = getASTContext();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000266 TemplateParameterList *Params = getTemplateParameters();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000267 llvm::SmallVector<TemplateArgument, 16> TemplateArgs;
Douglas Gregor7da97d02009-05-10 22:57:19 +0000268 TemplateArgs.reserve(Params->size());
Mike Stump1eb44332009-09-09 15:08:12 +0000269 for (TemplateParameterList::iterator Param = Params->begin(),
270 ParamEnd = Params->end();
Douglas Gregor7da97d02009-05-10 22:57:19 +0000271 Param != ParamEnd; ++Param) {
272 if (isa<TemplateTypeParmDecl>(*Param)) {
273 QualType ParamType = Context.getTypeDeclType(cast<TypeDecl>(*Param));
John McCall833ca992009-10-29 08:12:44 +0000274 TemplateArgs.push_back(TemplateArgument(ParamType));
Mike Stump1eb44332009-09-09 15:08:12 +0000275 } else if (NonTypeTemplateParmDecl *NTTP =
Douglas Gregor7da97d02009-05-10 22:57:19 +0000276 dyn_cast<NonTypeTemplateParmDecl>(*Param)) {
Chandler Carruthb7de1812010-01-31 07:24:03 +0000277 Expr *E = new (Context) DeclRefExpr(NTTP,
Douglas Gregor63982352010-07-13 18:40:04 +0000278 NTTP->getType().getNonLValueExprType(Context),
Douglas Gregor0da76df2009-11-23 11:41:28 +0000279 NTTP->getLocation());
Douglas Gregor7da97d02009-05-10 22:57:19 +0000280 TemplateArgs.push_back(TemplateArgument(E));
Mike Stump1eb44332009-09-09 15:08:12 +0000281 } else {
Douglas Gregor7da97d02009-05-10 22:57:19 +0000282 TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*Param);
Douglas Gregor788cd062009-11-11 01:00:40 +0000283 TemplateArgs.push_back(TemplateArgument(TemplateName(TTP)));
Douglas Gregor7da97d02009-05-10 22:57:19 +0000284 }
285 }
286
Douglas Gregor7da97d02009-05-10 22:57:19 +0000287 CommonPtr->InjectedClassNameType
Douglas Gregor1275ae02009-07-28 23:00:59 +0000288 = Context.getTemplateSpecializationType(TemplateName(this),
Douglas Gregor7da97d02009-05-10 22:57:19 +0000289 &TemplateArgs[0],
Douglas Gregor1275ae02009-07-28 23:00:59 +0000290 TemplateArgs.size());
Douglas Gregor7da97d02009-05-10 22:57:19 +0000291 return CommonPtr->InjectedClassNameType;
292}
293
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000294//===----------------------------------------------------------------------===//
295// TemplateTypeParm Allocation/Deallocation Method Implementations
296//===----------------------------------------------------------------------===//
297
298TemplateTypeParmDecl *
299TemplateTypeParmDecl::Create(ASTContext &C, DeclContext *DC,
300 SourceLocation L, unsigned D, unsigned P,
Anders Carlsson6d845ae2009-06-12 22:23:22 +0000301 IdentifierInfo *Id, bool Typename,
302 bool ParameterPack) {
Douglas Gregorefed5c82010-06-16 15:23:05 +0000303 QualType Type = C.getTemplateTypeParmType(D, P, ParameterPack, Id);
304 return new (C) TemplateTypeParmDecl(DC, L, Id, Typename, Type, ParameterPack);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000305}
306
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000307TemplateTypeParmDecl *
308TemplateTypeParmDecl::Create(ASTContext &C, EmptyShell Empty) {
309 return new (C) TemplateTypeParmDecl(0, SourceLocation(), 0, false,
310 QualType(), false);
311}
312
John McCall833ca992009-10-29 08:12:44 +0000313SourceLocation TemplateTypeParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnarabd054db2010-05-20 10:00:11 +0000314 return DefaultArgument->getTypeLoc().getSourceRange().getBegin();
John McCall833ca992009-10-29 08:12:44 +0000315}
316
Douglas Gregored9c0f92009-10-29 00:04:11 +0000317unsigned TemplateTypeParmDecl::getDepth() const {
318 return TypeForDecl->getAs<TemplateTypeParmType>()->getDepth();
319}
320
321unsigned TemplateTypeParmDecl::getIndex() const {
322 return TypeForDecl->getAs<TemplateTypeParmType>()->getIndex();
323}
324
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000325//===----------------------------------------------------------------------===//
326// NonTypeTemplateParmDecl Method Implementations
327//===----------------------------------------------------------------------===//
328
329NonTypeTemplateParmDecl *
330NonTypeTemplateParmDecl::Create(ASTContext &C, DeclContext *DC,
331 SourceLocation L, unsigned D, unsigned P,
332 IdentifierInfo *Id, QualType T,
John McCalla93c9342009-12-07 02:54:59 +0000333 TypeSourceInfo *TInfo) {
334 return new (C) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, TInfo);
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000335}
336
Douglas Gregord684b002009-02-10 19:49:53 +0000337SourceLocation NonTypeTemplateParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnarad92f7a22010-06-09 09:26:05 +0000338 return hasDefaultArgument()
339 ? getDefaultArgument()->getSourceRange().getBegin()
340 : SourceLocation();
Douglas Gregord684b002009-02-10 19:49:53 +0000341}
342
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000343//===----------------------------------------------------------------------===//
344// TemplateTemplateParmDecl Method Implementations
345//===----------------------------------------------------------------------===//
346
347TemplateTemplateParmDecl *
348TemplateTemplateParmDecl::Create(ASTContext &C, DeclContext *DC,
349 SourceLocation L, unsigned D, unsigned P,
350 IdentifierInfo *Id,
351 TemplateParameterList *Params) {
352 return new (C) TemplateTemplateParmDecl(DC, L, D, P, Id, Params);
353}
354
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000355//===----------------------------------------------------------------------===//
Anders Carlsson9ba41642009-06-05 05:31:27 +0000356// TemplateArgumentListBuilder Implementation
357//===----------------------------------------------------------------------===//
Anders Carlssonfb250522009-06-23 01:26:57 +0000358
Chris Lattner98d279b2010-05-20 00:25:36 +0000359void TemplateArgumentListBuilder::Append(const TemplateArgument &Arg) {
360 assert((Arg.getKind() != TemplateArgument::Type ||
361 Arg.getAsType().isCanonical()) && "Type must be canonical!");
362 assert(FlatArgs.size() < MaxFlatArgs && "Argument list builder is full!");
Mike Stump1eb44332009-09-09 15:08:12 +0000363 assert(!StructuredArgs &&
Anders Carlssonfb250522009-06-23 01:26:57 +0000364 "Can't append arguments when an argument pack has been added!");
Mike Stump1eb44332009-09-09 15:08:12 +0000365
Chris Lattner98d279b2010-05-20 00:25:36 +0000366 FlatArgs.push_back(Arg);
Anders Carlsson9ba41642009-06-05 05:31:27 +0000367}
368
Anders Carlssonfb250522009-06-23 01:26:57 +0000369void TemplateArgumentListBuilder::BeginPack() {
370 assert(!AddingToPack && "Already adding to pack!");
371 assert(!StructuredArgs && "Argument list already contains a pack!");
Mike Stump1eb44332009-09-09 15:08:12 +0000372
Anders Carlssonfb250522009-06-23 01:26:57 +0000373 AddingToPack = true;
Chris Lattner98d279b2010-05-20 00:25:36 +0000374 PackBeginIndex = FlatArgs.size();
Anders Carlsson67e33202009-06-13 00:08:58 +0000375}
376
Anders Carlssonfb250522009-06-23 01:26:57 +0000377void TemplateArgumentListBuilder::EndPack() {
378 assert(AddingToPack && "Not adding to pack!");
379 assert(!StructuredArgs && "Argument list already contains a pack!");
Mike Stump1eb44332009-09-09 15:08:12 +0000380
Anders Carlssonfb250522009-06-23 01:26:57 +0000381 AddingToPack = false;
Anders Carlsson3b36b662009-06-15 17:56:45 +0000382
Chris Lattner304d0fa2010-05-20 00:26:28 +0000383 // FIXME: This is a memory leak!
Anders Carlssonfb250522009-06-23 01:26:57 +0000384 StructuredArgs = new TemplateArgument[MaxStructuredArgs];
Mike Stump1eb44332009-09-09 15:08:12 +0000385
Anders Carlssonfb250522009-06-23 01:26:57 +0000386 // First copy the flat entries over to the list (if any)
387 for (unsigned I = 0; I != PackBeginIndex; ++I) {
388 NumStructuredArgs++;
389 StructuredArgs[I] = FlatArgs[I];
390 }
Mike Stump1eb44332009-09-09 15:08:12 +0000391
Anders Carlssonfb250522009-06-23 01:26:57 +0000392 // Next, set the pack.
393 TemplateArgument *PackArgs = 0;
394 unsigned NumPackArgs = NumFlatArgs - PackBeginIndex;
Chris Lattner98d279b2010-05-20 00:25:36 +0000395 // FIXME: NumPackArgs shouldn't be negative here???
Anders Carlssonfb250522009-06-23 01:26:57 +0000396 if (NumPackArgs)
Chris Lattner98d279b2010-05-20 00:25:36 +0000397 PackArgs = FlatArgs.data()+PackBeginIndex;
Mike Stump1eb44332009-09-09 15:08:12 +0000398
399 StructuredArgs[NumStructuredArgs++].setArgumentPack(PackArgs, NumPackArgs,
Anders Carlssonfb250522009-06-23 01:26:57 +0000400 /*CopyArgs=*/false);
401}
402
Anders Carlsson9ba41642009-06-05 05:31:27 +0000403//===----------------------------------------------------------------------===//
Douglas Gregor7e063902009-05-11 23:53:27 +0000404// TemplateArgumentList Implementation
405//===----------------------------------------------------------------------===//
406TemplateArgumentList::TemplateArgumentList(ASTContext &Context,
Anders Carlssone9c904b2009-06-05 04:47:51 +0000407 TemplateArgumentListBuilder &Builder,
Anders Carlssonfb250522009-06-23 01:26:57 +0000408 bool TakeArgs)
Mike Stump1eb44332009-09-09 15:08:12 +0000409 : FlatArguments(Builder.getFlatArguments(), TakeArgs),
410 NumFlatArguments(Builder.flatSize()),
Anders Carlssonfb250522009-06-23 01:26:57 +0000411 StructuredArguments(Builder.getStructuredArguments(), TakeArgs),
412 NumStructuredArguments(Builder.structuredSize()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000413
Anders Carlssonfb250522009-06-23 01:26:57 +0000414 if (!TakeArgs)
415 return;
Mike Stump1eb44332009-09-09 15:08:12 +0000416
Chris Lattner56ef5502010-05-20 00:11:47 +0000417 // If this does take ownership of the arguments, then we have to new them
418 // and copy over.
Ted Kremenek3458d432010-05-25 20:43:29 +0000419 TemplateArgument *NewArgs =
420 new (Context) TemplateArgument[Builder.flatSize()];
Chris Lattner56ef5502010-05-20 00:11:47 +0000421 std::copy(Builder.getFlatArguments(),
422 Builder.getFlatArguments()+Builder.flatSize(), NewArgs);
423 FlatArguments.setPointer(NewArgs);
424
425 // Just reuse the structured and flat arguments array if possible.
426 if (Builder.getStructuredArguments() == Builder.getFlatArguments()) {
427 StructuredArguments.setPointer(NewArgs);
Anders Carlssonfb250522009-06-23 01:26:57 +0000428 StructuredArguments.setInt(0);
Chris Lattner56ef5502010-05-20 00:11:47 +0000429 } else {
Ted Kremenek3458d432010-05-25 20:43:29 +0000430 TemplateArgument *NewSArgs =
431 new (Context) TemplateArgument[Builder.flatSize()];
Chris Lattner56ef5502010-05-20 00:11:47 +0000432 std::copy(Builder.getFlatArguments(),
433 Builder.getFlatArguments()+Builder.flatSize(), NewSArgs);
434 StructuredArguments.setPointer(NewSArgs);
435 }
Douglas Gregor7e063902009-05-11 23:53:27 +0000436}
437
Argyrios Kyrtzidisd0913552010-06-22 09:54:51 +0000438TemplateArgumentList::TemplateArgumentList(ASTContext &Context,
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000439 const TemplateArgument *Args,
Argyrios Kyrtzidisdc767e32010-06-28 09:31:34 +0000440 unsigned NumArgs)
441 : NumFlatArguments(0), NumStructuredArguments(0) {
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000442 init(Context, Args, NumArgs);
Argyrios Kyrtzidisd0913552010-06-22 09:54:51 +0000443}
444
Chris Lattner88598912010-05-20 00:19:09 +0000445/// Produces a shallow copy of the given template argument list. This
446/// assumes that the input argument list outlives it. This takes the list as
447/// a pointer to avoid looking like a copy constructor, since this really
448/// really isn't safe to use that way.
449TemplateArgumentList::TemplateArgumentList(const TemplateArgumentList *Other)
450 : FlatArguments(Other->FlatArguments.getPointer(), false),
451 NumFlatArguments(Other->flat_size()),
452 StructuredArguments(Other->StructuredArguments.getPointer(), false),
453 NumStructuredArguments(Other->NumStructuredArguments) { }
Douglas Gregorb9aa6b22009-09-24 23:14:47 +0000454
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000455void TemplateArgumentList::init(ASTContext &Context,
456 const TemplateArgument *Args,
457 unsigned NumArgs) {
458assert(NumFlatArguments == 0 && NumStructuredArguments == 0 &&
459 "Already initialized!");
460
461NumFlatArguments = NumStructuredArguments = NumArgs;
462TemplateArgument *NewArgs = new (Context) TemplateArgument[NumArgs];
463std::copy(Args, Args+NumArgs, NewArgs);
464FlatArguments.setPointer(NewArgs);
465FlatArguments.setInt(1); // Owns the pointer.
466
467// Just reuse the flat arguments array.
468StructuredArguments.setPointer(NewArgs);
469StructuredArguments.setInt(0); // Doesn't own the pointer.
470}
471
Douglas Gregor7e063902009-05-11 23:53:27 +0000472//===----------------------------------------------------------------------===//
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000473// ClassTemplateSpecializationDecl Implementation
474//===----------------------------------------------------------------------===//
475ClassTemplateSpecializationDecl::
Douglas Gregor13c85772010-05-06 00:28:52 +0000476ClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, TagKind TK,
Douglas Gregor7e063902009-05-11 23:53:27 +0000477 DeclContext *DC, SourceLocation L,
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000478 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000479 TemplateArgumentListBuilder &Builder,
480 ClassTemplateSpecializationDecl *PrevDecl)
Douglas Gregor13c85772010-05-06 00:28:52 +0000481 : CXXRecordDecl(DK, TK, DC, L,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000482 SpecializedTemplate->getIdentifier(),
483 PrevDecl),
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000484 SpecializedTemplate(SpecializedTemplate),
Abramo Bagnarac98971d2010-06-12 07:44:57 +0000485 ExplicitInfo(0),
Anders Carlssonfb250522009-06-23 01:26:57 +0000486 TemplateArgs(Context, Builder, /*TakeArgs=*/true),
Douglas Gregor7e063902009-05-11 23:53:27 +0000487 SpecializationKind(TSK_Undeclared) {
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000488}
Mike Stump1eb44332009-09-09 15:08:12 +0000489
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000490ClassTemplateSpecializationDecl::ClassTemplateSpecializationDecl(Kind DK)
491 : CXXRecordDecl(DK, TTK_Struct, 0, SourceLocation(), 0, 0),
492 ExplicitInfo(0),
493 SpecializationKind(TSK_Undeclared) {
494}
495
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000496ClassTemplateSpecializationDecl *
Douglas Gregor13c85772010-05-06 00:28:52 +0000497ClassTemplateSpecializationDecl::Create(ASTContext &Context, TagKind TK,
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000498 DeclContext *DC, SourceLocation L,
499 ClassTemplateDecl *SpecializedTemplate,
Anders Carlsson91fdf6f2009-06-05 04:06:48 +0000500 TemplateArgumentListBuilder &Builder,
Douglas Gregorcc636682009-02-17 23:15:12 +0000501 ClassTemplateSpecializationDecl *PrevDecl) {
Douglas Gregorcc636682009-02-17 23:15:12 +0000502 ClassTemplateSpecializationDecl *Result
Mike Stump1eb44332009-09-09 15:08:12 +0000503 = new (Context)ClassTemplateSpecializationDecl(Context,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000504 ClassTemplateSpecialization,
Douglas Gregor13c85772010-05-06 00:28:52 +0000505 TK, DC, L,
Douglas Gregor7e063902009-05-11 23:53:27 +0000506 SpecializedTemplate,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +0000507 Builder,
508 PrevDecl);
Douglas Gregorcc636682009-02-17 23:15:12 +0000509 Context.getTypeDeclType(Result, PrevDecl);
510 return Result;
Douglas Gregor3e00bad2009-02-17 01:05:43 +0000511}
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000512
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000513ClassTemplateSpecializationDecl *
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000514ClassTemplateSpecializationDecl::Create(ASTContext &Context, EmptyShell Empty) {
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000515 return
516 new (Context)ClassTemplateSpecializationDecl(ClassTemplateSpecialization);
517}
518
John McCall136a6982009-09-11 06:45:03 +0000519void
520ClassTemplateSpecializationDecl::getNameForDiagnostic(std::string &S,
521 const PrintingPolicy &Policy,
522 bool Qualified) const {
523 NamedDecl::getNameForDiagnostic(S, Policy, Qualified);
524
525 const TemplateArgumentList &TemplateArgs = getTemplateArgs();
526 S += TemplateSpecializationType::PrintTemplateArgumentList(
527 TemplateArgs.getFlatArgumentList(),
528 TemplateArgs.flat_size(),
529 Policy);
530}
531
Douglas Gregor37d93e92009-08-02 23:24:31 +0000532ClassTemplateDecl *
Mike Stump1eb44332009-09-09 15:08:12 +0000533ClassTemplateSpecializationDecl::getSpecializedTemplate() const {
534 if (SpecializedPartialSpecialization *PartialSpec
Douglas Gregor37d93e92009-08-02 23:24:31 +0000535 = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
536 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
537 return SpecializedTemplate.get<ClassTemplateDecl*>();
538}
539
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000540//===----------------------------------------------------------------------===//
541// ClassTemplatePartialSpecializationDecl Implementation
542//===----------------------------------------------------------------------===//
543ClassTemplatePartialSpecializationDecl *
544ClassTemplatePartialSpecializationDecl::
Douglas Gregor13c85772010-05-06 00:28:52 +0000545Create(ASTContext &Context, TagKind TK,DeclContext *DC, SourceLocation L,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000546 TemplateParameterList *Params,
547 ClassTemplateDecl *SpecializedTemplate,
Anders Carlsson91fdf6f2009-06-05 04:06:48 +0000548 TemplateArgumentListBuilder &Builder,
John McCalld5532b62009-11-23 01:53:49 +0000549 const TemplateArgumentListInfo &ArgInfos,
John McCall3cb0ebd2010-03-10 03:28:59 +0000550 QualType CanonInjectedType,
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000551 ClassTemplatePartialSpecializationDecl *PrevDecl,
552 unsigned SequenceNumber) {
John McCalld5532b62009-11-23 01:53:49 +0000553 unsigned N = ArgInfos.size();
John McCall833ca992009-10-29 08:12:44 +0000554 TemplateArgumentLoc *ClonedArgs = new (Context) TemplateArgumentLoc[N];
555 for (unsigned I = 0; I != N; ++I)
556 ClonedArgs[I] = ArgInfos[I];
557
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000558 ClassTemplatePartialSpecializationDecl *Result
Douglas Gregor13c85772010-05-06 00:28:52 +0000559 = new (Context)ClassTemplatePartialSpecializationDecl(Context, TK,
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000560 DC, L, Params,
561 SpecializedTemplate,
John McCall833ca992009-10-29 08:12:44 +0000562 Builder,
563 ClonedArgs, N,
Douglas Gregordc60c1e2010-04-30 05:56:50 +0000564 PrevDecl,
565 SequenceNumber);
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000566 Result->setSpecializationKind(TSK_ExplicitSpecialization);
John McCall3cb0ebd2010-03-10 03:28:59 +0000567
568 Context.getInjectedClassNameType(Result, CanonInjectedType);
Douglas Gregorc8ab2562009-05-31 09:31:02 +0000569 return Result;
570}
John McCalldd4a3b02009-09-16 22:47:08 +0000571
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000572ClassTemplatePartialSpecializationDecl *
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +0000573ClassTemplatePartialSpecializationDecl::Create(ASTContext &Context,
574 EmptyShell Empty) {
Argyrios Kyrtzidis94d228d2010-06-23 13:48:23 +0000575 return new (Context)ClassTemplatePartialSpecializationDecl();
576}
577
578void ClassTemplatePartialSpecializationDecl::
579initTemplateArgsAsWritten(const TemplateArgumentListInfo &ArgInfos) {
580 assert(ArgsAsWritten == 0 && "ArgsAsWritten already set");
581 unsigned N = ArgInfos.size();
582 TemplateArgumentLoc *ClonedArgs
583 = new (getASTContext()) TemplateArgumentLoc[N];
584 for (unsigned I = 0; I != N; ++I)
585 ClonedArgs[I] = ArgInfos[I];
586
587 ArgsAsWritten = ClonedArgs;
588 NumArgsAsWritten = N;
589}
590
John McCalldd4a3b02009-09-16 22:47:08 +0000591//===----------------------------------------------------------------------===//
592// FriendTemplateDecl Implementation
593//===----------------------------------------------------------------------===//
594
595FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
596 DeclContext *DC,
597 SourceLocation L,
598 unsigned NParams,
599 TemplateParameterList **Params,
600 FriendUnion Friend,
601 SourceLocation FLoc) {
602 FriendTemplateDecl *Result
603 = new (Context) FriendTemplateDecl(DC, L, NParams, Params, Friend, FLoc);
604 return Result;
605}
Argyrios Kyrtzidis554e6aa2010-07-22 16:04:10 +0000606
607FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
608 EmptyShell Empty) {
609 return new (Context) FriendTemplateDecl(Empty);
610}