TemplateName.cpp revision d0937224f383c7cc72c947119380f9713a070c73
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" 157532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor#include "clang/AST/DeclTemplate.h" 167532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor#include "clang/AST/NestedNameSpecifier.h" 17d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor#include "clang/AST/PrettyPrinter.h" 18db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin#include "clang/Basic/Diagnostic.h" 19e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner#include "clang/Basic/LangOptions.h" 207532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor#include "llvm/Support/raw_ostream.h" 217532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregorusing namespace clang; 22db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskinusing namespace llvm; 237532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 2490b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios KyrtzidisTemplateName::NameKind TemplateName::getKind() const { 2590b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis if (Storage.is<TemplateDecl *>()) 2690b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return Template; 2790b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis if (Storage.is<OverloadedTemplateStorage *>()) 2890b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return OverloadedTemplate; 2990b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis if (Storage.is<QualifiedTemplateName *>()) 3090b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return QualifiedTemplate; 3190b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis assert(Storage.is<DependentTemplateName *>() && "There's a case unhandled!"); 3290b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis return DependentTemplate; 3390b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis} 3490b715e0df34eae2b50b9b43ec60828ed31dcf94Argyrios Kyrtzidis 357532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas GregorTemplateDecl *TemplateName::getAsTemplateDecl() const { 367532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>()) 377532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return Template; 381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 397532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) 407532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return QTN->getTemplateDecl(); 417532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 427532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return 0; 437532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 447532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 457532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregorbool TemplateName::isDependent() const { 467532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = getAsTemplateDecl()) { 476b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis if (isa<TemplateTemplateParmDecl>(Template)) 486b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis return true; 496b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // FIXME: Hack, getDeclContext() can be null if Template is still 506b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // initializing due to PCH reading, so we check it before using it. 516b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // Should probably modify TemplateSpecializationType to allow constructing 526b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis // it without the isDependent() checking. 536b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis return Template->getDeclContext() && 546b5415196327fa8ef00f028ba175fafef1738ae1Argyrios Kyrtzidis Template->getDeclContext()->isDependentContext(); 557532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor } 567532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 570bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall assert(!getAsOverloadedTemplate() && 580bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall "overloaded templates shouldn't survive to here"); 591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 607532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor return true; 617532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 627532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor 63d0937224f383c7cc72c947119380f9713a070c73Douglas Gregorbool TemplateName::containsUnexpandedParameterPack() const { 64d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (TemplateDecl *Template = getAsTemplateDecl()) { 65d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (TemplateTemplateParmDecl *TTP 66d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor = dyn_cast<TemplateTemplateParmDecl>(Template)) 67d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return TTP->isParameterPack(); 68d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 69d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return false; 70d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor } 71d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 72d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor if (DependentTemplateName *DTN = getAsDependentTemplateName()) 73d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return DTN->getQualifier() && 74d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor DTN->getQualifier()->containsUnexpandedParameterPack(); 75d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 76d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor return false; 77d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor} 78d0937224f383c7cc72c947119380f9713a070c73Douglas Gregor 791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid 80d249e1d1f1498b81314459ceda19d6ff25c278adDouglas GregorTemplateName::print(llvm::raw_ostream &OS, const PrintingPolicy &Policy, 81d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor bool SuppressNNS) const { 827532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>()) 83900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer OS << Template; 847532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor else if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) { 851734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor if (!SuppressNNS) 86d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor QTN->getQualifier()->print(OS, Policy); 877532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor if (QTN->hasTemplateKeyword()) 887532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor OS << "template "; 89900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer OS << QTN->getDecl(); 907532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor } else if (DependentTemplateName *DTN = getAsDependentTemplateName()) { 913b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor if (!SuppressNNS && DTN->getQualifier()) 92d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor DTN->getQualifier()->print(OS, Policy); 937532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor OS << "template "; 94ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor 95ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor if (DTN->isIdentifier()) 96ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor OS << DTN->getIdentifier()->getName(); 97ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor else 98ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor OS << "operator " << getOperatorSpelling(DTN->getOperator()); 997532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor } 1007532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor} 101de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor 102db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskinconst DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB, 103db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin TemplateName N) { 104db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin std::string NameStr; 105db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin raw_string_ostream OS(NameStr); 106db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LangOptions LO; 107db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LO.CPlusPlus = true; 108db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin LO.Bool = true; 109db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin N.print(OS, PrintingPolicy(LO)); 110db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin OS.flush(); 111db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin return DB << NameStr; 112db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin} 113db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin 1149bde77309fd2f9f7a53446e374472c48c81f5182Douglas Gregorvoid TemplateName::dump() const { 115e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LangOptions LO; // FIXME! 116e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LO.CPlusPlus = true; 117e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner LO.Bool = true; 118e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner print(llvm::errs(), PrintingPolicy(LO)); 119de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor} 120