clang  6.0.0svn
Namespaces | Classes | Typedefs | Functions | Variables
clang::ast_matchers Namespace Reference

Namespaces

 dynamic
 
 internal
 

Classes

class  BoundNodes
 Maps string IDs to AST nodes matched by parts of a matcher. More...
 
class  MatchFinder
 A class to allow finding matches over the Clang AST. More...
 

Typedefs

template<typename NodeType >
using AstTypeMatcher = internal::VariadicDynCastAllOfMatcher< Type, NodeType >
 
using DeclarationMatcher = internal::Matcher< Decl >
 Types of matchers for the top-level classes in the AST class hierarchy. More...
 
using StatementMatcher = internal::Matcher< Stmt >
 
using TypeMatcher = internal::Matcher< QualType >
 
using TypeLocMatcher = internal::Matcher< TypeLoc >
 
using NestedNameSpecifierMatcher = internal::Matcher< NestedNameSpecifier >
 
using NestedNameSpecifierLocMatcher = internal::Matcher< NestedNameSpecifierLoc >
 
using CXXCtorInitializerMatcher = internal::Matcher< CXXCtorInitializer >
 

Functions

template<typename T >
internal::Matcher< Tid (StringRef ID, const internal::BindableMatcher< T > &InnerMatcher)
 If the provided matcher matches a node, binds the node to ID. More...
 
internal::TrueMatcher anything ()
 Matches any node. More...
 
 AST_POLYMORPHIC_MATCHER (isExpansionInMainFile, AST_POLYMORPHIC_SUPPORTED_TYPES(Decl, Stmt, TypeLoc))
 Matches AST nodes that were expanded within the main-file. More...
 
 AST_POLYMORPHIC_MATCHER (isExpansionInSystemHeader, AST_POLYMORPHIC_SUPPORTED_TYPES(Decl, Stmt, TypeLoc))
 Matches AST nodes that were expanded within system-header-files. More...
 
 AST_POLYMORPHIC_MATCHER_P (isExpansionInFileMatching, AST_POLYMORPHIC_SUPPORTED_TYPES(Decl, Stmt, TypeLoc), std::string, RegExp)
 Matches AST nodes that were expanded within files whose name is partially matching a given regex. More...
 
 AST_MATCHER (Decl, isPublic)
 Matches public C++ declarations. More...
 
 AST_MATCHER (Decl, isProtected)
 Matches protected C++ declarations. More...
 
 AST_MATCHER (Decl, isPrivate)
 Matches private C++ declarations. More...
 
 AST_MATCHER (FieldDecl, isBitField)
 Matches non-static data members that are bit-fields. More...
 
 AST_MATCHER_P (FieldDecl, hasBitWidth, unsigned, Width)
 Matches non-static data members that are bit-fields of the specified bit width. More...
 
 AST_MATCHER_P (FieldDecl, hasInClassInitializer, internal::Matcher< Expr >, InnerMatcher)
 Matches non-static data members that have an in-class initializer. More...
 
 AST_MATCHER_P (ClassTemplateSpecializationDecl, hasSpecializedTemplate, internal::Matcher< ClassTemplateDecl >, InnerMatcher)
 Matches the specialized template of a specialization declaration. More...
 
 AST_MATCHER (Decl, isImplicit)
 Matches a declaration that has been implicitly added by the compiler (eg. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasAnyTemplateArgument, AST_POLYMORPHIC_SUPPORTED_TYPES(ClassTemplateSpecializationDecl, TemplateSpecializationType, FunctionDecl), internal::Matcher< TemplateArgument >, InnerMatcher)
 Matches classTemplateSpecializations, templateSpecializationType and functionDecl that have at least one TemplateArgument matching the given InnerMatcher. More...
 
 AST_MATCHER_P (Expr, ignoringImplicit, ast_matchers::internal::Matcher< Expr >, InnerMatcher)
 Matches expressions that match InnerMatcher after any implicit AST nodes are stripped off. More...
 
 AST_MATCHER_P (Expr, ignoringImpCasts, internal::Matcher< Expr >, InnerMatcher)
 Matches expressions that match InnerMatcher after any implicit casts are stripped off. More...
 
 AST_MATCHER_P (Expr, ignoringParenCasts, internal::Matcher< Expr >, InnerMatcher)
 Matches expressions that match InnerMatcher after parentheses and casts are stripped off. More...
 
 AST_MATCHER_P (Expr, ignoringParenImpCasts, internal::Matcher< Expr >, InnerMatcher)
 Matches expressions that match InnerMatcher after implicit casts and parentheses are stripped off. More...
 
 AST_MATCHER_P (QualType, ignoringParens, internal::Matcher< QualType >, InnerMatcher)
 Matches types that match InnerMatcher after any parens are stripped. More...
 
 AST_POLYMORPHIC_MATCHER_P2 (hasTemplateArgument, AST_POLYMORPHIC_SUPPORTED_TYPES(ClassTemplateSpecializationDecl, TemplateSpecializationType, FunctionDecl), unsigned, N, internal::Matcher< TemplateArgument >, InnerMatcher)
 Matches classTemplateSpecializations, templateSpecializationType and functionDecl where the n'th TemplateArgument matches the given InnerMatcher. More...
 
 AST_POLYMORPHIC_MATCHER_P (templateArgumentCountIs, AST_POLYMORPHIC_SUPPORTED_TYPES(ClassTemplateSpecializationDecl, TemplateSpecializationType), unsigned, N)
 Matches if the number of template arguments equals N. More...
 
 AST_MATCHER_P (TemplateArgument, refersToType, internal::Matcher< QualType >, InnerMatcher)
 Matches a TemplateArgument that refers to a certain type. More...
 
 AST_MATCHER_P (TemplateArgument, refersToTemplate, internal::Matcher< TemplateName >, InnerMatcher)
 Matches a TemplateArgument that refers to a certain template. More...
 
 AST_MATCHER_P (TemplateArgument, refersToDeclaration, internal::Matcher< Decl >, InnerMatcher)
 Matches a canonical TemplateArgument that refers to a certain declaration. More...
 
 AST_MATCHER_P (TemplateArgument, isExpr, internal::Matcher< Expr >, InnerMatcher)
 Matches a sugar TemplateArgument that refers to a certain expression. More...
 
 AST_MATCHER (TemplateArgument, isIntegral)
 Matches a TemplateArgument that is an integral value. More...
 
 AST_MATCHER_P (TemplateArgument, refersToIntegralType, internal::Matcher< QualType >, InnerMatcher)
 Matches a TemplateArgument that referes to an integral type. More...
 
 AST_MATCHER_P (TemplateArgument, equalsIntegralValue, std::string, Value)
 Matches a TemplateArgument of integral type with a given value. More...
 
 AST_MATCHER_P (InitListExpr, hasSyntacticForm, internal::Matcher< Expr >, InnerMatcher)
 Matches the syntactic form of init list expressions (if expression have it). More...
 
 AST_MATCHER_P (ForStmt, hasIncrement, internal::Matcher< Stmt >, InnerMatcher)
 Matches the increment statement of a for loop. More...
 
 AST_MATCHER_P (ForStmt, hasLoopInit, internal::Matcher< Stmt >, InnerMatcher)
 Matches the initialization statement of a for loop. More...
 
 AST_MATCHER_P (CXXForRangeStmt, hasLoopVariable, internal::Matcher< VarDecl >, InnerMatcher)
 Matches the initialization statement of a for loop. More...
 
 AST_MATCHER_P (CXXForRangeStmt, hasRangeInit, internal::Matcher< Expr >, InnerMatcher)
 Matches the range initialization statement of a for loop. More...
 
 AST_MATCHER_P (DesignatedInitExpr, designatorCountIs, unsigned, N)
 Matches designated initializer expressions that contain a specific number of designators. More...
 
 AST_MATCHER_P (UnaryExprOrTypeTraitExpr, hasArgumentOfType, internal::Matcher< QualType >, InnerMatcher)
 Matches unary expressions that have a specific type of argument. More...
 
 AST_MATCHER_P (UnaryExprOrTypeTraitExpr, ofKind, UnaryExprOrTypeTrait, Kind)
 Matches unary expressions of a certain kind. More...
 
internal::Matcher< StmtalignOfExpr (const internal::Matcher< UnaryExprOrTypeTraitExpr > &InnerMatcher)
 Same as unaryExprOrTypeTraitExpr, but only matching alignof. More...
 
internal::Matcher< StmtsizeOfExpr (const internal::Matcher< UnaryExprOrTypeTraitExpr > &InnerMatcher)
 Same as unaryExprOrTypeTraitExpr, but only matching sizeof. More...
 
internal::Matcher< NamedDeclhasName (const std::string &Name)
 Matches NamedDecl nodes that have the specified name. More...
 
 AST_MATCHER_P (NamedDecl, matchesName, std::string, RegExp)
 Matches NamedDecl nodes whose fully qualified names contain a substring matched by the given RegExp. More...
 
internal::PolymorphicMatcherWithParam1< internal::HasOverloadedOperatorNameMatcher, StringRef, AST_POLYMORPHIC_SUPPORTED_TYPES(CXXOperatorCallExpr, FunctionDecl)> hasOverloadedOperatorName (StringRef Name)
 Matches overloaded operator names. More...
 
 AST_MATCHER_P (CXXRecordDecl, isDerivedFrom, internal::Matcher< NamedDecl >, Base)
 Matches C++ classes that are directly or indirectly derived from a class matching Base. More...
 
 AST_MATCHER_P_OVERLOAD (CXXRecordDecl, isDerivedFrom, std::string, BaseName, 1)
 Overloaded method as shortcut for isDerivedFrom(hasName(...)). More...
 
 AST_MATCHER_P_OVERLOAD (CXXRecordDecl, isSameOrDerivedFrom, internal::Matcher< NamedDecl >, Base, 0)
 Similar to isDerivedFrom(), but also matches classes that directly match Base. More...
 
 AST_MATCHER_P_OVERLOAD (CXXRecordDecl, isSameOrDerivedFrom, std::string, BaseName, 1)
 Overloaded method as shortcut for isSameOrDerivedFrom(hasName(...)). More...
 
 AST_MATCHER_P (CXXRecordDecl, hasMethod, internal::Matcher< CXXMethodDecl >, InnerMatcher)
 Matches the first method of a class or struct that satisfies InnerMatcher. More...
 
 AST_MATCHER (CXXRecordDecl, isLambda)
 Matches the generated class of lambda expressions. More...
 
template<typename T >
internal::Matcher< TfindAll (const internal::Matcher< T > &Matcher)
 Matches if the node or any descendant matches. More...
 
internal::PolymorphicMatcherWithParam1< internal::HasDeclarationMatcher, internal::Matcher< Decl >, void(internal::HasDeclarationSupportedTypes)> hasDeclaration (const internal::Matcher< Decl > &InnerMatcher)
 Matches a node if the declaration associated with that node matches the given matcher. More...
 
 AST_MATCHER_P (NamedDecl, hasUnderlyingDecl, internal::Matcher< NamedDecl >, InnerMatcher)
 Matches a NamedDecl whose underlying declaration matches the given matcher. More...
 
 AST_MATCHER_P (CXXMemberCallExpr, on, internal::Matcher< Expr >, InnerMatcher)
 Matches on the implicit object argument of a member call expression. More...
 
 AST_MATCHER_P (ObjCMessageExpr, hasReceiverType, internal::Matcher< QualType >, InnerMatcher)
 Matches on the receiver of an ObjectiveC Message expression. More...
 
 AST_MATCHER_P (ObjCMessageExpr, hasSelector, std::string, BaseName)
 Matches when BaseName == Selector.getAsString() More...
 
 AST_MATCHER_P (ObjCMessageExpr, matchesSelector, std::string, RegExp)
 Matches ObjC selectors whose name contains a substring matched by the given RegExp. More...
 
 AST_MATCHER (ObjCMessageExpr, hasNullSelector)
 Matches when the selector is the empty selector. More...
 
 AST_MATCHER (ObjCMessageExpr, hasUnarySelector)
 Matches when the selector is a Unary Selector. More...
 
 AST_MATCHER (ObjCMessageExpr, hasKeywordSelector)
 Matches when the selector is a keyword selector. More...
 
 AST_MATCHER_P (ObjCMessageExpr, numSelectorArgs, unsigned, N)
 Matches when the selector has the specified number of arguments. More...
 
 AST_MATCHER_P (CallExpr, callee, internal::Matcher< Stmt >, InnerMatcher)
 Matches if the call expression's callee expression matches. More...
 
 AST_MATCHER_P_OVERLOAD (CallExpr, callee, internal::Matcher< Decl >, InnerMatcher, 1)
 Matches if the call expression's callee's declaration matches the given matcher. More...
 
 AST_POLYMORPHIC_MATCHER_P_OVERLOAD (hasType, AST_POLYMORPHIC_SUPPORTED_TYPES(Expr, TypedefNameDecl, ValueDecl), internal::Matcher< QualType >, InnerMatcher, 0)
 Matches if the expression's or declaration's type matches a type matcher. More...
 
 AST_POLYMORPHIC_MATCHER_P_OVERLOAD (hasType, AST_POLYMORPHIC_SUPPORTED_TYPES(Expr, ValueDecl), internal::Matcher< Decl >, InnerMatcher, 1)
 Overloaded to match the declaration of the expression's or value declaration's type. More...
 
 AST_MATCHER_P (DeclaratorDecl, hasTypeLoc, internal::Matcher< TypeLoc >, Inner)
 Matches if the type location of the declarator decl's type matches the inner matcher. More...
 
 AST_MATCHER_P (QualType, asString, std::string, Name)
 Matches if the matched type is represented by the given string. More...
 
 AST_MATCHER_P (QualType, pointsTo, internal::Matcher< QualType >, InnerMatcher)
 Matches if the matched type is a pointer type and the pointee type matches the specified matcher. More...
 
 AST_MATCHER_P_OVERLOAD (QualType, pointsTo, internal::Matcher< Decl >, InnerMatcher, 1)
 Overloaded to match the pointee type's declaration. More...
 
 AST_MATCHER_P (Type, hasUnqualifiedDesugaredType, internal::Matcher< Type >, InnerMatcher)
 Matches if the matched type matches the unqualified desugared type of the matched node. More...
 
 AST_MATCHER_P (QualType, references, internal::Matcher< QualType >, InnerMatcher)
 Matches if the matched type is a reference type and the referenced type matches the specified matcher. More...
 
 AST_MATCHER_P (QualType, hasCanonicalType, internal::Matcher< QualType >, InnerMatcher)
 Matches QualTypes whose canonical type matches InnerMatcher. More...
 
 AST_MATCHER_P_OVERLOAD (QualType, references, internal::Matcher< Decl >, InnerMatcher, 1)
 Overloaded to match the referenced type's declaration. More...
 
 AST_MATCHER_P (CXXMemberCallExpr, onImplicitObjectArgument, internal::Matcher< Expr >, InnerMatcher)
 
 AST_MATCHER_P_OVERLOAD (CXXMemberCallExpr, thisPointerType, internal::Matcher< QualType >, InnerMatcher, 0)
 Matches if the expression's type either matches the specified matcher, or is a pointer to a type that matches the InnerMatcher. More...
 
 AST_MATCHER_P_OVERLOAD (CXXMemberCallExpr, thisPointerType, internal::Matcher< Decl >, InnerMatcher, 1)
 Overloaded to match the type's declaration. More...
 
 AST_MATCHER_P (DeclRefExpr, to, internal::Matcher< Decl >, InnerMatcher)
 Matches a DeclRefExpr that refers to a declaration that matches the specified matcher. More...
 
 AST_MATCHER_P (DeclRefExpr, throughUsingDecl, internal::Matcher< UsingShadowDecl >, InnerMatcher)
 Matches a DeclRefExpr that refers to a declaration through a specific using shadow declaration. More...
 
 AST_MATCHER_P (OverloadExpr, hasAnyDeclaration, internal::Matcher< Decl >, InnerMatcher)
 Matches an OverloadExpr if any of the declarations in the set of overloads matches the given matcher. More...
 
 AST_MATCHER_P (DeclStmt, hasSingleDecl, internal::Matcher< Decl >, InnerMatcher)
 Matches the Decl of a DeclStmt which has a single declaration. More...
 
 AST_MATCHER_P (VarDecl, hasInitializer, internal::Matcher< Expr >, InnerMatcher)
 Matches a variable declaration that has an initializer expression that matches the given matcher. More...
 
 AST_MATCHER (VarDecl, hasLocalStorage)
 Matches a variable declaration that has function scope and is a non-static local variable. More...
 
 AST_MATCHER (VarDecl, hasGlobalStorage)
 Matches a variable declaration that does not have local storage. More...
 
 AST_MATCHER (VarDecl, hasAutomaticStorageDuration)
 Matches a variable declaration that has automatic storage duration. More...
 
 AST_MATCHER (VarDecl, hasStaticStorageDuration)
 Matches a variable declaration that has static storage duration. More...
 
 AST_MATCHER (VarDecl, hasThreadStorageDuration)
 Matches a variable declaration that has thread storage duration. More...
 
 AST_MATCHER (VarDecl, isExceptionVariable)
 Matches a variable declaration that is an exception variable from a C++ catch block, or an Objective-C @catch statement. More...
 
 AST_POLYMORPHIC_MATCHER_P (argumentCountIs, AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr, ObjCMessageExpr), unsigned, N)
 Checks that a call expression or a constructor call expression has a specific number of arguments (including absent default arguments). More...
 
 AST_POLYMORPHIC_MATCHER_P2 (hasArgument, AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr, ObjCMessageExpr), unsigned, N, internal::Matcher< Expr >, InnerMatcher)
 Matches the n'th argument of a call expression or a constructor call expression. More...
 
 AST_MATCHER_P (DeclStmt, declCountIs, unsigned, N)
 Matches declaration statements that contain a specific number of declarations. More...
 
 AST_MATCHER_P2 (DeclStmt, containsDeclaration, unsigned, N, internal::Matcher< Decl >, InnerMatcher)
 Matches the n'th declaration of a declaration statement. More...
 
 AST_MATCHER_P (CXXConstructorDecl, hasAnyConstructorInitializer, internal::Matcher< CXXCtorInitializer >, InnerMatcher)
 Matches a C++ catch statement that has a catch-all handler. More...
 
 AST_MATCHER_P (CXXCtorInitializer, forField, internal::Matcher< FieldDecl >, InnerMatcher)
 Matches the field declaration of a constructor initializer. More...
 
 AST_MATCHER_P (CXXCtorInitializer, withInitializer, internal::Matcher< Expr >, InnerMatcher)
 Matches the initializer expression of a constructor initializer. More...
 
 AST_MATCHER (CXXCtorInitializer, isWritten)
 Matches a constructor initializer if it is explicitly written in code (as opposed to implicitly added by the compiler). More...
 
 AST_MATCHER (CXXCtorInitializer, isBaseInitializer)
 Matches a constructor initializer if it is initializing a base, as opposed to a member. More...
 
 AST_MATCHER (CXXCtorInitializer, isMemberInitializer)
 Matches a constructor initializer if it is initializing a member, as opposed to a base. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasAnyArgument, AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr), internal::Matcher< Expr >, InnerMatcher)
 Matches any argument of a call expression or a constructor call expression. More...
 
 AST_MATCHER (CXXConstructExpr, isListInitialization)
 Matches a constructor call expression which uses list initialization. More...
 
 AST_MATCHER (CXXConstructExpr, requiresZeroInitialization)
 Matches a constructor call expression which requires zero initialization. More...
 
 AST_MATCHER_P2 (FunctionDecl, hasParameter, unsigned, N, internal::Matcher< ParmVarDecl >, InnerMatcher)
 Matches the n'th parameter of a function declaration. More...
 
 AST_POLYMORPHIC_MATCHER_P2 (forEachArgumentWithParam, AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr), internal::Matcher< Expr >, ArgMatcher, internal::Matcher< ParmVarDecl >, ParamMatcher)
 Matches all arguments and their respective ParmVarDecl. More...
 
 AST_MATCHER_P (FunctionDecl, hasAnyParameter, internal::Matcher< ParmVarDecl >, InnerMatcher)
 Matches any parameter of a function declaration. More...
 
 AST_POLYMORPHIC_MATCHER_P (parameterCountIs, AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, FunctionProtoType), unsigned, N)
 Matches FunctionDecls and FunctionProtoTypes that have a specific parameter count. More...
 
 AST_MATCHER_P (FunctionDecl, returns, internal::Matcher< QualType >, InnerMatcher)
 Matches the return type of a function declaration. More...
 
 AST_POLYMORPHIC_MATCHER (isExternC, AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl))
 Matches extern "C" function or variable declarations. More...
 
 AST_POLYMORPHIC_MATCHER (isStaticStorageClass, AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl))
 Matches variable/function declarations that have "static" storage class specifier ("static" keyword) written in the source. More...
 
 AST_MATCHER (FunctionDecl, isDeleted)
 Matches deleted function declarations. More...
 
 AST_MATCHER (FunctionDecl, isDefaulted)
 Matches defaulted function declarations. More...
 
 AST_POLYMORPHIC_MATCHER (hasDynamicExceptionSpec, AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, FunctionProtoType))
 Matches functions that have a dynamic exception specification. More...
 
 AST_POLYMORPHIC_MATCHER (isNoThrow, AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, FunctionProtoType))
 Matches functions that have a non-throwing exception specification. More...
 
 AST_POLYMORPHIC_MATCHER (isConstexpr, AST_POLYMORPHIC_SUPPORTED_TYPES(VarDecl, FunctionDecl))
 Matches constexpr variable and function declarations. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasCondition, AST_POLYMORPHIC_SUPPORTED_TYPES(IfStmt, ForStmt, WhileStmt, DoStmt, SwitchStmt, AbstractConditionalOperator), internal::Matcher< Expr >, InnerMatcher)
 Matches the condition expression of an if statement, for loop, switch statement or conditional operator. More...
 
 AST_MATCHER_P (IfStmt, hasThen, internal::Matcher< Stmt >, InnerMatcher)
 Matches the then-statement of an if statement. More...
 
 AST_MATCHER_P (IfStmt, hasElse, internal::Matcher< Stmt >, InnerMatcher)
 Matches the else-statement of an if statement. More...
 
 AST_POLYMORPHIC_MATCHER_P (equalsBoundNode, AST_POLYMORPHIC_SUPPORTED_TYPES(Stmt, Decl, Type, QualType), std::string, ID)
 Matches if a node equals a previously bound node. More...
 
 AST_MATCHER_P (IfStmt, hasConditionVariableStatement, internal::Matcher< DeclStmt >, InnerMatcher)
 Matches the condition variable statement in an if statement. More...
 
 AST_MATCHER_P (ArraySubscriptExpr, hasIndex, internal::Matcher< Expr >, InnerMatcher)
 Matches the index expression of an array subscript expression. More...
 
 AST_MATCHER_P (ArraySubscriptExpr, hasBase, internal::Matcher< Expr >, InnerMatcher)
 Matches the base expression of an array subscript expression. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasBody, AST_POLYMORPHIC_SUPPORTED_TYPES(DoStmt, ForStmt, WhileStmt, CXXForRangeStmt, FunctionDecl), internal::Matcher< Stmt >, InnerMatcher)
 Matches a 'for', 'while', 'do while' statement or a function definition that has a given body. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasAnySubstatement, AST_POLYMORPHIC_SUPPORTED_TYPES(CompoundStmt, StmtExpr), internal::Matcher< Stmt >, InnerMatcher)
 Matches compound statements where at least one substatement matches a given matcher. More...
 
 AST_MATCHER_P (CompoundStmt, statementCountIs, unsigned, N)
 Checks that a compound statement contains a specific number of child statements. More...
 
template<typename ValueT >
internal::PolymorphicMatcherWithParam1< internal::ValueEqualsMatcher, ValueT > equals (const ValueT &Value)
 Matches literals that are equal to the given value of type ValueT. More...
 
 AST_POLYMORPHIC_MATCHER_P_OVERLOAD (equals, AST_POLYMORPHIC_SUPPORTED_TYPES(CharacterLiteral, CXXBoolLiteralExpr, IntegerLiteral), bool, Value, 0)
 
 AST_POLYMORPHIC_MATCHER_P_OVERLOAD (equals, AST_POLYMORPHIC_SUPPORTED_TYPES(CharacterLiteral, CXXBoolLiteralExpr, IntegerLiteral), unsigned, Value, 1)
 
 AST_POLYMORPHIC_MATCHER_P_OVERLOAD (equals, AST_POLYMORPHIC_SUPPORTED_TYPES(CharacterLiteral, CXXBoolLiteralExpr, FloatingLiteral, IntegerLiteral), double, Value, 2)
 
 AST_POLYMORPHIC_MATCHER_P (hasOperatorName, AST_POLYMORPHIC_SUPPORTED_TYPES(BinaryOperator, UnaryOperator), std::string, Name)
 Matches the operator Name of operator expressions (binary or unary). More...
 
 AST_POLYMORPHIC_MATCHER_P (hasLHS, AST_POLYMORPHIC_SUPPORTED_TYPES(BinaryOperator, ArraySubscriptExpr), internal::Matcher< Expr >, InnerMatcher)
 Matches the left hand side of binary operator expressions. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasRHS, AST_POLYMORPHIC_SUPPORTED_TYPES(BinaryOperator, ArraySubscriptExpr), internal::Matcher< Expr >, InnerMatcher)
 Matches the right hand side of binary operator expressions. More...
 
