ASTMatchers.h revision 217c484522926f9fc664ec3bfaf3cffe456244b0
14da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek//===--- ASTMatchers.h - Structural query framework -------------*- C++ -*-===// 24da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 34da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// The LLVM Compiler Infrastructure 44da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 54da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// This file is distributed under the University of Illinois Open Source 64da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// License. See LICENSE.TXT for details. 74da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 84da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek//===----------------------------------------------------------------------===// 94da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// This file implements matchers to be used together with the MatchFinder to 114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// match AST nodes. 124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// Matchers are created by generator functions, which can be combined in 144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// a functional in-language DSL to express queries over the C++ AST. 154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// For example, to match a class with a certain name, one would call: 174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// record(hasName("MyClass")) 184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// which returns a matcher that can be used to find all AST nodes that declare 194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// a class named 'MyClass'. 204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// For more complicated match expressions we're often interested in accessing 224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// multiple parts of the matched AST nodes once a match is found. In that case, 234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// use the id(...) matcher around the match expressions that match the nodes 244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// you want to access. 254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// For example, when we're interested in child classes of a certain class, we 274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// would write: 284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// record(hasName("MyClass"), hasChild(id("child", record()))) 294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// When the match is found via the MatchFinder, a user provided callback will 304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// be called with a BoundNodes instance that contains a mapping from the 314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// strings that we provided for the id(...) calls to the nodes that were 324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// matched. 334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// In the given example, each time our matcher finds a match we get a callback 344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// where "child" is bound to the CXXRecordDecl node of the matching child 354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// class declaration. 364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// See ASTMatchersInternal.h for a more in-depth explanation of the 384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// implementation details of the matcher framework. 394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// See ASTMatchFinder.h for how to use the generated matchers to run over 414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// an AST. 424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek// 434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek//===----------------------------------------------------------------------===// 444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#ifndef LLVM_CLANG_AST_MATCHERS_AST_MATCHERS_H 464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#define LLVM_CLANG_AST_MATCHERS_AST_MATCHERS_H 474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 48e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper#include "clang/AST/DeclTemplate.h" 494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#include "clang/ASTMatchers/ASTMatchersInternal.h" 504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#include "clang/ASTMatchers/ASTMatchersMacros.h" 514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#include "llvm/ADT/Twine.h" 52e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper#include "llvm/Support/Regex.h" 53425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer#include <iterator> 544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimeknamespace clang { 564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimeknamespace ast_matchers { 574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Maps string IDs to AST nodes matched by parts of a matcher. 594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// The bound nodes are generated by adding id(...) matchers into the 614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// match expression around the matchers for the nodes we want to access later. 624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// The instances of BoundNodes are created by MatchFinder when the user's 644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// callbacks are executed every time a match is found. 654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekclass BoundNodes { 664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekpublic: 674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// \brief Returns the AST node bound to 'ID'. 684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// Returns NULL if there was no node bound to 'ID' or if there is a node but 694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// it cannot be converted to the specified type. 704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// FIXME: We'll need one of those for every base type. 714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// @{ 724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek template <typename T> 734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const T *getDeclAs(StringRef ID) const { 744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return getNodeAs<T>(DeclBindings, ID); 754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek template <typename T> 774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const T *getStmtAs(StringRef ID) const { 784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return getNodeAs<T>(StmtBindings, ID); 794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// @} 814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekprivate: 834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// \brief Create BoundNodes from a pre-filled map of bindings. 84e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper BoundNodes(const std::map<std::string, const Decl*> &DeclBindings, 85e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const std::map<std::string, const Stmt*> &StmtBindings) 864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek : DeclBindings(DeclBindings), StmtBindings(StmtBindings) {} 874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek template <typename T, typename MapT> 894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const T *getNodeAs(const MapT &Bindings, StringRef ID) const { 904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek typename MapT::const_iterator It = Bindings.find(ID); 914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (It == Bindings.end()) { 924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return NULL; 934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return llvm::dyn_cast<T>(It->second); 954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 97e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper std::map<std::string, const Decl*> DeclBindings; 98e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper std::map<std::string, const Stmt*> StmtBindings; 994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek friend class internal::BoundNodesTree; 1014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek}; 1024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief If the provided matcher matches a node, binds the node to 'ID'. 1044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Add example for accessing it. 1064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename T> 1074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::Matcher<T> id(const std::string &ID, 1089f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek const internal::BindableMatcher<T> &InnerMatcher) { 1099f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek return InnerMatcher.bind(ID); 1104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 1114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Types of matchers for the top-level classes in the AST class 1134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hierarchy. 1144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 115e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jaspertypedef internal::Matcher<Decl> DeclarationMatcher; 116e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jaspertypedef internal::Matcher<QualType> TypeMatcher; 117e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jaspertypedef internal::Matcher<Stmt> StatementMatcher; 1184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 1194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any node. 1214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Useful when another matcher requires a child matcher, but there's no 1234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// additional constraint. This will often be used with an explicit conversion 1244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// to a internal::Matcher<> type such as TypeMatcher. 1254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: DeclarationMatcher(anything()) matches all declarations, e.g., 1274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "int* p" and "void f()" in 1284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int* p; 1294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(); 1304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0<internal::TrueMatcher> anything() { 1314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0<internal::TrueMatcher>(); 1324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 1334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 134715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \brief Matches declarations. 135715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// 136715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// Examples matches \c X, \c C, and the friend declaration inside \c C; 137715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \code 138715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// void X(); 139715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// class C { 140715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// friend X; 141715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// }; 142715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \endcode 143715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimekconst internal::VariadicDynCastAllOfMatcher<Decl, Decl> decl; 144715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek 1454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a declaration of anything that could have a name. 1464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, S, the anonymous union type, i, and U; 1484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef int X; 1494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct S { 1504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// union { 1514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int i; 1524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// } U; 1534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 1544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 155e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 156e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper NamedDecl> nameableDeclaration; 1574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ class declarations. 1594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, Z 1614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X; 1624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template<class T> class Z {}; 1634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 164e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 165e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXRecordDecl> record; 166e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1678456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches C++ class template declarations. 1688456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 1698456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// Example matches Z 1708456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<class T> class Z {}; 1718456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoconst internal::VariadicDynCastAllOfMatcher< 1728456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko Decl, 1738456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko ClassTemplateDecl> classTemplate; 1748456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko 175e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches C++ class template specializations. 176e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 177e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 178e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> class A {}; 179e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<> class A<double> {}; 180e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int> a; 181e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// classTemplateSpecialization() 182e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specializations \c A<int> and \c A<double> 183e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 184e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 185e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ClassTemplateSpecializationDecl> classTemplateSpecialization; 186e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 187e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches classTemplateSpecializations that have at least one 188e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// TemplateArgument matching the given Matcher. 189e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 190e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 191e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> class A {}; 192e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<> class A<double> {}; 193e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int> a; 194e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// classTemplateSpecialization(hasAnyTemplateArgument( 195e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// refersToType(asString("int")))) 196e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<int> 197e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ClassTemplateSpecializationDecl, hasAnyTemplateArgument, 198e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<TemplateArgument>, Matcher) { 199e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const TemplateArgumentList &List = Node.getTemplateArgs(); 200e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (unsigned i = 0; i < List.size(); ++i) { 201e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (Matcher.matches(List.get(i), Finder, Builder)) 202e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return true; 203e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper } 204e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 205e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 206e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 207089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after any implicit casts 208089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// are stripped off. 209089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 210089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Parentheses and explicit casts are not discarded. 211089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 212089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int arr[5]; 213089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 214089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = 0; 215089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const int c = a; 216089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int *d = arr; 217089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// long e = (long) 0l; 218089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matchers 219089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(ignoringImpCasts(integerLiteral()))) 220089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(ignoringImpCasts(declarationReference()))) 221089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d, but not e. 222089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// while 223089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(integerLiteral())) 224089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(declarationReference())) 225089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// only match the declarations for b, c, and d. 226089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringImpCasts, 227089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer internal::Matcher<Expr>, InnerMatcher) { 228089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreImpCasts(), Finder, Builder); 229089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 230089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 231089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after parentheses and 232089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// casts are stripped off. 233089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 234089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Implicit and non-C Style casts are also discarded. 235089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 236089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 237089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = (0); 238089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// void* c = reinterpret_cast<char*>(0); 239089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char d = char(0); 240089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matcher 241089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(ignoringParenCasts(integerLiteral()))) 242089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d. 243089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// while 244089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(integerLiteral())) 245089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// only match the declaration for a. 246089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringParenCasts, internal::Matcher<Expr>, InnerMatcher) { 247089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreParenCasts(), Finder, Builder); 248089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 249089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 250089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after implicit casts and 251089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// parentheses are stripped off. 252089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 253089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Explicit casts are not discarded. 254089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 255089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int arr[5]; 256089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 257089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = (0); 258089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const int c = a; 259089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int *d = (arr); 260089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// long e = ((long) 0l); 261089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matchers 262089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(ignoringParenImpCasts( 263089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// integerLiteral()))) 264089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(ignoringParenImpCasts( 265089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// declarationReference()))) 266089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d, but not e. 267089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// while 268089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(integerLiteral())) 269089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// variable(hasInitializer(declarationReference())) 270089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would only match the declaration for a. 271089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringParenImpCasts, 272089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer internal::Matcher<Expr>, InnerMatcher) { 273089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreParenImpCasts(), Finder, Builder); 274089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 275089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 276e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches classTemplateSpecializations where the n'th TemplateArgument 277e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the given Matcher. 278e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 279e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 280e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T, typename U> class A {}; 281e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<bool, int> b; 282e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int, bool> c; 283e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// classTemplateSpecialization(hasTemplateArgument( 284e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1, refersToType(asString("int")))) 285e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<bool, int> 286e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P2(ClassTemplateSpecializationDecl, hasTemplateArgument, 287e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper unsigned, N, internal::Matcher<TemplateArgument>, Matcher) { 288e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const TemplateArgumentList &List = Node.getTemplateArgs(); 289e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (List.size() <= N) 290e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 291e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Matcher.matches(List.get(N), Finder, Builder); 292e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 293e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 294e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a TemplateArgument that refers to a certain type. 295e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 296e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 297e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct X {}; 298e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> struct A {}; 299e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<X> a; 300e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// classTemplateSpecialization(hasAnyTemplateArgument( 301e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// refersToType(class(hasName("X"))))) 302e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<X> 303e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(TemplateArgument, refersToType, 304e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, Matcher) { 305e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (Node.getKind() != TemplateArgument::Type) 306e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 307e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Matcher.matches(Node.getAsType(), Finder, Builder); 308e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 309e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 310e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a TemplateArgument that refers to a certain declaration. 311e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 312e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 313e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> struct A {}; 314e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct B { B* next; }; 315e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<&B::next> a; 316e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// classTemplateSpecialization(hasAnyTemplateArgument( 317e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// refersToDeclaration(field(hasName("next")))) 318e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<&B::next> with \c field(...) matching 319e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \c B::next 320e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(TemplateArgument, refersToDeclaration, 321e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Decl>, Matcher) { 322e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Decl *Declaration = Node.getAsDecl()) 323e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Matcher.matches(*Declaration, Finder, Builder); 324e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 325e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 3264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ constructor declarations. 3284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches Foo::Foo() and Foo::Foo(int) 3304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Foo { 3314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// public: 3324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(); 3334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(int); 3344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int DoSomething(); 3354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 3364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 337e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 338e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXConstructorDecl> constructor; 339e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 340e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches explicit C++ destructor declarations. 341e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 342e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches Foo::~Foo() 343e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class Foo { 344e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// public: 345e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// virtual ~Foo(); 346e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 347e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, CXXDestructorDecl> destructor; 348e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 349e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches enum declarations. 350e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 351e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X 352e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// enum X { 353e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A, B, C 354e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 355e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, EnumDecl> enumDecl; 356e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 357e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches enum constants. 358e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 359e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches A, B, C 360e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// enum X { 361e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A, B, C 362e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 363e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 364e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 365e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper EnumConstantDecl> enumConstant; 3664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches method declarations. 3684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y 3704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void y() }; 371e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, CXXMethodDecl> method; 3724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches variable declarations. 3744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: this does not match declarations of member variables, which are 3764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "field" declarations in Clang parlance. 3774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a 3794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 380e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, VarDecl> variable; 3814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches field declarations. 3834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 3854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { int m; }; 3864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// field() 3874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'm'. 388e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, FieldDecl> field; 3894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches function declarations. 3914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches f 3934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(); 394e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, FunctionDecl> function; 3954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3968456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches C++ function template declarations. 3978456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 3988456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// Example matches f 3998456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<class T> void f(T t) {} 4008456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoconst internal::VariadicDynCastAllOfMatcher< 4018456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko Decl, 4028456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko FunctionTemplateDecl> functionTemplate; 4034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches statements. 4054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 4074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { ++a; } 4084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// statement() 4094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches both the compound statement '{ ++a; }' and '++a'. 410e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, Stmt> statement; 4114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches declaration statements. 4134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 4154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 4164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// declarationStatement() 4174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'int a'. 4184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 419e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 420e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper DeclStmt> declarationStatement; 4214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches member expressions. 4234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 4254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { 4264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 4274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; static int b; 4284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 4294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// memberExpression() 4304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x, x, y.x, a, this->b 4314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 432e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 433e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper MemberExpr> memberExpression; 4344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches call expressions. 4364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4379f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// Example matches x.y() and y() 4384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// X x; 4394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// x.y(); 4409f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// y(); 441e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CallExpr> call; 442e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 4439f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// \brief Matches member call expressions. 4449f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// 4459f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// Example matches x.y() 4469f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// X x; 4479f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// x.y(); 4489f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimekconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXMemberCallExpr> memberCall; 4499f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek 450e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches init list expressions. 451e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 452e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 453e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int a[] = { 1, 2 }; 454e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct B { int x, y; }; 455e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// B b = { 5, 6 }; 456e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// initList() 457e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches "{ 1, 2 }" and "{ 5, 6 }" 458e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, InitListExpr> initListExpr; 459e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 460e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches using declarations. 461e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 462e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 463e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { int x; } 464e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::x; 465e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// usingDecl() 466e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::x \endcode 467e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, UsingDecl> usingDecl; 4684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches constructor call expressions (including implicit ones). 4704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches string(ptr, n) and ptr within arguments of f 4724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = constructorCall()) 4734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(const string &a, const string &b); 4744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char *ptr; 4754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int n; 4764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(string(ptr, n), ptr); 4774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 478e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 479e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXConstructExpr> constructorCall; 4804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches nodes where temporaries are created. 4824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches FunctionTakesString(GetStringByValue()) 484e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// (matcher = bindTemporaryExpression()) 4854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FunctionTakesString(GetStringByValue()); 4864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FunctionTakesStringByPointer(GetStringPointer()); 4874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 488e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 489e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXBindTemporaryExpr> bindTemporaryExpression; 4904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches new expressions. 4924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 4944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// new X; 4954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// newExpression() 4964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'new X'. 4974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 498e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 499e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXNewExpr> newExpression; 500e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 501e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches delete expressions. 502e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 503e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 504e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// delete X; 505e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// deleteExpression() 506e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches 'delete X'. 507e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 508e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 509e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXDeleteExpr> deleteExpression; 510e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 511e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches array subscript expressions. 512e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 513e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 514e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i = a[1]; 515e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// arraySubscriptExpr() 516e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches "a[1]" 517e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 518e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 519e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ArraySubscriptExpr> arraySubscriptExpr; 5204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the value of a default argument at the call site. 5224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches the CXXDefaultArgExpr placeholder inserted for the 5244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// default value of the second parameter in the call expression f(42) 5254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = defaultArgument()) 5264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(int x, int y = 0); 5274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(42); 5284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 529e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 530e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXDefaultArgExpr> defaultArgument; 5314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches overloaded operator calls. 5334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note that if an operator isn't overloaded, it won't match. Instead, use 5354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// binaryOperator matcher. 5364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Currently it does not match operators such as new delete. 5374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: figure out why these do not match? 5384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches both operator<<((o << b), c) and operator<<(o, b) 5404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = overloadedOperatorCall()) 5414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ostream &operator<< (ostream &out, int i) { }; 5424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ostream &o; int b = 1, c = 1; 5434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// o << b << c; 5444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 545e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 546e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXOperatorCallExpr> overloadedOperatorCall; 5474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches expressions. 5494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x() 5514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f() { x(); } 5524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 553e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 554e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr> expression; 5554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches expressions that refer to declarations. 5574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x in if (x) 5594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x; 5604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 5614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 562e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 563e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper DeclRefExpr> declarationReference; 5644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if statements. 5664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'if (x) {}' 5684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 569e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, IfStmt> ifStmt; 5704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches for statements. 5724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'for (;;) {}' 5744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {} 5754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 576e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, ForStmt> forStmt; 5774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5786a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the increment statement of a for loop. 5796a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 5806a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Example: 5816a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// forStmt(hasIncrement(unaryOperator(hasOperatorName("++")))) 5826a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches '++x' in 5836a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// for (x; x < N; ++x) { } 5846a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER_P(ForStmt, hasIncrement, internal::Matcher<Stmt>, 5856a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 5866a12449ec8862211856447d3df4c082a346339f2Daniel Jasper const Stmt *const Increment = Node.getInc(); 5876a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return (Increment != NULL && 5886a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher.matches(*Increment, Finder, Builder)); 5896a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 5906a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 5916a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the initialization statement of a for loop. 5926a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 5936a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Example: 5946a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// forStmt(hasLoopInit(declarationStatement())) 5956a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches 'int x = 0' in 5966a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// for (int x = 0; x < N; ++x) { } 5976a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER_P(ForStmt, hasLoopInit, internal::Matcher<Stmt>, 5986a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 5996a12449ec8862211856447d3df4c082a346339f2Daniel Jasper const Stmt *const Init = Node.getInit(); 6006a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return (Init != NULL && InnerMatcher.matches(*Init, Finder, Builder)); 6016a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 6026a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 6034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches while statements. 6044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 6064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// while (true) {} 6074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// whileStmt() 6084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'while (true) {}'. 6094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 610e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 611e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper WhileStmt> whileStmt; 6124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches do statements. 6144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 6164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// do {} while (true); 6174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// doStmt() 6184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'do {} while(true)' 619e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, DoStmt> doStmt; 6204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches case and default statements inside switch statements. 6224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 6244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// switch(a) { case 42: break; default: break; } 6254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// switchCase() 6264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'case 42: break;' and 'default: break;'. 6274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 628e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 629e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper SwitchCase> switchCase; 6304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches compound statements. 6324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches '{}' and '{{}}'in 'for (;;) {{}}' 6344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {{}} 6354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 636e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 637e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CompoundStmt> compoundStatement; 6384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches bool literals. 6404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true 6424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// true 6434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 644e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 645e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXBoolLiteralExpr> boolLiteral; 6464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches string literals (also matches wide string literals). 6484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches "abcd", L"abcd" 6504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char *s = "abcd"; wchar_t *ws = L"abcd" 6514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 652e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 653e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper StringLiteral> stringLiteral; 6544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches character literals (also matches wchar_t). 6564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Not matching Hex-encoded chars (e.g. 0x1234, which is a IntegerLiteral), 6584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// though. 6594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'a', L'a' 6614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char ch = 'a'; wchar_t chw = L'a'; 6624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 663e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 664e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CharacterLiteral> characterLiteral; 6654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches integer literals of all sizes / encodings. 6674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Not matching character-encoded integers such as L'a'. 6694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 1, 1L, 0x1, 1U 6714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 672e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 673e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper IntegerLiteral> integerLiteral; 6744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches binary operator expressions. 6764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a || b 6784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !(a || b) 6794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 680e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 681e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper BinaryOperator> binaryOperator; 6824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches unary operator expressions. 6844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches !a 6864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !a || b 6874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 688e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 689e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper UnaryOperator> unaryOperator; 6904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches conditional operator expressions. 6924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a ? b : c 6944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (a ? b : c) + 42 6954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 696e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 697e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ConditionalOperator> conditionalOperator; 6984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a reinterpret_cast expression. 7004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Either the source expression or the destination type can be matched 7024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// using has(), but hasDestinationType() is more specific and can be 7034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// more readable. 7044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches reinterpret_cast<char*>(&p) in 7064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void* p = reinterpret_cast<char*>(&p); 7074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 708e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 709e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXReinterpretCastExpr> reinterpretCast; 7104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a C++ static_cast expression. 7124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see hasDestinationType 7144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see reinterpretCast 7154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: 7174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// staticCast() 7184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 7194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// static_cast<long>(8) 7204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// in 7214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// long eight(static_cast<long>(8)); 7224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 723e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 724e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXStaticCastExpr> staticCast; 7254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a dynamic_cast expression. 7274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: 7294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// dynamicCast() 7304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 7314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// dynamic_cast<D*>(&b); 7324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// in 7334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct B { virtual ~B() {} }; struct D : B {}; 7344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// B b; 7354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// D* p = dynamic_cast<D*>(&b); 7364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 737e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 738e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXDynamicCastExpr> dynamicCast; 7394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a const_cast expression. 7414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Matches const_cast<int*>(&r) in 7434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int n = 42; 7444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// const int& r(n); 7454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int* p = const_cast<int*>(&r); 7464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 747e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 748e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXConstCastExpr> constCast; 7494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches explicit cast expressions. 7514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Matches any cast expression written in user code, whether it be a 7534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// C-style cast, a functional-style cast, or a keyword cast. 7544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match implicit conversions. 7564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: the name "explicitCast" is chosen to match Clang's terminology, as 7584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Clang uses the term "cast" to apply to implicit conversions as well as to 7594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// actual cast expressions. 7604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see hasDestinationType. 7624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: matches all five of the casts in 7644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int((int)(reinterpret_cast<int>(static_cast<int>(const_cast<int>(42))))) 7654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but does not match the implicit conversion in 7664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// long ell = 42; 7674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 768e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 769e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ExplicitCastExpr> explicitCast; 7704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the implicit cast nodes of Clang's AST. 7724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// This matches many different places, including function call return value 7744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// eliding, as well as any type conversions. 7754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 776e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 777e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ImplicitCastExpr> implicitCast; 7784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 779089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches any cast nodes of Clang's AST. 780089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 781089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Example: castExpr() matches each of the following: 782089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// (int) 3; 783089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const_cast<Expr *>(SubExpr); 784089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char c = 0; 785089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// but does not match 786089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int i = (0); 787089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int k = 0; 788089e5b3bf2e57da0173b170ad501867b43395385Sam Panzerconst internal::VariadicDynCastAllOfMatcher< 789089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer Expr, 790089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer CastExpr> castExpr; 791089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 7924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches functional cast expressions 7934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Matches Foo(bar); 7954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo f = bar; 7964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo g = (Foo) bar; 7974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo h = Foo(bar); 7984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 799e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 800e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXFunctionalCastExpr> functionalCast; 8014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Various overloads for the anyOf matcher. 8034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 8044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate<typename C1, typename C2> 8054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C1, C2> 8064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekanyOf(const C1 &P1, const C2 &P2) { 8074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 8084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek C1, C2 >(P1, P2); 8094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 8104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate<typename C1, typename C2, typename C3> 8114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C1, 8124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C2, C3> > 8134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekanyOf(const C1 &P1, const C2 &P2, const C3 &P3) { 8144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(P1, anyOf(P2, P3)); 8154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 8164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate<typename C1, typename C2, typename C3, typename C4> 8174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C1, 8184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C2, 8194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 8204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek C3, C4> > > 8214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekanyOf(const C1 &P1, const C2 &P2, const C3 &P3, const C4 &P4) { 822ff2fcb8db242a54f72bbb4e5595261e12672ed66Daniel Jasper return anyOf(P1, anyOf(P2, anyOf(P3, P4))); 8234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 8244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate<typename C1, typename C2, typename C3, typename C4, typename C5> 8254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C1, 8264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C2, 8274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, C3, 8284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 8294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek C4, C5> > > > 8304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekanyOf(const C1& P1, const C2& P2, const C3& P3, const C4& P4, const C5& P5) { 8314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(P1, anyOf(P2, anyOf(P3, anyOf(P4, P5)))); 8324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 8334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 8344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Various overloads for the allOf matcher. 8364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 8374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate<typename C1, typename C2> 8384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, C1, C2> 8394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekallOf(const C1 &P1, const C2 &P2) { 8404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, 8414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek C1, C2>(P1, P2); 8424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 8434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate<typename C1, typename C2, typename C3> 8444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, C1, 8454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, C2, C3> > 8464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekallOf(const C1& P1, const C2& P2, const C3& P3) { 8476a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return allOf(P1, allOf(P2, P3)); 8484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 8494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 8504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 851e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL) 852e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 853e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 854e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Foo x = bar; 855e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int y = sizeof(x) + alignof(x); 856e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr() 857e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(x) and \c alignof(x) 858e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 859e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 860e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper UnaryExprOrTypeTraitExpr> unaryExprOrTypeTraitExpr; 861e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 862e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches unary expressions that have a specific type of argument. 863e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 864e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 865e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int a, c; float b; int s = sizeof(a) + sizeof(b) + alignof(c); 866e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr(hasArgumentOfType(asString("int")) 867e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(a) and \c alignof(c) 868e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryExprOrTypeTraitExpr, hasArgumentOfType, 869e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, Matcher) { 870e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const QualType ArgumentType = Node.getTypeOfArgument(); 871e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Matcher.matches(ArgumentType, Finder, Builder); 872e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 873e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 874e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches unary expressions of a certain kind. 875e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 876e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 877e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int x; 878e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int s = sizeof(x) + alignof(x) 879e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr(ofKind(UETT_SizeOf)) 880e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(x) 881e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryExprOrTypeTraitExpr, ofKind, UnaryExprOrTypeTrait, Kind) { 882e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Node.getKind() == Kind; 883e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 884e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 885e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Same as unaryExprOrTypeTraitExpr, but only matching 886e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// alignof. 887e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<Stmt> alignOfExpr( 888e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<UnaryExprOrTypeTraitExpr> &Matcher) { 889e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<Stmt>(unaryExprOrTypeTraitExpr(allOf( 890e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ofKind(UETT_AlignOf), Matcher))); 891e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 892e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 893e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Same as unaryExprOrTypeTraitExpr, but only matching 894e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// sizeof. 895e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<Stmt> sizeOfExpr( 896e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<UnaryExprOrTypeTraitExpr> &Matcher) { 897e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<Stmt>(unaryExprOrTypeTraitExpr(allOf( 898e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ofKind(UETT_SizeOf), Matcher))); 899e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 900e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 9014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches NamedDecl nodes that have the specified name. 9024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Supports specifying enclosing namespaces or classes by prefixing the name 9044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with '<enclosing>::'. 9054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match typedefs of an underlying type with the given name. 9064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X (Name == "X") 9084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X; 9094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X (Name is one of "::a::b::X", "a::b::X", "b::X", "X") 9114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// namespace a { namespace b { class X; } } 912e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(NamedDecl, hasName, std::string, Name) { 9134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek assert(!Name.empty()); 9144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const std::string FullNameString = "::" + Node.getQualifiedNameAsString(); 9154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const llvm::StringRef FullName = FullNameString; 9164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const llvm::StringRef Pattern = Name; 9174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (Pattern.startswith("::")) { 9184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return FullName == Pattern; 9194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } else { 9204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return FullName.endswith(("::" + Pattern).str()); 9214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 9224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 9234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 924e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches NamedDecl nodes whose full names partially match the 925e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// given RegExp. 926e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 927e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Supports specifying enclosing namespaces or classes by 928e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// prefixing the name with '<enclosing>::'. Does not match typedefs 929e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// of an underlying type with the given name. 930e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 931e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X (regexp == "::X") 932e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class X; 933e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 934e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X (regexp is one of "::X", "^foo::.*X", among others) 935e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace foo { namespace bar { class X; } } 936e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(NamedDecl, matchesName, std::string, RegExp) { 937e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper assert(!RegExp.empty()); 938e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper std::string FullNameString = "::" + Node.getQualifiedNameAsString(); 939e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::Regex RE(RegExp); 940e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return RE.match(FullNameString); 941e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 942e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 9434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches overloaded operator names. 9444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Matches overloaded operator names specified in strings without the 9464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "operator" prefix, such as "<<", for OverloadedOperatorCall's. 9474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a << b 9494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher == overloadedOperatorCall(hasOverloadedOperatorName("<<"))) 9504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a << b; 9514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// c && d; // assuming both operator<< 9524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// // and operator&& are overloaded somewhere. 953e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXOperatorCallExpr, 9544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasOverloadedOperatorName, std::string, Name) { 955e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return getOperatorSpelling(Node.getOperator()) == Name; 9564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 9574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ classes that are directly or indirectly derived from 95920b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// a class matching \c Base. 9604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note that a class is considered to be also derived from itself. 9624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 96320b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// Example matches X, Y, Z, C (Base == hasName("X")) 9644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X; // A class is considered to be derived from itself 9654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y : public X {}; // directly derived 9664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z : public Y {}; // indirectly derived 9674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef X A; 9684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef A B; 9694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class C : public B {}; // derived from a typedef of X 9704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 97120b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// In the following example, Bar matches isDerivedFrom(hasName("X")): 9724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Foo; 9734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef Foo X; 9744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Bar : public Foo {}; // derived from a type that X is a typedef of 97520b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel JasperAST_MATCHER_P(CXXRecordDecl, isDerivedFrom, 97620b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper internal::Matcher<NamedDecl>, Base) { 97720b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper return Finder->classIsDerivedFrom(&Node, Base, Builder); 97820b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper} 97920b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper 98020b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// \brief Overloaded method as shortcut for \c isDerivedFrom(hasName(...)). 98120b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasperinline internal::Matcher<CXXRecordDecl> isDerivedFrom(StringRef BaseName) { 98220b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper assert(!BaseName.empty()); 98320b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper return isDerivedFrom(hasName(BaseName)); 9844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 9854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have child AST nodes that match the 9874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 9884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, Y (matcher = record(has(record(hasName("X"))) 9904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 9914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 9924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; // Does not match Z. 9934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ChildT must be an AST base type. 9954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ChildT> 9964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasMatcher, ChildT> has( 9974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const internal::Matcher<ChildT> &ChildMatcher) { 9984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher<internal::HasMatcher, 9994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ChildT>(ChildMatcher); 10004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 10014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have descendant AST nodes that match the 10034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 10044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, Y, Z 10064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = record(hasDescendant(record(hasName("X"))))) 10074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 10084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 10094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; 10104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// DescendantT must be an AST base type. 10124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename DescendantT> 10134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasDescendantMatcher, DescendantT> 10144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekhasDescendant(const internal::Matcher<DescendantT> &DescendantMatcher) { 10154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 10164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::HasDescendantMatcher, 10174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek DescendantT>(DescendantMatcher); 10184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 10194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have child AST nodes that match the 10224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 10234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, Y (matcher = record(forEach(record(hasName("X"))) 10254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 10264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 10274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; // Does not match Z. 10284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ChildT must be an AST base type. 10304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// As opposed to 'has', 'forEach' will cause a match for each result that 10324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches instead of only on the first one. 10334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ChildT> 10344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::ForEachMatcher, ChildT> forEach( 10354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const internal::Matcher<ChildT>& ChildMatcher) { 10364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 10374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ForEachMatcher, 10384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ChildT>(ChildMatcher); 10394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 10404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have descendant AST nodes that match the 10424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 10434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, A, B, C 10454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = record(forEachDescendant(record(hasName("X"))))) 10464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 10474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { class X {}; }; 10484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class B { class C { class X {}; }; }; 10494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// DescendantT must be an AST base type. 10514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// As opposed to 'hasDescendant', 'forEachDescendant' will cause a match for 10534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// each result that matches instead of only on the first one. 10544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: Recursively combined ForEachDescendant can cause many matches: 10564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// record(forEachDescendant(record(forEachDescendant(record())))) 10574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// will match 10 times (plus injected class name matches) on: 10584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { class B { class C { class D { class E {}; }; }; }; }; 10594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename DescendantT> 10604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::ForEachDescendantMatcher, DescendantT> 10614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekforEachDescendant( 10624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const internal::Matcher<DescendantT>& DescendantMatcher) { 10634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 10644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ForEachDescendantMatcher, 10654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek DescendantT>(DescendantMatcher); 10664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 10674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the provided matcher does not match. 10694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches Y (matcher = record(unless(hasName("X")))) 10714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 10724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y {}; 10734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename M> 10744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam1<internal::NotMatcher, M> unless(const M &InnerMatcher) { 10754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 10764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::NotMatcher, M>(InnerMatcher); 10774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 10784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a type if the declaration of the type matches the given 10804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 1081297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1082297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<QualType>, Matcher<CallExpr>, Matcher<CXXConstructExpr> 10834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam1< internal::HasDeclarationMatcher, 1084e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Decl> > 1085e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper hasDeclaration(const internal::Matcher<Decl> &InnerMatcher) { 10864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 10874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::HasDeclarationMatcher, 1088e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Decl> >(InnerMatcher); 10894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 10904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches on the implicit object argument of a member call expression. 10924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y.x() (matcher = call(on(hasType(record(hasName("Y")))))) 10944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 10954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y y; y.x(); }", 10964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Overload to allow directly matching types? 1098e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMemberCallExpr, on, internal::Matcher<Expr>, 10994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1100e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = const_cast<CXXMemberCallExpr&>(Node) 11014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek .getImplicitObjectArgument() 11024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ->IgnoreParenImpCasts(); 11034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 11044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 11054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the call expression's callee expression matches. 11084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 11104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { void x() { this->x(); x(); Y y; y.x(); } }; 11114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f() { f(); } 11124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// call(callee(expression())) 11134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x(), x(), y.x(), f() 11144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with callee(...) 11154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching this->x, x, y.x, f respectively 11164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1117e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Note: Callee cannot take the more general internal::Matcher<Expr> 11184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// because this introduces ambiguous overloads with calls to Callee taking a 1119e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// internal::Matcher<Decl>, as the matcher hierarchy is purely 11204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// implemented in terms of implicit casts. 1121e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CallExpr, callee, internal::Matcher<Stmt>, 11224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1123e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = Node.getCallee(); 11244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 11254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 11264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the call expression's callee's declaration matches the 11294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// given matcher. 11304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y.x() (matcher = call(callee(method(hasName("x"))))) 11324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 11334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y y; y.x(); 1134e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<CallExpr> callee( 1135e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1136e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<CallExpr>(hasDeclaration(InnerMatcher)); 11374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the expression's or declaration's type matches a type 11404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 11414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x (matcher = expression(hasType( 11434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasDeclaration(record(hasName("X")))))) 11444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// and z (matcher = variable(hasType( 11454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasDeclaration(record(hasName("X")))))) 11464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 11474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void y(X &x) { x; X z; } 1148e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasType, internal::Matcher<QualType>, 11494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1150e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<Expr, NodeType>::value || 1151e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<ValueDecl, NodeType>::value), 11524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 11534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(Node.getType(), Finder, Builder); 11544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the declaration of the expression's or value 11574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// declaration's type. 11584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// In case of a value declaration (for example a variable declaration), 11604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// this resolves one layer of indirection. For example, in the value 11614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// declaration "X x;", record(hasName("X")) matches the declaration of X, 11624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// while variable(hasType(record(hasName("X")))) matches the declaration 11634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// of x." 11644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x (matcher = expression(hasType(record(hasName("X"))))) 11664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// and z (matcher = variable(hasType(record(hasName("X"))))) 11674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 11684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void y(X &x) { x; X z; } 1169297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1170297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<Expr>, Matcher<ValueDecl> 11714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam1< 11724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::matcher_hasTypeMatcher, 1173e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType> > 1174e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperhasType(const internal::Matcher<Decl> &InnerMatcher) { 1175e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return hasType(internal::Matcher<QualType>( 11764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 11774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1179e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches if the matched type is represented by the given string. 1180e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1181e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 1182e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class Y { public: void x(); }; 1183e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void z() { Y* y; y->x(); } 1184e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// call(on(hasType(asString("class Y *")))) 1185e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches y->x() 1186e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(QualType, asString, std::string, Name) { 1187e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Name == Node.getAsString(); 1188e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1189e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 11904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the matched type is a pointer type and the pointee type 11914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches the specified matcher. 11924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y->x() 11944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = call(on(hasType(pointsTo(record(hasName("Y"))))))) 11954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 11964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y *y; y->x(); } 11974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_MATCHER_P( 1198e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper QualType, pointsTo, internal::Matcher<QualType>, 11994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1200e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return (!Node.isNull() && Node->isPointerType() && 12014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(Node->getPointeeType(), Finder, Builder)); 12024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the pointee type's declaration. 1205e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> pointsTo( 1206e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1207e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return pointsTo(internal::Matcher<QualType>( 12084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 12094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the matched type is a reference type and the referenced 12124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// type matches the specified matcher. 12134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X &x and const X &y 12154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = variable(hasType(references(record(hasName("X")))))) 12164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { 12174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void a(X b) { 12184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// X &x = b; 12194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// const X &y = b; 12204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 1221e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(QualType, references, internal::Matcher<QualType>, 12224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1223e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return (!Node.isNull() && Node->isReferenceType() && 12244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(Node->getPointeeType(), Finder, Builder)); 12254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the referenced type's declaration. 1228e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> references( 1229e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1230e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return references(internal::Matcher<QualType>( 12314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 12324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1234e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMemberCallExpr, onImplicitObjectArgument, 1235e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1236e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = 1237e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const_cast<CXXMemberCallExpr&>(Node).getImplicitObjectArgument(); 12384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 12394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 12404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the expression's type either matches the specified 12434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher, or is a pointer to a type that matches the InnerMatcher. 12449f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimekinline internal::Matcher<CXXMemberCallExpr> thisPointerType( 1245e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<QualType> &InnerMatcher) { 12464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return onImplicitObjectArgument( 12474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek anyOf(hasType(InnerMatcher), hasType(pointsTo(InnerMatcher)))); 12484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the type's declaration. 12519f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimekinline internal::Matcher<CXXMemberCallExpr> thisPointerType( 1252e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 12534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return onImplicitObjectArgument( 12544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek anyOf(hasType(InnerMatcher), hasType(pointsTo(InnerMatcher)))); 12554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a DeclRefExpr that refers to a declaration that matches the 12584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// specified matcher. 12594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x in if(x) 12614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = declarationReference(to(variable(hasName("x"))))) 12624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x; 12634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 1264e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(DeclRefExpr, to, internal::Matcher<Decl>, 12654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1266e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Decl *DeclNode = Node.getDecl(); 12674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (DeclNode != NULL && 12684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*DeclNode, Finder, Builder)); 12694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1271e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a \c DeclRefExpr that refers to a declaration through a 1272e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// specific using shadow declaration. 1273e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1274e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// FIXME: This currently only works for functions. Fix. 1275e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1276e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 1277e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace a { void f() {} } 1278e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using a::f; 1279e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void g() { 1280e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// f(); // Matches this .. 1281e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// a::f(); // .. but not this. 1282e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// } 1283e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// declarationReference(throughUsingDeclaration(anything())) 1284e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c f() 1285e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(DeclRefExpr, throughUsingDecl, 1286e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<UsingShadowDecl>, Matcher) { 1287e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const NamedDecl *FoundDecl = Node.getFoundDecl(); 1288e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const UsingShadowDecl *UsingDecl = 1289e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::dyn_cast<UsingShadowDecl>(FoundDecl)) 1290e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Matcher.matches(*UsingDecl, Finder, Builder); 1291e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1292e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1293e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1294425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches the Decl of a DeclStmt which has a single declaration. 1295425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1296425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Given 1297425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b; 1298425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 1299425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declarationStatement(hasSingleDecl(anything())) 1300425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int c;' but not 'int a, b;'. 1301425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P(DeclStmt, hasSingleDecl, internal::Matcher<Decl>, InnerMatcher) { 1302425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer if (Node.isSingleDecl()) { 1303425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer const Decl *FoundDecl = Node.getSingleDecl(); 1304425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return InnerMatcher.matches(*FoundDecl, Finder, Builder); 1305425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer } 1306425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return false; 1307425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1308425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 13094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a variable declaration that has an initializer expression 13104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// that matches the given matcher. 13114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x (matcher = variable(hasInitializer(call()))) 13134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool y() { return true; } 13144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x = y(); 13154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_MATCHER_P( 1316e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper VarDecl, hasInitializer, internal::Matcher<Expr>, 13174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1318e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *Initializer = Node.getAnyInitializer(); 13194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Initializer != NULL && 13204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Initializer, Finder, Builder)); 13214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Checks that a call expression or a constructor call expression has 13244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a specific number of arguments (including absent default arguments). 13254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches f(0, 0) (matcher = call(argumentCountIs(2))) 13274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(int x, int y); 13284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(0, 0); 13294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P(argumentCountIs, unsigned, N) { 1330e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1331e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 13324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 13334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 13344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.getNumArgs() == N; 13354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the n'th argument of a call expression or a constructor 13384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// call expression. 13394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y in x(y) 13414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = call(hasArgument(0, declarationReference()))) 13424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x(int) { int y; x(y); } 13434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P2( 1344e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper hasArgument, unsigned, N, internal::Matcher<Expr>, InnerMatcher) { 1345e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1346e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 13474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 13484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 13494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (N < Node.getNumArgs() && 13504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches( 13514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek *Node.getArg(N)->IgnoreParenImpCasts(), Finder, Builder)); 13524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1354425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches declaration statements that contain a specific number of 1355425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declarations. 1356425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1357425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Example: Given 1358425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b; 1359425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 1360425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int d = 2, e; 1361425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declCountIs(2) 1362425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int a, b;' and 'int d = 2, e;', but not 'int c;'. 1363425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P(DeclStmt, declCountIs, unsigned, N) { 1364217c484522926f9fc664ec3bfaf3cffe456244b0Benjamin Kramer return std::distance(Node.decl_begin(), Node.decl_end()) == (ptrdiff_t)N; 1365425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1366425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 1367425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches the n'th declaration of a declaration statement. 1368425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1369425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Note that this does not work for global declarations because the AST 1370425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// breaks up multiple-declaration DeclStmt's into multiple single-declaration 1371425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// DeclStmt's. 1372425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Example: Given non-global declarations 1373425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b = 0; 1374425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 1375425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int d = 2, e; 1376425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declarationStatement(containsDeclaration( 1377425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 0, variable(hasInitializer(anything())))) 1378425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches only 'int d = 2, e;', and 1379425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declarationStatement(containsDeclaration(1, variable())) 1380425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int a, b = 0' as well as 'int d = 2, e;' 1381425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// but 'int c;' is not matched. 1382425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P2(DeclStmt, containsDeclaration, unsigned, N, 1383425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer internal::Matcher<Decl>, InnerMatcher) { 1384425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer const unsigned NumDecls = std::distance(Node.decl_begin(), Node.decl_end()); 1385425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer if (N >= NumDecls) 1386425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return false; 1387425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer DeclStmt::const_decl_iterator Iterator = Node.decl_begin(); 1388425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer std::advance(Iterator, N); 1389425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return InnerMatcher.matches(**Iterator, Finder, Builder); 1390425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1391425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 13924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a constructor initializer. 13934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 13954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 13964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 13974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 13984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 1399e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// record(has(constructor(hasAnyConstructorInitializer(anything())))) 1400e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// record matches Foo, hasAnyConstructorInitializer matches foo_(1) 1401e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXConstructorDecl, hasAnyConstructorInitializer, 1402e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<CXXCtorInitializer>, InnerMatcher) { 1403e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (CXXConstructorDecl::init_const_iterator I = Node.init_begin(); 14044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek I != Node.init_end(); ++I) { 14054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(**I, Finder, Builder)) { 14064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 14074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 14084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 14094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 14104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the field declaration of a constructor initializer. 14134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 14154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 14164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 14174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 14184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 14194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// record(has(constructor(hasAnyConstructorInitializer( 14204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// forField(hasName("foo_")))))) 14214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches Foo 14224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with forField matching foo_ 1423e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXCtorInitializer, forField, 1424e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<FieldDecl>, InnerMatcher) { 1425e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const FieldDecl *NodeAsDecl = Node.getMember(); 14264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (NodeAsDecl != NULL && 14274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*NodeAsDecl, Finder, Builder)); 14284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the initializer expression of a constructor initializer. 14314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 14334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 14344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 14354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 14364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 14374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// record(has(constructor(hasAnyConstructorInitializer( 14384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// withInitializer(integerLiteral(equals(1))))))) 14394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches Foo 14404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with withInitializer matching (1) 1441e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXCtorInitializer, withInitializer, 1442e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1443e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr* NodeAsExpr = Node.getInit(); 14444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (NodeAsExpr != NULL && 14454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*NodeAsExpr, Finder, Builder)); 14464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a contructor initializer if it is explicitly written in 14494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// code (as opposed to implicitly added by the compiler). 14504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 14524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 14534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() { } 14544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(int) : foo_("A") { } 14554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// string foo_; 14564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 14574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// constructor(hasAnyConstructorInitializer(isWritten())) 14584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// will match Foo(int), but not Foo() 1459e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER(CXXCtorInitializer, isWritten) { 14604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.isWritten(); 14614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a constructor declaration that has been implicitly added 14644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// by the compiler (eg. implicit default/copy constructors). 1465e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER(CXXConstructorDecl, isImplicit) { 14664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.isImplicit(); 14674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any argument of a call expression or a constructor call 14704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// expression. 14714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 14734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x(int, int, int) { int y; x(1, y, 42); } 14744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// call(hasAnyArgument(declarationReference())) 14754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches x(1, y, 42) 14764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasAnyArgument(...) 14774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching y 1478e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasAnyArgument, internal::Matcher<Expr>, 14794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1480e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1481e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 14824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 14834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 14844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek for (unsigned I = 0; I < Node.getNumArgs(); ++I) { 14854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(*Node.getArg(I)->IgnoreParenImpCasts(), 14864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek Finder, Builder)) { 14874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 14884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 14894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 14904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 14914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the n'th parameter of a function declaration. 14944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 14964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void f(int x) {} }; 14974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// method(hasParameter(0, hasType(variable()))) 14984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches f(int x) {} 14994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasParameter(...) 15004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching int x 1501e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P2(FunctionDecl, hasParameter, 1502e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper unsigned, N, internal::Matcher<ParmVarDecl>, 15034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 15044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (N < Node.getNumParams() && 15054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches( 15064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek *Node.getParamDecl(N), Finder, Builder)); 15074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any parameter of a function declaration. 15104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match the 'this' parameter of a method. 15124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 15144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void f(int x, int y, int z) {} }; 15154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// method(hasAnyParameter(hasName("y"))) 15164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches f(int x, int y, int z) {} 15174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasAnyParameter(...) 15184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching int y 1519e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(FunctionDecl, hasAnyParameter, 1520e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<ParmVarDecl>, InnerMatcher) { 15214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek for (unsigned I = 0; I < Node.getNumParams(); ++I) { 15224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(*Node.getParamDecl(I), Finder, Builder)) { 15234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 15244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 15254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 15264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 15274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1529e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the return type of a function declaration. 1530e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1531e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given: 1532e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class X { int f() { return 1; } }; 1533e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// method(returns(asString("int"))) 1534e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches int f() { return 1; } 1535e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(FunctionDecl, returns, internal::Matcher<QualType>, Matcher) { 1536e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Matcher.matches(Node.getResultType(), Finder, Builder); 1537e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1538e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 15398cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// \brief Matches extern "C" function declarations. 15408cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// 15418cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// Given: 15428cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// extern "C" void f() {} 15438cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// extern "C" { void g() {} } 15448cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// void h() {} 15458cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// function(isExternC()) 15468cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// matches the declaration of f and g, but not the declaration h 15478cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel JasperAST_MATCHER(FunctionDecl, isExternC) { 15488cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper return Node.isExternC(); 15498cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper} 15508cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper 15516a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the condition expression of an if statement, for loop, 15526a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// or conditional operator. 15534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 15554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (true) {} 1556e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasCondition, internal::Matcher<Expr>, 15574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 15584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek TOOLING_COMPILE_ASSERT( 1559e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<IfStmt, NodeType>::value) || 15606a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<ForStmt, NodeType>::value) || 15616a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<WhileStmt, NodeType>::value) || 15626a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<DoStmt, NodeType>::value) || 1563e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<ConditionalOperator, NodeType>::value), 15646a12449ec8862211856447d3df4c082a346339f2Daniel Jasper has_condition_requires_if_statement_conditional_operator_or_loop); 1565e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *const Condition = Node.getCond(); 15664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Condition != NULL && 15674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Condition, Finder, Builder)); 15684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the condition variable statement in an if statement. 15714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 15734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (A* a = GetAPointer()) {} 15744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasConditionVariableStatment(...) 15754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'A* a = GetAPointer()'. 1576e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(IfStmt, hasConditionVariableStatement, 1577e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<DeclStmt>, InnerMatcher) { 1578e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const DeclStmt* const DeclarationStatement = 15794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek Node.getConditionVariableDeclStmt(); 15804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return DeclarationStatement != NULL && 15814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*DeclarationStatement, Finder, Builder); 15824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1584e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the index expression of an array subscript expression. 1585e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1586e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 1587e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i[5]; 1588e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void f() { i[1] = 42; } 1589e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// arraySubscriptExpression(hasIndex(integerLiteral())) 1590e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c i[1] with the \c integerLiteral() matching \c 1 1591e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ArraySubscriptExpr, hasIndex, 1592e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, matcher) { 1593e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Expr* Expression = Node.getIdx()) 1594e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return matcher.matches(*Expression, Finder, Builder); 1595e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1596e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1597e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1598e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the base expression of an array subscript expression. 1599e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1600e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 1601e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i[5]; 1602e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void f() { i[1] = 42; } 1603e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// arraySubscriptExpression(hasBase(implicitCast( 1604e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// hasSourceExpression(declarationReference())))) 1605e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c i[1] with the \c declarationReference() matching \c i 1606e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ArraySubscriptExpr, hasBase, 1607e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, matcher) { 1608e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Expr* Expression = Node.getBase()) 1609e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return matcher.matches(*Expression, Finder, Builder); 1610e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1611e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1612e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 16136a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches a 'for', 'while', or 'do while' statement that has 16146a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// a given body. 16154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 16174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {} 16184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasBody(compoundStatement()) 16194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'for (;;) {}' 16204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with compoundStatement() 16214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching '{}' 16226a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_POLYMORPHIC_MATCHER_P(hasBody, internal::Matcher<Stmt>, 16236a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 16246a12449ec8862211856447d3df4c082a346339f2Daniel Jasper TOOLING_COMPILE_ASSERT( 16256a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<DoStmt, NodeType>::value) || 16266a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<ForStmt, NodeType>::value) || 16276a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<WhileStmt, NodeType>::value), 16286a12449ec8862211856447d3df4c082a346339f2Daniel Jasper has_body_requires_for_while_or_do_statement); 1629e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Stmt *const Statement = Node.getBody(); 16304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Statement != NULL && 16314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Statement, Finder, Builder)); 16324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches compound statements where at least one substatement matches 16354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a given matcher. 16364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 16384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { {}; 1+2; } 16394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasAnySubstatement(compoundStatement()) 16404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches '{ {}; 1+2; }' 16414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with compoundStatement() 16424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching '{}' 1643e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CompoundStmt, hasAnySubstatement, 1644e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Stmt>, InnerMatcher) { 1645e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (CompoundStmt::const_body_iterator It = Node.body_begin(); 16464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek It != Node.body_end(); 16474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ++It) { 16484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(**It, Finder, Builder)) return true; 16494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 16504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 16514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Checks that a compound statement contains a specific number of 16544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// child statements. 16554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Given 16574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { for (;;) {} } 16584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// compoundStatement(statementCountIs(0))) 16594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches '{}' 16604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but does not match the outer compound statement. 1661e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CompoundStmt, statementCountIs, unsigned, N) { 16624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.size() == N; 16634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches literals that are equal to the given value. 16664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = boolLiteral(equals(true))) 16684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// true 1669297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1670297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<CharacterLiteral>, Matcher<CXXBoolLiteral>, 1671297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Matcher<FloatingLiteral>, Matcher<IntegerLiteral> 16724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ValueT> 16734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam1<internal::ValueEqualsMatcher, ValueT> 16744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekequals(const ValueT &Value) { 16754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 16764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ValueEqualsMatcher, 16774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ValueT>(Value); 16784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the operator Name of operator expressions (binary or 16814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// unary). 16824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a || b (matcher = binaryOperator(hasOperatorName("||"))) 16844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !(a || b) 16854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P(hasOperatorName, std::string, Name) { 16864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek TOOLING_COMPILE_ASSERT( 1687e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<BinaryOperator, NodeType>::value) || 1688e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<UnaryOperator, NodeType>::value), 16894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek has_condition_requires_if_statement_or_conditional_operator); 16904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Name == Node.getOpcodeStr(Node.getOpcode()); 16914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the left hand side of binary operator expressions. 16944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a (matcher = binaryOperator(hasLHS())) 16964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a || b 1697e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(BinaryOperator, hasLHS, 1698e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1699e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *LeftHandSide = Node.getLHS(); 17004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (LeftHandSide != NULL && 17014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*LeftHandSide, Finder, Builder)); 17024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the right hand side of binary operator expressions. 17054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches b (matcher = binaryOperator(hasRHS())) 17074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a || b 1708e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(BinaryOperator, hasRHS, 1709e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1710e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *RightHandSide = Node.getRHS(); 17114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (RightHandSide != NULL && 17124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*RightHandSide, Finder, Builder)); 17134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if either the left hand side or the right hand side of a 17164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// binary operator matches. 1717e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<BinaryOperator> hasEitherOperand( 1718e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Expr> &InnerMatcher) { 17194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(hasLHS(InnerMatcher), hasRHS(InnerMatcher)); 17204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the operand of a unary operator matches. 17234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = hasOperand(boolLiteral(equals(true)))) 17254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !true 1726e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryOperator, hasUnaryOperand, 1727e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1728e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr * const Operand = Node.getSubExpr(); 17294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Operand != NULL && 17304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Operand, Finder, Builder)); 17314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1733715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \brief Matches if the cast's source expression matches the given matcher. 17344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: matches "a string" (matcher = 17364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasSourceExpression(constructorCall())) 17374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class URL { URL(string); }; 17394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// URL url = "a string"; 1740715c9568ee5d75f25dab98229c87bcec880daf5dManuel KlimekAST_MATCHER_P(CastExpr, hasSourceExpression, 1741e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1742e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr* const SubExpression = Node.getSubExpr(); 17434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (SubExpression != NULL && 17444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*SubExpression, Finder, Builder)); 17454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches casts whose destination type matches a given matcher. 17484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (Note: Clang's AST refers to other conversions as "casts" too, and calls 17504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// actual casts "explicit" casts.) 1751e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ExplicitCastExpr, hasDestinationType, 1752e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, InnerMatcher) { 1753e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const QualType NodeType = Node.getTypeAsWritten(); 17544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(NodeType, Finder, Builder); 17554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches implicit casts whose destination type matches a given 17584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 17594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Unit test this matcher 1761e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ImplicitCastExpr, hasImplicitDestinationType, 1762e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, InnerMatcher) { 17634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(Node.getType(), Finder, Builder); 17644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the true branch expression of a conditional operator. 17674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a 17694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// condition ? a : b 1770e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ConditionalOperator, hasTrueExpression, 1771e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1772e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *Expression = Node.getTrueExpr(); 17734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Expression != NULL && 17744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Expression, Finder, Builder)); 17754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the false branch expression of a conditional operator. 17784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches b 17804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// condition ? a : b 1781e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ConditionalOperator, hasFalseExpression, 1782e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1783e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *Expression = Node.getFalseExpr(); 17844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Expression != NULL && 17854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Expression, Finder, Builder)); 17864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if a declaration has a body attached. 17894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches A, va, fa 17914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A {}; 17924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class B; // Doesn't match, as it has no body. 17934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int va; 17944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// extern int vb; // Doesn't match, as it doesn't define the variable. 17954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void fa() {} 17964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void fb(); // Doesn't match, as it has no body. 1797297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1798297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<TagDecl>, Matcher<VarDecl>, Matcher<FunctionDecl> 17994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0<internal::IsDefinitionMatcher> 18004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekisDefinition() { 18014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0< 18024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsDefinitionMatcher>(); 18034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the class declaration that the given method declaration 18064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// belongs to. 18074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Generalize this for other kinds of declarations. 18094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: What other kind of declarations would we need to generalize 18104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// this to? 18114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches A() in the last line 18134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (matcher = constructorCall(hasDeclaration(method( 18144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ofClass(hasName("A")))))) 18154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { 18164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// public: 18174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// A(); 18184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 18194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// A a = A(); 1820e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMethodDecl, ofClass, 1821e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<CXXRecordDecl>, InnerMatcher) { 1822e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const CXXRecordDecl *Parent = Node.getParent(); 18234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Parent != NULL && 18244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Parent, Finder, Builder)); 18254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches member expressions that are called with '->' as opposed 18284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// to '.'. 18294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Member calls on the implicit this pointer match as called with '->'. 18314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 18334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { 18344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 18354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 18364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// static int b; 18374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 18384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// memberExpression(isArrow()) 18394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x, x, y.x, a, this->b 1840e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<MemberExpr> isArrow() { 18414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return makeMatcher(new internal::IsArrowMatcher()); 18424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18446a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches QualType nodes that are of integer type. 18456a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 18466a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Given 18476a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void a(int); 18486a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void b(long); 18496a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void c(double); 18506a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// function(hasAnyParameter(hasType(isInteger()))) 18516a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches "a(int)", "b(long)", but not "c(double)". 18526a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER(QualType, isInteger) { 18536a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return Node->isIntegerType(); 18546a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 18556a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 1856e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches QualType nodes that are const-qualified, i.e., that 18574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// include "top-level" const. 18584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 18604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void a(int); 18614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void b(int const); 18624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void c(const int); 18634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void d(const int*); 18644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void e(int const) {}; 18654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// function(hasAnyParameter(hasType(isConstQualified()))) 18664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches "void b(int const)", "void c(const int)" and 18674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "void e(int const) {}". It does not match d as there 18684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// is no top-level const on the parameter type "const int *". 1869e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> isConstQualified() { 18704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return makeMatcher(new internal::IsConstQualifiedMatcher()); 18714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a member expression where the member is matched by a 18744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// given matcher. 18754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 18774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct { int first, second; } first, second; 18784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int i(second.first); 18794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int j(first.second); 18804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// memberExpression(member(hasName("first"))) 18814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches second.first 18824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but not first.second (because the member name there is "second"). 1883e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(MemberExpr, member, 1884e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<ValueDecl>, InnerMatcher) { 18854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(*Node.getMemberDecl(), Finder, Builder); 18864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a member expression where the object expression is 18894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matched by a given matcher. 18904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 18924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct X { int m; }; 18934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(X x) { x.m; m; } 18944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// memberExpression(hasObjectExpression(hasType(record(hasName("X"))))))) 18954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches "x.m" and "m" 18964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasObjectExpression(...) 18974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching "x" and the implicit object expression of "m" which has type X*. 1898e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(MemberExpr, hasObjectExpression, 1899e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 19004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(*Node.getBase(), Finder, Builder); 19014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1903e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches any using shadow declaration. 1904e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1905e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 1906e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { void b(); } 1907e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::b; 1908e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// usingDecl(hasAnyUsingShadowDecl(hasName("b")))) 1909e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::b \endcode 1910e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UsingDecl, hasAnyUsingShadowDecl, 1911e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<UsingShadowDecl>, Matcher) { 1912e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (UsingDecl::shadow_iterator II = Node.shadow_begin(); 1913e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper II != Node.shadow_end(); ++II) { 1914e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (Matcher.matches(**II, Finder, Builder)) 1915e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return true; 1916e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper } 1917e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1918e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1919e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1920e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a using shadow declaration where the target declaration is 1921e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matched by the given matcher. 1922e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1923e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 1924e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { int a; void b(); } 1925e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::a; 1926e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::b; 1927e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// usingDecl(hasAnyUsingShadowDecl(hasTargetDecl(function()))) 1928e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::b \endcode 1929e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// but not \code using X::a \endcode 1930e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UsingShadowDecl, hasTargetDecl, 1931e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<NamedDecl>, Matcher) { 1932e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Matcher.matches(*Node.getTargetDecl(), Finder, Builder); 1933e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1934e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 19354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches template instantiations of function, class, or static 19364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// member variable template instantiations. 19374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 19394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <typename T> class X {}; class A {}; X<A> x; 19404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// or 19414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <typename T> class X {}; class A {}; template class X<A>; 19424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// record(hasName("::X"), isTemplateInstantiation()) 19434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches the template instantiation of X<A>. 19444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// But given 19464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <typename T> class X {}; class A {}; 19474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <> class X<A> {}; X<A> x; 19484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// record(hasName("::X"), isTemplateInstantiation()) 19494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// does not match, as X<A> is an explicit template specialization. 1950297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1951297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<FunctionDecl>, Matcher<VarDecl>, Matcher<CXXRecordDecl> 19524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0< 19534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsTemplateInstantiationMatcher> 19544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekisTemplateInstantiation() { 19554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0< 19564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsTemplateInstantiationMatcher>(); 19574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19598456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches explicit template specializations of function, class, or 19608456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// static member variable template instantiations. 19618456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 19628456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// Given 19638456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<typename T> void A(T t) { } 19648456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<> void A(int N) { } 19658456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// function(isExplicitSpecialization()) 19668456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// matches the specialization A<int>(). 19678456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoinline internal::PolymorphicMatcherWithParam0< 19688456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko internal::IsExplicitTemplateSpecializationMatcher> 19698456ae602783b615019a42f7d5c6f0e71639b11bDmitri GribenkoisExplicitTemplateSpecialization() { 19708456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko return internal::PolymorphicMatcherWithParam0< 19718456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko internal::IsExplicitTemplateSpecializationMatcher>(); 19728456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko} 19738456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko 19744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} // end namespace ast_matchers 19754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} // end namespace clang 19764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#endif // LLVM_CLANG_AST_MATCHERS_AST_MATCHERS_H 1978