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: 172dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper// recordDecl(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: 282dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper// recordDecl(hasName("MyClass"), hasChild(id("child", recordDecl()))) 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/// 6025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// The bound nodes are generated by calling \c bind("id") on the node matchers 6125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// of the nodes we want to access later. 624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// The instances of BoundNodes are created by \c MatchFinder when the user's 644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// callbacks are executed every time a match is found. 654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekclass BoundNodes { 664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekpublic: 6725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek /// \brief Returns the AST node bound to \c ID. 68a78d0d6203a990b88c9c3e4c4f2a277001e8bd46Manuel Klimek /// 6925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek /// Returns NULL if there was no node bound to \c ID or if there is a node but 704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// it cannot be converted to the specified type. 71ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek template <typename T> 72a78d0d6203a990b88c9c3e4c4f2a277001e8bd46Manuel Klimek const T *getNodeAs(StringRef ID) const { 73ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek return MyBoundNodes.getNodeAs<T>(ID); 74ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek } 75ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek 76ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek /// \brief Deprecated. Please use \c getNodeAs instead. 774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// @{ 784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek template <typename T> 794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const T *getDeclAs(StringRef ID) const { 80a78d0d6203a990b88c9c3e4c4f2a277001e8bd46Manuel Klimek return getNodeAs<T>(ID); 814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek template <typename T> 834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const T *getStmtAs(StringRef ID) const { 84a78d0d6203a990b88c9c3e4c4f2a277001e8bd46Manuel Klimek return getNodeAs<T>(ID); 854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// @} 874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekprivate: 894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek /// \brief Create BoundNodes from a pre-filled map of bindings. 90ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek BoundNodes(internal::BoundNodesMap &MyBoundNodes) 91ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek : MyBoundNodes(MyBoundNodes) {} 924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 93ec2a396c6f11b4017e30f1865f7b62c5a42425b8Manuel Klimek internal::BoundNodesMap MyBoundNodes; 944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek friend class internal::BoundNodesTree; 964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek}; 974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \brief If the provided matcher matches a node, binds the node to \c ID. 994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// FIXME: Do we want to support this now that we have bind()? 1014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename T> 1024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::Matcher<T> id(const std::string &ID, 1039f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek const internal::BindableMatcher<T> &InnerMatcher) { 1049f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek return InnerMatcher.bind(ID); 1054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 1064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Types of matchers for the top-level classes in the AST class 1084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hierarchy. 1094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 110e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jaspertypedef internal::Matcher<Decl> DeclarationMatcher; 111e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jaspertypedef internal::Matcher<QualType> TypeMatcher; 112e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jaspertypedef internal::Matcher<Stmt> StatementMatcher; 1134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 1144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any node. 1164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Useful when another matcher requires a child matcher, but there's no 1184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// additional constraint. This will often be used with an explicit conversion 11925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// to an \c internal::Matcher<> type such as \c TypeMatcher. 1204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example: \c DeclarationMatcher(anything()) matches all declarations, e.g., 12225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "int* p" and "void f()" in 1244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int* p; 1254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(); 12625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 12725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 12825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 1294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0<internal::TrueMatcher> anything() { 1304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0<internal::TrueMatcher>(); 1314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 1324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 133715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \brief Matches declarations. 134715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// 135715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// Examples matches \c X, \c C, and the friend declaration inside \c C; 136715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \code 137715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// void X(); 138715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// class C { 139715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// friend X; 140715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// }; 141715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \endcode 142715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimekconst internal::VariadicDynCastAllOfMatcher<Decl, Decl> decl; 143715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek 1444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a declaration of anything that could have a name. 1454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example matches \c X, \c S, the anonymous union type, \c i, and \c U; 14725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef int X; 1494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct S { 1504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// union { 1514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int i; 1524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// } U; 1534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 15425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1552dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, NamedDecl> namedDecl; 1564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ class declarations. 1584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example matches \c X, \c Z 16025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X; 1624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template<class T> class Z {}; 16325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 165e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 1662dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXRecordDecl> recordDecl; 167e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1688456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches C++ class template declarations. 1698456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 17025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example matches \c Z 17125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1728456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<class T> class Z {}; 17325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1748456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoconst internal::VariadicDynCastAllOfMatcher< 1758456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko Decl, 1762dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ClassTemplateDecl> classTemplateDecl; 1778456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko 178e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches C++ class template specializations. 179e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 180e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 18125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 182e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> class A {}; 183e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<> class A<double> {}; 184e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int> a; 18525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1862dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl() 187e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specializations \c A<int> and \c A<double> 188e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 189e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 1902dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ClassTemplateSpecializationDecl> classTemplateSpecializationDecl; 191e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 192e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches classTemplateSpecializations that have at least one 19325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// TemplateArgument matching the given InnerMatcher. 194e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 195e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 19625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 197e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> class A {}; 198e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<> class A<double> {}; 199e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int> a; 20025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2012dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasAnyTemplateArgument( 202e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// refersToType(asString("int")))) 203e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<int> 204e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ClassTemplateSpecializationDecl, hasAnyTemplateArgument, 20525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<TemplateArgument>, InnerMatcher) { 206e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const TemplateArgumentList &List = Node.getTemplateArgs(); 207e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (unsigned i = 0; i < List.size(); ++i) { 20825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek if (InnerMatcher.matches(List.get(i), Finder, Builder)) 209e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return true; 210e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper } 211e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 212e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 213e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 214089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after any implicit casts 215089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// are stripped off. 216089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 217089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Parentheses and explicit casts are not discarded. 218089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 21925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 220089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int arr[5]; 221089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 222089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = 0; 223089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const int c = a; 224089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int *d = arr; 225089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// long e = (long) 0l; 22625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 227089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matchers 22825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2292dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringImpCasts(integerLiteral()))) 2302dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringImpCasts(declRefExpr()))) 23125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 232089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d, but not e. 23325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// While 23425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2352dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(integerLiteral())) 2362dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(declRefExpr())) 23725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 238089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// only match the declarations for b, c, and d. 239089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringImpCasts, 240089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer internal::Matcher<Expr>, InnerMatcher) { 241089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreImpCasts(), Finder, Builder); 242089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 243089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 244089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after parentheses and 245089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// casts are stripped off. 246089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 247089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Implicit and non-C Style casts are also discarded. 248089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 24925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 250089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 251089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = (0); 252089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// void* c = reinterpret_cast<char*>(0); 253089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char d = char(0); 25425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 255089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matcher 2562dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringParenCasts(integerLiteral()))) 257089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d. 258089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// while 2592dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(integerLiteral())) 260089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// only match the declaration for a. 261089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringParenCasts, internal::Matcher<Expr>, InnerMatcher) { 262089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreParenCasts(), Finder, Builder); 263089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 264089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 265089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after implicit casts and 266089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// parentheses are stripped off. 267089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 268089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Explicit casts are not discarded. 269089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 27025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 271089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int arr[5]; 272089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 273089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = (0); 274089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const int c = a; 275089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int *d = (arr); 276089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// long e = ((long) 0l); 27725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 278089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matchers 2792dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringParenImpCasts(integerLiteral()))) 2802dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringParenImpCasts(declRefExpr()))) 281089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d, but not e. 282089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// while 2832dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(integerLiteral())) 2842dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(declRefExpr())) 285089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would only match the declaration for a. 286089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringParenImpCasts, 287089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer internal::Matcher<Expr>, InnerMatcher) { 288089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreParenImpCasts(), Finder, Builder); 289089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 290089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 291e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches classTemplateSpecializations where the n'th TemplateArgument 29225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// matches the given InnerMatcher. 293e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 294e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 29525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 296e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T, typename U> class A {}; 297e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<bool, int> b; 298e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int, bool> c; 29925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3002dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasTemplateArgument( 301e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1, refersToType(asString("int")))) 302e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<bool, int> 303e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P2(ClassTemplateSpecializationDecl, hasTemplateArgument, 30425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek unsigned, N, internal::Matcher<TemplateArgument>, InnerMatcher) { 305e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const TemplateArgumentList &List = Node.getTemplateArgs(); 306e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (List.size() <= N) 307e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 30825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(List.get(N), Finder, Builder); 309e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 310e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 311e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a TemplateArgument that refers to a certain type. 312e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 313e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 31425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 315e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct X {}; 316e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> struct A {}; 317e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<X> a; 31825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3192dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasAnyTemplateArgument( 320e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// refersToType(class(hasName("X"))))) 321e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<X> 322e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(TemplateArgument, refersToType, 32325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<QualType>, InnerMatcher) { 324e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (Node.getKind() != TemplateArgument::Type) 325e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 32625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(Node.getAsType(), Finder, Builder); 327e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 328e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 329e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a TemplateArgument that refers to a certain declaration. 330e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 331e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 33225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 333e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> struct A {}; 334e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct B { B* next; }; 335e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<&B::next> a; 33625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3372dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasAnyTemplateArgument( 3382dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// refersToDeclaration(fieldDecl(hasName("next")))) 3392dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// matches the specialization \c A<&B::next> with \c fieldDecl(...) matching 340e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \c B::next 341e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(TemplateArgument, refersToDeclaration, 34225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<Decl>, InnerMatcher) { 343e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Decl *Declaration = Node.getAsDecl()) 34425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*Declaration, Finder, Builder); 345e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 346e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 3474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ constructor declarations. 3494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches Foo::Foo() and Foo::Foo(int) 35125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 3524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Foo { 3534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// public: 3544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(); 3554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(int); 3564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int DoSomething(); 3574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 35825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 360e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 3612dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXConstructorDecl> constructorDecl; 362e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 363e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches explicit C++ destructor declarations. 364e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 365e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches Foo::~Foo() 36625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 367e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class Foo { 368e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// public: 369e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// virtual ~Foo(); 370e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 37125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3722dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher< 3732dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper Decl, 3742dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXDestructorDecl> destructorDecl; 375e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 376e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches enum declarations. 377e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 378e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X 37925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 380e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// enum X { 381e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A, B, C 382e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 38325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 384e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, EnumDecl> enumDecl; 385e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 386e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches enum constants. 387e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 388e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches A, B, C 38925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 390e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// enum X { 391e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A, B, C 392e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 39325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 394e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 395e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 3962dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper EnumConstantDecl> enumConstantDecl; 3974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches method declarations. 3994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y 40125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void y() }; 40325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4042dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, CXXMethodDecl> methodDecl; 4054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches variable declarations. 4074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: this does not match declarations of member variables, which are 4094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "field" declarations in Clang parlance. 4104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a 41225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 41425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4152dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, VarDecl> varDecl; 4164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches field declarations. 4184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 42025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { int m; }; 42225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4232dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// fieldDecl() 4244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'm'. 4252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, FieldDecl> fieldDecl; 4264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches function declarations. 4284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches f 43025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(); 43225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4332dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, FunctionDecl> functionDecl; 4344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4358456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches C++ function template declarations. 4368456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 4378456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// Example matches f 43825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4398456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<class T> void f(T t) {} 44025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4418456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoconst internal::VariadicDynCastAllOfMatcher< 4428456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko Decl, 4432dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper FunctionTemplateDecl> functionTemplateDecl; 4444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches statements. 4464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 44825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { ++a; } 45025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4512dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// stmt() 4524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches both the compound statement '{ ++a; }' and '++a'. 4532dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, Stmt> stmt; 4544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches declaration statements. 4564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 45825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 46025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4612dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt() 4624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'int a'. 4634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 464e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 4652dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper DeclStmt> declStmt; 4664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches member expressions. 4684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 47025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { 4724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 4734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; static int b; 4744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 47525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4762dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr() 4774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x, x, y.x, a, this->b 4782dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, MemberExpr> memberExpr; 4794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches call expressions. 4814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4829f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// Example matches x.y() and y() 48325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// X x; 4854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// x.y(); 4869f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// y(); 48725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4882dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CallExpr> callExpr; 489e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 4909f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// \brief Matches member call expressions. 4919f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// 4929f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// Example matches x.y() 49325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4949f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// X x; 4959f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// x.y(); 49625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4972dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher< 4982dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper Stmt, 4992dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXMemberCallExpr> memberCallExpr; 5009f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek 501e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches init list expressions. 502e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 503e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 50425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 505e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int a[] = { 1, 2 }; 506e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct B { int x, y; }; 507e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// B b = { 5, 6 }; 50825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 509e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// initList() 510e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches "{ 1, 2 }" and "{ 5, 6 }" 511e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, InitListExpr> initListExpr; 512e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 513e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches using declarations. 514e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 515e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 51625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 517e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { int x; } 518e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::x; 51925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 520e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// usingDecl() 521e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::x \endcode 522e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, UsingDecl> usingDecl; 5234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches constructor call expressions (including implicit ones). 5254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches string(ptr, n) and ptr within arguments of f 5272dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = constructExpr()) 52825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 5294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(const string &a, const string &b); 5304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char *ptr; 5314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int n; 5324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(string(ptr, n), ptr); 53325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 535e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 5362dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXConstructExpr> constructExpr; 5374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches nodes where temporaries are created. 5394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches FunctionTakesString(GetStringByValue()) 5412dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = bindTemporaryExpr()) 54225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 5434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FunctionTakesString(GetStringByValue()); 5444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FunctionTakesStringByPointer(GetStringPointer()); 54525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 547e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 5482dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXBindTemporaryExpr> bindTemporaryExpr; 5494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 550e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \brief Matches nodes where temporaries are materialized. 551e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// 552e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// Example: Given 553e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \code 554e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// struct T {void func()}; 555e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// T f(); 556e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// void g(T); 557e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \endcode 558e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// materializeTemporaryExpr() matches 'f()' in these statements 559e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \code 560e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// T u(f()); 561e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// g(f()); 562e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \endcode 563e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// but does not match 564e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \code 565e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// f(); 566e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// f().func(); 567e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \endcode 568e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzerconst internal::VariadicDynCastAllOfMatcher< 569e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer Stmt, 570e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer MaterializeTemporaryExpr> materializeTemporaryExpr; 571e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer 5724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches new expressions. 5734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 57525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 5764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// new X; 57725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5782dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// newExpr() 5794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'new X'. 5802dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXNewExpr> newExpr; 581e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 582e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches delete expressions. 583e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 584e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 58525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 586e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// delete X; 58725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5882dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// deleteExpr() 589e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches 'delete X'. 5902dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXDeleteExpr> deleteExpr; 591e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 592e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches array subscript expressions. 593e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 594e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 59525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 596e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i = a[1]; 59725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 598e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// arraySubscriptExpr() 599e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches "a[1]" 600e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 601e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 602e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ArraySubscriptExpr> arraySubscriptExpr; 6034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the value of a default argument at the call site. 6054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches the CXXDefaultArgExpr placeholder inserted for the 6074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// default value of the second parameter in the call expression f(42) 6082dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = defaultArgExpr()) 60925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(int x, int y = 0); 6114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(42); 61225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 614e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 6152dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXDefaultArgExpr> defaultArgExpr; 6164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches overloaded operator calls. 6184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note that if an operator isn't overloaded, it won't match. Instead, use 6204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// binaryOperator matcher. 6214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Currently it does not match operators such as new delete. 6224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: figure out why these do not match? 6234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches both operator<<((o << b), c) and operator<<(o, b) 6252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = operatorCallExpr()) 62625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ostream &operator<< (ostream &out, int i) { }; 6284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ostream &o; int b = 1, c = 1; 6294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// o << b << c; 63025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 632e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 6332dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXOperatorCallExpr> operatorCallExpr; 6344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches expressions. 6364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x() 63825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f() { x(); } 64025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6412dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, Expr> expr; 6424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches expressions that refer to declarations. 6444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x in if (x) 64625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x; 6484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 64925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6502dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, DeclRefExpr> declRefExpr; 6514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if statements. 6534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'if (x) {}' 65525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 65725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 658e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, IfStmt> ifStmt; 6594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches for statements. 6614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'for (;;) {}' 66325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {} 66525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6662dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, ForStmt> forStmt; 6674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6686a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the increment statement of a for loop. 6696a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 6706a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Example: 6716a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// forStmt(hasIncrement(unaryOperator(hasOperatorName("++")))) 6726a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches '++x' in 67325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6746a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// for (x; x < N; ++x) { } 67525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6766a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER_P(ForStmt, hasIncrement, internal::Matcher<Stmt>, 6776a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 6786a12449ec8862211856447d3df4c082a346339f2Daniel Jasper const Stmt *const Increment = Node.getInc(); 6796a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return (Increment != NULL && 6806a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher.matches(*Increment, Finder, Builder)); 6816a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 6826a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 6836a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the initialization statement of a for loop. 6846a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 6856a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Example: 6862dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// forStmt(hasLoopInit(declStmt())) 6876a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches 'int x = 0' in 68825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6896a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// for (int x = 0; x < N; ++x) { } 69025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6916a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER_P(ForStmt, hasLoopInit, internal::Matcher<Stmt>, 6926a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 6936a12449ec8862211856447d3df4c082a346339f2Daniel Jasper const Stmt *const Init = Node.getInit(); 6946a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return (Init != NULL && InnerMatcher.matches(*Init, Finder, Builder)); 6956a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 6966a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 6974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches while statements. 6984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 70025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// while (true) {} 70225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// whileStmt() 7044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'while (true) {}'. 7052dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, WhileStmt> whileStmt; 7064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches do statements. 7084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 71025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// do {} while (true); 71225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// doStmt() 7144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'do {} while(true)' 715e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, DoStmt> doStmt; 7164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches case and default statements inside switch statements. 7184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 72025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// switch(a) { case 42: break; default: break; } 72225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// switchCase() 7244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'case 42: break;' and 'default: break;'. 7252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, SwitchCase> switchCase; 7264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches compound statements. 7284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches '{}' and '{{}}'in 'for (;;) {{}}' 73025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {{}} 73225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7332dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CompoundStmt> compoundStmt; 7344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches bool literals. 7364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true 73825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// true 74025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 742e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 743e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXBoolLiteralExpr> boolLiteral; 7444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches string literals (also matches wide string literals). 7464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches "abcd", L"abcd" 74825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char *s = "abcd"; wchar_t *ws = L"abcd" 75025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 752e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 753e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper StringLiteral> stringLiteral; 7544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches character literals (also matches wchar_t). 7564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Not matching Hex-encoded chars (e.g. 0x1234, which is a IntegerLiteral), 7584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// though. 7594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'a', L'a' 76125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char ch = 'a'; wchar_t chw = L'a'; 76325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 765e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 766e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CharacterLiteral> characterLiteral; 7674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches integer literals of all sizes / encodings. 7694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Not matching character-encoded integers such as L'a'. 7714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 1, 1L, 0x1, 1U 7734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 774e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 775e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper IntegerLiteral> integerLiteral; 7764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches binary operator expressions. 7784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a || b 78025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !(a || b) 78225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 784e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 785e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper BinaryOperator> binaryOperator; 7864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches unary operator expressions. 7884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches !a 79025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !a || b 79225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 794e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 795e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper UnaryOperator> unaryOperator; 7964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches conditional operator expressions. 7984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a ? b : c 80025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (a ? b : c) + 42 80225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 804e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 805e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ConditionalOperator> conditionalOperator; 8064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a reinterpret_cast expression. 8084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Either the source expression or the destination type can be matched 8104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// using has(), but hasDestinationType() is more specific and can be 8114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// more readable. 8124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches reinterpret_cast<char*>(&p) in 81425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void* p = reinterpret_cast<char*>(&p); 81625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 818e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 8192dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXReinterpretCastExpr> reinterpretCastExpr; 8204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a C++ static_cast expression. 8224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see hasDestinationType 8244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see reinterpretCast 8254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: 8272dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// staticCastExpr() 8284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 8294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// static_cast<long>(8) 8304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// in 83125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// long eight(static_cast<long>(8)); 83325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 835e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 8362dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXStaticCastExpr> staticCastExpr; 8374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a dynamic_cast expression. 8394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: 8412dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// dynamicCastExpr() 8424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 8434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// dynamic_cast<D*>(&b); 8444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// in 84525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct B { virtual ~B() {} }; struct D : B {}; 8474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// B b; 8484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// D* p = dynamic_cast<D*>(&b); 84925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 851e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 8522dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXDynamicCastExpr> dynamicCastExpr; 8534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a const_cast expression. 8554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Matches const_cast<int*>(&r) in 85725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int n = 42; 85925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// const int &r(n); 8604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int* p = const_cast<int*>(&r); 86125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 863e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 8642dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXConstCastExpr> constCastExpr; 8654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches explicit cast expressions. 8674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Matches any cast expression written in user code, whether it be a 8694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// C-style cast, a functional-style cast, or a keyword cast. 8704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match implicit conversions. 8724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: the name "explicitCast" is chosen to match Clang's terminology, as 8744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Clang uses the term "cast" to apply to implicit conversions as well as to 8754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// actual cast expressions. 8764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see hasDestinationType. 8784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: matches all five of the casts in 88025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int((int)(reinterpret_cast<int>(static_cast<int>(const_cast<int>(42))))) 88225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but does not match the implicit conversion in 88425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// long ell = 42; 88625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 888e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 8892dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ExplicitCastExpr> explicitCastExpr; 8904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the implicit cast nodes of Clang's AST. 8924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// This matches many different places, including function call return value 8944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// eliding, as well as any type conversions. 8954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 896e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 8972dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ImplicitCastExpr> implicitCastExpr; 8984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 899089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches any cast nodes of Clang's AST. 900089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 901089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Example: castExpr() matches each of the following: 90225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 903089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// (int) 3; 904089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const_cast<Expr *>(SubExpr); 905089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char c = 0; 90625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 907089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// but does not match 90825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 909089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int i = (0); 910089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int k = 0; 91125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9122dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Expr, CastExpr> castExpr; 913089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 9144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches functional cast expressions 9154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Matches Foo(bar); 91725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo f = bar; 9194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo g = (Foo) bar; 9204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo h = Foo(bar); 92125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 923e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr, 9242dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXFunctionalCastExpr> functionalCastExpr; 9254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Various overloads for the anyOf matcher. 9274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 92825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 92925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \brief Matches if any of the given matchers matches. 93025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 93125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 93225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2> 93325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, M2> 93425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2) { 9354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 93625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M1, M2 >(P1, P2); 9374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 93825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3> 93925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, 94025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M2, M3> > 94125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2, const M3 &P3) { 9424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(P1, anyOf(P2, P3)); 9434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 94425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3, typename M4> 94525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, 94625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M2, 9474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 94825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M3, M4> > > 94925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2, const M3 &P3, const M4 &P4) { 950ff2fcb8db242a54f72bbb4e5595261e12672ed66Daniel Jasper return anyOf(P1, anyOf(P2, anyOf(P3, P4))); 9514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 95225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3, typename M4, typename M5> 95325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, 95425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M2, 95525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M3, 9564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 95725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M4, M5> > > > 95825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2, const M3 &P3, const M4 &P4, const M5 &P5) { 9594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(P1, anyOf(P2, anyOf(P3, anyOf(P4, P5)))); 9604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 96125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 9624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 9634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Various overloads for the allOf matcher. 9654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 96625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 96725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \brief Matches if all given matchers match. 96825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 96925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 97025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2> 97125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, M1, M2> 97225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekallOf(const M1 &P1, const M2 &P2) { 9734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, 97425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M1, M2>(P1, P2); 9754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 97625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3> 97725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, M1, 97825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, M2, M3> > 97925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekallOf(const M1 &P1, const M2 &P2, const M3 &P3) { 9806a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return allOf(P1, allOf(P2, P3)); 9814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 98225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 9834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 9844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 985e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL) 986e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 987e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 98825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 989e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Foo x = bar; 990e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int y = sizeof(x) + alignof(x); 99125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 992e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr() 993e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(x) and \c alignof(x) 994e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 995e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 996e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper UnaryExprOrTypeTraitExpr> unaryExprOrTypeTraitExpr; 997e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 998e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches unary expressions that have a specific type of argument. 999e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1000e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 100125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1002e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int a, c; float b; int s = sizeof(a) + sizeof(b) + alignof(c); 100325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1004e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr(hasArgumentOfType(asString("int")) 1005e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(a) and \c alignof(c) 1006e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryExprOrTypeTraitExpr, hasArgumentOfType, 100725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<QualType>, InnerMatcher) { 1008e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const QualType ArgumentType = Node.getTypeOfArgument(); 100925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(ArgumentType, Finder, Builder); 1010e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1011e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1012e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches unary expressions of a certain kind. 1013e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1014e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 101525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1016e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int x; 1017e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int s = sizeof(x) + alignof(x) 101825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1019e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr(ofKind(UETT_SizeOf)) 1020e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(x) 1021e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryExprOrTypeTraitExpr, ofKind, UnaryExprOrTypeTrait, Kind) { 1022e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Node.getKind() == Kind; 1023e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1024e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1025e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Same as unaryExprOrTypeTraitExpr, but only matching 1026e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// alignof. 1027e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<Stmt> alignOfExpr( 102825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<UnaryExprOrTypeTraitExpr> &InnerMatcher) { 1029e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<Stmt>(unaryExprOrTypeTraitExpr(allOf( 103025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek ofKind(UETT_AlignOf), InnerMatcher))); 1031e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1032e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1033e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Same as unaryExprOrTypeTraitExpr, but only matching 1034e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// sizeof. 1035e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<Stmt> sizeOfExpr( 103625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<UnaryExprOrTypeTraitExpr> &InnerMatcher) { 1037e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<Stmt>(unaryExprOrTypeTraitExpr(allOf( 103825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek ofKind(UETT_SizeOf), InnerMatcher))); 1039e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1040e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 10414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches NamedDecl nodes that have the specified name. 10424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Supports specifying enclosing namespaces or classes by prefixing the name 10444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with '<enclosing>::'. 10454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match typedefs of an underlying type with the given name. 10464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X (Name == "X") 104825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 10494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X; 105025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 10514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X (Name is one of "::a::b::X", "a::b::X", "b::X", "X") 105325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 105425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// namespace a { namespace b { class X; } } 105525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1056e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(NamedDecl, hasName, std::string, Name) { 10574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek assert(!Name.empty()); 10584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const std::string FullNameString = "::" + Node.getQualifiedNameAsString(); 10594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const llvm::StringRef FullName = FullNameString; 10604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const llvm::StringRef Pattern = Name; 10614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (Pattern.startswith("::")) { 10624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return FullName == Pattern; 10634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } else { 10644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return FullName.endswith(("::" + Pattern).str()); 10654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 10664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 10674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1068e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches NamedDecl nodes whose full names partially match the 1069e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// given RegExp. 1070e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1071e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Supports specifying enclosing namespaces or classes by 1072e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// prefixing the name with '<enclosing>::'. Does not match typedefs 1073e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// of an underlying type with the given name. 1074e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1075e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X (regexp == "::X") 107625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1077e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class X; 107825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1079e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1080e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X (regexp is one of "::X", "^foo::.*X", among others) 108125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 108225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// namespace foo { namespace bar { class X; } } 108325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1084e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(NamedDecl, matchesName, std::string, RegExp) { 1085e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper assert(!RegExp.empty()); 1086e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper std::string FullNameString = "::" + Node.getQualifiedNameAsString(); 1087e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::Regex RE(RegExp); 1088e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return RE.match(FullNameString); 1089e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1090e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 10914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches overloaded operator names. 10924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Matches overloaded operator names specified in strings without the 10944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "operator" prefix, such as "<<", for OverloadedOperatorCall's. 10954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a << b 10972dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher == operatorCallExpr(hasOverloadedOperatorName("<<"))) 109825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 10994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a << b; 11004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// c && d; // assuming both operator<< 11014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// // and operator&& are overloaded somewhere. 110225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1103e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXOperatorCallExpr, 11044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasOverloadedOperatorName, std::string, Name) { 1105e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return getOperatorSpelling(Node.getOperator()) == Name; 11064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ classes that are directly or indirectly derived from 110920b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// a class matching \c Base. 11104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 111176dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// Note that a class is not considered to be derived from itself. 11124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 111376dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// Example matches Y, Z, C (Base == hasName("X")) 111425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 111576dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// class X; 11164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y : public X {}; // directly derived 11174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z : public Y {}; // indirectly derived 11184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef X A; 11194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef A B; 11204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class C : public B {}; // derived from a typedef of X 112125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 11224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 112320b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// In the following example, Bar matches isDerivedFrom(hasName("X")): 112425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 11254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Foo; 11264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef Foo X; 11274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Bar : public Foo {}; // derived from a type that X is a typedef of 112825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 112920b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel JasperAST_MATCHER_P(CXXRecordDecl, isDerivedFrom, 113020b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper internal::Matcher<NamedDecl>, Base) { 113120b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper return Finder->classIsDerivedFrom(&Node, Base, Builder); 113220b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper} 113320b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper 113420b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// \brief Overloaded method as shortcut for \c isDerivedFrom(hasName(...)). 113520b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasperinline internal::Matcher<CXXRecordDecl> isDerivedFrom(StringRef BaseName) { 113620b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper assert(!BaseName.empty()); 113720b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper return isDerivedFrom(hasName(BaseName)); 11384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 114076dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// \brief Similar to \c isDerivedFrom(), but also matches classes that directly 114176dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// match \c Base. 114276dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasperinline internal::Matcher<CXXRecordDecl> isA(internal::Matcher<NamedDecl> Base) { 114376dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper return anyOf(Base, isDerivedFrom(Base)); 114476dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper} 114576dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper 114676dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// \brief Overloaded method as shortcut for \c isA(hasName(...)). 114776dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasperinline internal::Matcher<CXXRecordDecl> isA(StringRef BaseName) { 114876dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper assert(!BaseName.empty()); 114976dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper return isA(hasName(BaseName)); 115076dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper} 115176dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper 11524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have child AST nodes that match the 11534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 11544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11552dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches X, Y (matcher = recordDecl(has(recordDecl(hasName("X"))) 115625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 11574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 11584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 11594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; // Does not match Z. 116025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 11614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ChildT must be an AST base type. 116325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 116425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 11654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ChildT> 11664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasMatcher, ChildT> has( 11674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const internal::Matcher<ChildT> &ChildMatcher) { 11684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher<internal::HasMatcher, 11694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ChildT>(ChildMatcher); 11704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have descendant AST nodes that match the 11734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 11744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, Y, Z 11762dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = recordDecl(hasDescendant(recordDecl(hasName("X"))))) 117725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 11784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 11794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 11804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; 118125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 11824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// DescendantT must be an AST base type. 118425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 118525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 11864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename DescendantT> 11874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasDescendantMatcher, DescendantT> 11884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekhasDescendant(const internal::Matcher<DescendantT> &DescendantMatcher) { 11894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 11904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::HasDescendantMatcher, 11914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek DescendantT>(DescendantMatcher); 11924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 11934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have child AST nodes that match the 11954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 11964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11972dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches X, Y (matcher = recordDecl(forEach(recordDecl(hasName("X"))) 119825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 11994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 12004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 12014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; // Does not match Z. 120225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 12034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ChildT must be an AST base type. 12054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// As opposed to 'has', 'forEach' will cause a match for each result that 12074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches instead of only on the first one. 120825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 120925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 12104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ChildT> 12114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::ForEachMatcher, ChildT> forEach( 121225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<ChildT> &ChildMatcher) { 12134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 12144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ForEachMatcher, 12154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ChildT>(ChildMatcher); 12164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have descendant AST nodes that match the 12194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 12204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, A, B, C 12222dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = recordDecl(forEachDescendant(recordDecl(hasName("X"))))) 122325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 12244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 12254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { class X {}; }; 12264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class B { class C { class X {}; }; }; 122725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 12284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// DescendantT must be an AST base type. 12304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// As opposed to 'hasDescendant', 'forEachDescendant' will cause a match for 12324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// each result that matches instead of only on the first one. 12334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: Recursively combined ForEachDescendant can cause many matches: 12352dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(forEachDescendant(recordDecl(forEachDescendant(recordDecl())))) 12364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// will match 10 times (plus injected class name matches) on: 123725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 12384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { class B { class C { class D { class E {}; }; }; }; }; 123925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 124025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 124125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 12424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename DescendantT> 12434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::ForEachDescendantMatcher, DescendantT> 12444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekforEachDescendant( 124525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<DescendantT> &DescendantMatcher) { 12464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 12474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ForEachDescendantMatcher, 12484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek DescendantT>(DescendantMatcher); 12494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1251579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \brief Matches AST nodes that have an ancestor that matches the provided 1252579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// matcher. 1253579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// 1254579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// Given 1255579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \code 1256579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// void f() { if (true) { int x = 42; } } 1257579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// void g() { for (;;) { int x = 43; } } 1258579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \endcode 1259579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \c expr(integerLiteral(hasAncsestor(ifStmt()))) matches \c 42, but not 43. 1260579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// 1261579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// Usable as: Any Matcher 1262579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimektemplate <typename AncestorT> 1263579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasAncestorMatcher, AncestorT> 1264579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel KlimekhasAncestor(const internal::Matcher<AncestorT> &AncestorMatcher) { 1265579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek return internal::ArgumentAdaptingMatcher< 1266579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek internal::HasAncestorMatcher, 1267579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek AncestorT>(AncestorMatcher); 1268579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek} 1269579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek 12704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the provided matcher does not match. 12714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12722dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches Y (matcher = recordDecl(unless(hasName("X")))) 127325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 12744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 12754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y {}; 127625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 127725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 127825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 12794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename M> 128025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam1<internal::NotMatcher, M> 128125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekunless(const M &InnerMatcher) { 12824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 12834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::NotMatcher, M>(InnerMatcher); 12844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a type if the declaration of the type matches the given 12874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 1288297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1289297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<QualType>, Matcher<CallExpr>, Matcher<CXXConstructExpr> 12904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam1< internal::HasDeclarationMatcher, 1291e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Decl> > 1292e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper hasDeclaration(const internal::Matcher<Decl> &InnerMatcher) { 12934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 12944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::HasDeclarationMatcher, 1295e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Decl> >(InnerMatcher); 12964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches on the implicit object argument of a member call expression. 12994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13002dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches y.x() (matcher = callExpr(on(hasType(recordDecl(hasName("Y")))))) 130125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 13034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y y; y.x(); }", 130425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 13054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Overload to allow directly matching types? 1307e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMemberCallExpr, on, internal::Matcher<Expr>, 13084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1309e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = const_cast<CXXMemberCallExpr&>(Node) 13104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek .getImplicitObjectArgument() 13114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ->IgnoreParenImpCasts(); 13124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 13134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 13144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the call expression's callee expression matches. 13174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 131925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { void x() { this->x(); x(); Y y; y.x(); } }; 13214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f() { f(); } 132225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 13232dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// callExpr(callee(expr())) 13244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x(), x(), y.x(), f() 13254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with callee(...) 13264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching this->x, x, y.x, f respectively 13274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1328e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Note: Callee cannot take the more general internal::Matcher<Expr> 13294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// because this introduces ambiguous overloads with calls to Callee taking a 1330e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// internal::Matcher<Decl>, as the matcher hierarchy is purely 13314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// implemented in terms of implicit casts. 1332e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CallExpr, callee, internal::Matcher<Stmt>, 13334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1334e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = Node.getCallee(); 13354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 13364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 13374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the call expression's callee's declaration matches the 13404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// given matcher. 13414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13422dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches y.x() (matcher = callExpr(callee(methodDecl(hasName("x"))))) 134325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 13454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y y; y.x(); 134625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1347e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<CallExpr> callee( 1348e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1349e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<CallExpr>(hasDeclaration(InnerMatcher)); 13504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the expression's or declaration's type matches a type 13534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 13544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13552dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches x (matcher = expr(hasType(recordDecl(hasName("X"))))) 13562dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// and z (matcher = varDecl(hasType(recordDecl(hasName("X"))))) 135725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 13594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void y(X &x) { x; X z; } 136025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1361e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasType, internal::Matcher<QualType>, 13624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1363e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<Expr, NodeType>::value || 1364e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<ValueDecl, NodeType>::value), 13654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 13664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(Node.getType(), Finder, Builder); 13674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the declaration of the expression's or value 13704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// declaration's type. 13714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// In case of a value declaration (for example a variable declaration), 13734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// this resolves one layer of indirection. For example, in the value 13742dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declaration "X x;", recordDecl(hasName("X")) matches the declaration of X, 13752dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// while varDecl(hasType(recordDecl(hasName("X")))) matches the declaration 13764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// of x." 13774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13782dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches x (matcher = expr(hasType(recordDecl(hasName("X"))))) 13792dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// and z (matcher = varDecl(hasType(recordDecl(hasName("X"))))) 138025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 13824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void y(X &x) { x; X z; } 138325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1384297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1385297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<Expr>, Matcher<ValueDecl> 13864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam1< 13874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::matcher_hasTypeMatcher, 1388e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType> > 1389e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperhasType(const internal::Matcher<Decl> &InnerMatcher) { 1390e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return hasType(internal::Matcher<QualType>( 13914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 13924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1394e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches if the matched type is represented by the given string. 1395e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1396e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 139725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1398e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class Y { public: void x(); }; 1399e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void z() { Y* y; y->x(); } 140025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 14012dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// callExpr(on(hasType(asString("class Y *")))) 1402e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches y->x() 1403e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(QualType, asString, std::string, Name) { 1404e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Name == Node.getAsString(); 1405e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1406e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 14074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the matched type is a pointer type and the pointee type 14084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches the specified matcher. 14094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y->x() 14112dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = callExpr(on(hasType(pointsTo(recordDecl(hasName("Y"))))))) 141225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 14134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 14144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y *y; y->x(); } 141525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 14164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_MATCHER_P( 1417e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper QualType, pointsTo, internal::Matcher<QualType>, 14184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1419e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return (!Node.isNull() && Node->isPointerType() && 14204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(Node->getPointeeType(), Finder, Builder)); 14214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the pointee type's declaration. 1424e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> pointsTo( 1425e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1426e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return pointsTo(internal::Matcher<QualType>( 14274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 14284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the matched type is a reference type and the referenced 14314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// type matches the specified matcher. 14324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X &x and const X &y 14342dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = varDecl(hasType(references(recordDecl(hasName("X")))))) 143525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 14364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { 14374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void a(X b) { 14384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// X &x = b; 14394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// const X &y = b; 14404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 144125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1442e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(QualType, references, internal::Matcher<QualType>, 14434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1444e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return (!Node.isNull() && Node->isReferenceType() && 14454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(Node->getPointeeType(), Finder, Builder)); 14464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the referenced type's declaration. 1449e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> references( 1450e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1451e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return references(internal::Matcher<QualType>( 14524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 14534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1455e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMemberCallExpr, onImplicitObjectArgument, 1456e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1457e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = 1458e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const_cast<CXXMemberCallExpr&>(Node).getImplicitObjectArgument(); 14594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 14604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 14614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the expression's type either matches the specified 14644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher, or is a pointer to a type that matches the InnerMatcher. 14659f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimekinline internal::Matcher<CXXMemberCallExpr> thisPointerType( 1466e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<QualType> &InnerMatcher) { 14674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return onImplicitObjectArgument( 14684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek anyOf(hasType(InnerMatcher), hasType(pointsTo(InnerMatcher)))); 14694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the type's declaration. 14729f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimekinline internal::Matcher<CXXMemberCallExpr> thisPointerType( 1473e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 14744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return onImplicitObjectArgument( 14754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek anyOf(hasType(InnerMatcher), hasType(pointsTo(InnerMatcher)))); 14764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a DeclRefExpr that refers to a declaration that matches the 14794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// specified matcher. 14804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x in if(x) 14822dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = declRefExpr(to(varDecl(hasName("x"))))) 148325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 14844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x; 14854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 148625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1487e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(DeclRefExpr, to, internal::Matcher<Decl>, 14884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1489e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Decl *DeclNode = Node.getDecl(); 14904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (DeclNode != NULL && 14914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*DeclNode, Finder, Builder)); 14924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1494e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a \c DeclRefExpr that refers to a declaration through a 1495e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// specific using shadow declaration. 1496e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1497e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// FIXME: This currently only works for functions. Fix. 1498e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1499e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 150025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1501e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace a { void f() {} } 1502e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using a::f; 1503e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void g() { 1504e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// f(); // Matches this .. 1505e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// a::f(); // .. but not this. 1506e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// } 150725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 15082dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declRefExpr(throughUsingDeclaration(anything())) 1509e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c f() 1510e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(DeclRefExpr, throughUsingDecl, 151125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<UsingShadowDecl>, InnerMatcher) { 1512e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const NamedDecl *FoundDecl = Node.getFoundDecl(); 1513e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const UsingShadowDecl *UsingDecl = 1514e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::dyn_cast<UsingShadowDecl>(FoundDecl)) 151525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*UsingDecl, Finder, Builder); 1516e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1517e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1518e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1519425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches the Decl of a DeclStmt which has a single declaration. 1520425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1521425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Given 152225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1523425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b; 1524425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 152525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 15262dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt(hasSingleDecl(anything())) 1527425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int c;' but not 'int a, b;'. 1528425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P(DeclStmt, hasSingleDecl, internal::Matcher<Decl>, InnerMatcher) { 1529425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer if (Node.isSingleDecl()) { 1530425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer const Decl *FoundDecl = Node.getSingleDecl(); 1531425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return InnerMatcher.matches(*FoundDecl, Finder, Builder); 1532425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer } 1533425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return false; 1534425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1535425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 15364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a variable declaration that has an initializer expression 15374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// that matches the given matcher. 15384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15392dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches x (matcher = varDecl(hasInitializer(callExpr()))) 154025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 15414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool y() { return true; } 15424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x = y(); 154325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 15444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_MATCHER_P( 1545e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper VarDecl, hasInitializer, internal::Matcher<Expr>, 15464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1547e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *Initializer = Node.getAnyInitializer(); 15484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Initializer != NULL && 15494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Initializer, Finder, Builder)); 15504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Checks that a call expression or a constructor call expression has 15534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a specific number of arguments (including absent default arguments). 15544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15552dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches f(0, 0) (matcher = callExpr(argumentCountIs(2))) 155625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 15574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(int x, int y); 15584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(0, 0); 155925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 15604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P(argumentCountIs, unsigned, N) { 1561e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1562e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 15634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 15644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 15654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.getNumArgs() == N; 15664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the n'th argument of a call expression or a constructor 15694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// call expression. 15704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y in x(y) 15722dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = callExpr(hasArgument(0, declRefExpr()))) 157325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 15744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x(int) { int y; x(y); } 157525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 15764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P2( 1577e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper hasArgument, unsigned, N, internal::Matcher<Expr>, InnerMatcher) { 1578e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1579e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 15804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 15814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 15824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (N < Node.getNumArgs() && 15834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches( 15844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek *Node.getArg(N)->IgnoreParenImpCasts(), Finder, Builder)); 15854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1587425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches declaration statements that contain a specific number of 1588425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declarations. 1589425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1590425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Example: Given 159125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1592425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b; 1593425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 1594425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int d = 2, e; 159525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1596425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declCountIs(2) 1597425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int a, b;' and 'int d = 2, e;', but not 'int c;'. 1598425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P(DeclStmt, declCountIs, unsigned, N) { 1599217c484522926f9fc664ec3bfaf3cffe456244b0Benjamin Kramer return std::distance(Node.decl_begin(), Node.decl_end()) == (ptrdiff_t)N; 1600425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1601425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 1602425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches the n'th declaration of a declaration statement. 1603425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1604425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Note that this does not work for global declarations because the AST 1605425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// breaks up multiple-declaration DeclStmt's into multiple single-declaration 1606425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// DeclStmt's. 1607425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Example: Given non-global declarations 160825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1609425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b = 0; 1610425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 1611425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int d = 2, e; 161225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 16132dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt(containsDeclaration( 16142dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// 0, varDecl(hasInitializer(anything())))) 1615425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches only 'int d = 2, e;', and 16162dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt(containsDeclaration(1, varDecl())) 161725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1618425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int a, b = 0' as well as 'int d = 2, e;' 1619425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// but 'int c;' is not matched. 162025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1621425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P2(DeclStmt, containsDeclaration, unsigned, N, 1622425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer internal::Matcher<Decl>, InnerMatcher) { 1623425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer const unsigned NumDecls = std::distance(Node.decl_begin(), Node.decl_end()); 1624425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer if (N >= NumDecls) 1625425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return false; 1626425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer DeclStmt::const_decl_iterator Iterator = Node.decl_begin(); 1627425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer std::advance(Iterator, N); 1628425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return InnerMatcher.matches(**Iterator, Finder, Builder); 1629425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1630425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 16314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a constructor initializer. 16324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 163425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 16354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 16364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 16374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 16384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 163925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 16402dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(has(constructorDecl(hasAnyConstructorInitializer(anything())))) 1641e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// record matches Foo, hasAnyConstructorInitializer matches foo_(1) 1642e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXConstructorDecl, hasAnyConstructorInitializer, 1643e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<CXXCtorInitializer>, InnerMatcher) { 1644e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (CXXConstructorDecl::init_const_iterator I = Node.init_begin(); 16454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek I != Node.init_end(); ++I) { 16464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(**I, Finder, Builder)) { 16474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 16484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 16494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 16504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 16514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the field declaration of a constructor initializer. 16544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 165625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 16574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 16584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 16594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 16604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 166125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 16622dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(has(constructorDecl(hasAnyConstructorInitializer( 16634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// forField(hasName("foo_")))))) 16644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches Foo 16654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with forField matching foo_ 1666e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXCtorInitializer, forField, 1667e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<FieldDecl>, InnerMatcher) { 1668e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const FieldDecl *NodeAsDecl = Node.getMember(); 16694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (NodeAsDecl != NULL && 16704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*NodeAsDecl, Finder, Builder)); 16714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the initializer expression of a constructor initializer. 16744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 167625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 16774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 16784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 16794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 16804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 168125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 16822dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(has(constructorDecl(hasAnyConstructorInitializer( 16834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// withInitializer(integerLiteral(equals(1))))))) 16844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches Foo 16854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with withInitializer matching (1) 1686e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXCtorInitializer, withInitializer, 1687e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1688e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr* NodeAsExpr = Node.getInit(); 16894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (NodeAsExpr != NULL && 16904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*NodeAsExpr, Finder, Builder)); 16914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a contructor initializer if it is explicitly written in 16944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// code (as opposed to implicitly added by the compiler). 16954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 169725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 16984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 16994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() { } 17004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(int) : foo_("A") { } 17014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// string foo_; 17024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 170325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17042dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// constructorDecl(hasAnyConstructorInitializer(isWritten())) 17054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// will match Foo(int), but not Foo() 1706e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER(CXXCtorInitializer, isWritten) { 17074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.isWritten(); 17084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a constructor declaration that has been implicitly added 17114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// by the compiler (eg. implicit default/copy constructors). 1712e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER(CXXConstructorDecl, isImplicit) { 17134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.isImplicit(); 17144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any argument of a call expression or a constructor call 17174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// expression. 17184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 172025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 17214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x(int, int, int) { int y; x(1, y, 42); } 172225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17232dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// callExpr(hasAnyArgument(declRefExpr())) 17244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches x(1, y, 42) 17254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasAnyArgument(...) 17264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching y 1727e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasAnyArgument, internal::Matcher<Expr>, 17284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1729e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1730e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 17314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 17324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 17334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek for (unsigned I = 0; I < Node.getNumArgs(); ++I) { 17344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(*Node.getArg(I)->IgnoreParenImpCasts(), 17354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek Finder, Builder)) { 17364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 17374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 17384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 17394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 17404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the n'th parameter of a function declaration. 17434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 174525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 17464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void f(int x) {} }; 174725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17482dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// methodDecl(hasParameter(0, hasType(varDecl()))) 17494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches f(int x) {} 17504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasParameter(...) 17514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching int x 1752e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P2(FunctionDecl, hasParameter, 1753e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper unsigned, N, internal::Matcher<ParmVarDecl>, 17544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 17554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (N < Node.getNumParams() && 17564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches( 17574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek *Node.getParamDecl(N), Finder, Builder)); 17584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any parameter of a function declaration. 17614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match the 'this' parameter of a method. 17634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 176525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 17664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void f(int x, int y, int z) {} }; 176725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17682dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// methodDecl(hasAnyParameter(hasName("y"))) 17694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches f(int x, int y, int z) {} 17704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasAnyParameter(...) 17714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching int y 1772e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(FunctionDecl, hasAnyParameter, 1773e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<ParmVarDecl>, InnerMatcher) { 17744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek for (unsigned I = 0; I < Node.getNumParams(); ++I) { 17754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(*Node.getParamDecl(I), Finder, Builder)) { 17764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 17774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 17784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 17794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 17804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1782e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the return type of a function declaration. 1783e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1784e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given: 178525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1786e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class X { int f() { return 1; } }; 178725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17882dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// methodDecl(returns(asString("int"))) 1789e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches int f() { return 1; } 179025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekAST_MATCHER_P(FunctionDecl, returns, 179125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<QualType>, InnerMatcher) { 179225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(Node.getResultType(), Finder, Builder); 1793e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1794e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 17958cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// \brief Matches extern "C" function declarations. 17968cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// 17978cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// Given: 179825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 17998cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// extern "C" void f() {} 18008cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// extern "C" { void g() {} } 18018cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// void h() {} 180225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18032dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(isExternC()) 18048cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// matches the declaration of f and g, but not the declaration h 18058cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel JasperAST_MATCHER(FunctionDecl, isExternC) { 18068cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper return Node.isExternC(); 18078cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper} 18088cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper 18096a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the condition expression of an if statement, for loop, 18106a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// or conditional operator. 18114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 181325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (true) {} 181525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1816e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasCondition, internal::Matcher<Expr>, 18174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 18184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek TOOLING_COMPILE_ASSERT( 1819e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<IfStmt, NodeType>::value) || 18206a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<ForStmt, NodeType>::value) || 18216a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<WhileStmt, NodeType>::value) || 18226a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<DoStmt, NodeType>::value) || 1823e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<ConditionalOperator, NodeType>::value), 18246a12449ec8862211856447d3df4c082a346339f2Daniel Jasper has_condition_requires_if_statement_conditional_operator_or_loop); 1825e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *const Condition = Node.getCond(); 18264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Condition != NULL && 18274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Condition, Finder, Builder)); 18284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the condition variable statement in an if statement. 18314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 183325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (A* a = GetAPointer()) {} 183525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasConditionVariableStatment(...) 18374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'A* a = GetAPointer()'. 1838e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(IfStmt, hasConditionVariableStatement, 1839e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<DeclStmt>, InnerMatcher) { 1840e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const DeclStmt* const DeclarationStatement = 18414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek Node.getConditionVariableDeclStmt(); 18424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return DeclarationStatement != NULL && 18434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*DeclarationStatement, Finder, Builder); 18444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1846e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the index expression of an array subscript expression. 1847e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1848e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 184925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1850e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i[5]; 1851e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void f() { i[1] = 42; } 185225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1853e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// arraySubscriptExpression(hasIndex(integerLiteral())) 1854e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c i[1] with the \c integerLiteral() matching \c 1 1855e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ArraySubscriptExpr, hasIndex, 185625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<Expr>, InnerMatcher) { 1857e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Expr* Expression = Node.getIdx()) 185825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*Expression, Finder, Builder); 1859e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1860e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1861e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1862e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the base expression of an array subscript expression. 1863e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1864e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 186525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1866e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i[5]; 1867e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void f() { i[1] = 42; } 186825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18692dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// arraySubscriptExpression(hasBase(implicitCastExpr( 18702dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasSourceExpression(declRefExpr())))) 18712dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// matches \c i[1] with the \c declRefExpr() matching \c i 1872e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ArraySubscriptExpr, hasBase, 187325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<Expr>, InnerMatcher) { 1874e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Expr* Expression = Node.getBase()) 187525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*Expression, Finder, Builder); 1876e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1877e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1878e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 18796a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches a 'for', 'while', or 'do while' statement that has 18806a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// a given body. 18814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 188325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {} 188525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18862dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasBody(compoundStmt()) 18874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'for (;;) {}' 18882dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// with compoundStmt() 18894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching '{}' 18906a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_POLYMORPHIC_MATCHER_P(hasBody, internal::Matcher<Stmt>, 18916a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 18926a12449ec8862211856447d3df4c082a346339f2Daniel Jasper TOOLING_COMPILE_ASSERT( 18936a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<DoStmt, NodeType>::value) || 18946a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<ForStmt, NodeType>::value) || 18956a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<WhileStmt, NodeType>::value), 18966a12449ec8862211856447d3df4c082a346339f2Daniel Jasper has_body_requires_for_while_or_do_statement); 1897e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Stmt *const Statement = Node.getBody(); 18984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Statement != NULL && 18994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Statement, Finder, Builder)); 19004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches compound statements where at least one substatement matches 19034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a given matcher. 19044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 190625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { {}; 1+2; } 190825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19092dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasAnySubstatement(compoundStmt()) 19104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches '{ {}; 1+2; }' 19112dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// with compoundStmt() 19124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching '{}' 1913e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CompoundStmt, hasAnySubstatement, 1914e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Stmt>, InnerMatcher) { 1915e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (CompoundStmt::const_body_iterator It = Node.body_begin(); 19164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek It != Node.body_end(); 19174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ++It) { 19184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(**It, Finder, Builder)) return true; 19194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 19204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 19214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Checks that a compound statement contains a specific number of 19244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// child statements. 19254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Given 192725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { for (;;) {} } 192925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19302dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// compoundStmt(statementCountIs(0))) 19314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches '{}' 19324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but does not match the outer compound statement. 1933e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CompoundStmt, statementCountIs, unsigned, N) { 19344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.size() == N; 19354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches literals that are equal to the given value. 19384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = boolLiteral(equals(true))) 194025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// true 194225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1943297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1944297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<CharacterLiteral>, Matcher<CXXBoolLiteral>, 1945297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Matcher<FloatingLiteral>, Matcher<IntegerLiteral> 19464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ValueT> 19474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam1<internal::ValueEqualsMatcher, ValueT> 19484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekequals(const ValueT &Value) { 19494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 19504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ValueEqualsMatcher, 19514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ValueT>(Value); 19524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the operator Name of operator expressions (binary or 19554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// unary). 19564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a || b (matcher = binaryOperator(hasOperatorName("||"))) 195825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !(a || b) 196025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P(hasOperatorName, std::string, Name) { 19624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek TOOLING_COMPILE_ASSERT( 1963e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<BinaryOperator, NodeType>::value) || 1964e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<UnaryOperator, NodeType>::value), 19654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek has_condition_requires_if_statement_or_conditional_operator); 19664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Name == Node.getOpcodeStr(Node.getOpcode()); 19674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the left hand side of binary operator expressions. 19704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a (matcher = binaryOperator(hasLHS())) 197225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a || b 197425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1975e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(BinaryOperator, hasLHS, 1976e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1977e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *LeftHandSide = Node.getLHS(); 19784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (LeftHandSide != NULL && 19794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*LeftHandSide, Finder, Builder)); 19804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the right hand side of binary operator expressions. 19834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches b (matcher = binaryOperator(hasRHS())) 198525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a || b 198725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1988e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(BinaryOperator, hasRHS, 1989e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1990e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *RightHandSide = Node.getRHS(); 19914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (RightHandSide != NULL && 19924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*RightHandSide, Finder, Builder)); 19934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if either the left hand side or the right hand side of a 19964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// binary operator matches. 1997e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<BinaryOperator> hasEitherOperand( 1998e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Expr> &InnerMatcher) { 19994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(hasLHS(InnerMatcher), hasRHS(InnerMatcher)); 20004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the operand of a unary operator matches. 20034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = hasOperand(boolLiteral(equals(true)))) 200525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !true 200725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2008e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryOperator, hasUnaryOperand, 2009e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2010e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr * const Operand = Node.getSubExpr(); 20114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Operand != NULL && 20124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Operand, Finder, Builder)); 20134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 2015715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \brief Matches if the cast's source expression matches the given matcher. 20164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: matches "a string" (matcher = 20182dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasSourceExpression(constructExpr())) 201925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class URL { URL(string); }; 20214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// URL url = "a string"; 2022715c9568ee5d75f25dab98229c87bcec880daf5dManuel KlimekAST_MATCHER_P(CastExpr, hasSourceExpression, 2023e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2024e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr* const SubExpression = Node.getSubExpr(); 20254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (SubExpression != NULL && 20264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*SubExpression, Finder, Builder)); 20274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches casts whose destination type matches a given matcher. 20304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (Note: Clang's AST refers to other conversions as "casts" too, and calls 20324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// actual casts "explicit" casts.) 2033e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ExplicitCastExpr, hasDestinationType, 2034e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, InnerMatcher) { 2035e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const QualType NodeType = Node.getTypeAsWritten(); 20364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(NodeType, Finder, Builder); 20374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches implicit casts whose destination type matches a given 20404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 20414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Unit test this matcher 2043e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ImplicitCastExpr, hasImplicitDestinationType, 2044e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, InnerMatcher) { 20454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(Node.getType(), Finder, Builder); 20464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the true branch expression of a conditional operator. 20494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a 205125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// condition ? a : b 205325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2054e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ConditionalOperator, hasTrueExpression, 2055e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2056e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *Expression = Node.getTrueExpr(); 20574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Expression != NULL && 20584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Expression, Finder, Builder)); 20594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the false branch expression of a conditional operator. 20624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches b 206425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// condition ? a : b 206625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2067e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ConditionalOperator, hasFalseExpression, 2068e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2069e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *Expression = Node.getFalseExpr(); 20704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Expression != NULL && 20714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Expression, Finder, Builder)); 20724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if a declaration has a body attached. 20754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches A, va, fa 207725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A {}; 20794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class B; // Doesn't match, as it has no body. 20804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int va; 20814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// extern int vb; // Doesn't match, as it doesn't define the variable. 20824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void fa() {} 20834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void fb(); // Doesn't match, as it has no body. 208425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2085297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 2086297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<TagDecl>, Matcher<VarDecl>, Matcher<FunctionDecl> 20874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0<internal::IsDefinitionMatcher> 20884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekisDefinition() { 20894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0< 20904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsDefinitionMatcher>(); 20914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the class declaration that the given method declaration 20944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// belongs to. 20954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Generalize this for other kinds of declarations. 20974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: What other kind of declarations would we need to generalize 20984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// this to? 20994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches A() in the last line 21012dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = constructExpr(hasDeclaration(methodDecl( 21024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ofClass(hasName("A")))))) 210325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { 21054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// public: 21064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// A(); 21074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 21084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// A a = A(); 210925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2110e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMethodDecl, ofClass, 2111e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<CXXRecordDecl>, InnerMatcher) { 2112e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const CXXRecordDecl *Parent = Node.getParent(); 21134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Parent != NULL && 21144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Parent, Finder, Builder)); 21154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches member expressions that are called with '->' as opposed 21184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// to '.'. 21194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Member calls on the implicit this pointer match as called with '->'. 21214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 212325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { 21254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 21264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 21274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// static int b; 21284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 212925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 21302dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr(isArrow()) 21314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x, x, y.x, a, this->b 2132e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<MemberExpr> isArrow() { 21334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return makeMatcher(new internal::IsArrowMatcher()); 21344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21366a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches QualType nodes that are of integer type. 21376a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 21386a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Given 213925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21406a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void a(int); 21416a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void b(long); 21426a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void c(double); 214325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 21442dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(hasAnyParameter(hasType(isInteger()))) 21456a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches "a(int)", "b(long)", but not "c(double)". 21466a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER(QualType, isInteger) { 21476a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return Node->isIntegerType(); 21486a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 21496a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 2150e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches QualType nodes that are const-qualified, i.e., that 21514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// include "top-level" const. 21524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 215425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void a(int); 21564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void b(int const); 21574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void c(const int); 21584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void d(const int*); 21594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void e(int const) {}; 216025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 21612dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(hasAnyParameter(hasType(isConstQualified()))) 21624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches "void b(int const)", "void c(const int)" and 21634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "void e(int const) {}". It does not match d as there 21644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// is no top-level const on the parameter type "const int *". 2165e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> isConstQualified() { 21664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return makeMatcher(new internal::IsConstQualifiedMatcher()); 21674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a member expression where the member is matched by a 21704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// given matcher. 21714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 217325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct { int first, second; } first, second; 21754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int i(second.first); 21764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int j(first.second); 217725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 21782dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr(member(hasName("first"))) 21794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches second.first 21804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but not first.second (because the member name there is "second"). 2181e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(MemberExpr, member, 2182e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<ValueDecl>, InnerMatcher) { 21834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(*Node.getMemberDecl(), Finder, Builder); 21844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a member expression where the object expression is 21874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matched by a given matcher. 21884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 219025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct X { int m; }; 21924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(X x) { x.m; m; } 219325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 21942dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr(hasObjectExpression(hasType(recordDecl(hasName("X"))))))) 21954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches "x.m" and "m" 21964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasObjectExpression(...) 21974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching "x" and the implicit object expression of "m" which has type X*. 2198e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(MemberExpr, hasObjectExpression, 2199e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 22004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(*Node.getBase(), Finder, Builder); 22014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 2203e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches any using shadow declaration. 2204e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 2205e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 220625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2207e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { void b(); } 2208e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::b; 220925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2210e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// usingDecl(hasAnyUsingShadowDecl(hasName("b")))) 2211e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::b \endcode 2212e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UsingDecl, hasAnyUsingShadowDecl, 221325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<UsingShadowDecl>, InnerMatcher) { 2214e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (UsingDecl::shadow_iterator II = Node.shadow_begin(); 2215e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper II != Node.shadow_end(); ++II) { 221625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek if (InnerMatcher.matches(**II, Finder, Builder)) 2217e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return true; 2218e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper } 2219e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 2220e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 2221e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 2222e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a using shadow declaration where the target declaration is 2223e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matched by the given matcher. 2224e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 2225e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 222625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2227e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { int a; void b(); } 2228e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::a; 2229e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::b; 223025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 22312dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// usingDecl(hasAnyUsingShadowDecl(hasTargetDecl(functionDecl()))) 2232e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::b \endcode 2233e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// but not \code using X::a \endcode 2234e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UsingShadowDecl, hasTargetDecl, 223525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<NamedDecl>, InnerMatcher) { 223625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*Node.getTargetDecl(), Finder, Builder); 2237e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 2238e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 22394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches template instantiations of function, class, or static 22404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// member variable template instantiations. 22414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 224325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <typename T> class X {}; class A {}; X<A> x; 224525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 22464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// or 224725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <typename T> class X {}; class A {}; template class X<A>; 224925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 22502dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(hasName("::X"), isTemplateInstantiation()) 22514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches the template instantiation of X<A>. 22524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// But given 225425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 225525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// template <typename T> class X {}; class A {}; 22564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <> class X<A> {}; X<A> x; 225725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 22582dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(hasName("::X"), isTemplateInstantiation()) 22594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// does not match, as X<A> is an explicit template specialization. 2260297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 2261297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<FunctionDecl>, Matcher<VarDecl>, Matcher<CXXRecordDecl> 22624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0< 22634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsTemplateInstantiationMatcher> 22644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekisTemplateInstantiation() { 22654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0< 22664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsTemplateInstantiationMatcher>(); 22674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22698456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches explicit template specializations of function, class, or 22708456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// static member variable template instantiations. 22718456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 22728456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// Given 227325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22748456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<typename T> void A(T t) { } 22758456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<> void A(int N) { } 227625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 22772dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(isExplicitTemplateSpecialization()) 22788456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// matches the specialization A<int>(). 227925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 228025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Matcher<FunctionDecl>, Matcher<VarDecl>, Matcher<CXXRecordDecl> 22818456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoinline internal::PolymorphicMatcherWithParam0< 22828456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko internal::IsExplicitTemplateSpecializationMatcher> 22838456ae602783b615019a42f7d5c6f0e71639b11bDmitri GribenkoisExplicitTemplateSpecialization() { 22848456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko return internal::PolymorphicMatcherWithParam0< 22858456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko internal::IsExplicitTemplateSpecializationMatcher>(); 22868456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko} 22878456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko 22884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} // end namespace ast_matchers 22894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} // end namespace clang 22904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#endif // LLVM_CLANG_AST_MATCHERS_AST_MATCHERS_H 2292