internal::Matcher< BinaryOperatorhasEitherOperand (const internal::Matcher< Expr > &InnerMatcher)
 Matches if either the left hand side or the right hand side of a binary operator matches. More...
 
 AST_MATCHER_P (UnaryOperator, hasUnaryOperand, internal::Matcher< Expr >, InnerMatcher)
 Matches if the operand of a unary operator matches. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasSourceExpression, AST_POLYMORPHIC_SUPPORTED_TYPES(CastExpr, OpaqueValueExpr), internal::Matcher< Expr >, InnerMatcher)
 Matches if the cast's source expression or opaque value's source expression matches the given matcher. More...
 
 AST_MATCHER_P (CastExpr, hasCastKind, CastKind, Kind)
 Matches casts that has a given cast kind. More...
 
 AST_MATCHER_P (ExplicitCastExpr, hasDestinationType, internal::Matcher< QualType >, InnerMatcher)
 Matches casts whose destination type matches a given matcher. More...
 
 AST_MATCHER_P (ImplicitCastExpr, hasImplicitDestinationType, internal::Matcher< QualType >, InnerMatcher)
 Matches implicit casts whose destination type matches a given matcher. More...
 
 AST_MATCHER (RecordDecl, isStruct)
 Matches RecordDecl object that are spelled with "struct.". More...
 
 AST_MATCHER (RecordDecl, isUnion)
 Matches RecordDecl object that are spelled with "union.". More...
 
 AST_MATCHER (RecordDecl, isClass)
 Matches RecordDecl object that are spelled with "class.". More...
 
 AST_MATCHER_P (AbstractConditionalOperator, hasTrueExpression, internal::Matcher< Expr >, InnerMatcher)
 Matches the true branch expression of a conditional operator. More...
 
 AST_MATCHER_P (AbstractConditionalOperator, hasFalseExpression, internal::Matcher< Expr >, InnerMatcher)
 Matches the false branch expression of a conditional operator (binary or ternary). More...
 
 AST_POLYMORPHIC_MATCHER (isDefinition, AST_POLYMORPHIC_SUPPORTED_TYPES(TagDecl, VarDecl, ObjCMethodDecl, FunctionDecl))
 Matches if a declaration has a body attached. More...
 
 AST_MATCHER (FunctionDecl, isVariadic)
 Matches if a function declaration is variadic. More...
 
 AST_MATCHER_P (CXXMethodDecl, ofClass, internal::Matcher< CXXRecordDecl >, InnerMatcher)
 Matches the class declaration that the given method declaration belongs to. More...
 
 AST_MATCHER_P (CXXMethodDecl, forEachOverridden, internal::Matcher< CXXMethodDecl >, InnerMatcher)
 Matches each method overriden by the given method. More...
 
 AST_MATCHER (CXXMethodDecl, isVirtual)
 Matches if the given method declaration is virtual. More...
 
 AST_MATCHER (CXXMethodDecl, isVirtualAsWritten)
 Matches if the given method declaration has an explicit "virtual". More...
 
 AST_POLYMORPHIC_MATCHER (isFinal, AST_POLYMORPHIC_SUPPORTED_TYPES(CXXRecordDecl, CXXMethodDecl))
 Matches if the given method or class declaration is final. More...
 
 AST_MATCHER (CXXMethodDecl, isPure)
 Matches if the given method declaration is pure. More...
 
 AST_MATCHER (CXXMethodDecl, isConst)
 Matches if the given method declaration is const. More...
 
 AST_MATCHER (CXXMethodDecl, isCopyAssignmentOperator)
 Matches if the given method declaration declares a copy assignment operator. More...
 
 AST_MATCHER (CXXMethodDecl, isMoveAssignmentOperator)
 Matches if the given method declaration declares a move assignment operator. More...
 
 AST_MATCHER (CXXMethodDecl, isOverride)
 Matches if the given method declaration overrides another method. More...
 
 AST_MATCHER (CXXMethodDecl, isUserProvided)
 Matches method declarations that are user-provided. More...
 
 AST_MATCHER (MemberExpr, isArrow)
 Matches member expressions that are called with '->' as opposed to '. More...
 
 AST_MATCHER (QualType, isInteger)
 Matches QualType nodes that are of integer type. More...
 
 AST_MATCHER (QualType, isUnsignedInteger)
 Matches QualType nodes that are of unsigned integer type. More...
 
 AST_MATCHER (QualType, isSignedInteger)
 Matches QualType nodes that are of signed integer type. More...
 
 AST_MATCHER (QualType, isAnyCharacter)
 Matches QualType nodes that are of character type. More...
 
 AST_MATCHER (QualType, isAnyPointer)
 Matches QualType nodes that are of any pointer type; this includes the Objective-C object pointer type, which is different despite being syntactically similar. More...
 
 AST_MATCHER (QualType, isConstQualified)
 Matches QualType nodes that are const-qualified, i.e., that include "top-level" const. More...
 
 AST_MATCHER (QualType, isVolatileQualified)
 Matches QualType nodes that are volatile-qualified, i.e., that include "top-level" volatile. More...
 
 AST_MATCHER (QualType, hasLocalQualifiers)
 Matches QualType nodes that have local CV-qualifiers attached to the node, not hidden within a typedef. More...
 
 AST_MATCHER_P (MemberExpr, member, internal::Matcher< ValueDecl >, InnerMatcher)
 Matches a member expression where the member is matched by a given matcher. More...
 
 AST_MATCHER_P (MemberExpr, hasObjectExpression, internal::Matcher< Expr >, InnerMatcher)
 Matches a member expression where the object expression is matched by a given matcher. More...
 
 AST_MATCHER_P (UsingDecl, hasAnyUsingShadowDecl, internal::Matcher< UsingShadowDecl >, InnerMatcher)
 Matches any using shadow declaration. More...
 
 AST_MATCHER_P (UsingShadowDecl, hasTargetDecl, internal::Matcher< NamedDecl >, InnerMatcher)
 Matches a using shadow declaration where the target declaration is matched by the given matcher. More...
 
 AST_POLYMORPHIC_MATCHER (isTemplateInstantiation, AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl, CXXRecordDecl))
 Matches template instantiations of function, class, or static member variable template instantiations. More...
 
 AST_MATCHER_FUNCTION (internal::Matcher< Decl >, isInstantiated)
 Matches declarations that are template instantiations or are inside template instantiations. More...
 
 AST_MATCHER_FUNCTION (internal::Matcher< Stmt >, isInTemplateInstantiation)
 Matches statements inside of a template instantiation. More...
 
 AST_POLYMORPHIC_MATCHER (isExplicitTemplateSpecialization, AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl, CXXRecordDecl))
 Matches explicit template specializations of function, class, or static member variable template instantiations. More...
 
 AST_MATCHER_FUNCTION_P_OVERLOAD (internal::BindableMatcher< TypeLoc >, loc, internal::Matcher< QualType >, InnerMatcher, 0)
 Matches TypeLocs for which the given inner QualType-matcher matches. More...
 
 AST_MATCHER (Type, booleanType)
 Matches type bool. More...
 
 AST_MATCHER (Type, voidType)
 Matches type void. More...
 
 AST_MATCHER (Type, realFloatingPointType)
 Matches any real floating-point type (float, double, long double). More...
 
 AST_TYPELOC_TRAVERSE_MATCHER_DECL (hasElementType, getElement, AST_POLYMORPHIC_SUPPORTED_TYPES(ArrayType, ComplexType))
 Matches arrays and C99 complex types that have a specific element type. More...
 
 AST_POLYMORPHIC_MATCHER_P (hasSize, AST_POLYMORPHIC_SUPPORTED_TYPES(ConstantArrayType, StringLiteral), unsigned, N)
 Matches nodes that have the specified size. More...
 
 AST_MATCHER_P (VariableArrayType, hasSizeExpr, internal::Matcher< Expr >, InnerMatcher)
 Matches VariableArrayType nodes that have a specific size expression. More...
 
 AST_TYPELOC_TRAVERSE_MATCHER_DECL (hasValueType, getValue, AST_POLYMORPHIC_SUPPORTED_TYPES(AtomicType))
 Matches atomic types with a specific value type. More...
 
 AST_TYPE_TRAVERSE_MATCHER (hasDeducedType, getDeducedType, AST_POLYMORPHIC_SUPPORTED_TYPES(AutoType))
 Matches AutoType nodes where the deduced type is a specific type. More...
 
 AST_TYPE_TRAVERSE_MATCHER (innerType, getInnerType, AST_POLYMORPHIC_SUPPORTED_TYPES(ParenType))
 Matches ParenType nodes where the inner type is a specific type. More...
 
 AST_TYPELOC_TRAVERSE_MATCHER_DECL (pointee, getPointee, AST_POLYMORPHIC_SUPPORTED_TYPES(BlockPointerType, MemberPointerType, PointerType, ReferenceType))
 Narrows PointerType (and similar) matchers to those where the pointee matches a given matcher. More...
 
 AST_MATCHER_P (ElaboratedType, hasQualifier, internal::Matcher< NestedNameSpecifier >, InnerMatcher)
 Matches ElaboratedTypes whose qualifier, a NestedNameSpecifier, matches InnerMatcher if the qualifier exists. More...
 
 AST_MATCHER_P (ElaboratedType, namesType, internal::Matcher< QualType >, InnerMatcher)
 Matches ElaboratedTypes whose named type matches InnerMatcher. More...
 
 AST_TYPE_TRAVERSE_MATCHER (hasReplacementType, getReplacementType, AST_POLYMORPHIC_SUPPORTED_TYPES(SubstTemplateTypeParmType))
 Matches template type parameter substitutions that have a replacement type that matches the provided matcher. More...
 
 AST_MATCHER_P (DecayedType, hasDecayedType, internal::Matcher< QualType >, InnerType)
 Matches the decayed type, whos decayed type matches InnerMatcher. More...
 
 AST_MATCHER_P (Decl, hasDeclContext, internal::Matcher< Decl >, InnerMatcher)
 Matches declarations whose declaration context, interpreted as a Decl, matches InnerMatcher. More...
 
 AST_MATCHER_FUNCTION_P_OVERLOAD (internal::BindableMatcher< NestedNameSpecifierLoc >, loc, internal::Matcher< NestedNameSpecifier >, InnerMatcher, 1)
 Matches NestedNameSpecifierLocs for which the given inner NestedNameSpecifier-matcher matches. More...
 
 AST_MATCHER_P (NestedNameSpecifier, specifiesType, internal::Matcher< QualType >, InnerMatcher)
 Matches nested name specifiers that specify a type matching the given QualType matcher without qualifiers. More...
 
 AST_MATCHER_P (NestedNameSpecifierLoc, specifiesTypeLoc, internal::Matcher< TypeLoc >, InnerMatcher)
 Matches nested name specifier locs that specify a type matching the given TypeLoc. More...
 
 AST_MATCHER_P_OVERLOAD (NestedNameSpecifier, hasPrefix, internal::Matcher< NestedNameSpecifier >, InnerMatcher, 0)
 Matches on the prefix of a NestedNameSpecifier. More...
 
 AST_MATCHER_P_OVERLOAD (NestedNameSpecifierLoc, hasPrefix, internal::Matcher< NestedNameSpecifierLoc >, InnerMatcher, 1)
 Matches on the prefix of a NestedNameSpecifierLoc. More...
 
 AST_MATCHER_P (NestedNameSpecifier, specifiesNamespace, internal::Matcher< NamespaceDecl >, InnerMatcher)
 Matches nested name specifiers that specify a namespace matching the given namespace matcher. More...
 
 AST_MATCHER_P (SwitchStmt, forEachSwitchCase, internal::Matcher< SwitchCase >, InnerMatcher)
 Matches each case or default statement belonging to the given switch statement. More...
 
 AST_MATCHER_P (CXXConstructorDecl, forEachConstructorInitializer, internal::Matcher< CXXCtorInitializer >, InnerMatcher)
 Matches each constructor initializer in a constructor definition. More...
 
 AST_MATCHER (CXXConstructorDecl, isCopyConstructor)
 Matches constructor declarations that are copy constructors. More...
 
 AST_MATCHER (CXXConstructorDecl, isMoveConstructor)
 Matches constructor declarations that are move constructors. More...
 
 AST_MATCHER (CXXConstructorDecl, isDefaultConstructor)
 Matches constructor declarations that are default constructors. More...
 
 AST_MATCHER (CXXConstructorDecl, isDelegatingConstructor)
 Matches constructors that delegate to another constructor. More...
 
 AST_POLYMORPHIC_MATCHER (isExplicit, AST_POLYMORPHIC_SUPPORTED_TYPES(CXXConstructorDecl, CXXConversionDecl))
 Matches constructor and conversion declarations that are marked with the explicit keyword. More...
 
 AST_POLYMORPHIC_MATCHER (isInline, AST_POLYMORPHIC_SUPPORTED_TYPES(NamespaceDecl, FunctionDecl))
 Matches function and namespace declarations that are marked with the inline keyword. More...
 
 AST_MATCHER (NamespaceDecl, isAnonymous)
 Matches anonymous namespace declarations. More...
 
 AST_MATCHER_P (CaseStmt, hasCaseConstant, internal::Matcher< Expr >, InnerMatcher)
 If the given case statement does not use the GNU case range extension, matches the constant given in the statement. More...
 
 AST_MATCHER_P (Decl, hasAttr, attr::Kind, AttrKind)
 Matches declaration that has a given attribute. More...
 
 AST_MATCHER_P (ReturnStmt, hasReturnValue, internal::Matcher< Expr >, InnerMatcher)
 Matches the return value expression of a return statement. More...
 
 AST_MATCHER_FUNCTION (internal::Matcher< Expr >, nullPointerConstant)
 Matches expressions that resolve to a null pointer constant, such as GNU's __null, C++11's nullptr, or C's NULL macro. More...
 
 AST_MATCHER_P (Stmt, forFunction, internal::Matcher< FunctionDecl >, InnerMatcher)
 Matches declaration of the function the statement belongs to. More...
 
 AST_MATCHER (NamedDecl, hasExternalFormalLinkage)
 Matches a declaration that has external formal linkage. More...
 
 AST_MATCHER (ParmVarDecl, hasDefaultArgument)
 Matches a declaration that has default arguments. More...
 
 AST_MATCHER (CXXNewExpr, isArray)
 Matches array new expressions. More...
 
 AST_MATCHER_P (CXXNewExpr, hasArraySize, internal::Matcher< Expr >, InnerMatcher)
 Matches array new expressions with a given array size. More...
 
 AST_MATCHER (CXXRecordDecl, hasDefinition)
 Matches a class declaration that is defined. More...
 
template<typename MatcherT >
SmallVector< BoundNodes, 1 > match (MatcherT Matcher, ASTContext &Context)
 Returns the results of matching Matcher on the translation unit of Context and collects the BoundNodes of all callback invocations. More...
 
template<typename NodeT >
const NodeT * selectFirst (StringRef BoundTo, const SmallVectorImpl< BoundNodes > &Results)
 Returns the first result of type NodeT bound to BoundTo. More...
 
 AST_TYPELOC_TRAVERSE_MATCHER_DEF (hasElementType, AST_POLYMORPHIC_SUPPORTED_TYPES(ArrayType, ComplexType))
 
 AST_TYPELOC_TRAVERSE_MATCHER_DEF (hasValueType, AST_POLYMORPHIC_SUPPORTED_TYPES(AtomicType))
 
 AST_TYPELOC_TRAVERSE_MATCHER_DEF (pointee, AST_POLYMORPHIC_SUPPORTED_TYPES(BlockPointerType, MemberPointerType, PointerType, ReferenceType))
 
 AST_MATCHER_P_OVERLOAD (Decl, equalsNode, const Decl *, Other, 0)
 Overloads for the equalsNode matcher. More...
 
 AST_MATCHER_P_OVERLOAD (Stmt, equalsNode, const Stmt *, Other, 1)
 Matches if a node equals another node. More...
 
 AST_MATCHER_P_OVERLOAD (Type, equalsNode, const Type *, Other, 2)
 Matches if a node equals another node. More...
 
template<typename MatcherT , typename NodeT >
SmallVector< BoundNodes, 1 > match (MatcherT Matcher, const NodeT &Node, ASTContext &Context)
 Returns the results of matching Matcher on Node. More...
 
template<typename MatcherT >
SmallVector< BoundNodes, 1 > match (MatcherT Matcher, const ast_type_traits::DynTypedNode &Node, ASTContext &Context)
 

Variables

const internal::VariadicDynCastAllOfMatcher< Decl, TranslationUnitDecltranslationUnitDecl
 Matches the top declaration context. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefDecltypedefDecl
 Matches typedef declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefNameDecltypedefNameDecl
 Matches typedef name declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasDecltypeAliasDecl
 Matches type alias declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasTemplateDecltypeAliasTemplateDecl
 Matches type alias template declarations. More...
 
const internal::VariadicAllOfMatcher< Decldecl
 Matches declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, LinkageSpecDecllinkageSpecDecl
 Matches a declaration of a linkage specification. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, NamedDeclnamedDecl
 Matches a declaration of anything that could have a name. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, LabelDecllabelDecl
 Matches a declaration of label. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceDeclnamespaceDecl
 Matches a declaration of a namespace. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceAliasDeclnamespaceAliasDecl
 Matches a declaration of a namespace alias. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, RecordDeclrecordDecl
 Matches class, struct, and union declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, CXXRecordDeclcxxRecordDecl
 Matches C++ class declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateDeclclassTemplateDecl
 Matches C++ class template declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateSpecializationDeclclassTemplateSpecializationDecl
 Matches C++ class template specializations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, DeclaratorDecldeclaratorDecl
 Matches declarator declarations (field, variable, function and non-type template parameter declarations). More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ParmVarDeclparmVarDecl
 Matches parameter variable declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, AccessSpecDeclaccessSpecDecl
 Matches C++ access specifier declarations. More...
 
const internal::VariadicAllOfMatcher< CXXCtorInitializercxxCtorInitializer
 Matches constructor initializers. More...
 
const internal::VariadicAllOfMatcher< TemplateArgumenttemplateArgument
 Matches template arguments. More...
 
const internal::VariadicAllOfMatcher< TemplateNametemplateName
 Matches template name. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, NonTypeTemplateParmDeclnonTypeTemplateParmDecl
 Matches non-type template parameter declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, TemplateTypeParmDecltemplateTypeParmDecl
 Matches template type parameter declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ValueDeclvalueDecl
 Matches any value declaration. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, CXXConstructorDeclcxxConstructorDecl
 Matches C++ constructor declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDestructorDeclcxxDestructorDecl
 Matches explicit C++ destructor declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, EnumDeclenumDecl
 Matches enum declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, EnumConstantDeclenumConstantDecl
 Matches enum constants. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, CXXMethodDeclcxxMethodDecl
 Matches method declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, CXXConversionDeclcxxConversionDecl
 Matches conversion operator declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, VarDeclvarDecl
 Matches variable declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, FieldDeclfieldDecl
 Matches field declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionDeclfunctionDecl
 Matches function declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionTemplateDeclfunctionTemplateDecl
 Matches C++ function template declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, FriendDeclfriendDecl
 Matches friend declarations. More...
 
const internal::VariadicAllOfMatcher< Stmtstmt
 Matches statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclStmtdeclStmt
 Matches declaration statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, MemberExprmemberExpr
 Matches member expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CallExprcallExpr
 Matches call expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, LambdaExprlambdaExpr
 Matches lambda expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXMemberCallExprcxxMemberCallExpr
 Matches member call expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCMessageExprobjcMessageExpr
 Matches ObjectiveC Message invocation expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCInterfaceDeclobjcInterfaceDecl
 Matches Objective-C interface declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCImplementationDeclobjcImplementationDecl
 Matches Objective-C implementation declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCProtocolDeclobjcProtocolDecl
 Matches Objective-C protocol declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryDeclobjcCategoryDecl
 Matches Objective-C category declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryImplDeclobjcCategoryImplDecl
 Matches Objective-C category definitions. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCMethodDeclobjcMethodDecl
 Matches Objective-C method declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCIvarDeclobjcIvarDecl
 Matches Objective-C instance variable declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCPropertyDeclobjcPropertyDecl
 Matches Objective-C property declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtThrowStmtobjcThrowStmt
 Matches Objective-C @throw statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtTryStmtobjcTryStmt
 Matches Objective-C statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtCatchStmtobjcCatchStmt
 Matches Objective-C statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtFinallyStmtobjcFinallyStmt
 Matches Objective-C statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ExprWithCleanupsexprWithCleanups
 Matches expressions that introduce cleanups to be run at the end of the sub-expression's evaluation. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, InitListExprinitListExpr
 Matches init list expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStdInitializerListExprcxxStdInitializerListExpr
 Matches C++ initializer list expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitValueInitExprimplicitValueInitExpr
 Matches implicit initializers of init list expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenListExprparenListExpr
 Matches paren list expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, SubstNonTypeTemplateParmExprsubstNonTypeTemplateParmExpr
 Matches substitutions of non-type template parameters. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDeclusingDecl
 Matches using declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDirectiveDeclusingDirectiveDecl
 Matches using namespace declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, UnresolvedLookupExprunresolvedLookupExpr
 Matches reference to a name that can be looked up during parsing but could not be resolved to a specific declaration. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingValueDeclunresolvedUsingValueDecl
 Matches unresolved using value declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingTypenameDeclunresolvedUsingTypenameDecl
 Matches unresolved using value declarations that involve the typename. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenExprparenExpr
 Matches parentheses used in expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstructExprcxxConstructExpr
 Matches constructor call expressions (including implicit ones). More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXUnresolvedConstructExprcxxUnresolvedConstructExpr
 Matches unresolved constructor call expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThisExprcxxThisExpr
 Matches implicit and explicit this expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBindTemporaryExprcxxBindTemporaryExpr
 Matches nodes where temporaries are created. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, MaterializeTemporaryExprmaterializeTemporaryExpr
 Matches nodes where temporaries are materialized. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNewExprcxxNewExpr
 Matches new expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDeleteExprcxxDeleteExpr
 Matches delete expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ArraySubscriptExprarraySubscriptExpr
 Matches array subscript expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDefaultArgExprcxxDefaultArgExpr
 Matches the value of a default argument at the call site. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXOperatorCallExprcxxOperatorCallExpr
 Matches overloaded operator calls. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, Exprexpr
 Matches expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclRefExprdeclRefExpr
 Matches expressions that refer to declarations. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, IfStmtifStmt
 Matches if statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ForStmtforStmt
 Matches for statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXForRangeStmtcxxForRangeStmt
 Matches range-based for statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, WhileStmtwhileStmt
 Matches while statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, DoStmtdoStmt
 Matches do statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, BreakStmtbreakStmt
 Matches break statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ContinueStmtcontinueStmt
 Matches continue statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ReturnStmtreturnStmt
 Matches return statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, GotoStmtgotoStmt
 Matches goto statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, LabelStmtlabelStmt
 Matches label statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, AddrLabelExpraddrLabelExpr
 Matches address of label statements (GNU extension). More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchStmtswitchStmt
 Matches switch statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchCaseswitchCase
 Matches case and default statements inside switch statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CaseStmtcaseStmt
 Matches case statements inside switch statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, DefaultStmtdefaultStmt
 Matches default statements inside switch statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundStmtcompoundStmt
 Matches compound statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXCatchStmtcxxCatchStmt
 Matches catch statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTryStmtcxxTryStmt
 Matches try statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThrowExprcxxThrowExpr
 Matches throw expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, NullStmtnullStmt
 Matches null statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, AsmStmtasmStmt
 Matches asm statements. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBoolLiteralExprcxxBoolLiteral
 Matches bool literals. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, StringLiteralstringLiteral
 Matches string literals (also matches wide string literals). More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CharacterLiteralcharacterLiteral
 Matches character literals (also matches wchar_t). More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, IntegerLiteralintegerLiteral
 Matches integer literals of all sizes / encodings, e.g. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, FloatingLiteralfloatLiteral
 Matches float literals of all sizes / encodings, e.g. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, UserDefinedLiteraluserDefinedLiteral
 Matches user defined literal operator call. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundLiteralExprcompoundLiteralExpr
 Matches compound (i.e. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNullPtrLiteralExprcxxNullPtrLiteralExpr
 Matches nullptr literal. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, GNUNullExprgnuNullExpr
 Matches GNU __null expression. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, AtomicExpratomicExpr
 Matches atomic builtins. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, StmtExprstmtExpr
 Matches statement expression (GNU extension). More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryOperatorbinaryOperator
 Matches binary operator expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryOperatorunaryOperator
 Matches unary operator expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ConditionalOperatorconditionalOperator
 Matches conditional operator expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryConditionalOperatorbinaryConditionalOperator
 Matches binary conditional operator expressions (GNU extension). More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, OpaqueValueExpropaqueValueExpr
 Matches opaque value expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Decl, StaticAssertDeclstaticAssertDecl
 Matches a C++ static_assert declaration. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXReinterpretCastExprcxxReinterpretCastExpr
 Matches a reinterpret_cast expression. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStaticCastExprcxxStaticCastExpr
 Matches a C++ static_cast expression. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDynamicCastExprcxxDynamicCastExpr
 Matches a dynamic_cast expression. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstCastExprcxxConstCastExpr
 Matches a const_cast expression. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CStyleCastExprcStyleCastExpr
 Matches a C-style cast expression. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ExplicitCastExprexplicitCastExpr
 Matches explicit cast expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitCastExprimplicitCastExpr
 Matches the implicit cast nodes of Clang's AST. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CastExprcastExpr
 Matches any cast nodes of Clang's AST. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXFunctionalCastExprcxxFunctionalCastExpr
 Matches functional cast expressions. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTemporaryObjectExprcxxTemporaryObjectExpr
 Matches functional cast expressions having N != 1 arguments. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, PredefinedExprpredefinedExpr
 Matches predefined identifier expressions [C99 6.4.2.2]. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, DesignatedInitExprdesignatedInitExpr
 Matches C99 designated initializer expressions [C99 6.7.8]. More...
 
const internal::VariadicAllOfMatcher< QualTypequalType
 Matches QualTypes in the clang AST. More...
 
const internal::VariadicAllOfMatcher< Typetype
 Matches Types in the clang AST. More...
 
const internal::VariadicAllOfMatcher< TypeLoctypeLoc
 Matches TypeLocs in the clang AST. More...
 
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> eachOf = {internal::DynTypedMatcher::VO_EachOf}
 Matches if any of the given matchers matches. More...
 
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> anyOf = {internal::DynTypedMatcher::VO_AnyOf}
 Matches if any of the given matchers matches. More...
 
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> allOf = {internal::DynTypedMatcher::VO_AllOf}
 Matches if all given matchers match. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryExprOrTypeTraitExprunaryExprOrTypeTraitExpr
 Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL) More...
 
const internal::VariadicFunction< internal::Matcher< NamedDecl >, StringRef, internal::hasAnyNameFunchasAnyName = {}
 Matches NamedDecl nodes that have any of the specified names. More...
 
const internal::ArgumentAdaptingMatcherFunc< internal::HasMatcher > has = {}
 Matches AST nodes that have child AST nodes that match the provided matcher. More...
 
const internal::ArgumentAdaptingMatcherFunc< internal::HasDescendantMatcher > hasDescendant = {}
 Matches AST nodes that have descendant AST nodes that match the provided matcher. More...
 
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachMatcher > forEach
 Matches AST nodes that have child AST nodes that match the provided matcher. More...
 
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachDescendantMatcher > forEachDescendant = {}
 Matches AST nodes that have descendant AST nodes that match the provided matcher. More...
 
const internal::ArgumentAdaptingMatcherFunc< internal::HasParentMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc > > hasParent = {}
 Matches AST nodes that have a parent that matches the provided matcher. More...
 
const internal::ArgumentAdaptingMatcherFunc< internal::HasAncestorMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc > > hasAncestor = {}
 Matches AST nodes that have an ancestor that matches the provided matcher. More...
 
const internal::VariadicOperatorMatcherFunc< 1, 1 > unless
 Matches if the provided matcher does not match. More...
 
const AstTypeMatcher< BuiltinTypebuiltinType
 Matches builtin Types. More...
 
const AstTypeMatcher< ArrayTypearrayType
 Matches all kinds of arrays. More...
 
const AstTypeMatcher< ComplexTypecomplexType
 Matches C99 complex types. More...
 
const AstTypeMatcher< ConstantArrayTypeconstantArrayType
 Matches C arrays with a specified constant size. More...
 
const AstTypeMatcher< DependentSizedArrayTypedependentSizedArrayType
 Matches C++ arrays whose size is a value-dependent expression. More...
 
const AstTypeMatcher< IncompleteArrayTypeincompleteArrayType
 Matches C arrays with unspecified size. More...
 
const AstTypeMatcher< VariableArrayTypevariableArrayType
 Matches C arrays with a specified size that is not an integer-constant-expression. More...
 
