123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293 |
- //===- TemplateName.cpp - C++ Template Name Representation ----------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file defines the TemplateName interface and subclasses.
- //
- //===----------------------------------------------------------------------===//
- #include "clang/AST/TemplateName.h"
- #include "clang/AST/Decl.h"
- #include "clang/AST/DeclBase.h"
- #include "clang/AST/DeclTemplate.h"
- #include "clang/AST/DependenceFlags.h"
- #include "clang/AST/NestedNameSpecifier.h"
- #include "clang/AST/PrettyPrinter.h"
- #include "clang/AST/TemplateBase.h"
- #include "clang/Basic/Diagnostic.h"
- #include "clang/Basic/LLVM.h"
- #include "clang/Basic/LangOptions.h"
- #include "clang/Basic/OperatorKinds.h"
- #include "llvm/ADT/ArrayRef.h"
- #include "llvm/ADT/FoldingSet.h"
- #include "llvm/Support/Casting.h"
- #include "llvm/Support/Compiler.h"
- #include "llvm/Support/raw_ostream.h"
- #include <cassert>
- #include <string>
- using namespace clang;
- TemplateArgument
- SubstTemplateTemplateParmPackStorage::getArgumentPack() const {
- return TemplateArgument(llvm::makeArrayRef(Arguments, size()));
- }
- void SubstTemplateTemplateParmStorage::Profile(llvm::FoldingSetNodeID &ID) {
- Profile(ID, Parameter, Replacement);
- }
- void SubstTemplateTemplateParmStorage::Profile(llvm::FoldingSetNodeID &ID,
- TemplateTemplateParmDecl *parameter,
- TemplateName replacement) {
- ID.AddPointer(parameter);
- ID.AddPointer(replacement.getAsVoidPointer());
- }
- void SubstTemplateTemplateParmPackStorage::Profile(llvm::FoldingSetNodeID &ID,
- ASTContext &Context) {
- Profile(ID, Context, Parameter, getArgumentPack());
- }
- void SubstTemplateTemplateParmPackStorage::Profile(llvm::FoldingSetNodeID &ID,
- ASTContext &Context,
- TemplateTemplateParmDecl *Parameter,
- const TemplateArgument &ArgPack) {
- ID.AddPointer(Parameter);
- ArgPack.Profile(ID, Context);
- }
- TemplateName::TemplateName(void *Ptr) {
- Storage = StorageType::getFromOpaqueValue(Ptr);
- }
- TemplateName::TemplateName(TemplateDecl *Template) : Storage(Template) {}
- TemplateName::TemplateName(OverloadedTemplateStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(AssumedTemplateStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(SubstTemplateTemplateParmStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(SubstTemplateTemplateParmPackStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(QualifiedTemplateName *Qual) : Storage(Qual) {}
- TemplateName::TemplateName(DependentTemplateName *Dep) : Storage(Dep) {}
- bool TemplateName::isNull() const { return Storage.isNull(); }
- TemplateName::NameKind TemplateName::getKind() const {
- if (Storage.is<TemplateDecl *>())
- return Template;
- if (Storage.is<DependentTemplateName *>())
- return DependentTemplate;
- if (Storage.is<QualifiedTemplateName *>())
- return QualifiedTemplate;
- UncommonTemplateNameStorage *uncommon
- = Storage.get<UncommonTemplateNameStorage*>();
- if (uncommon->getAsOverloadedStorage())
- return OverloadedTemplate;
- if (uncommon->getAsAssumedTemplateName())
- return AssumedTemplate;
- if (uncommon->getAsSubstTemplateTemplateParm())
- return SubstTemplateTemplateParm;
- return SubstTemplateTemplateParmPack;
- }
- TemplateDecl *TemplateName::getAsTemplateDecl() const {
- if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>())
- return Template;
- if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName())
- return QTN->getTemplateDecl();
- if (SubstTemplateTemplateParmStorage *sub = getAsSubstTemplateTemplateParm())
- return sub->getReplacement().getAsTemplateDecl();
- return nullptr;
- }
- OverloadedTemplateStorage *TemplateName::getAsOverloadedTemplate() const {
- if (UncommonTemplateNameStorage *Uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return Uncommon->getAsOverloadedStorage();
- return nullptr;
- }
- AssumedTemplateStorage *TemplateName::getAsAssumedTemplateName() const {
- if (UncommonTemplateNameStorage *Uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return Uncommon->getAsAssumedTemplateName();
- return nullptr;
- }
- SubstTemplateTemplateParmStorage *
- TemplateName::getAsSubstTemplateTemplateParm() const {
- if (UncommonTemplateNameStorage *uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return uncommon->getAsSubstTemplateTemplateParm();
- return nullptr;
- }
- SubstTemplateTemplateParmPackStorage *
- TemplateName::getAsSubstTemplateTemplateParmPack() const {
- if (UncommonTemplateNameStorage *Uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return Uncommon->getAsSubstTemplateTemplateParmPack();
- return nullptr;
- }
- QualifiedTemplateName *TemplateName::getAsQualifiedTemplateName() const {
- return Storage.dyn_cast<QualifiedTemplateName *>();
- }
- DependentTemplateName *TemplateName::getAsDependentTemplateName() const {
- return Storage.dyn_cast<DependentTemplateName *>();
- }
- TemplateName TemplateName::getNameToSubstitute() const {
- TemplateDecl *Decl = getAsTemplateDecl();
- // Substituting a dependent template name: preserve it as written.
- if (!Decl)
- return *this;
- // If we have a template declaration, use the most recent non-friend
- // declaration of that template.
- Decl = cast<TemplateDecl>(Decl->getMostRecentDecl());
- while (Decl->getFriendObjectKind()) {
- Decl = cast<TemplateDecl>(Decl->getPreviousDecl());
- assert(Decl && "all declarations of template are friends");
- }
- return TemplateName(Decl);
- }
- TemplateNameDependence TemplateName::getDependence() const {
- auto D = TemplateNameDependence::None;
- switch (getKind()) {
- case TemplateName::NameKind::QualifiedTemplate:
- D |= toTemplateNameDependence(
- getAsQualifiedTemplateName()->getQualifier()->getDependence());
- break;
- case TemplateName::NameKind::DependentTemplate:
- D |= toTemplateNameDependence(
- getAsDependentTemplateName()->getQualifier()->getDependence());
- break;
- case TemplateName::NameKind::SubstTemplateTemplateParmPack:
- D |= TemplateNameDependence::UnexpandedPack;
- break;
- case TemplateName::NameKind::OverloadedTemplate:
- llvm_unreachable("overloaded templates shouldn't survive to here.");
- default:
- break;
- }
- if (TemplateDecl *Template = getAsTemplateDecl()) {
- if (auto *TTP = dyn_cast<TemplateTemplateParmDecl>(Template)) {
- D |= TemplateNameDependence::DependentInstantiation;
- if (TTP->isParameterPack())
- D |= TemplateNameDependence::UnexpandedPack;
- }
- // FIXME: Hack, getDeclContext() can be null if Template is still
- // initializing due to PCH reading, so we check it before using it.
- // Should probably modify TemplateSpecializationType to allow constructing
- // it without the isDependent() checking.
- if (Template->getDeclContext() &&
- Template->getDeclContext()->isDependentContext())
- D |= TemplateNameDependence::DependentInstantiation;
- } else {
- D |= TemplateNameDependence::DependentInstantiation;
- }
- return D;
- }
- bool TemplateName::isDependent() const {
- return getDependence() & TemplateNameDependence::Dependent;
- }
- bool TemplateName::isInstantiationDependent() const {
- return getDependence() & TemplateNameDependence::Instantiation;
- }
- bool TemplateName::containsUnexpandedParameterPack() const {
- return getDependence() & TemplateNameDependence::UnexpandedPack;
- }
- void TemplateName::print(raw_ostream &OS, const PrintingPolicy &Policy,
- Qualified Qual) const {
- if (TemplateDecl *Template = Storage.dyn_cast<TemplateDecl *>())
- if (Policy.CleanUglifiedParameters &&
- isa<TemplateTemplateParmDecl>(Template) && Template->getIdentifier())
- OS << Template->getIdentifier()->deuglifiedName();
- else if (Qual == Qualified::Fully &&
- getDependence() !=
- TemplateNameDependenceScope::DependentInstantiation)
- Template->printQualifiedName(OS, Policy);
- else
- OS << *Template;
- else if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) {
- if (Qual == Qualified::Fully &&
- getDependence() !=
- TemplateNameDependenceScope::DependentInstantiation) {
- QTN->getTemplateDecl()->printQualifiedName(OS, Policy);
- return;
- }
- if (Qual == Qualified::AsWritten)
- QTN->getQualifier()->print(OS, Policy);
- if (QTN->hasTemplateKeyword())
- OS << "template ";
- OS << *QTN->getDecl();
- } else if (DependentTemplateName *DTN = getAsDependentTemplateName()) {
- if (Qual == Qualified::AsWritten && DTN->getQualifier())
- DTN->getQualifier()->print(OS, Policy);
- OS << "template ";
- if (DTN->isIdentifier())
- OS << DTN->getIdentifier()->getName();
- else
- OS << "operator " << getOperatorSpelling(DTN->getOperator());
- } else if (SubstTemplateTemplateParmStorage *subst
- = getAsSubstTemplateTemplateParm()) {
- subst->getReplacement().print(OS, Policy, Qual);
- } else if (SubstTemplateTemplateParmPackStorage *SubstPack
- = getAsSubstTemplateTemplateParmPack())
- OS << *SubstPack->getParameterPack();
- else if (AssumedTemplateStorage *Assumed = getAsAssumedTemplateName()) {
- Assumed->getDeclName().print(OS, Policy);
- } else {
- OverloadedTemplateStorage *OTS = getAsOverloadedTemplate();
- (*OTS->begin())->printName(OS);
- }
- }
- const StreamingDiagnostic &clang::operator<<(const StreamingDiagnostic &DB,
- TemplateName N) {
- std::string NameStr;
- llvm::raw_string_ostream OS(NameStr);
- LangOptions LO;
- LO.CPlusPlus = true;
- LO.Bool = true;
- OS << '\'';
- N.print(OS, PrintingPolicy(LO));
- OS << '\'';
- OS.flush();
- return DB << NameStr;
- }
- void TemplateName::dump(raw_ostream &OS) const {
- LangOptions LO; // FIXME!
- LO.CPlusPlus = true;
- LO.Bool = true;
- print(OS, PrintingPolicy(LO));
- }
- LLVM_DUMP_METHOD void TemplateName::dump() const {
- dump(llvm::errs());
- }
|