TemplateName.cpp revision 90b715e0df34eae2b50b9b43ec60828ed31dcf94
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()) {
471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    return isa<TemplateTemplateParmDecl>(Template) ||
48d99cbe66403ee39c2ee58024b9582b95649a4fc5Douglas Gregor      Template->getDeclContext()->isDependentContext();
497532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  }
507532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor
510bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall  assert(!getAsOverloadedTemplate() &&
520bd6feb9e9d40fc889fd47e899985125a43dfed8John McCall         "overloaded templates shouldn't survive to here");
531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
547532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  return true;
557532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor}
567532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor
571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid
58d249e1d1f1498b81314459ceda19d6ff25c278adDouglas GregorTemplateName::print(llvm::raw_ostream &OS, const PrintingPolicy &Policy,
59d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor                    bool SuppressNNS) const {
607532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>())
61900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer    OS << Template;
627532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  else if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) {
631734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    if (!SuppressNNS)
64d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor      QTN->getQualifier()->print(OS, Policy);
657532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor    if (QTN->hasTemplateKeyword())
667532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor      OS << "template ";
67900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer    OS << QTN->getDecl();
687532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  } else if (DependentTemplateName *DTN = getAsDependentTemplateName()) {
693b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor    if (!SuppressNNS && DTN->getQualifier())
70d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor      DTN->getQualifier()->print(OS, Policy);
717532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor    OS << "template ";
72ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
73ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    if (DTN->isIdentifier())
74ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      OS << DTN->getIdentifier()->getName();
75ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    else
76ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      OS << "operator " << getOperatorSpelling(DTN->getOperator());
777532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  }
787532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor}
79de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor
80db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskinconst DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB,
81db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin                                           TemplateName N) {
82db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  std::string NameStr;
83db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  raw_string_ostream OS(NameStr);
84db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  LangOptions LO;
85db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  LO.CPlusPlus = true;
86db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  LO.Bool = true;
87db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  N.print(OS, PrintingPolicy(LO));
88db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  OS.flush();
89db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  return DB << NameStr;
90db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin}
91db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin
929bde77309fd2f9f7a53446e374472c48c81f5182Douglas Gregorvoid TemplateName::dump() const {
93e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  LangOptions LO;  // FIXME!
94e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  LO.CPlusPlus = true;
95e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  LO.Bool = true;
96e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  print(llvm::errs(), PrintingPolicy(LO));
97de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor}
98