DeclTemplate.cpp revision dc60c1eb4acbde6edcec9760de92f9098593d915
106a59bb8260ce3d52de761865dee90f90054a5ccSebastian Redl//===--- DeclTemplate.cpp - Template Declaration AST Node Implementation --===// 2aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// 3aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// The LLVM Compiler Infrastructure 4aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// 5aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// This file is distributed under the University of Illinois Open Source 6aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// License. See LICENSE.TXT for details. 7aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// 8aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 9aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// 10aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// This file implements the C++ related Decl classes for templates. 11aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// 12aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 13aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 14aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor#include "clang/AST/DeclCXX.h" 15aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor#include "clang/AST/DeclTemplate.h" 1655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor#include "clang/AST/Expr.h" 17aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor#include "clang/AST/ASTContext.h" 18833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall#include "clang/AST/TypeLoc.h" 19aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor#include "clang/Basic/IdentifierTable.h" 20aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor#include "llvm/ADT/STLExtras.h" 21aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregorusing namespace clang; 22aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 23aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 24aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// TemplateParameterList Implementation 25aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 26aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 27ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas GregorTemplateParameterList::TemplateParameterList(SourceLocation TemplateLoc, 28ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas Gregor SourceLocation LAngleLoc, 29bf4ea56cdc376cef5a12abf6bf18dc34805c2226Douglas Gregor NamedDecl **Params, unsigned NumParams, 30ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas Gregor SourceLocation RAngleLoc) 31ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas Gregor : TemplateLoc(TemplateLoc), LAngleLoc(LAngleLoc), RAngleLoc(RAngleLoc), 32ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas Gregor NumParams(NumParams) { 33aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor for (unsigned Idx = 0; Idx < NumParams; ++Idx) 34aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor begin()[Idx] = Params[Idx]; 35aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 36aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 37aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateParameterList * 38ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas GregorTemplateParameterList::Create(ASTContext &C, SourceLocation TemplateLoc, 39bf4ea56cdc376cef5a12abf6bf18dc34805c2226Douglas Gregor SourceLocation LAngleLoc, NamedDecl **Params, 40ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas Gregor unsigned NumParams, SourceLocation RAngleLoc) { 41bf4ea56cdc376cef5a12abf6bf18dc34805c2226Douglas Gregor unsigned Size = sizeof(TemplateParameterList) 42bf4ea56cdc376cef5a12abf6bf18dc34805c2226Douglas Gregor + sizeof(NamedDecl *) * NumParams; 43aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor unsigned Align = llvm::AlignOf<TemplateParameterList>::Alignment; 44aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor void *Mem = C.Allocate(Size, Align); 451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return new (Mem) TemplateParameterList(TemplateLoc, LAngleLoc, Params, 46ddc29e116db3c3f4144355e67a0137b38b6bb6d1Douglas Gregor NumParams, RAngleLoc); 47aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 48aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 4962cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregorunsigned TemplateParameterList::getMinRequiredArguments() const { 5062cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor unsigned NumRequiredArgs = size(); 511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump iterator Param = const_cast<TemplateParameterList *>(this)->end(), 5262cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor ParamBegin = const_cast<TemplateParameterList *>(this)->begin(); 5362cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor while (Param != ParamBegin) { 5462cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor --Param; 551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 560ceffb51b28b09db67404058c642dcb1f877f6e8Anders Carlsson if (!(*Param)->isTemplateParameterPack() && 571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump !(isa<TemplateTypeParmDecl>(*Param) && 5862cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor cast<TemplateTypeParmDecl>(*Param)->hasDefaultArgument()) && 5962cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor !(isa<NonTypeTemplateParmDecl>(*Param) && 6062cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor cast<NonTypeTemplateParmDecl>(*Param)->hasDefaultArgument()) && 6162cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor !(isa<TemplateTemplateParmDecl>(*Param) && 6262cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor cast<TemplateTemplateParmDecl>(*Param)->hasDefaultArgument())) 6362cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor break; 641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6562cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor --NumRequiredArgs; 6662cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor } 6762cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor 6862cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor return NumRequiredArgs; 6962cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor} 7062cb18dd11472965e03374d40bc27d650bc331b6Douglas Gregor 71ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregorunsigned TemplateParameterList::getDepth() const { 72ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor if (size() == 0) 73ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return 0; 74ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor 75ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor const NamedDecl *FirstParm = getParam(0); 76ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor if (const TemplateTypeParmDecl *TTP 77ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor = dyn_cast<TemplateTypeParmDecl>(FirstParm)) 78ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return TTP->getDepth(); 79ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor else if (const NonTypeTemplateParmDecl *NTTP 80ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor = dyn_cast<NonTypeTemplateParmDecl>(FirstParm)) 81ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return NTTP->getDepth(); 82ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor else 83ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return cast<TemplateTemplateParmDecl>(FirstParm)->getDepth(); 84ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor} 85ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor 86aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 87aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// TemplateDecl Implementation 88aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 89aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 90aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateDecl::~TemplateDecl() { 91aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 92aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 93aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 94aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// FunctionTemplateDecl Implementation 95aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 96aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 97aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorFunctionTemplateDecl *FunctionTemplateDecl::Create(ASTContext &C, 98aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor DeclContext *DC, 99aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, 100aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor DeclarationName Name, 101127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor TemplateParameterList *Params, 102aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor NamedDecl *Decl) { 103aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor return new (C) FunctionTemplateDecl(DC, L, Name, Params, Decl); 104aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 105aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 106127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregorvoid FunctionTemplateDecl::Destroy(ASTContext &C) { 107127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor if (Common *CommonPtr = CommonOrPrev.dyn_cast<Common*>()) { 108127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor for (llvm::FoldingSet<FunctionTemplateSpecializationInfo>::iterator 109127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor Spec = CommonPtr->Specializations.begin(), 110127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor SpecEnd = CommonPtr->Specializations.end(); 111127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor Spec != SpecEnd; ++Spec) 112127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor C.Deallocate(&*Spec); 113127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor } 1141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 115127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor Decl::Destroy(C); 116127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor} 117127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor 118b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios KyrtzidisFunctionTemplateDecl *FunctionTemplateDecl::getCanonicalDecl() { 119b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis FunctionTemplateDecl *FunTmpl = this; 120b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis while (FunTmpl->getPreviousDeclaration()) 121b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis FunTmpl = FunTmpl->getPreviousDeclaration(); 122b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis return FunTmpl; 123b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis} 124b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis 125127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas GregorFunctionTemplateDecl::Common *FunctionTemplateDecl::getCommonPtr() { 126127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor // Find the first declaration of this function template. 127127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor FunctionTemplateDecl *First = this; 128127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor while (First->getPreviousDeclaration()) 129127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor First = First->getPreviousDeclaration(); 1301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 131127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor if (First->CommonOrPrev.isNull()) { 132127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor // FIXME: Allocate with the ASTContext 133127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor First->CommonOrPrev = new Common; 134127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor } 135127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor return First->CommonOrPrev.get<Common*>(); 136127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor} 137127102b5196ffe04bdb70fd553fe62c265ab10a9Douglas Gregor 138aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 139aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// ClassTemplateDecl Implementation 140aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 141aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 142b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios KyrtzidisClassTemplateDecl *ClassTemplateDecl::getCanonicalDecl() { 143b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis ClassTemplateDecl *Template = this; 144b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis while (Template->getPreviousDeclaration()) 145b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis Template = Template->getPreviousDeclaration(); 146b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis return Template; 147b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis} 148b57a4fe73b8227c0dba651818b8495dfca61e530Argyrios Kyrtzidis 149aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorClassTemplateDecl *ClassTemplateDecl::Create(ASTContext &C, 150aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor DeclContext *DC, 151aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, 152aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor DeclarationName Name, 153aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor TemplateParameterList *Params, 1545953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor NamedDecl *Decl, 1555953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor ClassTemplateDecl *PrevDecl) { 1565953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor Common *CommonPtr; 1575953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor if (PrevDecl) 1585953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor CommonPtr = PrevDecl->CommonPtr; 1595953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor else 1605953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor CommonPtr = new (C) Common; 1615953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return new (C) ClassTemplateDecl(DC, L, Name, Params, Decl, PrevDecl, 1635953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor CommonPtr); 1645953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor} 1655953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1665953d8b37f92f0cf548941f617c9b0a7703df33bDouglas GregorClassTemplateDecl::~ClassTemplateDecl() { 1675953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor assert(CommonPtr == 0 && "ClassTemplateDecl must be explicitly destroyed"); 1685953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor} 1695953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1705953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregorvoid ClassTemplateDecl::Destroy(ASTContext& C) { 1715953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor if (!PreviousDeclaration) { 1725953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor CommonPtr->~Common(); 1735953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor C.Deallocate((void*)CommonPtr); 1745953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor } 1755953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor CommonPtr = 0; 1765953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1775953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor this->~ClassTemplateDecl(); 1785953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor C.Deallocate((void*)this); 179aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 180aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 181dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregorvoid ClassTemplateDecl::getPartialSpecializations( 182dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor llvm::SmallVectorImpl<ClassTemplatePartialSpecializationDecl *> &PS) { 183dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor llvm::FoldingSet<ClassTemplatePartialSpecializationDecl> &PartialSpecs 184dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor = CommonPtr->PartialSpecializations; 185dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor PS.clear(); 186dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor PS.resize(PartialSpecs.size()); 187dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor for (llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator 188dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor P = PartialSpecs.begin(), PEnd = PartialSpecs.end(); 189dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor P != PEnd; ++P) { 190dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor assert(!PS[P->getSequenceNumber()]); 191dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor PS[P->getSequenceNumber()] = &*P; 192dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor } 193dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor} 194dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor 195b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas GregorClassTemplatePartialSpecializationDecl * 196b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas GregorClassTemplateDecl::findPartialSpecialization(QualType T) { 197b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor ASTContext &Context = getASTContext(); 198b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor typedef llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator 199b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor partial_spec_iterator; 200b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor for (partial_spec_iterator P = getPartialSpecializations().begin(), 201b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor PEnd = getPartialSpecializations().end(); 202b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor P != PEnd; ++P) { 20331f17ecbef57b5679c017c375db330546b7b5145John McCall if (Context.hasSameType(P->getInjectedSpecializationType(), T)) 204b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor return &*P; 205b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor } 2061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 207b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor return 0; 208b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor} 209b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor 2103cb0ebd5f76abcb776f7cb4062bd79e3268c0dc4John McCallQualType 2113cb0ebd5f76abcb776f7cb4062bd79e3268c0dc4John McCallClassTemplateDecl::getInjectedClassNameSpecialization(ASTContext &Context) { 2127da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor if (!CommonPtr->InjectedClassNameType.isNull()) 2137da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor return CommonPtr->InjectedClassNameType; 2147da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 2157da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // FIXME: n2800 14.6.1p1 should say how the template arguments 2167da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // corresponding to template parameter packs should be pack 2177da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // expansions. We already say that in 14.6.2.1p2, so it would be 2187da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // better to fix that redundancy. 2197da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 2207da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateParameterList *Params = getTemplateParameters(); 2217da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor llvm::SmallVector<TemplateArgument, 16> TemplateArgs; 2227da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateArgs.reserve(Params->size()); 2231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (TemplateParameterList::iterator Param = Params->begin(), 2241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ParamEnd = Params->end(); 2257da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor Param != ParamEnd; ++Param) { 2267da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor if (isa<TemplateTypeParmDecl>(*Param)) { 2277da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor QualType ParamType = Context.getTypeDeclType(cast<TypeDecl>(*Param)); 228833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall TemplateArgs.push_back(TemplateArgument(ParamType)); 2291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } else if (NonTypeTemplateParmDecl *NTTP = 2307da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor dyn_cast<NonTypeTemplateParmDecl>(*Param)) { 231b7de181d912690958e82c01f1b3d752d3d4ab43bChandler Carruth Expr *E = new (Context) DeclRefExpr(NTTP, 232b7de181d912690958e82c01f1b3d752d3d4ab43bChandler Carruth NTTP->getType().getNonReferenceType(), 2330da76df9218d7c27b471b0a4d83a5b29fe24e5b4Douglas Gregor NTTP->getLocation()); 2347da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateArgs.push_back(TemplateArgument(E)); 2351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } else { 2367da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*Param); 237788cd06cf8e868a67158aafec5de3a1f408d14f3Douglas Gregor TemplateArgs.push_back(TemplateArgument(TemplateName(TTP))); 2387da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor } 2397da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor } 2407da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 2417da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor CommonPtr->InjectedClassNameType 2421275ae098acda31fe0e434510c729fcfed0458a1Douglas Gregor = Context.getTemplateSpecializationType(TemplateName(this), 2437da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor &TemplateArgs[0], 2441275ae098acda31fe0e434510c729fcfed0458a1Douglas Gregor TemplateArgs.size()); 2457da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor return CommonPtr->InjectedClassNameType; 2467da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor} 2477da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 248aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 249aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// TemplateTypeParm Allocation/Deallocation Method Implementations 250aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 251aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 252aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTypeParmDecl * 253aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTypeParmDecl::Create(ASTContext &C, DeclContext *DC, 254aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, unsigned D, unsigned P, 2556d845ae1baf77691bca080e0762a1d45ee017f70Anders Carlsson IdentifierInfo *Id, bool Typename, 2566d845ae1baf77691bca080e0762a1d45ee017f70Anders Carlsson bool ParameterPack) { 25776e4ce42a30cee4dc40ce7c6014874fbc4f9baa7Anders Carlsson QualType Type = C.getTemplateTypeParmType(D, P, ParameterPack, Id); 2586d845ae1baf77691bca080e0762a1d45ee017f70Anders Carlsson return new (C) TemplateTypeParmDecl(DC, L, Id, Typename, Type, ParameterPack); 259aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 260aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 261833ca991c1bfc967f0995974ca86f66ba1f666b5John McCallSourceLocation TemplateTypeParmDecl::getDefaultArgumentLoc() const { 262833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall return DefaultArgument->getTypeLoc().getFullSourceRange().getBegin(); 263833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall} 264833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall 265ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregorunsigned TemplateTypeParmDecl::getDepth() const { 266ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return TypeForDecl->getAs<TemplateTypeParmType>()->getDepth(); 267ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor} 268ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor 269ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregorunsigned TemplateTypeParmDecl::getIndex() const { 270ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return TypeForDecl->getAs<TemplateTypeParmType>()->getIndex(); 271ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor} 272ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor 273aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 274aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// NonTypeTemplateParmDecl Method Implementations 275aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 276aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 277aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorNonTypeTemplateParmDecl * 278aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorNonTypeTemplateParmDecl::Create(ASTContext &C, DeclContext *DC, 279aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, unsigned D, unsigned P, 280aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor IdentifierInfo *Id, QualType T, 281a93c934af4fbf97cbe8e649d82e68ccacfe57c95John McCall TypeSourceInfo *TInfo) { 282a93c934af4fbf97cbe8e649d82e68ccacfe57c95John McCall return new (C) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, TInfo); 283aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 284aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 285d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas GregorSourceLocation NonTypeTemplateParmDecl::getDefaultArgumentLoc() const { 286d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor return DefaultArgument? DefaultArgument->getSourceRange().getBegin() 2871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : SourceLocation(); 288d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor} 289d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor 290aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 291aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// TemplateTemplateParmDecl Method Implementations 292aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 293aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 294aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTemplateParmDecl * 295aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTemplateParmDecl::Create(ASTContext &C, DeclContext *DC, 296aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, unsigned D, unsigned P, 297aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor IdentifierInfo *Id, 298aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor TemplateParameterList *Params) { 299aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor return new (C) TemplateTemplateParmDecl(DC, L, D, P, Id, Params); 300aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 301aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 3023e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor//===----------------------------------------------------------------------===// 3039ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson// TemplateArgumentListBuilder Implementation 3049ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson//===----------------------------------------------------------------------===// 305fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson 306fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::Append(const TemplateArgument& Arg) { 3079ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson switch (Arg.getKind()) { 308fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson default: break; 309fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson case TemplateArgument::Type: 310467b27b9a24bdc823218ad1ad0e37673b6cc1e83John McCall assert(Arg.getAsType().isCanonical() && "Type must be canonical!"); 311fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson break; 3129ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson } 3131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 314fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(NumFlatArgs < MaxFlatArgs && "Argument list builder is full!"); 3151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump assert(!StructuredArgs && 316fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson "Can't append arguments when an argument pack has been added!"); 3171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 318fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (!FlatArgs) 319fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson FlatArgs = new TemplateArgument[MaxFlatArgs]; 3201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 321fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson FlatArgs[NumFlatArgs++] = Arg; 3229ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson} 3239ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson 324fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::BeginPack() { 325fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(!AddingToPack && "Already adding to pack!"); 326fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(!StructuredArgs && "Argument list already contains a pack!"); 3271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 328fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson AddingToPack = true; 329fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson PackBeginIndex = NumFlatArgs; 33067e332009c6e349dc34700f539747afcff990336Anders Carlsson} 33167e332009c6e349dc34700f539747afcff990336Anders Carlsson 332fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::EndPack() { 333fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(AddingToPack && "Not adding to pack!"); 334fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(!StructuredArgs && "Argument list already contains a pack!"); 3351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 336fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson AddingToPack = false; 3373b36b66a00b7d5bab71b486a54694f0ae397bddbAnders Carlsson 338fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArgs = new TemplateArgument[MaxStructuredArgs]; 3391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 340fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson // First copy the flat entries over to the list (if any) 341fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson for (unsigned I = 0; I != PackBeginIndex; ++I) { 342fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumStructuredArgs++; 343fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArgs[I] = FlatArgs[I]; 344fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson } 3451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 346fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson // Next, set the pack. 347fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson TemplateArgument *PackArgs = 0; 348fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson unsigned NumPackArgs = NumFlatArgs - PackBeginIndex; 349fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (NumPackArgs) 350fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson PackArgs = &FlatArgs[PackBeginIndex]; 3511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump StructuredArgs[NumStructuredArgs++].setArgumentPack(PackArgs, NumPackArgs, 353fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson /*CopyArgs=*/false); 354fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson} 355fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson 356fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::ReleaseArgs() { 357fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson FlatArgs = 0; 358fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumFlatArgs = 0; 359fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson MaxFlatArgs = 0; 360fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArgs = 0; 361fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumStructuredArgs = 0; 362fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson MaxStructuredArgs = 0; 363fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson} 36467e332009c6e349dc34700f539747afcff990336Anders Carlsson 3659ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson//===----------------------------------------------------------------------===// 3667e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor// TemplateArgumentList Implementation 3677e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor//===----------------------------------------------------------------------===// 3687e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas GregorTemplateArgumentList::TemplateArgumentList(ASTContext &Context, 369e9c904b082ac3299831704a69066b86ab0f78becAnders Carlsson TemplateArgumentListBuilder &Builder, 370fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson bool TakeArgs) 3711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : FlatArguments(Builder.getFlatArguments(), TakeArgs), 3721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump NumFlatArguments(Builder.flatSize()), 373fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArguments(Builder.getStructuredArguments(), TakeArgs), 374fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumStructuredArguments(Builder.structuredSize()) { 3751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 376fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (!TakeArgs) 377fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson return; 3781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 379fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (Builder.getStructuredArguments() == Builder.getFlatArguments()) 380fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArguments.setInt(0); 381fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson Builder.ReleaseArgs(); 3827e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor} 3837e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor 384b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas GregorTemplateArgumentList::TemplateArgumentList(const TemplateArgumentList &Other) 385b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor : FlatArguments(Other.FlatArguments.getPointer(), 1), 386b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor NumFlatArguments(Other.flat_size()), 387b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor StructuredArguments(Other.StructuredArguments.getPointer(), 1), 388b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor NumStructuredArguments(Other.NumStructuredArguments) { } 389b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor 3907e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas GregorTemplateArgumentList::~TemplateArgumentList() { 3917e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor // FIXME: Deallocate template arguments 3927e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor} 3937e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor 3947e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor//===----------------------------------------------------------------------===// 3953e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor// ClassTemplateSpecializationDecl Implementation 3963e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor//===----------------------------------------------------------------------===// 3973e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas GregorClassTemplateSpecializationDecl:: 398c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, 3997e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor DeclContext *DC, SourceLocation L, 4003e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor ClassTemplateDecl *SpecializedTemplate, 4018e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor TemplateArgumentListBuilder &Builder, 4028e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor ClassTemplateSpecializationDecl *PrevDecl) 4031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : CXXRecordDecl(DK, 4041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SpecializedTemplate->getTemplatedDecl()->getTagKind(), 4053e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor DC, L, 4063e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor // FIXME: Should we use DeclarationName for the name of 4073e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor // class template specializations? 4088e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor SpecializedTemplate->getIdentifier(), 4098e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor PrevDecl), 4103e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor SpecializedTemplate(SpecializedTemplate), 4113cb0ebd5f76abcb776f7cb4062bd79e3268c0dc4John McCall TypeAsWritten(0), 412fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson TemplateArgs(Context, Builder, /*TakeArgs=*/true), 4137e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor SpecializationKind(TSK_Undeclared) { 4143e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor} 4151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 4163e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas GregorClassTemplateSpecializationDecl * 4171eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpClassTemplateSpecializationDecl::Create(ASTContext &Context, 4183e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor DeclContext *DC, SourceLocation L, 4193e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor ClassTemplateDecl *SpecializedTemplate, 42091fdf6f576b91f023c3bebb0d3786aab555cb3c5Anders Carlsson TemplateArgumentListBuilder &Builder, 421cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor ClassTemplateSpecializationDecl *PrevDecl) { 422cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor ClassTemplateSpecializationDecl *Result 4231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump = new (Context)ClassTemplateSpecializationDecl(Context, 424c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor ClassTemplateSpecialization, 4251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump DC, L, 4267e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor SpecializedTemplate, 4278e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor Builder, 4288e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor PrevDecl); 429cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor Context.getTypeDeclType(Result, PrevDecl); 430cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor return Result; 4313e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor} 432c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor 43337d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregorvoid ClassTemplateSpecializationDecl::Destroy(ASTContext &C) { 4341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (SpecializedPartialSpecialization *PartialSpec 43537d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>()) 43637d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor C.Deallocate(PartialSpec); 4371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 43837d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor CXXRecordDecl::Destroy(C); 43937d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor} 44037d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor 441136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCallvoid 442136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCallClassTemplateSpecializationDecl::getNameForDiagnostic(std::string &S, 443136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall const PrintingPolicy &Policy, 444136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall bool Qualified) const { 445136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall NamedDecl::getNameForDiagnostic(S, Policy, Qualified); 446136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall 447136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall const TemplateArgumentList &TemplateArgs = getTemplateArgs(); 448136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall S += TemplateSpecializationType::PrintTemplateArgumentList( 449136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall TemplateArgs.getFlatArgumentList(), 450136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall TemplateArgs.flat_size(), 451136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall Policy); 452136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall} 453136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall 45437d93e9252026d4fb836d9c05d0122a2d46e56beDouglas GregorClassTemplateDecl * 4551eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpClassTemplateSpecializationDecl::getSpecializedTemplate() const { 4561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (SpecializedPartialSpecialization *PartialSpec 45737d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>()) 45837d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor return PartialSpec->PartialSpecialization->getSpecializedTemplate(); 45937d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor return SpecializedTemplate.get<ClassTemplateDecl*>(); 46037d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor} 46137d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor 462c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor//===----------------------------------------------------------------------===// 463c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor// ClassTemplatePartialSpecializationDecl Implementation 464c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor//===----------------------------------------------------------------------===// 465c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorClassTemplatePartialSpecializationDecl * 466c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorClassTemplatePartialSpecializationDecl:: 467c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorCreate(ASTContext &Context, DeclContext *DC, SourceLocation L, 468c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor TemplateParameterList *Params, 469c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor ClassTemplateDecl *SpecializedTemplate, 47091fdf6f576b91f023c3bebb0d3786aab555cb3c5Anders Carlsson TemplateArgumentListBuilder &Builder, 471d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall const TemplateArgumentListInfo &ArgInfos, 4723cb0ebd5f76abcb776f7cb4062bd79e3268c0dc4John McCall QualType CanonInjectedType, 473dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor ClassTemplatePartialSpecializationDecl *PrevDecl, 474dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor unsigned SequenceNumber) { 475d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall unsigned N = ArgInfos.size(); 476833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall TemplateArgumentLoc *ClonedArgs = new (Context) TemplateArgumentLoc[N]; 477833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall for (unsigned I = 0; I != N; ++I) 478833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall ClonedArgs[I] = ArgInfos[I]; 479833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall 480c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor ClassTemplatePartialSpecializationDecl *Result 4811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump = new (Context)ClassTemplatePartialSpecializationDecl(Context, 482c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor DC, L, Params, 483c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor SpecializedTemplate, 484833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall Builder, 485833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall ClonedArgs, N, 486dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor PrevDecl, 487dc60c1eb4acbde6edcec9760de92f9098593d915Douglas Gregor SequenceNumber); 488c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor Result->setSpecializationKind(TSK_ExplicitSpecialization); 4893cb0ebd5f76abcb776f7cb4062bd79e3268c0dc4John McCall 4903cb0ebd5f76abcb776f7cb4062bd79e3268c0dc4John McCall Context.getInjectedClassNameType(Result, CanonInjectedType); 491c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor return Result; 492c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor} 493dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall 494dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall//===----------------------------------------------------------------------===// 495dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall// FriendTemplateDecl Implementation 496dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall//===----------------------------------------------------------------------===// 497dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall 498dd4a3b0065b9a7e7b00073df415a798886c090f3John McCallFriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context, 499dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall DeclContext *DC, 500dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall SourceLocation L, 501dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall unsigned NParams, 502dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall TemplateParameterList **Params, 503dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall FriendUnion Friend, 504dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall SourceLocation FLoc) { 505dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall FriendTemplateDecl *Result 506dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall = new (Context) FriendTemplateDecl(DC, L, NParams, Params, Friend, FLoc); 507dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall return Result; 508dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall} 509