clang 20.0.0git
|
A class that does preorder or postorder depth-first traversal on the entire Clang AST and visits each node. More...
#include "clang/AST/RecursiveASTVisitor.h"
Public Types | |
typedef SmallVectorImpl< llvm::PointerIntPair< Stmt *, 1, bool > > | DataRecursionQueue |
A queue used for performing data recursion over statements. | |
Public Member Functions | |
Derived & | getDerived () |
Return a reference to the derived class. | |
bool | shouldVisitTemplateInstantiations () const |
Return whether this visitor should recurse into template instantiations. | |
bool | shouldWalkTypesOfTypeLocs () const |
Return whether this visitor should recurse into the types of TypeLocs. | |
bool | shouldVisitImplicitCode () const |
Return whether this visitor should recurse into implicit code, e.g., implicit constructors and destructors. | |
bool | shouldVisitLambdaBody () const |
Return whether this visitor should recurse into lambda body. | |
bool | shouldTraversePostOrder () const |
Return whether this visitor should traverse post-order. | |
bool | TraverseAST (ASTContext &AST) |
Recursively visits an entire AST, starting from the TranslationUnitDecl. | |
bool | TraverseStmt (Stmt *S, DataRecursionQueue *Queue=nullptr) |
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dynamic type. | |
bool | dataTraverseStmtPre (Stmt *S) |
Invoked before visiting a statement or expression via data recursion. | |
bool | dataTraverseStmtPost (Stmt *S) |
Invoked after visiting a statement or expression via data recursion. | |
bool | TraverseType (QualType T) |
Recursively visit a type, by dispatching to Traverse*Type() based on the argument's getTypeClass() property. | |
bool | TraverseTypeLoc (TypeLoc TL) |
Recursively visit a type with location, by dispatching to Traverse*TypeLoc() based on the argument type's getTypeClass() property. | |
bool | TraverseAttr (Attr *At) |
Recursively visit an attribute, by dispatching to Traverse*Attr() based on the argument's dynamic type. | |
bool | TraverseDecl (Decl *D) |
Recursively visit a declaration, by dispatching to Traverse*Decl() based on the argument's dynamic type. | |
bool | TraverseNestedNameSpecifier (NestedNameSpecifier *NNS) |
Recursively visit a C++ nested-name-specifier. | |
bool | TraverseNestedNameSpecifierLoc (NestedNameSpecifierLoc NNS) |
Recursively visit a C++ nested-name-specifier with location information. | |
bool | TraverseDeclarationNameInfo (DeclarationNameInfo NameInfo) |
Recursively visit a name with its location information. | |
bool | TraverseTemplateName (TemplateName Template) |
Recursively visit a template name and dispatch to the appropriate method. | |
bool | TraverseTemplateArgument (const TemplateArgument &Arg) |
Recursively visit a template argument and dispatch to the appropriate method for the argument type. | |
bool | TraverseTemplateArgumentLoc (const TemplateArgumentLoc &ArgLoc) |
Recursively visit a template argument location and dispatch to the appropriate method for the argument type. | |
bool | TraverseTemplateArguments (ArrayRef< TemplateArgument > Args) |
Recursively visit a set of template arguments. | |
bool | TraverseCXXBaseSpecifier (const CXXBaseSpecifier &Base) |
Recursively visit a base specifier. | |
bool | TraverseConstructorInitializer (CXXCtorInitializer *Init) |
Recursively visit a constructor initializer. | |
bool | TraverseLambdaCapture (LambdaExpr *LE, const LambdaCapture *C, Expr *Init) |
Recursively visit a lambda capture. | |
bool | TraverseSynOrSemInitListExpr (InitListExpr *S, DataRecursionQueue *Queue=nullptr) |
Recursively visit the syntactic or semantic form of an initialization list. | |
bool | TraverseObjCProtocolLoc (ObjCProtocolLoc ProtocolLoc) |
Recursively visit an Objective-C protocol reference with location information. | |
bool | TraverseConceptReference (ConceptReference *CR) |
Recursively visit concept reference with location information. | |
bool | VisitConceptReference (ConceptReference *CR) |
bool | VisitAttr (Attr *A) |
Stmt::child_range | getStmtChildren (Stmt *S) |
bool | WalkUpFromStmt (Stmt *S) |
bool | VisitStmt (Stmt *S) |
bool | WalkUpFromType (Type *T) |
bool | VisitType (Type *T) |
bool | WalkUpFromTypeLoc (TypeLoc TL) |
bool | VisitTypeLoc (TypeLoc TL) |
bool | WalkUpFromQualifiedTypeLoc (QualifiedTypeLoc TL) |
bool | VisitQualifiedTypeLoc (QualifiedTypeLoc TL) |
bool | WalkUpFromUnqualTypeLoc (UnqualTypeLoc TL) |
bool | VisitUnqualTypeLoc (UnqualTypeLoc TL) |
bool | WalkUpFromDecl (Decl *D) |
bool | VisitDecl (Decl *D) |
bool | canIgnoreChildDeclWhileTraversingDeclContext (const Decl *Child) |
bool | TraverseTypeConstraint (const TypeConstraint *C) |
bool | TraverseConceptRequirement (concepts::Requirement *R) |
bool | TraverseConceptTypeRequirement (concepts::TypeRequirement *R) |
bool | TraverseConceptExprRequirement (concepts::ExprRequirement *R) |
bool | TraverseConceptNestedRequirement (concepts::NestedRequirement *R) |
bool | dataTraverseNode (Stmt *S, DataRecursionQueue *Queue) |
A class that does preorder or postorder depth-first traversal on the entire Clang AST and visits each node.
This class performs three distinct tasks:
These tasks are done by three groups of methods, respectively:
These three method groups are tiered (Traverse* > WalkUpFrom* > Visit*). A method (e.g. Traverse*) may call methods from the same tier (e.g. other Traverse*) or one tier lower (e.g. WalkUpFrom*). It may not call methods from a higher tier.
Note that since WalkUpFromFoo() calls WalkUpFromBar() (where Bar is Foo's super class) before calling VisitFoo(), the result is that the Visit*() methods for a given node are called in the top-down order (e.g. for a node of type NamespaceDecl, the order will be VisitDecl(), VisitNamedDecl(), and then VisitNamespaceDecl()).
This scheme guarantees that all Visit*() calls for the same AST node are grouped together. In other words, Visit*() methods for different nodes are never interleaved.
Clients of this visitor should subclass the visitor (providing themselves as the template argument, using the curiously recurring template pattern) and override any of the Traverse*, WalkUpFrom*, and Visit* methods for declarations, types, statements, expressions, or other AST nodes where the visitor should customize behavior. Most users only need to override Visit*. Advanced users may override Traverse* and WalkUpFrom* to implement custom traversal strategies. Returning false from one of these overridden functions will abort the entire traversal.
By default, this visitor tries to visit every part of the explicit source code exactly once. The default policy towards templates is to descend into the 'pattern' class or function body, not any explicit or implicit instantiations. Explicit specializations are still visited, and the patterns of partial specializations are visited separately. This behavior can be changed by overriding shouldVisitTemplateInstantiations() in the derived class to return true, in which case all known implicit and explicit instantiations will be visited at the same time as the pattern from which they were produced.
By default, this visitor preorder traverses the AST. If postorder traversal is needed, the shouldTraversePostOrder
method needs to be overridden to return true
.
Definition at line 154 of file RecursiveASTVisitor.h.
typedef SmallVectorImpl<llvm::PointerIntPair<Stmt *, 1, bool> > clang::RecursiveASTVisitor< Derived >::DataRecursionQueue |
A queue used for performing data recursion over statements.
Parameters involving this type are used to implement data recursion over Stmts and Exprs within this class, and should typically not be explicitly specified by derived classes. The bool bit indicates whether the statement has been traversed or not.
Definition at line 162 of file RecursiveASTVisitor.h.
bool clang::RecursiveASTVisitor< Derived >::canIgnoreChildDeclWhileTraversingDeclContext | ( | const Decl * | Child | ) |
bool clang::RecursiveASTVisitor< Derived >::dataTraverseNode | ( | Stmt * | S, |
DataRecursionQueue * | Queue | ||
) |
Definition at line 555 of file RecursiveASTVisitor.h.
References clang::Stmt::NoStmtClass.
|
inline |
Invoked after visiting a statement or expression via data recursion.
This is not invoked if the previously invoked dataTraverseStmtPre
returned false.
Definition at line 210 of file RecursiveASTVisitor.h.
|
inline |
Invoked before visiting a statement or expression via data recursion.
Definition at line 203 of file RecursiveASTVisitor.h.
|
inline |
Return a reference to the derived class.
Definition at line 165 of file RecursiveASTVisitor.h.
Referenced by clang::RecursiveASTVisitor< Derived >::TraverseAST(), clang::LexicallyOrderedRecursiveASTVisitor< Derived >::TraverseDeclContextHelper(), clang::RecursiveASTVisitor< Derived >::WalkUpFromDecl(), clang::RecursiveASTVisitor< Derived >::WalkUpFromQualifiedTypeLoc(), clang::RecursiveASTVisitor< Derived >::WalkUpFromStmt(), clang::RecursiveASTVisitor< Derived >::WalkUpFromType(), clang::RecursiveASTVisitor< Derived >::WalkUpFromTypeLoc(), and clang::RecursiveASTVisitor< Derived >::WalkUpFromUnqualTypeLoc().
|
inline |
Definition at line 336 of file RecursiveASTVisitor.h.
|
inline |
Return whether this visitor should traverse post-order.
Definition at line 183 of file RecursiveASTVisitor.h.
|
inline |
Return whether this visitor should recurse into implicit code, e.g., implicit constructors and destructors.
Definition at line 177 of file RecursiveASTVisitor.h.
Referenced by isInCoroutineStmt().
|
inline |
Return whether this visitor should recurse into lambda body.
Definition at line 180 of file RecursiveASTVisitor.h.
|
inline |
Return whether this visitor should recurse into template instantiations.
Definition at line 169 of file RecursiveASTVisitor.h.
|
inline |
Return whether this visitor should recurse into the types of TypeLocs.
Definition at line 173 of file RecursiveASTVisitor.h.
|
inline |
Recursively visits an entire AST, starting from the TranslationUnitDecl.
Definition at line 187 of file RecursiveASTVisitor.h.
References clang::RecursiveASTVisitor< Derived >::getDerived(), and clang::ASTContext::getTranslationUnitDecl().
Referenced by clang::ParentMapContext::ParentMap::ParentMap().
bool clang::RecursiveASTVisitor< Derived >::TraverseAttr | ( | Attr * | At | ) |
Recursively visit an attribute, by dispatching to Traverse*Attr() based on the argument's dynamic type.
bool clang::RecursiveASTVisitor< Derived >::TraverseConceptExprRequirement | ( | concepts::ExprRequirement * | R | ) |
Definition at line 582 of file RecursiveASTVisitor.h.
References clang::concepts::ExprRequirement::getExpr(), clang::concepts::ExprRequirement::getReturnTypeRequirement(), clang::concepts::ExprRequirement::isExprSubstitutionFailure(), and TRY_TO.
bool clang::RecursiveASTVisitor< Derived >::TraverseConceptNestedRequirement | ( | concepts::NestedRequirement * | R | ) |
Definition at line 600 of file RecursiveASTVisitor.h.
References clang::concepts::NestedRequirement::getConstraintExpr(), and clang::concepts::NestedRequirement::hasInvalidConstraint().
bool clang::RecursiveASTVisitor< Derived >::TraverseConceptReference | ( | ConceptReference * | CR | ) |
Recursively visit concept reference with location information.
bool clang::RecursiveASTVisitor< Derived >::TraverseConceptRequirement | ( | concepts::Requirement * | R | ) |
bool clang::RecursiveASTVisitor< Derived >::TraverseConceptTypeRequirement | ( | concepts::TypeRequirement * | R | ) |
Definition at line 574 of file RecursiveASTVisitor.h.
References clang::concepts::TypeRequirement::getType(), clang::TypeSourceInfo::getTypeLoc(), and clang::concepts::TypeRequirement::isSubstitutionFailure().
bool clang::RecursiveASTVisitor< Derived >::TraverseConstructorInitializer | ( | CXXCtorInitializer * | Init | ) |
Recursively visit a constructor initializer.
This automatically dispatches to another visitor for the initializer expression, but not for the name of the initializer, so may be overridden for clients that need access to the name.
Definition at line 950 of file RecursiveASTVisitor.h.
References clang::Init, and TRY_TO.
bool clang::RecursiveASTVisitor< Derived >::TraverseCXXBaseSpecifier | ( | const CXXBaseSpecifier & | Base | ) |
Recursively visit a base specifier.
This can be overridden by a subclass.
bool clang::RecursiveASTVisitor< Derived >::TraverseDecl | ( | Decl * | D | ) |
Recursively visit a declaration, by dispatching to Traverse*Decl() based on the argument's dynamic type.
Definition at line 735 of file RecursiveASTVisitor.h.
References D, clang::Decl::getKind(), and clang::Decl::isImplicit().
Referenced by clang::arcmt::trans::removeRetainReleaseDeallocFinalize(), clang::arcmt::trans::rewriteAutoreleasePool(), clang::arcmt::trans::rewriteUnbridgedCasts(), clang::arcmt::trans::rewriteUnusedInitDelegate(), clang::dataflow::AnalysisASTVisitor< Derived >::TraverseDecl(), and clang::LexicallyOrderedRecursiveASTVisitor< Derived >::TraverseDeclContextHelper().
bool clang::RecursiveASTVisitor< Derived >::TraverseDeclarationNameInfo | ( | DeclarationNameInfo | NameInfo | ) |
Recursively visit a name with its location information.
Definition at line 828 of file RecursiveASTVisitor.h.
References clang::DeclarationName::CXXConstructorName, clang::DeclarationName::CXXConversionFunctionName, clang::DeclarationName::CXXDeductionGuideName, clang::DeclarationName::CXXDestructorName, clang::DeclarationName::CXXLiteralOperatorName, clang::DeclarationName::CXXOperatorName, clang::DeclarationName::CXXUsingDirective, clang::DeclarationName::getCXXDeductionGuideTemplate(), clang::DeclarationNameInfo::getName(), clang::DeclarationNameInfo::getNamedTypeInfo(), clang::DeclarationName::getNameKind(), clang::DeclarationName::Identifier, clang::DeclarationName::ObjCMultiArgSelector, clang::DeclarationName::ObjCOneArgSelector, clang::DeclarationName::ObjCZeroArgSelector, and TRY_TO.
bool clang::RecursiveASTVisitor< Derived >::TraverseLambdaCapture | ( | LambdaExpr * | LE, |
const LambdaCapture * | C, | ||
Expr * | Init | ||
) |
Recursively visit a lambda capture.
Init
is the expression that will be used to initialize the capture.
Definition at line 963 of file RecursiveASTVisitor.h.
References clang::C, clang::Init, and TRY_TO.
bool clang::RecursiveASTVisitor< Derived >::TraverseNestedNameSpecifier | ( | NestedNameSpecifier * | NNS | ) |
Recursively visit a C++ nested-name-specifier.
Definition at line 777 of file RecursiveASTVisitor.h.
References clang::NestedNameSpecifier::getAsType(), clang::NestedNameSpecifier::getKind(), clang::NestedNameSpecifier::getPrefix(), clang::NestedNameSpecifier::Global, clang::NestedNameSpecifier::Identifier, clang::NestedNameSpecifier::Namespace, clang::NestedNameSpecifier::NamespaceAlias, clang::NestedNameSpecifier::Super, TRY_TO, clang::NestedNameSpecifier::TypeSpec, and clang::NestedNameSpecifier::TypeSpecWithTemplate.
bool clang::RecursiveASTVisitor< Derived >::TraverseNestedNameSpecifierLoc | ( | NestedNameSpecifierLoc | NNS | ) |
Recursively visit a C++ nested-name-specifier with location information.
Definition at line 802 of file RecursiveASTVisitor.h.
References clang::NestedNameSpecifier::getKind(), clang::NestedNameSpecifierLoc::getNestedNameSpecifier(), clang::NestedNameSpecifierLoc::getPrefix(), clang::NestedNameSpecifierLoc::getTypeLoc(), clang::NestedNameSpecifier::Global, clang::NestedNameSpecifier::Identifier, clang::NestedNameSpecifier::Namespace, clang::NestedNameSpecifier::NamespaceAlias, clang::NestedNameSpecifier::Super, TRY_TO, clang::NestedNameSpecifier::TypeSpec, and clang::NestedNameSpecifier::TypeSpecWithTemplate.
bool clang::RecursiveASTVisitor< Derived >::TraverseObjCProtocolLoc | ( | ObjCProtocolLoc | ProtocolLoc | ) |
Recursively visit an Objective-C protocol reference with location information.
bool clang::RecursiveASTVisitor< Derived >::TraverseStmt | ( | Stmt * | S, |
DataRecursionQueue * | Queue = nullptr |
||
) |
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dynamic type.
Definition at line 656 of file RecursiveASTVisitor.h.
References TRY_TO, and Visited.
Referenced by clang::dataflow::getReferencedDecls(), and clang::dataflow::ReferencedDeclsVisitor::TraverseConstructorInits().
bool clang::RecursiveASTVisitor< Derived >::TraverseSynOrSemInitListExpr | ( | InitListExpr * | S, |
DataRecursionQueue * | Queue = nullptr |
||
) |
Recursively visit the syntactic or semantic form of an initialization list.
bool clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgument | ( | const TemplateArgument & | Arg | ) |
Recursively visit a template argument and dispatch to the appropriate method for the argument type.
Definition at line 871 of file RecursiveASTVisitor.h.
References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::Integral, clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::TemplateArgument::StructuralValue, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.
bool clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgumentLoc | ( | const TemplateArgumentLoc & | ArgLoc | ) |
Recursively visit a template argument location and dispatch to the appropriate method for the argument type.
Definition at line 902 of file RecursiveASTVisitor.h.
References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateArgumentLoc::getArgument(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::TemplateArgumentLoc::getSourceExpression(), clang::TemplateArgumentLoc::getTemplateQualifierLoc(), clang::TemplateArgumentLoc::getTypeSourceInfo(), clang::TemplateArgument::Integral, clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::TemplateArgument::StructuralValue, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, TRY_TO, and clang::TemplateArgument::Type.
bool clang::RecursiveASTVisitor< Derived >::TraverseTemplateArguments | ( | ArrayRef< TemplateArgument > | Args | ) |
Recursively visit a set of template arguments.
This can be overridden by a subclass, but it's not expected that will be needed – this visitor always dispatches to another.
Definition at line 941 of file RecursiveASTVisitor.h.
References TRY_TO.
bool clang::RecursiveASTVisitor< Derived >::TraverseTemplateName | ( | TemplateName | Template | ) |
Recursively visit a template name and dispatch to the appropriate method.
Definition at line 857 of file RecursiveASTVisitor.h.
References clang::TemplateName::getAsDependentTemplateName(), clang::TemplateName::getAsQualifiedTemplateName(), and TRY_TO.
bool clang::RecursiveASTVisitor< Derived >::TraverseType | ( | QualType | T | ) |
Recursively visit a type, by dispatching to Traverse*Type() based on the argument's getTypeClass() property.
Definition at line 697 of file RecursiveASTVisitor.h.
References clang::Type::getTypeClass(), and clang::T.
bool clang::RecursiveASTVisitor< Derived >::TraverseTypeConstraint | ( | const TypeConstraint * | C | ) |
Definition at line 518 of file RecursiveASTVisitor.h.
bool clang::RecursiveASTVisitor< Derived >::TraverseTypeLoc | ( | TypeLoc | TL | ) |
Recursively visit a type with location, by dispatching to Traverse*TypeLoc() based on the argument type's getTypeClass() property.
Definition at line 714 of file RecursiveASTVisitor.h.
References clang::TypeLoc::getTypeLocClass(), and clang::TypeLoc::isNull().
|
inline |
Definition at line 327 of file RecursiveASTVisitor.h.
|
inline |
Definition at line 323 of file RecursiveASTVisitor.h.
|
inline |
Definition at line 450 of file RecursiveASTVisitor.h.
|
inline |
Definition at line 424 of file RecursiveASTVisitor.h.
|
inline |
Definition at line 375 of file RecursiveASTVisitor.h.
Referenced by isInCoroutineStmt(), ImmediateCallVisitor::VisitCallExpr(), ImmediateCallVisitor::VisitCXXConstructExpr(), and ImmediateCallVisitor::VisitSourceLocExpr().
|
inline |
Definition at line 396 of file RecursiveASTVisitor.h.
|
inline |
Definition at line 417 of file RecursiveASTVisitor.h.
|
inline |
Definition at line 428 of file RecursiveASTVisitor.h.
|
inline |
Definition at line 449 of file RecursiveASTVisitor.h.
References D, and clang::RecursiveASTVisitor< Derived >::getDerived().
|
inline |
Definition at line 421 of file RecursiveASTVisitor.h.
References clang::RecursiveASTVisitor< Derived >::getDerived(), and clang::QualifiedTypeLoc::getUnqualifiedLoc().
|
inline |
Definition at line 374 of file RecursiveASTVisitor.h.
References clang::RecursiveASTVisitor< Derived >::getDerived().
|
inline |
Definition at line 395 of file RecursiveASTVisitor.h.
References clang::RecursiveASTVisitor< Derived >::getDerived(), and clang::T.
|
inline |
Definition at line 416 of file RecursiveASTVisitor.h.
References clang::RecursiveASTVisitor< Derived >::getDerived().
|
inline |
Definition at line 425 of file RecursiveASTVisitor.h.
References clang::RecursiveASTVisitor< Derived >::getDerived(), and clang::TypeLoc::getUnqualifiedLoc().