blob: 25df086e73cfaa1f769c35c2b904f0286515cd69 [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 Gregorded2d7b2009-02-04 19:02:06 +000017#include "clang/AST/ASTContext.h"
John McCall0ad16662009-10-29 08:12:44 +000018#include "clang/AST/TypeLoc.h"
Douglas Gregorded2d7b2009-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 Gregorcd72ba92009-02-06 22:42:48 +000027TemplateParameterList::TemplateParameterList(SourceLocation TemplateLoc,
28 SourceLocation LAngleLoc,
Douglas Gregorbe999392009-09-15 16:23:51 +000029 NamedDecl **Params, unsigned NumParams,
Douglas Gregorcd72ba92009-02-06 22:42:48 +000030 SourceLocation RAngleLoc)
31 : TemplateLoc(TemplateLoc), LAngleLoc(LAngleLoc), RAngleLoc(RAngleLoc),
32 NumParams(NumParams) {
Douglas Gregorded2d7b2009-02-04 19:02:06 +000033 for (unsigned Idx = 0; Idx < NumParams; ++Idx)
34 begin()[Idx] = Params[Idx];
35}
36
37TemplateParameterList *
Douglas Gregorcd72ba92009-02-06 22:42:48 +000038TemplateParameterList::Create(ASTContext &C, SourceLocation TemplateLoc,
Douglas Gregorbe999392009-09-15 16:23:51 +000039 SourceLocation LAngleLoc, NamedDecl **Params,
Douglas Gregorcd72ba92009-02-06 22:42:48 +000040 unsigned NumParams, SourceLocation RAngleLoc) {
Douglas Gregorbe999392009-09-15 16:23:51 +000041 unsigned Size = sizeof(TemplateParameterList)
42 + sizeof(NamedDecl *) * NumParams;
Douglas Gregorded2d7b2009-02-04 19:02:06 +000043 unsigned Align = llvm::AlignOf<TemplateParameterList>::Alignment;
44 void *Mem = C.Allocate(Size, Align);
Mike Stump11289f42009-09-09 15:08:12 +000045 return new (Mem) TemplateParameterList(TemplateLoc, LAngleLoc, Params,
Douglas Gregorcd72ba92009-02-06 22:42:48 +000046 NumParams, RAngleLoc);
Douglas Gregorded2d7b2009-02-04 19:02:06 +000047}
48
Douglas Gregorf8f86832009-02-11 18:16:40 +000049unsigned TemplateParameterList::getMinRequiredArguments() const {
50 unsigned NumRequiredArgs = size();
Mike Stump11289f42009-09-09 15:08:12 +000051 iterator Param = const_cast<TemplateParameterList *>(this)->end(),
Douglas Gregorf8f86832009-02-11 18:16:40 +000052 ParamBegin = const_cast<TemplateParameterList *>(this)->begin();
53 while (Param != ParamBegin) {
54 --Param;
Mike Stump11289f42009-09-09 15:08:12 +000055
Anders Carlsson15201f12009-06-13 02:08:00 +000056 if (!(*Param)->isTemplateParameterPack() &&
Mike Stump11289f42009-09-09 15:08:12 +000057 !(isa<TemplateTypeParmDecl>(*Param) &&
Douglas Gregorf8f86832009-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 Stump11289f42009-09-09 15:08:12 +000064
Douglas Gregorf8f86832009-02-11 18:16:40 +000065 --NumRequiredArgs;
66 }
67
68 return NumRequiredArgs;
69}
70
Douglas Gregor21610382009-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 Gregorded2d7b2009-02-04 19:02:06 +000086//===----------------------------------------------------------------------===//
Peter Collingbourne91b25b72010-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 Collingbourne2bf3d242010-07-29 16:12:01 +000097 CommonPtr->Latest = First;
Peter Collingbourne91b25b72010-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 Collingbourne2bf3d242010-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 Collingbourne029fd692010-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 Collingbourne91b25b72010-07-29 16:11:51 +0000129//===----------------------------------------------------------------------===//
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000130// FunctionTemplateDecl Implementation
131//===----------------------------------------------------------------------===//
132
Douglas Gregor1a809332010-05-23 18:26:36 +0000133void FunctionTemplateDecl::DeallocateCommon(void *Ptr) {
134 static_cast<Common *>(Ptr)->~Common();
135}
136
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000137FunctionTemplateDecl *FunctionTemplateDecl::Create(ASTContext &C,
138 DeclContext *DC,
139 SourceLocation L,
140 DeclarationName Name,
Douglas Gregor8f5d4422009-06-29 20:59:39 +0000141 TemplateParameterList *Params,
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000142 NamedDecl *Decl) {
143 return new (C) FunctionTemplateDecl(DC, L, Name, Params, Decl);
144}
145
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000146RedeclarableTemplateDecl::CommonBase *FunctionTemplateDecl::newCommon() {
147 Common *CommonPtr = new (getASTContext()) Common;
148 getASTContext().AddDeallocation(DeallocateCommon, CommonPtr);
149 return CommonPtr;
150}
151
Argyrios Kyrtzidisdde57902010-07-20 13:59:58 +0000152FunctionDecl *
153FunctionTemplateDecl::findSpecialization(const TemplateArgument *Args,
154 unsigned NumArgs, void *&InsertPos) {
155 llvm::FoldingSetNodeID ID;
156 FunctionTemplateSpecializationInfo::Profile(ID,Args,NumArgs, getASTContext());
157 FunctionTemplateSpecializationInfo *Info
158 = getSpecializations().FindNodeOrInsertPos(ID, InsertPos);
159 return Info ? Info->Function->getMostRecentDeclaration() : 0;
160}
161
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000162//===----------------------------------------------------------------------===//
163// ClassTemplateDecl Implementation
164//===----------------------------------------------------------------------===//
165
Douglas Gregor1a809332010-05-23 18:26:36 +0000166void ClassTemplateDecl::DeallocateCommon(void *Ptr) {
167 static_cast<Common *>(Ptr)->~Common();
168}
169
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000170ClassTemplateDecl *ClassTemplateDecl::Create(ASTContext &C,
171 DeclContext *DC,
172 SourceLocation L,
173 DeclarationName Name,
174 TemplateParameterList *Params,
Douglas Gregor90a1a652009-03-19 17:26:29 +0000175 NamedDecl *Decl,
176 ClassTemplateDecl *PrevDecl) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000177 ClassTemplateDecl *New = new (C) ClassTemplateDecl(DC, L, Name, Params, Decl);
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +0000178 New->setPreviousDeclaration(PrevDecl);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000179 return New;
Douglas Gregor90a1a652009-03-19 17:26:29 +0000180}
181
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000182RedeclarableTemplateDecl::CommonBase *ClassTemplateDecl::newCommon() {
183 Common *CommonPtr = new (getASTContext()) Common;
184 getASTContext().AddDeallocation(DeallocateCommon, CommonPtr);
185 return CommonPtr;
186}
187
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000188ClassTemplateSpecializationDecl *
189ClassTemplateDecl::findSpecialization(const TemplateArgument *Args,
190 unsigned NumArgs, void *&InsertPos) {
191 llvm::FoldingSetNodeID ID;
192 ClassTemplateSpecializationDecl::Profile(ID, Args, NumArgs, getASTContext());
193 ClassTemplateSpecializationDecl *D
194 = getSpecializations().FindNodeOrInsertPos(ID, InsertPos);
195 return D ? D->getMostRecentDeclaration() : 0;
196}
197
198ClassTemplatePartialSpecializationDecl *
199ClassTemplateDecl::findPartialSpecialization(const TemplateArgument *Args,
200 unsigned NumArgs,
201 void *&InsertPos) {
202 llvm::FoldingSetNodeID ID;
203 ClassTemplatePartialSpecializationDecl::Profile(ID, Args, NumArgs,
204 getASTContext());
205 ClassTemplatePartialSpecializationDecl *D
206 = getPartialSpecializations().FindNodeOrInsertPos(ID, InsertPos);
207 return D ? D->getMostRecentDeclaration() : 0;
208}
209
Douglas Gregor407e9612010-04-30 05:56:50 +0000210void ClassTemplateDecl::getPartialSpecializations(
211 llvm::SmallVectorImpl<ClassTemplatePartialSpecializationDecl *> &PS) {
212 llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &PartialSpecs
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +0000213 = getPartialSpecializations();
Douglas Gregor407e9612010-04-30 05:56:50 +0000214 PS.clear();
215 PS.resize(PartialSpecs.size());
216 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
217 P = PartialSpecs.begin(), PEnd = PartialSpecs.end();
218 P != PEnd; ++P) {
219 assert(!PS[P->getSequenceNumber()]);
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000220 PS[P->getSequenceNumber()] = P->getMostRecentDeclaration();
Douglas Gregor407e9612010-04-30 05:56:50 +0000221 }
222}
223
Douglas Gregor15301382009-07-30 17:40:51 +0000224ClassTemplatePartialSpecializationDecl *
225ClassTemplateDecl::findPartialSpecialization(QualType T) {
226 ASTContext &Context = getASTContext();
227 typedef llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
228 partial_spec_iterator;
229 for (partial_spec_iterator P = getPartialSpecializations().begin(),
230 PEnd = getPartialSpecializations().end();
231 P != PEnd; ++P) {
John McCall2408e322010-04-27 00:57:59 +0000232 if (Context.hasSameType(P->getInjectedSpecializationType(), T))
Argyrios Kyrtzidis47470f22010-07-20 13:59:28 +0000233 return P->getMostRecentDeclaration();
234 }
235
236 return 0;
237}
238
239ClassTemplatePartialSpecializationDecl *
240ClassTemplateDecl::findPartialSpecInstantiatedFromMember(
241 ClassTemplatePartialSpecializationDecl *D) {
242 Decl *DCanon = D->getCanonicalDecl();
243 for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator
244 P = getPartialSpecializations().begin(),
245 PEnd = getPartialSpecializations().end();
246 P != PEnd; ++P) {
247 if (P->getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
248 return P->getMostRecentDeclaration();
Douglas Gregor15301382009-07-30 17:40:51 +0000249 }
Mike Stump11289f42009-09-09 15:08:12 +0000250
Douglas Gregor15301382009-07-30 17:40:51 +0000251 return 0;
252}
253
John McCalle78aac42010-03-10 03:28:59 +0000254QualType
Douglas Gregor9961ce92010-07-08 18:37:38 +0000255ClassTemplateDecl::getInjectedClassNameSpecialization() {
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +0000256 Common *CommonPtr = getCommonPtr();
Douglas Gregore362cea2009-05-10 22:57:19 +0000257 if (!CommonPtr->InjectedClassNameType.isNull())
258 return CommonPtr->InjectedClassNameType;
259
260 // FIXME: n2800 14.6.1p1 should say how the template arguments
261 // corresponding to template parameter packs should be pack
262 // expansions. We already say that in 14.6.2.1p2, so it would be
263 // better to fix that redundancy.
Douglas Gregor9961ce92010-07-08 18:37:38 +0000264 ASTContext &Context = getASTContext();
Douglas Gregore362cea2009-05-10 22:57:19 +0000265 TemplateParameterList *Params = getTemplateParameters();
Douglas Gregore362cea2009-05-10 22:57:19 +0000266 llvm::SmallVector<TemplateArgument, 16> TemplateArgs;
Douglas Gregore362cea2009-05-10 22:57:19 +0000267 TemplateArgs.reserve(Params->size());
Mike Stump11289f42009-09-09 15:08:12 +0000268 for (TemplateParameterList::iterator Param = Params->begin(),
269 ParamEnd = Params->end();
Douglas Gregore362cea2009-05-10 22:57:19 +0000270 Param != ParamEnd; ++Param) {
271 if (isa<TemplateTypeParmDecl>(*Param)) {
272 QualType ParamType = Context.getTypeDeclType(cast<TypeDecl>(*Param));
John McCall0ad16662009-10-29 08:12:44 +0000273 TemplateArgs.push_back(TemplateArgument(ParamType));
Mike Stump11289f42009-09-09 15:08:12 +0000274 } else if (NonTypeTemplateParmDecl *NTTP =
Douglas Gregore362cea2009-05-10 22:57:19 +0000275 dyn_cast<NonTypeTemplateParmDecl>(*Param)) {
Chandler Carruth234c1292010-01-31 07:24:03 +0000276 Expr *E = new (Context) DeclRefExpr(NTTP,
Douglas Gregora8a089b2010-07-13 18:40:04 +0000277 NTTP->getType().getNonLValueExprType(Context),
Douglas Gregored6c7442009-11-23 11:41:28 +0000278 NTTP->getLocation());
Douglas Gregore362cea2009-05-10 22:57:19 +0000279 TemplateArgs.push_back(TemplateArgument(E));
Mike Stump11289f42009-09-09 15:08:12 +0000280 } else {
Douglas Gregore362cea2009-05-10 22:57:19 +0000281 TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*Param);
Douglas Gregor9167f8b2009-11-11 01:00:40 +0000282 TemplateArgs.push_back(TemplateArgument(TemplateName(TTP)));
Douglas Gregore362cea2009-05-10 22:57:19 +0000283 }
284 }
285
Douglas Gregore362cea2009-05-10 22:57:19 +0000286 CommonPtr->InjectedClassNameType
Douglas Gregora8e02e72009-07-28 23:00:59 +0000287 = Context.getTemplateSpecializationType(TemplateName(this),
Douglas Gregore362cea2009-05-10 22:57:19 +0000288 &TemplateArgs[0],
Douglas Gregora8e02e72009-07-28 23:00:59 +0000289 TemplateArgs.size());
Douglas Gregore362cea2009-05-10 22:57:19 +0000290 return CommonPtr->InjectedClassNameType;
291}
292
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000293//===----------------------------------------------------------------------===//
294// TemplateTypeParm Allocation/Deallocation Method Implementations
295//===----------------------------------------------------------------------===//
296
297TemplateTypeParmDecl *
298TemplateTypeParmDecl::Create(ASTContext &C, DeclContext *DC,
299 SourceLocation L, unsigned D, unsigned P,
Anders Carlssonfb1d7762009-06-12 22:23:22 +0000300 IdentifierInfo *Id, bool Typename,
301 bool ParameterPack) {
Douglas Gregor2ebcae12010-06-16 15:23:05 +0000302 QualType Type = C.getTemplateTypeParmType(D, P, ParameterPack, Id);
303 return new (C) TemplateTypeParmDecl(DC, L, Id, Typename, Type, ParameterPack);
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000304}
305
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +0000306TemplateTypeParmDecl *
307TemplateTypeParmDecl::Create(ASTContext &C, EmptyShell Empty) {
308 return new (C) TemplateTypeParmDecl(0, SourceLocation(), 0, false,
309 QualType(), false);
310}
311
John McCall0ad16662009-10-29 08:12:44 +0000312SourceLocation TemplateTypeParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnara1108e7b2010-05-20 10:00:11 +0000313 return DefaultArgument->getTypeLoc().getSourceRange().getBegin();
John McCall0ad16662009-10-29 08:12:44 +0000314}
315
Douglas Gregor21610382009-10-29 00:04:11 +0000316unsigned TemplateTypeParmDecl::getDepth() const {
317 return TypeForDecl->getAs<TemplateTypeParmType>()->getDepth();
318}
319
320unsigned TemplateTypeParmDecl::getIndex() const {
321 return TypeForDecl->getAs<TemplateTypeParmType>()->getIndex();
322}
323
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000324//===----------------------------------------------------------------------===//
325// NonTypeTemplateParmDecl Method Implementations
326//===----------------------------------------------------------------------===//
327
328NonTypeTemplateParmDecl *
329NonTypeTemplateParmDecl::Create(ASTContext &C, DeclContext *DC,
330 SourceLocation L, unsigned D, unsigned P,
331 IdentifierInfo *Id, QualType T,
John McCallbcd03502009-12-07 02:54:59 +0000332 TypeSourceInfo *TInfo) {
333 return new (C) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, TInfo);
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000334}
335
Douglas Gregordba32632009-02-10 19:49:53 +0000336SourceLocation NonTypeTemplateParmDecl::getDefaultArgumentLoc() const {
Abramo Bagnara656e3002010-06-09 09:26:05 +0000337 return hasDefaultArgument()
338 ? getDefaultArgument()->getSourceRange().getBegin()
339 : SourceLocation();
Douglas Gregordba32632009-02-10 19:49:53 +0000340}
341
Douglas Gregorded2d7b2009-02-04 19:02:06 +0000342//===----------------------------------------------------------------------===//
343// TemplateTemplateParmDecl Method Implementations
344//===----------------------------------------------------------------------===//
345
346TemplateTemplateParmDecl *
347TemplateTemplateParmDecl::Create(ASTContext &C, DeclContext *DC,
348 SourceLocation L, unsigned D, unsigned P,
349 IdentifierInfo *Id,
350 TemplateParameterList *Params) {
351 return new (C) TemplateTemplateParmDecl(DC, L, D, P, Id, Params);
352}
353
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000354//===----------------------------------------------------------------------===//
Anders Carlsson184cb412009-06-05 05:31:27 +0000355// TemplateArgumentListBuilder Implementation
356//===----------------------------------------------------------------------===//
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000357
Chris Lattner047f5aa2010-05-20 00:25:36 +0000358void TemplateArgumentListBuilder::Append(const TemplateArgument &Arg) {
359 assert((Arg.getKind() != TemplateArgument::Type ||
360 Arg.getAsType().isCanonical()) && "Type must be canonical!");
361 assert(FlatArgs.size() < MaxFlatArgs && "Argument list builder is full!");
Mike Stump11289f42009-09-09 15:08:12 +0000362 assert(!StructuredArgs &&
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000363 "Can't append arguments when an argument pack has been added!");
Mike Stump11289f42009-09-09 15:08:12 +0000364
Chris Lattner047f5aa2010-05-20 00:25:36 +0000365 FlatArgs.push_back(Arg);
Anders Carlsson184cb412009-06-05 05:31:27 +0000366}
367
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000368void TemplateArgumentListBuilder::BeginPack() {
369 assert(!AddingToPack && "Already adding to pack!");
370 assert(!StructuredArgs && "Argument list already contains a pack!");
Mike Stump11289f42009-09-09 15:08:12 +0000371
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000372 AddingToPack = true;
Chris Lattner047f5aa2010-05-20 00:25:36 +0000373 PackBeginIndex = FlatArgs.size();
Anders Carlssonaa73b912009-06-13 00:08:58 +0000374}
375
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000376void TemplateArgumentListBuilder::EndPack() {
377 assert(AddingToPack && "Not adding to pack!");
378 assert(!StructuredArgs && "Argument list already contains a pack!");
Mike Stump11289f42009-09-09 15:08:12 +0000379
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000380 AddingToPack = false;
Anders Carlsson475501b2009-06-15 17:56:45 +0000381
Chris Lattner8ca2fd2e2010-05-20 00:26:28 +0000382 // FIXME: This is a memory leak!
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000383 StructuredArgs = new TemplateArgument[MaxStructuredArgs];
Mike Stump11289f42009-09-09 15:08:12 +0000384
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000385 // First copy the flat entries over to the list (if any)
386 for (unsigned I = 0; I != PackBeginIndex; ++I) {
387 NumStructuredArgs++;
388 StructuredArgs[I] = FlatArgs[I];
389 }
Mike Stump11289f42009-09-09 15:08:12 +0000390
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000391 // Next, set the pack.
392 TemplateArgument *PackArgs = 0;
393 unsigned NumPackArgs = NumFlatArgs - PackBeginIndex;
Chris Lattner047f5aa2010-05-20 00:25:36 +0000394 // FIXME: NumPackArgs shouldn't be negative here???
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000395 if (NumPackArgs)
Chris Lattner047f5aa2010-05-20 00:25:36 +0000396 PackArgs = FlatArgs.data()+PackBeginIndex;
Mike Stump11289f42009-09-09 15:08:12 +0000397
398 StructuredArgs[NumStructuredArgs++].setArgumentPack(PackArgs, NumPackArgs,
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000399 /*CopyArgs=*/false);
400}
401
Anders Carlsson184cb412009-06-05 05:31:27 +0000402//===----------------------------------------------------------------------===//
Douglas Gregord002c7b2009-05-11 23:53:27 +0000403// TemplateArgumentList Implementation
404//===----------------------------------------------------------------------===//
405TemplateArgumentList::TemplateArgumentList(ASTContext &Context,
Anders Carlssonc8e71132009-06-05 04:47:51 +0000406 TemplateArgumentListBuilder &Builder,
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000407 bool TakeArgs)
Mike Stump11289f42009-09-09 15:08:12 +0000408 : FlatArguments(Builder.getFlatArguments(), TakeArgs),
409 NumFlatArguments(Builder.flatSize()),
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000410 StructuredArguments(Builder.getStructuredArguments(), TakeArgs),
411 NumStructuredArguments(Builder.structuredSize()) {
Mike Stump11289f42009-09-09 15:08:12 +0000412
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000413 if (!TakeArgs)
414 return;
Mike Stump11289f42009-09-09 15:08:12 +0000415
Chris Lattnerc9b03bc2010-05-20 00:11:47 +0000416 // If this does take ownership of the arguments, then we have to new them
417 // and copy over.
Ted Kremenekf5bcc6a2010-05-25 20:43:29 +0000418 TemplateArgument *NewArgs =
419 new (Context) TemplateArgument[Builder.flatSize()];
Chris Lattnerc9b03bc2010-05-20 00:11:47 +0000420 std::copy(Builder.getFlatArguments(),
421 Builder.getFlatArguments()+Builder.flatSize(), NewArgs);
422 FlatArguments.setPointer(NewArgs);
423
424 // Just reuse the structured and flat arguments array if possible.
425 if (Builder.getStructuredArguments() == Builder.getFlatArguments()) {
426 StructuredArguments.setPointer(NewArgs);
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000427 StructuredArguments.setInt(0);
Chris Lattnerc9b03bc2010-05-20 00:11:47 +0000428 } else {
Ted Kremenekf5bcc6a2010-05-25 20:43:29 +0000429 TemplateArgument *NewSArgs =
430 new (Context) TemplateArgument[Builder.flatSize()];
Chris Lattnerc9b03bc2010-05-20 00:11:47 +0000431 std::copy(Builder.getFlatArguments(),
432 Builder.getFlatArguments()+Builder.flatSize(), NewSArgs);
433 StructuredArguments.setPointer(NewSArgs);
434 }
Douglas Gregord002c7b2009-05-11 23:53:27 +0000435}
436
Argyrios Kyrtzidiscb6f3462010-06-22 09:54:51 +0000437TemplateArgumentList::TemplateArgumentList(ASTContext &Context,
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000438 const TemplateArgument *Args,
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000439 unsigned NumArgs)
440 : NumFlatArguments(0), NumStructuredArguments(0) {
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000441 init(Context, Args, NumArgs);
Argyrios Kyrtzidiscb6f3462010-06-22 09:54:51 +0000442}
443
Chris Lattnerce7a22d2010-05-20 00:19:09 +0000444/// Produces a shallow copy of the given template argument list. This
445/// assumes that the input argument list outlives it. This takes the list as
446/// a pointer to avoid looking like a copy constructor, since this really
447/// really isn't safe to use that way.
448TemplateArgumentList::TemplateArgumentList(const TemplateArgumentList *Other)
449 : FlatArguments(Other->FlatArguments.getPointer(), false),
450 NumFlatArguments(Other->flat_size()),
451 StructuredArguments(Other->StructuredArguments.getPointer(), false),
452 NumStructuredArguments(Other->NumStructuredArguments) { }
Douglas Gregor3a923c2d2009-09-24 23:14:47 +0000453
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000454void TemplateArgumentList::init(ASTContext &Context,
455 const TemplateArgument *Args,
456 unsigned NumArgs) {
457assert(NumFlatArguments == 0 && NumStructuredArguments == 0 &&
458 "Already initialized!");
459
460NumFlatArguments = NumStructuredArguments = NumArgs;
461TemplateArgument *NewArgs = new (Context) TemplateArgument[NumArgs];
462std::copy(Args, Args+NumArgs, NewArgs);
463FlatArguments.setPointer(NewArgs);
464FlatArguments.setInt(1); // Owns the pointer.
465
466// Just reuse the flat arguments array.
467StructuredArguments.setPointer(NewArgs);
468StructuredArguments.setInt(0); // Doesn't own the pointer.
469}
470
Douglas Gregord002c7b2009-05-11 23:53:27 +0000471//===----------------------------------------------------------------------===//
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000472// ClassTemplateSpecializationDecl Implementation
473//===----------------------------------------------------------------------===//
474ClassTemplateSpecializationDecl::
Douglas Gregore9029562010-05-06 00:28:52 +0000475ClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, TagKind TK,
Douglas Gregord002c7b2009-05-11 23:53:27 +0000476 DeclContext *DC, SourceLocation L,
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000477 ClassTemplateDecl *SpecializedTemplate,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +0000478 TemplateArgumentListBuilder &Builder,
479 ClassTemplateSpecializationDecl *PrevDecl)
Douglas Gregore9029562010-05-06 00:28:52 +0000480 : CXXRecordDecl(DK, TK, DC, L,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +0000481 SpecializedTemplate->getIdentifier(),
482 PrevDecl),
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000483 SpecializedTemplate(SpecializedTemplate),
Abramo Bagnara8075c852010-06-12 07:44:57 +0000484 ExplicitInfo(0),
Anders Carlsson5947ddf2009-06-23 01:26:57 +0000485 TemplateArgs(Context, Builder, /*TakeArgs=*/true),
Douglas Gregord002c7b2009-05-11 23:53:27 +0000486 SpecializationKind(TSK_Undeclared) {
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000487}
Mike Stump11289f42009-09-09 15:08:12 +0000488
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000489ClassTemplateSpecializationDecl::ClassTemplateSpecializationDecl(Kind DK)
490 : CXXRecordDecl(DK, TTK_Struct, 0, SourceLocation(), 0, 0),
491 ExplicitInfo(0),
492 SpecializationKind(TSK_Undeclared) {
493}
494
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000495ClassTemplateSpecializationDecl *
Douglas Gregore9029562010-05-06 00:28:52 +0000496ClassTemplateSpecializationDecl::Create(ASTContext &Context, TagKind TK,
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000497 DeclContext *DC, SourceLocation L,
498 ClassTemplateDecl *SpecializedTemplate,
Anders Carlsson1b28c3e2009-06-05 04:06:48 +0000499 TemplateArgumentListBuilder &Builder,
Douglas Gregor67a65642009-02-17 23:15:12 +0000500 ClassTemplateSpecializationDecl *PrevDecl) {
Douglas Gregor67a65642009-02-17 23:15:12 +0000501 ClassTemplateSpecializationDecl *Result
Mike Stump11289f42009-09-09 15:08:12 +0000502 = new (Context)ClassTemplateSpecializationDecl(Context,
Douglas Gregor2373c592009-05-31 09:31:02 +0000503 ClassTemplateSpecialization,
Douglas Gregore9029562010-05-06 00:28:52 +0000504 TK, DC, L,
Douglas Gregord002c7b2009-05-11 23:53:27 +0000505 SpecializedTemplate,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +0000506 Builder,
507 PrevDecl);
Douglas Gregor67a65642009-02-17 23:15:12 +0000508 Context.getTypeDeclType(Result, PrevDecl);
509 return Result;
Douglas Gregor264ec4f2009-02-17 01:05:43 +0000510}
Douglas Gregor2373c592009-05-31 09:31:02 +0000511
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000512ClassTemplateSpecializationDecl *
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +0000513ClassTemplateSpecializationDecl::Create(ASTContext &Context, EmptyShell Empty) {
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000514 return
515 new (Context)ClassTemplateSpecializationDecl(ClassTemplateSpecialization);
516}
517
John McCalle1f2ec22009-09-11 06:45:03 +0000518void
519ClassTemplateSpecializationDecl::getNameForDiagnostic(std::string &S,
520 const PrintingPolicy &Policy,
521 bool Qualified) const {
522 NamedDecl::getNameForDiagnostic(S, Policy, Qualified);
523
524 const TemplateArgumentList &TemplateArgs = getTemplateArgs();
525 S += TemplateSpecializationType::PrintTemplateArgumentList(
526 TemplateArgs.getFlatArgumentList(),
527 TemplateArgs.flat_size(),
528 Policy);
529}
530
Douglas Gregor9dc8bd32009-08-02 23:24:31 +0000531ClassTemplateDecl *
Mike Stump11289f42009-09-09 15:08:12 +0000532ClassTemplateSpecializationDecl::getSpecializedTemplate() const {
533 if (SpecializedPartialSpecialization *PartialSpec
Douglas Gregor9dc8bd32009-08-02 23:24:31 +0000534 = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
535 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
536 return SpecializedTemplate.get<ClassTemplateDecl*>();
537}
538
Douglas Gregor2373c592009-05-31 09:31:02 +0000539//===----------------------------------------------------------------------===//
540// ClassTemplatePartialSpecializationDecl Implementation
541//===----------------------------------------------------------------------===//
542ClassTemplatePartialSpecializationDecl *
543ClassTemplatePartialSpecializationDecl::
Douglas Gregore9029562010-05-06 00:28:52 +0000544Create(ASTContext &Context, TagKind TK,DeclContext *DC, SourceLocation L,
Douglas Gregor2373c592009-05-31 09:31:02 +0000545 TemplateParameterList *Params,
546 ClassTemplateDecl *SpecializedTemplate,
Anders Carlsson1b28c3e2009-06-05 04:06:48 +0000547 TemplateArgumentListBuilder &Builder,
John McCall6b51f282009-11-23 01:53:49 +0000548 const TemplateArgumentListInfo &ArgInfos,
John McCalle78aac42010-03-10 03:28:59 +0000549 QualType CanonInjectedType,
Douglas Gregor407e9612010-04-30 05:56:50 +0000550 ClassTemplatePartialSpecializationDecl *PrevDecl,
551 unsigned SequenceNumber) {
John McCall6b51f282009-11-23 01:53:49 +0000552 unsigned N = ArgInfos.size();
John McCall0ad16662009-10-29 08:12:44 +0000553 TemplateArgumentLoc *ClonedArgs = new (Context) TemplateArgumentLoc[N];
554 for (unsigned I = 0; I != N; ++I)
555 ClonedArgs[I] = ArgInfos[I];
556
Douglas Gregor2373c592009-05-31 09:31:02 +0000557 ClassTemplatePartialSpecializationDecl *Result
Douglas Gregore9029562010-05-06 00:28:52 +0000558 = new (Context)ClassTemplatePartialSpecializationDecl(Context, TK,
Douglas Gregor2373c592009-05-31 09:31:02 +0000559 DC, L, Params,
560 SpecializedTemplate,
John McCall0ad16662009-10-29 08:12:44 +0000561 Builder,
562 ClonedArgs, N,
Douglas Gregor407e9612010-04-30 05:56:50 +0000563 PrevDecl,
564 SequenceNumber);
Douglas Gregor2373c592009-05-31 09:31:02 +0000565 Result->setSpecializationKind(TSK_ExplicitSpecialization);
John McCalle78aac42010-03-10 03:28:59 +0000566
567 Context.getInjectedClassNameType(Result, CanonInjectedType);
Douglas Gregor2373c592009-05-31 09:31:02 +0000568 return Result;
569}
John McCall11083da2009-09-16 22:47:08 +0000570
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000571ClassTemplatePartialSpecializationDecl *
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +0000572ClassTemplatePartialSpecializationDecl::Create(ASTContext &Context,
573 EmptyShell Empty) {
Argyrios Kyrtzidisfe6ba882010-06-23 13:48:23 +0000574 return new (Context)ClassTemplatePartialSpecializationDecl();
575}
576
577void ClassTemplatePartialSpecializationDecl::
578initTemplateArgsAsWritten(const TemplateArgumentListInfo &ArgInfos) {
579 assert(ArgsAsWritten == 0 && "ArgsAsWritten already set");
580 unsigned N = ArgInfos.size();
581 TemplateArgumentLoc *ClonedArgs
582 = new (getASTContext()) TemplateArgumentLoc[N];
583 for (unsigned I = 0; I != N; ++I)
584 ClonedArgs[I] = ArgInfos[I];
585
586 ArgsAsWritten = ClonedArgs;
587 NumArgsAsWritten = N;
588}
589
John McCall11083da2009-09-16 22:47:08 +0000590//===----------------------------------------------------------------------===//
591// FriendTemplateDecl Implementation
592//===----------------------------------------------------------------------===//
593
594FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
595 DeclContext *DC,
596 SourceLocation L,
597 unsigned NParams,
598 TemplateParameterList **Params,
599 FriendUnion Friend,
600 SourceLocation FLoc) {
601 FriendTemplateDecl *Result
602 = new (Context) FriendTemplateDecl(DC, L, NParams, Params, Friend, FLoc);
603 return Result;
604}
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +0000605
606FriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context,
607 EmptyShell Empty) {
608 return new (Context) FriendTemplateDecl(Empty);
609}