1259701Sdim//===--- ASTTypeTraits.cpp --------------------------------------*- C++ -*-===//
2259701Sdim//
3353358Sdim// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4353358Sdim// See https://llvm.org/LICENSE.txt for license information.
5353358Sdim// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6259701Sdim//
7259701Sdim//===----------------------------------------------------------------------===//
8259701Sdim//
9259701Sdim//  Provides a dynamic type identifier and a dynamically typed node container
10259701Sdim//  that can be used to store an AST base node at runtime in the same storage in
11259701Sdim//  a type safe way.
12259701Sdim//
13259701Sdim//===----------------------------------------------------------------------===//
14259701Sdim
15259701Sdim#include "clang/AST/ASTTypeTraits.h"
16259701Sdim#include "clang/AST/ASTContext.h"
17259701Sdim#include "clang/AST/DeclCXX.h"
18360784Sdim#include "clang/AST/NestedNameSpecifier.h"
19360784Sdim#include "clang/AST/OpenMPClause.h"
20259701Sdim
21259701Sdimnamespace clang {
22259701Sdimnamespace ast_type_traits {
23259701Sdim
24259701Sdimconst ASTNodeKind::KindInfo ASTNodeKind::AllKindInfo[] = {
25259701Sdim  { NKI_None, "<None>" },
26259701Sdim  { NKI_None, "TemplateArgument" },
27314564Sdim  { NKI_None, "TemplateName" },
28259701Sdim  { NKI_None, "NestedNameSpecifierLoc" },
29259701Sdim  { NKI_None, "QualType" },
30259701Sdim  { NKI_None, "TypeLoc" },
31309124Sdim  { NKI_None, "CXXCtorInitializer" },
32309124Sdim  { NKI_None, "NestedNameSpecifier" },
33259701Sdim  { NKI_None, "Decl" },
34259701Sdim#define DECL(DERIVED, BASE) { NKI_##BASE, #DERIVED "Decl" },
35259701Sdim#include "clang/AST/DeclNodes.inc"
36259701Sdim  { NKI_None, "Stmt" },
37259701Sdim#define STMT(DERIVED, BASE) { NKI_##BASE, #DERIVED },
38259701Sdim#include "clang/AST/StmtNodes.inc"
39259701Sdim  { NKI_None, "Type" },
40259701Sdim#define TYPE(DERIVED, BASE) { NKI_##BASE, #DERIVED "Type" },
41360784Sdim#include "clang/AST/TypeNodes.inc"
42353358Sdim  { NKI_None, "OMPClause" },
43353358Sdim#define OPENMP_CLAUSE(TextualSpelling, Class) {NKI_OMPClause, #Class},
44353358Sdim#include "clang/Basic/OpenMPKinds.def"
45259701Sdim};
46259701Sdim
47276479Sdimbool ASTNodeKind::isBaseOf(ASTNodeKind Other, unsigned *Distance) const {
48276479Sdim  return isBaseOf(KindId, Other.KindId, Distance);
49259701Sdim}
50259701Sdim
51276479Sdimbool ASTNodeKind::isBaseOf(NodeKindId Base, NodeKindId Derived,
52276479Sdim                           unsigned *Distance) {
53259701Sdim  if (Base == NKI_None || Derived == NKI_None) return false;
54276479Sdim  unsigned Dist = 0;
55276479Sdim  while (Derived != Base && Derived != NKI_None) {
56259701Sdim    Derived = AllKindInfo[Derived].ParentId;
57276479Sdim    ++Dist;
58276479Sdim  }
59276479Sdim  if (Distance)
60276479Sdim    *Distance = Dist;
61259701Sdim  return Derived == Base;
62259701Sdim}
63259701Sdim
64259701SdimStringRef ASTNodeKind::asStringRef() const { return AllKindInfo[KindId].Name; }
65259701Sdim
66280031SdimASTNodeKind ASTNodeKind::getMostDerivedType(ASTNodeKind Kind1,
67280031Sdim                                            ASTNodeKind Kind2) {
68280031Sdim  if (Kind1.isBaseOf(Kind2)) return Kind2;
69280031Sdim  if (Kind2.isBaseOf(Kind1)) return Kind1;
70280031Sdim  return ASTNodeKind();
71280031Sdim}
72280031Sdim
73280031SdimASTNodeKind ASTNodeKind::getMostDerivedCommonAncestor(ASTNodeKind Kind1,
74280031Sdim                                                      ASTNodeKind Kind2) {
75280031Sdim  NodeKindId Parent = Kind1.KindId;
76280031Sdim  while (!isBaseOf(Parent, Kind2.KindId, nullptr) && Parent != NKI_None) {
77280031Sdim    Parent = AllKindInfo[Parent].ParentId;
78280031Sdim  }
79280031Sdim  return ASTNodeKind(Parent);
80280031Sdim}
81280031Sdim
82280031SdimASTNodeKind ASTNodeKind::getFromNode(const Decl &D) {
83280031Sdim  switch (D.getKind()) {
84280031Sdim#define DECL(DERIVED, BASE)                                                    \
85280031Sdim    case Decl::DERIVED: return ASTNodeKind(NKI_##DERIVED##Decl);
86280031Sdim#define ABSTRACT_DECL(D)
87280031Sdim#include "clang/AST/DeclNodes.inc"
88280031Sdim  };
89280031Sdim  llvm_unreachable("invalid decl kind");
90280031Sdim}
91280031Sdim
92280031SdimASTNodeKind ASTNodeKind::getFromNode(const Stmt &S) {
93280031Sdim  switch (S.getStmtClass()) {
94280031Sdim    case Stmt::NoStmtClass: return NKI_None;
95280031Sdim#define STMT(CLASS, PARENT)                                                    \
96280031Sdim    case Stmt::CLASS##Class: return ASTNodeKind(NKI_##CLASS);
97280031Sdim#define ABSTRACT_STMT(S)
98280031Sdim#include "clang/AST/StmtNodes.inc"
99280031Sdim  }
100280031Sdim  llvm_unreachable("invalid stmt kind");
101280031Sdim}
102280031Sdim
103280031SdimASTNodeKind ASTNodeKind::getFromNode(const Type &T) {
104280031Sdim  switch (T.getTypeClass()) {
105280031Sdim#define TYPE(Class, Base)                                                      \
106280031Sdim    case Type::Class: return ASTNodeKind(NKI_##Class##Type);
107280031Sdim#define ABSTRACT_TYPE(Class, Base)
108360784Sdim#include "clang/AST/TypeNodes.inc"
109280031Sdim  }
110280031Sdim  llvm_unreachable("invalid type kind");
111353358Sdim }
112353358Sdim
113353358SdimASTNodeKind ASTNodeKind::getFromNode(const OMPClause &C) {
114353358Sdim  switch (C.getClauseKind()) {
115353358Sdim#define OPENMP_CLAUSE(Name, Class)                                             \
116353358Sdim    case OMPC_##Name: return ASTNodeKind(NKI_##Class);
117353358Sdim#include "clang/Basic/OpenMPKinds.def"
118353358Sdim  case OMPC_threadprivate:
119353358Sdim  case OMPC_uniform:
120360784Sdim  case OMPC_device_type:
121360784Sdim  case OMPC_match:
122353358Sdim  case OMPC_unknown:
123353358Sdim    llvm_unreachable("unexpected OpenMP clause kind");
124353358Sdim  }
125353358Sdim  llvm_unreachable("invalid stmt kind");
126280031Sdim}
127280031Sdim
128259701Sdimvoid DynTypedNode::print(llvm::raw_ostream &OS,
129259701Sdim                         const PrintingPolicy &PP) const {
130259701Sdim  if (const TemplateArgument *TA = get<TemplateArgument>())
131259701Sdim    TA->print(PP, OS);
132314564Sdim  else if (const TemplateName *TN = get<TemplateName>())
133314564Sdim    TN->print(OS, PP);
134259701Sdim  else if (const NestedNameSpecifier *NNS = get<NestedNameSpecifier>())
135259701Sdim    NNS->print(OS, PP);
136360784Sdim  else if (const NestedNameSpecifierLoc *NNSL = get<NestedNameSpecifierLoc>()) {
137360784Sdim    if (const NestedNameSpecifier *NNS = NNSL->getNestedNameSpecifier())
138360784Sdim      NNS->print(OS, PP);
139360784Sdim    else
140360784Sdim      OS << "(empty NestedNameSpecifierLoc)";
141360784Sdim  } else if (const QualType *QT = get<QualType>())
142259701Sdim    QT->print(OS, PP);
143259701Sdim  else if (const TypeLoc *TL = get<TypeLoc>())
144259701Sdim    TL->getType().print(OS, PP);
145259701Sdim  else if (const Decl *D = get<Decl>())
146259701Sdim    D->print(OS, PP);
147259701Sdim  else if (const Stmt *S = get<Stmt>())
148276479Sdim    S->printPretty(OS, nullptr, PP);
149259701Sdim  else if (const Type *T = get<Type>())
150259701Sdim    QualType(T, 0).print(OS, PP);
151259701Sdim  else
152259701Sdim    OS << "Unable to print values of type " << NodeKind.asStringRef() << "\n";
153259701Sdim}
154259701Sdim
155259701Sdimvoid DynTypedNode::dump(llvm::raw_ostream &OS, SourceManager &SM) const {
156259701Sdim  if (const Decl *D = get<Decl>())
157259701Sdim    D->dump(OS);
158259701Sdim  else if (const Stmt *S = get<Stmt>())
159259701Sdim    S->dump(OS, SM);
160314564Sdim  else if (const Type *T = get<Type>())
161314564Sdim    T->dump(OS);
162259701Sdim  else
163259701Sdim    OS << "Unable to dump values of type " << NodeKind.asStringRef() << "\n";
164259701Sdim}
165259701Sdim
166259701SdimSourceRange DynTypedNode::getSourceRange() const {
167259701Sdim  if (const CXXCtorInitializer *CCI = get<CXXCtorInitializer>())
168259701Sdim    return CCI->getSourceRange();
169259701Sdim  if (const NestedNameSpecifierLoc *NNSL = get<NestedNameSpecifierLoc>())
170259701Sdim    return NNSL->getSourceRange();
171259701Sdim  if (const TypeLoc *TL = get<TypeLoc>())
172259701Sdim    return TL->getSourceRange();
173259701Sdim  if (const Decl *D = get<Decl>())
174259701Sdim    return D->getSourceRange();
175259701Sdim  if (const Stmt *S = get<Stmt>())
176259701Sdim    return S->getSourceRange();
177353358Sdim  if (const auto *C = get<OMPClause>())
178353358Sdim    return SourceRange(C->getBeginLoc(), C->getEndLoc());
179259701Sdim  return SourceRange();
180259701Sdim}
181259701Sdim
182259701Sdim} // end namespace ast_type_traits
183259701Sdim} // end namespace clang
184