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