TemplateName.cpp revision 6b5415196327fa8ef00f028ba175fafef1738ae1
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
631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid
64d249e1d1f1498b81314459ceda19d6ff25c278adDouglas GregorTemplateName::print(llvm::raw_ostream &OS, const PrintingPolicy &Policy,
65d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor                    bool SuppressNNS) const {
667532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>())
67900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer    OS << Template;
687532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  else if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) {
691734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    if (!SuppressNNS)
70d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor      QTN->getQualifier()->print(OS, Policy);
717532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor    if (QTN->hasTemplateKeyword())
727532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor      OS << "template ";
73900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer    OS << QTN->getDecl();
747532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  } else if (DependentTemplateName *DTN = getAsDependentTemplateName()) {
753b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor    if (!SuppressNNS && DTN->getQualifier())
76d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor      DTN->getQualifier()->print(OS, Policy);
777532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor    OS << "template ";
78ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor
79ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    if (DTN->isIdentifier())
80ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      OS << DTN->getIdentifier()->getName();
81ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor    else
82ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      OS << "operator " << getOperatorSpelling(DTN->getOperator());
837532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  }
847532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor}
85de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor
86db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskinconst DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB,
87db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin                                           TemplateName N) {
88db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  std::string NameStr;
89db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  raw_string_ostream OS(NameStr);
90db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  LangOptions LO;
91db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  LO.CPlusPlus = true;
92db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  LO.Bool = true;
93db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  N.print(OS, PrintingPolicy(LO));
94db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  OS.flush();
95db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin  return DB << NameStr;
96db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin}
97db88d8ad74097e2601d81ee863ce46a8a48a7034Jeffrey Yasskin
989bde77309fd2f9f7a53446e374472c48c81f5182Douglas Gregorvoid TemplateName::dump() const {
99e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  LangOptions LO;  // FIXME!
100e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  LO.CPlusPlus = true;
101e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  LO.Bool = true;
102e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner  print(llvm::errs(), PrintingPolicy(LO));
103de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor}
104