llvm-project
2607 строк · 86.1 Кб
1//===- TypePrinter.cpp - Pretty-Print Clang Types -------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8//9// This contains code to print types from Clang's type system.10//11//===----------------------------------------------------------------------===//12/// RAII object that enables printing of the ARC __strong lifetime53/// qualifier.54class IncludeStrongLifetimeRAII {55PrintingPolicy &Policy;56bool Old;57}173}178}185}190}204}310}322/// Prints the part of the type string before an identifier, e.g. for324/// "int foo[10]" it prints "int ".325void TypePrinter::printBefore(const Type *T,Qualifiers Quals, raw_ostream &OS) {326if (Policy.SuppressSpecifiers && T->isSpecifierType())327return;328}370}375/// Prints the part of the type string after an identifier, e.g. for377/// "int foo[10]" it prints "[10]".378void TypePrinter::printAfter(const Type *T, Qualifiers Quals, raw_ostream &OS) {379switch (T->getTypeClass()) {380#define ABSTRACT_TYPE(CLASS, PARENT)381#define TYPE(CLASS, PARENT) case Type::CLASS: \382print##CLASS##After(cast<CLASS##Type>(T), OS); \383break;384#include "clang/AST/TypeNodes.inc"385}386}387}392}399}403}414}424}431}437// When printing a reference, the referenced type might also be a reference.439// If so, we want to skip that before printing the inner type.440static QualType skipTopLevelReferences(QualType T) {441if (auto *Ref = T->getAs<ReferenceType>())442return skipTopLevelReferences(Ref->getPointeeTypeAsWritten());443return T;444}445}458}470}483}495}512}523}529}545}551}557}563}583}589}593}598}603}608}612}619}629}634}643}651}668}738}742}819}824}831}845}853}858}872}877void879FunctionProtoType::printExceptionSpecification(raw_ostream &OS,880const PrintingPolicy &Policy)881const {882if (hasDynamicExceptionSpec()) {883OS << " throw(";884if (getExceptionSpecType() == EST_MSAny)885OS << "...";886else887for (unsigned I = 0, N = getNumExceptions(); I != N; ++I) {888if (I)889OS << ", ";890}908}923}939}1036}1134}1143}1155}1168}1173}1189}1195}1205}1210}1221}1232}1242}1254}1274}1302}1308}1320}1327}1336}1350}1359}1371/// Appends the given scope to the end of a string.1376void TypePrinter::AppendScope(DeclContext *DC, raw_ostream &OS,1377DeclarationName NameInScope) {1378if (DC->isTranslationUnit())1379return;1380}1425}1520}1542}1548}1568}1578}1585}1606}1612}1633}1639}1653}1700}1714}1722}1730}1742}1760}1768}1774}1791}1798}1805}1852}2033}2039}2044}2050}2072}2116}2123}2136static2141const TemplateArgument &getArgument(const TemplateArgument &A) { return A; }2142}2146}2151}2160}2231/// Evaluates the expression template argument 'Pattern' and returns true2233/// if 'Arg' evaluates to the same result.2234static bool templateArgumentExpressionsEqual(ASTContext const &Ctx,2235TemplateArgument const &Pattern,2236TemplateArgument const &Arg) {2237if (Pattern.getKind() != TemplateArgument::Expression)2238return false;2239}2261}2301}2326}2394}2401}2408}2415}2420// Appends qualifiers to the given string, separated by spaces. Will2422// prefix a space if the string is non-empty. Will not append a final2423// space.2424std::string Qualifiers::getAsString(const PrintingPolicy &Policy) const {2425SmallString<64> Buf;2426llvm::raw_svector_ostream StrOS(Buf);2427print(StrOS, Policy);2428return std::string(StrOS.str());2429}2430}2447}2491// Appends qualifiers to the given string, separated by spaces. Will2493// prefix a space if the string is non-empty. Will not append a final2494// space.2495void Qualifiers::print(raw_ostream &OS, const PrintingPolicy& Policy,2496bool appendSpaceIfNonEmpty) const {2497bool addSpace = false;2498}2554}2558}2564}2571}2577}2586}2592}2602}2608