TemplateName.cpp revision 1aee05d08b2184acadeb36de300e216390780d6c
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 301aee05d08b2184acadeb36de300e216390780d6cDouglas Gregorvoid SubstTemplateTemplateParmPackStorage::Profile(llvm::FoldingSetNodeID &ID) { 311aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor Profile(ID, Context, Parameter, TemplateArgument(Arguments, size())); 321aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor} 331aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor 341aee05d08b2184acadeb36de300e216390780d6cDouglas Gregorvoid SubstTemplateTemplateParmPackStorage::Profile(llvm::FoldingSetNodeID &ID, 351aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor ASTContext &Context, 361aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor TemplateTemplateParmDecl *Parameter, 371aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor const TemplateArgument &ArgPack) { 381aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor ID.AddPointer(Parameter); 391aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor ArgPack.Profile(ID, Context); 401aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor} 411aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor 4290b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios KyrtzidisTemplateName::NameKind TemplateName::getKind() const { 4390b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis if (Storage.is<TemplateDecl *>()) 4490b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return Template; 451aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor if (Storage.is<DependentTemplateName *>()) 461aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor return DependentTemplate; 4790b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis if (Storage.is<QualifiedTemplateName *>()) 4890b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return QualifiedTemplate; 491aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor 501aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor return getAsOverloadedTemplate()? OverloadedTemplate 511aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor : SubstTemplateTemplateParmPack; 5290b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis} 5390b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis 547532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas GregorTemplateDecl *TemplateName::getAsTemplateDecl() const { 557532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>()) 567532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return Template; 571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 587532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) 597532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return QTN->getTemplateDecl(); 607532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 617532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return 0; 627532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 637532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 647532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregorbool TemplateName::isDependent() const { 657532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = getAsTemplateDecl()) { 666b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis if (isa<TemplateTemplateParmDecl>(Template)) 676b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis return true; 686b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // FIXME: Hack, getDeclContext() can be null if Template is still 696b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // initializing due to PCH reading, so we check it before using it. 706b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // Should probably modify TemplateSpecializationType to allow constructing 716b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // it without the isDependent() checking. 726b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis return Template->getDeclContext() && 736b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis Template->getDeclContext()->isDependentContext(); 747532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor } 757532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 760bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall assert(!getAsOverloadedTemplate() && 770bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall "overloaded templates shouldn't survive to here"); 781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 797532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return true; 807532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 817532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 82d0937224f383c7cc72c947119380f9713a070c73Douglas Gregorbool TemplateName::containsUnexpandedParameterPack() const { 83d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (TemplateDecl *Template = getAsTemplateDecl()) { 84d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (TemplateTemplateParmDecl *TTP 85d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor = dyn_cast<TemplateTemplateParmDecl>(Template)) 86d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return TTP->isParameterPack(); 87d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 88d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return false; 89d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor } 90d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 91d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (DependentTemplateName *DTN = getAsDependentTemplateName()) 92d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return DTN->getQualifier() && 93d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor DTN->getQualifier()->containsUnexpandedParameterPack(); 94d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 951aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor return getAsSubstTemplateTemplateParmPack() != 0; 96d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor} 97d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid 99d249e1d1f1498b81314459ceda19d6ff25c278adDouglas GregorTemplateName::print(llvm::raw_ostream &OS, const PrintingPolicy &Policy, 100d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor bool SuppressNNS) const { 1017532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>()) 102900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer OS << Template; 1037532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor else if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) { 1041734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor if (!SuppressNNS) 105d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor QTN->getQualifier()->print(OS, Policy); 1067532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (QTN->hasTemplateKeyword()) 1077532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor OS << "template "; 108900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer OS << QTN->getDecl(); 1097532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor } else if (DependentTemplateName *DTN = getAsDependentTemplateName()) { 1103b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor if (!SuppressNNS && DTN->getQualifier()) 111d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor DTN->getQualifier()->print(OS, Policy); 1127532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor OS << "template "; 113ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor 114ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor if (DTN->isIdentifier()) 115ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor OS << DTN->getIdentifier()->getName(); 116ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor else 117ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor OS << "operator " << getOperatorSpelling(DTN->getOperator()); 1181aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor } else if (SubstTemplateTemplateParmPackStorage *SubstPack 1191aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor = getAsSubstTemplateTemplateParmPack()) 1201aee05d08b2184acadeb36de300e216390780d6cDouglas Gregor OS << SubstPack->getParameterPack()->getNameAsString(); 1217532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 122de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor 123db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskinconst DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB, 124db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin TemplateName N) { 125db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin std::string NameStr; 126db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin raw_string_ostream OS(NameStr); 127db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LangOptions LO; 128db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LO.CPlusPlus = true; 129db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LO.Bool = true; 130db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin N.print(OS, PrintingPolicy(LO)); 131db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin OS.flush(); 132db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin return DB << NameStr; 133db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin} 134db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin 1359bde77309fd2f9f7a53446e374472c48c81f5182Douglas Gregorvoid TemplateName::dump() const { 136e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LangOptions LO; // FIXME! 137e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LO.CPlusPlus = true; 138e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LO.Bool = true; 139e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner print(llvm::errs(), PrintingPolicy(LO)); 140de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor} 141