const AstTypeMatcher< AtomicTypeatomicType
 Matches atomic types. More...
 
const AstTypeMatcher< AutoTypeautoType
 Matches types nodes representing C++11 auto types. More...
 
const AstTypeMatcher< FunctionTypefunctionType
 Matches FunctionType nodes. More...
 
const AstTypeMatcher< FunctionProtoTypefunctionProtoType
 Matches FunctionProtoType nodes. More...
 
const AstTypeMatcher< ParenTypeparenType
 Matches ParenType nodes. More...
 
const AstTypeMatcher< BlockPointerTypeblockPointerType
 Matches block pointer types, i.e. More...
 
const AstTypeMatcher< MemberPointerTypememberPointerType
 Matches member pointer types. More...
 
const AstTypeMatcher< PointerTypepointerType
 Matches pointer types, but does not match Objective-C object pointer types. More...
 
const AstTypeMatcher< ObjCObjectPointerTypeobjcObjectPointerType
 Matches an Objective-C object pointer type, which is different from a pointer type, despite being syntactically similar. More...
 
const AstTypeMatcher< ReferenceTypereferenceType
 Matches both lvalue and rvalue reference types. More...
 
const AstTypeMatcher< LValueReferenceTypelValueReferenceType
 Matches lvalue reference types. More...
 
const AstTypeMatcher< RValueReferenceTyperValueReferenceType
 Matches rvalue reference types. More...
 
const AstTypeMatcher< TypedefTypetypedefType
 Matches typedef types. More...
 
const AstTypeMatcher< EnumTypeenumType
 Matches enum types. More...
 
const AstTypeMatcher< TemplateSpecializationTypetemplateSpecializationType
 Matches template specialization types. More...
 
const AstTypeMatcher< UnaryTransformTypeunaryTransformType
 Matches types nodes representing unary type transformations. More...
 
