1 //===--- ASTTypeTraits.cpp --------------------------------------*- C++ -*-===// 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-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // Provides a dynamic type identifier and a dynamically typed node container 10 // that can be used to store an AST base node at runtime in the same storage in 11 // a type safe way. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #include "clang/AST/ASTTypeTraits.h" 16 #include "clang/AST/ASTContext.h" 17 #include "clang/AST/DeclCXX.h" 18 19 namespace clang { 20 namespace ast_type_traits { 21 22 const ASTNodeKind::KindInfo ASTNodeKind::AllKindInfo[] = { 23 { NKI_None, "<None>" }, 24 { NKI_None, "TemplateArgument" }, 25 { NKI_None, "TemplateName" }, 26 { NKI_None, "NestedNameSpecifierLoc" }, 27 { NKI_None, "QualType" }, 28 { NKI_None, "TypeLoc" }, 29 { NKI_None, "CXXCtorInitializer" }, 30 { NKI_None, "NestedNameSpecifier" }, 31 { NKI_None, "Decl" }, 32 #define DECL(DERIVED, BASE) { NKI_##BASE, #DERIVED "Decl" }, 33 #include "clang/AST/DeclNodes.inc" 34 { NKI_None, "Stmt" }, 35 #define STMT(DERIVED, BASE) { NKI_##BASE, #DERIVED }, 36 #include "clang/AST/StmtNodes.inc" 37 { NKI_None, "Type" }, 38 #define TYPE(DERIVED, BASE) { NKI_##BASE, #DERIVED "Type" }, 39 #include "clang/AST/TypeNodes.def" 40 { NKI_None, "OMPClause" }, 41 #define OPENMP_CLAUSE(TextualSpelling, Class) {NKI_OMPClause, #Class}, 42 #include "clang/Basic/OpenMPKinds.def" 43 }; 44 45 bool ASTNodeKind::isBaseOf(ASTNodeKind Other, unsigned *Distance) const { 46 return isBaseOf(KindId, Other.KindId, Distance); 47 } 48 49 bool ASTNodeKind::isBaseOf(NodeKindId Base, NodeKindId Derived, 50 unsigned *Distance) { 51 if (Base == NKI_None || Derived == NKI_None) return false; 52 unsigned Dist = 0; 53 while (Derived != Base && Derived != NKI_None) { 54 Derived = AllKindInfo[Derived].ParentId; 55 ++Dist; 56 } 57 if (Distance) 58 *Distance = Dist; 59 return Derived == Base; 60 } 61 62 StringRef ASTNodeKind::asStringRef() const { return AllKindInfo[KindId].Name; } 63 64 ASTNodeKind ASTNodeKind::getMostDerivedType(ASTNodeKind Kind1, 65 ASTNodeKind Kind2) { 66 if (Kind1.isBaseOf(Kind2)) return Kind2; 67 if (Kind2.isBaseOf(Kind1)) return Kind1; 68 return ASTNodeKind(); 69 } 70 71 ASTNodeKind ASTNodeKind::getMostDerivedCommonAncestor(ASTNodeKind Kind1, 72 ASTNodeKind Kind2) { 73 NodeKindId Parent = Kind1.KindId; 74 while (!isBaseOf(Parent, Kind2.KindId, nullptr) && Parent != NKI_None) { 75 Parent = AllKindInfo[Parent].ParentId; 76 } 77 return ASTNodeKind(Parent); 78 } 79 80 ASTNodeKind ASTNodeKind::getFromNode(const Decl &D) { 81 switch (D.getKind()) { 82 #define DECL(DERIVED, BASE) \ 83 case Decl::DERIVED: return ASTNodeKind(NKI_##DERIVED##Decl); 84 #define ABSTRACT_DECL(D) 85 #include "clang/AST/DeclNodes.inc" 86 }; 87 llvm_unreachable("invalid decl kind"); 88 } 89 90 ASTNodeKind ASTNodeKind::getFromNode(const Stmt &S) { 91 switch (S.getStmtClass()) { 92 case Stmt::NoStmtClass: return NKI_None; 93 #define STMT(CLASS, PARENT) \ 94 case Stmt::CLASS##Class: return ASTNodeKind(NKI_##CLASS); 95 #define ABSTRACT_STMT(S) 96 #include "clang/AST/StmtNodes.inc" 97 } 98 llvm_unreachable("invalid stmt kind"); 99 } 100 101 ASTNodeKind ASTNodeKind::getFromNode(const Type &T) { 102 switch (T.getTypeClass()) { 103 #define TYPE(Class, Base) \ 104 case Type::Class: return ASTNodeKind(NKI_##Class##Type); 105 #define ABSTRACT_TYPE(Class, Base) 106 #include "clang/AST/TypeNodes.def" 107 } 108 llvm_unreachable("invalid type kind"); 109 } 110 111 ASTNodeKind ASTNodeKind::getFromNode(const OMPClause &C) { 112 switch (C.getClauseKind()) { 113 #define OPENMP_CLAUSE(Name, Class) \ 114 case OMPC_##Name: return ASTNodeKind(NKI_##Class); 115 #include "clang/Basic/OpenMPKinds.def" 116 case OMPC_allocate: 117 case OMPC_threadprivate: 118 case OMPC_uniform: 119 case OMPC_unknown: 120 llvm_unreachable("unexpected OpenMP clause kind"); 121 } 122 llvm_unreachable("invalid stmt kind"); 123 } 124 125 void DynTypedNode::print(llvm::raw_ostream &OS, 126 const PrintingPolicy &PP) const { 127 if (const TemplateArgument *TA = get<TemplateArgument>()) 128 TA->print(PP, OS); 129 else if (const TemplateName *TN = get<TemplateName>()) 130 TN->print(OS, PP); 131 else if (const NestedNameSpecifier *NNS = get<NestedNameSpecifier>()) 132 NNS->print(OS, PP); 133 else if (const NestedNameSpecifierLoc *NNSL = get<NestedNameSpecifierLoc>()) 134 NNSL->getNestedNameSpecifier()->print(OS, PP); 135 else if (const QualType *QT = get<QualType>()) 136 QT->print(OS, PP); 137 else if (const TypeLoc *TL = get<TypeLoc>()) 138 TL->getType().print(OS, PP); 139 else if (const Decl *D = get<Decl>()) 140 D->print(OS, PP); 141 else if (const Stmt *S = get<Stmt>()) 142 S->printPretty(OS, nullptr, PP); 143 else if (const Type *T = get<Type>()) 144 QualType(T, 0).print(OS, PP); 145 else 146 OS << "Unable to print values of type " << NodeKind.asStringRef() << "\n"; 147 } 148 149 void DynTypedNode::dump(llvm::raw_ostream &OS, SourceManager &SM) const { 150 if (const Decl *D = get<Decl>()) 151 D->dump(OS); 152 else if (const Stmt *S = get<Stmt>()) 153 S->dump(OS, SM); 154 else if (const Type *T = get<Type>()) 155 T->dump(OS); 156 else 157 OS << "Unable to dump values of type " << NodeKind.asStringRef() << "\n"; 158 } 159 160 SourceRange DynTypedNode::getSourceRange() const { 161 if (const CXXCtorInitializer *CCI = get<CXXCtorInitializer>()) 162 return CCI->getSourceRange(); 163 if (const NestedNameSpecifierLoc *NNSL = get<NestedNameSpecifierLoc>()) 164 return NNSL->getSourceRange(); 165 if (const TypeLoc *TL = get<TypeLoc>()) 166 return TL->getSourceRange(); 167 if (const Decl *D = get<Decl>()) 168 return D->getSourceRange(); 169 if (const Stmt *S = get<Stmt>()) 170 return S->getSourceRange(); 171 if (const auto *C = get<OMPClause>()) 172 return SourceRange(C->getBeginLoc(), C->getEndLoc()); 173 return SourceRange(); 174 } 175 176 } // end namespace ast_type_traits 177 } // end namespace clang 178