DeclTemplate.cpp revision 833ca991c1bfc967f0995974ca86f66ba1f666b5
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 181b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas GregorClassTemplatePartialSpecializationDecl * 182b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas GregorClassTemplateDecl::findPartialSpecialization(QualType T) { 183b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor ASTContext &Context = getASTContext(); 184b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor typedef llvm::FoldingSet<ClassTemplatePartialSpecializationDecl>::iterator 185b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor partial_spec_iterator; 186b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor for (partial_spec_iterator P = getPartialSpecializations().begin(), 187b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor PEnd = getPartialSpecializations().end(); 188b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor P != PEnd; ++P) { 189b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor if (Context.hasSameType(Context.getTypeDeclType(&*P), T)) 190b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor return &*P; 191b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor } 1921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 193b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor return 0; 194b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor} 195b88e888404ad0a2bdd9bfae457e8530bb38a87c5Douglas Gregor 1967da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas GregorQualType ClassTemplateDecl::getInjectedClassNameType(ASTContext &Context) { 1977da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor if (!CommonPtr->InjectedClassNameType.isNull()) 1987da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor return CommonPtr->InjectedClassNameType; 1997da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 2007da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // FIXME: n2800 14.6.1p1 should say how the template arguments 2017da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // corresponding to template parameter packs should be pack 2027da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // expansions. We already say that in 14.6.2.1p2, so it would be 2037da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor // better to fix that redundancy. 2047da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 2057da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateParameterList *Params = getTemplateParameters(); 2067da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor llvm::SmallVector<TemplateArgument, 16> TemplateArgs; 2077da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateArgs.reserve(Params->size()); 2081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump for (TemplateParameterList::iterator Param = Params->begin(), 2091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ParamEnd = Params->end(); 2107da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor Param != ParamEnd; ++Param) { 2117da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor if (isa<TemplateTypeParmDecl>(*Param)) { 2127da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor QualType ParamType = Context.getTypeDeclType(cast<TypeDecl>(*Param)); 213833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall TemplateArgs.push_back(TemplateArgument(ParamType)); 2141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } else if (NonTypeTemplateParmDecl *NTTP = 2157da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor dyn_cast<NonTypeTemplateParmDecl>(*Param)) { 2167da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor Expr *E = new (Context) DeclRefExpr(NTTP, NTTP->getType(), 2177da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor NTTP->getLocation(), 2187da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor NTTP->getType()->isDependentType(), 2197da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor /*Value-dependent=*/true); 2207da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateArgs.push_back(TemplateArgument(E)); 2211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } else { 2227da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*Param); 223833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall TemplateArgs.push_back(TemplateArgument(TTP)); 2247da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor } 2257da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor } 2267da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 2277da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor CommonPtr->InjectedClassNameType 2281275ae098acda31fe0e434510c729fcfed0458a1Douglas Gregor = Context.getTemplateSpecializationType(TemplateName(this), 2297da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor &TemplateArgs[0], 2301275ae098acda31fe0e434510c729fcfed0458a1Douglas Gregor TemplateArgs.size()); 2317da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor return CommonPtr->InjectedClassNameType; 2327da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor} 2337da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor 234aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 235aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// TemplateTypeParm Allocation/Deallocation Method Implementations 236aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 237aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 238aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTypeParmDecl * 239aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTypeParmDecl::Create(ASTContext &C, DeclContext *DC, 240aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, unsigned D, unsigned P, 2416d845ae1baf77691bca080e0762a1d45ee017f70Anders Carlsson IdentifierInfo *Id, bool Typename, 2426d845ae1baf77691bca080e0762a1d45ee017f70Anders Carlsson bool ParameterPack) { 24376e4ce42a30cee4dc40ce7c6014874fbc4f9baa7Anders Carlsson QualType Type = C.getTemplateTypeParmType(D, P, ParameterPack, Id); 2446d845ae1baf77691bca080e0762a1d45ee017f70Anders Carlsson return new (C) TemplateTypeParmDecl(DC, L, Id, Typename, Type, ParameterPack); 245aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 246aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 247833ca991c1bfc967f0995974ca86f66ba1f666b5John McCallSourceLocation TemplateTypeParmDecl::getDefaultArgumentLoc() const { 248833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall return DefaultArgument->getTypeLoc().getFullSourceRange().getBegin(); 249833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall} 250833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall 251ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregorunsigned TemplateTypeParmDecl::getDepth() const { 252ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return TypeForDecl->getAs<TemplateTypeParmType>()->getDepth(); 253ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor} 254ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor 255ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregorunsigned TemplateTypeParmDecl::getIndex() const { 256ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor return TypeForDecl->getAs<TemplateTypeParmType>()->getIndex(); 257ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor} 258ed9c0f90b7e0811c209b95e39fe07c211c531285Douglas Gregor 259aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 260aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// NonTypeTemplateParmDecl Method Implementations 261aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 262aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 263aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorNonTypeTemplateParmDecl * 264aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorNonTypeTemplateParmDecl::Create(ASTContext &C, DeclContext *DC, 265aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, unsigned D, unsigned P, 266aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor IdentifierInfo *Id, QualType T, 267a5d82000f7b173a0a5ce34dc8c09a03f98d9e439Argyrios Kyrtzidis DeclaratorInfo *DInfo) { 268a5d82000f7b173a0a5ce34dc8c09a03f98d9e439Argyrios Kyrtzidis return new (C) NonTypeTemplateParmDecl(DC, L, D, P, Id, T, DInfo); 269aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 270aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 271d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas GregorSourceLocation NonTypeTemplateParmDecl::getDefaultArgumentLoc() const { 272d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor return DefaultArgument? DefaultArgument->getSourceRange().getBegin() 2731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : SourceLocation(); 274d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor} 275d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor 276aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 277aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor// TemplateTemplateParmDecl Method Implementations 278aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor//===----------------------------------------------------------------------===// 279aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 280aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTemplateParmDecl * 281aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas GregorTemplateTemplateParmDecl::Create(ASTContext &C, DeclContext *DC, 282aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor SourceLocation L, unsigned D, unsigned P, 283aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor IdentifierInfo *Id, 284aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor TemplateParameterList *Params) { 285aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor return new (C) TemplateTemplateParmDecl(DC, L, D, P, Id, Params); 286aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor} 287aaba5e346dffdbad5d1c42765a89e4a7afb0da67Douglas Gregor 288d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas GregorSourceLocation TemplateTemplateParmDecl::getDefaultArgumentLoc() const { 289d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor return DefaultArgument? DefaultArgument->getSourceRange().getBegin() 2901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : SourceLocation(); 291d684b0027e16163c4bdba3e2f8bfadda7d62a0d3Douglas Gregor} 2923e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor 2933e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor//===----------------------------------------------------------------------===// 2949ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson// TemplateArgumentListBuilder Implementation 2959ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson//===----------------------------------------------------------------------===// 296fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson 297fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::Append(const TemplateArgument& Arg) { 2989ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson switch (Arg.getKind()) { 299fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson default: break; 300fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson case TemplateArgument::Type: 301467b27b9a24bdc823218ad1ad0e37673b6cc1e83John McCall assert(Arg.getAsType().isCanonical() && "Type must be canonical!"); 302fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson break; 3039ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson } 3041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 305fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(NumFlatArgs < MaxFlatArgs && "Argument list builder is full!"); 3061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump assert(!StructuredArgs && 307fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson "Can't append arguments when an argument pack has been added!"); 3081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 309fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (!FlatArgs) 310fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson FlatArgs = new TemplateArgument[MaxFlatArgs]; 3111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 312fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson FlatArgs[NumFlatArgs++] = Arg; 3139ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson} 3149ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson 315fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::BeginPack() { 316fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(!AddingToPack && "Already adding to pack!"); 317fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(!StructuredArgs && "Argument list already contains a pack!"); 3181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 319fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson AddingToPack = true; 320fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson PackBeginIndex = NumFlatArgs; 32167e332009c6e349dc34700f539747afcff990336Anders Carlsson} 32267e332009c6e349dc34700f539747afcff990336Anders Carlsson 323fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::EndPack() { 324fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(AddingToPack && "Not adding to pack!"); 325fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson assert(!StructuredArgs && "Argument list already contains a pack!"); 3261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 327fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson AddingToPack = false; 3283b36b66a00b7d5bab71b486a54694f0ae397bddbAnders Carlsson 329fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArgs = new TemplateArgument[MaxStructuredArgs]; 3301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 331fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson // First copy the flat entries over to the list (if any) 332fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson for (unsigned I = 0; I != PackBeginIndex; ++I) { 333fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumStructuredArgs++; 334fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArgs[I] = FlatArgs[I]; 335fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson } 3361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 337fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson // Next, set the pack. 338fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson TemplateArgument *PackArgs = 0; 339fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson unsigned NumPackArgs = NumFlatArgs - PackBeginIndex; 340fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (NumPackArgs) 341fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson PackArgs = &FlatArgs[PackBeginIndex]; 3421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump StructuredArgs[NumStructuredArgs++].setArgumentPack(PackArgs, NumPackArgs, 344fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson /*CopyArgs=*/false); 345fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson} 346fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson 347fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlssonvoid TemplateArgumentListBuilder::ReleaseArgs() { 348fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson FlatArgs = 0; 349fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumFlatArgs = 0; 350fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson MaxFlatArgs = 0; 351fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArgs = 0; 352fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumStructuredArgs = 0; 353fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson MaxStructuredArgs = 0; 354fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson} 35567e332009c6e349dc34700f539747afcff990336Anders Carlsson 3569ba41645892da0000fe8a7832b80208f44dafedaAnders Carlsson//===----------------------------------------------------------------------===// 3577e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor// TemplateArgumentList Implementation 3587e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor//===----------------------------------------------------------------------===// 3597e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas GregorTemplateArgumentList::TemplateArgumentList(ASTContext &Context, 360e9c904b082ac3299831704a69066b86ab0f78becAnders Carlsson TemplateArgumentListBuilder &Builder, 361fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson bool TakeArgs) 3621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : FlatArguments(Builder.getFlatArguments(), TakeArgs), 3631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump NumFlatArguments(Builder.flatSize()), 364fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArguments(Builder.getStructuredArguments(), TakeArgs), 365fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson NumStructuredArguments(Builder.structuredSize()) { 3661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 367fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (!TakeArgs) 368fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson return; 3691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 370fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson if (Builder.getStructuredArguments() == Builder.getFlatArguments()) 371fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson StructuredArguments.setInt(0); 372fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson Builder.ReleaseArgs(); 3737e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor} 3747e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor 375b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas GregorTemplateArgumentList::TemplateArgumentList(const TemplateArgumentList &Other) 376b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor : FlatArguments(Other.FlatArguments.getPointer(), 1), 377b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor NumFlatArguments(Other.flat_size()), 378b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor StructuredArguments(Other.StructuredArguments.getPointer(), 1), 379b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor NumStructuredArguments(Other.NumStructuredArguments) { } 380b9aa6b214c8fbc3e081dde575eef1f0913d48bdcDouglas Gregor 3817e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas GregorTemplateArgumentList::~TemplateArgumentList() { 3827e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor // FIXME: Deallocate template arguments 3837e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor} 3847e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor 3857e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor//===----------------------------------------------------------------------===// 3863e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor// ClassTemplateSpecializationDecl Implementation 3873e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor//===----------------------------------------------------------------------===// 3883e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas GregorClassTemplateSpecializationDecl:: 389c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, 3907e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor DeclContext *DC, SourceLocation L, 3913e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor ClassTemplateDecl *SpecializedTemplate, 3928e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor TemplateArgumentListBuilder &Builder, 3938e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor ClassTemplateSpecializationDecl *PrevDecl) 3941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : CXXRecordDecl(DK, 3951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SpecializedTemplate->getTemplatedDecl()->getTagKind(), 3963e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor DC, L, 3973e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor // FIXME: Should we use DeclarationName for the name of 3983e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor // class template specializations? 3998e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor SpecializedTemplate->getIdentifier(), 4008e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor PrevDecl), 4013e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor SpecializedTemplate(SpecializedTemplate), 402fb25052736439d72a557cddd41dfb927bcb3d3e5Anders Carlsson TemplateArgs(Context, Builder, /*TakeArgs=*/true), 4037e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor SpecializationKind(TSK_Undeclared) { 4043e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor} 4051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 4063e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas GregorClassTemplateSpecializationDecl * 4071eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpClassTemplateSpecializationDecl::Create(ASTContext &Context, 4083e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor DeclContext *DC, SourceLocation L, 4093e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor ClassTemplateDecl *SpecializedTemplate, 41091fdf6f576b91f023c3bebb0d3786aab555cb3c5Anders Carlsson TemplateArgumentListBuilder &Builder, 411cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor ClassTemplateSpecializationDecl *PrevDecl) { 412cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor ClassTemplateSpecializationDecl *Result 4131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump = new (Context)ClassTemplateSpecializationDecl(Context, 414c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor ClassTemplateSpecialization, 4151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump DC, L, 4167e06390f8a60440d6fc5f0e633acdc2edd8ee924Douglas Gregor SpecializedTemplate, 4178e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor Builder, 4188e9e9ef5348bce1a8f0741a5684fac3de9701c28Douglas Gregor PrevDecl); 419cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor Context.getTypeDeclType(Result, PrevDecl); 420cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor return Result; 4213e00bad490f1bae8a2c60f934e7eb5dbb9752c5dDouglas Gregor} 422c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor 42337d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregorvoid ClassTemplateSpecializationDecl::Destroy(ASTContext &C) { 4241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (SpecializedPartialSpecialization *PartialSpec 42537d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>()) 42637d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor C.Deallocate(PartialSpec); 4271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 42837d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor CXXRecordDecl::Destroy(C); 42937d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor} 43037d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor 431136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCallvoid 432136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCallClassTemplateSpecializationDecl::getNameForDiagnostic(std::string &S, 433136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall const PrintingPolicy &Policy, 434136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall bool Qualified) const { 435136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall NamedDecl::getNameForDiagnostic(S, Policy, Qualified); 436136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall 437136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall const TemplateArgumentList &TemplateArgs = getTemplateArgs(); 438136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall S += TemplateSpecializationType::PrintTemplateArgumentList( 439136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall TemplateArgs.getFlatArgumentList(), 440136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall TemplateArgs.flat_size(), 441136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall Policy); 442136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall} 443136a6988960ac3aeb96f298da7a1a182db7217cdJohn McCall 44437d93e9252026d4fb836d9c05d0122a2d46e56beDouglas GregorClassTemplateDecl * 4451eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpClassTemplateSpecializationDecl::getSpecializedTemplate() const { 4461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (SpecializedPartialSpecialization *PartialSpec 44737d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor = SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>()) 44837d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor return PartialSpec->PartialSpecialization->getSpecializedTemplate(); 44937d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor return SpecializedTemplate.get<ClassTemplateDecl*>(); 45037d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor} 45137d93e9252026d4fb836d9c05d0122a2d46e56beDouglas Gregor 452c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor//===----------------------------------------------------------------------===// 453c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor// ClassTemplatePartialSpecializationDecl Implementation 454c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor//===----------------------------------------------------------------------===// 455c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorClassTemplatePartialSpecializationDecl * 456c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorClassTemplatePartialSpecializationDecl:: 457c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas GregorCreate(ASTContext &Context, DeclContext *DC, SourceLocation L, 458c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor TemplateParameterList *Params, 459c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor ClassTemplateDecl *SpecializedTemplate, 46091fdf6f576b91f023c3bebb0d3786aab555cb3c5Anders Carlsson TemplateArgumentListBuilder &Builder, 461833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall TemplateArgumentLoc *ArgInfos, unsigned N, 462c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor ClassTemplatePartialSpecializationDecl *PrevDecl) { 463833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall TemplateArgumentLoc *ClonedArgs = new (Context) TemplateArgumentLoc[N]; 464833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall for (unsigned I = 0; I != N; ++I) 465833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall ClonedArgs[I] = ArgInfos[I]; 466833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall 467c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor ClassTemplatePartialSpecializationDecl *Result 4681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump = new (Context)ClassTemplatePartialSpecializationDecl(Context, 469c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor DC, L, Params, 470c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor SpecializedTemplate, 471833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall Builder, 472833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall ClonedArgs, N, 473833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall PrevDecl); 474c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor Result->setSpecializationKind(TSK_ExplicitSpecialization); 475c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor Context.getTypeDeclType(Result, PrevDecl); 476c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor return Result; 477c8ab2563ac8f7dcc4fdc518b5cc7015ecbb2f003Douglas Gregor} 478dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall 479dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall//===----------------------------------------------------------------------===// 480dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall// FriendTemplateDecl Implementation 481dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall//===----------------------------------------------------------------------===// 482dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall 483dd4a3b0065b9a7e7b00073df415a798886c090f3John McCallFriendTemplateDecl *FriendTemplateDecl::Create(ASTContext &Context, 484dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall DeclContext *DC, 485dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall SourceLocation L, 486dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall unsigned NParams, 487dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall TemplateParameterList **Params, 488dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall FriendUnion Friend, 489dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall SourceLocation FLoc) { 490dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall FriendTemplateDecl *Result 491dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall = new (Context) FriendTemplateDecl(DC, L, NParams, Params, Friend, FLoc); 492dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall return Result; 493dd4a3b0065b9a7e7b00073df415a798886c090f3John McCall} 494