const AstTypeMatcher< RecordTyperecordType
 Matches record types (e.g. More...
 
const AstTypeMatcher< TagTypetagType
 Matches tag types (record and enum types). More...
 
const AstTypeMatcher< ElaboratedTypeelaboratedType
 Matches types specified with an elaborated type keyword or with a qualified name. More...
 
const AstTypeMatcher< SubstTemplateTypeParmTypesubstTemplateTypeParmType
 Matches types that represent the result of substituting a type for a template type parameter. More...
 
const AstTypeMatcher< TemplateTypeParmTypetemplateTypeParmType
 Matches template type parameter types. More...
 
const AstTypeMatcher< InjectedClassNameTypeinjectedClassNameType
 Matches injected class name types. More...
 
const AstTypeMatcher< DecayedTypedecayedType
 Matches decayed type Example matches i[] in declaration of f. More...
 
const internal::VariadicAllOfMatcher< NestedNameSpecifiernestedNameSpecifier
 Matches nested name specifiers. More...
 
const internal::VariadicAllOfMatcher< NestedNameSpecifierLocnestedNameSpecifierLoc
 Same as nestedNameSpecifier but matches NestedNameSpecifierLoc. More...
 
const internal::VariadicDynCastAllOfMatcher< Stmt, CUDAKernelCallExprcudaKernelCallExpr
 Matches CUDA kernel call expression. More...
 

Typedef Documentation

◆ AstTypeMatcher

template<typename NodeType >
using clang::ast_matchers::AstTypeMatcher = typedef internal::VariadicDynCastAllOfMatcher<Type, NodeType>

Definition at line 4742 of file ASTMatchers.h.

◆ CXXCtorInitializerMatcher

Definition at line 151 of file ASTMatchers.h.

◆ DeclarationMatcher

using clang::ast_matchers::DeclarationMatcher = typedef internal::Matcher<Decl>

Types of matchers for the top-level classes in the AST class hierarchy.

Definition at line 145 of file ASTMatchers.h.

◆ NestedNameSpecifierLocMatcher

Definition at line 150 of file ASTMatchers.h.

◆ NestedNameSpecifierMatcher

Definition at line 149 of file ASTMatchers.h.

◆ StatementMatcher

using clang::ast_matchers::StatementMatcher = typedef internal::Matcher<Stmt>

Definition at line 146 of file ASTMatchers.h.

◆ TypeLocMatcher

using clang::ast_matchers::TypeLocMatcher = typedef internal::Matcher<TypeLoc>

Definition at line 148 of file ASTMatchers.h.

◆ TypeMatcher

using clang::ast_matchers::TypeMatcher = typedef internal::Matcher<QualType>

Definition at line 147 of file ASTMatchers.h.

Function Documentation

◆ alignOfExpr()

internal::Matcher<Stmt> clang::ast_matchers::alignOfExpr ( const internal::Matcher< UnaryExprOrTypeTraitExpr > &  InnerMatcher)
inline

Same as unaryExprOrTypeTraitExpr, but only matching alignof.

Definition at line 2286 of file ASTMatchers.h.

◆ anything()

internal::TrueMatcher clang::ast_matchers::anything ( )
inline

Matches any node.

Useful when another matcher requires a child matcher, but there's no additional constraint. This will often be used with an explicit conversion to an internal::Matcher<> type such as TypeMatcher.

Example: DeclarationMatcher(anything()) matches all declarations, e.g.,

"int* p" and "void f()" in
int* p;
void f();

Usable as: Any Matcher

Definition at line 168 of file ASTMatchers.h.

References translationUnitDecl, typeAliasDecl, typeAliasTemplateDecl, typedefDecl, and typedefNameDecl.

◆ AST_MATCHER() [1/56]

clang::ast_matchers::AST_MATCHER ( Decl  ,
isPublic   
)

Matches public C++ declarations.

Given

class C {
public: int a;
protected: int b;
private: int c;
};

fieldDecl(isPublic()) matches 'int a;'

Definition at line 529 of file ASTMatchers.h.

References clang::AS_public, and Node.

◆ AST_MATCHER() [2/56]

clang::ast_matchers::AST_MATCHER ( Decl  ,
isProtected   
)

Matches protected C++ declarations.

Given

class C {
public: int a;
protected: int b;
private: int c;
};

fieldDecl(isProtected()) matches 'int b;'

Definition at line 545 of file ASTMatchers.h.

References clang::AS_protected, and Node.

◆ AST_MATCHER() [3/56]

clang::ast_matchers::AST_MATCHER ( Decl  ,
isPrivate   
)

Matches private C++ declarations.

Given

class C {
public: int a;
protected: int b;
private: int c;
};

fieldDecl(isPrivate()) matches 'int c;'

Definition at line 561 of file ASTMatchers.h.

References clang::AS_private, and Node.

◆ AST_MATCHER() [4/56]

clang::ast_matchers::AST_MATCHER ( FieldDecl  ,
isBitField   
)

Matches non-static data members that are bit-fields.

Given

class C {
int a : 2;
int b;
};

fieldDecl(isBitField()) matches 'int a;' but not 'int b;'.

Definition at line 576 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [5/56]

clang::ast_matchers::AST_MATCHER ( Decl  ,
isImplicit   
)

Matches a declaration that has been implicitly added by the compiler (eg.

implicit default/copy constructors).

Definition at line 638 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [6/56]

clang::ast_matchers::AST_MATCHER ( TemplateArgument  ,
isIntegral   
)

Matches a TemplateArgument that is an integral value.

Given

template<int T> struct A {};
C<42> c;

classTemplateSpecializationDecl( hasAnyTemplateArgument(isIntegral())) matches the implicit instantiation of C in C<42> with isIntegral() matching 42.

Definition at line 927 of file ASTMatchers.h.

References clang::TemplateArgument::Integral, and Node.

◆ AST_MATCHER() [7/56]

clang::ast_matchers::AST_MATCHER ( CXXRecordDecl  ,
isLambda   
)

Matches the generated class of lambda expressions.

Given:

auto x = []{};

cxxRecordDecl(isLambda()) matches the implicit class declaration of decltype(x)

Definition at line 2460 of file ASTMatchers.h.

References forEach, forEachDescendant, has, hasDescendant, and Node.

◆ AST_MATCHER() [8/56]

clang::ast_matchers::AST_MATCHER ( ObjCMessageExpr  ,
hasNullSelector   
)

Matches when the selector is the empty selector.

Matches only when the selector of the objCMessageExpr is NULL. This may represent an error condition in the tree!

Definition at line 2746 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [9/56]

clang::ast_matchers::AST_MATCHER ( ObjCMessageExpr  ,
hasUnarySelector   
)

Matches when the selector is a Unary Selector.

matcher = objCMessageExpr(matchesSelector(hasUnarySelector()); matches self.bodyView in the code below, but NOT the outer message invocation of "loadHTMLString:baseURL:".

[self.bodyView loadHTMLString:html baseURL:NULL];

Definition at line 2758 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [10/56]

clang::ast_matchers::AST_MATCHER ( ObjCMessageExpr  ,
hasKeywordSelector   
)

Matches when the selector is a keyword selector.

objCMessageExpr(hasKeywordSelector()) matches the generated setFrame message expression in

UIWebView *webView = ...;
CGRect bodyFrame = webView.frame;
bodyFrame.size.height = self.bodyContentHeight;
webView.frame = bodyFrame;
// ^---- matches here

Definition at line 2774 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [11/56]

clang::ast_matchers::AST_MATCHER ( VarDecl  ,
hasLocalStorage   
)

Matches a variable declaration that has function scope and is a non-static local variable.

Example matches x (matcher = varDecl(hasLocalStorage())

void f() {
int x;
static int y;
}
int z;

Definition at line 3114 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [12/56]

clang::ast_matchers::AST_MATCHER ( VarDecl  ,
hasGlobalStorage   
)

Matches a variable declaration that does not have local storage.

Example matches y and z (matcher = varDecl(hasGlobalStorage())

void f() {
int x;
static int y;
}
int z;

Definition at line 3128 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [13/56]

clang::ast_matchers::AST_MATCHER ( VarDecl  ,
hasAutomaticStorageDuration   
)

Matches a variable declaration that has automatic storage duration.

Example matches x, but not y, z, or a. (matcher = varDecl(hasAutomaticStorageDuration())

void f() {
int x;
static int y;
thread_local int z;
}
int a;

Definition at line 3144 of file ASTMatchers.h.

References Node, and clang::SD_Automatic.

◆ AST_MATCHER() [14/56]

clang::ast_matchers::AST_MATCHER ( VarDecl  ,
hasStaticStorageDuration   
)

Matches a variable declaration that has static storage duration.

It includes the variable declared at namespace scope and those declared with "static" and "extern" storage class specifiers.

void f() {
int x;
static int y;
thread_local int z;
}
int a;
static int b;
extern int c;
varDecl(hasStaticStorageDuration())
matches the function declaration y, a, b and c.

Definition at line 3164 of file ASTMatchers.h.

References Node, and clang::SD_Static.

◆ AST_MATCHER() [15/56]

clang::ast_matchers::AST_MATCHER ( VarDecl  ,
hasThreadStorageDuration   
)

Matches a variable declaration that has thread storage duration.

Example matches z, but not x, z, or a. (matcher = varDecl(hasThreadStorageDuration())

void f() {
int x;
static int y;
thread_local int z;
}
int a;

Definition at line 3180 of file ASTMatchers.h.

References Node, and clang::SD_Thread.

◆ AST_MATCHER() [16/56]

clang::ast_matchers::AST_MATCHER ( VarDecl  ,
isExceptionVariable   
)

Matches a variable declaration that is an exception variable from a C++ catch block, or an Objective-C @catch statement.

Example matches x (matcher = varDecl(isExceptionVariable())

void f(int y) {
try {
} catch (int x) {
}
}

Definition at line 3195 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [17/56]

clang::ast_matchers::AST_MATCHER ( CXXCtorInitializer  ,
isWritten   
)

Matches a constructor initializer if it is explicitly written in code (as opposed to implicitly added by the compiler).

Given

struct Foo {
Foo() { }
Foo(int) : foo_("A") { }
string foo_;
};

cxxConstructorDecl(hasAnyConstructorInitializer(isWritten())) will match Foo(int), but not Foo()

Definition at line 3366 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [18/56]

clang::ast_matchers::AST_MATCHER ( CXXCtorInitializer  ,
isBaseInitializer   
)

Matches a constructor initializer if it is initializing a base, as opposed to a member.

Given

struct B {};
struct D : B {
int I;
D(int i) : I(i) {}
};
struct E : B {
E() : B() {}
};

cxxConstructorDecl(hasAnyConstructorInitializer(isBaseInitializer())) will match E(), but not match D(int).

Definition at line 3386 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [19/56]

clang::ast_matchers::AST_MATCHER ( CXXCtorInitializer  ,
isMemberInitializer   
)

Matches a constructor initializer if it is initializing a member, as opposed to a base.

Given

struct B {};
struct D : B {
int I;
D(int i) : I(i) {}
};
struct E : B {
E() : B() {}
};

cxxConstructorDecl(hasAnyConstructorInitializer(isMemberInitializer())) will match D(int), but not match E().

Definition at line 3406 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [20/56]

clang::ast_matchers::AST_MATCHER ( CXXConstructExpr  ,
isListInitialization   
)

Matches a constructor call expression which uses list initialization.

Definition at line 3436 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [21/56]

clang::ast_matchers::AST_MATCHER ( CXXConstructExpr  ,
requiresZeroInitialization   
)

Matches a constructor call expression which requires zero initialization.

Given

void foo() {
struct point { double x; double y; };
point pt[2] = { { 1.0, 2.0 } };
}

initListExpr(has(cxxConstructExpr(requiresZeroInitialization())) will match the implicit array filler for pt[1].

Definition at line 3452 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [22/56]

clang::ast_matchers::AST_MATCHER ( FunctionDecl  ,
isDeleted   
)

Matches deleted function declarations.

Given:

void Func();
void DeletedFunc() = delete;

functionDecl(isDeleted()) matches the declaration of DeletedFunc, but not Func.

Definition at line 3632 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [23/56]

clang::ast_matchers::AST_MATCHER ( FunctionDecl  ,
isDefaulted   
)

Matches defaulted function declarations.

Given:

class A { ~A(); };
class B { ~B() = default; };

functionDecl(isDefaulted()) matches the declaration of ~B, but not ~A.

Definition at line 3645 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [24/56]

clang::ast_matchers::AST_MATCHER ( RecordDecl  ,
isStruct   
)

Matches RecordDecl object that are spelled with "struct.".

Example matches S, but not C or U.

struct S {};
class C {};
union U {};

Definition at line 4091 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [25/56]

clang::ast_matchers::AST_MATCHER ( RecordDecl  ,
isUnion   
)

Matches RecordDecl object that are spelled with "union.".

Example matches U, but not C or S.

struct S {};
class C {};
union U {};

Definition at line 4103 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [26/56]

clang::ast_matchers::AST_MATCHER ( RecordDecl  ,
isClass   
)

Matches RecordDecl object that are spelled with "class.".

Example matches C, but not S or U.

struct S {};
class C {};
union U {};

Definition at line 4115 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [27/56]

clang::ast_matchers::AST_MATCHER ( FunctionDecl  ,
isVariadic   
)

Matches if a function declaration is variadic.

Example matches f, but not g or h. The function i will not match, even when compiled in C mode.

void f(...);
void g(int);
template <typename... Ts> void h(Ts...);
void i();

Definition at line 4189 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [28/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isVirtual   
)

Matches if the given method declaration is virtual.

Given

class A {
public:
virtual void x();
};

matches A::x

Definition at line 4268 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [29/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isVirtualAsWritten   
)

Matches if the given method declaration has an explicit "virtual".

Given

class A {
public:
virtual void x();
};
class B : public A {
public:
void x();
};

matches A::x but not B::x

Definition at line 4286 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [30/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isPure   
)

Matches if the given method declaration is pure.

Given

class A {
public:
virtual void x() = 0;
};

matches A::x

Definition at line 4321 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [31/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isConst   
)

Matches if the given method declaration is const.

Given

struct A {
void foo() const;
void bar();
};

cxxMethodDecl(isConst()) matches A::foo() but not A::bar()

Definition at line 4336 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [32/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isCopyAssignmentOperator   
)

Matches if the given method declaration declares a copy assignment operator.

Given

struct A {
A &operator=(const A &);
A &operator=(A &&);
};

cxxMethodDecl(isCopyAssignmentOperator()) matches the first method but not the second one.

Definition at line 4353 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [33/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isMoveAssignmentOperator   
)

Matches if the given method declaration declares a move assignment operator.

Given

struct A {
A &operator=(const A &);
A &operator=(A &&);
};

cxxMethodDecl(isMoveAssignmentOperator()) matches the second method but not the first one.

Definition at line 4370 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [34/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isOverride   
)

Matches if the given method declaration overrides another method.

Given

class A {
public:
virtual void x();
};
class B : public A {
public:
virtual void x();
};

matches B::x

Definition at line 4388 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [35/56]

clang::ast_matchers::AST_MATCHER ( CXXMethodDecl  ,
isUserProvided   
)

Matches method declarations that are user-provided.

Given

struct S {
S(); // #1
S(const S &) = default; // #2
S(S &&) = delete; // #3
};

cxxConstructorDecl(isUserProvided()) will match #1, but not #2 or #3.

Definition at line 4403 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [36/56]

clang::ast_matchers::AST_MATCHER ( MemberExpr  ,
isArrow   
)

Matches member expressions that are called with '->' as opposed to '.

'.

Member calls on the implicit this pointer match as called with '->'.

Given

class Y {
void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; }
int a;
static int b;
};

memberExpr(isArrow()) matches this->x, x, y.x, a, this->b

Definition at line 4422 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [37/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
isInteger   
)

Matches QualType nodes that are of integer type.

Given

void a(int);
void b(long);
void c(double);

functionDecl(hasAnyParameter(hasType(isInteger()))) matches "a(int)", "b(long)", but not "c(double)".

Definition at line 4436 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [38/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
isUnsignedInteger   
)

Matches QualType nodes that are of unsigned integer type.

Given

void a(int);
void b(unsigned long);
void c(double);

functionDecl(hasAnyParameter(hasType(isUnsignedInteger()))) matches "b(unsigned long)", but not "a(int)" and "c(double)".

Definition at line 4450 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [39/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
isSignedInteger   
)

Matches QualType nodes that are of signed integer type.

Given

void a(int);
void b(unsigned long);
void c(double);

functionDecl(hasAnyParameter(hasType(isSignedInteger()))) matches "a(int)", but not "b(unsigned long)" and "c(double)".

Definition at line 4464 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [40/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
isAnyCharacter   
)

Matches QualType nodes that are of character type.

Given

void a(char);
void b(wchar_t);
void c(double);

functionDecl(hasAnyParameter(hasType(isAnyCharacter()))) matches "a(char)", "b(wchar_t)", but not "c(double)".

Definition at line 4478 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [41/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
isAnyPointer   
)

Matches QualType nodes that are of any pointer type; this includes the Objective-C object pointer type, which is different despite being syntactically similar.

Given

int *i = nullptr;
@interface Foo
@end
Foo *f;
int j;

varDecl(hasType(isAnyPointer())) matches "int *i" and "Foo *f", but not "int j".

Definition at line 4498 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [42/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
isConstQualified   
)

Matches QualType nodes that are const-qualified, i.e., that include "top-level" const.

Given

void a(int);
void b(int const);
void c(const int);
void d(const int*);
void e(int const) {};

functionDecl(hasAnyParameter(hasType(isConstQualified()))) matches "void b(int const)", "void c(const int)" and "void e(int const) {}". It does not match d as there is no top-level const on the parameter type "const int *".

Definition at line 4517 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [43/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
isVolatileQualified   
)

Matches QualType nodes that are volatile-qualified, i.e., that include "top-level" volatile.

Given

void a(int);
void b(int volatile);
void c(volatile int);
void d(volatile int*);
void e(int volatile) {};

functionDecl(hasAnyParameter(hasType(isVolatileQualified()))) matches "void b(int volatile)", "void c(volatile int)" and "void e(int volatile) {}". It does not match d as there is no top-level volatile on the parameter type "volatile int *".

Definition at line 4536 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [44/56]

clang::ast_matchers::AST_MATCHER ( QualType  ,
hasLocalQualifiers   
)

Matches QualType nodes that have local CV-qualifiers attached to the node, not hidden within a typedef.

Given

typedef const int const_int;
const_int i;
int *const j;
int *volatile k;
int m;

varDecl(hasType(hasLocalQualifiers())) matches only j and k. i is const-qualified but the qualifier is not local.

Definition at line 4553 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [45/56]

clang::ast_matchers::AST_MATCHER ( Type  ,
booleanType   
)

Matches type bool.

Given

struct S { bool func(); };

functionDecl(returns(booleanType())) matches "bool func();"

Definition at line 4725 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [46/56]

clang::ast_matchers::AST_MATCHER ( Type  ,
voidType   
)

Matches type void.

Given

struct S { void func(); };

functionDecl(returns(voidType())) matches "void func();"

Definition at line 4737 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [47/56]

clang::ast_matchers::AST_MATCHER ( Type  ,
realFloatingPointType   
)

Matches any real floating-point type (float, double, long double).

Given

int i;
float f;

realFloatingPointType() matches "float f" but not "int i"

Definition at line 4789 of file ASTMatchers.h.

References AST_POLYMORPHIC_SUPPORTED_TYPES, AST_TYPELOC_TRAVERSE_MATCHER_DECL(), constantArrayType, and Node.

◆ AST_MATCHER() [48/56]

clang::ast_matchers::AST_MATCHER ( CXXConstructorDecl  ,
isCopyConstructor   
)

Matches constructor declarations that are copy constructors.

Given

struct S {
S(); // #1
S(const S &); // #2
S(S &&); // #3
};

cxxConstructorDecl(isCopyConstructor()) will match #2, but not #1 or #3.

Definition at line 5568 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [49/56]

clang::ast_matchers::AST_MATCHER ( CXXConstructorDecl  ,
isMoveConstructor   
)

Matches constructor declarations that are move constructors.

Given

struct S {
S(); // #1
S(const S &); // #2
S(S &&); // #3
};

cxxConstructorDecl(isMoveConstructor()) will match #3, but not #1 or #2.

Definition at line 5583 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [50/56]

clang::ast_matchers::AST_MATCHER ( CXXConstructorDecl  ,
isDefaultConstructor   
)

Matches constructor declarations that are default constructors.

Given

struct S {
S(); // #1
S(const S &); // #2
S(S &&); // #3
};

cxxConstructorDecl(isDefaultConstructor()) will match #1, but not #2 or #3.

Definition at line 5598 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [51/56]

clang::ast_matchers::AST_MATCHER ( CXXConstructorDecl  ,
isDelegatingConstructor   
)

Matches constructors that delegate to another constructor.

Given

struct S {
S(); // #1
S(int) {} // #2
S(S &&) : S() {} // #3
};
S::S() : S(0) {} // #4

cxxConstructorDecl(isDelegatingConstructor()) will match #3 and #4, but not #1 or #2.

Definition at line 5615 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [52/56]

clang::ast_matchers::AST_MATCHER ( NamespaceDecl  ,
isAnonymous   
)

Matches anonymous namespace declarations.

Given

namespace n {
namespace {} // #1
}

namespaceDecl(isAnonymous()) will match #1 but not ::n.

Definition at line 5673 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [53/56]

clang::ast_matchers::AST_MATCHER ( NamedDecl  ,
hasExternalFormalLinkage   
)

Matches a declaration that has external formal linkage.

Example matches only z (matcher = varDecl(hasExternalFormalLinkage()))

void f() {
int x;
static int y;
}
int z;

Example matches f() because it has external formal linkage despite being unique to the translation unit as though it has internal likage (matcher = functionDecl(hasExternalFormalLinkage()))

namespace {
void f() {}
}

Definition at line 5816 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [54/56]

clang::ast_matchers::AST_MATCHER ( ParmVarDecl  ,
hasDefaultArgument   
)

Matches a declaration that has default arguments.

Example matches y (matcher = parmVarDecl(hasDefaultArgument()))

void x(int val) {}
void y(int val = 0) {}

Definition at line 5827 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [55/56]

clang::ast_matchers::AST_MATCHER ( CXXNewExpr  ,
isArray   
)

Matches array new expressions.

Given:

MyClass *p1 = new MyClass[10];

cxxNewExpr(isArray()) matches the expression 'new MyClass[10]'.

Definition at line 5839 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER() [56/56]

clang::ast_matchers::AST_MATCHER ( CXXRecordDecl  ,
hasDefinition   
)

Matches a class declaration that is defined.

Example matches x (matcher = cxxRecordDecl(hasDefinition()))

class x {};
class y;

Definition at line 5863 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_FUNCTION() [1/3]

clang::ast_matchers::AST_MATCHER_FUNCTION ( internal::Matcher< Decl ,
isInstantiated   
)

Matches declarations that are template instantiations or are inside template instantiations.

Given

template<typename T> void A(T t) { T i; }
A(0);
A(0U);

functionDecl(isInstantiated()) matches 'A(int) {...};' and 'A(unsigned) {...}'.

Definition at line 4665 of file ASTMatchers.h.

References anyOf, cxxRecordDecl, decl, functionDecl, hasAncestor, and clang::isTemplateInstantiation().

◆ AST_MATCHER_FUNCTION() [2/3]

clang::ast_matchers::AST_MATCHER_FUNCTION ( internal::Matcher< Stmt ,
isInTemplateInstantiation   
)

Matches statements inside of a template instantiation.

Given

int j;
template<typename T> void A(T t) { T i; j += 42;}
A(0);
A(0U);

declStmt(isInTemplateInstantiation()) matches 'int i;' and 'unsigned i'. unless(stmt(isInTemplateInstantiation())) will NOT match j += 42; as it's shared between the template definition and instantiation.

Definition at line 4685 of file ASTMatchers.h.

References anyOf, cxxRecordDecl, decl, functionDecl, hasAncestor, clang::isTemplateInstantiation(), and stmt.

◆ AST_MATCHER_FUNCTION() [3/3]

clang::ast_matchers::AST_MATCHER_FUNCTION ( internal::Matcher< Expr ,
nullPointerConstant   
)

Matches expressions that resolve to a null pointer constant, such as GNU's __null, C++11's nullptr, or C's NULL macro.

Given:

void *v1 = NULL;
void *v2 = nullptr;
void *v3 = __null; // GNU extension
char *cp = (char *)0;
int *ip = 0;
int i = 0;

expr(nullPointerConstant()) matches the initializer for v1, v2, v3, cp, and ip. Does not match the initializer for i.

Definition at line 5752 of file ASTMatchers.h.

References anyOf, cxxNullPtrLiteralExpr, equals(), expr, gnuNullExpr, hasParent, integerLiteral, and pointerType.

◆ AST_MATCHER_FUNCTION_P_OVERLOAD() [1/2]

clang::ast_matchers::AST_MATCHER_FUNCTION_P_OVERLOAD ( internal::BindableMatcher< TypeLoc ,
loc  ,
internal::Matcher< QualType ,
InnerMatcher  ,
 
)

Matches TypeLocs for which the given inner QualType-matcher matches.

Definition at line 4711 of file ASTMatchers.h.

◆ AST_MATCHER_FUNCTION_P_OVERLOAD() [2/2]

clang::ast_matchers::AST_MATCHER_FUNCTION_P_OVERLOAD ( internal::BindableMatcher< NestedNameSpecifierLoc ,
loc  ,
internal::Matcher< NestedNameSpecifier ,
InnerMatcher  ,
 
)

Matches NestedNameSpecifierLocs for which the given inner NestedNameSpecifier-matcher matches.

Definition at line 5379 of file ASTMatchers.h.

◆ AST_MATCHER_P() [1/83]

clang::ast_matchers::AST_MATCHER_P ( FieldDecl  ,
hasBitWidth  ,
unsigned  ,
Width   
)

Matches non-static data members that are bit-fields of the specified bit width.

Given

class C {
int a : 2;
int b : 4;
int c : 2;
};

fieldDecl(hasBitWidth(2)) matches 'int a;' and 'int c;' but not 'int b;'.

Definition at line 593 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [2/83]

clang::ast_matchers::AST_MATCHER_P ( FieldDecl  ,
hasInClassInitializer  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches non-static data members that have an in-class initializer.

Given

class C {
int a = 2;
int b = 3;
int c;
};

fieldDecl(hasInClassInitializer(integerLiteral(equals(2)))) matches 'int a;' but not 'int b;'. fieldDecl(hasInClassInitializer(anything())) matches 'int a;' and 'int b;' but not 'int c;'.

Definition at line 612 of file ASTMatchers.h.

◆ AST_MATCHER_P() [3/83]

clang::ast_matchers::AST_MATCHER_P ( ClassTemplateSpecializationDecl  ,
hasSpecializedTemplate  ,
internal::Matcher< ClassTemplateDecl ,
InnerMatcher   
)

Matches the specialized template of a specialization declaration.

Given

tempalate<typename T> class A {};
typedef A<int> B;

classTemplateSpecializationDecl(hasSpecializedTemplate(classTemplateDecl())) matches 'B' with classTemplateDecl() matching the class template declaration of 'A'.

Definition at line 629 of file ASTMatchers.h.

◆ AST_MATCHER_P() [4/83]

clang::ast_matchers::AST_MATCHER_P ( Expr  ,
ignoringImplicit  ,
ast_matchers::internal::Matcher< Expr ,
InnerMatcher   
)

Matches expressions that match InnerMatcher after any implicit AST nodes are stripped off.

Parentheses and explicit casts are not discarded. Given

class C {};
C a = C();
C b;
C c = b;

The matchers

varDecl(hasInitializer(ignoringImplicit(cxxConstructExpr())))

would match the declarations for a, b, and c. While

varDecl(hasInitializer(cxxConstructExpr()))

only match the declarations for b and c.

Definition at line 696 of file ASTMatchers.h.

◆ AST_MATCHER_P() [5/83]

clang::ast_matchers::AST_MATCHER_P ( Expr  ,
ignoringImpCasts  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches expressions that match InnerMatcher after any implicit casts are stripped off.

Parentheses and explicit casts are not discarded. Given

int arr[5];
int a = 0;
char b = 0;
const int c = a;
int *d = arr;
long e = (long) 0l;

The matchers

varDecl(hasInitializer(ignoringImpCasts(integerLiteral())))
varDecl(hasInitializer(ignoringImpCasts(declRefExpr())))

would match the declarations for a, b, c, and d, but not e. While

varDecl(hasInitializer(integerLiteral()))
varDecl(hasInitializer(declRefExpr()))

only match the declarations for b, c, and d.

Definition at line 726 of file ASTMatchers.h.

◆ AST_MATCHER_P() [6/83]

clang::ast_matchers::AST_MATCHER_P ( Expr  ,
ignoringParenCasts  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches expressions that match InnerMatcher after parentheses and casts are stripped off.

Implicit and non-C Style casts are also discarded. Given

int a = 0;
char b = (0);
void* c = reinterpret_cast<char*>(0);
char d = char(0);

The matcher varDecl(hasInitializer(ignoringParenCasts(integerLiteral()))) would match the declarations for a, b, c, and d. while varDecl(hasInitializer(integerLiteral())) only match the declaration for a.

Definition at line 748 of file ASTMatchers.h.

◆ AST_MATCHER_P() [7/83]

clang::ast_matchers::AST_MATCHER_P ( Expr  ,
ignoringParenImpCasts  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches expressions that match InnerMatcher after implicit casts and parentheses are stripped off.

Explicit casts are not discarded. Given

int arr[5];
int a = 0;
char b = (0);
const int c = a;
int *d = (arr);
long e = ((long) 0l);

The matchers varDecl(hasInitializer(ignoringParenImpCasts(integerLiteral()))) varDecl(hasInitializer(ignoringParenImpCasts(declRefExpr()))) would match the declarations for a, b, c, and d, but not e. while varDecl(hasInitializer(integerLiteral())) varDecl(hasInitializer(declRefExpr())) would only match the declaration for a.

Definition at line 773 of file ASTMatchers.h.

◆ AST_MATCHER_P() [8/83]

clang::ast_matchers::AST_MATCHER_P ( QualType  ,
ignoringParens  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches types that match InnerMatcher after any parens are stripped.

Given

void (*fp)(void);

The matcher

varDecl(hasType(pointerType(pointee(ignoringParens(functionType())))))

would match the declaration for fp.

Definition at line 789 of file ASTMatchers.h.

◆ AST_MATCHER_P() [9/83]

clang::ast_matchers::AST_MATCHER_P ( TemplateArgument  ,
refersToType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches a TemplateArgument that refers to a certain type.

Given

struct X {};
template<typename T> struct A {};
A<X> a;

classTemplateSpecializationDecl(hasAnyTemplateArgument( refersToType(class(hasName("X"))))) matches the specialization A<X>

Definition at line 853 of file ASTMatchers.h.

◆ AST_MATCHER_P() [10/83]

clang::ast_matchers::AST_MATCHER_P ( TemplateArgument  ,
refersToTemplate  ,
internal::Matcher< TemplateName ,
InnerMatcher   
)

Matches a TemplateArgument that refers to a certain template.

Given

template<template <typename> class S> class X {};
template<typename T> class Y {};"
X<Y> xi;

classTemplateSpecializationDecl(hasAnyTemplateArgument( refersToTemplate(templateName()))) matches the specialization X<Y>

Definition at line 871 of file ASTMatchers.h.

◆ AST_MATCHER_P() [11/83]

clang::ast_matchers::AST_MATCHER_P ( TemplateArgument  ,
refersToDeclaration  ,
internal::Matcher< Decl ,
InnerMatcher   
)

Matches a canonical TemplateArgument that refers to a certain declaration.

Given

template<typename T> struct A {};
struct B { B* next; };
A<&B::next> a;

classTemplateSpecializationDecl(hasAnyTemplateArgument( refersToDeclaration(fieldDecl(hasName("next")))) matches the specialization A<&B::next> with fieldDecl(...) matching B::next

Definition at line 891 of file ASTMatchers.h.

◆ AST_MATCHER_P() [12/83]

clang::ast_matchers::AST_MATCHER_P ( TemplateArgument  ,
isExpr  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches a sugar TemplateArgument that refers to a certain expression.

Given

template<typename T> struct A {};
struct B { B* next; };
A<&B::next> a;

templateSpecializationType(hasAnyTemplateArgument( isExpr(hasDescendant(declRefExpr(to(fieldDecl(hasName("next")))))))) matches the specialization A<&B::next> with fieldDecl(...) matching B::next

Definition at line 910 of file ASTMatchers.h.

◆ AST_MATCHER_P() [13/83]

clang::ast_matchers::AST_MATCHER_P ( TemplateArgument  ,
refersToIntegralType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches a TemplateArgument that referes to an integral type.

Given

template<int T> struct A {};
C<42> c;

classTemplateSpecializationDecl( hasAnyTemplateArgument(refersToIntegralType(asString("int")))) matches the implicit instantiation of C in C<42>.

Definition at line 941 of file ASTMatchers.h.

◆ AST_MATCHER_P() [14/83]

clang::ast_matchers::AST_MATCHER_P ( TemplateArgument  ,
equalsIntegralValue  ,
std::string  ,
Value   
)

Matches a TemplateArgument of integral type with a given value.

Note that 'Value' is a string as the template argument's value is an arbitrary precision integer. 'Value' must be euqal to the canonical representation of that integral value in base 10.

Given

template<int T> struct A {};
C<42> c;

classTemplateSpecializationDecl( hasAnyTemplateArgument(equalsIntegralValue("42"))) matches the implicit instantiation of C in C<42>.

Definition at line 962 of file ASTMatchers.h.

References callExpr, cxxConstructorDecl, cxxConversionDecl, cxxDestructorDecl, cxxMemberCallExpr, cxxMethodDecl, declStmt, enumConstantDecl, enumDecl, exprWithCleanups, fieldDecl, friendDecl, functionDecl, functionTemplateDecl, initListExpr, clang::TemplateArgument::Integral, lambdaExpr, memberExpr, Node, objcCatchStmt, objcCategoryDecl, objcCategoryImplDecl, objcFinallyStmt, objcImplementationDecl, objcInterfaceDecl, objcIvarDecl, objcMessageExpr, objcMethodDecl, objcPropertyDecl, objcProtocolDecl, objcThrowStmt, objcTryStmt, stmt, valueDecl, and varDecl.

◆ AST_MATCHER_P() [15/83]

clang::ast_matchers::AST_MATCHER_P ( InitListExpr  ,
hasSyntacticForm  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the syntactic form of init list expressions (if expression have it).

Definition at line 1317 of file ASTMatchers.h.

◆ AST_MATCHER_P() [16/83]

clang::ast_matchers::AST_MATCHER_P ( ForStmt  ,
hasIncrement  ,
internal::Matcher< Stmt ,
InnerMatcher   
)

Matches the increment statement of a for loop.

Example: forStmt(hasIncrement(unaryOperator(hasOperatorName("++")))) matches '++x' in

for (x; x < N; ++x) { }

Definition at line 1640 of file ASTMatchers.h.

◆ AST_MATCHER_P() [17/83]

clang::ast_matchers::AST_MATCHER_P ( ForStmt  ,
hasLoopInit  ,
internal::Matcher< Stmt ,
InnerMatcher   
)

Matches the initialization statement of a for loop.

Example: forStmt(hasLoopInit(declStmt())) matches 'int x = 0' in

for (int x = 0; x < N; ++x) { }

Definition at line 1655 of file ASTMatchers.h.

◆ AST_MATCHER_P() [18/83]

clang::ast_matchers::AST_MATCHER_P ( CXXForRangeStmt  ,
hasLoopVariable  ,
internal::Matcher< VarDecl ,
InnerMatcher   
)

Matches the initialization statement of a for loop.

Example: forStmt(hasLoopVariable(anything())) matches 'int x' in

for (int x : a) { }

Definition at line 1679 of file ASTMatchers.h.

◆ AST_MATCHER_P() [19/83]

clang::ast_matchers::AST_MATCHER_P ( CXXForRangeStmt  ,
hasRangeInit  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the range initialization statement of a for loop.

Example: forStmt(hasRangeInit(anything())) matches 'a' in

for (int x : a) { }

Definition at line 1693 of file ASTMatchers.h.

◆ AST_MATCHER_P() [20/83]

clang::ast_matchers::AST_MATCHER_P ( DesignatedInitExpr  ,
designatorCountIs  ,
unsigned  ,
 
)

Matches designated initializer expressions that contain a specific number of designators.

Example: Given

point ptarray[10] = { [2].y = 1.0, [0].x = 1.0 };
point ptarray2[10] = { [2].y = 1.0, [2].x = 0.0, [0].x = 1.0 };

designatorCountIs(2) matches '{ [2].y = 1.0, [0].x = 1.0 }', but not '{ [2].y = 1.0, [2].x = 0.0, [0].x = 1.0 }'.

Definition at line 2194 of file ASTMatchers.h.

References allOf, anyOf, eachOf, max(), Node, qualType, type, typeLoc, and unaryExprOrTypeTraitExpr.

◆ AST_MATCHER_P() [21/83]

clang::ast_matchers::AST_MATCHER_P ( UnaryExprOrTypeTraitExpr  ,
hasArgumentOfType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches unary expressions that have a specific type of argument.

Given

int a, c; float b; int s = sizeof(a) + sizeof(b) + alignof(c);

unaryExprOrTypeTraitExpr(hasArgumentOfType(asString("int")) matches sizeof(a) and alignof(c)

Definition at line 2265 of file ASTMatchers.h.

◆ AST_MATCHER_P() [22/83]

clang::ast_matchers::AST_MATCHER_P ( UnaryExprOrTypeTraitExpr  ,
ofKind  ,
UnaryExprOrTypeTrait  ,
Kind   
)

Matches unary expressions of a certain kind.

Given

int x;
int s = sizeof(x) + alignof(x)

unaryExprOrTypeTraitExpr(ofKind(UETT_SizeOf)) matches sizeof(x)

Definition at line 2280 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [23/83]

clang::ast_matchers::AST_MATCHER_P ( NamedDecl  ,
matchesName  ,
std::string  ,
RegExp   
)

Matches NamedDecl nodes whose fully qualified names contain a substring matched by the given RegExp.

Supports specifying enclosing namespaces or classes by prefixing the name with '<enclosing>::'. Does not match typedefs of an underlying type with the given name.

Example matches X (regexp == "::X")

class X;

Example matches X (regexp is one of "::X", "^foo::.*X", among others)

namespace foo { namespace bar { class X; } }

Definition at line 2351 of file ASTMatchers.h.

References AST_POLYMORPHIC_SUPPORTED_TYPES, and Node.

◆ AST_MATCHER_P() [24/83]

clang::ast_matchers::AST_MATCHER_P ( CXXRecordDecl  ,
isDerivedFrom  ,
internal::Matcher< NamedDecl ,
Base   
)

Matches C++ classes that are directly or indirectly derived from a class matching Base.

Note that a class is not considered to be derived from itself.

Example matches Y, Z, C (Base == hasName("X"))

class X;
class Y : public X {}; // directly derived
class Z : public Y {}; // indirectly derived
typedef X A;
typedef A B;
class C : public B {}; // derived from a typedef of X

In the following example, Bar matches isDerivedFrom(hasName("X")):

class Foo;
typedef Foo X;
class Bar : public Foo {}; // derived from a type that X is a typedef of

Definition at line 2407 of file ASTMatchers.h.

◆ AST_MATCHER_P() [25/83]

clang::ast_matchers::AST_MATCHER_P ( CXXRecordDecl  ,
hasMethod  ,
internal::Matcher< CXXMethodDecl ,
InnerMatcher   
)

Matches the first method of a class or struct that satisfies InnerMatcher.

Given:

class A { void func(); };
class B { void member(); };

cxxRecordDecl(hasMethod(hasName("func"))) matches the declaration of A but not B.

Definition at line 2445 of file ASTMatchers.h.

◆ AST_MATCHER_P() [26/83]

clang::ast_matchers::AST_MATCHER_P ( NamedDecl  ,
hasUnderlyingDecl  ,
internal::Matcher< NamedDecl ,
InnerMatcher   
)

Matches a NamedDecl whose underlying declaration matches the given matcher.

Given

namespace N { template<class T> void f(T t); }
template <class T> void g() { using N::f; f(T()); }

unresolvedLookupExpr(hasAnyDeclaration( namedDecl(hasUnderlyingDecl(hasName("::N::f"))))) matches the use of f in g() .

Definition at line 2670 of file ASTMatchers.h.

◆ AST_MATCHER_P() [27/83]

clang::ast_matchers::AST_MATCHER_P ( CXXMemberCallExpr  ,
on  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches on the implicit object argument of a member call expression.

Example matches y.x() (matcher = cxxMemberCallExpr(on(hasType(cxxRecordDecl(hasName("Y"))))))

class Y { public: void x(); };
void z() { Y y; y.x(); }",

FIXME: Overload to allow directly matching types?

Definition at line 2688 of file ASTMatchers.h.

◆ AST_MATCHER_P() [28/83]

clang::ast_matchers::AST_MATCHER_P ( ObjCMessageExpr  ,
hasReceiverType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches on the receiver of an ObjectiveC Message expression.

Example matcher = objCMessageExpr(hasReceiverType(asString("UIWebView *"))); matches the [webView ...] message invocation.

NSString *webViewJavaScript = ...
UIWebView *webView = ...
[webView stringByEvaluatingJavaScriptFromString:webViewJavascript];

Definition at line 2707 of file ASTMatchers.h.

◆ AST_MATCHER_P() [29/83]

clang::ast_matchers::AST_MATCHER_P ( ObjCMessageExpr  ,
hasSelector  ,
std::string  ,
BaseName   
)

Matches when BaseName == Selector.getAsString()

matcher = objCMessageExpr(hasSelector("loadHTMLString:baseURL:")); matches the outer message expr in the code below, but NOT the message invocation for self.bodyView.

[self.bodyView loadHTMLString:html baseURL:NULL];

Definition at line 2721 of file ASTMatchers.h.

References clang::Selector::getAsString(), and Node.

◆ AST_MATCHER_P() [30/83]

clang::ast_matchers::AST_MATCHER_P ( ObjCMessageExpr  ,
matchesSelector  ,
std::string  ,
RegExp   
)

Matches ObjC selectors whose name contains a substring matched by the given RegExp.

matcher = objCMessageExpr(matchesSelector("loadHTMLString\:baseURL?")); matches the outer message expr in the code below, but NOT the message invocation for self.bodyView.

[self.bodyView loadHTMLString:html baseURL:NULL];

Definition at line 2735 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [31/83]

clang::ast_matchers::AST_MATCHER_P ( ObjCMessageExpr  ,
numSelectorArgs  ,
unsigned  ,
 
)

Matches when the selector has the specified number of arguments.

matcher = objCMessageExpr(numSelectorArgs(0)); matches self.bodyView in the code below

matcher = objCMessageExpr(numSelectorArgs(2)); matches the invocation of "loadHTMLString:baseURL:" but not that of self.bodyView

[self.bodyView loadHTMLString:html baseURL:NULL];

Definition at line 2789 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [32/83]

clang::ast_matchers::AST_MATCHER_P ( CallExpr  ,
callee  ,
internal::Matcher< Stmt ,
InnerMatcher   
)

Matches if the call expression's callee expression matches.

Given

class Y { void x() { this->x(); x(); Y y; y.x(); } };
void f() { f(); }

callExpr(callee(expr())) matches this->x(), x(), y.x(), f() with callee(...) matching this->x, x, y.x, f respectively

Note: Callee cannot take the more general internal::Matcher<Expr> because this introduces ambiguous overloads with calls to Callee taking a internal::Matcher<Decl>, as the matcher hierarchy is purely implemented in terms of implicit casts.

Definition at line 2809 of file ASTMatchers.h.

◆ AST_MATCHER_P() [33/83]

clang::ast_matchers::AST_MATCHER_P ( DeclaratorDecl  ,
hasTypeLoc  ,
internal::Matcher< TypeLoc ,
Inner   
)

Matches if the type location of the declarator decl's type matches the inner matcher.

Given

int x;

declaratorDecl(hasTypeLoc(loc(asString("int")))) matches int x

Definition at line 2882 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [34/83]

clang::ast_matchers::AST_MATCHER_P ( QualType  ,
asString  ,
std::string  ,
Name   
)

Matches if the matched type is represented by the given string.

Given

class Y { public: void x(); };
void z() { Y* y; y->x(); }

cxxMemberCallExpr(on(hasType(asString("class Y *")))) matches y->x()

Definition at line 2898 of file ASTMatchers.h.

◆ AST_MATCHER_P() [35/83]

clang::ast_matchers::AST_MATCHER_P ( QualType  ,
pointsTo  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches if the matched type is a pointer type and the pointee type matches the specified matcher.

Example matches y->x() (matcher = cxxMemberCallExpr(on(hasType(pointsTo cxxRecordDecl(hasName("Y")))))))

class Y { public: void x(); };
void z() { Y *y; y->x(); }

Definition at line 2912 of file ASTMatchers.h.

◆ AST_MATCHER_P() [36/83]

clang::ast_matchers::AST_MATCHER_P ( Type  ,
hasUnqualifiedDesugaredType  ,
internal::Matcher< Type ,
InnerMatcher   
)

Matches if the matched type matches the unqualified desugared type of the matched node.

For example, in:

class A {};
using B = A;

The matcher type(hasUnqualifeidDesugaredType(recordType())) matches both B and A.

Definition at line 2936 of file ASTMatchers.h.

◆ AST_MATCHER_P() [37/83]

clang::ast_matchers::AST_MATCHER_P ( QualType  ,
references  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches if the matched type is a reference type and the referenced type matches the specified matcher.

Example matches X &x and const X &y (matcher = varDecl(hasType(references(cxxRecordDecl(hasName("X"))))))

class X {
void a(X b) {
X &x = b;
const X &y = b;
}
};

Definition at line 2955 of file ASTMatchers.h.

◆ AST_MATCHER_P() [38/83]

clang::ast_matchers::AST_MATCHER_P ( QualType  ,
hasCanonicalType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches QualTypes whose canonical type matches InnerMatcher.

Given:

typedef int &int_ref;
int a;
int_ref b = a;

varDecl(hasType(qualType(referenceType()))))) will not match the declaration of b but varDecl(hasType(qualType(hasCanonicalType(referenceType())))))) does.

Definition at line 2973 of file ASTMatchers.h.

◆ AST_MATCHER_P() [39/83]

clang::ast_matchers::AST_MATCHER_P ( CXXMemberCallExpr  ,
onImplicitObjectArgument  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Definition at line 2987 of file ASTMatchers.h.

◆ AST_MATCHER_P() [40/83]

clang::ast_matchers::AST_MATCHER_P ( DeclRefExpr  ,
to  ,
internal::Matcher< Decl ,
InnerMatcher   
)

Matches a DeclRefExpr that refers to a declaration that matches the specified matcher.

Example matches x in if(x) (matcher = declRefExpr(to(varDecl(hasName("x")))))

bool x;
if (x) {}

Definition at line 3020 of file ASTMatchers.h.

◆ AST_MATCHER_P() [41/83]

clang::ast_matchers::AST_MATCHER_P ( DeclRefExpr  ,
throughUsingDecl  ,
internal::Matcher< UsingShadowDecl ,
InnerMatcher   
)

Matches a DeclRefExpr that refers to a declaration through a specific using shadow declaration.

Given

namespace a { void f() {} }
using a::f;
void g() {
f(); // Matches this ..
a::f(); // .. but not this.
}

declRefExpr(throughUsingDecl(anything())) matches f()

Definition at line 3041 of file ASTMatchers.h.

◆ AST_MATCHER_P() [42/83]

clang::ast_matchers::AST_MATCHER_P ( OverloadExpr  ,
hasAnyDeclaration  ,
internal::Matcher< Decl ,
InnerMatcher   
)

Matches an OverloadExpr if any of the declarations in the set of overloads matches the given matcher.

Given

template <typename T> void foo(T);
template <typename T> void bar(T);
template <typename T> void baz(T t) {
foo(t);
bar(t);
}

unresolvedLookupExpr(hasAnyDeclaration( functionTemplateDecl(hasName("foo")))) matches foo in foo(t); but not bar in bar(t);

Definition at line 3064 of file ASTMatchers.h.

◆ AST_MATCHER_P() [43/83]

clang::ast_matchers::AST_MATCHER_P ( DeclStmt  ,
hasSingleDecl  ,
internal::Matcher< Decl ,
InnerMatcher   
)

Matches the Decl of a DeclStmt which has a single declaration.

Given

int a, b;
int c;

declStmt(hasSingleDecl(anything())) matches 'int c;' but not 'int a, b;'.

Definition at line 3079 of file ASTMatchers.h.

◆ AST_MATCHER_P() [44/83]

clang::ast_matchers::AST_MATCHER_P ( VarDecl  ,
hasInitializer  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches a variable declaration that has an initializer expression that matches the given matcher.

Example matches x (matcher = varDecl(hasInitializer(callExpr())))

bool y() { return true; }
bool x = y();

Definition at line 3095 of file ASTMatchers.h.

◆ AST_MATCHER_P() [45/83]

clang::ast_matchers::AST_MATCHER_P ( DeclStmt  ,
declCountIs  ,
unsigned  ,
 
)

Matches declaration statements that contain a specific number of declarations.

Example: Given

int a, b;
int c;
int d = 2, e;

declCountIs(2) matches 'int a, b;' and 'int d = 2, e;', but not 'int c;'.

Definition at line 3244 of file ASTMatchers.h.

References distance(), and Node.

◆ AST_MATCHER_P() [46/83]

clang::ast_matchers::AST_MATCHER_P ( CXXConstructorDecl  ,
hasAnyConstructorInitializer  ,
internal::Matcher< CXXCtorInitializer ,
InnerMatcher   
)

Matches a C++ catch statement that has a catch-all handler.

Given

try {
// ...
} catch (int) {
// ...
} catch (...) {
// ...
}
/endcode
cxxCatchStmt(isCatchAll()) matches catch(...) but not catch(int).
AST_MATCHER(CXXCatchStmt, isCatchAll) {
return Node.getExceptionDecl() == nullptr;
}
\brief Matches a constructor initializer.
Given
\code
struct Foo {
Foo() : foo_(1) { }
int foo_;
};

cxxRecordDecl(has(cxxConstructorDecl( hasAnyConstructorInitializer(anything()) ))) record matches Foo, hasAnyConstructorInitializer matches foo_(1)

Definition at line 3307 of file ASTMatchers.h.

◆ AST_MATCHER_P() [47/83]

clang::ast_matchers::AST_MATCHER_P ( CXXCtorInitializer  ,
forField  ,
internal::Matcher< FieldDecl ,
InnerMatcher   
)

Matches the field declaration of a constructor initializer.

Given

struct Foo {
Foo() : foo_(1) { }
int foo_;
};

cxxRecordDecl(has(cxxConstructorDecl(hasAnyConstructorInitializer( forField(hasName("foo_")))))) matches Foo with forField matching foo_

Definition at line 3326 of file ASTMatchers.h.

◆ AST_MATCHER_P() [48/83]

clang::ast_matchers::AST_MATCHER_P ( CXXCtorInitializer  ,
withInitializer  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the initializer expression of a constructor initializer.

Given

struct Foo {
Foo() : foo_(1) { }
int foo_;
};

cxxRecordDecl(has(cxxConstructorDecl(hasAnyConstructorInitializer( withInitializer(integerLiteral(equals(1))))))) matches Foo with withInitializer matching (1)

Definition at line 3346 of file ASTMatchers.h.

◆ AST_MATCHER_P() [49/83]

clang::ast_matchers::AST_MATCHER_P ( FunctionDecl  ,
hasAnyParameter  ,
internal::Matcher< ParmVarDecl ,
InnerMatcher   
)

Matches any parameter of a function declaration.

Does not match the 'this' parameter of a method.

Given

class X { void f(int x, int y, int z) {} };

cxxMethodDecl(hasAnyParameter(hasName("y"))) matches f(int x, int y, int z) {} with hasAnyParameter(...) matching int y

Definition at line 3540 of file ASTMatchers.h.

◆ AST_MATCHER_P() [50/83]

clang::ast_matchers::AST_MATCHER_P ( FunctionDecl  ,
returns  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches the return type of a function declaration.

Given:

class X { int f() { return 1; } };

cxxMethodDecl(returns(asString("int"))) matches int f() { return 1; }

Definition at line 3578 of file ASTMatchers.h.

◆ AST_MATCHER_P() [51/83]

clang::ast_matchers::AST_MATCHER_P ( IfStmt  ,
hasThen  ,
internal::Matcher< Stmt ,
InnerMatcher   
)

Matches the then-statement of an if statement.

Examples matches the if statement (matcher = ifStmt(hasThen(cxxBoolLiteral(equals(true)))))

if (false) true; else false;

Definition at line 3743 of file ASTMatchers.h.

◆ AST_MATCHER_P() [52/83]

clang::ast_matchers::AST_MATCHER_P ( IfStmt  ,
hasElse  ,
internal::Matcher< Stmt ,
InnerMatcher   
)

Matches the else-statement of an if statement.

Examples matches the if statement (matcher = ifStmt(hasElse(cxxBoolLiteral(equals(true)))))

if (false) false; else true;

Definition at line 3755 of file ASTMatchers.h.

◆ AST_MATCHER_P() [53/83]

clang::ast_matchers::AST_MATCHER_P ( IfStmt  ,
hasConditionVariableStatement  ,
internal::Matcher< DeclStmt ,
InnerMatcher   
)

Matches the condition variable statement in an if statement.

Given

if (A* a = GetAPointer()) {}

hasConditionVariableStatement(...) matches 'A* a = GetAPointer()'.

Definition at line 3805 of file ASTMatchers.h.

◆ AST_MATCHER_P() [54/83]

clang::ast_matchers::AST_MATCHER_P ( ArraySubscriptExpr  ,
hasIndex  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the index expression of an array subscript expression.

Given

int i[5];
void f() { i[1] = 42; }

arraySubscriptExpression(hasIndex(integerLiteral())) matches i[1] with the integerLiteral() matching 1

Definition at line 3822 of file ASTMatchers.h.

◆ AST_MATCHER_P() [55/83]

clang::ast_matchers::AST_MATCHER_P ( ArraySubscriptExpr  ,
hasBase  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the base expression of an array subscript expression.

Given

int i[5];
void f() { i[1] = 42; }

arraySubscriptExpression(hasBase(implicitCastExpr( hasSourceExpression(declRefExpr())))) matches i[1] with the declRefExpr() matching i

Definition at line 3839 of file ASTMatchers.h.

◆ AST_MATCHER_P() [56/83]

clang::ast_matchers::AST_MATCHER_P ( CompoundStmt  ,
statementCountIs  ,
unsigned  ,
 
)

Checks that a compound statement contains a specific number of child statements.

Example: Given

{ for (;;) {} }

compoundStmt(statementCountIs(0))) matches '{}' but does not match the outer compound statement.

Definition at line 3898 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [57/83]

clang::ast_matchers::AST_MATCHER_P ( UnaryOperator  ,
hasUnaryOperand  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches if the operand of a unary operator matches.

Example matches true (matcher = hasUnaryOperand( cxxBoolLiteral(equals(true))))

!true

Definition at line 4021 of file ASTMatchers.h.

◆ AST_MATCHER_P() [58/83]

clang::ast_matchers::AST_MATCHER_P ( CastExpr  ,
hasCastKind  ,
CastKind  ,
Kind   
)

Matches casts that has a given cast kind.

Example: matches the implicit cast around 0 (matcher = castExpr(hasCastKind(CK_NullToPointer)))

int *p = 0;

Definition at line 4060 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [59/83]

clang::ast_matchers::AST_MATCHER_P ( ExplicitCastExpr  ,
hasDestinationType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches casts whose destination type matches a given matcher.

(Note: Clang's AST refers to other conversions as "casts" too, and calls actual casts "explicit" casts.)

Definition at line 4068 of file ASTMatchers.h.

◆ AST_MATCHER_P() [60/83]

clang::ast_matchers::AST_MATCHER_P ( ImplicitCastExpr  ,
hasImplicitDestinationType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches implicit casts whose destination type matches a given matcher.

FIXME: Unit test this matcher

Definition at line 4078 of file ASTMatchers.h.

◆ AST_MATCHER_P() [61/83]

clang::ast_matchers::AST_MATCHER_P ( AbstractConditionalOperator  ,
hasTrueExpression  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the true branch expression of a conditional operator.

Example 1 (conditional ternary operator): matches a

condition ? a : b

Example 2 (conditional binary operator): matches opaqueValueExpr(condition)

condition ?: b

Definition at line 4130 of file ASTMatchers.h.

◆ AST_MATCHER_P() [62/83]

clang::ast_matchers::AST_MATCHER_P ( AbstractConditionalOperator  ,
hasFalseExpression  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the false branch expression of a conditional operator (binary or ternary).

Example matches b

condition ? a : b
condition ?: b

Definition at line 4145 of file ASTMatchers.h.

◆ AST_MATCHER_P() [63/83]

clang::ast_matchers::AST_MATCHER_P ( CXXMethodDecl  ,
ofClass  ,
internal::Matcher< CXXRecordDecl ,
InnerMatcher   
)

Matches the class declaration that the given method declaration belongs to.

FIXME: Generalize this for other kinds of declarations. FIXME: What other kind of declarations would we need to generalize this to?

Example matches A() in the last line (matcher = cxxConstructExpr(hasDeclaration(cxxMethodDecl( ofClass(hasName("A"))))))

class A {
public:
A();
};
A a = A();

Definition at line 4210 of file ASTMatchers.h.

◆ AST_MATCHER_P() [64/83]

clang::ast_matchers::AST_MATCHER_P ( CXXMethodDecl  ,
forEachOverridden  ,
internal::Matcher< CXXMethodDecl ,
InnerMatcher   
)

Matches each method overriden by the given method.

This matcher may produce multiple matches.

Given

class A { virtual void f(); };
class B : public A { void f(); };
class C : public B { void f(); };

cxxMethodDecl(ofClass(hasName("C")), forEachOverridden(cxxMethodDecl().bind("b"))).bind("d") matches once, with "b" binding "A::f" and "d" binding "C::f" (Note that B::f is not overridden by C::f).

The check can produce multiple matches in case of multiple inheritance, e.g.

class A1 { virtual void f(); };
class A2 { virtual void f(); };
class C : public A1, public A2 { void f(); };

cxxMethodDecl(ofClass(hasName("C")), forEachOverridden(cxxMethodDecl().bind("b"))).bind("d") matches twice, once with "b" binding "A1::f" and "d" binding "C::f", and once with "b" binding "A2::f" and "d" binding "C::f".

Definition at line 4241 of file ASTMatchers.h.

◆ AST_MATCHER_P() [65/83]

clang::ast_matchers::AST_MATCHER_P ( MemberExpr  ,
member  ,
internal::Matcher< ValueDecl ,
InnerMatcher   
)

Matches a member expression where the member is matched by a given matcher.

Given

struct { int first, second; } first, second;
int i(second.first);
int j(first.second);

memberExpr(member(hasName("first"))) matches second.first but not first.second (because the member name there is "second").

Definition at line 4569 of file ASTMatchers.h.

◆ AST_MATCHER_P() [66/83]

clang::ast_matchers::AST_MATCHER_P ( MemberExpr  ,
hasObjectExpression  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches a member expression where the object expression is matched by a given matcher.

Given

struct X { int m; };
void f(X x) { x.m; m; }

memberExpr(hasObjectExpression(hasType(cxxRecordDecl(hasName("X"))))))) matches "x.m" and "m" with hasObjectExpression(...) matching "x" and the implicit object expression of "m" which has type X*.

Definition at line 4586 of file ASTMatchers.h.

◆ AST_MATCHER_P() [67/83]

clang::ast_matchers::AST_MATCHER_P ( UsingDecl  ,
hasAnyUsingShadowDecl  ,
internal::Matcher< UsingShadowDecl ,
InnerMatcher   
)

Matches any using shadow declaration.

Given

namespace X { void b(); }
using X::b;

usingDecl(hasAnyUsingShadowDecl(hasName("b")))) matches

using X::b

Definition at line 4600 of file ASTMatchers.h.

◆ AST_MATCHER_P() [68/83]

clang::ast_matchers::AST_MATCHER_P ( UsingShadowDecl  ,
hasTargetDecl  ,
internal::Matcher< NamedDecl ,
InnerMatcher   
)

Matches a using shadow declaration where the target declaration is matched by the given matcher.

Given

namespace X { int a; void b(); }
using X::a;
using X::b;

usingDecl(hasAnyUsingShadowDecl(hasTargetDecl(functionDecl()))) matches

using X::b

but not

using X::a

Definition at line 4618 of file ASTMatchers.h.

◆ AST_MATCHER_P() [69/83]

clang::ast_matchers::AST_MATCHER_P ( VariableArrayType  ,
hasSizeExpr  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches VariableArrayType nodes that have a specific size expression.

Given

void f(int b) {
int a[b];
}

variableArrayType(hasSizeExpr(ignoringImpCasts(declRefExpr(to( varDecl(hasName("b"))))))) matches "int a[b]"

Definition at line 4898 of file ASTMatchers.h.

◆ AST_MATCHER_P() [70/83]

clang::ast_matchers::AST_MATCHER_P ( ElaboratedType  ,
hasQualifier  ,
internal::Matcher< NestedNameSpecifier ,
InnerMatcher   
)

Matches ElaboratedTypes whose qualifier, a NestedNameSpecifier, matches InnerMatcher if the qualifier exists.

Given

namespace N {
namespace M {
class D {};
}
}
N::M::D d;

elaboratedType(hasQualifier(hasPrefix(specifiesNamespace(hasName("N")))) matches the type of the variable declaration of d.

Definition at line 5239 of file ASTMatchers.h.

◆ AST_MATCHER_P() [71/83]

clang::ast_matchers::AST_MATCHER_P ( ElaboratedType  ,
namesType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches ElaboratedTypes whose named type matches InnerMatcher.

Given

namespace N {
namespace M {
class D {};
}
}
N::M::D d;

elaboratedType(namesType(recordType( hasDeclaration(namedDecl(hasName("D")))))) matches the type of the variable declaration of d.

Definition at line 5262 of file ASTMatchers.h.

◆ AST_MATCHER_P() [72/83]

clang::ast_matchers::AST_MATCHER_P ( DecayedType  ,
hasDecayedType  ,
internal::Matcher< QualType ,
InnerType   
)

Matches the decayed type, whos decayed type matches InnerMatcher.

Definition at line 5332 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P() [73/83]

clang::ast_matchers::AST_MATCHER_P ( Decl  ,
hasDeclContext  ,
internal::Matcher< Decl ,
InnerMatcher   
)

Matches declarations whose declaration context, interpreted as a Decl, matches InnerMatcher.

Given

namespace N {
namespace M {
class D {};
}
}

cxxRcordDecl(hasDeclContext(namedDecl(hasName("M")))) matches the declaration of class D.

Definition at line 5351 of file ASTMatchers.h.

◆ AST_MATCHER_P() [74/83]

clang::ast_matchers::AST_MATCHER_P ( NestedNameSpecifier  ,
specifiesType  ,
internal::Matcher< QualType ,
InnerMatcher   
)

Matches nested name specifiers that specify a type matching the given QualType matcher without qualifiers.

Given

struct A { struct B { struct C {}; }; };

nestedNameSpecifier(specifiesType( hasDeclaration(cxxRecordDecl(hasName("A"))) )) matches "A::"

Definition at line 5399 of file ASTMatchers.h.

◆ AST_MATCHER_P() [75/83]

clang::ast_matchers::AST_MATCHER_P ( NestedNameSpecifierLoc  ,
specifiesTypeLoc  ,
internal::Matcher< TypeLoc ,
InnerMatcher   
)

Matches nested name specifier locs that specify a type matching the given TypeLoc.

Given

struct A { struct B { struct C {}; }; };

nestedNameSpecifierLoc(specifiesTypeLoc(loc(type( hasDeclaration(cxxRecordDecl(hasName("A"))))))) matches "A::"

Definition at line 5417 of file ASTMatchers.h.

◆ AST_MATCHER_P() [76/83]

clang::ast_matchers::AST_MATCHER_P ( NestedNameSpecifier  ,
specifiesNamespace  ,
internal::Matcher< NamespaceDecl ,
InnerMatcher   
)

Matches nested name specifiers that specify a namespace matching the given namespace matcher.

Given

namespace ns { struct A {}; }
ns::A a;

nestedNameSpecifier(specifiesNamespace(hasName("ns"))) matches "ns::"

Definition at line 5468 of file ASTMatchers.h.

◆ AST_MATCHER_P() [77/83]

clang::ast_matchers::AST_MATCHER_P ( SwitchStmt  ,
forEachSwitchCase  ,
internal::Matcher< SwitchCase ,
InnerMatcher   
)

Matches each case or default statement belonging to the given switch statement.

This matcher may produce multiple matches.

Given

switch (1) { case 1: case 2: default: switch (2) { case 3: case 4: ; } }

switchStmt(forEachSwitchCase(caseStmt().bind("c"))).bind("s") matches four times, with "c" binding each of "case 1:", "case 2:", "case 3:" and "case 4:", and "s" respectively binding "switch (1)", "switch (1)", "switch (2)" and "switch (2)".

Definition at line 5511 of file ASTMatchers.h.

◆ AST_MATCHER_P() [78/83]

clang::ast_matchers::AST_MATCHER_P ( CXXConstructorDecl  ,
forEachConstructorInitializer  ,
internal::Matcher< CXXCtorInitializer ,
InnerMatcher   
)

Matches each constructor initializer in a constructor definition.

Given

class A { A() : i(42), j(42) {} int i; int j; };

cxxConstructorDecl(forEachConstructorInitializer( forField(decl().bind("x")) )) will trigger two matches, binding for 'i' and 'j' respectively.

Definition at line 5542 of file ASTMatchers.h.

◆ AST_MATCHER_P() [79/83]

clang::ast_matchers::AST_MATCHER_P ( CaseStmt  ,
hasCaseConstant  ,
internal::Matcher< Expr ,
InnerMatcher   
)

If the given case statement does not use the GNU case range extension, matches the constant given in the statement.

Given

switch (1) { case 1: case 1+1: case 3 ... 4: ; }

caseStmt(hasCaseConstant(integerLiteral())) matches "case 1:"

Definition at line 5686 of file ASTMatchers.h.

◆ AST_MATCHER_P() [80/83]

clang::ast_matchers::AST_MATCHER_P ( Decl  ,
hasAttr  ,
attr::Kind  ,
AttrKind   
)

Matches declaration that has a given attribute.

Given

__attribute__((device)) void f() { ... }

decl(hasAttr(clang::attr::CUDADevice)) matches the function declaration of f. If the matcher is use from clang-query, attr::Kind parameter should be passed as a quoted string. e.g., hasAttr("attr::CUDADevice").

Definition at line 5703 of file ASTMatchers.h.

References clang::Attr::getKind(), and Node.

◆ AST_MATCHER_P() [81/83]

clang::ast_matchers::AST_MATCHER_P ( ReturnStmt  ,
hasReturnValue  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the return value expression of a return statement.

Given

return a + b;

hasReturnValue(binaryOperator()) matches 'return a + b' with binaryOperator() matching 'a + b'

Definition at line 5721 of file ASTMatchers.h.

◆ AST_MATCHER_P() [82/83]

clang::ast_matchers::AST_MATCHER_P ( Stmt  ,
forFunction  ,
internal::Matcher< FunctionDecl ,
InnerMatcher   
)

Matches declaration of the function the statement belongs to.

Given:

F& operator=(const F& o) {
std::copy_if(o.begin(), o.end(), begin(), [](V v) { return v > 0; });
return *this;
}

returnStmt(forFunction(hasName("operator="))) matches 'return *this' but does match 'return > 0'

Definition at line 5770 of file ASTMatchers.h.

◆ AST_MATCHER_P() [83/83]

clang::ast_matchers::AST_MATCHER_P ( CXXNewExpr  ,
hasArraySize  ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches array new expressions with a given array size.

Given:

MyClass *p1 = new MyClass[10];

cxxNewExpr(hasArraySize(intgerLiteral(equals(10)))) matches the expression 'new MyClass[10]'.

Definition at line 5851 of file ASTMatchers.h.

◆ AST_MATCHER_P2() [1/2]

clang::ast_matchers::AST_MATCHER_P2 ( DeclStmt  ,
containsDeclaration  ,
unsigned  ,
,
internal::Matcher< Decl ,
InnerMatcher   
)

Matches the n'th declaration of a declaration statement.

Note that this does not work for global declarations because the AST breaks up multiple-declaration DeclStmt's into multiple single-declaration DeclStmt's. Example: Given non-global declarations

int a, b = 0;
int c;
int d = 2, e;

declStmt(containsDeclaration( 0, varDecl(hasInitializer(anything())))) matches only 'int d = 2, e;', and declStmt(containsDeclaration(1, varDecl()))

matches 'int a, b = 0' as well as 'int d = 2, e;'
but 'int c;' is not matched.

Definition at line 3267 of file ASTMatchers.h.

◆ AST_MATCHER_P2() [2/2]

clang::ast_matchers::AST_MATCHER_P2 ( FunctionDecl  ,
hasParameter  ,
unsigned  ,
,
internal::Matcher< ParmVarDecl ,
InnerMatcher   
)

Matches the n'th parameter of a function declaration.

Given

class X { void f(int x) {} };

cxxMethodDecl(hasParameter(0, hasType(varDecl()))) matches f(int x) {} with hasParameter(...) matching int x

Definition at line 3466 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [1/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( CXXRecordDecl  ,
isDerivedFrom  ,
std::string  ,
BaseName  ,
 
)

Overloaded method as shortcut for isDerivedFrom(hasName(...)).

Definition at line 2413 of file ASTMatchers.h.

References hasName(), and Node.

◆ AST_MATCHER_P_OVERLOAD() [2/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( CXXRecordDecl  ,
isSameOrDerivedFrom  ,
internal::Matcher< NamedDecl ,
Base  ,
 
)

Similar to isDerivedFrom(), but also matches classes that directly match Base.

Definition at line 2420 of file ASTMatchers.h.

References anyOf, clang::threadSafety::sx::matches(), and Node.

◆ AST_MATCHER_P_OVERLOAD() [3/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( CXXRecordDecl  ,
isSameOrDerivedFrom  ,
std::string  ,
BaseName  ,
 
)

Overloaded method as shortcut for isSameOrDerivedFrom(hasName(...)).

Definition at line 2428 of file ASTMatchers.h.

References hasName(), and Node.

◆ AST_MATCHER_P_OVERLOAD() [4/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( CallExpr  ,
callee  ,
internal::Matcher< Decl ,
InnerMatcher  ,
 
)

Matches if the call expression's callee's declaration matches the given matcher.

Example matches y.x() (matcher = callExpr(callee( cxxMethodDecl(hasName("x")))))

class Y { public: void x(); };
void z() { Y y; y.x(); }

Definition at line 2825 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [5/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( QualType  ,
pointsTo  ,
internal::Matcher< Decl ,
InnerMatcher  ,
 
)

Overloaded to match the pointee type's declaration.

Definition at line 2920 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [6/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( QualType  ,
references  ,
internal::Matcher< Decl ,
InnerMatcher  ,
 
)

Overloaded to match the referenced type's declaration.

Definition at line 2981 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [7/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( CXXMemberCallExpr  ,
thisPointerType  ,
internal::Matcher< QualType ,
InnerMatcher  ,
 
)

Matches if the expression's type either matches the specified matcher, or is a pointer to a type that matches the InnerMatcher.

Definition at line 2996 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [8/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( CXXMemberCallExpr  ,
thisPointerType  ,
internal::Matcher< Decl ,
InnerMatcher  ,
 
)

Overloaded to match the type's declaration.

Definition at line 3004 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [9/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( NestedNameSpecifier  ,
hasPrefix  ,
internal::Matcher< NestedNameSpecifier ,
InnerMatcher  ,
 
)

Matches on the prefix of a NestedNameSpecifier.

Given

struct A { struct B { struct C {}; }; };

nestedNameSpecifier(hasPrefix(specifiesType(asString("struct A")))) and matches "A::"

Definition at line 5431 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [10/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( NestedNameSpecifierLoc  ,
hasPrefix  ,
internal::Matcher< NestedNameSpecifierLoc ,
InnerMatcher  ,
 
)

Matches on the prefix of a NestedNameSpecifierLoc.

Given

struct A { struct B { struct C {}; }; };

nestedNameSpecifierLoc(hasPrefix(loc(specifiesType(asString("struct A"))))) matches "A::"

Definition at line 5449 of file ASTMatchers.h.

◆ AST_MATCHER_P_OVERLOAD() [11/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( Decl  ,
equalsNode  ,
const Decl ,
Other  ,
 
)

Overloads for the equalsNode matcher.

FIXME: Implement for other node types.Matches if a node equals another node.

Decl has pointer identity in the AST.

Definition at line 5482 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P_OVERLOAD() [12/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( Stmt  ,
equalsNode  ,
const Stmt ,
Other  ,
 
)

Matches if a node equals another node.

Stmt has pointer identity in the AST.

Definition at line 5488 of file ASTMatchers.h.

References Node.

◆ AST_MATCHER_P_OVERLOAD() [13/13]

clang::ast_matchers::AST_MATCHER_P_OVERLOAD ( Type  ,
equalsNode  ,
const Type ,
Other  ,
 
)

Matches if a node equals another node.

Type has pointer identity in the AST.

Definition at line 5494 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER() [1/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isExpansionInMainFile  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(Decl, Stmt, TypeLoc  
)

Matches AST nodes that were expanded within the main-file.

Example matches X but not Y (matcher = cxxRecordDecl(isExpansionInMainFile())

#include <Y.h>
class X {};

Y.h:

class Y {};

Usable as: Matcher<Decl>, Matcher<Stmt>, Matcher<TypeLoc>

Definition at line 244 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER() [2/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isExpansionInSystemHeader  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(Decl, Stmt, TypeLoc  
)

Matches AST nodes that were expanded within system-header-files.

Example matches Y but not X (matcher = cxxRecordDecl(isExpansionInSystemHeader())

#include <SystemHeader.h>
class X {};

SystemHeader.h:

class Y {};

Usable as: Matcher<Decl>, Matcher<Stmt>, Matcher<TypeLoc>

Definition at line 265 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER() [3/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isExternC  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl  
)

Matches extern "C" function or variable declarations.

Given:

extern "C" void f() {}
extern "C" { void g() {} }
void h() {}
extern "C" int x = 1;
extern "C" int y = 2;
int z = 3;

functionDecl(isExternC()) matches the declaration of f and g, but not the declaration of h. varDecl(isExternC()) matches the declaration of x and y, but not the declaration of z.

Definition at line 3598 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER() [4/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isStaticStorageClass  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl  
)

Matches variable/function declarations that have "static" storage class specifier ("static" keyword) written in the source.

Given:

static void f() {}
static int i = 0;
extern int j;
int k;

functionDecl(isStaticStorageClass()) matches the function declaration f. varDecl(isStaticStorageClass()) matches the variable declaration i.

Definition at line 3617 of file ASTMatchers.h.

References Node, and clang::SC_Static.

◆ AST_POLYMORPHIC_MATCHER() [5/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( hasDynamicExceptionSpec  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, FunctionProtoType  
)

Matches functions that have a dynamic exception specification.

Given:

void f();
void g() noexcept;
void h() noexcept(true);
void i() noexcept(false);
void j() throw();
void k() throw(int);
void l() throw(...);

functionDecl(hasDynamicExceptionSpec()) and functionProtoType(hasDynamicExceptionSpec()) match the declarations of j, k, and l, but not f, g, h, or i.

Definition at line 3664 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER() [6/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isNoThrow  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, FunctionProtoType  
)

Matches functions that have a non-throwing exception specification.

Given:

void f();
void g() noexcept;
void h() throw();
void i() throw(int);
void j() noexcept(false);

functionDecl(isNoThrow()) and functionProtoType(isNoThrow()) match the declarations of g, and h, but not f, i or j.

Definition at line 3684 of file ASTMatchers.h.

References clang::FunctionProtoType::getExceptionSpecType(), clang::FunctionProtoType::isNothrow(), clang::isUnresolvedExceptionSpec(), and Node.

◆ AST_POLYMORPHIC_MATCHER() [7/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isConstexpr  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(VarDecl, FunctionDecl  
)

Matches constexpr variable and function declarations.

Given:

constexpr int foo = 42;
constexpr int bar();

varDecl(isConstexpr()) matches the declaration of foo. functionDecl(isConstexpr()) matches the declaration of bar.

Definition at line 3713 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER() [8/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isDefinition  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(TagDecl, VarDecl, ObjCMethodDecl, FunctionDecl  
)

Matches if a declaration has a body attached.

Example matches A, va, fa

class A {};
class B; // Doesn't match, as it has no body.
int va;
extern int vb; // Doesn't match, as it doesn't define the variable.
void fa() {}
void fb(); // Doesn't match, as it has no body.
@interface X
- (void)ma; // Doesn't match, interface is declaration.
@end
@implementation X
- (void)ma {}
@end

Usable as: Matcher<TagDecl>, Matcher<VarDecl>, Matcher<FunctionDecl>, Matcher<ObjCMethodDecl>

Definition at line 4172 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER() [9/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isFinal  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CXXRecordDecl, CXXMethodDecl  
)

Matches if the given method or class declaration is final.

Given:

class A final {};
struct B {
virtual void f();
};
struct C : B {
void f() final;
};

matches A and C::f, but not B, C, or B::f

Definition at line 4305 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER() [10/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isTemplateInstantiation  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl, CXXRecordDecl  
)

Matches template instantiations of function, class, or static member variable template instantiations.

Given

template <typename T> class X {}; class A {}; X<A> x;

or

template <typename T> class X {}; class A {}; template class X<A>;

cxxRecordDecl(hasName("::X"), isTemplateInstantiation()) matches the template instantiation of X.

But given

template <typename T> class X {}; class A {};
template <> class X<A> {}; X<A> x;

cxxRecordDecl(hasName("::X"), isTemplateInstantiation()) does not match, as X is an explicit template specialization.

Usable as: Matcher<FunctionDecl>, Matcher<VarDecl>, Matcher<CXXRecordDecl>

Definition at line 4646 of file ASTMatchers.h.

References Node, clang::TSK_ExplicitInstantiationDefinition, and clang::TSK_ImplicitInstantiation.

◆ AST_POLYMORPHIC_MATCHER() [11/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isExplicitTemplateSpecialization  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, VarDecl, CXXRecordDecl  
)

Matches explicit template specializations of function, class, or static member variable template instantiations.

Given

template<typename T> void A(T t) { }
template<> void A(int N) { }

functionDecl(isExplicitTemplateSpecialization()) matches the specialization A<int>().

Usable as: Matcher<FunctionDecl>, Matcher<VarDecl>, Matcher<CXXRecordDecl>

Definition at line 4703 of file ASTMatchers.h.

References Node, and clang::TSK_ExplicitSpecialization.

◆ AST_POLYMORPHIC_MATCHER() [12/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isExplicit  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CXXConstructorDecl, CXXConversionDecl  
)

Matches constructor and conversion declarations that are marked with the explicit keyword.

Given

struct S {
S(int); // #1
explicit S(double); // #2
operator int(); // #3
explicit operator bool(); // #4
};

cxxConstructorDecl(isExplicit()) will match #2, but not #1. cxxConversionDecl(isExplicit()) will match #4, but not #3.

Definition at line 5633 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER() [13/13]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER ( isInline  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(NamespaceDecl, FunctionDecl  
)

Matches function and namespace declarations that are marked with the inline keyword.

Given

inline void f();
void g();
namespace n {
inline namespace m {}
}

functionDecl(isInline()) will match ::f(). namespaceDecl(isInline()) will match n::m.

Definition at line 5652 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER_P() [1/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( isExpansionInFileMatching  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(Decl, Stmt, TypeLoc ,
std::string  ,
RegExp   
)

Matches AST nodes that were expanded within files whose name is partially matching a given regex.

Example matches Y but not X (matcher = cxxRecordDecl(isExpansionInFileMatching("AST.*"))

#include "ASTMatcher.h"
class X {};

ASTMatcher.h:

class Y {};

Usable as: Matcher<Decl>, Matcher<Stmt>, Matcher<TypeLoc>

Definition at line 290 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [2/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasAnyTemplateArgument  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(ClassTemplateSpecializationDecl, TemplateSpecializationType, FunctionDecl ,
internal::Matcher< TemplateArgument ,
InnerMatcher   
)

Matches classTemplateSpecializations, templateSpecializationType and functionDecl that have at least one TemplateArgument matching the given InnerMatcher.

Given

template<typename T> class A {};
template<> class A<double> {};
A<int> a;
template<typename T> f() {};
void func() { f<int>(); };

classTemplateSpecializationDecl(hasAnyTemplateArgument( refersToType(asString("int")))) matches the specialization A<int>

functionDecl(hasAnyTemplateArgument(refersToType(asString("int")))) matches the specialization f<int>

Definition at line 663 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [3/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( templateArgumentCountIs  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(ClassTemplateSpecializationDecl, TemplateSpecializationType ,
unsigned  ,
 
)

Matches if the number of template arguments equals N.

Given

template<typename T> struct C {};
C<int> c;

classTemplateSpecializationDecl(templateArgumentCountIs(1)) matches C<int>.

Definition at line 834 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER_P() [4/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( argumentCountIs  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr, ObjCMessageExpr ,
unsigned  ,
 
)

Checks that a call expression or a constructor call expression has a specific number of arguments (including absent default arguments).

Example matches f(0, 0) (matcher = callExpr(argumentCountIs(2)))

void f(int x, int y);
f(0, 0);

Definition at line 3207 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER_P() [5/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasAnyArgument  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches any argument of a call expression or a constructor call expression.

Given

void x(int, int, int) { int y; x(1, y, 42); }

callExpr(hasAnyArgument(declRefExpr())) matches x(1, y, 42) with hasAnyArgument(...) matching y

Definition at line 3421 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [6/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( parameterCountIs  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(FunctionDecl, FunctionProtoType ,
unsigned  ,
 
)

Matches FunctionDecls and FunctionProtoTypes that have a specific parameter count.

Given

void f(int i) {}
void g(int i, int j) {}
void h(int i, int j);
void j(int i);
void k(int x, int y, int z, ...);

functionDecl(parameterCountIs(2)) matches void g(int i, int j) {} functionProtoType(parameterCountIs(2)) matches void h(int i, int j) functionProtoType(parameterCountIs(3)) matches void k(int x, int y, int z, ...);

Definition at line 3563 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER_P() [7/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasCondition  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(IfStmt, ForStmt, WhileStmt, DoStmt, SwitchStmt, AbstractConditionalOperator ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the condition expression of an if statement, for loop, switch statement or conditional operator.

Example matches true (matcher = hasCondition(cxxBoolLiteral(equals(true))))

if (true) {}

Definition at line 3726 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [8/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( equalsBoundNode  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(Stmt, Decl, Type, QualType ,
std::string  ,
ID   
)

Matches if a node equals a previously bound node.

Matches a node if it equals the node previously bound to ID.

Given

class X { int a; int b; };

cxxRecordDecl( has(fieldDecl(hasName("a"), hasType(type().bind("t")))), has(fieldDecl(hasName("b"), hasType(type(equalsBoundNode("t")))))) matches the class X, as a and b have the same type.

Note that when multiple matches are involved via forEach* matchers, equalsBoundNodes acts as a filter. For example: compoundStmt( forEachDescendant(varDecl().bind("d")), forEachDescendant(declRefExpr(to(decl(equalsBoundNode("d")))))) will trigger a match for each combination of variable declaration and reference to that variable declaration within a compound statement.

Definition at line 3781 of file ASTMatchers.h.

References clang::ast_type_traits::DynTypedNode::create(), and Node.

◆ AST_POLYMORPHIC_MATCHER_P() [9/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasBody  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(DoStmt, ForStmt, WhileStmt, CXXForRangeStmt, FunctionDecl ,
internal::Matcher< Stmt ,
InnerMatcher   
)

Matches a 'for', 'while', 'do while' statement or a function definition that has a given body.

Given

for (;;) {}

hasBody(compoundStmt()) matches 'for (;;) {}' with compoundStmt() matching '{}'

Definition at line 3857 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [10/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasAnySubstatement  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CompoundStmt, StmtExpr ,
internal::Matcher< Stmt ,
InnerMatcher   
)

Matches compound statements where at least one substatement matches a given matcher.

Also matches StmtExprs that have CompoundStmt as children.

Given

{ {}; 1+2; }

hasAnySubstatement(compoundStmt()) matches '{ {}; 1+2; }' with compoundStmt() matching '{}'

Definition at line 3879 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [11/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasOperatorName  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(BinaryOperator, UnaryOperator ,
std::string  ,
Name   
)

Matches the operator Name of operator expressions (binary or unary).

Example matches a || b (matcher = binaryOperator(hasOperatorName("||")))

!(a || b)

Definition at line 3970 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [12/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasLHS  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(BinaryOperator, ArraySubscriptExpr ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the left hand side of binary operator expressions.

Example matches a (matcher = binaryOperator(hasLHS()))

a || b

Definition at line 3983 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [13/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasRHS  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(BinaryOperator, ArraySubscriptExpr ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the right hand side of binary operator expressions.

Example matches b (matcher = binaryOperator(hasRHS()))

a || b

Definition at line 3998 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [14/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasSourceExpression  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CastExpr, OpaqueValueExpr ,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches if the cast's source expression or opaque value's source expression matches the given matcher.

Example 1: matches "a string" (matcher = castExpr(hasSourceExpression(cxxConstructExpr())))

class URL { URL(string); };
URL url = "a string";

Example 2: matches 'b' (matcher = opaqueValueExpr(hasSourceExpression(implicitCastExpr(declRefExpr())))

int a = b ?: 1;

Definition at line 4043 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P() [15/15]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P ( hasSize  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(ConstantArrayType, StringLiteral ,
unsigned  ,
 
)

Matches nodes that have the specified size.

Given

int a[42];
int b[2 * 21];
int c[41], d[43];
char *s = "abcd";
wchar_t *ws = L"abcd";
char *w = "a";

constantArrayType(hasSize(42)) matches "int a[42]" and "int b[2 * 21]" stringLiteral(hasSize(4)) matches "abcd", L"abcd"

Definition at line 4839 of file ASTMatchers.h.

References dependentSizedArrayType, incompleteArrayType, Node, and variableArrayType.

◆ AST_POLYMORPHIC_MATCHER_P2() [1/3]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P2 ( hasTemplateArgument  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(ClassTemplateSpecializationDecl, TemplateSpecializationType, FunctionDecl ,
unsigned  ,
,
internal::Matcher< TemplateArgument ,
InnerMatcher   
)

Matches classTemplateSpecializations, templateSpecializationType and functionDecl where the n'th TemplateArgument matches the given InnerMatcher.

Given

template<typename T, typename U> class A {};
A<bool, int> b;
A<int, bool> c;
template<typename T> f() {};
void func() { f<int>(); };

classTemplateSpecializationDecl(hasTemplateArgument( 1, refersToType(asString("int")))) matches the specialization A<bool, int>

functionDecl(hasTemplateArgument(0, refersToType(asString("int")))) matches the specialization f<int>

Definition at line 812 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P2() [2/3]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P2 ( hasArgument  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr, ObjCMessageExpr ,
unsigned  ,
,
internal::Matcher< Expr ,
InnerMatcher   
)

Matches the n'th argument of a call expression or a constructor call expression.

Example matches y in x(y) (matcher = callExpr(hasArgument(0, declRefExpr())))

void x(int) { int y; x(y); }

Definition at line 3223 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P2() [3/3]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P2 ( forEachArgumentWithParam  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CallExpr, CXXConstructExpr ,
internal::Matcher< Expr ,
ArgMatcher  ,
internal::Matcher< ParmVarDecl ,
ParamMatcher   
)

Matches all arguments and their respective ParmVarDecl.

Given

void f(int i);
int y;
f(y);

callExpr( forEachArgumentWithParam( declRefExpr(to(varDecl(hasName("y")))), parmVarDecl(hasType(isInteger())) )) matches f(y); with declRefExpr(...) matching int y and parmVarDecl(...) matching int i

Definition at line 3492 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P_OVERLOAD() [1/5]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P_OVERLOAD ( hasType  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(Expr, TypedefNameDecl, ValueDecl ,
internal::Matcher< QualType ,
InnerMatcher  ,
 
)

Matches if the expression's or declaration's type matches a type matcher.

Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X"))))) and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X"))))) and U (matcher = typedefDecl(hasType(asString("int")))

class X {};
void y(X &x) { x; X z; }
typedef int U;

Definition at line 2841 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P_OVERLOAD() [2/5]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P_OVERLOAD ( hasType  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(Expr, ValueDecl ,
internal::Matcher< Decl ,
InnerMatcher  ,
 
)

Overloaded to match the declaration of the expression's or value declaration's type.

In case of a value declaration (for example a variable declaration), this resolves one layer of indirection. For example, in the value declaration "X x;", cxxRecordDecl(hasName("X")) matches the declaration of X, while varDecl(hasType(cxxRecordDecl(hasName("X")))) matches the declaration of x.

Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X"))))) and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))

class X {};
void y(X &x) { x; X z; }

Usable as: Matcher<Expr>, Matcher<ValueDecl>

Definition at line 2865 of file ASTMatchers.h.

◆ AST_POLYMORPHIC_MATCHER_P_OVERLOAD() [3/5]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P_OVERLOAD ( equals  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CharacterLiteral, CXXBoolLiteralExpr, IntegerLiteral ,
bool  ,
Value  ,
 
)

Definition at line 3935 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER_P_OVERLOAD() [4/5]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P_OVERLOAD ( equals  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CharacterLiteral, CXXBoolLiteralExpr, IntegerLiteral ,
unsigned  ,
Value  ,
 
)

Definition at line 3944 of file ASTMatchers.h.

References Node.

◆ AST_POLYMORPHIC_MATCHER_P_OVERLOAD() [5/5]

clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P_OVERLOAD ( equals  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(CharacterLiteral, CXXBoolLiteralExpr, FloatingLiteral, IntegerLiteral ,
double  ,
Value  ,
 
)

Definition at line 3953 of file ASTMatchers.h.

References Node.

◆ AST_TYPE_TRAVERSE_MATCHER() [1/3]

clang::ast_matchers::AST_TYPE_TRAVERSE_MATCHER ( hasDeducedType  ,
getDeducedType  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(AutoType  
)

Matches AutoType nodes where the deduced type is a specific type.

Note: There is no TypeLoc for the deduced type and thus no getDeducedLoc() matcher.

Given

auto a = 1;
auto b = 2.0;

autoType(hasDeducedType(isInteger())) matches "auto a"

Usable as: Matcher<AutoType>

◆ AST_TYPE_TRAVERSE_MATCHER() [2/3]

clang::ast_matchers::AST_TYPE_TRAVERSE_MATCHER ( innerType  ,
getInnerType  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(ParenType  
)

Matches ParenType nodes where the inner type is a specific type.

Given

int (*ptr_to_array)[4];
int (*ptr_to_func)(int);

varDecl(hasType(pointsTo(parenType(innerType(functionType()))))) matches ptr_to_func but not ptr_to_array.

Usable as: Matcher<ParenType>

◆ AST_TYPE_TRAVERSE_MATCHER() [3/3]

clang::ast_matchers::AST_TYPE_TRAVERSE_MATCHER ( hasReplacementType  ,
getReplacementType  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(SubstTemplateTypeParmType  
)

Matches template type parameter substitutions that have a replacement type that matches the provided matcher.

Given

template <typename T>
double F(T t);
int i;
double j = F(i);

substTemplateTypeParmType(hasReplacementType(type())) matches int

◆ AST_TYPELOC_TRAVERSE_MATCHER_DECL() [1/3]

clang::ast_matchers::AST_TYPELOC_TRAVERSE_MATCHER_DECL ( hasElementType  ,
getElement  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(ArrayType, ComplexType  
)

Matches arrays and C99 complex types that have a specific element type.

Given

struct A {};
A a[7];
int b[7];

arrayType(hasElementType(builtinType())) matches "int b[7]"

Usable as: Matcher<ArrayType>, Matcher<ComplexType>

Referenced by AST_MATCHER().

◆ AST_TYPELOC_TRAVERSE_MATCHER_DECL() [2/3]

clang::ast_matchers::AST_TYPELOC_TRAVERSE_MATCHER_DECL ( hasValueType  ,
getValue  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(AtomicType  
)

Matches atomic types with a specific value type.

Given

_Atomic(int) i;
_Atomic(float) f;

atomicType(hasValueType(isInteger())) matches "_Atomic(int) i"

Usable as: Matcher<AtomicType>

◆ AST_TYPELOC_TRAVERSE_MATCHER_DECL() [3/3]

clang::ast_matchers::AST_TYPELOC_TRAVERSE_MATCHER_DECL ( pointee  ,
getPointee  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(BlockPointerType, MemberPointerType, PointerType, ReferenceType  
)

Narrows PointerType (and similar) matchers to those where the pointee matches a given matcher.

Given

int *a;
int const *b;
float const *f;

pointerType(pointee(isConstQualified(), isInteger())) matches "int const *b"

Usable as: Matcher<BlockPointerType>, Matcher<MemberPointerType>, Matcher<PointerType>, Matcher<ReferenceType>

◆ AST_TYPELOC_TRAVERSE_MATCHER_DEF() [1/3]

clang::ast_matchers::AST_TYPELOC_TRAVERSE_MATCHER_DEF ( hasElementType  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(ArrayType, ComplexType  
)

◆ AST_TYPELOC_TRAVERSE_MATCHER_DEF() [2/3]

clang::ast_matchers::AST_TYPELOC_TRAVERSE_MATCHER_DEF ( hasValueType  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(AtomicType  
)

◆ AST_TYPELOC_TRAVERSE_MATCHER_DEF() [3/3]

clang::ast_matchers::AST_TYPELOC_TRAVERSE_MATCHER_DEF ( pointee  ,
AST_POLYMORPHIC_SUPPORTED_TYPES(BlockPointerType, MemberPointerType, PointerType, ReferenceType  
)

◆ equals()

template<typename ValueT >
internal::PolymorphicMatcherWithParam1<internal::ValueEqualsMatcher, ValueT> clang::ast_matchers::equals ( const ValueT &  Value)

Matches literals that are equal to the given value of type ValueT.

Given

f('\0', false, 3.14, 42);

characterLiteral(equals(0)) matches '\0' cxxBoolLiteral(equals(false)) and cxxBoolLiteral(equals(0)) match false floatLiteral(equals(3.14)) and floatLiteral(equals(314e-2)) match 3.14 integerLiteral(equals(42)) matches 42

Note that you cannot directly match a negative numeric literal because the minus sign is not part of the literal: It is a unary operator whose operand is the positive numeric literal. Instead, you must use a unaryOperator() matcher to match the minus sign:

unaryOperator(hasOperatorName("-"), hasUnaryOperand(integerLiteral(equals(13))))

Usable as: Matcher<CharacterLiteral>, Matcher<CXXBoolLiteralExpr>, Matcher<FloatingLiteral>, Matcher<IntegerLiteral>

Definition at line 3929 of file ASTMatchers.h.

Referenced by AST_MATCHER_FUNCTION().

◆ findAll()

template<typename T >
internal::Matcher<T> clang::ast_matchers::findAll ( const internal::Matcher< T > &  Matcher)

Matches if the node or any descendant matches.

Generates results for each match.

For example, in:

class A { class B {}; class C {}; };

The matcher:

findAll(cxxRecordDecl(isDefinition()).bind("m")))

will generate results for A, B and C.

Usable as: Any Matcher

Definition at line 2569 of file ASTMatchers.h.

◆ hasDeclaration()

internal::PolymorphicMatcherWithParam1< internal::HasDeclarationMatcher, internal::Matcher<Decl>, void(internal::HasDeclarationSupportedTypes)> clang::ast_matchers::hasDeclaration ( const internal::Matcher< Decl > &  InnerMatcher)
inline

Matches a node if the declaration associated with that node matches the given matcher.

The associated declaration is:

  • for type nodes, the declaration of the underlying type
  • for CallExpr, the declaration of the callee
  • for MemberExpr, the declaration of the referenced member
  • for CXXConstructExpr, the declaration of the constructor
  • for CXXNewExpr, the declaration of the operator new

For type nodes, hasDeclaration will generally match the declaration of the sugared type. Given

class X {};
typedef X Y;
Y y;

in varDecl(hasType(hasDeclaration(decl()))) the decl will match the typedefDecl. A common use case is to match the underlying, desugared type. This can be achieved by using the hasUnqualifiedDesugaredType matcher:

varDecl(hasType(hasUnqualifiedDesugaredType(

In this matcher, the decl will match the CXXRecordDecl of class X.

Usable as: Matcher<AddrLabelExpr>, Matcher<CallExpr>, Matcher<CXXConstructExpr>, Matcher<CXXNewExpr>, Matcher<DeclRefExpr>, Matcher<EnumType>, Matcher<InjectedClassNameType>, Matcher<LabelStmt>, Matcher<MemberExpr>, Matcher<QualType>, Matcher<RecordType>, Matcher<TagType>, Matcher<TemplateSpecializationType>, Matcher<TemplateTypeParmType>, Matcher<TypedefType>, Matcher<UnresolvedUsingType>

Definition at line 2653 of file ASTMatchers.h.

Referenced by clang::ento::getAddrTo().

◆ hasEitherOperand()

internal::Matcher<BinaryOperator> clang::ast_matchers::hasEitherOperand ( const internal::Matcher< Expr > &  InnerMatcher)
inline

Matches if either the left hand side or the right hand side of a binary operator matches.

Definition at line 4009 of file ASTMatchers.h.

Referenced by clang::ento::simpleCondition().

◆ hasName()

internal::Matcher<NamedDecl> clang::ast_matchers::hasName ( const std::string &  Name)
inline

Matches NamedDecl nodes that have the specified name.

Supports specifying enclosing namespaces or classes by prefixing the name with '<enclosing>::'. Does not match typedefs of an underlying type with the given name.

Example matches X (Name == "X")

class X;

Example matches X (Name is one of "::a::b::X", "a::b::X", "b::X", "X")

namespace a { namespace b { class X; } }

Definition at line 2315 of file ASTMatchers.h.

Referenced by AST_MATCHER_P_OVERLOAD(), and clang::Declarator::setDecompositionBindings().

◆ hasOverloadedOperatorName()

internal::PolymorphicMatcherWithParam1< internal::HasOverloadedOperatorNameMatcher, StringRef, AST_POLYMORPHIC_SUPPORTED_TYPES(CXXOperatorCallExpr, FunctionDecl)> clang::ast_matchers::hasOverloadedOperatorName ( StringRef  Name)
inline

Matches overloaded operator names.

Matches overloaded operator names specified in strings without the "operator" prefix: e.g. "<<".

Given:

class A { int operator*(); };
const A &operator<<(const A &a, const A &b);
A a;
a << a; // <-- This matches

cxxOperatorCallExpr(hasOverloadedOperatorName("<<"))) matches the specified line and cxxRecordDecl(hasMethod(hasOverloadedOperatorName("*"))) matches the declaration of A.

Usable as: Matcher<CXXOperatorCallExpr>, Matcher<FunctionDecl>

Definition at line 2380 of file ASTMatchers.h.

◆ id()

template<typename T >
internal::Matcher<T> clang::ast_matchers::id ( StringRef  ID,
const internal::BindableMatcher< T > &  InnerMatcher 
)

If the provided matcher matches a node, binds the node to ID.

FIXME: Do we want to support this now that we have bind()?

Definition at line 137 of file ASTMatchers.h.

Referenced by buildByrefHelpers(), clang::ASTContext::getAttributedType(), clang::MicrosoftVTableContext::getVFTableLayout(), HandleAddressSpaceTypeAttribute(), HandleExtVectorTypeAttr(), and clang::threadSafety::til::SExpr::setID().

◆ match() [1/3]

template<typename MatcherT , typename NodeT >
SmallVector< BoundNodes, 1 > clang::ast_matchers::match ( MatcherT  Matcher,
const NodeT &  Node,
ASTContext Context 
)

Returns the results of matching Matcher on Node.

Collects the BoundNodes of all callback invocations when matching Matcher on Node and returns the collected results.

Multiple results occur when using matchers like forEachDescendant, which generate a result for each sub-match.

If you want to find all matches on the sub-tree rooted at Node (rather than only the matches on Node itself), surround the Matcher with a findAll().

See also
selectFirst

Definition at line 299 of file ASTMatchFinder.h.

Referenced by clang::Sema::ActOnCXXDelete(), AttributesMatch(), ClassImplementsAllMethodsAndProperties(), clang::Sema::ContextualImplicitConverter::ContextualImplicitConverter(), clang::Sema::ICEConvertDiagnoser::ICEConvertDiagnoser(), MatchTwoAttributeLists(), clang::ASTContext::ObjCQualifiedClassTypesAreCompatible(), and clang::Sema::WarnExactTypedMethods().

◆ match() [2/3]

template<typename MatcherT >
SmallVector< BoundNodes, 1 > clang::ast_matchers::match ( MatcherT  Matcher,
const ast_type_traits::DynTypedNode Node,
ASTContext Context 
)

Definition at line 288 of file ASTMatchFinder.h.

◆ match() [3/3]

template<typename MatcherT >
SmallVector< BoundNodes, 1 > clang::ast_matchers::match ( MatcherT  Matcher,
ASTContext Context 
)

Returns the results of matching Matcher on the translation unit of Context and collects the BoundNodes of all callback invocations.

Definition at line 305 of file ASTMatchFinder.h.

◆ selectFirst()

template<typename NodeT >
const NodeT* clang::ast_matchers::selectFirst ( StringRef  BoundTo,
const SmallVectorImpl< BoundNodes > &  Results 
)

Returns the first result of type NodeT bound to BoundTo.

Returns NULL if there is no match, or if the matching node cannot be casted to NodeT.

This is useful in combanation with match():

const Decl *D = selectFirst<Decl>("id", match(Matcher.bind("id"),
Node, Context));

Definition at line 268 of file ASTMatchFinder.h.

References Node.

◆ sizeOfExpr()

internal::Matcher<Stmt> clang::ast_matchers::sizeOfExpr ( const internal::Matcher< UnaryExprOrTypeTraitExpr > &  InnerMatcher)
inline

Same as unaryExprOrTypeTraitExpr, but only matching sizeof.

Definition at line 2294 of file ASTMatchers.h.

Variable Documentation

◆ accessSpecDecl

const internal::VariadicDynCastAllOfMatcher< Decl, AccessSpecDecl > clang::ast_matchers::accessSpecDecl

Matches C++ access specifier declarations.

Given

class C {
public:
int a;
};

accessSpecDecl() matches 'public:'

Definition at line 557 of file ASTMatchersInternal.cpp.

Referenced by clang::ASTNodeImporter::VisitAccessSpecDecl().

◆ addrLabelExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, AddrLabelExpr > clang::ast_matchers::addrLabelExpr

Matches address of label statements (GNU extension).

Given

FOO: bar();
void *ptr = &&FOO;
goto *bar;

addrLabelExpr() matches '&&FOO'

Definition at line 668 of file ASTMatchersInternal.cpp.

◆ allOf

const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> clang::ast_matchers::allOf = {internal::DynTypedMatcher::VO_AllOf}

Matches if all given matchers match.

Usable as: Any Matcher

Definition at line 738 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::assignedToRef(), AST_MATCHER_P(), and clang::ento::forLoopMatcher().

◆ anyOf

const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> clang::ast_matchers::anyOf = {internal::DynTypedMatcher::VO_AnyOf}

◆ arraySubscriptExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, ArraySubscriptExpr > clang::ast_matchers::arraySubscriptExpr

Matches array subscript expressions.

Given

int i = a[1];

arraySubscriptExpr() matches "a[1]"

Definition at line 650 of file ASTMatchersInternal.cpp.

◆ arrayType

const AstTypeMatcher< ArrayType > clang::ast_matchers::arrayType

◆ asmStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, AsmStmt > clang::ast_matchers::asmStmt

Matches asm statements.

int i = 100;
__asm("mov al, 2");

asmStmt() matches '__asm("mov al, 2")'

Definition at line 678 of file ASTMatchersInternal.cpp.

◆ atomicExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, AtomicExpr > clang::ast_matchers::atomicExpr

Matches atomic builtins.

Example matches __atomic_load_n(ptr, 1)

void foo() { int *ptr; __atomic_load_n(ptr, 1); }

Definition at line 694 of file ASTMatchersInternal.cpp.

◆ atomicType

const AstTypeMatcher< AtomicType > clang::ast_matchers::atomicType

Matches atomic types.

Given

_Atomic(int) i;

atomicType() matches "_Atomic(int) i"

Definition at line 773 of file ASTMatchersInternal.cpp.

◆ autoType

const AstTypeMatcher< AutoType > clang::ast_matchers::autoType

Matches types nodes representing C++11 auto types.

Given:

auto n = 4;
int v[] = { 2, 3 }
for (auto i : v) { }

autoType() matches "auto n" and "auto i"

Definition at line 774 of file ASTMatchersInternal.cpp.

◆ binaryConditionalOperator

const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryConditionalOperator > clang::ast_matchers::binaryConditionalOperator

Matches binary conditional operator expressions (GNU extension).

Example matches a ?: b

(a ?: b) + 42;

Definition at line 702 of file ASTMatchersInternal.cpp.

◆ binaryOperator

const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryOperator > clang::ast_matchers::binaryOperator

Matches binary operator expressions.

Example matches a || b

!(a || b)

Definition at line 697 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::changeIntBoundNode(), clang::ento::forLoopMatcher(), and clang::ento::simpleCondition().

◆ blockPointerType

const AstTypeMatcher< BlockPointerType > clang::ast_matchers::blockPointerType

Matches block pointer types, i.e.

types syntactically represented as "void (^)(int)".

The pointee is always required to be a FunctionType.

Definition at line 778 of file ASTMatchersInternal.cpp.

◆ breakStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, BreakStmt > clang::ast_matchers::breakStmt

Matches break statements.

Given

while (true) { break; }

breakStmt() matches 'break'

Definition at line 663 of file ASTMatchersInternal.cpp.

◆ builtinType

const AstTypeMatcher< BuiltinType > clang::ast_matchers::builtinType

Matches builtin Types.

Given

struct A {};
A a;
int b;
float c;
bool d;

builtinType() matches "int b", "float c" and "bool d"

Definition at line 766 of file ASTMatchersInternal.cpp.

◆ callExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CallExpr > clang::ast_matchers::callExpr

Matches call expressions.

Example matches x.y() and y()

X x;
x.y();
y();

Definition at line 590 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P(), and clang::ento::callByRef().

◆ caseStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, CaseStmt > clang::ast_matchers::caseStmt

Matches case statements inside switch statements.

Given

switch(a) { case 42: break; default: break; }

caseStmt() matches 'case 42: break;'.

Definition at line 671 of file ASTMatchersInternal.cpp.

Referenced by clang::Sema::ActOnCaseStmtBody().

◆ castExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CastExpr > clang::ast_matchers::castExpr

Matches any cast nodes of Clang's AST.

Example: castExpr() matches each of the following:

(int) 3;
const_cast<Expr *>(SubExpr);
char c = 0;

but does not match

int i = (0);
int k = 0;

Definition at line 721 of file ASTMatchersInternal.cpp.

Referenced by addFixitForObjCARCConversion(), clang::Sema::CheckObjCBridgeRelatedCast(), clang::Sema::CheckTollFreeBridgeCast(), clang::Sema::diagnoseARCUnbridgedCast(), and tryEmitARCCopyWeakInit().

◆ characterLiteral

const internal::VariadicDynCastAllOfMatcher< Stmt, CharacterLiteral > clang::ast_matchers::characterLiteral

Matches character literals (also matches wchar_t).

Not matching Hex-encoded chars (e.g. 0x1234, which is a IntegerLiteral), though.

Example matches 'a', L'a'

char ch = 'a';
wchar_t chw = L'a';

Definition at line 683 of file ASTMatchersInternal.cpp.

◆ classTemplateDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateDecl > clang::ast_matchers::classTemplateDecl

Matches C++ class template declarations.

Example matches Z

template<class T> class Z {};

Definition at line 549 of file ASTMatchersInternal.cpp.

◆ classTemplateSpecializationDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateSpecializationDecl > clang::ast_matchers::classTemplateSpecializationDecl

Matches C++ class template specializations.

Given

template<typename T> class A {};
template<> class A<double> {};
A<int> a;

classTemplateSpecializationDecl() matches the specializations A<int> and A<double>

Definition at line 552 of file ASTMatchersInternal.cpp.

◆ complexType

const AstTypeMatcher< ComplexType > clang::ast_matchers::complexType

Matches C99 complex types.

Given

_Complex float f;

complexType() matches "_Complex float f"

Definition at line 768 of file ASTMatchersInternal.cpp.

Referenced by clang::CodeGen::swiftcall::SwiftAggLowering::addTypedData().

◆ compoundLiteralExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundLiteralExpr > clang::ast_matchers::compoundLiteralExpr

Matches compound (i.e.

non-scalar) literals

Example match: {1}, (1, 2)

int array[4] = {1};
vector int myvec = (vector int)(1, 2);

Definition at line 690 of file ASTMatchersInternal.cpp.

◆ compoundStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundStmt > clang::ast_matchers::compoundStmt

Matches compound statements.

Example matches '{}' and '{{}}'in 'for (;;) {{}}'

for (;;) {{}}

Definition at line 673 of file ASTMatchersInternal.cpp.

◆ conditionalOperator

const internal::VariadicDynCastAllOfMatcher< Stmt, ConditionalOperator > clang::ast_matchers::conditionalOperator

Matches conditional operator expressions.

Example matches a ? b : c

(a ? b : c) + 42

Definition at line 700 of file ASTMatchersInternal.cpp.

◆ constantArrayType

const AstTypeMatcher< ConstantArrayType > clang::ast_matchers::constantArrayType

Matches C arrays with a specified constant size.

Given

void() {
int a[2];
int b[] = { 2, 3 };
int c[b[0]];
}

constantArrayType() matches "int a[2]"

Definition at line 769 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER().

◆ continueStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, ContinueStmt > clang::ast_matchers::continueStmt

Matches continue statements.

Given

while (true) { continue; }

continueStmt() matches 'continue'

Definition at line 664 of file ASTMatchersInternal.cpp.

◆ cStyleCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CStyleCastExpr > clang::ast_matchers::cStyleCastExpr

Matches a C-style cast expression.

Example: Matches (int) 2.2f in

int i = (int) 2.2f;

Definition at line 716 of file ASTMatchersInternal.cpp.

◆ cudaKernelCallExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CUDAKernelCallExpr > clang::ast_matchers::cudaKernelCallExpr

Matches CUDA kernel call expression.

Example matches,

kernel<<<i,j>>>();

Definition at line 765 of file ASTMatchersInternal.cpp.

◆ cxxBindTemporaryExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBindTemporaryExpr > clang::ast_matchers::cxxBindTemporaryExpr

Matches nodes where temporaries are created.

Example matches FunctionTakesString(GetStringByValue()) (matcher = cxxBindTemporaryExpr())

FunctionTakesString(GetStringByValue());
FunctionTakesStringByPointer(GetStringPointer());

Definition at line 644 of file ASTMatchersInternal.cpp.

◆ cxxBoolLiteral

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBoolLiteralExpr > clang::ast_matchers::cxxBoolLiteral

Matches bool literals.

Example matches true

true

Definition at line 680 of file ASTMatchersInternal.cpp.

◆ cxxCatchStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXCatchStmt > clang::ast_matchers::cxxCatchStmt

Matches catch statements.

try {} catch(int i) {}

cxxCatchStmt() matches 'catch(int i)'

Definition at line 674 of file ASTMatchersInternal.cpp.

◆ cxxConstCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstCastExpr > clang::ast_matchers::cxxConstCastExpr

Matches a const_cast expression.

Example: Matches const_cast<int*>(&r) in

int n = 42;
const int &r(n);
int* p = const_cast<int*>(&r);

Definition at line 714 of file ASTMatchersInternal.cpp.

◆ cxxConstructExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstructExpr > clang::ast_matchers::cxxConstructExpr

Matches constructor call expressions (including implicit ones).

Example matches string(ptr, n) and ptr within arguments of f (matcher = cxxConstructExpr())

void f(const string &a, const string &b);
char *ptr;
int n;
f(string(ptr, n), ptr);

Definition at line 639 of file ASTMatchersInternal.cpp.

◆ cxxConstructorDecl

const internal::VariadicDynCastAllOfMatcher< Decl, CXXConstructorDecl > clang::ast_matchers::cxxConstructorDecl

Matches C++ constructor declarations.

Example matches Foo::Foo() and Foo::Foo(int)

class Foo {
public:
Foo();
Foo(int);
int DoSomething();
};

Definition at line 572 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ cxxConversionDecl

const internal::VariadicDynCastAllOfMatcher< Decl, CXXConversionDecl > clang::ast_matchers::cxxConversionDecl

Matches conversion operator declarations.

Example matches the operator.

class X { operator int() const; };

Definition at line 580 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ cxxCtorInitializer

const internal::VariadicAllOfMatcher< CXXCtorInitializer > clang::ast_matchers::cxxCtorInitializer

Matches constructor initializers.

Examples matches i(42).

class C {
C() : i(42) {}
int i;
};

Definition at line 558 of file ASTMatchersInternal.cpp.

◆ cxxDefaultArgExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDefaultArgExpr > clang::ast_matchers::cxxDefaultArgExpr

Matches the value of a default argument at the call site.

Example matches the CXXDefaultArgExpr placeholder inserted for the default value of the second parameter in the call expression f(42) (matcher = cxxDefaultArgExpr())

void f(int x, int y = 0);
f(42);

Definition at line 652 of file ASTMatchersInternal.cpp.

◆ cxxDeleteExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDeleteExpr > clang::ast_matchers::cxxDeleteExpr

Matches delete expressions.

Given

delete X;

cxxDeleteExpr() matches 'delete X'.

Definition at line 648 of file ASTMatchersInternal.cpp.

◆ cxxDestructorDecl

const internal::VariadicDynCastAllOfMatcher< Decl, CXXDestructorDecl > clang::ast_matchers::cxxDestructorDecl

Matches explicit C++ destructor declarations.

Example matches Foo::~Foo()

class Foo {
public:
virtual ~Foo();
};

Definition at line 574 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ cxxDynamicCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDynamicCastExpr > clang::ast_matchers::cxxDynamicCastExpr

Matches a dynamic_cast expression.

Example: cxxDynamicCastExpr() matches dynamic_cast<D*>(&b); in

struct B { virtual ~B() {} }; struct D : B {};
B b;
D* p = dynamic_cast<D*>(&b);

Definition at line 712 of file ASTMatchersInternal.cpp.

◆ cxxForRangeStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXForRangeStmt > clang::ast_matchers::cxxForRangeStmt

Matches range-based for statements.

cxxForRangeStmt() matches 'for (auto a : i)'

int i[] = {1, 2, 3}; for (auto a : i);
for(int j = 0; j < 5; ++j);

Definition at line 660 of file ASTMatchersInternal.cpp.

◆ cxxFunctionalCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXFunctionalCastExpr > clang::ast_matchers::cxxFunctionalCastExpr

Matches functional cast expressions.

Example: Matches Foo(bar);

Foo f = bar;
Foo g = (Foo) bar;
Foo h = Foo(bar);

Definition at line 723 of file ASTMatchersInternal.cpp.

◆ cxxMemberCallExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXMemberCallExpr > clang::ast_matchers::cxxMemberCallExpr

Matches member call expressions.

Example matches x.y()

X x;
x.y();

Definition at line 593 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ cxxMethodDecl

const internal::VariadicDynCastAllOfMatcher< Decl, CXXMethodDecl > clang::ast_matchers::cxxMethodDecl

Matches method declarations.

Example matches y

class X { void y(); };

Definition at line 578 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ cxxNewExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNewExpr > clang::ast_matchers::cxxNewExpr

Matches new expressions.

Given

new X;

cxxNewExpr() matches 'new X'.

Definition at line 647 of file ASTMatchersInternal.cpp.

◆ cxxNullPtrLiteralExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNullPtrLiteralExpr > clang::ast_matchers::cxxNullPtrLiteralExpr

Matches nullptr literal.

Definition at line 692 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_FUNCTION().

◆ cxxOperatorCallExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXOperatorCallExpr > clang::ast_matchers::cxxOperatorCallExpr

Matches overloaded operator calls.

Note that if an operator isn't overloaded, it won't match. Instead, use binaryOperator matcher. Currently it does not match operators such as new delete. FIXME: figure out why these do not match?

Example matches both operator<<((o << b), c) and operator<<(o, b) (matcher = cxxOperatorCallExpr())

ostream &operator<< (ostream &out, int i) { };
ostream &o; int b = 1, c = 1;
o << b << c;

Definition at line 654 of file ASTMatchersInternal.cpp.

◆ cxxRecordDecl

const internal::VariadicDynCastAllOfMatcher< Decl, CXXRecordDecl > clang::ast_matchers::cxxRecordDecl

Matches C++ class declarations.

Example matches X, Z

class X;
template<class T> class Z {};

Definition at line 547 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_FUNCTION().

◆ cxxReinterpretCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXReinterpretCastExpr > clang::ast_matchers::cxxReinterpretCastExpr

Matches a reinterpret_cast expression.

Either the source expression or the destination type can be matched using has(), but hasDestinationType() is more specific and can be more readable.

Example matches reinterpret_cast<char*>(&p) in

void* p = reinterpret_cast<char*>(&p);

Definition at line 708 of file ASTMatchersInternal.cpp.

◆ cxxStaticCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStaticCastExpr > clang::ast_matchers::cxxStaticCastExpr

Matches a C++ static_cast expression.

See also
hasDestinationType
reinterpretCast

Example: cxxStaticCastExpr() matches static_cast<long>(8) in

long eight(static_cast<long>(8));

Definition at line 710 of file ASTMatchersInternal.cpp.

◆ cxxStdInitializerListExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStdInitializerListExpr > clang::ast_matchers::cxxStdInitializerListExpr

Matches C++ initializer list expressions.

Given

std::vector<int> a({ 1, 2, 3 });
std::vector<int> b = { 4, 5 };
int c[] = { 6, 7 };
std::pair<int, int> d = { 8, 9 };

cxxStdInitializerListExpr() matches "{ 1, 2, 3 }" and "{ 4, 5 }"

Definition at line 622 of file ASTMatchersInternal.cpp.

◆ cxxTemporaryObjectExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTemporaryObjectExpr > clang::ast_matchers::cxxTemporaryObjectExpr

Matches functional cast expressions having N != 1 arguments.

Example: Matches Foo(bar, bar)

Foo h = Foo(bar, bar);

Definition at line 725 of file ASTMatchersInternal.cpp.

◆ cxxThisExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThisExpr > clang::ast_matchers::cxxThisExpr

Matches implicit and explicit this expressions.

Example matches the implicit this expression in "return i". (matcher = cxxThisExpr())

struct foo {
int i;
int f() { return i; }
};

Definition at line 642 of file ASTMatchersInternal.cpp.

◆ cxxThrowExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThrowExpr > clang::ast_matchers::cxxThrowExpr

Matches throw expressions.

try { throw 5; } catch(int i) {}

cxxThrowExpr() matches 'throw 5'

Definition at line 676 of file ASTMatchersInternal.cpp.

◆ cxxTryStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTryStmt > clang::ast_matchers::cxxTryStmt

Matches try statements.

try {} catch(int i) {}

cxxTryStmt() matches 'try {}'

Definition at line 675 of file ASTMatchersInternal.cpp.

◆ cxxUnresolvedConstructExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, CXXUnresolvedConstructExpr > clang::ast_matchers::cxxUnresolvedConstructExpr

Matches unresolved constructor call expressions.

Example matches T(t) in return statement of f (matcher = cxxUnresolvedConstructExpr())

template <typename T>
void f(const T& t) { return T(t); }

Definition at line 641 of file ASTMatchersInternal.cpp.

◆ decayedType

const AstTypeMatcher< DecayedType > clang::ast_matchers::decayedType

Matches decayed type Example matches i[] in declaration of f.

(matcher = valueDecl(hasType(decayedType(hasDecayedType(pointerType()))))) Example matches i[1]. (matcher = expr(hasType(decayedType(hasDecayedType(pointerType())))))

void f(int i[]) {
i[1] = 0;
}

Definition at line 795 of file ASTMatchersInternal.cpp.

◆ decl

const internal::VariadicAllOfMatcher< Decl > clang::ast_matchers::decl

◆ declaratorDecl

const internal::VariadicDynCastAllOfMatcher< Decl, DeclaratorDecl > clang::ast_matchers::declaratorDecl

Matches declarator declarations (field, variable, function and non-type template parameter declarations).

Given

class X { int y; };

declaratorDecl() matches int y.

Definition at line 554 of file ASTMatchersInternal.cpp.

◆ declRefExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, DeclRefExpr > clang::ast_matchers::declRefExpr

Matches expressions that refer to declarations.

Example matches x in if (x)

bool x;
if (x) {}

Definition at line 656 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::assignedToRef(), clang::ento::callByRef(), clang::ento::changeIntBoundNode(), clang::ento::forLoopMatcher(), clang::ento::getAddrTo(), and clang::ento::simpleCondition().

◆ declStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, DeclStmt > clang::ast_matchers::declStmt

Matches declaration statements.

Given

int a;

declStmt() matches 'int a'.

Definition at line 588 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::assignedToRef(), AST_MATCHER_P(), and clang::ento::forLoopMatcher().

◆ defaultStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, DefaultStmt > clang::ast_matchers::defaultStmt

Matches default statements inside switch statements.

Given

switch(a) { case 42: break; default: break; }

defaultStmt() matches 'default: break;'.

Definition at line 672 of file ASTMatchersInternal.cpp.

◆ dependentSizedArrayType

const AstTypeMatcher< DependentSizedArrayType > clang::ast_matchers::dependentSizedArrayType

Matches C++ arrays whose size is a value-dependent expression.

Given

template<typename T, int Size>
class array {
T data[Size];
};

dependentSizedArrayType matches "T data[Size]"

Definition at line 770 of file ASTMatchersInternal.cpp.

Referenced by AST_POLYMORPHIC_MATCHER_P().

◆ designatedInitExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, DesignatedInitExpr > clang::ast_matchers::designatedInitExpr

Matches C99 designated initializer expressions [C99 6.7.8].

Example: Matches { [2].y = 1.0, [0].x = 1.0 }

point ptarray[10] = { [2].y = 1.0, [0].x = 1.0 };

Definition at line 729 of file ASTMatchersInternal.cpp.

◆ doStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, DoStmt > clang::ast_matchers::doStmt

Matches do statements.

Given

do {} while (true);

doStmt() matches 'do {} while(true)'

Definition at line 662 of file ASTMatchersInternal.cpp.

◆ eachOf

const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> clang::ast_matchers::eachOf = {internal::DynTypedMatcher::VO_EachOf}

Matches if any of the given matchers matches.

Unlike anyOf, eachOf will generate a match result for each matching submatcher.

For example, in:

class A { int a; int b; };

The matcher:

has(fieldDecl(hasName("b")).bind("v"))))

will generate two results binding "v", the first of which binds the field declaration of a, the second the field declaration of b.

Usable as: Any Matcher

Definition at line 732 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ elaboratedType

const AstTypeMatcher< ElaboratedType > clang::ast_matchers::elaboratedType

Matches types specified with an elaborated type keyword or with a qualified name.

Given

namespace N {
namespace M {
class D {};
}
}
class C {};
class C c;
N::M::D d;

elaboratedType() matches the type of the variable declarations of both c and d.

Definition at line 791 of file ASTMatchersInternal.cpp.

◆ enumConstantDecl

const internal::VariadicDynCastAllOfMatcher< Decl, EnumConstantDecl > clang::ast_matchers::enumConstantDecl

Matches enum constants.

Example matches A, B, C

enum X {
A, B, C
};

Definition at line 577 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ enumDecl

const internal::VariadicDynCastAllOfMatcher< Decl, EnumDecl > clang::ast_matchers::enumDecl

Matches enum declarations.

Example matches X

enum X {
A, B, C
};

Definition at line 575 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ enumType

const AstTypeMatcher< EnumType > clang::ast_matchers::enumType

Matches enum types.

Given

enum C { Green };
enum class S { Red };
C c;
S s;

enumType() matches the type of the variable declarations of both c and s.

Definition at line 786 of file ASTMatchersInternal.cpp.

Referenced by clang::Sema::RequireCompleteDeclContext().

◆ explicitCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, ExplicitCastExpr > clang::ast_matchers::explicitCastExpr

Matches explicit cast expressions.

Matches any cast expression written in user code, whether it be a C-style cast, a functional-style cast, or a keyword cast.

Does not match implicit conversions.

Note: the name "explicitCast" is chosen to match Clang's terminology, as Clang uses the term "cast" to apply to implicit conversions as well as to actual cast expressions.

See also
hasDestinationType.

Example: matches all five of the casts in

int((int)(reinterpret_cast<int>(static_cast<int>(const_cast<int>(42)))))

but does not match the implicit conversion in

long ell = 42;

Definition at line 718 of file ASTMatchersInternal.cpp.

◆ expr

const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > clang::ast_matchers::expr

◆ exprWithCleanups

const internal::VariadicDynCastAllOfMatcher< Stmt, ExprWithCleanups > clang::ast_matchers::exprWithCleanups

Matches expressions that introduce cleanups to be run at the end of the sub-expression's evaluation.

Example matches std::string()

const std::string str = std::string();

Definition at line 619 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ fieldDecl

const internal::VariadicDynCastAllOfMatcher< Decl, FieldDecl > clang::ast_matchers::fieldDecl

Matches field declarations.

Given

class X { int m; };

fieldDecl() matches 'm'.

Definition at line 582 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ floatLiteral

const internal::VariadicDynCastAllOfMatcher< Stmt, FloatingLiteral > clang::ast_matchers::floatLiteral

Matches float literals of all sizes / encodings, e.g.

1.0, 1.0f, 1.0L and 1e10.

Does not match implicit conversions such as

float a = 10;

Definition at line 686 of file ASTMatchersInternal.cpp.

◆ forEach

const internal::ArgumentAdaptingMatcherFunc< internal::ForEachMatcher > clang::ast_matchers::forEach
Initial value:
=
{}

Matches AST nodes that have child AST nodes that match the provided matcher.

Example matches X, Y (matcher = cxxRecordDecl(forEach(cxxRecordDecl(hasName("X")))

class X {}; // Matches X, because X::X is a class of name X inside X.
class Y { class X {}; };
class Z { class Y { class X {}; }; }; // Does not match Z.

ChildT must be an AST base type.

As opposed to 'has', 'forEach' will cause a match for each result that matches instead of only on the first one.

Usable as: Any Matcher

Definition at line 745 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER().

◆ forEachDescendant

const internal::ArgumentAdaptingMatcherFunc< internal::ForEachDescendantMatcher > clang::ast_matchers::forEachDescendant = {}

Matches AST nodes that have descendant AST nodes that match the provided matcher.

Example matches X, A, B, C (matcher = cxxRecordDecl(forEachDescendant(cxxRecordDecl(hasName("X")))))

class X {}; // Matches X, because X::X is a class of name X inside X.
class A { class X {}; };
class B { class C { class X {}; }; };

DescendantT must be an AST base type.

As opposed to 'hasDescendant', 'forEachDescendant' will cause a match for each result that matches instead of only on the first one.

Note: Recursively combined ForEachDescendant can cause many matches: cxxRecordDecl(forEachDescendant(cxxRecordDecl( forEachDescendant(cxxRecordDecl()) ))) will match 10 times (plus injected class name matches) on:

class A { class B { class C { class D { class E {}; }; }; }; };

Usable as: Any Matcher

Definition at line 748 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER().

◆ forStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, ForStmt > clang::ast_matchers::forStmt

Matches for statements.

Example matches 'for (;;) {}'

for (;;) {}
int i[] = {1, 2, 3}; for (auto a : i);

Definition at line 658 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::forLoopMatcher().

◆ friendDecl

const internal::VariadicDynCastAllOfMatcher< Decl, FriendDecl > clang::ast_matchers::friendDecl

Matches friend declarations.

Given

class X { friend void foo(); };

friendDecl() matches 'friend void foo()'.

Definition at line 586 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ functionDecl

const internal::VariadicDynCastAllOfMatcher< Decl, FunctionDecl > clang::ast_matchers::functionDecl

Matches function declarations.

Example matches f

void f();

Definition at line 583 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_FUNCTION(), and AST_MATCHER_P().

◆ functionProtoType

const AstTypeMatcher< FunctionProtoType > clang::ast_matchers::functionProtoType

Matches FunctionProtoType nodes.

Given

int (*f)(int);
void g();

functionProtoType() matches "int (*f)(int)" and the type of "g" in C++ mode. In C mode, "g" is not matched because it does not contain a prototype.

Definition at line 776 of file ASTMatchersInternal.cpp.

◆ functionTemplateDecl

const internal::VariadicDynCastAllOfMatcher< Decl, FunctionTemplateDecl > clang::ast_matchers::functionTemplateDecl

Matches C++ function template declarations.

Example matches f

template<class T> void f(T t) {}

Definition at line 585 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ functionType

const AstTypeMatcher< FunctionType > clang::ast_matchers::functionType

Matches FunctionType nodes.

Given

int (*f)(int);
void g();

functionType() matches "int (*f)(int)" and the type of "g".

Definition at line 775 of file ASTMatchersInternal.cpp.

◆ gnuNullExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, GNUNullExpr > clang::ast_matchers::gnuNullExpr

Matches GNU __null expression.

Definition at line 693 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_FUNCTION().

◆ gotoStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, GotoStmt > clang::ast_matchers::gotoStmt

Matches goto statements.

Given

goto FOO;
FOO: bar();

gotoStmt() matches 'goto FOO'

Definition at line 666 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::hasSuspiciousStmt().

◆ has

const internal::ArgumentAdaptingMatcherFunc< internal::HasMatcher > clang::ast_matchers::has = {}

Matches AST nodes that have child AST nodes that match the provided matcher.

Example matches X, Y (matcher = cxxRecordDecl(has(cxxRecordDecl(hasName("X")))

class X {}; // Matches X, because X::X is a class of name X inside X.
class Y { class X {}; };
class Z { class Y { class X {}; }; }; // Does not match Z.

ChildT must be an AST base type.

Usable as: Any Matcher Note that has is direct matcher, so it also matches things like implicit casts and paren casts. If you are matching with expr then you should probably consider using ignoringParenImpCasts like: has(ignoringParenImpCasts(expr())).

Definition at line 742 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::assignedToRef(), AST_MATCHER(), and getLiteralInfo().

◆ hasAncestor

const internal::ArgumentAdaptingMatcherFunc< internal::HasAncestorMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc > > clang::ast_matchers::hasAncestor = {}

Matches AST nodes that have an ancestor that matches the provided matcher.

Given

void f() { if (true) { int x = 42; } }
void g() { for (;;) { int x = 43; } }

expr(integerLiteral(hasAncestor(ifStmt()))) matches 42, but not 43.

Usable as: Any Matcher

Definition at line 758 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_FUNCTION().

◆ hasAnyName

const internal::VariadicFunction< internal::Matcher< NamedDecl >, StringRef, internal::hasAnyNameFunc > clang::ast_matchers::hasAnyName = {}

Matches NamedDecl nodes that have any of the specified names.

This matcher is only provided as a performance optimization of hasName.

hasAnyName(a, b, c)

is equivalent to, but faster than

Definition at line 741 of file ASTMatchersInternal.cpp.

◆ hasDescendant

const internal::ArgumentAdaptingMatcherFunc< internal::HasDescendantMatcher > clang::ast_matchers::hasDescendant = {}

Matches AST nodes that have descendant AST nodes that match the provided matcher.

Example matches X, Y, Z (matcher = cxxRecordDecl(hasDescendant(cxxRecordDecl(hasName("X")))))

class X {}; // Matches X, because X::X is a class of name X inside X.
class Y { class X {}; };
class Z { class Y { class X {}; }; };

DescendantT must be an AST base type.

Usable as: Any Matcher

Definition at line 744 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::assignedToRef(), AST_MATCHER(), and clang::ento::hasSuspiciousStmt().

◆ hasParent

const internal::ArgumentAdaptingMatcherFunc< internal::HasParentMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc > > clang::ast_matchers::hasParent = {}

Matches AST nodes that have a parent that matches the provided matcher.

Given

void f() { for (;;) { int x = 42; if (true) { int x = 43; } } }

compoundStmt(hasParent(ifStmt())) matches "{ int x = 43; }".

Usable as: Any Matcher

Definition at line 753 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_FUNCTION().

◆ ifStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, IfStmt > clang::ast_matchers::ifStmt

Matches if statements.

Example matches 'if (x) {}'

if (x) {}

Definition at line 657 of file ASTMatchersInternal.cpp.

◆ implicitCastExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitCastExpr > clang::ast_matchers::implicitCastExpr

Matches the implicit cast nodes of Clang's AST.

This matches many different places, including function call return value eliding, as well as any type conversions.

Definition at line 720 of file ASTMatchersInternal.cpp.

◆ implicitValueInitExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitValueInitExpr > clang::ast_matchers::implicitValueInitExpr

Matches implicit initializers of init list expressions.

Given

point ptarray[10] = { [2].y = 1.0, [2].x = 2.0, [0].x = 1.0 };

implicitValueInitExpr() matches "[0].y" (implicitly)

Definition at line 624 of file ASTMatchersInternal.cpp.

◆ incompleteArrayType

const AstTypeMatcher< IncompleteArrayType > clang::ast_matchers::incompleteArrayType

Matches C arrays with unspecified size.

Given

int a[] = { 2, 3 };
int b[42];
void f(int c[]) { int d[a[0]]; };

incompleteArrayType() matches "int a[]" and "int c[]"

Definition at line 771 of file ASTMatchersInternal.cpp.

Referenced by AST_POLYMORPHIC_MATCHER_P().

◆ initListExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, InitListExpr > clang::ast_matchers::initListExpr

Matches init list expressions.

Given

int a[] = { 1, 2 };
struct B { int x, y; };
B b = { 5, 6 };

initListExpr() matches "{ 1, 2 }" and "{ 5, 6 }"

Definition at line 620 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::assignedToRef(), and AST_MATCHER_P().

◆ injectedClassNameType

const AstTypeMatcher< InjectedClassNameType > clang::ast_matchers::injectedClassNameType

Matches injected class name types.

Example matches S s, but not S<T> s. (matcher = parmVarDecl(hasType(injectedClassNameType())))

template <typename T> struct S {
void f(S s);
void g(S<T> s);
};

Definition at line 794 of file ASTMatchersInternal.cpp.

◆ integerLiteral

const internal::VariadicDynCastAllOfMatcher< Stmt, IntegerLiteral > clang::ast_matchers::integerLiteral

Matches integer literals of all sizes / encodings, e.g.

1, 1L, 0x1 and 1U.

Does not match character-encoded integers such as L'a'.

Definition at line 685 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_FUNCTION(), clang::ento::forLoopMatcher(), and clang::ento::simpleCondition().

◆ labelDecl

const internal::VariadicDynCastAllOfMatcher< Decl, LabelDecl > clang::ast_matchers::labelDecl

Matches a declaration of label.

Given

goto FOO;
FOO: bar();

labelDecl() matches 'FOO:'

Definition at line 542 of file ASTMatchersInternal.cpp.

◆ labelStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, LabelStmt > clang::ast_matchers::labelStmt

Matches label statements.

Given

goto FOO;
FOO: bar();

labelStmt() matches 'FOO:'

Definition at line 667 of file ASTMatchersInternal.cpp.

◆ lambdaExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, LambdaExpr > clang::ast_matchers::lambdaExpr

Matches lambda expressions.

Example matches [&](){return 5;}

[&](){return 5;}

Definition at line 591 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ linkageSpecDecl

const internal::VariadicDynCastAllOfMatcher< Decl, LinkageSpecDecl > clang::ast_matchers::linkageSpecDecl

Matches a declaration of a linkage specification.

Given

extern "C" {}

linkageSpecDecl() matches "extern "C" {}"

Definition at line 540 of file ASTMatchersInternal.cpp.

◆ lValueReferenceType

const AstTypeMatcher< LValueReferenceType > clang::ast_matchers::lValueReferenceType

Matches lvalue reference types.

Given:

int *a;
int &b = *a;
int &&c = 1;
auto &d = b;
auto &&e = c;
auto &&f = 2;
int g = 5;

lValueReferenceType() matches the types of b, d, and e. e is matched since the type is deduced as int& by reference collapsing rules.

Definition at line 783 of file ASTMatchersInternal.cpp.

◆ materializeTemporaryExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, MaterializeTemporaryExpr > clang::ast_matchers::materializeTemporaryExpr

Matches nodes where temporaries are materialized.

Example: Given

struct T {void func();};
T f();
void g(T);

materializeTemporaryExpr() matches 'f()' in these statements

T u(f());
g(f());

but does not match

f();
f().func();

Definition at line 646 of file ASTMatchersInternal.cpp.

◆ memberExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, MemberExpr > clang::ast_matchers::memberExpr

Matches member expressions.

Given

class Y {
void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; }
int a; static int b;
};

memberExpr() matches this->x, x, y.x, a, this->b

Definition at line 589 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ memberPointerType

const AstTypeMatcher< MemberPointerType > clang::ast_matchers::memberPointerType

Matches member pointer types.

Given

struct A { int i; }
A::* ptr = A::i;

memberPointerType() matches "A::* ptr"

Definition at line 779 of file ASTMatchersInternal.cpp.

◆ namedDecl

const internal::VariadicDynCastAllOfMatcher< Decl, NamedDecl > clang::ast_matchers::namedDecl

Matches a declaration of anything that could have a name.

Example matches X, S, the anonymous union type, i, and U;

typedef int X;
struct S {
union {
int i;
} U;
};

Definition at line 541 of file ASTMatchersInternal.cpp.

◆ namespaceAliasDecl

const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceAliasDecl > clang::ast_matchers::namespaceAliasDecl

Matches a declaration of a namespace alias.

Given

namespace test {}
namespace alias = ::test;

namespaceAliasDecl() matches "namespace alias" but not "namespace test"

Definition at line 545 of file ASTMatchersInternal.cpp.

◆ namespaceDecl

const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceDecl > clang::ast_matchers::namespaceDecl

Matches a declaration of a namespace.

Given

namespace {}
namespace test {}

namespaceDecl() matches "namespace {}" and "namespace test {}"

Definition at line 543 of file ASTMatchersInternal.cpp.

◆ nestedNameSpecifier

const internal::VariadicAllOfMatcher< NestedNameSpecifier > clang::ast_matchers::nestedNameSpecifier

Matches nested name specifiers.

Given

namespace ns {
struct A { static void f(); };
void A::f() {}
void g() { A::f(); }
}
ns::A a;

nestedNameSpecifier() matches "ns::" and both "A::"

Definition at line 761 of file ASTMatchersInternal.cpp.

◆ nestedNameSpecifierLoc

const internal::VariadicAllOfMatcher< NestedNameSpecifierLoc > clang::ast_matchers::nestedNameSpecifierLoc

Same as nestedNameSpecifier but matches NestedNameSpecifierLoc.

Definition at line 763 of file ASTMatchersInternal.cpp.

◆ nonTypeTemplateParmDecl

const internal::VariadicDynCastAllOfMatcher< Decl, NonTypeTemplateParmDecl > clang::ast_matchers::nonTypeTemplateParmDecl

Matches non-type template parameter declarations.

Given

template <typename T, int N> struct C {};

nonTypeTemplateParmDecl() matches 'N', but not 'T'.

Definition at line 562 of file ASTMatchersInternal.cpp.

◆ nullStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, NullStmt > clang::ast_matchers::nullStmt

Matches null statements.

foo();;

nullStmt() matches the second ';'

Definition at line 677 of file ASTMatchersInternal.cpp.

◆ objcCatchStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtCatchStmt > clang::ast_matchers::objcCatchStmt

Matches Objective-C statements.

Example matches

@try {}
@catch (...) {}

Definition at line 615 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcCategoryDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryDecl > clang::ast_matchers::objcCategoryDecl

Matches Objective-C category declarations.

Example matches Foo (Additions)

@interface Foo (Additions)
@end

Definition at line 603 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcCategoryImplDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryImplDecl > clang::ast_matchers::objcCategoryImplDecl

Matches Objective-C category definitions.

Example matches Foo (Additions)

@implementation Foo (Additions)
@end

Definition at line 605 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcFinallyStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtFinallyStmt > clang::ast_matchers::objcFinallyStmt

Matches Objective-C statements.

Example matches

@try {}
@finally {}

Definition at line 617 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcImplementationDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCImplementationDecl > clang::ast_matchers::objcImplementationDecl

Matches Objective-C implementation declarations.

Example matches Foo

@implementation Foo
@end

Definition at line 599 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcInterfaceDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCInterfaceDecl > clang::ast_matchers::objcInterfaceDecl

Matches Objective-C interface declarations.

Example matches Foo

@interface Foo
@end

Definition at line 597 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcIvarDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCIvarDecl > clang::ast_matchers::objcIvarDecl

Matches Objective-C instance variable declarations.

Example matches _enabled

@implementation Foo {
BOOL _enabled;
}
@end

Definition at line 608 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcMessageExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCMessageExpr > clang::ast_matchers::objcMessageExpr

Matches ObjectiveC Message invocation expressions.

The innermost message send invokes the "alloc" class method on the NSString class, while the outermost message send invokes the "initWithString" instance method on the object returned from NSString's "alloc". This matcher should match both message sends.

[[NSString alloc] initWithString:@"Hello"]

Definition at line 595 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcMethodDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCMethodDecl > clang::ast_matchers::objcMethodDecl

Matches Objective-C method declarations.

Example matches both declaration and definition of -[Foo method]

@interface Foo
- (void)method;
@end
@implementation Foo
- (void)method {}
@end

Definition at line 607 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcObjectPointerType

const AstTypeMatcher< ObjCObjectPointerType > clang::ast_matchers::objcObjectPointerType

Matches an Objective-C object pointer type, which is different from a pointer type, despite being syntactically similar.

Given

int *a;
@interface Foo
@end
Foo *f;

pointerType() matches "Foo *f", but does not match "int *a".

Definition at line 781 of file ASTMatchersInternal.cpp.

◆ objcPropertyDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCPropertyDecl > clang::ast_matchers::objcPropertyDecl

Matches Objective-C property declarations.

Example matches enabled

@interface Foo
@property BOOL enabled;
@end

Definition at line 610 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcProtocolDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ObjCProtocolDecl > clang::ast_matchers::objcProtocolDecl

Matches Objective-C protocol declarations.

Example matches FooDelegate

@protocol FooDelegate
@end

Definition at line 601 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcThrowStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtThrowStmt > clang::ast_matchers::objcThrowStmt

Matches Objective-C @throw statements.

Example matches @throw

@throw obj;

Definition at line 612 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ objcTryStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtTryStmt > clang::ast_matchers::objcTryStmt

Matches Objective-C statements.

Example matches

@try {}
@catch (...) {}

Definition at line 613 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ opaqueValueExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, OpaqueValueExpr > clang::ast_matchers::opaqueValueExpr

Matches opaque value expressions.

They are used as helpers to reference another expressions and can be met in BinaryConditionalOperators, for example.

Example matches 'a'

(a ?: c) + 42;

Definition at line 704 of file ASTMatchersInternal.cpp.

◆ parenExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, ParenExpr > clang::ast_matchers::parenExpr

Matches parentheses used in expressions.

Example matches (foo() + 1)

int foo() { return 1; }
int a = (foo() + 1);

Definition at line 637 of file ASTMatchersInternal.cpp.

◆ parenListExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, ParenListExpr > clang::ast_matchers::parenListExpr

Matches paren list expressions.

ParenListExprs don't have a predefined type and are used for late parsing. In the final AST, they can be met in template declarations.

Given

template<typename T> class X {
void f() {
X x(*this);
int a = 0, b = 1; int i = (a, b);
}
};

parenListExpr() matches "*this" but NOT matches (a, b) because (a, b) has a predefined type and is a ParenExpr, not a ParenListExpr.

Definition at line 625 of file ASTMatchersInternal.cpp.

◆ parenType

const AstTypeMatcher< ParenType > clang::ast_matchers::parenType

Matches ParenType nodes.

Given

int (*ptr_to_array)[4];
int *array_of_ptrs[4];

varDecl(hasType(pointsTo(parenType()))) matches ptr_to_array but not array_of_ptrs.

Definition at line 777 of file ASTMatchersInternal.cpp.

◆ parmVarDecl

const internal::VariadicDynCastAllOfMatcher< Decl, ParmVarDecl > clang::ast_matchers::parmVarDecl

Matches parameter variable declarations.

Given

void f(int x);

parmVarDecl() matches int x.

Definition at line 555 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::callByRef().

◆ pointerType

const AstTypeMatcher< PointerType > clang::ast_matchers::pointerType

Matches pointer types, but does not match Objective-C object pointer types.

Given

int *a;
int &b = *a;
int c = 5;
@interface Foo
@end
Foo *f;

pointerType() matches "int *a", but does not match "Foo *f".

Definition at line 780 of file ASTMatchersInternal.cpp.

Referenced by clang::Sema::ActOnObjCAtSynchronizedOperand(), AST_MATCHER_FUNCTION(), checkBuiltinArgument(), clang::Sema::CheckObjCForCollectionOperand(), emitPointerArithmetic(), and isValidOrderingForOp().

◆ predefinedExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, PredefinedExpr > clang::ast_matchers::predefinedExpr

Matches predefined identifier expressions [C99 6.4.2.2].

Example: Matches func

printf("%s", __func__);

Definition at line 727 of file ASTMatchersInternal.cpp.

◆ qualType

const internal::VariadicAllOfMatcher< QualType > clang::ast_matchers::qualType

Matches QualTypes in the clang AST.

Definition at line 565 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P(), and clang::ento::callByRef().

◆ recordDecl

const internal::VariadicDynCastAllOfMatcher< Decl, RecordDecl > clang::ast_matchers::recordDecl

Matches class, struct, and union declarations.

Example matches X, Z, U, and S

class X;
template<class T> class Z {};
struct S {};
union U {};

Definition at line 546 of file ASTMatchersInternal.cpp.

Referenced by classifyPointerDeclarator().

◆ recordType

const AstTypeMatcher< RecordType > clang::ast_matchers::recordType

Matches record types (e.g.

structs, classes).

Given

class C {};
struct S {};
C c;
S s;

recordType() matches the type of the variable declarations of both c and s.

Definition at line 789 of file ASTMatchersInternal.cpp.

Referenced by classifyPointerDeclarator(), classifyType(), clang::CFGImplicitDtor::getDestructorDecl(), getMaxAtomicAccessSize(), and isSafeForCXXConstantCapture().

◆ referenceType

const AstTypeMatcher< ReferenceType > clang::ast_matchers::referenceType

Matches both lvalue and rvalue reference types.

Given

int *a;
int &b = *a;
int &&c = 1;
auto &d = b;
auto &&e = c;
auto &&f = 2;
int g = 5;

referenceType() matches the types of b, c, d, e, and f.

Definition at line 782 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::assignedToRef().

◆ returnStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, ReturnStmt > clang::ast_matchers::returnStmt

Matches return statements.

Given

return 1;

returnStmt() matches 'return 1'

Definition at line 665 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::hasSuspiciousStmt().

◆ rValueReferenceType

const AstTypeMatcher< RValueReferenceType > clang::ast_matchers::rValueReferenceType

Matches rvalue reference types.

Given:

int *a;
int &b = *a;
int &&c = 1;
auto &d = b;
auto &&e = c;
auto &&f = 2;
int g = 5;

rValueReferenceType() matches the types of c and f. e is not matched as it is deduced to int& by reference collapsing rules.

Definition at line 784 of file ASTMatchersInternal.cpp.

◆ staticAssertDecl

const internal::VariadicDynCastAllOfMatcher< Decl, StaticAssertDecl > clang::ast_matchers::staticAssertDecl

Matches a C++ static_assert declaration.

Example: staticAssertExpr() matches static_assert(sizeof(S) == sizeof(int)) in

struct S {
int x;
};
static_assert(sizeof(S) == sizeof(int));

Definition at line 706 of file ASTMatchersInternal.cpp.

◆ stmt

const internal::VariadicAllOfMatcher< Stmt > clang::ast_matchers::stmt

◆ stmtExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, StmtExpr > clang::ast_matchers::stmtExpr

Matches statement expression (GNU extension).

Example match: ({ int X = 4; X; })

int C = ({ int X = 4; X; });

Definition at line 695 of file ASTMatchersInternal.cpp.

◆ stringLiteral

const internal::VariadicDynCastAllOfMatcher< Stmt, StringLiteral > clang::ast_matchers::stringLiteral

Matches string literals (also matches wide string literals).

Example matches "abcd", L"abcd"

char *s = "abcd";
wchar_t *ws = L"abcd";

Definition at line 681 of file ASTMatchersInternal.cpp.

◆ substNonTypeTemplateParmExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, SubstNonTypeTemplateParmExpr > clang::ast_matchers::substNonTypeTemplateParmExpr

Matches substitutions of non-type template parameters.

Given

template <int N>
struct A { static const int n = N; };
struct B : public A<42> {};

substNonTypeTemplateParmExpr() matches "N" in the right-hand side of "static const int n = N;"

Definition at line 627 of file ASTMatchersInternal.cpp.

◆ substTemplateTypeParmType

const AstTypeMatcher< SubstTemplateTypeParmType > clang::ast_matchers::substTemplateTypeParmType

Matches types that represent the result of substituting a type for a template type parameter.

Given

template <typename T>
void F(T t) {
int i = 1 + t;
}

substTemplateTypeParmType() matches the type of 't' but not '1'

Definition at line 792 of file ASTMatchersInternal.cpp.

◆ switchCase

const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchCase > clang::ast_matchers::switchCase

Matches case and default statements inside switch statements.

Given

switch(a) { case 42: break; default: break; }

switchCase() matches 'case 42: break;' and 'default: break;'.

Definition at line 670 of file ASTMatchersInternal.cpp.

◆ switchStmt

const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchStmt > clang::ast_matchers::switchStmt

Matches switch statements.

Given

switch(a) { case 42: break; default: break; }

switchStmt() matches 'switch(a)'.

Definition at line 669 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::hasSuspiciousStmt().

◆ tagType

const AstTypeMatcher< TagType > clang::ast_matchers::tagType

Matches tag types (record and enum types).

Given

enum E {};
class C {};
E e;
C c;

tagType() matches the type of the variable declarations of both e and c.

Definition at line 790 of file ASTMatchersInternal.cpp.

Referenced by clang::ASTContext::getCFConstantStringDecl(), and clang::Sema::RequireCompleteDeclContext().

◆ templateArgument

const internal::VariadicAllOfMatcher< TemplateArgument > clang::ast_matchers::templateArgument

Matches template arguments.

Given

template <typename T> struct C {};
C<int> c;

templateArgument() matches 'int' in C<int>.

Definition at line 559 of file ASTMatchersInternal.cpp.

◆ templateName

const internal::VariadicAllOfMatcher< TemplateName > clang::ast_matchers::templateName

Matches template name.

Given

template <typename T> class X { };
X<int> xi;

templateName() matches 'X' in X<int>.

Definition at line 560 of file ASTMatchersInternal.cpp.

◆ templateSpecializationType

const AstTypeMatcher< TemplateSpecializationType > clang::ast_matchers::templateSpecializationType

Matches template specialization types.

Given

template <typename T>
class C { };
template class C<int>; // A
C<char> var; // B

templateSpecializationType() matches the type of the explicit instantiation in A and the type of the variable declaration in B.

Definition at line 787 of file ASTMatchersInternal.cpp.

◆ templateTypeParmDecl

const internal::VariadicDynCastAllOfMatcher< Decl, TemplateTypeParmDecl > clang::ast_matchers::templateTypeParmDecl

Matches template type parameter declarations.

Given

template <typename T, int N> struct C {};

templateTypeParmDecl() matches 'T', but not 'N'.

Definition at line 564 of file ASTMatchersInternal.cpp.

◆ templateTypeParmType

const AstTypeMatcher< TemplateTypeParmType > clang::ast_matchers::templateTypeParmType

Matches template type parameter types.

Example matches T, but not int. (matcher = templateTypeParmType())

template <typename T> void f(int i);

Definition at line 793 of file ASTMatchersInternal.cpp.

◆ translationUnitDecl

const internal::VariadicDynCastAllOfMatcher< Decl, TranslationUnitDecl > clang::ast_matchers::translationUnitDecl

Matches the top declaration context.

Given

int X;
namespace NS {
int Y;
} // namespace NS

decl(hasDeclContext(translationUnitDecl())) matches "int X", but not "int Y".

Definition at line 531 of file ASTMatchersInternal.cpp.

Referenced by anything().

◆ type

const internal::VariadicAllOfMatcher< Type > clang::ast_matchers::type

Matches Types in the clang AST.

Definition at line 566 of file ASTMatchersInternal.cpp.

Referenced by clang::Sema::AddParameterABIAttr(), clang::InitializationSequence::AddPassByIndirectCopyRestoreStep(), clang::ASTContext::applyObjCProtocolQualifiers(), AST_MATCHER_P(), breakDownVectorType(), clang::arcmt::trans::canApplyWeak(), clang::Sema::checkNullabilityTypeSpecifier(), clang::PseudoObjectExpr::Create(), distributeFunctionTypeAttr(), distributeObjCPointerTypeAttr(), clang::CodeGen::CodeGenFunction::emitAutoVarTypeCleanup(), clang::CodeGen::CodeGenFunction::EmitDelegateCallArg(), clang::CodeGen::CodeGenFunction::EmitStaticVarDecl(), clang::Expr::findBoundMemberType(), clang::Type::getBaseElementTypeUnsafe(), clang::CodeGen::swiftcall::SwiftAggLowering::getCoerceAndExpandTypes(), getComplexType(), clang::CodeGen::CodeGenFunction::getEvaluationKind(), GetGCAttrTypeForType(), getNonMemoryType(), clang::Type::getNullability(), clang::ASTContext::getObjCObjectType(), clang::Type::getPointeeOrArrayElementType(), clang::driver::toolchains::MSVCToolChain::getSubDirectoryPath(), clang::ASTContext::getVariableArrayDecayedType(), handleFunctionTypeAttr(), handleObjCGCTypeAttr(), handleObjCOwnershipTypeAttr(), clang::ASTNodeImporter::ImportArray(), clang::ASTNodeImporter::ImportArrayChecked(), isPlaceholderToRemoveAsArg(), clang::operator &(), clang::operator<<(), clang::operator|(), clang::operator~(), clang::CodeGen::CodeGenFunction::pushDestroy(), clang::CodeGen::CodeGenFunction::pushLifetimeExtendedDestroy(), clang::QualType::stripObjCKindOfType(), clang::QualType::substObjCTypeArgs(), and tryEmitARCRetainLoadOfScalar().

◆ typeAliasDecl

const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasDecl > clang::ast_matchers::typeAliasDecl

Matches type alias declarations.

Given

typedef int X;
using Y = int;

typeAliasDecl() matches "using Y = int", but not "typedef int X"

Definition at line 535 of file ASTMatchersInternal.cpp.

Referenced by anything().

◆ typeAliasTemplateDecl

const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasTemplateDecl > clang::ast_matchers::typeAliasTemplateDecl

Matches type alias template declarations.

typeAliasTemplateDecl() matches

template <typename T>
using Y = X<T>;

Definition at line 537 of file ASTMatchersInternal.cpp.

Referenced by anything().

◆ typedefDecl

const internal::VariadicDynCastAllOfMatcher< Decl, TypedefDecl > clang::ast_matchers::typedefDecl

Matches typedef declarations.

Given

typedef int X;
using Y = int;

typedefDecl() matches "typedef int X", but not "using Y = int"

Definition at line 532 of file ASTMatchersInternal.cpp.

Referenced by anything().

◆ typedefNameDecl

const internal::VariadicDynCastAllOfMatcher< Decl, TypedefNameDecl > clang::ast_matchers::typedefNameDecl

Matches typedef name declarations.

Given

typedef int X;
using Y = int;

typedefNameDecl() matches "typedef int X" and "using Y = int"

Definition at line 534 of file ASTMatchersInternal.cpp.

Referenced by anything().

◆ typedefType

const AstTypeMatcher< TypedefType > clang::ast_matchers::typedefType

Matches typedef types.

Given

typedef int X;

typedefType() matches "typedef int X"

Definition at line 785 of file ASTMatchersInternal.cpp.

Referenced by clang::Type::isObjCIndependentClassType(), and clang::Type::isObjCNSObjectType().

◆ typeLoc

const internal::VariadicAllOfMatcher< TypeLoc > clang::ast_matchers::typeLoc

Matches TypeLocs in the clang AST.

Definition at line 567 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ unaryExprOrTypeTraitExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryExprOrTypeTraitExpr > clang::ast_matchers::unaryExprOrTypeTraitExpr

Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL)

Given

Foo x = bar;
int y = sizeof(x) + alignof(x);

unaryExprOrTypeTraitExpr() matches sizeof(x) and alignof(x)

Definition at line 569 of file ASTMatchersInternal.cpp.

Referenced by AST_MATCHER_P().

◆ unaryOperator

const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryOperator > clang::ast_matchers::unaryOperator

Matches unary operator expressions.

Example matches !a

!a || b

Definition at line 698 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::changeIntBoundNode(), clang::ento::forLoopMatcher(), and clang::ento::getAddrTo().

◆ unaryTransformType

const AstTypeMatcher< UnaryTransformType > clang::ast_matchers::unaryTransformType

Matches types nodes representing unary type transformations.

Given:

typedef __underlying_type(T) type;

unaryTransformType() matches "__underlying_type(T)"

Definition at line 788 of file ASTMatchersInternal.cpp.

◆ unless

const internal::VariadicOperatorMatcherFunc< 1, 1 > clang::ast_matchers::unless
Initial value:
= {
internal::DynTypedMatcher::VO_UnaryNot}

Matches if the provided matcher does not match.

Example matches Y (matcher = cxxRecordDecl(unless(hasName("X"))))

class X {};
class Y {};

Usable as: Any Matcher

Definition at line 759 of file ASTMatchersInternal.cpp.

Referenced by clang::ento::callByRef(), and clang::ento::forLoopMatcher().

◆ unresolvedLookupExpr

const internal::VariadicDynCastAllOfMatcher< Stmt, UnresolvedLookupExpr > clang::ast_matchers::unresolvedLookupExpr

Matches reference to a name that can be looked up during parsing but could not be resolved to a specific declaration.

Given

template<typename T>
T foo() { T a; return a; }
template<typename T>
void bar() {
foo<T>();
}

unresolvedLookupExpr() matches

foo<T>()

Definition at line 632 of file ASTMatchersInternal.cpp.

◆ unresolvedUsingTypenameDecl

const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingTypenameDecl > clang::ast_matchers::unresolvedUsingTypenameDecl

Matches unresolved using value declarations that involve the typename.

Given

template <typename T>
struct Base { typedef T Foo; };
template<typename T>
struct S : private Base<T> {
using typename Base<T>::Foo;
};

unresolvedUsingTypenameDecl() matches

Definition at line 636 of file ASTMatchersInternal.cpp.

◆ unresolvedUsingValueDecl

const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingValueDecl > clang::ast_matchers::unresolvedUsingValueDecl

Matches unresolved using value declarations.

Given

template<typename X>
class C : private X {
using X::x;
};

unresolvedUsingValueDecl() matches

using X::x

Definition at line 634 of file ASTMatchersInternal.cpp.

◆ userDefinedLiteral

const internal::VariadicDynCastAllOfMatcher< Stmt, UserDefinedLiteral > clang::ast_matchers::userDefinedLiteral

Matches user defined literal operator call.

Example match: "foo"_suffix

Definition at line