TemplateName.cpp revision 146060435c3efce95c95a092c7a1eb651cfb9ae0
17532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor//===--- TemplateName.h - C++ Template Name Representation-------*- C++ -*-===// 27532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// 37532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// The LLVM Compiler Infrastructure 47532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// 57532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// This file is distributed under the University of Illinois Open Source 67532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// License. See LICENSE.TXT for details. 77532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// 87532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor//===----------------------------------------------------------------------===// 97532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// 107532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// This file defines the TemplateName interface and subclasses. 117532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor// 127532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor//===----------------------------------------------------------------------===// 13c960ee31c7e22a157a8cd31c92d9a9aa945e1e96Chris Lattner 147532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor#include "clang/AST/TemplateName.h" 151aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor#include "clang/AST/TemplateBase.h" 167532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor#include "clang/AST/DeclTemplate.h" 177532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor#include "clang/AST/NestedNameSpecifier.h" 18d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor#include "clang/AST/PrettyPrinter.h" 19db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin#include "clang/Basic/Diagnostic.h" 20e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner#include "clang/Basic/LangOptions.h" 217532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor#include "llvm/Support/raw_ostream.h" 227532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregorusing namespace clang; 23db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskinusing namespace llvm; 247532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 251aee05d08b2184acadeb36de300e216390780d6cDouglas GregorTemplateArgument 261aee05d08b2184acadeb36de300e216390780d6cDouglas GregorSubstTemplateTemplateParmPackStorage::getArgumentPack() const { 271aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor return TemplateArgument(Arguments, size()); 281aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor} 291aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor 30146060435c3efce95c95a092c7a1eb651cfb9ae0John McCallvoid SubstTemplateTemplateParmStorage::Profile(llvm::FoldingSetNodeID &ID) { 31146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall Profile(ID, Parameter, Replacement); 32146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall} 33146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall 34146060435c3efce95c95a092c7a1eb651cfb9ae0John McCallvoid SubstTemplateTemplateParmStorage::Profile(llvm::FoldingSetNodeID &ID, 35146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall TemplateTemplateParmDecl *parameter, 36146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall TemplateName replacement) { 37146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall ID.AddPointer(parameter); 38146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall ID.AddPointer(replacement.getAsVoidPointer()); 39146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall} 40146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall 41146060435c3efce95c95a092c7a1eb651cfb9ae0John McCallvoid SubstTemplateTemplateParmPackStorage::Profile(llvm::FoldingSetNodeID &ID, 42146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall ASTContext &Context) { 431aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor Profile(ID, Context, Parameter, TemplateArgument(Arguments, size())); 441aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor} 451aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor 461aee05d08b2184acadeb36de300e216390780d6cDouglas Gregorvoid SubstTemplateTemplateParmPackStorage::Profile(llvm::FoldingSetNodeID &ID, 471aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor ASTContext &Context, 481aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor TemplateTemplateParmDecl *Parameter, 491aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor const TemplateArgument &ArgPack) { 501aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor ID.AddPointer(Parameter); 511aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor ArgPack.Profile(ID, Context); 521aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor} 531aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor 5490b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios KyrtzidisTemplateName::NameKind TemplateName::getKind() const { 5590b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis if (Storage.is<TemplateDecl *>()) 5690b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return Template; 571aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor if (Storage.is<DependentTemplateName *>()) 581aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor return DependentTemplate; 5990b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis if (Storage.is<QualifiedTemplateName *>()) 6090b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return QualifiedTemplate; 61146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall 62146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall UncommonTemplateNameStorage *uncommon 63146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall = Storage.get<UncommonTemplateNameStorage*>(); 64146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall if (uncommon->getAsOverloadedStorage()) 65146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall return OverloadedTemplate; 66146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall if (uncommon->getAsSubstTemplateTemplateParm()) 67146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall return SubstTemplateTemplateParm; 68146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall return SubstTemplateTemplateParmPack; 6990b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis} 7090b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis 717532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas GregorTemplateDecl *TemplateName::getAsTemplateDecl() const { 727532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>()) 737532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return Template; 741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 757532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) 767532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return QTN->getTemplateDecl(); 777532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 78146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall if (SubstTemplateTemplateParmStorage *sub = getAsSubstTemplateTemplateParm()) 79146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall return sub->getReplacement().getAsTemplateDecl(); 80146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall 817532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return 0; 827532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 837532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 847532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregorbool TemplateName::isDependent() const { 857532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = getAsTemplateDecl()) { 866b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis if (isa<TemplateTemplateParmDecl>(Template)) 876b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis return true; 886b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // FIXME: Hack, getDeclContext() can be null if Template is still 896b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // initializing due to PCH reading, so we check it before using it. 906b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // Should probably modify TemplateSpecializationType to allow constructing 916b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // it without the isDependent() checking. 926b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis return Template->getDeclContext() && 936b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis Template->getDeclContext()->isDependentContext(); 947532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor } 957532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 960bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall assert(!getAsOverloadedTemplate() && 970bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall "overloaded templates shouldn't survive to here"); 981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 997532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return true; 1007532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 1017532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 102d0937224f383c7cc72c947119380f9713a070c73Douglas Gregorbool TemplateName::containsUnexpandedParameterPack() const { 103d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (TemplateDecl *Template = getAsTemplateDecl()) { 104d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (TemplateTemplateParmDecl *TTP 105d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor = dyn_cast<TemplateTemplateParmDecl>(Template)) 106d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return TTP->isParameterPack(); 107d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 108d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return false; 109d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor } 110d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 111d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (DependentTemplateName *DTN = getAsDependentTemplateName()) 112d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return DTN->getQualifier() && 113d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor DTN->getQualifier()->containsUnexpandedParameterPack(); 114d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 1151aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor return getAsSubstTemplateTemplateParmPack() != 0; 116d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor} 117d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 1181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid 119d249e1d1f1498b81314459ceda19d6ff25c278adDouglas GregorTemplateName::print(llvm::raw_ostream &OS, const PrintingPolicy &Policy, 120d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor bool SuppressNNS) const { 1217532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>()) 122900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer OS << Template; 1237532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor else if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) { 1241734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor if (!SuppressNNS) 125d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor QTN->getQualifier()->print(OS, Policy); 1267532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (QTN->hasTemplateKeyword()) 1277532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor OS << "template "; 128900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer OS << QTN->getDecl(); 1297532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor } else if (DependentTemplateName *DTN = getAsDependentTemplateName()) { 1303b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor if (!SuppressNNS && DTN->getQualifier()) 131d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor DTN->getQualifier()->print(OS, Policy); 1327532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor OS << "template "; 133ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor 134ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor if (DTN->isIdentifier()) 135ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor OS << DTN->getIdentifier()->getName(); 136ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor else 137ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor OS << "operator " << getOperatorSpelling(DTN->getOperator()); 138146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall } else if (SubstTemplateTemplateParmStorage *subst 139146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall = getAsSubstTemplateTemplateParm()) { 140146060435c3efce95c95a092c7a1eb651cfb9ae0John McCall subst->getReplacement().print(OS, Policy, SuppressNNS); 1411aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor } else if (SubstTemplateTemplateParmPackStorage *SubstPack 1421aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor = getAsSubstTemplateTemplateParmPack()) 1431aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor OS << SubstPack->getParameterPack()->getNameAsString(); 1446cd9d4aa13c2145c8b4398453974515b734bfe42Douglas Gregor else { 1456cd9d4aa13c2145c8b4398453974515b734bfe42Douglas Gregor OverloadedTemplateStorage *OTS = getAsOverloadedTemplate(); 1466cd9d4aa13c2145c8b4398453974515b734bfe42Douglas Gregor (*OTS->begin())->printName(OS); 1476cd9d4aa13c2145c8b4398453974515b734bfe42Douglas Gregor } 1487532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 149de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor 150db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskinconst DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB, 151db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin TemplateName N) { 152db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin std::string NameStr; 153db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin raw_string_ostream OS(NameStr); 154db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LangOptions LO; 155db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LO.CPlusPlus = true; 156db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LO.Bool = true; 157db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin N.print(OS, PrintingPolicy(LO)); 158db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin OS.flush(); 159db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin return DB << NameStr; 160db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin} 161db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin 1629bde77309fd2f9f7a53446e374472c48c81f5182Douglas Gregorvoid TemplateName::dump() const { 163e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LangOptions LO; // FIXME! 164e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LO.CPlusPlus = true; 165e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LO.Bool = true; 166e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner print(llvm::errs(), PrintingPolicy(LO)); 167de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor} 168