ASTMatchers.h revision 31f7c08a0d2b140bf31a08894d1948649de53c15
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; 113a7564433191601cb8851196b8dde39392c9c05eeDaniel Jaspertypedef internal::Matcher<NestedNameSpecifier> NestedNameSpecifierMatcher; 114a7564433191601cb8851196b8dde39392c9c05eeDaniel Jaspertypedef internal::Matcher<NestedNameSpecifierLoc> NestedNameSpecifierLocMatcher; 1154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 1164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any node. 1184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Useful when another matcher requires a child matcher, but there's no 1204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// additional constraint. This will often be used with an explicit conversion 12125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// to an \c internal::Matcher<> type such as \c TypeMatcher. 1224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example: \c DeclarationMatcher(anything()) matches all declarations, e.g., 12425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "int* p" and "void f()" in 1264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int* p; 1274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(); 12825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 12925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 13025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 1314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0<internal::TrueMatcher> anything() { 1324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0<internal::TrueMatcher>(); 1334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 1344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 135715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \brief Matches declarations. 136715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// 137715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// Examples matches \c X, \c C, and the friend declaration inside \c C; 138715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \code 139715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// void X(); 140715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// class C { 141715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// friend X; 142715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// }; 143715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \endcode 144715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimekconst internal::VariadicDynCastAllOfMatcher<Decl, Decl> decl; 145715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek 1464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a declaration of anything that could have a name. 1474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example matches \c X, \c S, the anonymous union type, \c i, and \c U; 14925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef int X; 1514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct S { 1524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// union { 1534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int i; 1544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// } U; 1554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 15625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1572dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, NamedDecl> namedDecl; 1584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ class declarations. 1604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example matches \c X, \c Z 16225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X; 1644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template<class T> class Z {}; 16525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 167e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 1682dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXRecordDecl> recordDecl; 169e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1708456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches C++ class template declarations. 1718456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 17225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Example matches \c Z 17325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1748456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<class T> class Z {}; 17525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1768456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoconst internal::VariadicDynCastAllOfMatcher< 1778456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko Decl, 1782dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ClassTemplateDecl> classTemplateDecl; 1798456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko 180e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches C++ class template specializations. 181e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 182e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 18325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 184e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> class A {}; 185e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<> class A<double> {}; 186e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int> a; 18725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1882dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl() 189e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specializations \c A<int> and \c A<double> 190e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 191e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 1922dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ClassTemplateSpecializationDecl> classTemplateSpecializationDecl; 193e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 194e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches classTemplateSpecializations that have at least one 19525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// TemplateArgument matching the given InnerMatcher. 196e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 197e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 19825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 199e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> class A {}; 200e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<> class A<double> {}; 201e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int> a; 20225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2032dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasAnyTemplateArgument( 204e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// refersToType(asString("int")))) 205e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<int> 206e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ClassTemplateSpecializationDecl, hasAnyTemplateArgument, 20725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<TemplateArgument>, InnerMatcher) { 208e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const TemplateArgumentList &List = Node.getTemplateArgs(); 209e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (unsigned i = 0; i < List.size(); ++i) { 21025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek if (InnerMatcher.matches(List.get(i), Finder, Builder)) 211e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return true; 212e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper } 213e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 214e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 215e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 216089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after any implicit casts 217089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// are stripped off. 218089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 219089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Parentheses and explicit casts are not discarded. 220089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 22125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 222089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int arr[5]; 223089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 224089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = 0; 225089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const int c = a; 226089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int *d = arr; 227089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// long e = (long) 0l; 22825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 229089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matchers 23025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2312dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringImpCasts(integerLiteral()))) 2322dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringImpCasts(declRefExpr()))) 23325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 234089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d, but not e. 23525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// While 23625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2372dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(integerLiteral())) 2382dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(declRefExpr())) 23925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 240089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// only match the declarations for b, c, and d. 241089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringImpCasts, 242089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer internal::Matcher<Expr>, InnerMatcher) { 243089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreImpCasts(), Finder, Builder); 244089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 245089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 246089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after parentheses and 247089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// casts are stripped off. 248089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 249089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Implicit and non-C Style casts are also discarded. 250089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 25125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 252089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 253089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = (0); 254089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// void* c = reinterpret_cast<char*>(0); 255089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char d = char(0); 25625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 257089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matcher 2582dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringParenCasts(integerLiteral()))) 259089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d. 260089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// while 2612dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(integerLiteral())) 262089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// only match the declaration for a. 263089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringParenCasts, internal::Matcher<Expr>, InnerMatcher) { 264089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreParenCasts(), Finder, Builder); 265089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 266089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 267089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches expressions that match InnerMatcher after implicit casts and 268089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// parentheses are stripped off. 269089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 270089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Explicit casts are not discarded. 271089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Given 27225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 273089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int arr[5]; 274089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int a = 0; 275089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char b = (0); 276089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const int c = a; 277089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int *d = (arr); 278089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// long e = ((long) 0l); 27925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 280089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// The matchers 2812dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringParenImpCasts(integerLiteral()))) 2822dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(ignoringParenImpCasts(declRefExpr()))) 283089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would match the declarations for a, b, c, and d, but not e. 284089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// while 2852dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(integerLiteral())) 2862dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// varDecl(hasInitializer(declRefExpr())) 287089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// would only match the declaration for a. 288089e5b3bf2e57da0173b170ad501867b43395385Sam PanzerAST_MATCHER_P(Expr, ignoringParenImpCasts, 289089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer internal::Matcher<Expr>, InnerMatcher) { 290089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer return InnerMatcher.matches(*Node.IgnoreParenImpCasts(), Finder, Builder); 291089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer} 292089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 293e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches classTemplateSpecializations where the n'th TemplateArgument 29425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// matches the given InnerMatcher. 295e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 296e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 29725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 298e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T, typename U> class A {}; 299e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<bool, int> b; 300e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<int, bool> c; 30125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3022dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasTemplateArgument( 303e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1, refersToType(asString("int")))) 304e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<bool, int> 305e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P2(ClassTemplateSpecializationDecl, hasTemplateArgument, 30625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek unsigned, N, internal::Matcher<TemplateArgument>, InnerMatcher) { 307e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const TemplateArgumentList &List = Node.getTemplateArgs(); 308e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (List.size() <= N) 309e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 31025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(List.get(N), Finder, Builder); 311e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 312e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 313e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a TemplateArgument that refers to a certain type. 314e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 315e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 31625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 317e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct X {}; 318e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> struct A {}; 319e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<X> a; 32025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3212dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasAnyTemplateArgument( 322e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// refersToType(class(hasName("X"))))) 323e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches the specialization \c A<X> 324e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(TemplateArgument, refersToType, 32525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<QualType>, InnerMatcher) { 326e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (Node.getKind() != TemplateArgument::Type) 327e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 32825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(Node.getAsType(), Finder, Builder); 329e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 330e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 331e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a TemplateArgument that refers to a certain declaration. 332e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 333e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 33425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 335e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// template<typename T> struct A {}; 336e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct B { B* next; }; 337e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A<&B::next> a; 33825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3392dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// classTemplateSpecializationDecl(hasAnyTemplateArgument( 3402dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// refersToDeclaration(fieldDecl(hasName("next")))) 3412dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// matches the specialization \c A<&B::next> with \c fieldDecl(...) matching 342e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \c B::next 343e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(TemplateArgument, refersToDeclaration, 34425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<Decl>, InnerMatcher) { 345aaa8e45b8e392a1f1b7498e2f00c6ed66d41119aDaniel Jasper if (Node.getKind() == TemplateArgument::Declaration) 346aaa8e45b8e392a1f1b7498e2f00c6ed66d41119aDaniel Jasper return InnerMatcher.matches(*Node.getAsDecl(), Finder, Builder); 347e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 348e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 3494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 3504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ constructor declarations. 3514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 3524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches Foo::Foo() and Foo::Foo(int) 35325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 3544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Foo { 3554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// public: 3564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(); 3574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(int); 3584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int DoSomething(); 3594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 36025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 362e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 3632dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXConstructorDecl> constructorDecl; 364e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 365e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches explicit C++ destructor declarations. 366e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 367e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches Foo::~Foo() 36825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 369e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class Foo { 370e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// public: 371e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// virtual ~Foo(); 372e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 37325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 3742dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher< 3752dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper Decl, 3762dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXDestructorDecl> destructorDecl; 377e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 378e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches enum declarations. 379e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 380e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X 38125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 382e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// enum X { 383e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A, B, C 384e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 38525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 386e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, EnumDecl> enumDecl; 387e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 388e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches enum constants. 389e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 390e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches A, B, C 39125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 392e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// enum X { 393e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// A, B, C 394e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// }; 39525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 396e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 397e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Decl, 3982dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper EnumConstantDecl> enumConstantDecl; 3994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches method declarations. 4014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y 40325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void y() }; 40525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4062dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, CXXMethodDecl> methodDecl; 4074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches variable declarations. 4094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: this does not match declarations of member variables, which are 4114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "field" declarations in Clang parlance. 4124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a 41425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 41625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4172dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, VarDecl> varDecl; 4184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches field declarations. 4204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 42225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { int m; }; 42425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// fieldDecl() 4264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'm'. 4272dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, FieldDecl> fieldDecl; 4284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches function declarations. 4304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches f 43225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(); 43425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4352dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, FunctionDecl> functionDecl; 4364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4378456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches C++ function template declarations. 4388456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 4398456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// Example matches f 44025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4418456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<class T> void f(T t) {} 44225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4438456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoconst internal::VariadicDynCastAllOfMatcher< 4448456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko Decl, 4452dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper FunctionTemplateDecl> functionTemplateDecl; 4464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches statements. 4484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 45025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { ++a; } 45225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4532dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// stmt() 4544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches both the compound statement '{ ++a; }' and '++a'. 4552dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, Stmt> stmt; 4564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches declaration statements. 4584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 46025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 46225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4632dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt() 4644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'int a'. 4654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 466e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 4672dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper DeclStmt> declStmt; 4684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches member expressions. 4704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 47225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { 4744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 4754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; static int b; 4764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 47725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4782dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr() 4794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x, x, y.x, a, this->b 4802dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, MemberExpr> memberExpr; 4814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 4824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches call expressions. 4834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 4849f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// Example matches x.y() and y() 48525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 4864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// X x; 4874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// x.y(); 4889f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// y(); 48925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 4902dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CallExpr> callExpr; 491e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 49231f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \brief Matches lambda expressions. 49331f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// 49431f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// Example matches [&](){return 5;} 49531f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \code 49631f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// [&](){return 5;} 49731f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \endcode 49831f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, LambdaExpr> lambdaExpr; 49931f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper 5009f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// \brief Matches member call expressions. 5019f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// 5029f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// Example matches x.y() 50325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 5049f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// X x; 5059f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek/// x.y(); 50625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5072dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher< 5082dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper Stmt, 5092dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXMemberCallExpr> memberCallExpr; 5109f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimek 511e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches init list expressions. 512e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 513e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 51425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 515e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int a[] = { 1, 2 }; 516e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// struct B { int x, y; }; 517e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// B b = { 5, 6 }; 51825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 519e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// initList() 520e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches "{ 1, 2 }" and "{ 5, 6 }" 521e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, InitListExpr> initListExpr; 522e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 523e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches using declarations. 524e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 525e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 52625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 527e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { int x; } 528e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::x; 52925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 530e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// usingDecl() 531e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::x \endcode 532e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Decl, UsingDecl> usingDecl; 5334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches constructor call expressions (including implicit ones). 5354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches string(ptr, n) and ptr within arguments of f 5372dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = constructExpr()) 53825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 5394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(const string &a, const string &b); 5404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char *ptr; 5414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int n; 5424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(string(ptr, n), ptr); 54325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 545e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 5462dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXConstructExpr> constructExpr; 5474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 5484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches nodes where temporaries are created. 5494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches FunctionTakesString(GetStringByValue()) 5512dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = bindTemporaryExpr()) 55225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 5534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FunctionTakesString(GetStringByValue()); 5544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FunctionTakesStringByPointer(GetStringPointer()); 55525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 557e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 5582dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXBindTemporaryExpr> bindTemporaryExpr; 5594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 560e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \brief Matches nodes where temporaries are materialized. 561e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// 562e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// Example: Given 563e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \code 564e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// struct T {void func()}; 565e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// T f(); 566e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// void g(T); 567e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \endcode 568e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// materializeTemporaryExpr() matches 'f()' in these statements 569e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \code 570e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// T u(f()); 571e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// g(f()); 572e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \endcode 573e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// but does not match 574e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \code 575e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// f(); 576e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// f().func(); 577e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer/// \endcode 578e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzerconst internal::VariadicDynCastAllOfMatcher< 579e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer Stmt, 580e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer MaterializeTemporaryExpr> materializeTemporaryExpr; 581e16acd3817e501ee2bcf5f631b6911021fa88ba7Sam Panzer 5824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches new expressions. 5834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 5844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 58525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 5864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// new X; 58725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5882dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// newExpr() 5894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'new X'. 5902dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXNewExpr> newExpr; 591e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 592e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches delete expressions. 593e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 594e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 59525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 596e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// delete X; 59725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 5982dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// deleteExpr() 599e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches 'delete X'. 6002dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXDeleteExpr> deleteExpr; 601e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 602e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches array subscript expressions. 603e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 604e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 60525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 606e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i = a[1]; 60725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 608e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// arraySubscriptExpr() 609e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches "a[1]" 610e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 611e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 612e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ArraySubscriptExpr> arraySubscriptExpr; 6134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the value of a default argument at the call site. 6154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches the CXXDefaultArgExpr placeholder inserted for the 6174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// default value of the second parameter in the call expression f(42) 6182dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = defaultArgExpr()) 61925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(int x, int y = 0); 6214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(42); 62225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 624e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 6252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXDefaultArgExpr> defaultArgExpr; 6264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches overloaded operator calls. 6284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note that if an operator isn't overloaded, it won't match. Instead, use 6304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// binaryOperator matcher. 6314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Currently it does not match operators such as new delete. 6324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: figure out why these do not match? 6334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches both operator<<((o << b), c) and operator<<(o, b) 6352dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = operatorCallExpr()) 63625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ostream &operator<< (ostream &out, int i) { }; 6384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ostream &o; int b = 1, c = 1; 6394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// o << b << c; 64025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 642e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 6432dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXOperatorCallExpr> operatorCallExpr; 6444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches expressions. 6464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x() 64825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f() { x(); } 65025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6512dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, Expr> expr; 6524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches expressions that refer to declarations. 6544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x in if (x) 65625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x; 6584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 65925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6602dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, DeclRefExpr> declRefExpr; 6614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if statements. 6634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'if (x) {}' 66525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 66725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 668e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, IfStmt> ifStmt; 6694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 6704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches for statements. 6714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 6724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'for (;;) {}' 67325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {} 67531f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// int i[] = {1, 2, 3}; for (auto a : i); 67625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6772dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, ForStmt> forStmt; 6784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 67931f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \brief Matches range-based for statements. 68031f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// 68131f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// forRangeStmt() matches 'for (auto a : i)' 68231f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \code 68331f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// int i[] = {1, 2, 3}; for (auto a : i); 68431f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// for(int j = 0; j < 5; ++j); 68531f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \endcode 68631f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXForRangeStmt> forRangeStmt; 68731f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper 6886a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the increment statement of a for loop. 6896a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 6906a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Example: 6916a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// forStmt(hasIncrement(unaryOperator(hasOperatorName("++")))) 6926a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches '++x' in 69325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 6946a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// for (x; x < N; ++x) { } 69525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 6966a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER_P(ForStmt, hasIncrement, internal::Matcher<Stmt>, 6976a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 6986a12449ec8862211856447d3df4c082a346339f2Daniel Jasper const Stmt *const Increment = Node.getInc(); 6996a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return (Increment != NULL && 7006a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher.matches(*Increment, Finder, Builder)); 7016a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 7026a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 7036a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the initialization statement of a for loop. 7046a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 7056a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Example: 7062dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// forStmt(hasLoopInit(declStmt())) 7076a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches 'int x = 0' in 70825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7096a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// for (int x = 0; x < N; ++x) { } 71025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7116a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER_P(ForStmt, hasLoopInit, internal::Matcher<Stmt>, 7126a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 7136a12449ec8862211856447d3df4c082a346339f2Daniel Jasper const Stmt *const Init = Node.getInit(); 7146a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return (Init != NULL && InnerMatcher.matches(*Init, Finder, Builder)); 7156a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 7166a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 7174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches while statements. 7184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 72025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// while (true) {} 72225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// whileStmt() 7244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'while (true) {}'. 7252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, WhileStmt> whileStmt; 7264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 7274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches do statements. 7284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 7294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 73025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 7314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// do {} while (true); 73225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 7334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// doStmt() 7344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'do {} while(true)' 735e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, DoStmt> doStmt; 7364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 737b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches break statements. 738b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 739b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// Given 740b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 741b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// while (true) { break; } 742b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 743b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// breakStmt() 744b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'break' 745b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, BreakStmt> breakStmt; 746b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 747b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches continue statements. 748b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 749b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// Given 750b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 751b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// while (true) { continue; } 752b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 753b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// continueStmt() 754b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'continue' 755b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, ContinueStmt> continueStmt; 756b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 757b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches return statements. 758b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 759b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// Given 760b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 761b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// return 1; 762b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 763b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// returnStmt() 764b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'return 1' 765b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, ReturnStmt> returnStmt; 766b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 767b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches goto statements. 768b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 769b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// Given 770b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 771b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// goto FOO; 772b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// FOO: bar(); 773b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 774b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// gotoStmt() 775b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'goto FOO' 776b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, GotoStmt> gotoStmt; 777b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 778b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches label statements. 779b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 780b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// Given 781b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 782b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// goto FOO; 783b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// FOO: bar(); 784b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 785b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// labelStmt() 786b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'FOO:' 787b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, LabelStmt> labelStmt; 788b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 789b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches switch statements. 790b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 791b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// Given 792b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 793b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// switch(a) { case 42: break; default: break; } 794b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 795b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// switchStmt() 796b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'switch(a)'. 797b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, SwitchStmt> switchStmt; 798b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 7994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches case and default statements inside switch statements. 8004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 80225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// switch(a) { case 42: break; default: break; } 80425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// switchCase() 8064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'case 42: break;' and 'default: break;'. 8072dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, SwitchCase> switchCase; 8084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches compound statements. 8104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches '{}' and '{{}}'in 'for (;;) {{}}' 81225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {{}} 81425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8152dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CompoundStmt> compoundStmt; 8164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 817b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches catch statements. 818b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 819b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 820b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// try {} catch(int i) {} 821b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 822b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// catchStmt() 823b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'catch(int i)' 824b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXCatchStmt> catchStmt; 825b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 826b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches try statements. 827b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 828b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 829b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// try {} catch(int i) {} 830b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 831b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// tryStmt() 832b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'try {}' 833b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXTryStmt> tryStmt; 834b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 835b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches throw expressions. 836b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 837b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 838b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// try { throw 5; } catch(int i) {} 839b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 840b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// throwExpr() 841b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches 'throw 5' 842b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CXXThrowExpr> throwExpr; 843b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 844b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches null statements. 845b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 846b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 847b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// foo();; 848b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 849b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// nullStmt() 850b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches the second ';' 851b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, NullStmt> nullStmt; 852b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 853b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \brief Matches asm statements. 854b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// 855b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \code 856b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// int i = 100; 857b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// __asm("mov al, 2"); 858b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// \endcode 859b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// asmStmt() 860b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper/// matches '__asm("mov al, 2")' 861b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, AsmStmt> asmStmt; 862b54b7646b2d00a85d80e40adf7c49553f150c736Daniel Jasper 8634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches bool literals. 8644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true 86625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// true 86825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 8703680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 871e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CXXBoolLiteralExpr> boolLiteral; 8724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches string literals (also matches wide string literals). 8744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches "abcd", L"abcd" 87625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char *s = "abcd"; wchar_t *ws = L"abcd" 87825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 8803680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 881e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper StringLiteral> stringLiteral; 8824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches character literals (also matches wchar_t). 8844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Not matching Hex-encoded chars (e.g. 0x1234, which is a IntegerLiteral), 8864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// though. 8874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 'a', L'a' 88925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 8904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// char ch = 'a'; wchar_t chw = L'a'; 89125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 8924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 8933680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 894e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper CharacterLiteral> characterLiteral; 8954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 8964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches integer literals of all sizes / encodings. 8974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 8984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Not matching character-encoded integers such as L'a'. 8994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches 1, 1L, 0x1, 1U 9014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 9023680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 903e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper IntegerLiteral> integerLiteral; 9044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 90531f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \brief Matches user defined literal operator call. 90631f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// 90731f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// Example match: "foo"_suffix 90831f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasperconst internal::VariadicDynCastAllOfMatcher< 90931f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper Stmt, 91031f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper UserDefinedLiteral> userDefinedLiteral; 91131f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper 91231f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper/// \brief Matches nullptr literal. 91331f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasperconst internal::VariadicDynCastAllOfMatcher< 91431f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper Stmt, 91531f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper CXXNullPtrLiteralExpr> nullPtrLiteralExpr; 91631f7c08a0d2b140bf31a08894d1948649de53c15Daniel Jasper 9174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches binary operator expressions. 9184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a || b 92025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !(a || b) 92225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 924e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 925e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper BinaryOperator> binaryOperator; 9264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches unary operator expressions. 9284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches !a 93025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !a || b 93225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 934e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 935e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper UnaryOperator> unaryOperator; 9364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches conditional operator expressions. 9384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a ? b : c 94025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (a ? b : c) + 42 94225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 944e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 945e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper ConditionalOperator> conditionalOperator; 9464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a reinterpret_cast expression. 9484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Either the source expression or the destination type can be matched 9504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// using has(), but hasDestinationType() is more specific and can be 9514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// more readable. 9524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches reinterpret_cast<char*>(&p) in 95425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void* p = reinterpret_cast<char*>(&p); 95625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 9583680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 9592dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXReinterpretCastExpr> reinterpretCastExpr; 9604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a C++ static_cast expression. 9624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see hasDestinationType 9644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see reinterpretCast 9654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: 9672dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// staticCastExpr() 9684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 9694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// static_cast<long>(8) 9704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// in 97125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// long eight(static_cast<long>(8)); 97325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 9753680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 9762dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXStaticCastExpr> staticCastExpr; 9774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a dynamic_cast expression. 9794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: 9812dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// dynamicCastExpr() 9824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 9834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// dynamic_cast<D*>(&b); 9844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// in 98525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct B { virtual ~B() {} }; struct D : B {}; 9874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// B b; 9884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// D* p = dynamic_cast<D*>(&b); 98925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 9904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 9913680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 9922dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXDynamicCastExpr> dynamicCastExpr; 9934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 9944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a const_cast expression. 9954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 9964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Matches const_cast<int*>(&r) in 99725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 9984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int n = 42; 99925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// const int &r(n); 10004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int* p = const_cast<int*>(&r); 100125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 10024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 10033680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 10042dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXConstCastExpr> constCastExpr; 10054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1006e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper/// \brief Matches a C-style cast expression. 1007e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper/// 1008e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper/// Example: Matches (int*) 2.2f in 1009e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper/// \code 1010e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper/// int i = (int) 2.2f; 1011e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper/// \endcode 1012e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 1013e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper Stmt, 1014e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper CStyleCastExpr> cStyleCastExpr; 1015e6d2a96cc9689be584c3bfc09ac527a03a25b3bcDaniel Jasper 10164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches explicit cast expressions. 10174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Matches any cast expression written in user code, whether it be a 10194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// C-style cast, a functional-style cast, or a keyword cast. 10204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match implicit conversions. 10224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: the name "explicitCast" is chosen to match Clang's terminology, as 10244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Clang uses the term "cast" to apply to implicit conversions as well as to 10254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// actual cast expressions. 10264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \see hasDestinationType. 10284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: matches all five of the casts in 103025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 10314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int((int)(reinterpret_cast<int>(static_cast<int>(const_cast<int>(42))))) 103225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 10334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but does not match the implicit conversion in 103425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 10354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// long ell = 42; 103625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 10374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 10383680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 10392dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ExplicitCastExpr> explicitCastExpr; 10404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the implicit cast nodes of Clang's AST. 10424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// This matches many different places, including function call return value 10444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// eliding, as well as any type conversions. 10454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 10463680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 10472dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper ImplicitCastExpr> implicitCastExpr; 10484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1049089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// \brief Matches any cast nodes of Clang's AST. 1050089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// 1051089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// Example: castExpr() matches each of the following: 105225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1053089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// (int) 3; 1054089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// const_cast<Expr *>(SubExpr); 1055089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// char c = 0; 105625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1057089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// but does not match 105825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1059089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int i = (0); 1060089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer/// int k = 0; 106125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 10623680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasperconst internal::VariadicDynCastAllOfMatcher<Stmt, CastExpr> castExpr; 1063089e5b3bf2e57da0173b170ad501867b43395385Sam Panzer 10644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches functional cast expressions 10654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 10664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Matches Foo(bar); 106725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 10684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo f = bar; 10694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo g = (Foo) bar; 10704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo h = Foo(bar); 107125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 10724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekconst internal::VariadicDynCastAllOfMatcher< 10733680b4f7494b6744b9c5a25f83b63cd8b7e434fcDaniel Jasper Stmt, 10742dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper CXXFunctionalCastExpr> functionalCastExpr; 10754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 10764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Various overloads for the anyOf matcher. 10774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 107825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 107925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \brief Matches if any of the given matchers matches. 108025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 108125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 108225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2> 108325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, M2> 108425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2) { 10854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 108625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M1, M2 >(P1, P2); 10874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 108825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3> 108925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, 109025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M2, M3> > 109125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2, const M3 &P3) { 10924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(P1, anyOf(P2, P3)); 10934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 109425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3, typename M4> 109525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, 109625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M2, 10974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 109825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M3, M4> > > 109925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2, const M3 &P3, const M4 &P4) { 1100ff2fcb8db242a54f72bbb4e5595261e12672ed66Daniel Jasper return anyOf(P1, anyOf(P2, anyOf(P3, P4))); 11014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 110225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3, typename M4, typename M5> 110325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M1, 110425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M2, 110525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, M3, 11064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AnyOfMatcher, 110725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M4, M5> > > > 110825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekanyOf(const M1 &P1, const M2 &P2, const M3 &P3, const M4 &P4, const M5 &P5) { 11094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(P1, anyOf(P2, anyOf(P3, anyOf(P4, P5)))); 11104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 111125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 11124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 11134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 11144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Various overloads for the allOf matcher. 11154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @{ 111625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 111725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \brief Matches if all given matchers match. 111825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 111925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 112025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2> 112125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, M1, M2> 112225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekallOf(const M1 &P1, const M2 &P2) { 11234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, 112425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek M1, M2>(P1, P2); 11254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 112625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimektemplate<typename M1, typename M2, typename M3> 112725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, M1, 112825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::PolymorphicMatcherWithParam2<internal::AllOfMatcher, M2, M3> > 112925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekallOf(const M1 &P1, const M2 &P2, const M3 &P3) { 11306a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return allOf(P1, allOf(P2, P3)); 11314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 113225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek 11334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// @} 11344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1135e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL) 1136e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1137e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 113825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1139e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Foo x = bar; 1140e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int y = sizeof(x) + alignof(x); 114125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1142e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr() 1143e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(x) and \c alignof(x) 1144e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperconst internal::VariadicDynCastAllOfMatcher< 1145e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Stmt, 1146e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper UnaryExprOrTypeTraitExpr> unaryExprOrTypeTraitExpr; 1147e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1148e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches unary expressions that have a specific type of argument. 1149e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1150e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 115125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1152e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int a, c; float b; int s = sizeof(a) + sizeof(b) + alignof(c); 115325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1154e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr(hasArgumentOfType(asString("int")) 1155e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(a) and \c alignof(c) 1156e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryExprOrTypeTraitExpr, hasArgumentOfType, 115725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<QualType>, InnerMatcher) { 1158e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const QualType ArgumentType = Node.getTypeOfArgument(); 115925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(ArgumentType, Finder, Builder); 1160e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1161e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1162e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches unary expressions of a certain kind. 1163e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1164e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 116525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1166e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int x; 1167e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int s = sizeof(x) + alignof(x) 116825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1169e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// unaryExprOrTypeTraitExpr(ofKind(UETT_SizeOf)) 1170e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c sizeof(x) 1171e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryExprOrTypeTraitExpr, ofKind, UnaryExprOrTypeTrait, Kind) { 1172e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Node.getKind() == Kind; 1173e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1174e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1175e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Same as unaryExprOrTypeTraitExpr, but only matching 1176e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// alignof. 1177e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<Stmt> alignOfExpr( 117825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<UnaryExprOrTypeTraitExpr> &InnerMatcher) { 1179e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<Stmt>(unaryExprOrTypeTraitExpr(allOf( 118025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek ofKind(UETT_AlignOf), InnerMatcher))); 1181e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1182e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1183e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Same as unaryExprOrTypeTraitExpr, but only matching 1184e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// sizeof. 1185e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<Stmt> sizeOfExpr( 118625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<UnaryExprOrTypeTraitExpr> &InnerMatcher) { 1187e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<Stmt>(unaryExprOrTypeTraitExpr(allOf( 118825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek ofKind(UETT_SizeOf), InnerMatcher))); 1189e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1190e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 11914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches NamedDecl nodes that have the specified name. 11924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Supports specifying enclosing namespaces or classes by prefixing the name 11944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with '<enclosing>::'. 11954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match typedefs of an underlying type with the given name. 11964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 11974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X (Name == "X") 119825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 11994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X; 120025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 12014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X (Name is one of "::a::b::X", "a::b::X", "b::X", "X") 120325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 120425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// namespace a { namespace b { class X; } } 120525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1206e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(NamedDecl, hasName, std::string, Name) { 12074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek assert(!Name.empty()); 12084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const std::string FullNameString = "::" + Node.getQualifiedNameAsString(); 12094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const llvm::StringRef FullName = FullNameString; 12104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const llvm::StringRef Pattern = Name; 12114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (Pattern.startswith("::")) { 12124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return FullName == Pattern; 12134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } else { 12144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return FullName.endswith(("::" + Pattern).str()); 12154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 12164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1218e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches NamedDecl nodes whose full names partially match the 1219e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// given RegExp. 1220e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1221e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Supports specifying enclosing namespaces or classes by 1222e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// prefixing the name with '<enclosing>::'. Does not match typedefs 1223e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// of an underlying type with the given name. 1224e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1225e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X (regexp == "::X") 122625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1227e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class X; 122825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1229e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1230e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Example matches X (regexp is one of "::X", "^foo::.*X", among others) 123125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 123225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// namespace foo { namespace bar { class X; } } 123325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1234e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(NamedDecl, matchesName, std::string, RegExp) { 1235e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper assert(!RegExp.empty()); 1236e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper std::string FullNameString = "::" + Node.getQualifiedNameAsString(); 1237e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::Regex RE(RegExp); 1238e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return RE.match(FullNameString); 1239e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1240e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 12414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches overloaded operator names. 12424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Matches overloaded operator names specified in strings without the 12444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "operator" prefix, such as "<<", for OverloadedOperatorCall's. 12454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 12464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a << b 12472dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher == operatorCallExpr(hasOverloadedOperatorName("<<"))) 124825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 12494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a << b; 12504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// c && d; // assuming both operator<< 12514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// // and operator&& are overloaded somewhere. 125225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1253e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXOperatorCallExpr, 12544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasOverloadedOperatorName, std::string, Name) { 1255e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return getOperatorSpelling(Node.getOperator()) == Name; 12564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 12584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches C++ classes that are directly or indirectly derived from 125920b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// a class matching \c Base. 12604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 126176dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// Note that a class is not considered to be derived from itself. 12624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 126376dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// Example matches Y, Z, C (Base == hasName("X")) 126425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 126576dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// class X; 12664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y : public X {}; // directly derived 12674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z : public Y {}; // indirectly derived 12684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef X A; 12694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef A B; 12704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class C : public B {}; // derived from a typedef of X 127125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 12724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 127320b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// In the following example, Bar matches isDerivedFrom(hasName("X")): 127425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 12754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Foo; 12764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// typedef Foo X; 12774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Bar : public Foo {}; // derived from a type that X is a typedef of 127825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 127920b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel JasperAST_MATCHER_P(CXXRecordDecl, isDerivedFrom, 128020b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper internal::Matcher<NamedDecl>, Base) { 128120b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper return Finder->classIsDerivedFrom(&Node, Base, Builder); 128220b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper} 128320b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper 128420b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper/// \brief Overloaded method as shortcut for \c isDerivedFrom(hasName(...)). 128520b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasperinline internal::Matcher<CXXRecordDecl> isDerivedFrom(StringRef BaseName) { 128620b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper assert(!BaseName.empty()); 128720b802d186dfc5db9b4a9ce83e9f31fa5aa4efccDaniel Jasper return isDerivedFrom(hasName(BaseName)); 12884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 12894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 129076dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// \brief Similar to \c isDerivedFrom(), but also matches classes that directly 129176dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper/// match \c Base. 129263d88728d862f8a69b3291e533d193d1d8513f5aDaniel Jasperinline internal::Matcher<CXXRecordDecl> isSameOrDerivedFrom( 129363d88728d862f8a69b3291e533d193d1d8513f5aDaniel Jasper internal::Matcher<NamedDecl> Base) { 129476dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper return anyOf(Base, isDerivedFrom(Base)); 129576dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper} 129676dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper 129763d88728d862f8a69b3291e533d193d1d8513f5aDaniel Jasper/// \brief Overloaded method as shortcut for 129863d88728d862f8a69b3291e533d193d1d8513f5aDaniel Jasper/// \c isSameOrDerivedFrom(hasName(...)). 129963d88728d862f8a69b3291e533d193d1d8513f5aDaniel Jasperinline internal::Matcher<CXXRecordDecl> isSameOrDerivedFrom( 130063d88728d862f8a69b3291e533d193d1d8513f5aDaniel Jasper StringRef BaseName) { 130176dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper assert(!BaseName.empty()); 130263d88728d862f8a69b3291e533d193d1d8513f5aDaniel Jasper return isSameOrDerivedFrom(hasName(BaseName)); 130376dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper} 130476dafa7e6487c0b51fadebd16bdefe0e0e23d595Daniel Jasper 13054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have child AST nodes that match the 13064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 13074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13082dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches X, Y (matcher = recordDecl(has(recordDecl(hasName("X"))) 130925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 13114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 13124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; // Does not match Z. 131325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 13144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ChildT must be an AST base type. 131625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 131725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 13184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ChildT> 13194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasMatcher, ChildT> has( 13204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek const internal::Matcher<ChildT> &ChildMatcher) { 13214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher<internal::HasMatcher, 13224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ChildT>(ChildMatcher); 13234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have descendant AST nodes that match the 13264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 13274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, Y, Z 13292dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = recordDecl(hasDescendant(recordDecl(hasName("X"))))) 133025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 13324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 13334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; 133425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 13354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// DescendantT must be an AST base type. 133725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 133825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 13394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename DescendantT> 13404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasDescendantMatcher, DescendantT> 13414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekhasDescendant(const internal::Matcher<DescendantT> &DescendantMatcher) { 13424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 13434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::HasDescendantMatcher, 13444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek DescendantT>(DescendantMatcher); 13454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have child AST nodes that match the 13484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 13494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13502dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches X, Y (matcher = recordDecl(forEach(recordDecl(hasName("X"))) 135125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 13534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { class X {}; }; 13544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Z { class Y { class X {}; }; }; // Does not match Z. 135525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 13564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ChildT must be an AST base type. 13584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// As opposed to 'has', 'forEach' will cause a match for each result that 13604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches instead of only on the first one. 136125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 136225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 13634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ChildT> 13644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::ForEachMatcher, ChildT> forEach( 136525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<ChildT> &ChildMatcher) { 13664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 13674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ForEachMatcher, 13684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ChildT>(ChildMatcher); 13694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 13704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 13714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches AST nodes that have descendant AST nodes that match the 13724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// provided matcher. 13734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X, A, B, C 13752dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = recordDecl(forEachDescendant(recordDecl(hasName("X"))))) 137625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; // Matches X, because X::X is a class of name X inside X. 13784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { class X {}; }; 13794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class B { class C { class X {}; }; }; 138025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 13814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// DescendantT must be an AST base type. 13834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// As opposed to 'hasDescendant', 'forEachDescendant' will cause a match for 13854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// each result that matches instead of only on the first one. 13864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 13874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Note: Recursively combined ForEachDescendant can cause many matches: 13882dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(forEachDescendant(recordDecl(forEachDescendant(recordDecl())))) 13894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// will match 10 times (plus injected class name matches) on: 139025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 13914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { class B { class C { class D { class E {}; }; }; }; }; 139225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 139325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 139425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 13954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename DescendantT> 13964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::ForEachDescendantMatcher, DescendantT> 13974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekforEachDescendant( 139825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek const internal::Matcher<DescendantT> &DescendantMatcher) { 13994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::ArgumentAdaptingMatcher< 14004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ForEachDescendantMatcher, 14014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek DescendantT>(DescendantMatcher); 14024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1404579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \brief Matches AST nodes that have an ancestor that matches the provided 1405579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// matcher. 1406579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// 1407579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// Given 1408579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \code 1409579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// void f() { if (true) { int x = 42; } } 1410579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// void g() { for (;;) { int x = 43; } } 1411579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \endcode 1412579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// \c expr(integerLiteral(hasAncsestor(ifStmt()))) matches \c 42, but not 43. 1413579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// 1414579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek/// Usable as: Any Matcher 1415579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimektemplate <typename AncestorT> 1416579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimekinternal::ArgumentAdaptingMatcher<internal::HasAncestorMatcher, AncestorT> 1417579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel KlimekhasAncestor(const internal::Matcher<AncestorT> &AncestorMatcher) { 1418579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek return internal::ArgumentAdaptingMatcher< 1419579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek internal::HasAncestorMatcher, 1420579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek AncestorT>(AncestorMatcher); 1421579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek} 1422579b120038ca817e0ce423303ebc1b4e0c6cbbe1Manuel Klimek 14234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the provided matcher does not match. 14244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches Y (matcher = recordDecl(unless(hasName("X")))) 142625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 14274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 14284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y {}; 142925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 143025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 143125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Any Matcher 14324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename M> 143325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekinternal::PolymorphicMatcherWithParam1<internal::NotMatcher, M> 143425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimekunless(const M &InnerMatcher) { 14354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 14364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::NotMatcher, M>(InnerMatcher); 14374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a type if the declaration of the type matches the given 14404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 1441297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1442297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<QualType>, Matcher<CallExpr>, Matcher<CXXConstructExpr> 14434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam1< internal::HasDeclarationMatcher, 1444e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Decl> > 1445e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper hasDeclaration(const internal::Matcher<Decl> &InnerMatcher) { 14464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 14474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::HasDeclarationMatcher, 1448e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Decl> >(InnerMatcher); 14494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches on the implicit object argument of a member call expression. 14524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14532dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches y.x() (matcher = callExpr(on(hasType(recordDecl(hasName("Y")))))) 145425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 14554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 14564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y y; y.x(); }", 145725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 14584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Overload to allow directly matching types? 1460e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMemberCallExpr, on, internal::Matcher<Expr>, 14614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1462e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = const_cast<CXXMemberCallExpr&>(Node) 14634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek .getImplicitObjectArgument() 14644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ->IgnoreParenImpCasts(); 14654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 14664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 14674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the call expression's callee expression matches. 14704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 147225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 14734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { void x() { this->x(); x(); Y y; y.x(); } }; 14744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f() { f(); } 147525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 14762dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// callExpr(callee(expr())) 14774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x(), x(), y.x(), f() 14784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with callee(...) 14794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching this->x, x, y.x, f respectively 14804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 1481e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Note: Callee cannot take the more general internal::Matcher<Expr> 14824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// because this introduces ambiguous overloads with calls to Callee taking a 1483e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// internal::Matcher<Decl>, as the matcher hierarchy is purely 14844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// implemented in terms of implicit casts. 1485e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CallExpr, callee, internal::Matcher<Stmt>, 14864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1487e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = Node.getCallee(); 14884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 14894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 14904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 14914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 14924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the call expression's callee's declaration matches the 14934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// given matcher. 14944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 14952dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches y.x() (matcher = callExpr(callee(methodDecl(hasName("x"))))) 149625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 14974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 14984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y y; y.x(); 149925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1500e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<CallExpr> callee( 1501e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1502e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return internal::Matcher<CallExpr>(hasDeclaration(InnerMatcher)); 15034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the expression's or declaration's type matches a type 15064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 15074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15082dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches x (matcher = expr(hasType(recordDecl(hasName("X"))))) 15092dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// and z (matcher = varDecl(hasType(recordDecl(hasName("X"))))) 151025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 15114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 15124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void y(X &x) { x; X z; } 151325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1514e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasType, internal::Matcher<QualType>, 15154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1516e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<Expr, NodeType>::value || 1517e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<ValueDecl, NodeType>::value), 15184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 15194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(Node.getType(), Finder, Builder); 15204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the declaration of the expression's or value 15234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// declaration's type. 15244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// In case of a value declaration (for example a variable declaration), 15264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// this resolves one layer of indirection. For example, in the value 15272dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declaration "X x;", recordDecl(hasName("X")) matches the declaration of X, 15282dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// while varDecl(hasType(recordDecl(hasName("X")))) matches the declaration 15294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// of x." 15304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15312dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches x (matcher = expr(hasType(recordDecl(hasName("X"))))) 15322dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// and z (matcher = varDecl(hasType(recordDecl(hasName("X"))))) 153325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 15344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X {}; 15354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void y(X &x) { x; X z; } 153625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1537297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 1538297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<Expr>, Matcher<ValueDecl> 15394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam1< 15404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::matcher_hasTypeMatcher, 1541e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType> > 1542e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperhasType(const internal::Matcher<Decl> &InnerMatcher) { 1543e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return hasType(internal::Matcher<QualType>( 15444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 15454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1547e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches if the matched type is represented by the given string. 1548e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1549e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 155025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1551e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class Y { public: void x(); }; 1552e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void z() { Y* y; y->x(); } 155325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 15542dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// callExpr(on(hasType(asString("class Y *")))) 1555e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches y->x() 1556e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(QualType, asString, std::string, Name) { 1557e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return Name == Node.getAsString(); 1558e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1559e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 15604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the matched type is a pointer type and the pointee type 15614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches the specified matcher. 15624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y->x() 15642dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = callExpr(on(hasType(pointsTo(recordDecl(hasName("Y"))))))) 156525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 15664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { public: void x(); }; 15674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void z() { Y *y; y->x(); } 156825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 15694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_MATCHER_P( 1570e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper QualType, pointsTo, internal::Matcher<QualType>, 15714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1572e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return (!Node.isNull() && Node->isPointerType() && 15734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(Node->getPointeeType(), Finder, Builder)); 15744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the pointee type's declaration. 1577e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> pointsTo( 1578e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1579e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return pointsTo(internal::Matcher<QualType>( 15804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 15814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 15824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 15834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the matched type is a reference type and the referenced 15844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// type matches the specified matcher. 15854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 15864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches X &x and const X &y 15872dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = varDecl(hasType(references(recordDecl(hasName("X")))))) 158825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 15894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { 15904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void a(X b) { 15914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// X &x = b; 15924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// const X &y = b; 15934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 159425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1595e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(QualType, references, internal::Matcher<QualType>, 15964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1597e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return (!Node.isNull() && Node->isReferenceType() && 15984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(Node->getPointeeType(), Finder, Builder)); 15994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the referenced type's declaration. 1602e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> references( 1603e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 1604e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return references(internal::Matcher<QualType>( 16054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek hasDeclaration(InnerMatcher))); 16064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1608e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMemberCallExpr, onImplicitObjectArgument, 1609e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1610e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *ExprNode = 1611e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const_cast<CXXMemberCallExpr&>(Node).getImplicitObjectArgument(); 16124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (ExprNode != NULL && 16134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*ExprNode, Finder, Builder)); 16144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the expression's type either matches the specified 16174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher, or is a pointer to a type that matches the InnerMatcher. 16189f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimekinline internal::Matcher<CXXMemberCallExpr> thisPointerType( 1619e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<QualType> &InnerMatcher) { 16204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return onImplicitObjectArgument( 16214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek anyOf(hasType(InnerMatcher), hasType(pointsTo(InnerMatcher)))); 16224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Overloaded to match the type's declaration. 16259f17408d50c1d76c5eab435e4ceb924cc10757abManuel Klimekinline internal::Matcher<CXXMemberCallExpr> thisPointerType( 1626e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Decl> &InnerMatcher) { 16274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return onImplicitObjectArgument( 16284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek anyOf(hasType(InnerMatcher), hasType(pointsTo(InnerMatcher)))); 16294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 16314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a DeclRefExpr that refers to a declaration that matches the 16324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// specified matcher. 16334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches x in if(x) 16352dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = declRefExpr(to(varDecl(hasName("x"))))) 163625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 16374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x; 16384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (x) {} 163925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1640e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(DeclRefExpr, to, internal::Matcher<Decl>, 16414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1642e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Decl *DeclNode = Node.getDecl(); 16434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (DeclNode != NULL && 16444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*DeclNode, Finder, Builder)); 16454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 16464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1647e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a \c DeclRefExpr that refers to a declaration through a 1648e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// specific using shadow declaration. 1649e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1650e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// FIXME: This currently only works for functions. Fix. 1651e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1652e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 165325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1654e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace a { void f() {} } 1655e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using a::f; 1656e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void g() { 1657e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// f(); // Matches this .. 1658e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// a::f(); // .. but not this. 1659e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// } 166025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 16612dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declRefExpr(throughUsingDeclaration(anything())) 1662e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c f() 1663e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(DeclRefExpr, throughUsingDecl, 166425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<UsingShadowDecl>, InnerMatcher) { 1665e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const NamedDecl *FoundDecl = Node.getFoundDecl(); 1666e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const UsingShadowDecl *UsingDecl = 1667e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::dyn_cast<UsingShadowDecl>(FoundDecl)) 166825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*UsingDecl, Finder, Builder); 1669e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 1670e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1671e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 1672425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches the Decl of a DeclStmt which has a single declaration. 1673425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1674425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Given 167525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1676425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b; 1677425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 167825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 16792dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt(hasSingleDecl(anything())) 1680425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int c;' but not 'int a, b;'. 1681425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P(DeclStmt, hasSingleDecl, internal::Matcher<Decl>, InnerMatcher) { 1682425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer if (Node.isSingleDecl()) { 1683425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer const Decl *FoundDecl = Node.getSingleDecl(); 1684425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return InnerMatcher.matches(*FoundDecl, Finder, Builder); 1685425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer } 1686425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return false; 1687425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1688425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 16894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a variable declaration that has an initializer expression 16904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// that matches the given matcher. 16914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 16922dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches x (matcher = varDecl(hasInitializer(callExpr()))) 169325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 16944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool y() { return true; } 16954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// bool x = y(); 169625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 16974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_MATCHER_P( 1698e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper VarDecl, hasInitializer, internal::Matcher<Expr>, 16994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1700e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *Initializer = Node.getAnyInitializer(); 17014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Initializer != NULL && 17024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Initializer, Finder, Builder)); 17034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Checks that a call expression or a constructor call expression has 17064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a specific number of arguments (including absent default arguments). 17074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17082dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// Example matches f(0, 0) (matcher = callExpr(argumentCountIs(2))) 170925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 17104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(int x, int y); 17114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// f(0, 0); 171225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P(argumentCountIs, unsigned, N) { 1714e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1715e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 17164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 17174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 17184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.getNumArgs() == N; 17194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 17214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the n'th argument of a call expression or a constructor 17224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// call expression. 17234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches y in x(y) 17252dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = callExpr(hasArgument(0, declRefExpr()))) 172625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 17274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x(int) { int y; x(y); } 172825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P2( 1730e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper hasArgument, unsigned, N, internal::Matcher<Expr>, InnerMatcher) { 1731e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1732e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 17334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 17344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 17354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (N < Node.getNumArgs() && 17364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches( 17374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek *Node.getArg(N)->IgnoreParenImpCasts(), Finder, Builder)); 17384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 17394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1740425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches declaration statements that contain a specific number of 1741425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declarations. 1742425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1743425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Example: Given 174425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1745425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b; 1746425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 1747425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int d = 2, e; 174825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1749425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// declCountIs(2) 1750425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int a, b;' and 'int d = 2, e;', but not 'int c;'. 1751425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P(DeclStmt, declCountIs, unsigned, N) { 1752217c484522926f9fc664ec3bfaf3cffe456244b0Benjamin Kramer return std::distance(Node.decl_begin(), Node.decl_end()) == (ptrdiff_t)N; 1753425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1754425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 1755425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// \brief Matches the n'th declaration of a declaration statement. 1756425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// 1757425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Note that this does not work for global declarations because the AST 1758425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// breaks up multiple-declaration DeclStmt's into multiple single-declaration 1759425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// DeclStmt's. 1760425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// Example: Given non-global declarations 176125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1762425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int a, b = 0; 1763425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int c; 1764425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// int d = 2, e; 176525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17662dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt(containsDeclaration( 17672dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// 0, varDecl(hasInitializer(anything())))) 1768425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches only 'int d = 2, e;', and 17692dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// declStmt(containsDeclaration(1, varDecl())) 177025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1771425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// matches 'int a, b = 0' as well as 'int d = 2, e;' 1772425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer/// but 'int c;' is not matched. 177325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1774425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam PanzerAST_MATCHER_P2(DeclStmt, containsDeclaration, unsigned, N, 1775425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer internal::Matcher<Decl>, InnerMatcher) { 1776425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer const unsigned NumDecls = std::distance(Node.decl_begin(), Node.decl_end()); 1777425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer if (N >= NumDecls) 1778425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return false; 1779425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer DeclStmt::const_decl_iterator Iterator = Node.decl_begin(); 1780425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer std::advance(Iterator, N); 1781425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer return InnerMatcher.matches(**Iterator, Finder, Builder); 1782425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer} 1783425f41b370a8795fbca9ffc3b35e9b0ccbb15d97Sam Panzer 17844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a constructor initializer. 17854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 17864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 178725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 17884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 17894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 17904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 17914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 179225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 17932dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(has(constructorDecl(hasAnyConstructorInitializer(anything())))) 1794e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// record matches Foo, hasAnyConstructorInitializer matches foo_(1) 1795e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXConstructorDecl, hasAnyConstructorInitializer, 1796e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<CXXCtorInitializer>, InnerMatcher) { 1797e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (CXXConstructorDecl::init_const_iterator I = Node.init_begin(); 17984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek I != Node.init_end(); ++I) { 17994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(**I, Finder, Builder)) { 18004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 18014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 18024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 18034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 18044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the field declaration of a constructor initializer. 18074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 180925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 18114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 18124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 18134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 181425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18152dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(has(constructorDecl(hasAnyConstructorInitializer( 18164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// forField(hasName("foo_")))))) 18174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches Foo 18184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with forField matching foo_ 1819e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXCtorInitializer, forField, 1820e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<FieldDecl>, InnerMatcher) { 1821e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const FieldDecl *NodeAsDecl = Node.getMember(); 18224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (NodeAsDecl != NULL && 18234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*NodeAsDecl, Finder, Builder)); 18244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the initializer expression of a constructor initializer. 18274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 182925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 18314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() : foo_(1) { } 18324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int foo_; 18334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 183425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18352dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(has(constructorDecl(hasAnyConstructorInitializer( 18364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// withInitializer(integerLiteral(equals(1))))))) 18374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches Foo 18384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with withInitializer matching (1) 1839e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXCtorInitializer, withInitializer, 1840e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 1841e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr* NodeAsExpr = Node.getInit(); 18424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (NodeAsExpr != NULL && 18434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*NodeAsExpr, Finder, Builder)); 18444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a contructor initializer if it is explicitly written in 18474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// code (as opposed to implicitly added by the compiler). 18484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 185025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct Foo { 18524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo() { } 18534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Foo(int) : foo_("A") { } 18544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// string foo_; 18554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 185625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18572dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// constructorDecl(hasAnyConstructorInitializer(isWritten())) 18584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// will match Foo(int), but not Foo() 1859e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER(CXXCtorInitializer, isWritten) { 18604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.isWritten(); 18614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18624da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a constructor declaration that has been implicitly added 18644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// by the compiler (eg. implicit default/copy constructors). 1865e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER(CXXConstructorDecl, isImplicit) { 18664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.isImplicit(); 18674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any argument of a call expression or a constructor call 18704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// expression. 18714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 187325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x(int, int, int) { int y; x(1, y, 42); } 187525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 18762dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// callExpr(hasAnyArgument(declRefExpr())) 18774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches x(1, y, 42) 18784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasAnyArgument(...) 18794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching y 1880e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasAnyArgument, internal::Matcher<Expr>, 18814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 1882e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper TOOLING_COMPILE_ASSERT((llvm::is_base_of<CallExpr, NodeType>::value || 1883e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper llvm::is_base_of<CXXConstructExpr, 18844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek NodeType>::value), 18854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek instantiated_with_wrong_types); 18864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek for (unsigned I = 0; I < Node.getNumArgs(); ++I) { 18874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(*Node.getArg(I)->IgnoreParenImpCasts(), 18884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek Finder, Builder)) { 18894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 18904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 18914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 18924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 18934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 18944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 18954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the n'th parameter of a function declaration. 18964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 18974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 189825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 18994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void f(int x) {} }; 190025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19012dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// methodDecl(hasParameter(0, hasType(varDecl()))) 19024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches f(int x) {} 19034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasParameter(...) 19044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching int x 1905e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P2(FunctionDecl, hasParameter, 1906e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper unsigned, N, internal::Matcher<ParmVarDecl>, 19074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 19084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (N < Node.getNumParams() && 19094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches( 19104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek *Node.getParamDecl(N), Finder, Builder)); 19114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches any parameter of a function declaration. 19144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Does not match the 'this' parameter of a method. 19164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 191825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class X { void f(int x, int y, int z) {} }; 192025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19212dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// methodDecl(hasAnyParameter(hasName("y"))) 19224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches f(int x, int y, int z) {} 19234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasAnyParameter(...) 19244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching int y 1925e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(FunctionDecl, hasAnyParameter, 1926e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<ParmVarDecl>, InnerMatcher) { 19274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek for (unsigned I = 0; I < Node.getNumParams(); ++I) { 19284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(*Node.getParamDecl(I), Finder, Builder)) { 19294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return true; 19304da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 19314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 19324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 19334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1935e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the return type of a function declaration. 1936e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 1937e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given: 193825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 1939e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// class X { int f() { return 1; } }; 194025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19412dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// methodDecl(returns(asString("int"))) 1942e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches int f() { return 1; } 194325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel KlimekAST_MATCHER_P(FunctionDecl, returns, 194425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<QualType>, InnerMatcher) { 194525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(Node.getResultType(), Finder, Builder); 1946e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 1947e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 19488cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// \brief Matches extern "C" function declarations. 19498cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// 19508cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// Given: 195125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19528cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// extern "C" void f() {} 19538cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// extern "C" { void g() {} } 19548cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// void h() {} 195525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19562dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(isExternC()) 19578cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper/// matches the declaration of f and g, but not the declaration h 19588cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel JasperAST_MATCHER(FunctionDecl, isExternC) { 19598cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper return Node.isExternC(); 19608cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper} 19618cc7efa2da2c6be43cbd3d09a9ae01353bb921d2Daniel Jasper 19626a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches the condition expression of an if statement, for loop, 19636a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// or conditional operator. 19644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 196625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (true) {} 196825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 1969e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_POLYMORPHIC_MATCHER_P(hasCondition, internal::Matcher<Expr>, 19704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher) { 19714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek TOOLING_COMPILE_ASSERT( 1972e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<IfStmt, NodeType>::value) || 19736a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<ForStmt, NodeType>::value) || 19746a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<WhileStmt, NodeType>::value) || 19756a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<DoStmt, NodeType>::value) || 1976e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<ConditionalOperator, NodeType>::value), 19776a12449ec8862211856447d3df4c082a346339f2Daniel Jasper has_condition_requires_if_statement_conditional_operator_or_loop); 1978e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr *const Condition = Node.getCond(); 19794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Condition != NULL && 19804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Condition, Finder, Builder)); 19814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 19834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the condition variable statement in an if statement. 19844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 19854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 198625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 19874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// if (A* a = GetAPointer()) {} 198825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 19894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// hasConditionVariableStatment(...) 19904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'A* a = GetAPointer()'. 1991e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(IfStmt, hasConditionVariableStatement, 1992e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<DeclStmt>, InnerMatcher) { 1993e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const DeclStmt* const DeclarationStatement = 19944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek Node.getConditionVariableDeclStmt(); 19954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return DeclarationStatement != NULL && 19964da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*DeclarationStatement, Finder, Builder); 19974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 19984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 1999e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the index expression of an array subscript expression. 2000e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 2001e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 200225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2003e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i[5]; 2004e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void f() { i[1] = 42; } 200525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2006e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// arraySubscriptExpression(hasIndex(integerLiteral())) 2007e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \c i[1] with the \c integerLiteral() matching \c 1 2008e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ArraySubscriptExpr, hasIndex, 200925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<Expr>, InnerMatcher) { 2010e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Expr* Expression = Node.getIdx()) 201125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*Expression, Finder, Builder); 2012e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 2013e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 2014e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 2015e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches the base expression of an array subscript expression. 2016e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 2017e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 201825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2019e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// int i[5]; 2020e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// void f() { i[1] = 42; } 202125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 20222dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// arraySubscriptExpression(hasBase(implicitCastExpr( 20232dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasSourceExpression(declRefExpr())))) 20242dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// matches \c i[1] with the \c declRefExpr() matching \c i 2025e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ArraySubscriptExpr, hasBase, 202625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<Expr>, InnerMatcher) { 2027e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper if (const Expr* Expression = Node.getBase()) 202825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*Expression, Finder, Builder); 2029e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 2030e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 2031e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 20326a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches a 'for', 'while', or 'do while' statement that has 20336a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// a given body. 20344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 203625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// for (;;) {} 203825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 20392dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasBody(compoundStmt()) 20404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches 'for (;;) {}' 20412dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// with compoundStmt() 20424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching '{}' 20436a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_POLYMORPHIC_MATCHER_P(hasBody, internal::Matcher<Stmt>, 20446a12449ec8862211856447d3df4c082a346339f2Daniel Jasper InnerMatcher) { 20456a12449ec8862211856447d3df4c082a346339f2Daniel Jasper TOOLING_COMPILE_ASSERT( 20466a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<DoStmt, NodeType>::value) || 20476a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<ForStmt, NodeType>::value) || 20486a12449ec8862211856447d3df4c082a346339f2Daniel Jasper (llvm::is_base_of<WhileStmt, NodeType>::value), 20496a12449ec8862211856447d3df4c082a346339f2Daniel Jasper has_body_requires_for_while_or_do_statement); 2050e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Stmt *const Statement = Node.getBody(); 20514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Statement != NULL && 20524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Statement, Finder, Builder)); 20534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches compound statements where at least one substatement matches 20564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a given matcher. 20574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 205925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { {}; 1+2; } 206125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 20622dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasAnySubstatement(compoundStmt()) 20634da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches '{ {}; 1+2; }' 20642dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// with compoundStmt() 20654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching '{}' 2066e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CompoundStmt, hasAnySubstatement, 2067e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Stmt>, InnerMatcher) { 2068e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (CompoundStmt::const_body_iterator It = Node.body_begin(); 20694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek It != Node.body_end(); 20704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ++It) { 20714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek if (InnerMatcher.matches(**It, Finder, Builder)) return true; 20724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek } 20734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return false; 20744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20764da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Checks that a compound statement contains a specific number of 20774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// child statements. 20784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: Given 208025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// { for (;;) {} } 208225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 20832dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// compoundStmt(statementCountIs(0))) 20844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches '{}' 20854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but does not match the outer compound statement. 2086e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CompoundStmt, statementCountIs, unsigned, N) { 20874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Node.size() == N; 20884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 20894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 20904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches literals that are equal to the given value. 20914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 20924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches true (matcher = boolLiteral(equals(true))) 209325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 20944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// true 209525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2096297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 2097297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<CharacterLiteral>, Matcher<CXXBoolLiteral>, 2098297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Matcher<FloatingLiteral>, Matcher<IntegerLiteral> 20994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimektemplate <typename ValueT> 21004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinternal::PolymorphicMatcherWithParam1<internal::ValueEqualsMatcher, ValueT> 21014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekequals(const ValueT &Value) { 21024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam1< 21034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::ValueEqualsMatcher, 21044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek ValueT>(Value); 21054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21074da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the operator Name of operator expressions (binary or 21084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// unary). 21094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a || b (matcher = binaryOperator(hasOperatorName("||"))) 211125466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !(a || b) 211325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 21144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekAST_POLYMORPHIC_MATCHER_P(hasOperatorName, std::string, Name) { 21154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek TOOLING_COMPILE_ASSERT( 2116e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<BinaryOperator, NodeType>::value) || 2117e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper (llvm::is_base_of<UnaryOperator, NodeType>::value), 21184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek has_condition_requires_if_statement_or_conditional_operator); 21194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return Name == Node.getOpcodeStr(Node.getOpcode()); 21204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the left hand side of binary operator expressions. 21234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a (matcher = binaryOperator(hasLHS())) 212525466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a || b 212725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2128e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(BinaryOperator, hasLHS, 2129e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2130e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *LeftHandSide = Node.getLHS(); 21314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (LeftHandSide != NULL && 21324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*LeftHandSide, Finder, Builder)); 21334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the right hand side of binary operator expressions. 21364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches b (matcher = binaryOperator(hasRHS())) 213825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// a || b 214025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2141e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(BinaryOperator, hasRHS, 2142e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2143e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *RightHandSide = Node.getRHS(); 21444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (RightHandSide != NULL && 21454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*RightHandSide, Finder, Builder)); 21464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if either the left hand side or the right hand side of a 21494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// binary operator matches. 2150e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<BinaryOperator> hasEitherOperand( 2151e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const internal::Matcher<Expr> &InnerMatcher) { 21524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return anyOf(hasLHS(InnerMatcher), hasRHS(InnerMatcher)); 21534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if the operand of a unary operator matches. 21564da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21579158a5624154bc43bbbf059c07a2f7b2cd45c1a1Alexander Kornienko/// Example matches true (matcher = hasUnaryOperand(boolLiteral(equals(true)))) 215825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// !true 216025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2161e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UnaryOperator, hasUnaryOperand, 2162e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2163e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr * const Operand = Node.getSubExpr(); 21644da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Operand != NULL && 21654da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Operand, Finder, Builder)); 21664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 2168715c9568ee5d75f25dab98229c87bcec880daf5dManuel Klimek/// \brief Matches if the cast's source expression matches the given matcher. 21694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example: matches "a string" (matcher = 21712dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// hasSourceExpression(constructExpr())) 217225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 21734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class URL { URL(string); }; 21744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// URL url = "a string"; 2175715c9568ee5d75f25dab98229c87bcec880daf5dManuel KlimekAST_MATCHER_P(CastExpr, hasSourceExpression, 2176e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2177e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const Expr* const SubExpression = Node.getSubExpr(); 21784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (SubExpression != NULL && 21794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*SubExpression, Finder, Builder)); 21804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21824da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches casts whose destination type matches a given matcher. 21834da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// (Note: Clang's AST refers to other conversions as "casts" too, and calls 21854da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// actual casts "explicit" casts.) 2186e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ExplicitCastExpr, hasDestinationType, 2187e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, InnerMatcher) { 2188e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const QualType NodeType = Node.getTypeAsWritten(); 21894da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(NodeType, Finder, Builder); 21904da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 21914da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 21924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches implicit casts whose destination type matches a given 21934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matcher. 21944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 21954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Unit test this matcher 2196e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ImplicitCastExpr, hasImplicitDestinationType, 2197e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<QualType>, InnerMatcher) { 21984da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(Node.getType(), Finder, Builder); 21994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22004da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the true branch expression of a conditional operator. 22024da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22034da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches a 220425466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// condition ? a : b 220625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2207e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ConditionalOperator, hasTrueExpression, 2208e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2209e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *Expression = Node.getTrueExpr(); 22104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Expression != NULL && 22114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Expression, Finder, Builder)); 22124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22134da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22144da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the false branch expression of a conditional operator. 22154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches b 221725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// condition ? a : b 221925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2220e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(ConditionalOperator, hasFalseExpression, 2221e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 2222e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper Expr *Expression = Node.getFalseExpr(); 22234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Expression != NULL && 22244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Expression, Finder, Builder)); 22254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22264da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches if a declaration has a body attached. 22284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches A, va, fa 223025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22314da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A {}; 22324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class B; // Doesn't match, as it has no body. 22334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int va; 22344da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// extern int vb; // Doesn't match, as it doesn't define the variable. 22354da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void fa() {} 22364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void fb(); // Doesn't match, as it has no body. 223725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2238297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 2239297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<TagDecl>, Matcher<VarDecl>, Matcher<FunctionDecl> 22404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0<internal::IsDefinitionMatcher> 22414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekisDefinition() { 22424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0< 22434da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsDefinitionMatcher>(); 22444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22464da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches the class declaration that the given method declaration 22474da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// belongs to. 22484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: Generalize this for other kinds of declarations. 22504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// FIXME: What other kind of declarations would we need to generalize 22514da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// this to? 22524da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Example matches A() in the last line 22542dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// (matcher = constructExpr(hasDeclaration(methodDecl( 22554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// ofClass(hasName("A")))))) 225625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22574da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class A { 22584da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// public: 22594da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// A(); 22604da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 22614da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// A a = A(); 226225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2263e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(CXXMethodDecl, ofClass, 2264e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<CXXRecordDecl>, InnerMatcher) { 2265e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper const CXXRecordDecl *Parent = Node.getParent(); 22664da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return (Parent != NULL && 22674da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek InnerMatcher.matches(*Parent, Finder, Builder)); 22684da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22694da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22704da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches member expressions that are called with '->' as opposed 22714da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// to '.'. 22724da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22734da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Member calls on the implicit this pointer match as called with '->'. 22744da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 22754da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 227625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22774da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// class Y { 22784da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 22794da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int a; 22804da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// static int b; 22814da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// }; 228225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 22832dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr(isArrow()) 22844da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches this->x, x, y.x, a, this->b 2285e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<MemberExpr> isArrow() { 22864da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return makeMatcher(new internal::IsArrowMatcher()); 22874da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 22884da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 22896a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// \brief Matches QualType nodes that are of integer type. 22906a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// 22916a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// Given 229225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 22936a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void a(int); 22946a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void b(long); 22956a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// void c(double); 229625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 22972dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(hasAnyParameter(hasType(isInteger()))) 22986a12449ec8862211856447d3df4c082a346339f2Daniel Jasper/// matches "a(int)", "b(long)", but not "c(double)". 22996a12449ec8862211856447d3df4c082a346339f2Daniel JasperAST_MATCHER(QualType, isInteger) { 23006a12449ec8862211856447d3df4c082a346339f2Daniel Jasper return Node->isIntegerType(); 23016a12449ec8862211856447d3df4c082a346339f2Daniel Jasper} 23026a12449ec8862211856447d3df4c082a346339f2Daniel Jasper 2303e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches QualType nodes that are const-qualified, i.e., that 23044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// include "top-level" const. 23054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 23064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 230725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 23084da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void a(int); 23094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void b(int const); 23104da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void c(const int); 23114da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void d(const int*); 23124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void e(int const) {}; 231325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 23142dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(hasAnyParameter(hasType(isConstQualified()))) 23154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches "void b(int const)", "void c(const int)" and 23164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// "void e(int const) {}". It does not match d as there 23174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// is no top-level const on the parameter type "const int *". 2318e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasperinline internal::Matcher<QualType> isConstQualified() { 23194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return makeMatcher(new internal::IsConstQualifiedMatcher()); 23204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 23214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 23224da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a member expression where the member is matched by a 23234da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// given matcher. 23244da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 23254da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 232625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 23274da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct { int first, second; } first, second; 23284da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int i(second.first); 23294da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// int j(first.second); 233025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 23312dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr(member(hasName("first"))) 23324da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches second.first 23334da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// but not first.second (because the member name there is "second"). 2334e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(MemberExpr, member, 2335e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<ValueDecl>, InnerMatcher) { 23364da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(*Node.getMemberDecl(), Finder, Builder); 23374da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 23384da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 23394da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches a member expression where the object expression is 23404da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matched by a given matcher. 23414da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 23424da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 234325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 23444da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// struct X { int m; }; 23454da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// void f(X x) { x.m; m; } 234625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 23472dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// memberExpr(hasObjectExpression(hasType(recordDecl(hasName("X"))))))) 23484da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches "x.m" and "m" 23494da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// with hasObjectExpression(...) 23504da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matching "x" and the implicit object expression of "m" which has type X*. 2351e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(MemberExpr, hasObjectExpression, 2352e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper internal::Matcher<Expr>, InnerMatcher) { 23534da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return InnerMatcher.matches(*Node.getBase(), Finder, Builder); 23544da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 23554da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 2356e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches any using shadow declaration. 2357e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 2358e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 235925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2360e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { void b(); } 2361e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::b; 236225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 2363e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// usingDecl(hasAnyUsingShadowDecl(hasName("b")))) 2364e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::b \endcode 2365e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UsingDecl, hasAnyUsingShadowDecl, 236625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<UsingShadowDecl>, InnerMatcher) { 2367e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper for (UsingDecl::shadow_iterator II = Node.shadow_begin(); 2368e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper II != Node.shadow_end(); ++II) { 236925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek if (InnerMatcher.matches(**II, Finder, Builder)) 2370e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return true; 2371e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper } 2372e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper return false; 2373e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 2374e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 2375e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// \brief Matches a using shadow declaration where the target declaration is 2376e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matched by the given matcher. 2377e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// 2378e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// Given 237925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 2380e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// namespace X { int a; void b(); } 2381e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::a; 2382e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// using X::b; 238325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 23842dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// usingDecl(hasAnyUsingShadowDecl(hasTargetDecl(functionDecl()))) 2385e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// matches \code using X::b \endcode 2386e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper/// but not \code using X::a \endcode 2387e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel JasperAST_MATCHER_P(UsingShadowDecl, hasTargetDecl, 238825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek internal::Matcher<NamedDecl>, InnerMatcher) { 238925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek return InnerMatcher.matches(*Node.getTargetDecl(), Finder, Builder); 2390e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper} 2391e0e6b9e79a0c4edae92abd3928263875c78e23aaDaniel Jasper 23924da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// \brief Matches template instantiations of function, class, or static 23934da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// member variable template instantiations. 23944da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 23954da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// Given 239625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 23974da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <typename T> class X {}; class A {}; X<A> x; 239825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 23994da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// or 240025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 24014da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <typename T> class X {}; class A {}; template class X<A>; 240225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 24032dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(hasName("::X"), isTemplateInstantiation()) 24044da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// matches the template instantiation of X<A>. 24054da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// 24064da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// But given 240725466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 240825466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// template <typename T> class X {}; class A {}; 24094da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// template <> class X<A> {}; X<A> x; 241025466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 24112dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// recordDecl(hasName("::X"), isTemplateInstantiation()) 24124da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek/// does not match, as X<A> is an explicit template specialization. 2413297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// 2414297f71daa4eec8beb2eb29573e0892539f8e7172Manuel Klimek/// Usable as: Matcher<FunctionDecl>, Matcher<VarDecl>, Matcher<CXXRecordDecl> 24154da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimekinline internal::PolymorphicMatcherWithParam0< 24164da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsTemplateInstantiationMatcher> 24174da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel KlimekisTemplateInstantiation() { 24184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek return internal::PolymorphicMatcherWithParam0< 24194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek internal::IsTemplateInstantiationMatcher>(); 24204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} 24214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 24228456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// \brief Matches explicit template specializations of function, class, or 24238456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// static member variable template instantiations. 24248456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// 24258456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// Given 242625466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \code 24278456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<typename T> void A(T t) { } 24288456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// template<> void A(int N) { } 242925466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// \endcode 24302dc75ed2ef2fa3cbfd8b2ed88eb2369f3fcd98a9Daniel Jasper/// functionDecl(isExplicitTemplateSpecialization()) 24318456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko/// matches the specialization A<int>(). 243225466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// 243325466496a2ace2aa533abc7bac1e92a4f425e2b1Manuel Klimek/// Usable as: Matcher<FunctionDecl>, Matcher<VarDecl>, Matcher<CXXRecordDecl> 24348456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenkoinline internal::PolymorphicMatcherWithParam0< 24358456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko internal::IsExplicitTemplateSpecializationMatcher> 24368456ae602783b615019a42f7d5c6f0e71639b11bDmitri GribenkoisExplicitTemplateSpecialization() { 24378456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko return internal::PolymorphicMatcherWithParam0< 24388456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko internal::IsExplicitTemplateSpecializationMatcher>(); 24398456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko} 24408456ae602783b615019a42f7d5c6f0e71639b11bDmitri Gribenko 2441a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \brief Matches nested name specifiers. 2442a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// 2443a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// Given 2444a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \code 2445a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// namespace ns { 2446a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// struct A { static void f(); }; 2447a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// void A::f() {} 2448a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// void g() { A::f(); } 2449a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// } 2450a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// ns::A a; 2451a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \endcode 2452a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// nestedNameSpecifier() 2453a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// matches "ns::" and both "A::" 2454a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasperconst internal::VariadicAllOfMatcher<NestedNameSpecifier> nestedNameSpecifier; 2455a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper 2456a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \brief Same as \c nestedNameSpecifier but matches \c NestedNameSpecifierLoc. 2457a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasperconst internal::VariadicAllOfMatcher< 2458a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper NestedNameSpecifierLoc> nestedNameSpecifierLoc; 2459a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper 2460a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \brief Matches \c NestedNameSpecifierLocs for which the given inner 2461a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// NestedNameSpecifier-matcher matches. 2462a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasperinline internal::BindableMatcher<NestedNameSpecifierLoc> loc( 2463a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper const internal::Matcher<NestedNameSpecifier> &InnerMatcher) { 2464a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper return internal::BindableMatcher<NestedNameSpecifierLoc>( 2465a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper new internal::LocMatcher<NestedNameSpecifierLoc, NestedNameSpecifier>( 2466a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper InnerMatcher)); 2467a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper} 2468a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper 2469a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \brief Matches nested name specifiers that specify a type matching the 2470a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// given \c QualType matcher without qualifiers. 2471a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// FIXME: This is a temporary solution. Switch to using Type-matchers as soon 2472a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// as we have those. 2473a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// 2474a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// Given 2475a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \code 2476a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// struct A { struct B { struct C {}; }; }; 2477a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// A::B::C c; 2478a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \endcode 2479a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// nestedNameSpecifier(specifiesType(hasDeclaration(recordDecl(hasName("A"))))) 2480a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// matches "A::" 2481a7564433191601cb8851196b8dde39392c9c05eeDaniel JasperAST_MATCHER_P(NestedNameSpecifier, specifiesType, 2482a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper internal::Matcher<QualType>, InnerMatcher) { 2483a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper if (Node.getAsType() == NULL) 2484a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper return false; 2485a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper return InnerMatcher.matches(QualType(Node.getAsType(), 0), Finder, Builder); 2486a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper} 2487a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper 2488a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \brief Matches on the prefix of a \c NestedNameSpecifier or 2489a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \c NestedNameSpecifierLoc. 2490a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// 2491a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// Given 2492a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \code 2493a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// struct A { struct B { struct C {}; }; }; 2494a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// A::B::C c; 2495a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \endcode 2496a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// nestedNameSpecifier(hasPrefix(specifiesType(asString("struct A")))) and 2497a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// nestedNameSpecifierLoc(hasPrefix(loc(specifiesType(asString("struct A"))))) 2498a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// both match "A::" 2499a7564433191601cb8851196b8dde39392c9c05eeDaniel JasperLOC_TRAVERSE_MATCHER(hasPrefix, NestedNameSpecifier, getPrefix) 2500a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper 2501a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \brief Matches nested name specifiers that specify a namespace matching the 2502a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// given namespace matcher. 2503a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// 2504a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// Given 2505a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \code 2506a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// namespace ns { struct A {}; } 2507a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// ns::A a; 2508a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// \endcode 2509a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// nestedNameSpecifier(specifiesNamespace(hasName("ns"))) 2510a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper/// matches "ns::" 2511a7564433191601cb8851196b8dde39392c9c05eeDaniel JasperAST_MATCHER_P(NestedNameSpecifier, specifiesNamespace, 2512a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper internal::Matcher<NamespaceDecl>, InnerMatcher) { 2513a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper if (Node.getAsNamespace() == NULL) 2514a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper return false; 2515a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper return InnerMatcher.matches(*Node.getAsNamespace(), Finder, Builder); 2516a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper} 2517a7564433191601cb8851196b8dde39392c9c05eeDaniel Jasper 25184da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} // end namespace ast_matchers 25194da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek} // end namespace clang 25204da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek 25214da216637fa1ad4bdfd31bc265edb57ca35c2c12Manuel Klimek#endif // LLVM_CLANG_AST_MATCHERS_AST_MATCHERS_H 2522