mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
b36c646914
LLDB would like to substitute the original Archetype names from the source code when demangling symbols instead of the confusing generic 'A', 'B', ... <rdar://problem/48259889>
2386 lines
80 KiB
C++
2386 lines
80 KiB
C++
//===--- NodePrinter.cpp - Swift Demangling Node Printer ------------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file implements the node printer for demangle node trees.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "swift/Basic/STLExtras.h"
|
|
#include "swift/Demangling/Demangle.h"
|
|
#include "swift/AST/Ownership.h"
|
|
#include "swift/Strings.h"
|
|
#include <cstdio>
|
|
#include <cstdlib>
|
|
|
|
using namespace swift;
|
|
using namespace Demangle;
|
|
using llvm::StringRef;
|
|
|
|
[[noreturn]]
|
|
static void printer_unreachable(const char *Message) {
|
|
fprintf(stderr, "fatal error: %s\n", Message);
|
|
std::abort();
|
|
}
|
|
|
|
DemanglerPrinter &DemanglerPrinter::operator<<(unsigned long long n) & {
|
|
char buffer[32];
|
|
snprintf(buffer, sizeof(buffer), "%llu", n);
|
|
Stream.append(buffer);
|
|
return *this;
|
|
}
|
|
DemanglerPrinter &DemanglerPrinter::writeHex(unsigned long long n) & {
|
|
char buffer[32];
|
|
snprintf(buffer, sizeof(buffer), "%llX", n);
|
|
Stream.append(buffer);
|
|
return *this;
|
|
}
|
|
DemanglerPrinter &DemanglerPrinter::operator<<(long long n) & {
|
|
char buffer[32];
|
|
snprintf(buffer, sizeof(buffer), "%lld",n);
|
|
Stream.append(buffer);
|
|
return *this;
|
|
}
|
|
|
|
std::string Demangle::archetypeName(uint64_t index, uint64_t depth) {
|
|
DemanglerPrinter name;
|
|
do {
|
|
name << (char)('A' + (index % 26));
|
|
index /= 26;
|
|
} while (index);
|
|
if (depth != 0)
|
|
name << depth;
|
|
return std::move(name).str();
|
|
}
|
|
|
|
namespace {
|
|
|
|
struct QuotedString {
|
|
std::string Value;
|
|
|
|
explicit QuotedString(std::string Value) : Value(Value) {}
|
|
};
|
|
|
|
static DemanglerPrinter &operator<<(DemanglerPrinter &printer,
|
|
const QuotedString &QS) {
|
|
printer << '"';
|
|
for (auto C : QS.Value) {
|
|
switch (C) {
|
|
case '\\': printer << "\\\\"; break;
|
|
case '\t': printer << "\\t"; break;
|
|
case '\n': printer << "\\n"; break;
|
|
case '\r': printer << "\\r"; break;
|
|
case '"': printer << "\\\""; break;
|
|
case '\'': printer << '\''; break; // no need to escape these
|
|
case '\0': printer << "\\0"; break;
|
|
default:
|
|
auto c = static_cast<char>(C);
|
|
// Other ASCII control characters should get escaped.
|
|
if (c < 0x20 || c == 0x7F) {
|
|
static const char Hexdigit[] = {
|
|
'0', '1', '2', '3', '4', '5', '6', '7', '8', '9',
|
|
'A', 'B', 'C', 'D', 'E', 'F'
|
|
};
|
|
printer << "\\x" << Hexdigit[c >> 4] << Hexdigit[c & 0xF];
|
|
} else {
|
|
printer << c;
|
|
}
|
|
break;
|
|
}
|
|
}
|
|
printer << '"';
|
|
return printer;
|
|
}
|
|
|
|
static StringRef toString(Directness d) {
|
|
switch (d) {
|
|
case Directness::Direct:
|
|
return "direct";
|
|
case Directness::Indirect:
|
|
return "indirect";
|
|
}
|
|
printer_unreachable("bad directness");
|
|
}
|
|
|
|
static StringRef toString(ValueWitnessKind k) {
|
|
switch (k) {
|
|
case ValueWitnessKind::AllocateBuffer:
|
|
return "allocateBuffer";
|
|
case ValueWitnessKind::AssignWithCopy:
|
|
return "assignWithCopy";
|
|
case ValueWitnessKind::AssignWithTake:
|
|
return "assignWithTake";
|
|
case ValueWitnessKind::DeallocateBuffer:
|
|
return "deallocateBuffer";
|
|
case ValueWitnessKind::Destroy:
|
|
return "destroy";
|
|
case ValueWitnessKind::DestroyBuffer:
|
|
return "destroyBuffer";
|
|
case ValueWitnessKind::InitializeBufferWithCopyOfBuffer:
|
|
return "initializeBufferWithCopyOfBuffer";
|
|
case ValueWitnessKind::InitializeBufferWithCopy:
|
|
return "initializeBufferWithCopy";
|
|
case ValueWitnessKind::InitializeWithCopy:
|
|
return "initializeWithCopy";
|
|
case ValueWitnessKind::InitializeBufferWithTake:
|
|
return "initializeBufferWithTake";
|
|
case ValueWitnessKind::InitializeWithTake:
|
|
return "initializeWithTake";
|
|
case ValueWitnessKind::ProjectBuffer:
|
|
return "projectBuffer";
|
|
case ValueWitnessKind::InitializeBufferWithTakeOfBuffer:
|
|
return "initializeBufferWithTakeOfBuffer";
|
|
case ValueWitnessKind::DestroyArray:
|
|
return "destroyArray";
|
|
case ValueWitnessKind::InitializeArrayWithCopy:
|
|
return "initializeArrayWithCopy";
|
|
case ValueWitnessKind::InitializeArrayWithTakeFrontToBack:
|
|
return "initializeArrayWithTakeFrontToBack";
|
|
case ValueWitnessKind::InitializeArrayWithTakeBackToFront:
|
|
return "initializeArrayWithTakeBackToFront";
|
|
case ValueWitnessKind::StoreExtraInhabitant:
|
|
return "storeExtraInhabitant";
|
|
case ValueWitnessKind::GetExtraInhabitantIndex:
|
|
return "getExtraInhabitantIndex";
|
|
case ValueWitnessKind::GetEnumTag:
|
|
return "getEnumTag";
|
|
case ValueWitnessKind::DestructiveProjectEnumData:
|
|
return "destructiveProjectEnumData";
|
|
case ValueWitnessKind::DestructiveInjectEnumTag:
|
|
return "destructiveInjectEnumTag";
|
|
case ValueWitnessKind::GetEnumTagSinglePayload:
|
|
return "getEnumTagSinglePayload";
|
|
case ValueWitnessKind::StoreEnumTagSinglePayload:
|
|
return "storeEnumTagSinglePayload";
|
|
}
|
|
printer_unreachable("bad value witness kind");
|
|
}
|
|
|
|
class NodePrinter {
|
|
private:
|
|
DemanglerPrinter Printer;
|
|
DemangleOptions Options;
|
|
bool SpecializationPrefixPrinted = false;
|
|
bool isValid = true;
|
|
|
|
public:
|
|
NodePrinter(DemangleOptions options) : Options(options) {}
|
|
|
|
std::string printRoot(NodePointer root) {
|
|
isValid = true;
|
|
print(root);
|
|
if (isValid)
|
|
return std::move(Printer).str();
|
|
return "";
|
|
}
|
|
|
|
private:
|
|
/// Called when the node tree in valid.
|
|
///
|
|
/// The demangler already catches most error cases and mostly produces valid
|
|
/// node trees. But some cases are difficult to catch in the demangler and
|
|
/// instead the NodePrinter bails.
|
|
void setInvalid() { isValid = false; }
|
|
|
|
void printChildren(Node::iterator begin,
|
|
Node::iterator end,
|
|
const char *sep = nullptr) {
|
|
for (; begin != end;) {
|
|
print(*begin);
|
|
++begin;
|
|
if (sep && begin != end)
|
|
Printer << sep;
|
|
}
|
|
}
|
|
|
|
void printChildren(NodePointer Node, const char *sep = nullptr) {
|
|
if (!Node)
|
|
return;
|
|
Node::iterator begin = Node->begin(), end = Node->end();
|
|
printChildren(begin, end, sep);
|
|
}
|
|
|
|
NodePointer getFirstChildOfKind(NodePointer Node, Node::Kind kind) {
|
|
if (!Node)
|
|
return nullptr;
|
|
for (NodePointer child : *Node) {
|
|
if (child && child->getKind() == kind)
|
|
return child;
|
|
}
|
|
return nullptr;
|
|
}
|
|
|
|
void printBoundGenericNoSugar(NodePointer Node) {
|
|
if (Node->getNumChildren() < 2)
|
|
return;
|
|
NodePointer typelist = Node->getChild(1);
|
|
print(Node->getChild(0));
|
|
Printer << "<";
|
|
printChildren(typelist, ", ");
|
|
Printer << ">";
|
|
}
|
|
|
|
static bool isSwiftModule(NodePointer node) {
|
|
return (node->getKind() == Node::Kind::Module &&
|
|
node->getText() == STDLIB_NAME);
|
|
}
|
|
|
|
bool printContext(NodePointer Context) {
|
|
if (!Options.QualifyEntities)
|
|
return false;
|
|
|
|
if (Context->getKind() == Node::Kind::Module &&
|
|
Context->getText().startswith(LLDB_EXPRESSIONS_MODULE_NAME_PREFIX)) {
|
|
return Options.DisplayDebuggerGeneratedModule;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
static bool isIdentifier(NodePointer node, StringRef desired) {
|
|
return (node->getKind() == Node::Kind::Identifier &&
|
|
node->getText() == desired);
|
|
}
|
|
|
|
enum class SugarType {
|
|
None,
|
|
Optional,
|
|
ImplicitlyUnwrappedOptional,
|
|
Array,
|
|
Dictionary
|
|
};
|
|
|
|
enum class TypePrinting {
|
|
NoType,
|
|
WithColon,
|
|
FunctionStyle
|
|
};
|
|
|
|
/// Determine whether this is a "simple" type, from the type-simple
|
|
/// production.
|
|
bool isSimpleType(NodePointer Node) {
|
|
switch (Node->getKind()) {
|
|
case Node::Kind::AssociatedType:
|
|
case Node::Kind::AssociatedTypeRef:
|
|
case Node::Kind::BoundGenericClass:
|
|
case Node::Kind::BoundGenericEnum:
|
|
case Node::Kind::BoundGenericStructure:
|
|
case Node::Kind::BoundGenericProtocol:
|
|
case Node::Kind::BoundGenericOtherNominalType:
|
|
case Node::Kind::BoundGenericTypeAlias:
|
|
case Node::Kind::BoundGenericFunction:
|
|
case Node::Kind::BuiltinTypeName:
|
|
case Node::Kind::Class:
|
|
case Node::Kind::DependentGenericType:
|
|
case Node::Kind::DependentMemberType:
|
|
case Node::Kind::DependentGenericParamType:
|
|
case Node::Kind::DynamicSelf:
|
|
case Node::Kind::Enum:
|
|
case Node::Kind::ErrorType:
|
|
case Node::Kind::ExistentialMetatype:
|
|
case Node::Kind::Metatype:
|
|
case Node::Kind::MetatypeRepresentation:
|
|
case Node::Kind::Module:
|
|
case Node::Kind::Tuple:
|
|
case Node::Kind::Protocol:
|
|
case Node::Kind::ProtocolSymbolicReference:
|
|
case Node::Kind::ReturnType:
|
|
case Node::Kind::SILBoxType:
|
|
case Node::Kind::SILBoxTypeWithLayout:
|
|
case Node::Kind::Structure:
|
|
case Node::Kind::OtherNominalType:
|
|
case Node::Kind::TupleElementName:
|
|
case Node::Kind::Type:
|
|
case Node::Kind::TypeAlias:
|
|
case Node::Kind::TypeList:
|
|
case Node::Kind::LabelList:
|
|
case Node::Kind::TypeSymbolicReference:
|
|
case Node::Kind::SugaredOptional:
|
|
case Node::Kind::SugaredArray:
|
|
case Node::Kind::SugaredDictionary:
|
|
case Node::Kind::SugaredParen:
|
|
return true;
|
|
|
|
case Node::Kind::ProtocolList:
|
|
return Node->getChild(0)->getNumChildren() <= 1;
|
|
|
|
case Node::Kind::ProtocolListWithAnyObject:
|
|
return Node->getChild(0)->getChild(0)->getNumChildren() == 0;
|
|
|
|
case Node::Kind::ProtocolListWithClass:
|
|
case Node::Kind::Allocator:
|
|
case Node::Kind::ArgumentTuple:
|
|
case Node::Kind::AssociatedConformanceDescriptor:
|
|
case Node::Kind::AssociatedTypeDescriptor:
|
|
case Node::Kind::AssociatedTypeMetadataAccessor:
|
|
case Node::Kind::AssociatedTypeWitnessTableAccessor:
|
|
case Node::Kind::AutoClosureType:
|
|
case Node::Kind::BaseConformanceDescriptor:
|
|
case Node::Kind::BaseWitnessTableAccessor:
|
|
case Node::Kind::ClassMetadataBaseOffset:
|
|
case Node::Kind::CFunctionPointer:
|
|
case Node::Kind::Constructor:
|
|
case Node::Kind::CoroutineContinuationPrototype:
|
|
case Node::Kind::CurryThunk:
|
|
case Node::Kind::DispatchThunk:
|
|
case Node::Kind::Deallocator:
|
|
case Node::Kind::DeclContext:
|
|
case Node::Kind::DefaultArgumentInitializer:
|
|
case Node::Kind::DefaultAssociatedTypeMetadataAccessor:
|
|
case Node::Kind::DefaultAssociatedConformanceAccessor:
|
|
case Node::Kind::DependentAssociatedTypeRef:
|
|
case Node::Kind::DependentGenericSignature:
|
|
case Node::Kind::DependentGenericParamCount:
|
|
case Node::Kind::DependentGenericConformanceRequirement:
|
|
case Node::Kind::DependentGenericLayoutRequirement:
|
|
case Node::Kind::DependentGenericSameTypeRequirement:
|
|
case Node::Kind::DependentPseudogenericSignature:
|
|
case Node::Kind::Destructor:
|
|
case Node::Kind::DidSet:
|
|
case Node::Kind::DirectMethodReferenceAttribute:
|
|
case Node::Kind::Directness:
|
|
case Node::Kind::DynamicAttribute:
|
|
case Node::Kind::EscapingAutoClosureType:
|
|
case Node::Kind::NoEscapeFunctionType:
|
|
case Node::Kind::ExplicitClosure:
|
|
case Node::Kind::Extension:
|
|
case Node::Kind::EnumCase:
|
|
case Node::Kind::FieldOffset:
|
|
case Node::Kind::FullTypeMetadata:
|
|
case Node::Kind::Function:
|
|
case Node::Kind::FunctionSignatureSpecialization:
|
|
case Node::Kind::FunctionSignatureSpecializationParam:
|
|
case Node::Kind::FunctionSignatureSpecializationReturn:
|
|
case Node::Kind::FunctionSignatureSpecializationParamKind:
|
|
case Node::Kind::FunctionSignatureSpecializationParamPayload:
|
|
case Node::Kind::FunctionType:
|
|
case Node::Kind::GenericProtocolWitnessTable:
|
|
case Node::Kind::GenericProtocolWitnessTableInstantiationFunction:
|
|
case Node::Kind::GenericPartialSpecialization:
|
|
case Node::Kind::GenericPartialSpecializationNotReAbstracted:
|
|
case Node::Kind::GenericSpecialization:
|
|
case Node::Kind::GenericSpecializationNotReAbstracted:
|
|
case Node::Kind::GenericSpecializationParam:
|
|
case Node::Kind::InlinedGenericFunction:
|
|
case Node::Kind::GenericTypeMetadataPattern:
|
|
case Node::Kind::Getter:
|
|
case Node::Kind::Global:
|
|
case Node::Kind::GlobalGetter:
|
|
case Node::Kind::Identifier:
|
|
case Node::Kind::Index:
|
|
case Node::Kind::IVarInitializer:
|
|
case Node::Kind::IVarDestroyer:
|
|
case Node::Kind::ImplEscaping:
|
|
case Node::Kind::ImplConvention:
|
|
case Node::Kind::ImplFunctionAttribute:
|
|
case Node::Kind::ImplFunctionType:
|
|
case Node::Kind::ImplicitClosure:
|
|
case Node::Kind::ImplParameter:
|
|
case Node::Kind::ImplResult:
|
|
case Node::Kind::ImplErrorResult:
|
|
case Node::Kind::InOut:
|
|
case Node::Kind::InfixOperator:
|
|
case Node::Kind::Initializer:
|
|
case Node::Kind::KeyPathGetterThunkHelper:
|
|
case Node::Kind::KeyPathSetterThunkHelper:
|
|
case Node::Kind::KeyPathEqualsThunkHelper:
|
|
case Node::Kind::KeyPathHashThunkHelper:
|
|
case Node::Kind::LazyProtocolWitnessTableAccessor:
|
|
case Node::Kind::LazyProtocolWitnessTableCacheVariable:
|
|
case Node::Kind::LocalDeclName:
|
|
case Node::Kind::MaterializeForSet:
|
|
case Node::Kind::MergedFunction:
|
|
case Node::Kind::Metaclass:
|
|
case Node::Kind::MethodDescriptor:
|
|
case Node::Kind::MethodLookupFunction:
|
|
case Node::Kind::ModifyAccessor:
|
|
case Node::Kind::NativeOwningAddressor:
|
|
case Node::Kind::NativeOwningMutableAddressor:
|
|
case Node::Kind::NativePinningAddressor:
|
|
case Node::Kind::NativePinningMutableAddressor:
|
|
case Node::Kind::NominalTypeDescriptor:
|
|
case Node::Kind::NonObjCAttribute:
|
|
case Node::Kind::Number:
|
|
case Node::Kind::ObjCAttribute:
|
|
case Node::Kind::ObjCBlock:
|
|
case Node::Kind::ObjCMetadataUpdateFunction:
|
|
case Node::Kind::Owned:
|
|
case Node::Kind::OwningAddressor:
|
|
case Node::Kind::OwningMutableAddressor:
|
|
case Node::Kind::PartialApplyForwarder:
|
|
case Node::Kind::PartialApplyObjCForwarder:
|
|
case Node::Kind::PostfixOperator:
|
|
case Node::Kind::PrefixOperator:
|
|
case Node::Kind::PrivateDeclName:
|
|
case Node::Kind::PropertyDescriptor:
|
|
case Node::Kind::ProtocolConformance:
|
|
case Node::Kind::ProtocolConformanceDescriptor:
|
|
case Node::Kind::ProtocolDescriptor:
|
|
case Node::Kind::ProtocolRequirementsBaseDescriptor:
|
|
case Node::Kind::ProtocolSelfConformanceDescriptor:
|
|
case Node::Kind::ProtocolSelfConformanceWitness:
|
|
case Node::Kind::ProtocolSelfConformanceWitnessTable:
|
|
case Node::Kind::ProtocolWitness:
|
|
case Node::Kind::ProtocolWitnessTable:
|
|
case Node::Kind::ProtocolWitnessTableAccessor:
|
|
case Node::Kind::ProtocolWitnessTablePattern:
|
|
case Node::Kind::ReabstractionThunk:
|
|
case Node::Kind::ReabstractionThunkHelper:
|
|
case Node::Kind::ReadAccessor:
|
|
case Node::Kind::RelatedEntityDeclName:
|
|
case Node::Kind::RetroactiveConformance:
|
|
case Node::Kind::Setter:
|
|
case Node::Kind::Shared:
|
|
case Node::Kind::SILBoxLayout:
|
|
case Node::Kind::SILBoxMutableField:
|
|
case Node::Kind::SILBoxImmutableField:
|
|
case Node::Kind::IsSerialized:
|
|
case Node::Kind::SpecializationPassID:
|
|
case Node::Kind::Static:
|
|
case Node::Kind::Subscript:
|
|
case Node::Kind::Suffix:
|
|
case Node::Kind::ThinFunctionType:
|
|
case Node::Kind::TupleElement:
|
|
case Node::Kind::TypeMangling:
|
|
case Node::Kind::TypeMetadata:
|
|
case Node::Kind::TypeMetadataAccessFunction:
|
|
case Node::Kind::TypeMetadataCompletionFunction:
|
|
case Node::Kind::TypeMetadataInstantiationCache:
|
|
case Node::Kind::TypeMetadataInstantiationFunction:
|
|
case Node::Kind::TypeMetadataSingletonInitializationCache:
|
|
case Node::Kind::TypeMetadataLazyCache:
|
|
case Node::Kind::UncurriedFunctionType:
|
|
#define REF_STORAGE(Name, ...) \
|
|
case Node::Kind::Name:
|
|
#include "swift/AST/ReferenceStorage.def"
|
|
case Node::Kind::UnsafeAddressor:
|
|
case Node::Kind::UnsafeMutableAddressor:
|
|
case Node::Kind::ValueWitness:
|
|
case Node::Kind::ValueWitnessTable:
|
|
case Node::Kind::Variable:
|
|
case Node::Kind::VTableAttribute:
|
|
case Node::Kind::VTableThunk:
|
|
case Node::Kind::WillSet:
|
|
case Node::Kind::ReflectionMetadataBuiltinDescriptor:
|
|
case Node::Kind::ReflectionMetadataFieldDescriptor:
|
|
case Node::Kind::ReflectionMetadataAssocTypeDescriptor:
|
|
case Node::Kind::ReflectionMetadataSuperclassDescriptor:
|
|
case Node::Kind::ResilientProtocolWitnessTable:
|
|
case Node::Kind::GenericTypeParamDecl:
|
|
case Node::Kind::ThrowsAnnotation:
|
|
case Node::Kind::EmptyList:
|
|
case Node::Kind::FirstElementMarker:
|
|
case Node::Kind::VariadicMarker:
|
|
case Node::Kind::OutlinedBridgedMethod:
|
|
case Node::Kind::OutlinedCopy:
|
|
case Node::Kind::OutlinedConsume:
|
|
case Node::Kind::OutlinedRetain:
|
|
case Node::Kind::OutlinedRelease:
|
|
case Node::Kind::OutlinedInitializeWithTake:
|
|
case Node::Kind::OutlinedInitializeWithCopy:
|
|
case Node::Kind::OutlinedAssignWithTake:
|
|
case Node::Kind::OutlinedAssignWithCopy:
|
|
case Node::Kind::OutlinedDestroy:
|
|
case Node::Kind::OutlinedVariable:
|
|
case Node::Kind::AssocTypePath:
|
|
case Node::Kind::ModuleDescriptor:
|
|
case Node::Kind::AnonymousDescriptor:
|
|
case Node::Kind::AssociatedTypeGenericParamRef:
|
|
case Node::Kind::ExtensionDescriptor:
|
|
case Node::Kind::AnonymousContext:
|
|
case Node::Kind::AnyProtocolConformanceList:
|
|
case Node::Kind::ConcreteProtocolConformance:
|
|
case Node::Kind::DependentAssociatedConformance:
|
|
case Node::Kind::DependentProtocolConformanceAssociated:
|
|
case Node::Kind::DependentProtocolConformanceInherited:
|
|
case Node::Kind::DependentProtocolConformanceRoot:
|
|
case Node::Kind::ProtocolConformanceRefInTypeModule:
|
|
case Node::Kind::ProtocolConformanceRefInProtocolModule:
|
|
case Node::Kind::ProtocolConformanceRefInOtherModule:
|
|
case Node::Kind::DynamicallyReplaceableFunctionKey:
|
|
case Node::Kind::DynamicallyReplaceableFunctionImpl:
|
|
case Node::Kind::DynamicallyReplaceableFunctionVar:
|
|
return false;
|
|
}
|
|
printer_unreachable("bad node kind");
|
|
}
|
|
|
|
void printWithParens(NodePointer type) {
|
|
bool needs_parens = !isSimpleType(type);
|
|
if (needs_parens)
|
|
Printer << "(";
|
|
print(type);
|
|
if (needs_parens)
|
|
Printer << ")";
|
|
}
|
|
|
|
SugarType findSugar(NodePointer Node) {
|
|
if (Node->getNumChildren() == 1 &&
|
|
Node->getKind() == Node::Kind::Type)
|
|
return findSugar(Node->getChild(0));
|
|
|
|
if (Node->getNumChildren() != 2)
|
|
return SugarType::None;
|
|
|
|
if (Node->getKind() != Node::Kind::BoundGenericEnum &&
|
|
Node->getKind() != Node::Kind::BoundGenericStructure)
|
|
return SugarType::None;
|
|
|
|
auto unboundType = Node->getChild(0)->getChild(0); // drill through Type
|
|
auto typeArgs = Node->getChild(1);
|
|
|
|
if (Node->getKind() == Node::Kind::BoundGenericEnum) {
|
|
// Swift.Optional
|
|
if (isIdentifier(unboundType->getChild(1), "Optional") &&
|
|
typeArgs->getNumChildren() == 1 &&
|
|
isSwiftModule(unboundType->getChild(0))) {
|
|
return SugarType::Optional;
|
|
}
|
|
|
|
// Swift.ImplicitlyUnwrappedOptional
|
|
if (isIdentifier(unboundType->getChild(1),
|
|
"ImplicitlyUnwrappedOptional") &&
|
|
typeArgs->getNumChildren() == 1 &&
|
|
isSwiftModule(unboundType->getChild(0))) {
|
|
return SugarType::ImplicitlyUnwrappedOptional;
|
|
}
|
|
|
|
return SugarType::None;
|
|
}
|
|
|
|
assert(Node->getKind() == Node::Kind::BoundGenericStructure);
|
|
|
|
// Array
|
|
if (isIdentifier(unboundType->getChild(1), "Array") &&
|
|
typeArgs->getNumChildren() == 1 &&
|
|
isSwiftModule(unboundType->getChild(0))) {
|
|
return SugarType::Array;
|
|
}
|
|
|
|
// Dictionary
|
|
if (isIdentifier(unboundType->getChild(1), "Dictionary") &&
|
|
typeArgs->getNumChildren() == 2 &&
|
|
isSwiftModule(unboundType->getChild(0))) {
|
|
return SugarType::Dictionary;
|
|
}
|
|
|
|
return SugarType::None;
|
|
}
|
|
|
|
void printBoundGeneric(NodePointer Node) {
|
|
if (Node->getNumChildren() < 2)
|
|
return;
|
|
if (Node->getNumChildren() != 2) {
|
|
printBoundGenericNoSugar(Node);
|
|
return;
|
|
}
|
|
|
|
if (!Options.SynthesizeSugarOnTypes ||
|
|
Node->getKind() == Node::Kind::BoundGenericClass)
|
|
{
|
|
// no sugar here
|
|
printBoundGenericNoSugar(Node);
|
|
return;
|
|
}
|
|
|
|
// Print the conforming type for a "bound" protocol node "as" the protocol
|
|
// type.
|
|
if (Node->getKind() == Node::Kind::BoundGenericProtocol) {
|
|
printChildren(Node->getChild(1));
|
|
Printer << " as ";
|
|
print(Node->getChild(0));
|
|
return;
|
|
}
|
|
|
|
SugarType sugarType = findSugar(Node);
|
|
|
|
switch (sugarType) {
|
|
case SugarType::None:
|
|
printBoundGenericNoSugar(Node);
|
|
break;
|
|
case SugarType::Optional:
|
|
case SugarType::ImplicitlyUnwrappedOptional: {
|
|
NodePointer type = Node->getChild(1)->getChild(0);
|
|
printWithParens(type);
|
|
Printer << (sugarType == SugarType::Optional ? "?" : "!");
|
|
break;
|
|
}
|
|
case SugarType::Array: {
|
|
NodePointer type = Node->getChild(1)->getChild(0);
|
|
Printer << "[";
|
|
print(type);
|
|
Printer << "]";
|
|
break;
|
|
}
|
|
case SugarType::Dictionary: {
|
|
NodePointer keyType = Node->getChild(1)->getChild(0);
|
|
NodePointer valueType = Node->getChild(1)->getChild(1);
|
|
Printer << "[";
|
|
print(keyType);
|
|
Printer << " : ";
|
|
print(valueType);
|
|
Printer << "]";
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
NodePointer getChildIf(NodePointer Node, Node::Kind Kind) {
|
|
auto result =
|
|
std::find_if(Node->begin(), Node->end(), [&](NodePointer child) {
|
|
return child->getKind() == Kind;
|
|
});
|
|
return result != Node->end() ? *result : nullptr;
|
|
}
|
|
|
|
void printFunctionParameters(NodePointer LabelList, NodePointer ParameterType,
|
|
bool showTypes) {
|
|
if (ParameterType->getKind() != Node::Kind::ArgumentTuple) {
|
|
setInvalid();
|
|
return;
|
|
}
|
|
|
|
NodePointer Parameters = ParameterType->getFirstChild();
|
|
assert(Parameters->getKind() == Node::Kind::Type);
|
|
Parameters = Parameters->getFirstChild();
|
|
if (Parameters->getKind() != Node::Kind::Tuple) {
|
|
// only a single not-named parameter
|
|
if (showTypes) {
|
|
Printer << '(';
|
|
print(Parameters);
|
|
Printer << ')';
|
|
} else {
|
|
Printer << "(_:)";
|
|
}
|
|
return;
|
|
}
|
|
|
|
auto getLabelFor = [&](NodePointer Param, unsigned Index) -> std::string {
|
|
auto Label = LabelList->getChild(Index);
|
|
assert(Label && (Label->getKind() == Node::Kind::Identifier ||
|
|
Label->getKind() == Node::Kind::FirstElementMarker));
|
|
return Label->getKind() == Node::Kind::Identifier ? Label->getText()
|
|
: "_";
|
|
};
|
|
|
|
unsigned ParamIndex = 0;
|
|
bool hasLabels = LabelList && LabelList->getNumChildren() > 0;
|
|
|
|
Printer << '(';
|
|
interleave(Parameters->begin(), Parameters->end(),
|
|
[&](NodePointer Param) {
|
|
assert(Param->getKind() == Node::Kind::TupleElement);
|
|
|
|
if (hasLabels) {
|
|
Printer << getLabelFor(Param, ParamIndex) << ':';
|
|
} else if (!showTypes) {
|
|
if (auto Label = getChildIf(Param,
|
|
Node::Kind::TupleElementName))
|
|
Printer << Label->getText() << ":";
|
|
else
|
|
Printer << "_:";
|
|
}
|
|
|
|
if (hasLabels && showTypes)
|
|
Printer << ' ';
|
|
|
|
++ParamIndex;
|
|
|
|
if (showTypes)
|
|
print(Param);
|
|
},
|
|
[&]() { Printer << (showTypes ? ", " : ""); });
|
|
Printer << ')';
|
|
}
|
|
|
|
void printFunctionType(NodePointer LabelList, NodePointer node) {
|
|
if (node->getNumChildren() != 2 && node->getNumChildren() != 3) {
|
|
setInvalid();
|
|
return;
|
|
}
|
|
unsigned startIndex = 0;
|
|
if (node->getChild(0)->getKind() == Node::Kind::ThrowsAnnotation)
|
|
startIndex = 1;
|
|
|
|
printFunctionParameters(LabelList, node->getChild(startIndex),
|
|
Options.ShowFunctionArgumentTypes);
|
|
|
|
if (!Options.ShowFunctionArgumentTypes)
|
|
return;
|
|
|
|
if (startIndex == 1)
|
|
Printer << " throws";
|
|
|
|
print(node->getChild(startIndex + 1));
|
|
}
|
|
|
|
void printImplFunctionType(NodePointer fn) {
|
|
enum State { Attrs, Inputs, Results } curState = Attrs;
|
|
auto transitionTo = [&](State newState) {
|
|
assert(newState >= curState);
|
|
for (; curState != newState; curState = State(curState + 1)) {
|
|
switch (curState) {
|
|
case Attrs: Printer << '('; continue;
|
|
case Inputs: Printer << ") -> ("; continue;
|
|
case Results: printer_unreachable("no state after Results");
|
|
}
|
|
printer_unreachable("bad state");
|
|
}
|
|
};
|
|
|
|
for (auto &child : *fn) {
|
|
if (child->getKind() == Node::Kind::ImplParameter) {
|
|
if (curState == Inputs) Printer << ", ";
|
|
transitionTo(Inputs);
|
|
print(child);
|
|
} else if (child->getKind() == Node::Kind::ImplResult
|
|
|| child->getKind() == Node::Kind::ImplErrorResult) {
|
|
if (curState == Results) Printer << ", ";
|
|
transitionTo(Results);
|
|
print(child);
|
|
} else {
|
|
assert(curState == Attrs);
|
|
print(child);
|
|
Printer << ' ';
|
|
}
|
|
}
|
|
transitionTo(Results);
|
|
Printer << ')';
|
|
}
|
|
|
|
void printFunctionSigSpecializationParams(NodePointer Node);
|
|
|
|
void printSpecializationPrefix(NodePointer node, StringRef Description,
|
|
StringRef ParamPrefix = StringRef());
|
|
|
|
/// The main big print function.
|
|
NodePointer print(NodePointer Node, bool asPrefixContext = false);
|
|
|
|
NodePointer printAbstractStorage(NodePointer Node, bool asPrefixContent,
|
|
StringRef ExtraName);
|
|
|
|
/// Utility function to print entities.
|
|
///
|
|
/// \param Entity The entity node to print
|
|
/// \param asPrefixContext Should the entity printed as a context which as a
|
|
/// prefix to another entity, e.g. the Abc in Abc.def()
|
|
/// \param TypePr How should the type of the entity be printed, if at all.
|
|
/// E.g. with a colon for properties or as a function type.
|
|
/// \param hasName Does the entity has a name, e.g. a function in contrast to
|
|
/// an initializer.
|
|
/// \param ExtraName An extra name added to the entity name (if any).
|
|
/// \param ExtraIndex An extra index added to the entity name (if any),
|
|
/// e.g. closure #1
|
|
/// \param OverwriteName If non-empty, print this name instead of the one
|
|
/// provided by the node. Gets printed even if hasName is false.
|
|
/// \return If a non-null node is returned it's a context which must be
|
|
/// printed in postfix-form after the entity: "<entity> in <context>".
|
|
NodePointer printEntity(NodePointer Entity, bool asPrefixContext,
|
|
TypePrinting TypePr, bool hasName,
|
|
StringRef ExtraName = "", int ExtraIndex = -1,
|
|
StringRef OverwriteName = "");
|
|
|
|
/// Print the type of an entity.
|
|
///
|
|
/// \param Entity The entity.
|
|
/// \param type The type of the entity.
|
|
/// \param genericFunctionTypeList If not null, the generic argument types
|
|
/// which is printed in the generic signature.
|
|
void printEntityType(NodePointer Entity, NodePointer type,
|
|
NodePointer genericFunctionTypeList);
|
|
|
|
};
|
|
} // end anonymous namespace
|
|
|
|
static bool isExistentialType(NodePointer node) {
|
|
return (node->getKind() == Node::Kind::ExistentialMetatype ||
|
|
node->getKind() == Node::Kind::ProtocolList ||
|
|
node->getKind() == Node::Kind::ProtocolListWithClass ||
|
|
node->getKind() == Node::Kind::ProtocolListWithAnyObject);
|
|
}
|
|
|
|
/// Print the relevant parameters and return the new index.
|
|
void NodePrinter::printFunctionSigSpecializationParams(NodePointer Node) {
|
|
unsigned Idx = 0;
|
|
unsigned End = Node->getNumChildren();
|
|
while (Idx < End) {
|
|
NodePointer firstChild = Node->getChild(Idx);
|
|
unsigned V = firstChild->getIndex();
|
|
auto K = FunctionSigSpecializationParamKind(V);
|
|
switch (K) {
|
|
case FunctionSigSpecializationParamKind::BoxToValue:
|
|
case FunctionSigSpecializationParamKind::BoxToStack:
|
|
print(Node->getChild(Idx++));
|
|
break;
|
|
case FunctionSigSpecializationParamKind::ConstantPropFunction:
|
|
case FunctionSigSpecializationParamKind::ConstantPropGlobal: {
|
|
Printer << "[";
|
|
print(Node->getChild(Idx++));
|
|
Printer << " : ";
|
|
const auto &text = Node->getChild(Idx++)->getText();
|
|
std::string demangledName = demangleSymbolAsString(text);
|
|
if (demangledName.empty()) {
|
|
Printer << text;
|
|
} else {
|
|
Printer << demangledName;
|
|
}
|
|
Printer << "]";
|
|
break;
|
|
}
|
|
case FunctionSigSpecializationParamKind::ConstantPropInteger:
|
|
case FunctionSigSpecializationParamKind::ConstantPropFloat:
|
|
Printer << "[";
|
|
print(Node->getChild(Idx++));
|
|
Printer << " : ";
|
|
print(Node->getChild(Idx++));
|
|
Printer << "]";
|
|
break;
|
|
case FunctionSigSpecializationParamKind::ConstantPropString:
|
|
Printer << "[";
|
|
print(Node->getChild(Idx++));
|
|
Printer << " : ";
|
|
print(Node->getChild(Idx++));
|
|
Printer << "'";
|
|
print(Node->getChild(Idx++));
|
|
Printer << "'";
|
|
Printer << "]";
|
|
break;
|
|
case FunctionSigSpecializationParamKind::ClosureProp:
|
|
Printer << "[";
|
|
print(Node->getChild(Idx++));
|
|
Printer << " : ";
|
|
print(Node->getChild(Idx++));
|
|
Printer << ", Argument Types : [";
|
|
for (unsigned e = Node->getNumChildren(); Idx < e;) {
|
|
NodePointer child = Node->getChild(Idx);
|
|
// Until we no longer have a type node, keep demangling.
|
|
if (child->getKind() != Node::Kind::Type)
|
|
break;
|
|
print(child);
|
|
++Idx;
|
|
|
|
// If we are not done, print the ", ".
|
|
if (Idx < e && Node->getChild(Idx)->hasText())
|
|
Printer << ", ";
|
|
}
|
|
Printer << "]";
|
|
break;
|
|
default:
|
|
assert(
|
|
((V & unsigned(FunctionSigSpecializationParamKind::OwnedToGuaranteed)) ||
|
|
(V & unsigned(FunctionSigSpecializationParamKind::GuaranteedToOwned)) ||
|
|
(V & unsigned(FunctionSigSpecializationParamKind::SROA)) ||
|
|
(V & unsigned(FunctionSigSpecializationParamKind::Dead))||
|
|
(V & unsigned(
|
|
FunctionSigSpecializationParamKind::ExistentialToGeneric))) &&
|
|
"Invalid OptionSet");
|
|
print(Node->getChild(Idx++));
|
|
}
|
|
}
|
|
}
|
|
|
|
void NodePrinter::printSpecializationPrefix(NodePointer node,
|
|
StringRef Description,
|
|
StringRef ParamPrefix) {
|
|
if (!Options.DisplayGenericSpecializations) {
|
|
if (!SpecializationPrefixPrinted) {
|
|
Printer << "specialized ";
|
|
SpecializationPrefixPrinted = true;
|
|
}
|
|
return;
|
|
}
|
|
Printer << Description << " <";
|
|
const char *Separator = "";
|
|
int argNum = 0;
|
|
for (NodePointer child : *node) {
|
|
switch (child->getKind()) {
|
|
case Node::Kind::SpecializationPassID:
|
|
// We skip the SpecializationPassID since it does not contain any
|
|
// information that is useful to our users.
|
|
break;
|
|
|
|
case Node::Kind::IsSerialized:
|
|
Printer << Separator;
|
|
Separator = ", ";
|
|
print(child);
|
|
break;
|
|
|
|
default:
|
|
// Ignore empty specializations.
|
|
if (child->hasChildren()) {
|
|
Printer << Separator << ParamPrefix;
|
|
Separator = ", ";
|
|
switch (child->getKind()) {
|
|
case Node::Kind::FunctionSignatureSpecializationParam:
|
|
Printer << "Arg[" << argNum << "] = ";
|
|
printFunctionSigSpecializationParams(child);
|
|
break;
|
|
case Node::Kind::FunctionSignatureSpecializationReturn:
|
|
Printer << "Return = ";
|
|
printFunctionSigSpecializationParams(child);
|
|
break;
|
|
default:
|
|
print(child);
|
|
}
|
|
}
|
|
argNum++;
|
|
break;
|
|
}
|
|
}
|
|
Printer << "> of ";
|
|
}
|
|
|
|
static bool isClassType(NodePointer Node) {
|
|
return Node->getKind() == Node::Kind::Class;
|
|
}
|
|
|
|
static bool needSpaceBeforeType(NodePointer Type) {
|
|
switch (Type->getKind()) {
|
|
case Node::Kind::Type:
|
|
return needSpaceBeforeType(Type->getFirstChild());
|
|
case Node::Kind::FunctionType:
|
|
case Node::Kind::NoEscapeFunctionType:
|
|
case Node::Kind::UncurriedFunctionType:
|
|
case Node::Kind::DependentGenericType:
|
|
return false;
|
|
default:
|
|
return true;
|
|
}
|
|
}
|
|
|
|
NodePointer NodePrinter::print(NodePointer Node, bool asPrefixContext) {
|
|
switch (Node->getKind()) {
|
|
case Node::Kind::Static:
|
|
Printer << "static ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::CurryThunk:
|
|
Printer << "curry thunk of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::DispatchThunk:
|
|
Printer << "dispatch thunk of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::MethodDescriptor:
|
|
Printer << "method descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::MethodLookupFunction:
|
|
Printer << "method lookup function for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ObjCMetadataUpdateFunction:
|
|
Printer << "ObjC metadata update function for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedBridgedMethod:
|
|
Printer << "outlined bridged method (" << Node->getText() << ") of ";
|
|
return nullptr;
|
|
case Node::Kind::OutlinedCopy:
|
|
Printer << "outlined copy of ";
|
|
print(Node->getChild(0));
|
|
if (Node->getNumChildren() > 1)
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedConsume:
|
|
Printer << "outlined consume of ";
|
|
print(Node->getChild(0));
|
|
if (Node->getNumChildren() > 1)
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedRetain:
|
|
Printer << "outlined retain of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedRelease:
|
|
Printer << "outlined release of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedInitializeWithTake:
|
|
Printer << "outlined init with take of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedInitializeWithCopy:
|
|
Printer << "outlined init with copy of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedAssignWithTake:
|
|
Printer << "outlined assign with take of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedAssignWithCopy:
|
|
Printer << "outlined assign with copy of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedDestroy:
|
|
Printer << "outlined destroy of ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::OutlinedVariable:
|
|
Printer << "outlined variable #" << Node->getIndex() << " of ";
|
|
return nullptr;
|
|
case Node::Kind::Directness:
|
|
Printer << toString(Directness(Node->getIndex())) << " ";
|
|
return nullptr;
|
|
case Node::Kind::AnonymousContext:
|
|
if (Options.QualifyEntities && Options.DisplayExtensionContexts) {
|
|
print(Node->getChild(1));
|
|
Printer << ".(unknown context at ";
|
|
print(Node->getChild(0));
|
|
Printer << ")";
|
|
if (Node->getNumChildren() >= 3 &&
|
|
Node->getChild(2)->getNumChildren() > 0) {
|
|
Printer << '<';
|
|
print(Node->getChild(2));
|
|
Printer << '>';
|
|
}
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::Extension:
|
|
assert((Node->getNumChildren() == 2 || Node->getNumChildren() == 3)
|
|
&& "Extension expects 2 or 3 children.");
|
|
if (Options.QualifyEntities && Options.DisplayExtensionContexts) {
|
|
Printer << "(extension in ";
|
|
// Print the module where extension is defined.
|
|
print(Node->getChild(0), true);
|
|
Printer << "):";
|
|
}
|
|
print(Node->getChild(1));
|
|
if (Node->getNumChildren() == 3)
|
|
print(Node->getChild(2));
|
|
return nullptr;
|
|
case Node::Kind::Variable:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::WithColon,
|
|
/*hasName*/true);
|
|
case Node::Kind::Function:
|
|
case Node::Kind::BoundGenericFunction:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::FunctionStyle,
|
|
/*hasName*/true);
|
|
case Node::Kind::Subscript:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::FunctionStyle,
|
|
/*hasName*/false, /*ExtraName*/"", /*ExtraIndex*/-1,
|
|
"subscript");
|
|
case Node::Kind::GenericTypeParamDecl:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/true);
|
|
case Node::Kind::ExplicitClosure:
|
|
return printEntity(Node, asPrefixContext,
|
|
Options.ShowFunctionArgumentTypes ?
|
|
TypePrinting::FunctionStyle : TypePrinting::NoType,
|
|
/*hasName*/false, "closure #",
|
|
(int)Node->getChild(1)->getIndex() + 1);
|
|
case Node::Kind::ImplicitClosure:
|
|
return printEntity(Node, asPrefixContext,
|
|
Options.ShowFunctionArgumentTypes ?
|
|
TypePrinting::FunctionStyle : TypePrinting::NoType,
|
|
/*hasName*/false, "implicit closure #",
|
|
(int)Node->getChild(1)->getIndex() + 1);
|
|
case Node::Kind::Global:
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::Suffix:
|
|
if (Options.DisplayUnmangledSuffix) {
|
|
Printer << " with unmangled suffix " << QuotedString(Node->getText());
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::Initializer:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/false, "variable initialization expression");
|
|
case Node::Kind::DefaultArgumentInitializer:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/false, "default argument ",
|
|
(int)Node->getChild(1)->getIndex());
|
|
case Node::Kind::DeclContext:
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::Type:
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMangling:
|
|
if (Node->getChild(0)->getKind() == Node::Kind::LabelList) {
|
|
printFunctionType(Node->getChild(0), Node->getChild(1)->getFirstChild());
|
|
} else {
|
|
print(Node->getChild(0));
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::Class:
|
|
case Node::Kind::Structure:
|
|
case Node::Kind::Enum:
|
|
case Node::Kind::Protocol:
|
|
case Node::Kind::TypeAlias:
|
|
case Node::Kind::OtherNominalType:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/true);
|
|
case Node::Kind::LocalDeclName:
|
|
print(Node->getChild(1));
|
|
Printer << " #" << (Node->getChild(0)->getIndex() + 1);
|
|
return nullptr;
|
|
case Node::Kind::PrivateDeclName:
|
|
if (Node->getNumChildren() > 1) {
|
|
if (Options.ShowPrivateDiscriminators)
|
|
Printer << '(';
|
|
|
|
print(Node->getChild(1));
|
|
|
|
if (Options.ShowPrivateDiscriminators)
|
|
Printer << " in " << Node->getChild(0)->getText() << ')';
|
|
} else {
|
|
if (Options.ShowPrivateDiscriminators) {
|
|
Printer << "(in " << Node->getChild(0)->getText() << ')';
|
|
}
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::RelatedEntityDeclName:
|
|
Printer << "related decl '" << Node->getFirstChild()->getText() << "' for ";
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
case Node::Kind::Module:
|
|
if (Options.DisplayModuleNames)
|
|
Printer << Node->getText();
|
|
return nullptr;
|
|
case Node::Kind::Identifier:
|
|
Printer << Node->getText();
|
|
return nullptr;
|
|
case Node::Kind::Index:
|
|
Printer << Node->getIndex();
|
|
return nullptr;
|
|
case Node::Kind::NoEscapeFunctionType:
|
|
printFunctionType(nullptr, Node);
|
|
return nullptr;
|
|
case Node::Kind::EscapingAutoClosureType:
|
|
Printer << "@autoclosure ";
|
|
printFunctionType(nullptr, Node);
|
|
return nullptr;
|
|
case Node::Kind::AutoClosureType:
|
|
Printer << "@autoclosure ";
|
|
printFunctionType(nullptr, Node);
|
|
return nullptr;
|
|
case Node::Kind::ThinFunctionType:
|
|
Printer << "@convention(thin) ";
|
|
printFunctionType(nullptr, Node);
|
|
return nullptr;
|
|
case Node::Kind::FunctionType:
|
|
case Node::Kind::UncurriedFunctionType:
|
|
printFunctionType(nullptr, Node);
|
|
return nullptr;
|
|
case Node::Kind::ArgumentTuple:
|
|
printFunctionParameters(nullptr, Node, Options.ShowFunctionArgumentTypes);
|
|
return nullptr;
|
|
case Node::Kind::Tuple: {
|
|
Printer << "(";
|
|
printChildren(Node, ", ");
|
|
Printer << ")";
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::TupleElement: {
|
|
if (auto Label = getChildIf(Node, Node::Kind::TupleElementName))
|
|
Printer << Label->getText() << ": ";
|
|
|
|
auto Type = getChildIf(Node, Node::Kind::Type);
|
|
assert(Type && "malformed Node::Kind::TupleElement");
|
|
|
|
print(Type);
|
|
|
|
if (getChildIf(Node, Node::Kind::VariadicMarker))
|
|
Printer << "...";
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::TupleElementName:
|
|
Printer << Node->getText() << ": ";
|
|
return nullptr;
|
|
case Node::Kind::ReturnType:
|
|
if (Node->getNumChildren() == 0)
|
|
Printer << " -> " << Node->getText();
|
|
else {
|
|
Printer << " -> ";
|
|
printChildren(Node);
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::RetroactiveConformance:
|
|
if (Node->getNumChildren() != 2)
|
|
return nullptr;
|
|
|
|
Printer << "retroactive @ ";
|
|
print(Node->getChild(0));
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
#define REF_STORAGE(Name, ...) \
|
|
case Node::Kind::Name: \
|
|
Printer << keywordOf(ReferenceOwnership::Name) << " "; \
|
|
print(Node->getChild(0)); \
|
|
return nullptr;
|
|
#include "swift/AST/ReferenceStorage.def"
|
|
case Node::Kind::InOut:
|
|
Printer << "inout ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::Shared:
|
|
Printer << "__shared ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::Owned:
|
|
Printer << "__owned ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::NonObjCAttribute:
|
|
Printer << "@nonobjc ";
|
|
return nullptr;
|
|
case Node::Kind::ObjCAttribute:
|
|
Printer << "@objc ";
|
|
return nullptr;
|
|
case Node::Kind::DirectMethodReferenceAttribute:
|
|
Printer << "super ";
|
|
return nullptr;
|
|
case Node::Kind::DynamicAttribute:
|
|
Printer << "dynamic ";
|
|
return nullptr;
|
|
case Node::Kind::VTableAttribute:
|
|
Printer << "override ";
|
|
return nullptr;
|
|
case Node::Kind::FunctionSignatureSpecialization:
|
|
printSpecializationPrefix(Node, "function signature specialization");
|
|
return nullptr;
|
|
case Node::Kind::GenericPartialSpecialization:
|
|
printSpecializationPrefix(Node, "generic partial specialization",
|
|
"Signature = ");
|
|
return nullptr;
|
|
case Node::Kind::GenericPartialSpecializationNotReAbstracted:
|
|
printSpecializationPrefix(Node,
|
|
"generic not-reabstracted partial specialization", "Signature = ");
|
|
return nullptr;
|
|
case Node::Kind::GenericSpecialization:
|
|
printSpecializationPrefix(Node, "generic specialization");
|
|
return nullptr;
|
|
case Node::Kind::GenericSpecializationNotReAbstracted:
|
|
printSpecializationPrefix(Node, "generic not re-abstracted specialization");
|
|
return nullptr;
|
|
case Node::Kind::InlinedGenericFunction:
|
|
printSpecializationPrefix(Node, "inlined generic function");
|
|
return nullptr;
|
|
case Node::Kind::IsSerialized:
|
|
Printer << "serialized";
|
|
return nullptr;
|
|
case Node::Kind::GenericSpecializationParam:
|
|
print(Node->getChild(0));
|
|
for (unsigned i = 1, e = Node->getNumChildren(); i < e; ++i) {
|
|
if (i == 1)
|
|
Printer << " with ";
|
|
else
|
|
Printer << " and ";
|
|
print(Node->getChild(i));
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::FunctionSignatureSpecializationReturn:
|
|
case Node::Kind::FunctionSignatureSpecializationParam:
|
|
printer_unreachable("should be handled in printSpecializationPrefix");
|
|
case Node::Kind::FunctionSignatureSpecializationParamPayload: {
|
|
std::string demangledName = demangleSymbolAsString(Node->getText());
|
|
if (demangledName.empty()) {
|
|
Printer << Node->getText();
|
|
} else {
|
|
Printer << demangledName;
|
|
}
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::FunctionSignatureSpecializationParamKind: {
|
|
uint64_t raw = Node->getIndex();
|
|
|
|
bool printedOptionSet = false;
|
|
if (raw &
|
|
uint64_t(FunctionSigSpecializationParamKind::ExistentialToGeneric)) {
|
|
printedOptionSet = true;
|
|
Printer << "Existential To Protocol Constrained Generic";
|
|
}
|
|
|
|
if (raw & uint64_t(FunctionSigSpecializationParamKind::Dead)) {
|
|
if (printedOptionSet)
|
|
Printer << " and ";
|
|
printedOptionSet = true;
|
|
Printer << "Dead";
|
|
}
|
|
if (raw & uint64_t(FunctionSigSpecializationParamKind::OwnedToGuaranteed)) {
|
|
if (printedOptionSet)
|
|
Printer << " and ";
|
|
printedOptionSet = true;
|
|
Printer << "Owned To Guaranteed";
|
|
}
|
|
|
|
if (raw & uint64_t(FunctionSigSpecializationParamKind::GuaranteedToOwned)) {
|
|
if (printedOptionSet)
|
|
Printer << " and ";
|
|
printedOptionSet = true;
|
|
Printer << "Guaranteed To Owned";
|
|
}
|
|
|
|
if (raw & uint64_t(FunctionSigSpecializationParamKind::SROA)) {
|
|
if (printedOptionSet)
|
|
Printer << " and ";
|
|
Printer << "Exploded";
|
|
return nullptr;
|
|
}
|
|
|
|
if (printedOptionSet)
|
|
return nullptr;
|
|
|
|
switch (FunctionSigSpecializationParamKind(raw)) {
|
|
case FunctionSigSpecializationParamKind::BoxToValue:
|
|
Printer << "Value Promoted from Box";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::BoxToStack:
|
|
Printer << "Stack Promoted from Box";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::ConstantPropFunction:
|
|
Printer << "Constant Propagated Function";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::ConstantPropGlobal:
|
|
Printer << "Constant Propagated Global";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::ConstantPropInteger:
|
|
Printer << "Constant Propagated Integer";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::ConstantPropFloat:
|
|
Printer << "Constant Propagated Float";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::ConstantPropString:
|
|
Printer << "Constant Propagated String";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::ClosureProp:
|
|
Printer << "Closure Propagated";
|
|
return nullptr;
|
|
case FunctionSigSpecializationParamKind::ExistentialToGeneric:
|
|
case FunctionSigSpecializationParamKind::Dead:
|
|
case FunctionSigSpecializationParamKind::OwnedToGuaranteed:
|
|
case FunctionSigSpecializationParamKind::GuaranteedToOwned:
|
|
case FunctionSigSpecializationParamKind::SROA:
|
|
printer_unreachable("option sets should have been handled earlier");
|
|
}
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::SpecializationPassID:
|
|
Printer << Node->getIndex();
|
|
return nullptr;
|
|
case Node::Kind::BuiltinTypeName:
|
|
Printer << Node->getText();
|
|
return nullptr;
|
|
case Node::Kind::Number:
|
|
Printer << Node->getIndex();
|
|
return nullptr;
|
|
case Node::Kind::InfixOperator:
|
|
Printer << Node->getText() << " infix";
|
|
return nullptr;
|
|
case Node::Kind::PrefixOperator:
|
|
Printer << Node->getText() << " prefix";
|
|
return nullptr;
|
|
case Node::Kind::PostfixOperator:
|
|
Printer << Node->getText() << " postfix";
|
|
return nullptr;
|
|
case Node::Kind::LazyProtocolWitnessTableAccessor:
|
|
Printer << "lazy protocol witness table accessor for type ";
|
|
print(Node->getChild(0));
|
|
Printer << " and conformance ";
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
case Node::Kind::LazyProtocolWitnessTableCacheVariable:
|
|
Printer << "lazy protocol witness table cache variable for type ";
|
|
print(Node->getChild(0));
|
|
Printer << " and conformance ";
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
case Node::Kind::ProtocolSelfConformanceWitnessTable:
|
|
Printer << "protocol self-conformance witness table for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::ProtocolWitnessTableAccessor:
|
|
Printer << "protocol witness table accessor for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::ProtocolWitnessTable:
|
|
Printer << "protocol witness table for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::ProtocolWitnessTablePattern:
|
|
Printer << "protocol witness table pattern for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::GenericProtocolWitnessTable:
|
|
Printer << "generic protocol witness table for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::GenericProtocolWitnessTableInstantiationFunction:
|
|
Printer << "instantiation function for generic protocol witness table for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::ResilientProtocolWitnessTable:
|
|
Printer << "resilient protocol witness table for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::VTableThunk: {
|
|
Printer << "vtable thunk for ";
|
|
print(Node->getChild(1));
|
|
Printer << " dispatching to ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ProtocolSelfConformanceWitness: {
|
|
Printer << "protocol self-conformance witness for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ProtocolWitness: {
|
|
Printer << "protocol witness for ";
|
|
print(Node->getChild(1));
|
|
Printer << " in conformance ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::PartialApplyForwarder:
|
|
if (Options.ShortenPartialApply)
|
|
Printer << "partial apply";
|
|
else
|
|
Printer << "partial apply forwarder";
|
|
|
|
if (Node->hasChildren()) {
|
|
Printer << " for ";
|
|
print(Node->getFirstChild());
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::PartialApplyObjCForwarder:
|
|
if (Options.ShortenPartialApply)
|
|
Printer << "partial apply";
|
|
else
|
|
Printer << "partial apply ObjC forwarder";
|
|
|
|
if (Node->hasChildren()) {
|
|
Printer << " for ";
|
|
print(Node->getFirstChild());
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::KeyPathGetterThunkHelper:
|
|
case Node::Kind::KeyPathSetterThunkHelper:
|
|
if (Node->getKind() == Node::Kind::KeyPathGetterThunkHelper)
|
|
Printer << "key path getter for ";
|
|
else
|
|
Printer << "key path setter for ";
|
|
|
|
print(Node->getChild(0));
|
|
Printer << " : ";
|
|
for (unsigned index = 1; index < Node->getNumChildren(); ++index) {
|
|
auto Child = Node->getChild(index);
|
|
if (Child->getKind() == Node::Kind::IsSerialized)
|
|
Printer << ", ";
|
|
print(Child);
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::KeyPathEqualsThunkHelper:
|
|
case Node::Kind::KeyPathHashThunkHelper: {
|
|
Printer << "key path index "
|
|
<< (Node->getKind() == Node::Kind::KeyPathEqualsThunkHelper
|
|
? "equality" : "hash")
|
|
<< " operator for ";
|
|
|
|
unsigned lastChildIndex = Node->getNumChildren();
|
|
auto lastChild = Node->getChild(lastChildIndex - 1);
|
|
bool isSerialized = false;
|
|
if (lastChild->getKind() == Node::Kind::IsSerialized) {
|
|
isSerialized = true;
|
|
lastChildIndex--;
|
|
lastChild = Node->getChild(lastChildIndex - 1);
|
|
}
|
|
|
|
if (lastChild->getKind() == Node::Kind::DependentGenericSignature) {
|
|
print(lastChild);
|
|
lastChildIndex--;
|
|
}
|
|
|
|
Printer << "(";
|
|
for (unsigned i = 0; i < lastChildIndex; ++i) {
|
|
if (i != 0)
|
|
Printer << ", ";
|
|
print(Node->getChild(i));
|
|
}
|
|
Printer << ")";
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::FieldOffset: {
|
|
print(Node->getChild(0)); // directness
|
|
Printer << "field offset for ";
|
|
auto entity = Node->getChild(1);
|
|
print(entity, /*asContext*/ false);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::EnumCase: {
|
|
Printer << "enum case for ";
|
|
auto entity = Node->getChild(0);
|
|
print(entity, /*asContext*/ false);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ReabstractionThunk:
|
|
case Node::Kind::ReabstractionThunkHelper: {
|
|
if (Options.ShortenThunk) {
|
|
Printer << "thunk for ";
|
|
print(Node->getChild(Node->getNumChildren() - 2));
|
|
return nullptr;
|
|
}
|
|
Printer << "reabstraction thunk ";
|
|
if (Node->getKind() == Node::Kind::ReabstractionThunkHelper)
|
|
Printer << "helper ";
|
|
auto generics = getFirstChildOfKind(Node, Node::Kind::DependentGenericSignature);
|
|
assert(Node->getNumChildren() == 2 + unsigned(generics != nullptr));
|
|
if (generics) {
|
|
print(generics);
|
|
Printer << " ";
|
|
}
|
|
Printer << "from ";
|
|
print(Node->getChild(Node->getNumChildren() - 2));
|
|
Printer << " to ";
|
|
print(Node->getChild(Node->getNumChildren() - 1));
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::MergedFunction:
|
|
if (!Options.ShortenThunk) {
|
|
Printer << "merged ";
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::TypeSymbolicReference:
|
|
Printer << "type symbolic reference 0x";
|
|
Printer.writeHex(Node->getIndex());
|
|
return nullptr;
|
|
case Node::Kind::DynamicallyReplaceableFunctionKey:
|
|
if (!Options.ShortenThunk) {
|
|
Printer << "dynamically replaceable key for ";
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::DynamicallyReplaceableFunctionImpl:
|
|
if (!Options.ShortenThunk) {
|
|
Printer << "dynamically replaceable thunk for ";
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::DynamicallyReplaceableFunctionVar:
|
|
if (!Options.ShortenThunk) {
|
|
Printer << "dynamically replaceable variable for ";
|
|
}
|
|
return nullptr;
|
|
case Node::Kind::ProtocolSymbolicReference:
|
|
Printer << "protocol symbolic reference 0x";
|
|
Printer.writeHex(Node->getIndex());
|
|
return nullptr;
|
|
case Node::Kind::GenericTypeMetadataPattern:
|
|
Printer << "generic type metadata pattern for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::Metaclass:
|
|
Printer << "metaclass for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::ProtocolSelfConformanceDescriptor:
|
|
Printer << "protocol self-conformance descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ProtocolConformanceDescriptor:
|
|
Printer << "protocol conformance descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ProtocolDescriptor:
|
|
Printer << "protocol descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ProtocolRequirementsBaseDescriptor:
|
|
Printer << "protocol requirements base descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::FullTypeMetadata:
|
|
Printer << "full type metadata for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMetadata:
|
|
Printer << "type metadata for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMetadataAccessFunction:
|
|
Printer << "type metadata accessor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMetadataInstantiationCache:
|
|
Printer << "type metadata instantiation cache for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMetadataInstantiationFunction:
|
|
Printer << "type metadata instantiation function for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMetadataSingletonInitializationCache:
|
|
Printer << "type metadata singleton initialization cache for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMetadataCompletionFunction:
|
|
Printer << "type metadata completion function for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::TypeMetadataLazyCache:
|
|
Printer << "lazy cache variable for type metadata for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::AssociatedConformanceDescriptor:
|
|
Printer << "associated conformance descriptor for ";
|
|
print(Node->getChild(0));
|
|
Printer << ".";
|
|
print(Node->getChild(1));
|
|
Printer << ": ";
|
|
print(Node->getChild(2));
|
|
return nullptr;
|
|
case Node::Kind::DefaultAssociatedConformanceAccessor:
|
|
Printer << "default associated conformance accessor for ";
|
|
print(Node->getChild(0));
|
|
Printer << ".";
|
|
print(Node->getChild(1));
|
|
Printer << ": ";
|
|
print(Node->getChild(2));
|
|
return nullptr;
|
|
case Node::Kind::AssociatedTypeDescriptor:
|
|
Printer << "associated type descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::AssociatedTypeMetadataAccessor:
|
|
Printer << "associated type metadata accessor for ";
|
|
print(Node->getChild(1));
|
|
Printer << " in ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::BaseConformanceDescriptor:
|
|
Printer << "base conformance descriptor for ";
|
|
print(Node->getChild(0));
|
|
Printer << ": ";
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
case Node::Kind::DefaultAssociatedTypeMetadataAccessor:
|
|
Printer << "default associated type metadata accessor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::AssociatedTypeWitnessTableAccessor:
|
|
Printer << "associated type witness table accessor for ";
|
|
print(Node->getChild(1));
|
|
Printer << " : ";
|
|
print(Node->getChild(2));
|
|
Printer << " in ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::BaseWitnessTableAccessor:
|
|
Printer << "base witness table accessor for ";
|
|
print(Node->getChild(1));
|
|
Printer << " in ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ClassMetadataBaseOffset:
|
|
Printer << "class metadata base offset for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::PropertyDescriptor:
|
|
Printer << "property descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::NominalTypeDescriptor:
|
|
Printer << "nominal type descriptor for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::CoroutineContinuationPrototype:
|
|
Printer << "coroutine continuation prototype for ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ValueWitness:
|
|
Printer << toString(ValueWitnessKind(Node->getFirstChild()->getIndex()));
|
|
if (Options.ShortenValueWitness) Printer << " for ";
|
|
else Printer << " value witness for ";
|
|
print(Node->getChild(1));
|
|
return nullptr;
|
|
case Node::Kind::ValueWitnessTable:
|
|
Printer << "value witness table for ";
|
|
print(Node->getFirstChild());
|
|
return nullptr;
|
|
case Node::Kind::BoundGenericClass:
|
|
case Node::Kind::BoundGenericStructure:
|
|
case Node::Kind::BoundGenericEnum:
|
|
case Node::Kind::BoundGenericProtocol:
|
|
case Node::Kind::BoundGenericOtherNominalType:
|
|
case Node::Kind::BoundGenericTypeAlias:
|
|
printBoundGeneric(Node);
|
|
return nullptr;
|
|
case Node::Kind::DynamicSelf:
|
|
Printer << "Self";
|
|
return nullptr;
|
|
case Node::Kind::CFunctionPointer: {
|
|
Printer << "@convention(c) ";
|
|
printFunctionType(nullptr, Node);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ObjCBlock: {
|
|
Printer << "@convention(block) ";
|
|
printFunctionType(nullptr, Node);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::SILBoxType: {
|
|
Printer << "@box ";
|
|
NodePointer type = Node->getChild(0);
|
|
print(type);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::Metatype: {
|
|
unsigned Idx = 0;
|
|
if (Node->getNumChildren() == 2) {
|
|
NodePointer repr = Node->getChild(Idx);
|
|
print(repr);
|
|
Printer << " ";
|
|
Idx++;
|
|
}
|
|
NodePointer type = Node->getChild(Idx)->getChild(0);
|
|
printWithParens(type);
|
|
if (isExistentialType(type)) {
|
|
Printer << ".Protocol";
|
|
} else {
|
|
Printer << ".Type";
|
|
}
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ExistentialMetatype: {
|
|
unsigned Idx = 0;
|
|
if (Node->getNumChildren() == 2) {
|
|
NodePointer repr = Node->getChild(Idx);
|
|
print(repr);
|
|
Printer << " ";
|
|
Idx++;
|
|
}
|
|
|
|
NodePointer type = Node->getChild(Idx);
|
|
print(type);
|
|
Printer << ".Type";
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::MetatypeRepresentation: {
|
|
Printer << Node->getText();
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::AssociatedTypeRef:
|
|
print(Node->getChild(0));
|
|
Printer << '.' << Node->getChild(1)->getText();
|
|
return nullptr;
|
|
case Node::Kind::ProtocolList: {
|
|
NodePointer type_list = Node->getChild(0);
|
|
if (!type_list)
|
|
return nullptr;
|
|
if (type_list->getNumChildren() == 0)
|
|
Printer << "Any";
|
|
else
|
|
printChildren(type_list, " & ");
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ProtocolListWithClass: {
|
|
if (Node->getNumChildren() < 2)
|
|
return nullptr;
|
|
NodePointer protocols = Node->getChild(0);
|
|
NodePointer superclass = Node->getChild(1);
|
|
print(superclass);
|
|
Printer << " & ";
|
|
if (protocols->getNumChildren() < 1)
|
|
return nullptr;
|
|
NodePointer type_list = protocols->getChild(0);
|
|
printChildren(type_list, " & ");
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ProtocolListWithAnyObject: {
|
|
if (Node->getNumChildren() < 1)
|
|
return nullptr;
|
|
NodePointer protocols = Node->getChild(0);
|
|
if (protocols->getNumChildren() < 1)
|
|
return nullptr;
|
|
NodePointer type_list = protocols->getChild(0);
|
|
if (type_list->getNumChildren() > 0) {
|
|
printChildren(type_list, " & ");
|
|
Printer << " & ";
|
|
}
|
|
if (Options.QualifyEntities)
|
|
Printer << "Swift.";
|
|
Printer << "AnyObject";
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::AssociatedType:
|
|
// Don't print for now.
|
|
return nullptr;
|
|
case Node::Kind::OwningAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"owningAddressor");
|
|
case Node::Kind::OwningMutableAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"owningMutableAddressor");
|
|
case Node::Kind::NativeOwningAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"nativeOwningAddressor");
|
|
case Node::Kind::NativeOwningMutableAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"nativeOwningMutableAddressor");
|
|
case Node::Kind::NativePinningAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"nativePinningAddressor");
|
|
case Node::Kind::NativePinningMutableAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"nativePinningMutableAddressor");
|
|
case Node::Kind::UnsafeAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"unsafeAddressor");
|
|
case Node::Kind::UnsafeMutableAddressor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"unsafeMutableAddressor");
|
|
case Node::Kind::GlobalGetter:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"getter");
|
|
case Node::Kind::Getter:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"getter");
|
|
case Node::Kind::Setter:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"setter");
|
|
case Node::Kind::MaterializeForSet:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"materializeForSet");
|
|
case Node::Kind::WillSet:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"willset");
|
|
case Node::Kind::DidSet:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"didset");
|
|
case Node::Kind::ReadAccessor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"read");
|
|
case Node::Kind::ModifyAccessor:
|
|
return printAbstractStorage(Node->getFirstChild(), asPrefixContext,
|
|
"modify");
|
|
case Node::Kind::Allocator:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::FunctionStyle,
|
|
/*hasName*/false, isClassType(Node->getChild(0)) ?
|
|
"__allocating_init" : "init");
|
|
case Node::Kind::Constructor:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::FunctionStyle,
|
|
/*hasName*/Node->getNumChildren() > 2, "init");
|
|
case Node::Kind::Destructor:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/false, "deinit");
|
|
case Node::Kind::Deallocator:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/false, isClassType(Node->getChild(0)) ?
|
|
"__deallocating_deinit" : "deinit");
|
|
case Node::Kind::IVarInitializer:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/false, "__ivar_initializer");
|
|
case Node::Kind::IVarDestroyer:
|
|
return printEntity(Node, asPrefixContext, TypePrinting::NoType,
|
|
/*hasName*/false, "__ivar_destroyer");
|
|
case Node::Kind::ProtocolConformance: {
|
|
NodePointer child0 = Node->getChild(0);
|
|
NodePointer child1 = Node->getChild(1);
|
|
NodePointer child2 = Node->getChild(2);
|
|
if (Node->getNumChildren() == 4) {
|
|
// TODO: check if this is correct
|
|
Printer << "property behavior storage of ";
|
|
print(child2);
|
|
Printer << " in ";
|
|
print(child0);
|
|
Printer << " : ";
|
|
print(child1);
|
|
} else {
|
|
print(child0);
|
|
if (Options.DisplayProtocolConformances) {
|
|
Printer << " : ";
|
|
print(child1);
|
|
Printer << " in ";
|
|
print(child2);
|
|
}
|
|
}
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::TypeList:
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::LabelList:
|
|
return nullptr;
|
|
case Node::Kind::ImplEscaping:
|
|
Printer << "@escaping";
|
|
return nullptr;
|
|
case Node::Kind::ImplConvention:
|
|
Printer << Node->getText();
|
|
return nullptr;
|
|
case Node::Kind::ImplFunctionAttribute:
|
|
Printer << Node->getText();
|
|
return nullptr;
|
|
case Node::Kind::ImplErrorResult:
|
|
Printer << "@error ";
|
|
LLVM_FALLTHROUGH;
|
|
case Node::Kind::ImplParameter:
|
|
case Node::Kind::ImplResult:
|
|
printChildren(Node, " ");
|
|
return nullptr;
|
|
case Node::Kind::ImplFunctionType:
|
|
printImplFunctionType(Node);
|
|
return nullptr;
|
|
case Node::Kind::ErrorType:
|
|
Printer << "<ERROR TYPE>";
|
|
return nullptr;
|
|
|
|
case Node::Kind::DependentPseudogenericSignature:
|
|
case Node::Kind::DependentGenericSignature: {
|
|
Printer << '<';
|
|
|
|
unsigned depth = 0;
|
|
unsigned numChildren = Node->getNumChildren();
|
|
for (;
|
|
depth < numChildren
|
|
&& Node->getChild(depth)->getKind()
|
|
== Node::Kind::DependentGenericParamCount;
|
|
++depth) {
|
|
if (depth != 0)
|
|
Printer << "><";
|
|
|
|
unsigned count = Node->getChild(depth)->getIndex();
|
|
for (unsigned index = 0; index < count; ++index) {
|
|
if (index != 0)
|
|
Printer << ", ";
|
|
// Limit the number of printed generic parameters. In practice this
|
|
// it will never be exceeded. The limit is only imporant for malformed
|
|
// symbols where count can be really huge.
|
|
if (index >= 128) {
|
|
Printer << "...";
|
|
break;
|
|
}
|
|
// FIXME: Depth won't match when a generic signature applies to a
|
|
// method in generic type context.
|
|
Printer << Options.ArchetypeName(index, depth);
|
|
}
|
|
}
|
|
|
|
if (depth != numChildren) {
|
|
if (Options.DisplayWhereClauses) {
|
|
Printer << " where ";
|
|
for (unsigned i = depth; i < numChildren; ++i) {
|
|
if (i > depth)
|
|
Printer << ", ";
|
|
print(Node->getChild(i));
|
|
}
|
|
}
|
|
}
|
|
Printer << '>';
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::DependentGenericParamCount:
|
|
printer_unreachable("should be printed as a child of a "
|
|
"DependentGenericSignature");
|
|
case Node::Kind::DependentGenericConformanceRequirement: {
|
|
NodePointer type = Node->getChild(0);
|
|
NodePointer reqt = Node->getChild(1);
|
|
print(type);
|
|
Printer << ": ";
|
|
print(reqt);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::DependentGenericLayoutRequirement: {
|
|
NodePointer type = Node->getChild(0);
|
|
NodePointer layout = Node->getChild(1);
|
|
print(type);
|
|
Printer << ": ";
|
|
assert(layout->getKind() == Node::Kind::Identifier);
|
|
assert(layout->getText().size() == 1);
|
|
char c = layout->getText()[0];
|
|
StringRef name;
|
|
if (c == 'U') {
|
|
name = "_UnknownLayout";
|
|
} else if (c == 'R') {
|
|
name = "_RefCountedObject";
|
|
} else if (c == 'N') {
|
|
name = "_NativeRefCountedObject";
|
|
} else if (c == 'C') {
|
|
name = "AnyObject";
|
|
} else if (c == 'D') {
|
|
name = "_NativeClass";
|
|
} else if (c == 'T') {
|
|
name = "_Trivial";
|
|
} else if (c == 'E' || c == 'e') {
|
|
name = "_Trivial";
|
|
} else if (c == 'M' || c == 'm') {
|
|
name = "_TrivialAtMost";
|
|
}
|
|
Printer << name;
|
|
if (Node->getNumChildren() > 2) {
|
|
Printer << "(";
|
|
print(Node->getChild(2));
|
|
if (Node->getNumChildren() > 3) {
|
|
Printer << ", ";
|
|
print(Node->getChild(3));
|
|
}
|
|
Printer << ")";
|
|
}
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::DependentGenericSameTypeRequirement: {
|
|
NodePointer fst = Node->getChild(0);
|
|
NodePointer snd = Node->getChild(1);
|
|
|
|
print(fst);
|
|
Printer << " == ";
|
|
print(snd);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::DependentGenericParamType: {
|
|
unsigned index = Node->getChild(1)->getIndex();
|
|
unsigned depth = Node->getChild(0)->getIndex();
|
|
Printer << Options.ArchetypeName(index, depth);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::DependentGenericType: {
|
|
NodePointer sig = Node->getChild(0);
|
|
NodePointer depTy = Node->getChild(1);
|
|
print(sig);
|
|
if (needSpaceBeforeType(depTy))
|
|
Printer << ' ';
|
|
print(depTy);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::DependentMemberType: {
|
|
NodePointer base = Node->getChild(0);
|
|
print(base);
|
|
Printer << '.';
|
|
NodePointer assocTy = Node->getChild(1);
|
|
print(assocTy);
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::DependentAssociatedTypeRef: {
|
|
Printer << Node->getFirstChild()->getText();
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::ReflectionMetadataBuiltinDescriptor:
|
|
Printer << "reflection metadata builtin descriptor ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ReflectionMetadataFieldDescriptor:
|
|
Printer << "reflection metadata field descriptor ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ReflectionMetadataAssocTypeDescriptor:
|
|
Printer << "reflection metadata associated type descriptor ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ReflectionMetadataSuperclassDescriptor:
|
|
Printer << "reflection metadata superclass descriptor ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
|
|
case Node::Kind::ThrowsAnnotation:
|
|
Printer<< " throws ";
|
|
return nullptr;
|
|
case Node::Kind::EmptyList:
|
|
Printer << " empty-list ";
|
|
return nullptr;
|
|
case Node::Kind::FirstElementMarker:
|
|
Printer << " first-element-marker ";
|
|
return nullptr;
|
|
case Node::Kind::VariadicMarker:
|
|
Printer << " variadic-marker ";
|
|
return nullptr;
|
|
case Node::Kind::SILBoxTypeWithLayout: {
|
|
assert(Node->getNumChildren() == 1 || Node->getNumChildren() == 3);
|
|
NodePointer layout = Node->getChild(0);
|
|
assert(layout->getKind() == Node::Kind::SILBoxLayout);
|
|
NodePointer signature, genericArgs = nullptr;
|
|
if (Node->getNumChildren() == 3) {
|
|
signature = Node->getChild(1);
|
|
assert(signature->getKind() == Node::Kind::DependentGenericSignature);
|
|
genericArgs = Node->getChild(2);
|
|
assert(genericArgs->getKind() == Node::Kind::TypeList);
|
|
|
|
print(signature);
|
|
Printer << ' ';
|
|
}
|
|
print(layout);
|
|
if (genericArgs) {
|
|
Printer << " <";
|
|
for (unsigned i = 0, e = genericArgs->getNumChildren(); i < e; ++i) {
|
|
if (i > 0)
|
|
Printer << ", ";
|
|
print(genericArgs->getChild(i));
|
|
}
|
|
Printer << '>';
|
|
}
|
|
return nullptr;
|
|
}
|
|
case Node::Kind::SILBoxLayout:
|
|
Printer << '{';
|
|
for (unsigned i = 0; i < Node->getNumChildren(); ++i) {
|
|
if (i > 0)
|
|
Printer << ',';
|
|
Printer << ' ';
|
|
print(Node->getChild(i));
|
|
}
|
|
Printer << " }";
|
|
return nullptr;
|
|
case Node::Kind::SILBoxImmutableField:
|
|
case Node::Kind::SILBoxMutableField:
|
|
Printer << (Node->getKind() == Node::Kind::SILBoxImmutableField
|
|
? "let "
|
|
: "var ");
|
|
assert(Node->getNumChildren() == 1
|
|
&& Node->getChild(0)->getKind() == Node::Kind::Type);
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::AssocTypePath:
|
|
printChildren(Node->begin(), Node->end(), ".");
|
|
return nullptr;
|
|
case Node::Kind::ModuleDescriptor:
|
|
Printer << "module descriptor ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::AnonymousDescriptor:
|
|
Printer << "anonymous descriptor ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::ExtensionDescriptor:
|
|
Printer << "extension descriptor ";
|
|
print(Node->getChild(0));
|
|
return nullptr;
|
|
case Node::Kind::AssociatedTypeGenericParamRef:
|
|
Printer << "generic parameter reference for associated type ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::AnyProtocolConformanceList:
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::ConcreteProtocolConformance:
|
|
Printer << "concrete protocol conformance ";
|
|
if (Node->hasIndex())
|
|
Printer << "#" << Node->getIndex() << " ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::DependentAssociatedConformance:
|
|
Printer << "dependent associated conformance ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::DependentProtocolConformanceAssociated:
|
|
Printer << "dependent associated protocol conformance ";
|
|
if (Node->hasIndex())
|
|
Printer << "#" << Node->getIndex() << " ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::DependentProtocolConformanceInherited:
|
|
Printer << "dependent inherited protocol conformance ";
|
|
if (Node->hasIndex())
|
|
Printer << "#" << Node->getIndex() << " ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::DependentProtocolConformanceRoot:
|
|
Printer << "dependent root protocol conformance #" << Node->getIndex()
|
|
<< " ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::ProtocolConformanceRefInTypeModule:
|
|
Printer << "protocol conformance ref (type's module) ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::ProtocolConformanceRefInProtocolModule:
|
|
Printer << "protocol conformance ref (protocol's module) ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::ProtocolConformanceRefInOtherModule:
|
|
Printer << "protocol conformance ref (retroactive) ";
|
|
printChildren(Node);
|
|
return nullptr;
|
|
case Node::Kind::SugaredOptional:
|
|
printWithParens(Node->getChild(0));
|
|
Printer << "?";
|
|
return nullptr;
|
|
case Node::Kind::SugaredArray:
|
|
Printer << "[";
|
|
print(Node->getChild(0));
|
|
Printer << "]";
|
|
return nullptr;
|
|
case Node::Kind::SugaredDictionary:
|
|
Printer << "[";
|
|
print(Node->getChild(0));
|
|
Printer << " : ";
|
|
print(Node->getChild(1));
|
|
Printer << "]";
|
|
return nullptr;
|
|
case Node::Kind::SugaredParen:
|
|
Printer << "(";
|
|
print(Node->getChild(0));
|
|
Printer << ")";
|
|
return nullptr;
|
|
}
|
|
printer_unreachable("bad node kind!");
|
|
}
|
|
|
|
NodePointer NodePrinter::printAbstractStorage(NodePointer Node,
|
|
bool asPrefixContent,
|
|
StringRef ExtraName) {
|
|
switch (Node->getKind()) {
|
|
case Node::Kind::Variable:
|
|
return printEntity(Node, asPrefixContent, TypePrinting::WithColon,
|
|
/*hasName*/true, ExtraName);
|
|
case Node::Kind::Subscript:
|
|
return printEntity(Node, asPrefixContent, TypePrinting::WithColon,
|
|
/*hasName*/false, ExtraName, /*ExtraIndex*/-1,
|
|
"subscript");
|
|
default:
|
|
printer_unreachable("Not an abstract storage node");
|
|
}
|
|
}
|
|
|
|
NodePointer NodePrinter::
|
|
printEntity(NodePointer Entity, bool asPrefixContext, TypePrinting TypePr,
|
|
bool hasName, StringRef ExtraName, int ExtraIndex,
|
|
StringRef OverwriteName) {
|
|
|
|
NodePointer genericFunctionTypeList = nullptr;
|
|
if (Entity->getKind() == Node::Kind::BoundGenericFunction) {
|
|
genericFunctionTypeList = Entity->getChild(1);
|
|
Entity = Entity->getFirstChild();
|
|
}
|
|
|
|
// Either we print the context in prefix form "<context>.<name>" or in
|
|
// suffix form "<name> in <context>".
|
|
bool MultiWordName = ExtraName.contains(' ');
|
|
// Also a local name (e.g. Mystruct #1) does not look good if its context is
|
|
// printed in prefix form.
|
|
if (hasName &&
|
|
Entity->getChild(1)->getKind() == Node::Kind::LocalDeclName)
|
|
MultiWordName = true;
|
|
|
|
if (asPrefixContext && (TypePr != TypePrinting::NoType || MultiWordName)) {
|
|
// If the context has a type to be printed, we can't use the prefix form.
|
|
return Entity;
|
|
}
|
|
|
|
NodePointer PostfixContext = nullptr;
|
|
NodePointer Context = Entity->getChild(0);
|
|
if (printContext(Context)) {
|
|
if (MultiWordName) {
|
|
// If the name contains some spaces we don't print the context now but
|
|
// later in suffix form.
|
|
PostfixContext = Context;
|
|
} else {
|
|
size_t CurrentPos = Printer.getStringRef().size();
|
|
PostfixContext = print(Context, /*asPrefixContext*/true);
|
|
|
|
// Was the context printed as prefix?
|
|
if (Printer.getStringRef().size() != CurrentPos)
|
|
Printer << '.';
|
|
}
|
|
}
|
|
|
|
if (hasName || !OverwriteName.empty()) {
|
|
assert(ExtraIndex < 0 && "Can't have a name and extra index");
|
|
if (!ExtraName.empty() && MultiWordName) {
|
|
Printer << ExtraName;
|
|
Printer << " of ";
|
|
ExtraName = "";
|
|
}
|
|
size_t CurrentPos = Printer.getStringRef().size();
|
|
if (!OverwriteName.empty()) {
|
|
Printer << OverwriteName;
|
|
} else {
|
|
auto Name = Entity->getChild(1);
|
|
if (Name->getKind() != Node::Kind::PrivateDeclName)
|
|
print(Name);
|
|
|
|
if (auto PrivateName = getChildIf(Entity, Node::Kind::PrivateDeclName))
|
|
print(PrivateName);
|
|
}
|
|
if (Printer.getStringRef().size() != CurrentPos && !ExtraName.empty())
|
|
Printer << '.';
|
|
}
|
|
if (!ExtraName.empty()) {
|
|
Printer << ExtraName;
|
|
if (ExtraIndex >= 0)
|
|
Printer << ExtraIndex;
|
|
}
|
|
if (TypePr != TypePrinting::NoType) {
|
|
NodePointer type = getChildIf(Entity, Node::Kind::Type);
|
|
assert(type && "malformed entity");
|
|
if (!type) {
|
|
setInvalid();
|
|
return nullptr;
|
|
}
|
|
type = type->getChild(0);
|
|
if (TypePr == TypePrinting::FunctionStyle) {
|
|
// We expect to see a function type here, but if we don't, use the colon.
|
|
NodePointer t = type;
|
|
while (t->getKind() == Node::Kind::DependentGenericType)
|
|
t = t->getChild(1)->getChild(0);
|
|
if (t->getKind() != Node::Kind::FunctionType &&
|
|
t->getKind() != Node::Kind::NoEscapeFunctionType &&
|
|
t->getKind() != Node::Kind::UncurriedFunctionType &&
|
|
t->getKind() != Node::Kind::CFunctionPointer &&
|
|
t->getKind() != Node::Kind::ThinFunctionType) {
|
|
TypePr = TypePrinting::WithColon;
|
|
}
|
|
}
|
|
|
|
if (TypePr == TypePrinting::WithColon) {
|
|
if (Options.DisplayEntityTypes) {
|
|
Printer << " : ";
|
|
printEntityType(Entity, type, genericFunctionTypeList);
|
|
}
|
|
} else {
|
|
assert(TypePr == TypePrinting::FunctionStyle);
|
|
if (MultiWordName || needSpaceBeforeType(type))
|
|
Printer << ' ';
|
|
printEntityType(Entity, type, genericFunctionTypeList);
|
|
}
|
|
}
|
|
if (!asPrefixContext && PostfixContext) {
|
|
// Print any left over context which couldn't be printed in prefix form.
|
|
if (Entity->getKind() == Node::Kind::DefaultArgumentInitializer ||
|
|
Entity->getKind() == Node::Kind::Initializer) {
|
|
Printer << " of ";
|
|
} else {
|
|
Printer << " in ";
|
|
}
|
|
print(PostfixContext);
|
|
PostfixContext = nullptr;
|
|
}
|
|
return PostfixContext;
|
|
};
|
|
|
|
void NodePrinter::printEntityType(NodePointer Entity, NodePointer type,
|
|
NodePointer genericFunctionTypeList) {
|
|
NodePointer labelList = getChildIf(Entity, Node::Kind::LabelList);
|
|
if (labelList || genericFunctionTypeList) {
|
|
if (genericFunctionTypeList) {
|
|
Printer << "<";
|
|
printChildren(genericFunctionTypeList, ", ");
|
|
Printer << ">";
|
|
}
|
|
if (type->getKind() == Node::Kind::DependentGenericType) {
|
|
if (!genericFunctionTypeList)
|
|
print(type->getChild(0)); // generic signature
|
|
|
|
auto dependentType = type->getChild(1);
|
|
if (needSpaceBeforeType(dependentType))
|
|
Printer << ' ';
|
|
type = dependentType->getFirstChild();
|
|
}
|
|
printFunctionType(labelList, type);
|
|
} else {
|
|
print(type);
|
|
}
|
|
}
|
|
|
|
std::string Demangle::nodeToString(NodePointer root,
|
|
const DemangleOptions &options) {
|
|
if (!root)
|
|
return "";
|
|
|
|
return NodePrinter(options).printRoot(root);
|
|
}
|