1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" 2 "http://www.w3.org/TR/html4/strict.dtd"> 3 <html> 4 <head> 5 <title>AST Matcher Reference</title> 6 <link type="text/css" rel="stylesheet" href="../menu.css" /> 7 <link type="text/css" rel="stylesheet" href="../content.css" /> 8 <style type="text/css"> 9 td { 10 padding: .33em; 11 } 12 td.doc { 13 display: none; 14 border-bottom: 1px solid black; 15 } 16 td.name:hover { 17 color: blue; 18 cursor: pointer; 19 } 20 </style> 21 <script type="text/javascript"> 22 function toggle(id) { 23 if (!id) return; 24 row = document.getElementById(id); 25 if (row.style.display != 'table-cell') 26 row.style.display = 'table-cell'; 27 else 28 row.style.display = 'none'; 29 } 30 </script> 31 </head> 32 <body onLoad="toggle(location.hash.substring(1, location.hash.length - 6))"> 33 34 <!--#include virtual="../menu.html.incl"--> 35 36 <div id="content"> 37 38 <h1>AST Matcher Reference</h1> 39 40 <p>This document shows all currently implemented matchers. The matchers are grouped 41 by category and node type they match. You can click on matcher names to show the 42 matcher's source documentation.</p> 43 44 <p>There are three different basic categories of matchers: 45 <ul> 46 <li><a href="#decl-matchers">Node Matchers:</a> Matchers that match a specific type of AST node.</li> 47 <li><a href="#narrowing-matchers">Narrowing Matchers:</a> Matchers that match attributes on AST nodes.</li> 48 <li><a href="#traversal-matchers">Traversal Matchers:</a> Matchers that allow traversal between AST nodes.</li> 49 </ul> 50 </p> 51 52 <p>Within each category the matchers are ordered by node type they match on. 53 Note that if a matcher can match multiple node types, it will it will appear 54 multiple times. This means that by searching for Matcher<Stmt> you can 55 find all matchers that can be used to match on Stmt nodes.</p> 56 57 <p>The exception to that rule are matchers that can match on any node. Those 58 are marked with a * and are listed in the beginning of each category.</p> 59 60 <!-- ======================================================================= --> 61 <h2 id="decl-matchers">Node Matchers</h2> 62 <!-- ======================================================================= --> 63 64 <p>Node matchers are at the core of matcher expressions - they specify the type 65 of node that is expected. Every match expression starts with a node matcher, 66 which can then be further refined with a narrowing or traversal matcher. All 67 traversal matchers take node matchers as their arguments.</p> 68 69 <p>For convenience, all node matchers take an arbitrary number of arguments 70 and implicitly act as allOf matchers.</p> 71 72 <p>Node matchers are the only matchers that support the bind("id") call to 73 bind the matched node to the given string, to be later retrieved from the 74 match callback.</p> 75 76 <table> 77 <tr style="text-align:left"><th>Return type</th><th>Name</th><th>Parameters</th></tr> 78 <!-- START_DECL_MATCHERS --> 79 80 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('accessSpecDecl0')"><a name="accessSpecDecl0Anchor">accessSpecDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AccessSpecDecl.html">AccessSpecDecl</a>>...</td></tr> 81 <tr><td colspan="4" class="doc" id="accessSpecDecl0"><pre>Matches C++ access specifier declarations. 82 83 Given 84 class C { 85 public: 86 int a; 87 }; 88 accessSpecDecl() 89 matches 'public:' 90 </pre></td></tr> 91 92 93 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('classTemplateDecl0')"><a name="classTemplateDecl0Anchor">classTemplateDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ClassTemplateDecl.html">ClassTemplateDecl</a>>...</td></tr> 94 <tr><td colspan="4" class="doc" id="classTemplateDecl0"><pre>Matches C++ class template declarations. 95 96 Example matches Z 97 template<class T> class Z {}; 98 </pre></td></tr> 99 100 101 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('classTemplateSpecializationDecl0')"><a name="classTemplateSpecializationDecl0Anchor">classTemplateSpecializationDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ClassTemplateSpecializationDecl.html">ClassTemplateSpecializationDecl</a>>...</td></tr> 102 <tr><td colspan="4" class="doc" id="classTemplateSpecializationDecl0"><pre>Matches C++ class template specializations. 103 104 Given 105 template<typename T> class A {}; 106 template<> class A<double> {}; 107 A<int> a; 108 classTemplateSpecializationDecl() 109 matches the specializations A<int> and A<double> 110 </pre></td></tr> 111 112 113 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('constructorDecl0')"><a name="constructorDecl0Anchor">constructorDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructorDecl.html">CXXConstructorDecl</a>>...</td></tr> 114 <tr><td colspan="4" class="doc" id="constructorDecl0"><pre>Matches C++ constructor declarations. 115 116 Example matches Foo::Foo() and Foo::Foo(int) 117 class Foo { 118 public: 119 Foo(); 120 Foo(int); 121 int DoSomething(); 122 }; 123 </pre></td></tr> 124 125 126 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('decl0')"><a name="decl0Anchor">decl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>>...</td></tr> 127 <tr><td colspan="4" class="doc" id="decl0"><pre>Matches declarations. 128 129 Examples matches X, C, and the friend declaration inside C; 130 void X(); 131 class C { 132 friend X; 133 }; 134 </pre></td></tr> 135 136 137 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('destructorDecl0')"><a name="destructorDecl0Anchor">destructorDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXDestructorDecl.html">CXXDestructorDecl</a>>...</td></tr> 138 <tr><td colspan="4" class="doc" id="destructorDecl0"><pre>Matches explicit C++ destructor declarations. 139 140 Example matches Foo::~Foo() 141 class Foo { 142 public: 143 virtual ~Foo(); 144 }; 145 </pre></td></tr> 146 147 148 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('enumConstantDecl0')"><a name="enumConstantDecl0Anchor">enumConstantDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1EnumConstantDecl.html">EnumConstantDecl</a>>...</td></tr> 149 <tr><td colspan="4" class="doc" id="enumConstantDecl0"><pre>Matches enum constants. 150 151 Example matches A, B, C 152 enum X { 153 A, B, C 154 }; 155 </pre></td></tr> 156 157 158 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('enumDecl0')"><a name="enumDecl0Anchor">enumDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1EnumDecl.html">EnumDecl</a>>...</td></tr> 159 <tr><td colspan="4" class="doc" id="enumDecl0"><pre>Matches enum declarations. 160 161 Example matches X 162 enum X { 163 A, B, C 164 }; 165 </pre></td></tr> 166 167 168 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('fieldDecl0')"><a name="fieldDecl0Anchor">fieldDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FieldDecl.html">FieldDecl</a>>...</td></tr> 169 <tr><td colspan="4" class="doc" id="fieldDecl0"><pre>Matches field declarations. 170 171 Given 172 class X { int m; }; 173 fieldDecl() 174 matches 'm'. 175 </pre></td></tr> 176 177 178 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('functionDecl0')"><a name="functionDecl0Anchor">functionDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>>...</td></tr> 179 <tr><td colspan="4" class="doc" id="functionDecl0"><pre>Matches function declarations. 180 181 Example matches f 182 void f(); 183 </pre></td></tr> 184 185 186 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('functionTemplateDecl0')"><a name="functionTemplateDecl0Anchor">functionTemplateDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionTemplateDecl.html">FunctionTemplateDecl</a>>...</td></tr> 187 <tr><td colspan="4" class="doc" id="functionTemplateDecl0"><pre>Matches C++ function template declarations. 188 189 Example matches f 190 template<class T> void f(T t) {} 191 </pre></td></tr> 192 193 194 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('methodDecl0')"><a name="methodDecl0Anchor">methodDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMethodDecl.html">CXXMethodDecl</a>>...</td></tr> 195 <tr><td colspan="4" class="doc" id="methodDecl0"><pre>Matches method declarations. 196 197 Example matches y 198 class X { void y() }; 199 </pre></td></tr> 200 201 202 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('namedDecl0')"><a name="namedDecl0Anchor">namedDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NamedDecl.html">NamedDecl</a>>...</td></tr> 203 <tr><td colspan="4" class="doc" id="namedDecl0"><pre>Matches a declaration of anything that could have a name. 204 205 Example matches X, S, the anonymous union type, i, and U; 206 typedef int X; 207 struct S { 208 union { 209 int i; 210 } U; 211 }; 212 </pre></td></tr> 213 214 215 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('recordDecl0')"><a name="recordDecl0Anchor">recordDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>>...</td></tr> 216 <tr><td colspan="4" class="doc" id="recordDecl0"><pre>Matches C++ class declarations. 217 218 Example matches X, Z 219 class X; 220 template<class T> class Z {}; 221 </pre></td></tr> 222 223 224 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('usingDecl0')"><a name="usingDecl0Anchor">usingDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UsingDecl.html">UsingDecl</a>>...</td></tr> 225 <tr><td colspan="4" class="doc" id="usingDecl0"><pre>Matches using declarations. 226 227 Given 228 namespace X { int x; } 229 using X::x; 230 usingDecl() 231 matches using X::x </pre></td></tr> 232 233 234 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('varDecl0')"><a name="varDecl0Anchor">varDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>...</td></tr> 235 <tr><td colspan="4" class="doc" id="varDecl0"><pre>Matches variable declarations. 236 237 Note: this does not match declarations of member variables, which are 238 "field" declarations in Clang parlance. 239 240 Example matches a 241 int a; 242 </pre></td></tr> 243 244 245 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifierLoc.html">NestedNameSpecifierLoc</a>></td><td class="name" onclick="toggle('nestedNameSpecifierLoc0')"><a name="nestedNameSpecifierLoc0Anchor">nestedNameSpecifierLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifierLoc.html">NestedNameSpecifierLoc</a>>...</td></tr> 246 <tr><td colspan="4" class="doc" id="nestedNameSpecifierLoc0"><pre>Same as nestedNameSpecifier but matches NestedNameSpecifierLoc. 247 </pre></td></tr> 248 249 250 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>></td><td class="name" onclick="toggle('nestedNameSpecifier0')"><a name="nestedNameSpecifier0Anchor">nestedNameSpecifier</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>>...</td></tr> 251 <tr><td colspan="4" class="doc" id="nestedNameSpecifier0"><pre>Matches nested name specifiers. 252 253 Given 254 namespace ns { 255 struct A { static void f(); }; 256 void A::f() {} 257 void g() { A::f(); } 258 } 259 ns::A a; 260 nestedNameSpecifier() 261 matches "ns::" and both "A::" 262 </pre></td></tr> 263 264 265 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('qualType0')"><a name="qualType0Anchor">qualType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>>...</td></tr> 266 <tr><td colspan="4" class="doc" id="qualType0"><pre>Matches QualTypes in the clang AST. 267 </pre></td></tr> 268 269 270 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('arraySubscriptExpr0')"><a name="arraySubscriptExpr0Anchor">arraySubscriptExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArraySubscriptExpr.html">ArraySubscriptExpr</a>>...</td></tr> 271 <tr><td colspan="4" class="doc" id="arraySubscriptExpr0"><pre>Matches array subscript expressions. 272 273 Given 274 int i = a[1]; 275 arraySubscriptExpr() 276 matches "a[1]" 277 </pre></td></tr> 278 279 280 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('asmStmt0')"><a name="asmStmt0Anchor">asmStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AsmStmt.html">AsmStmt</a>>...</td></tr> 281 <tr><td colspan="4" class="doc" id="asmStmt0"><pre>Matches asm statements. 282 283 int i = 100; 284 __asm("mov al, 2"); 285 asmStmt() 286 matches '__asm("mov al, 2")' 287 </pre></td></tr> 288 289 290 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('binaryOperator0')"><a name="binaryOperator0Anchor">binaryOperator</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BinaryOperator.html">BinaryOperator</a>>...</td></tr> 291 <tr><td colspan="4" class="doc" id="binaryOperator0"><pre>Matches binary operator expressions. 292 293 Example matches a || b 294 !(a || b) 295 </pre></td></tr> 296 297 298 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('bindTemporaryExpr0')"><a name="bindTemporaryExpr0Anchor">bindTemporaryExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXBindTemporaryExpr.html">CXXBindTemporaryExpr</a>>...</td></tr> 299 <tr><td colspan="4" class="doc" id="bindTemporaryExpr0"><pre>Matches nodes where temporaries are created. 300 301 Example matches FunctionTakesString(GetStringByValue()) 302 (matcher = bindTemporaryExpr()) 303 FunctionTakesString(GetStringByValue()); 304 FunctionTakesStringByPointer(GetStringPointer()); 305 </pre></td></tr> 306 307 308 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('boolLiteral0')"><a name="boolLiteral0Anchor">boolLiteral</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXBoolLiteralExpr.html">CXXBoolLiteralExpr</a>>...</td></tr> 309 <tr><td colspan="4" class="doc" id="boolLiteral0"><pre>Matches bool literals. 310 311 Example matches true 312 true 313 </pre></td></tr> 314 315 316 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('breakStmt0')"><a name="breakStmt0Anchor">breakStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BreakStmt.html">BreakStmt</a>>...</td></tr> 317 <tr><td colspan="4" class="doc" id="breakStmt0"><pre>Matches break statements. 318 319 Given 320 while (true) { break; } 321 breakStmt() 322 matches 'break' 323 </pre></td></tr> 324 325 326 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('cStyleCastExpr0')"><a name="cStyleCastExpr0Anchor">cStyleCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CStyleCastExpr.html">CStyleCastExpr</a>>...</td></tr> 327 <tr><td colspan="4" class="doc" id="cStyleCastExpr0"><pre>Matches a C-style cast expression. 328 329 Example: Matches (int*) 2.2f in 330 int i = (int) 2.2f; 331 </pre></td></tr> 332 333 334 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('callExpr0')"><a name="callExpr0Anchor">callExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>>...</td></tr> 335 <tr><td colspan="4" class="doc" id="callExpr0"><pre>Matches call expressions. 336 337 Example matches x.y() and y() 338 X x; 339 x.y(); 340 y(); 341 </pre></td></tr> 342 343 344 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('castExpr0')"><a name="castExpr0Anchor">castExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CastExpr.html">CastExpr</a>>...</td></tr> 345 <tr><td colspan="4" class="doc" id="castExpr0"><pre>Matches any cast nodes of Clang's AST. 346 347 Example: castExpr() matches each of the following: 348 (int) 3; 349 const_cast<Expr *>(SubExpr); 350 char c = 0; 351 but does not match 352 int i = (0); 353 int k = 0; 354 </pre></td></tr> 355 356 357 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('catchStmt0')"><a name="catchStmt0Anchor">catchStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXCatchStmt.html">CXXCatchStmt</a>>...</td></tr> 358 <tr><td colspan="4" class="doc" id="catchStmt0"><pre>Matches catch statements. 359 360 try {} catch(int i) {} 361 catchStmt() 362 matches 'catch(int i)' 363 </pre></td></tr> 364 365 366 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('characterLiteral0')"><a name="characterLiteral0Anchor">characterLiteral</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CharacterLiteral.html">CharacterLiteral</a>>...</td></tr> 367 <tr><td colspan="4" class="doc" id="characterLiteral0"><pre>Matches character literals (also matches wchar_t). 368 369 Not matching Hex-encoded chars (e.g. 0x1234, which is a IntegerLiteral), 370 though. 371 372 Example matches 'a', L'a' 373 char ch = 'a'; wchar_t chw = L'a'; 374 </pre></td></tr> 375 376 377 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('compoundLiteralExpr0')"><a name="compoundLiteralExpr0Anchor">compoundLiteralExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CompoundLiteralExpr.html">CompoundLiteralExpr</a>>...</td></tr> 378 <tr><td colspan="4" class="doc" id="compoundLiteralExpr0"><pre>Matches compound (i.e. non-scalar) literals 379 380 Example match: {1}, (1, 2) 381 int array[4] = {1}; vector int myvec = (vector int)(1, 2); 382 </pre></td></tr> 383 384 385 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('compoundStmt0')"><a name="compoundStmt0Anchor">compoundStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CompoundStmt.html">CompoundStmt</a>>...</td></tr> 386 <tr><td colspan="4" class="doc" id="compoundStmt0"><pre>Matches compound statements. 387 388 Example matches '{}' and '{{}}'in 'for (;;) {{}}' 389 for (;;) {{}} 390 </pre></td></tr> 391 392 393 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('conditionalOperator0')"><a name="conditionalOperator0Anchor">conditionalOperator</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ConditionalOperator.html">ConditionalOperator</a>>...</td></tr> 394 <tr><td colspan="4" class="doc" id="conditionalOperator0"><pre>Matches conditional operator expressions. 395 396 Example matches a ? b : c 397 (a ? b : c) + 42 398 </pre></td></tr> 399 400 401 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('constCastExpr0')"><a name="constCastExpr0Anchor">constCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstCastExpr.html">CXXConstCastExpr</a>>...</td></tr> 402 <tr><td colspan="4" class="doc" id="constCastExpr0"><pre>Matches a const_cast expression. 403 404 Example: Matches const_cast<int*>(&r) in 405 int n = 42; 406 const int &r(n); 407 int* p = const_cast<int*>(&r); 408 </pre></td></tr> 409 410 411 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('constructExpr0')"><a name="constructExpr0Anchor">constructExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>>...</td></tr> 412 <tr><td colspan="4" class="doc" id="constructExpr0"><pre>Matches constructor call expressions (including implicit ones). 413 414 Example matches string(ptr, n) and ptr within arguments of f 415 (matcher = constructExpr()) 416 void f(const string &a, const string &b); 417 char *ptr; 418 int n; 419 f(string(ptr, n), ptr); 420 </pre></td></tr> 421 422 423 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('continueStmt0')"><a name="continueStmt0Anchor">continueStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ContinueStmt.html">ContinueStmt</a>>...</td></tr> 424 <tr><td colspan="4" class="doc" id="continueStmt0"><pre>Matches continue statements. 425 426 Given 427 while (true) { continue; } 428 continueStmt() 429 matches 'continue' 430 </pre></td></tr> 431 432 433 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('declRefExpr0')"><a name="declRefExpr0Anchor">declRefExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclRefExpr.html">DeclRefExpr</a>>...</td></tr> 434 <tr><td colspan="4" class="doc" id="declRefExpr0"><pre>Matches expressions that refer to declarations. 435 436 Example matches x in if (x) 437 bool x; 438 if (x) {} 439 </pre></td></tr> 440 441 442 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('declStmt0')"><a name="declStmt0Anchor">declStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclStmt.html">DeclStmt</a>>...</td></tr> 443 <tr><td colspan="4" class="doc" id="declStmt0"><pre>Matches declaration statements. 444 445 Given 446 int a; 447 declStmt() 448 matches 'int a'. 449 </pre></td></tr> 450 451 452 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('defaultArgExpr0')"><a name="defaultArgExpr0Anchor">defaultArgExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXDefaultArgExpr.html">CXXDefaultArgExpr</a>>...</td></tr> 453 <tr><td colspan="4" class="doc" id="defaultArgExpr0"><pre>Matches the value of a default argument at the call site. 454 455 Example matches the CXXDefaultArgExpr placeholder inserted for the 456 default value of the second parameter in the call expression f(42) 457 (matcher = defaultArgExpr()) 458 void f(int x, int y = 0); 459 f(42); 460 </pre></td></tr> 461 462 463 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('deleteExpr0')"><a name="deleteExpr0Anchor">deleteExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXDeleteExpr.html">CXXDeleteExpr</a>>...</td></tr> 464 <tr><td colspan="4" class="doc" id="deleteExpr0"><pre>Matches delete expressions. 465 466 Given 467 delete X; 468 deleteExpr() 469 matches 'delete X'. 470 </pre></td></tr> 471 472 473 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('doStmt0')"><a name="doStmt0Anchor">doStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DoStmt.html">DoStmt</a>>...</td></tr> 474 <tr><td colspan="4" class="doc" id="doStmt0"><pre>Matches do statements. 475 476 Given 477 do {} while (true); 478 doStmt() 479 matches 'do {} while(true)' 480 </pre></td></tr> 481 482 483 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('dynamicCastExpr0')"><a name="dynamicCastExpr0Anchor">dynamicCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXDynamicCastExpr.html">CXXDynamicCastExpr</a>>...</td></tr> 484 <tr><td colspan="4" class="doc" id="dynamicCastExpr0"><pre>Matches a dynamic_cast expression. 485 486 Example: 487 dynamicCastExpr() 488 matches 489 dynamic_cast<D*>(&b); 490 in 491 struct B { virtual ~B() {} }; struct D : B {}; 492 B b; 493 D* p = dynamic_cast<D*>(&b); 494 </pre></td></tr> 495 496 497 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('explicitCastExpr0')"><a name="explicitCastExpr0Anchor">explicitCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ExplicitCastExpr.html">ExplicitCastExpr</a>>...</td></tr> 498 <tr><td colspan="4" class="doc" id="explicitCastExpr0"><pre>Matches explicit cast expressions. 499 500 Matches any cast expression written in user code, whether it be a 501 C-style cast, a functional-style cast, or a keyword cast. 502 503 Does not match implicit conversions. 504 505 Note: the name "explicitCast" is chosen to match Clang's terminology, as 506 Clang uses the term "cast" to apply to implicit conversions as well as to 507 actual cast expressions. 508 509 hasDestinationType. 510 511 Example: matches all five of the casts in 512 int((int)(reinterpret_cast<int>(static_cast<int>(const_cast<int>(42))))) 513 but does not match the implicit conversion in 514 long ell = 42; 515 </pre></td></tr> 516 517 518 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('expr0')"><a name="expr0Anchor">expr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>>...</td></tr> 519 <tr><td colspan="4" class="doc" id="expr0"><pre>Matches expressions. 520 521 Example matches x() 522 void f() { x(); } 523 </pre></td></tr> 524 525 526 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('forRangeStmt0')"><a name="forRangeStmt0Anchor">forRangeStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXForRangeStmt.html">CXXForRangeStmt</a>>...</td></tr> 527 <tr><td colspan="4" class="doc" id="forRangeStmt0"><pre>Matches range-based for statements. 528 529 forRangeStmt() matches 'for (auto a : i)' 530 int i[] = {1, 2, 3}; for (auto a : i); 531 for(int j = 0; j < 5; ++j); 532 </pre></td></tr> 533 534 535 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('forStmt0')"><a name="forStmt0Anchor">forStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ForStmt.html">ForStmt</a>>...</td></tr> 536 <tr><td colspan="4" class="doc" id="forStmt0"><pre>Matches for statements. 537 538 Example matches 'for (;;) {}' 539 for (;;) {} 540 int i[] = {1, 2, 3}; for (auto a : i); 541 </pre></td></tr> 542 543 544 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('functionalCastExpr0')"><a name="functionalCastExpr0Anchor">functionalCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXFunctionalCastExpr.html">CXXFunctionalCastExpr</a>>...</td></tr> 545 <tr><td colspan="4" class="doc" id="functionalCastExpr0"><pre>Matches functional cast expressions 546 547 Example: Matches Foo(bar); 548 Foo f = bar; 549 Foo g = (Foo) bar; 550 Foo h = Foo(bar); 551 </pre></td></tr> 552 553 554 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('gotoStmt0')"><a name="gotoStmt0Anchor">gotoStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1GotoStmt.html">GotoStmt</a>>...</td></tr> 555 <tr><td colspan="4" class="doc" id="gotoStmt0"><pre>Matches goto statements. 556 557 Given 558 goto FOO; 559 FOO: bar(); 560 gotoStmt() 561 matches 'goto FOO' 562 </pre></td></tr> 563 564 565 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('ifStmt0')"><a name="ifStmt0Anchor">ifStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IfStmt.html">IfStmt</a>>...</td></tr> 566 <tr><td colspan="4" class="doc" id="ifStmt0"><pre>Matches if statements. 567 568 Example matches 'if (x) {}' 569 if (x) {} 570 </pre></td></tr> 571 572 573 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('implicitCastExpr0')"><a name="implicitCastExpr0Anchor">implicitCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ImplicitCastExpr.html">ImplicitCastExpr</a>>...</td></tr> 574 <tr><td colspan="4" class="doc" id="implicitCastExpr0"><pre>Matches the implicit cast nodes of Clang's AST. 575 576 This matches many different places, including function call return value 577 eliding, as well as any type conversions. 578 </pre></td></tr> 579 580 581 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('initListExpr0')"><a name="initListExpr0Anchor">initListExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1InitListExpr.html">InitListExpr</a>>...</td></tr> 582 <tr><td colspan="4" class="doc" id="initListExpr0"><pre>Matches init list expressions. 583 584 Given 585 int a[] = { 1, 2 }; 586 struct B { int x, y; }; 587 B b = { 5, 6 }; 588 initList() 589 matches "{ 1, 2 }" and "{ 5, 6 }" 590 </pre></td></tr> 591 592 593 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('integerLiteral0')"><a name="integerLiteral0Anchor">integerLiteral</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IntegerLiteral.html">IntegerLiteral</a>>...</td></tr> 594 <tr><td colspan="4" class="doc" id="integerLiteral0"><pre>Matches integer literals of all sizes encodings. 595 596 Not matching character-encoded integers such as L'a'. 597 598 Example matches 1, 1L, 0x1, 1U 599 </pre></td></tr> 600 601 602 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('labelStmt0')"><a name="labelStmt0Anchor">labelStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1LabelStmt.html">LabelStmt</a>>...</td></tr> 603 <tr><td colspan="4" class="doc" id="labelStmt0"><pre>Matches label statements. 604 605 Given 606 goto FOO; 607 FOO: bar(); 608 labelStmt() 609 matches 'FOO:' 610 </pre></td></tr> 611 612 613 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('lambdaExpr0')"><a name="lambdaExpr0Anchor">lambdaExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1LambdaExpr.html">LambdaExpr</a>>...</td></tr> 614 <tr><td colspan="4" class="doc" id="lambdaExpr0"><pre>Matches lambda expressions. 615 616 Example matches [&](){return 5;} 617 [&](){return 5;} 618 </pre></td></tr> 619 620 621 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('materializeTemporaryExpr0')"><a name="materializeTemporaryExpr0Anchor">materializeTemporaryExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MaterializeTemporaryExpr.html">MaterializeTemporaryExpr</a>>...</td></tr> 622 <tr><td colspan="4" class="doc" id="materializeTemporaryExpr0"><pre>Matches nodes where temporaries are materialized. 623 624 Example: Given 625 struct T {void func()}; 626 T f(); 627 void g(T); 628 materializeTemporaryExpr() matches 'f()' in these statements 629 T u(f()); 630 g(f()); 631 but does not match 632 f(); 633 f().func(); 634 </pre></td></tr> 635 636 637 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('memberCallExpr0')"><a name="memberCallExpr0Anchor">memberCallExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMemberCallExpr.html">CXXMemberCallExpr</a>>...</td></tr> 638 <tr><td colspan="4" class="doc" id="memberCallExpr0"><pre>Matches member call expressions. 639 640 Example matches x.y() 641 X x; 642 x.y(); 643 </pre></td></tr> 644 645 646 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('memberExpr0')"><a name="memberExpr0Anchor">memberExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>>...</td></tr> 647 <tr><td colspan="4" class="doc" id="memberExpr0"><pre>Matches member expressions. 648 649 Given 650 class Y { 651 void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 652 int a; static int b; 653 }; 654 memberExpr() 655 matches this->x, x, y.x, a, this->b 656 </pre></td></tr> 657 658 659 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('newExpr0')"><a name="newExpr0Anchor">newExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXNewExpr.html">CXXNewExpr</a>>...</td></tr> 660 <tr><td colspan="4" class="doc" id="newExpr0"><pre>Matches new expressions. 661 662 Given 663 new X; 664 newExpr() 665 matches 'new X'. 666 </pre></td></tr> 667 668 669 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('nullPtrLiteralExpr0')"><a name="nullPtrLiteralExpr0Anchor">nullPtrLiteralExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXNullPtrLiteralExpr.html">CXXNullPtrLiteralExpr</a>>...</td></tr> 670 <tr><td colspan="4" class="doc" id="nullPtrLiteralExpr0"><pre>Matches nullptr literal. 671 </pre></td></tr> 672 673 674 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('nullStmt0')"><a name="nullStmt0Anchor">nullStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NullStmt.html">NullStmt</a>>...</td></tr> 675 <tr><td colspan="4" class="doc" id="nullStmt0"><pre>Matches null statements. 676 677 foo();; 678 nullStmt() 679 matches the second ';' 680 </pre></td></tr> 681 682 683 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('operatorCallExpr0')"><a name="operatorCallExpr0Anchor">operatorCallExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXOperatorCallExpr.html">CXXOperatorCallExpr</a>>...</td></tr> 684 <tr><td colspan="4" class="doc" id="operatorCallExpr0"><pre>Matches overloaded operator calls. 685 686 Note that if an operator isn't overloaded, it won't match. Instead, use 687 binaryOperator matcher. 688 Currently it does not match operators such as new delete. 689 FIXME: figure out why these do not match? 690 691 Example matches both operator<<((o << b), c) and operator<<(o, b) 692 (matcher = operatorCallExpr()) 693 ostream &operator<< (ostream &out, int i) { }; 694 ostream &o; int b = 1, c = 1; 695 o << b << c; 696 </pre></td></tr> 697 698 699 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('reinterpretCastExpr0')"><a name="reinterpretCastExpr0Anchor">reinterpretCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXReinterpretCastExpr.html">CXXReinterpretCastExpr</a>>...</td></tr> 700 <tr><td colspan="4" class="doc" id="reinterpretCastExpr0"><pre>Matches a reinterpret_cast expression. 701 702 Either the source expression or the destination type can be matched 703 using has(), but hasDestinationType() is more specific and can be 704 more readable. 705 706 Example matches reinterpret_cast<char*>(&p) in 707 void* p = reinterpret_cast<char*>(&p); 708 </pre></td></tr> 709 710 711 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('returnStmt0')"><a name="returnStmt0Anchor">returnStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReturnStmt.html">ReturnStmt</a>>...</td></tr> 712 <tr><td colspan="4" class="doc" id="returnStmt0"><pre>Matches return statements. 713 714 Given 715 return 1; 716 returnStmt() 717 matches 'return 1' 718 </pre></td></tr> 719 720 721 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('staticCastExpr0')"><a name="staticCastExpr0Anchor">staticCastExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXStaticCastExpr.html">CXXStaticCastExpr</a>>...</td></tr> 722 <tr><td colspan="4" class="doc" id="staticCastExpr0"><pre>Matches a C++ static_cast expression. 723 724 hasDestinationType 725 reinterpretCast 726 727 Example: 728 staticCastExpr() 729 matches 730 static_cast<long>(8) 731 in 732 long eight(static_cast<long>(8)); 733 </pre></td></tr> 734 735 736 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('stmt0')"><a name="stmt0Anchor">stmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>>...</td></tr> 737 <tr><td colspan="4" class="doc" id="stmt0"><pre>Matches statements. 738 739 Given 740 { ++a; } 741 stmt() 742 matches both the compound statement '{ ++a; }' and '++a'. 743 </pre></td></tr> 744 745 746 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('stringLiteral0')"><a name="stringLiteral0Anchor">stringLiteral</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1StringLiteral.html">StringLiteral</a>>...</td></tr> 747 <tr><td colspan="4" class="doc" id="stringLiteral0"><pre>Matches string literals (also matches wide string literals). 748 749 Example matches "abcd", L"abcd" 750 char *s = "abcd"; wchar_t *ws = L"abcd" 751 </pre></td></tr> 752 753 754 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('switchCase0')"><a name="switchCase0Anchor">switchCase</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1SwitchCase.html">SwitchCase</a>>...</td></tr> 755 <tr><td colspan="4" class="doc" id="switchCase0"><pre>Matches case and default statements inside switch statements. 756 757 Given 758 switch(a) { case 42: break; default: break; } 759 switchCase() 760 matches 'case 42: break;' and 'default: break;'. 761 </pre></td></tr> 762 763 764 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('switchStmt0')"><a name="switchStmt0Anchor">switchStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1SwitchStmt.html">SwitchStmt</a>>...</td></tr> 765 <tr><td colspan="4" class="doc" id="switchStmt0"><pre>Matches switch statements. 766 767 Given 768 switch(a) { case 42: break; default: break; } 769 switchStmt() 770 matches 'switch(a)'. 771 </pre></td></tr> 772 773 774 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('thisExpr0')"><a name="thisExpr0Anchor">thisExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXThisExpr.html">CXXThisExpr</a>>...</td></tr> 775 <tr><td colspan="4" class="doc" id="thisExpr0"><pre>Matches implicit and explicit this expressions. 776 777 Example matches the implicit this expression in "return i". 778 (matcher = thisExpr()) 779 struct foo { 780 int i; 781 int f() { return i; } 782 }; 783 </pre></td></tr> 784 785 786 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('throwExpr0')"><a name="throwExpr0Anchor">throwExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXThrowExpr.html">CXXThrowExpr</a>>...</td></tr> 787 <tr><td colspan="4" class="doc" id="throwExpr0"><pre>Matches throw expressions. 788 789 try { throw 5; } catch(int i) {} 790 throwExpr() 791 matches 'throw 5' 792 </pre></td></tr> 793 794 795 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('tryStmt0')"><a name="tryStmt0Anchor">tryStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXTryStmt.html">CXXTryStmt</a>>...</td></tr> 796 <tr><td colspan="4" class="doc" id="tryStmt0"><pre>Matches try statements. 797 798 try {} catch(int i) {} 799 tryStmt() 800 matches 'try {}' 801 </pre></td></tr> 802 803 804 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('unaryExprOrTypeTraitExpr0')"><a name="unaryExprOrTypeTraitExpr0Anchor">unaryExprOrTypeTraitExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryExprOrTypeTraitExpr.html">UnaryExprOrTypeTraitExpr</a>>...</td></tr> 805 <tr><td colspan="4" class="doc" id="unaryExprOrTypeTraitExpr0"><pre>Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL) 806 807 Given 808 Foo x = bar; 809 int y = sizeof(x) + alignof(x); 810 unaryExprOrTypeTraitExpr() 811 matches sizeof(x) and alignof(x) 812 </pre></td></tr> 813 814 815 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('unaryOperator0')"><a name="unaryOperator0Anchor">unaryOperator</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryOperator.html">UnaryOperator</a>>...</td></tr> 816 <tr><td colspan="4" class="doc" id="unaryOperator0"><pre>Matches unary operator expressions. 817 818 Example matches !a 819 !a || b 820 </pre></td></tr> 821 822 823 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('userDefinedLiteral0')"><a name="userDefinedLiteral0Anchor">userDefinedLiteral</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UserDefinedLiteral.html">UserDefinedLiteral</a>>...</td></tr> 824 <tr><td colspan="4" class="doc" id="userDefinedLiteral0"><pre>Matches user defined literal operator call. 825 826 Example match: "foo"_suffix 827 </pre></td></tr> 828 829 830 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('whileStmt0')"><a name="whileStmt0Anchor">whileStmt</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1WhileStmt.html">WhileStmt</a>>...</td></tr> 831 <tr><td colspan="4" class="doc" id="whileStmt0"><pre>Matches while statements. 832 833 Given 834 while (true) {} 835 whileStmt() 836 matches 'while (true) {}'. 837 </pre></td></tr> 838 839 840 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('arrayTypeLoc0')"><a name="arrayTypeLoc0Anchor">arrayTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayTypeLoc.html">ArrayTypeLoc</a>>...</td></tr> 841 <tr><td colspan="4" class="doc" id="arrayTypeLoc0"><pre>Matches all kinds of arrays. 842 843 Given 844 int a[] = { 2, 3 }; 845 int b[4]; 846 void f() { int c[a[0]]; } 847 arrayType() 848 matches "int a[]", "int b[4]" and "int c[a[0]]"; 849 </pre></td></tr> 850 851 852 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('atomicTypeLoc0')"><a name="atomicTypeLoc0Anchor">atomicTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicTypeLoc.html">AtomicTypeLoc</a>>...</td></tr> 853 <tr><td colspan="4" class="doc" id="atomicTypeLoc0"><pre>Matches atomic types. 854 855 Given 856 _Atomic(int) i; 857 atomicType() 858 matches "_Atomic(int) i" 859 </pre></td></tr> 860 861 862 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('autoTypeLoc0')"><a name="autoTypeLoc0Anchor">autoTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AutoTypeLoc.html">AutoTypeLoc</a>>...</td></tr> 863 <tr><td colspan="4" class="doc" id="autoTypeLoc0"><pre>Matches types nodes representing C++11 auto types. 864 865 Given: 866 auto n = 4; 867 int v[] = { 2, 3 } 868 for (auto i : v) { } 869 autoType() 870 matches "auto n" and "auto i" 871 </pre></td></tr> 872 873 874 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('blockPointerTypeLoc0')"><a name="blockPointerTypeLoc0Anchor">blockPointerTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerTypeLoc.html">BlockPointerTypeLoc</a>>...</td></tr> 875 <tr><td colspan="4" class="doc" id="blockPointerTypeLoc0"><pre>Matches block pointer types, i.e. types syntactically represented as 876 "void (^)(int)". 877 878 The pointee is always required to be a FunctionType. 879 </pre></td></tr> 880 881 882 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('builtinTypeLoc0')"><a name="builtinTypeLoc0Anchor">builtinTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BuiltinTypeLoc.html">BuiltinTypeLoc</a>>...</td></tr> 883 <tr><td colspan="4" class="doc" id="builtinTypeLoc0"><pre>Matches builtin Types. 884 885 Given 886 struct A {}; 887 A a; 888 int b; 889 float c; 890 bool d; 891 builtinType() 892 matches "int b", "float c" and "bool d" 893 </pre></td></tr> 894 895 896 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('complexTypeLoc0')"><a name="complexTypeLoc0Anchor">complexTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexTypeLoc.html">ComplexTypeLoc</a>>...</td></tr> 897 <tr><td colspan="4" class="doc" id="complexTypeLoc0"><pre>Matches C99 complex types. 898 899 Given 900 _Complex float f; 901 complexType() 902 matches "_Complex float f" 903 </pre></td></tr> 904 905 906 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('constantArrayTypeLoc0')"><a name="constantArrayTypeLoc0Anchor">constantArrayTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ConstantArrayTypeLoc.html">ConstantArrayTypeLoc</a>>...</td></tr> 907 <tr><td colspan="4" class="doc" id="constantArrayTypeLoc0"><pre>Matches C arrays with a specified constant size. 908 909 Given 910 void() { 911 int a[2]; 912 int b[] = { 2, 3 }; 913 int c[b[0]]; 914 } 915 constantArrayType() 916 matches "int a[2]" 917 </pre></td></tr> 918 919 920 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('dependentSizedArrayTypeLoc0')"><a name="dependentSizedArrayTypeLoc0Anchor">dependentSizedArrayTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DependentSizedArrayTypeLoc.html">DependentSizedArrayTypeLoc</a>>...</td></tr> 921 <tr><td colspan="4" class="doc" id="dependentSizedArrayTypeLoc0"><pre>Matches C++ arrays whose size is a value-dependent expression. 922 923 Given 924 template<typename T, int Size> 925 class array { 926 T data[Size]; 927 }; 928 dependentSizedArrayType 929 matches "T data[Size]" 930 </pre></td></tr> 931 932 933 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('elaboratedTypeLoc0')"><a name="elaboratedTypeLoc0Anchor">elaboratedTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ElaboratedTypeLoc.html">ElaboratedTypeLoc</a>>...</td></tr> 934 <tr><td colspan="4" class="doc" id="elaboratedTypeLoc0"><pre>Matches types specified with an elaborated type keyword or with a 935 qualified name. 936 937 Given 938 namespace N { 939 namespace M { 940 class D {}; 941 } 942 } 943 class C {}; 944 945 class C c; 946 N::M::D d; 947 948 elaboratedType() matches the type of the variable declarations of both 949 c and d. 950 </pre></td></tr> 951 952 953 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('functionTypeLoc0')"><a name="functionTypeLoc0Anchor">functionTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionTypeLoc.html">FunctionTypeLoc</a>>...</td></tr> 954 <tr><td colspan="4" class="doc" id="functionTypeLoc0"><pre>Matches FunctionType nodes. 955 956 Given 957 int (*f)(int); 958 void g(); 959 functionType() 960 matches "int (*f)(int)" and the type of "g". 961 </pre></td></tr> 962 963 964 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('incompleteArrayTypeLoc0')"><a name="incompleteArrayTypeLoc0Anchor">incompleteArrayTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IncompleteArrayTypeLoc.html">IncompleteArrayTypeLoc</a>>...</td></tr> 965 <tr><td colspan="4" class="doc" id="incompleteArrayTypeLoc0"><pre>Matches C arrays with unspecified size. 966 967 Given 968 int a[] = { 2, 3 }; 969 int b[42]; 970 void f(int c[]) { int d[a[0]]; }; 971 incompleteArrayType() 972 matches "int a[]" and "int c[]" 973 </pre></td></tr> 974 975 976 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('lvalueReferenceTypeLoc0')"><a name="lvalueReferenceTypeLoc0Anchor">lvalueReferenceTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1LValueReferenceTypeLoc.html">LValueReferenceTypeLoc</a>>...</td></tr> 977 <tr><td colspan="4" class="doc" id="lvalueReferenceTypeLoc0"><pre>Matches lvalue reference types. 978 979 Given: 980 int *a; 981 int &b = *a; 982 int &&c = 1; 983 auto &d = b; 984 auto &&e = c; 985 auto &&f = 2; 986 int g = 5; 987 988 lvalueReferenceType() matches the types of b, d, and e. e is 989 matched since the type is deduced as int& by reference collapsing rules. 990 </pre></td></tr> 991 992 993 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('memberPointerTypeLoc0')"><a name="memberPointerTypeLoc0Anchor">memberPointerTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerTypeLoc.html">MemberPointerTypeLoc</a>>...</td></tr> 994 <tr><td colspan="4" class="doc" id="memberPointerTypeLoc0"><pre>Matches member pointer types. 995 Given 996 struct A { int i; } 997 A::* ptr = A::i; 998 memberPointerType() 999 matches "A::* ptr" 1000 </pre></td></tr> 1001 1002 1003 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('pointerTypeLoc0')"><a name="pointerTypeLoc0Anchor">pointerTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerTypeLoc.html">PointerTypeLoc</a>>...</td></tr> 1004 <tr><td colspan="4" class="doc" id="pointerTypeLoc0"><pre>Matches pointer types. 1005 1006 Given 1007 int *a; 1008 int &b = *a; 1009 int c = 5; 1010 pointerType() 1011 matches "int *a" 1012 </pre></td></tr> 1013 1014 1015 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('recordTypeLoc0')"><a name="recordTypeLoc0Anchor">recordTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1RecordTypeLoc.html">RecordTypeLoc</a>>...</td></tr> 1016 <tr><td colspan="4" class="doc" id="recordTypeLoc0"><pre>Matches record types (e.g. structs, classes). 1017 1018 Given 1019 class C {}; 1020 struct S {}; 1021 1022 C c; 1023 S s; 1024 1025 recordType() matches the type of the variable declarations of both c 1026 and s. 1027 </pre></td></tr> 1028 1029 1030 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('referenceTypeLoc0')"><a name="referenceTypeLoc0Anchor">referenceTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceTypeLoc.html">ReferenceTypeLoc</a>>...</td></tr> 1031 <tr><td colspan="4" class="doc" id="referenceTypeLoc0"><pre>Matches both lvalue and rvalue reference types. 1032 1033 Given 1034 int *a; 1035 int &b = *a; 1036 int &&c = 1; 1037 auto &d = b; 1038 auto &&e = c; 1039 auto &&f = 2; 1040 int g = 5; 1041 1042 referenceType() matches the types of b, c, d, e, and f. 1043 </pre></td></tr> 1044 1045 1046 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('rvalueReferenceTypeLoc0')"><a name="rvalueReferenceTypeLoc0Anchor">rvalueReferenceTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1RValueReferenceTypeLoc.html">RValueReferenceTypeLoc</a>>...</td></tr> 1047 <tr><td colspan="4" class="doc" id="rvalueReferenceTypeLoc0"><pre>Matches rvalue reference types. 1048 1049 Given: 1050 int *a; 1051 int &b = *a; 1052 int &&c = 1; 1053 auto &d = b; 1054 auto &&e = c; 1055 auto &&f = 2; 1056 int g = 5; 1057 1058 lvalueReferenceType() matches the types of c and f. e is not 1059 matched as it is deduced to int& by reference collapsing rules. 1060 </pre></td></tr> 1061 1062 1063 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('templateSpecializationTypeLoc0')"><a name="templateSpecializationTypeLoc0Anchor">templateSpecializationTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationTypeLoc.html">TemplateSpecializationTypeLoc</a>>...</td></tr> 1064 <tr><td colspan="4" class="doc" id="templateSpecializationTypeLoc0"><pre>Matches template specialization types. 1065 1066 Given 1067 template <typename T> 1068 class C { }; 1069 1070 template class C<int>; A 1071 C<char> var; B 1072 1073 templateSpecializationType() matches the type of the explicit 1074 instantiation in A and the type of the variable declaration in B. 1075 </pre></td></tr> 1076 1077 1078 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('typeLoc0')"><a name="typeLoc0Anchor">typeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>>...</td></tr> 1079 <tr><td colspan="4" class="doc" id="typeLoc0"><pre>Matches TypeLocs in the clang AST. 1080 </pre></td></tr> 1081 1082 1083 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('typedefTypeLoc0')"><a name="typedefTypeLoc0Anchor">typedefTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefTypeLoc.html">TypedefTypeLoc</a>>...</td></tr> 1084 <tr><td colspan="4" class="doc" id="typedefTypeLoc0"><pre>Matches typedef types. 1085 1086 Given 1087 typedef int X; 1088 typedefType() 1089 matches "typedef int X" 1090 </pre></td></tr> 1091 1092 1093 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('variableArrayTypeLoc0')"><a name="variableArrayTypeLoc0Anchor">variableArrayTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VariableArrayTypeLoc.html">VariableArrayTypeLoc</a>>...</td></tr> 1094 <tr><td colspan="4" class="doc" id="variableArrayTypeLoc0"><pre>Matches C arrays with a specified size that is not an 1095 integer-constant-expression. 1096 1097 Given 1098 void f() { 1099 int a[] = { 2, 3 } 1100 int b[42]; 1101 int c[a[0]]; 1102 variableArrayType() 1103 matches "int c[a[0]]" 1104 </pre></td></tr> 1105 1106 1107 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('arrayType0')"><a name="arrayType0Anchor">arrayType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayType.html">ArrayType</a>>...</td></tr> 1108 <tr><td colspan="4" class="doc" id="arrayType0"><pre>Matches all kinds of arrays. 1109 1110 Given 1111 int a[] = { 2, 3 }; 1112 int b[4]; 1113 void f() { int c[a[0]]; } 1114 arrayType() 1115 matches "int a[]", "int b[4]" and "int c[a[0]]"; 1116 </pre></td></tr> 1117 1118 1119 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('atomicType0')"><a name="atomicType0Anchor">atomicType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicType.html">AtomicType</a>>...</td></tr> 1120 <tr><td colspan="4" class="doc" id="atomicType0"><pre>Matches atomic types. 1121 1122 Given 1123 _Atomic(int) i; 1124 atomicType() 1125 matches "_Atomic(int) i" 1126 </pre></td></tr> 1127 1128 1129 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('autoType0')"><a name="autoType0Anchor">autoType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AutoType.html">AutoType</a>>...</td></tr> 1130 <tr><td colspan="4" class="doc" id="autoType0"><pre>Matches types nodes representing C++11 auto types. 1131 1132 Given: 1133 auto n = 4; 1134 int v[] = { 2, 3 } 1135 for (auto i : v) { } 1136 autoType() 1137 matches "auto n" and "auto i" 1138 </pre></td></tr> 1139 1140 1141 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('blockPointerType0')"><a name="blockPointerType0Anchor">blockPointerType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>...</td></tr> 1142 <tr><td colspan="4" class="doc" id="blockPointerType0"><pre>Matches block pointer types, i.e. types syntactically represented as 1143 "void (^)(int)". 1144 1145 The pointee is always required to be a FunctionType. 1146 </pre></td></tr> 1147 1148 1149 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('builtinType0')"><a name="builtinType0Anchor">builtinType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BuiltinType.html">BuiltinType</a>>...</td></tr> 1150 <tr><td colspan="4" class="doc" id="builtinType0"><pre>Matches builtin Types. 1151 1152 Given 1153 struct A {}; 1154 A a; 1155 int b; 1156 float c; 1157 bool d; 1158 builtinType() 1159 matches "int b", "float c" and "bool d" 1160 </pre></td></tr> 1161 1162 1163 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('complexType0')"><a name="complexType0Anchor">complexType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexType.html">ComplexType</a>>...</td></tr> 1164 <tr><td colspan="4" class="doc" id="complexType0"><pre>Matches C99 complex types. 1165 1166 Given 1167 _Complex float f; 1168 complexType() 1169 matches "_Complex float f" 1170 </pre></td></tr> 1171 1172 1173 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('constantArrayType0')"><a name="constantArrayType0Anchor">constantArrayType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ConstantArrayType.html">ConstantArrayType</a>>...</td></tr> 1174 <tr><td colspan="4" class="doc" id="constantArrayType0"><pre>Matches C arrays with a specified constant size. 1175 1176 Given 1177 void() { 1178 int a[2]; 1179 int b[] = { 2, 3 }; 1180 int c[b[0]]; 1181 } 1182 constantArrayType() 1183 matches "int a[2]" 1184 </pre></td></tr> 1185 1186 1187 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('dependentSizedArrayType0')"><a name="dependentSizedArrayType0Anchor">dependentSizedArrayType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DependentSizedArrayType.html">DependentSizedArrayType</a>>...</td></tr> 1188 <tr><td colspan="4" class="doc" id="dependentSizedArrayType0"><pre>Matches C++ arrays whose size is a value-dependent expression. 1189 1190 Given 1191 template<typename T, int Size> 1192 class array { 1193 T data[Size]; 1194 }; 1195 dependentSizedArrayType 1196 matches "T data[Size]" 1197 </pre></td></tr> 1198 1199 1200 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('elaboratedType0')"><a name="elaboratedType0Anchor">elaboratedType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ElaboratedType.html">ElaboratedType</a>>...</td></tr> 1201 <tr><td colspan="4" class="doc" id="elaboratedType0"><pre>Matches types specified with an elaborated type keyword or with a 1202 qualified name. 1203 1204 Given 1205 namespace N { 1206 namespace M { 1207 class D {}; 1208 } 1209 } 1210 class C {}; 1211 1212 class C c; 1213 N::M::D d; 1214 1215 elaboratedType() matches the type of the variable declarations of both 1216 c and d. 1217 </pre></td></tr> 1218 1219 1220 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('functionType0')"><a name="functionType0Anchor">functionType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionType.html">FunctionType</a>>...</td></tr> 1221 <tr><td colspan="4" class="doc" id="functionType0"><pre>Matches FunctionType nodes. 1222 1223 Given 1224 int (*f)(int); 1225 void g(); 1226 functionType() 1227 matches "int (*f)(int)" and the type of "g". 1228 </pre></td></tr> 1229 1230 1231 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('incompleteArrayType0')"><a name="incompleteArrayType0Anchor">incompleteArrayType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IncompleteArrayType.html">IncompleteArrayType</a>>...</td></tr> 1232 <tr><td colspan="4" class="doc" id="incompleteArrayType0"><pre>Matches C arrays with unspecified size. 1233 1234 Given 1235 int a[] = { 2, 3 }; 1236 int b[42]; 1237 void f(int c[]) { int d[a[0]]; }; 1238 incompleteArrayType() 1239 matches "int a[]" and "int c[]" 1240 </pre></td></tr> 1241 1242 1243 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('lvalueReferenceType0')"><a name="lvalueReferenceType0Anchor">lvalueReferenceType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1LValueReferenceType.html">LValueReferenceType</a>>...</td></tr> 1244 <tr><td colspan="4" class="doc" id="lvalueReferenceType0"><pre>Matches lvalue reference types. 1245 1246 Given: 1247 int *a; 1248 int &b = *a; 1249 int &&c = 1; 1250 auto &d = b; 1251 auto &&e = c; 1252 auto &&f = 2; 1253 int g = 5; 1254 1255 lvalueReferenceType() matches the types of b, d, and e. e is 1256 matched since the type is deduced as int& by reference collapsing rules. 1257 </pre></td></tr> 1258 1259 1260 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('memberPointerType0')"><a name="memberPointerType0Anchor">memberPointerType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>...</td></tr> 1261 <tr><td colspan="4" class="doc" id="memberPointerType0"><pre>Matches member pointer types. 1262 Given 1263 struct A { int i; } 1264 A::* ptr = A::i; 1265 memberPointerType() 1266 matches "A::* ptr" 1267 </pre></td></tr> 1268 1269 1270 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('pointerType0')"><a name="pointerType0Anchor">pointerType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>...</td></tr> 1271 <tr><td colspan="4" class="doc" id="pointerType0"><pre>Matches pointer types. 1272 1273 Given 1274 int *a; 1275 int &b = *a; 1276 int c = 5; 1277 pointerType() 1278 matches "int *a" 1279 </pre></td></tr> 1280 1281 1282 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('recordType0')"><a name="recordType0Anchor">recordType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1RecordType.html">RecordType</a>>...</td></tr> 1283 <tr><td colspan="4" class="doc" id="recordType0"><pre>Matches record types (e.g. structs, classes). 1284 1285 Given 1286 class C {}; 1287 struct S {}; 1288 1289 C c; 1290 S s; 1291 1292 recordType() matches the type of the variable declarations of both c 1293 and s. 1294 </pre></td></tr> 1295 1296 1297 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('referenceType0')"><a name="referenceType0Anchor">referenceType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>>...</td></tr> 1298 <tr><td colspan="4" class="doc" id="referenceType0"><pre>Matches both lvalue and rvalue reference types. 1299 1300 Given 1301 int *a; 1302 int &b = *a; 1303 int &&c = 1; 1304 auto &d = b; 1305 auto &&e = c; 1306 auto &&f = 2; 1307 int g = 5; 1308 1309 referenceType() matches the types of b, c, d, e, and f. 1310 </pre></td></tr> 1311 1312 1313 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('rvalueReferenceType0')"><a name="rvalueReferenceType0Anchor">rvalueReferenceType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1RValueReferenceType.html">RValueReferenceType</a>>...</td></tr> 1314 <tr><td colspan="4" class="doc" id="rvalueReferenceType0"><pre>Matches rvalue reference types. 1315 1316 Given: 1317 int *a; 1318 int &b = *a; 1319 int &&c = 1; 1320 auto &d = b; 1321 auto &&e = c; 1322 auto &&f = 2; 1323 int g = 5; 1324 1325 lvalueReferenceType() matches the types of c and f. e is not 1326 matched as it is deduced to int& by reference collapsing rules. 1327 </pre></td></tr> 1328 1329 1330 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('templateSpecializationType0')"><a name="templateSpecializationType0Anchor">templateSpecializationType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>>...</td></tr> 1331 <tr><td colspan="4" class="doc" id="templateSpecializationType0"><pre>Matches template specialization types. 1332 1333 Given 1334 template <typename T> 1335 class C { }; 1336 1337 template class C<int>; A 1338 C<char> var; B 1339 1340 templateSpecializationType() matches the type of the explicit 1341 instantiation in A and the type of the variable declaration in B. 1342 </pre></td></tr> 1343 1344 1345 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('type0')"><a name="type0Anchor">type</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>>...</td></tr> 1346 <tr><td colspan="4" class="doc" id="type0"><pre>Matches Types in the clang AST. 1347 </pre></td></tr> 1348 1349 1350 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('typedefType0')"><a name="typedefType0Anchor">typedefType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>...</td></tr> 1351 <tr><td colspan="4" class="doc" id="typedefType0"><pre>Matches typedef types. 1352 1353 Given 1354 typedef int X; 1355 typedefType() 1356 matches "typedef int X" 1357 </pre></td></tr> 1358 1359 1360 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td><td class="name" onclick="toggle('variableArrayType0')"><a name="variableArrayType0Anchor">variableArrayType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VariableArrayType.html">VariableArrayType</a>>...</td></tr> 1361 <tr><td colspan="4" class="doc" id="variableArrayType0"><pre>Matches C arrays with a specified size that is not an 1362 integer-constant-expression. 1363 1364 Given 1365 void f() { 1366 int a[] = { 2, 3 } 1367 int b[42]; 1368 int c[a[0]]; 1369 variableArrayType() 1370 matches "int c[a[0]]" 1371 </pre></td></tr> 1372 1373 <!--END_DECL_MATCHERS --> 1374 </table> 1375 1376 <!-- ======================================================================= --> 1377 <h2 id="narrowing-matchers">Narrowing Matchers</h2> 1378 <!-- ======================================================================= --> 1379 1380 <p>Narrowing matchers match certain attributes on the current node, thus 1381 narrowing down the set of nodes of the current type to match on.</p> 1382 1383 <p>There are special logical narrowing matchers (allOf, anyOf, anything and unless) 1384 which allow users to create more powerful match expressions.</p> 1385 1386 <table> 1387 <tr style="text-align:left"><th>Return type</th><th>Name</th><th>Parameters</th></tr> 1388 <!-- START_NARROWING_MATCHERS --> 1389 1390 <tr><td>Matcher<*></td><td class="name" onclick="toggle('allOf0')"><a name="allOf0Anchor">allOf</a></td><td>Matcher<*> P1, Matcher<*> P2</td></tr> 1391 <tr><td colspan="4" class="doc" id="allOf0"><pre>Matches if all given matchers match. 1392 1393 Usable as: Any Matcher 1394 </pre></td></tr> 1395 1396 1397 <tr><td>Matcher<*></td><td class="name" onclick="toggle('anyOf0')"><a name="anyOf0Anchor">anyOf</a></td><td>Matcher<*> P1, Matcher<*> P2</td></tr> 1398 <tr><td colspan="4" class="doc" id="anyOf0"><pre>Matches if any of the given matchers matches. 1399 1400 Usable as: Any Matcher 1401 </pre></td></tr> 1402 1403 1404 <tr><td>Matcher<*></td><td class="name" onclick="toggle('anything0')"><a name="anything0Anchor">anything</a></td><td></td></tr> 1405 <tr><td colspan="4" class="doc" id="anything0"><pre>Matches any node. 1406 1407 Useful when another matcher requires a child matcher, but there's no 1408 additional constraint. This will often be used with an explicit conversion 1409 to an internal::Matcher<> type such as TypeMatcher. 1410 1411 Example: DeclarationMatcher(anything()) matches all declarations, e.g., 1412 "int* p" and "void f()" in 1413 int* p; 1414 void f(); 1415 1416 Usable as: Any Matcher 1417 </pre></td></tr> 1418 1419 1420 <tr><td>Matcher<*></td><td class="name" onclick="toggle('unless0')"><a name="unless0Anchor">unless</a></td><td>Matcher<*> InnerMatcher</td></tr> 1421 <tr><td colspan="4" class="doc" id="unless0"><pre>Matches if the provided matcher does not match. 1422 1423 Example matches Y (matcher = recordDecl(unless(hasName("X")))) 1424 class X {}; 1425 class Y {}; 1426 1427 Usable as: Any Matcher 1428 </pre></td></tr> 1429 1430 1431 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BinaryOperator.html">BinaryOperator</a>></td><td class="name" onclick="toggle('hasOperatorName0')"><a name="hasOperatorName0Anchor">hasOperatorName</a></td><td>std::string Name</td></tr> 1432 <tr><td colspan="4" class="doc" id="hasOperatorName0"><pre>Matches the operator Name of operator expressions (binary or 1433 unary). 1434 1435 Example matches a || b (matcher = binaryOperator(hasOperatorName("||"))) 1436 !(a || b) 1437 </pre></td></tr> 1438 1439 1440 <tr><td>Matcher<CXXBoolLiteral></td><td class="name" onclick="toggle('equals2')"><a name="equals2Anchor">equals</a></td><td>ValueT Value</td></tr> 1441 <tr><td colspan="4" class="doc" id="equals2"><pre>Matches literals that are equal to the given value. 1442 1443 Example matches true (matcher = boolLiteral(equals(true))) 1444 true 1445 1446 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CharacterLiteral.html">CharacterLiteral</a>>, Matcher<CXXBoolLiteral>, 1447 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FloatingLiteral.html">FloatingLiteral</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IntegerLiteral.html">IntegerLiteral</a>> 1448 </pre></td></tr> 1449 1450 1451 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructorDecl.html">CXXConstructorDecl</a>></td><td class="name" onclick="toggle('isImplicit0')"><a name="isImplicit0Anchor">isImplicit</a></td><td></td></tr> 1452 <tr><td colspan="4" class="doc" id="isImplicit0"><pre>Matches a constructor declaration that has been implicitly added 1453 by the compiler (eg. implicit defaultcopy constructors). 1454 </pre></td></tr> 1455 1456 1457 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXCtorInitializer.html">CXXCtorInitializer</a>></td><td class="name" onclick="toggle('isWritten0')"><a name="isWritten0Anchor">isWritten</a></td><td></td></tr> 1458 <tr><td colspan="4" class="doc" id="isWritten0"><pre>Matches a contructor initializer if it is explicitly written in 1459 code (as opposed to implicitly added by the compiler). 1460 1461 Given 1462 struct Foo { 1463 Foo() { } 1464 Foo(int) : foo_("A") { } 1465 string foo_; 1466 }; 1467 constructorDecl(hasAnyConstructorInitializer(isWritten())) 1468 will match Foo(int), but not Foo() 1469 </pre></td></tr> 1470 1471 1472 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMethodDecl.html">CXXMethodDecl</a>></td><td class="name" onclick="toggle('hasOverloadedOperatorName0')"><a name="hasOverloadedOperatorName0Anchor">hasOverloadedOperatorName</a></td><td>StringRef Name</td></tr> 1473 <tr><td colspan="4" class="doc" id="hasOverloadedOperatorName0"><pre>Matches overloaded operator names. 1474 1475 Matches overloaded operator names specified in strings without the 1476 "operator" prefix: e.g. "<<". 1477 1478 Given: 1479 class A { int operator*(); }; 1480 const A &operator<<(const A &a, const A &b); 1481 A a; 1482 a << a; <-- This matches 1483 1484 operatorCallExpr(hasOverloadedOperatorName("<<"))) matches the specified 1485 line and recordDecl(hasMethod(hasOverloadedOperatorName("*"))) matches 1486 the declaration of A. 1487 1488 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXOperatorCallExpr.html">CXXOperatorCallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMethodDecl.html">CXXMethodDecl</a>> 1489 </pre></td></tr> 1490 1491 1492 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXOperatorCallExpr.html">CXXOperatorCallExpr</a>></td><td class="name" onclick="toggle('hasOverloadedOperatorName1')"><a name="hasOverloadedOperatorName1Anchor">hasOverloadedOperatorName</a></td><td>StringRef Name</td></tr> 1493 <tr><td colspan="4" class="doc" id="hasOverloadedOperatorName1"><pre>Matches overloaded operator names. 1494 1495 Matches overloaded operator names specified in strings without the 1496 "operator" prefix: e.g. "<<". 1497 1498 Given: 1499 class A { int operator*(); }; 1500 const A &operator<<(const A &a, const A &b); 1501 A a; 1502 a << a; <-- This matches 1503 1504 operatorCallExpr(hasOverloadedOperatorName("<<"))) matches the specified 1505 line and recordDecl(hasMethod(hasOverloadedOperatorName("*"))) matches 1506 the declaration of A. 1507 1508 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXOperatorCallExpr.html">CXXOperatorCallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMethodDecl.html">CXXMethodDecl</a>> 1509 </pre></td></tr> 1510 1511 1512 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>></td><td class="name" onclick="toggle('isDerivedFrom1')"><a name="isDerivedFrom1Anchor">isDerivedFrom</a></td><td>StringRef BaseName</td></tr> 1513 <tr><td colspan="4" class="doc" id="isDerivedFrom1"><pre>Overloaded method as shortcut for isDerivedFrom(hasName(...)). 1514 </pre></td></tr> 1515 1516 1517 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>></td><td class="name" onclick="toggle('isExplicitTemplateSpecialization2')"><a name="isExplicitTemplateSpecialization2Anchor">isExplicitTemplateSpecialization</a></td><td></td></tr> 1518 <tr><td colspan="4" class="doc" id="isExplicitTemplateSpecialization2"><pre>Matches explicit template specializations of function, class, or 1519 static member variable template instantiations. 1520 1521 Given 1522 template<typename T> void A(T t) { } 1523 template<> void A(int N) { } 1524 functionDecl(isExplicitTemplateSpecialization()) 1525 matches the specialization A<int>(). 1526 1527 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>> 1528 </pre></td></tr> 1529 1530 1531 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>></td><td class="name" onclick="toggle('isSameOrDerivedFrom1')"><a name="isSameOrDerivedFrom1Anchor">isSameOrDerivedFrom</a></td><td>StringRef BaseName</td></tr> 1532 <tr><td colspan="4" class="doc" id="isSameOrDerivedFrom1"><pre>Overloaded method as shortcut for 1533 isSameOrDerivedFrom(hasName(...)). 1534 </pre></td></tr> 1535 1536 1537 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>></td><td class="name" onclick="toggle('isTemplateInstantiation2')"><a name="isTemplateInstantiation2Anchor">isTemplateInstantiation</a></td><td></td></tr> 1538 <tr><td colspan="4" class="doc" id="isTemplateInstantiation2"><pre>Matches template instantiations of function, class, or static 1539 member variable template instantiations. 1540 1541 Given 1542 template <typename T> class X {}; class A {}; X<A> x; 1543 or 1544 template <typename T> class X {}; class A {}; template class X<A>; 1545 recordDecl(hasName("::X"), isTemplateInstantiation()) 1546 matches the template instantiation of X<A>. 1547 1548 But given 1549 template <typename T> class X {}; class A {}; 1550 template <> class X<A> {}; X<A> x; 1551 recordDecl(hasName("::X"), isTemplateInstantiation()) 1552 does not match, as X<A> is an explicit template specialization. 1553 1554 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>> 1555 </pre></td></tr> 1556 1557 1558 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>></td><td class="name" onclick="toggle('argumentCountIs0')"><a name="argumentCountIs0Anchor">argumentCountIs</a></td><td>unsigned N</td></tr> 1559 <tr><td colspan="4" class="doc" id="argumentCountIs0"><pre>Checks that a call expression or a constructor call expression has 1560 a specific number of arguments (including absent default arguments). 1561 1562 Example matches f(0, 0) (matcher = callExpr(argumentCountIs(2))) 1563 void f(int x, int y); 1564 f(0, 0); 1565 </pre></td></tr> 1566 1567 1568 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CharacterLiteral.html">CharacterLiteral</a>></td><td class="name" onclick="toggle('equals3')"><a name="equals3Anchor">equals</a></td><td>ValueT Value</td></tr> 1569 <tr><td colspan="4" class="doc" id="equals3"><pre>Matches literals that are equal to the given value. 1570 1571 Example matches true (matcher = boolLiteral(equals(true))) 1572 true 1573 1574 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CharacterLiteral.html">CharacterLiteral</a>>, Matcher<CXXBoolLiteral>, 1575 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FloatingLiteral.html">FloatingLiteral</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IntegerLiteral.html">IntegerLiteral</a>> 1576 </pre></td></tr> 1577 1578 1579 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CompoundStmt.html">CompoundStmt</a>></td><td class="name" onclick="toggle('statementCountIs0')"><a name="statementCountIs0Anchor">statementCountIs</a></td><td>unsigned N</td></tr> 1580 <tr><td colspan="4" class="doc" id="statementCountIs0"><pre>Checks that a compound statement contains a specific number of 1581 child statements. 1582 1583 Example: Given 1584 { for (;;) {} } 1585 compoundStmt(statementCountIs(0))) 1586 matches '{}' 1587 but does not match the outer compound statement. 1588 </pre></td></tr> 1589 1590 1591 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ConstantArrayType.html">ConstantArrayType</a>></td><td class="name" onclick="toggle('hasSize0')"><a name="hasSize0Anchor">hasSize</a></td><td>unsigned N</td></tr> 1592 <tr><td colspan="4" class="doc" id="hasSize0"><pre>Matches ConstantArrayType nodes that have the specified size. 1593 1594 Given 1595 int a[42]; 1596 int b[2 * 21]; 1597 int c[41], d[43]; 1598 constantArrayType(hasSize(42)) 1599 matches "int a[42]" and "int b[2 * 21]" 1600 </pre></td></tr> 1601 1602 1603 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclStmt.html">DeclStmt</a>></td><td class="name" onclick="toggle('declCountIs0')"><a name="declCountIs0Anchor">declCountIs</a></td><td>unsigned N</td></tr> 1604 <tr><td colspan="4" class="doc" id="declCountIs0"><pre>Matches declaration statements that contain a specific number of 1605 declarations. 1606 1607 Example: Given 1608 int a, b; 1609 int c; 1610 int d = 2, e; 1611 declCountIs(2) 1612 matches 'int a, b;' and 'int d = 2, e;', but not 'int c;'. 1613 </pre></td></tr> 1614 1615 1616 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('equalsNode0')"><a name="equalsNode0Anchor">equalsNode</a></td><td>Decl* Other</td></tr> 1617 <tr><td colspan="4" class="doc" id="equalsNode0"><pre>Matches if a node equals another node. 1618 1619 Decl has pointer identity in the AST. 1620 </pre></td></tr> 1621 1622 1623 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('isPrivate0')"><a name="isPrivate0Anchor">isPrivate</a></td><td></td></tr> 1624 <tr><td colspan="4" class="doc" id="isPrivate0"><pre>Matches private C++ declarations. 1625 1626 Given 1627 class C { 1628 public: int a; 1629 protected: int b; 1630 private: int c; 1631 }; 1632 fieldDecl(isPrivate()) 1633 matches 'int c;' 1634 </pre></td></tr> 1635 1636 1637 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('isProtected0')"><a name="isProtected0Anchor">isProtected</a></td><td></td></tr> 1638 <tr><td colspan="4" class="doc" id="isProtected0"><pre>Matches protected C++ declarations. 1639 1640 Given 1641 class C { 1642 public: int a; 1643 protected: int b; 1644 private: int c; 1645 }; 1646 fieldDecl(isProtected()) 1647 matches 'int b;' 1648 </pre></td></tr> 1649 1650 1651 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('isPublic0')"><a name="isPublic0Anchor">isPublic</a></td><td></td></tr> 1652 <tr><td colspan="4" class="doc" id="isPublic0"><pre>Matches public C++ declarations. 1653 1654 Given 1655 class C { 1656 public: int a; 1657 protected: int b; 1658 private: int c; 1659 }; 1660 fieldDecl(isPublic()) 1661 matches 'int a;' 1662 </pre></td></tr> 1663 1664 1665 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FloatingLiteral.html">FloatingLiteral</a>></td><td class="name" onclick="toggle('equals1')"><a name="equals1Anchor">equals</a></td><td>ValueT Value</td></tr> 1666 <tr><td colspan="4" class="doc" id="equals1"><pre>Matches literals that are equal to the given value. 1667 1668 Example matches true (matcher = boolLiteral(equals(true))) 1669 true 1670 1671 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CharacterLiteral.html">CharacterLiteral</a>>, Matcher<CXXBoolLiteral>, 1672 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FloatingLiteral.html">FloatingLiteral</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IntegerLiteral.html">IntegerLiteral</a>> 1673 </pre></td></tr> 1674 1675 1676 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('isDefinition2')"><a name="isDefinition2Anchor">isDefinition</a></td><td></td></tr> 1677 <tr><td colspan="4" class="doc" id="isDefinition2"><pre>Matches if a declaration has a body attached. 1678 1679 Example matches A, va, fa 1680 class A {}; 1681 class B; Doesn't match, as it has no body. 1682 int va; 1683 extern int vb; Doesn't match, as it doesn't define the variable. 1684 void fa() {} 1685 void fb(); Doesn't match, as it has no body. 1686 1687 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TagDecl.html">TagDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>> 1688 </pre></td></tr> 1689 1690 1691 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('isExplicitTemplateSpecialization0')"><a name="isExplicitTemplateSpecialization0Anchor">isExplicitTemplateSpecialization</a></td><td></td></tr> 1692 <tr><td colspan="4" class="doc" id="isExplicitTemplateSpecialization0"><pre>Matches explicit template specializations of function, class, or 1693 static member variable template instantiations. 1694 1695 Given 1696 template<typename T> void A(T t) { } 1697 template<> void A(int N) { } 1698 functionDecl(isExplicitTemplateSpecialization()) 1699 matches the specialization A<int>(). 1700 1701 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>> 1702 </pre></td></tr> 1703 1704 1705 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('isExternC0')"><a name="isExternC0Anchor">isExternC</a></td><td></td></tr> 1706 <tr><td colspan="4" class="doc" id="isExternC0"><pre>Matches extern "C" function declarations. 1707 1708 Given: 1709 extern "C" void f() {} 1710 extern "C" { void g() {} } 1711 void h() {} 1712 functionDecl(isExternC()) 1713 matches the declaration of f and g, but not the declaration h 1714 </pre></td></tr> 1715 1716 1717 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('isTemplateInstantiation0')"><a name="isTemplateInstantiation0Anchor">isTemplateInstantiation</a></td><td></td></tr> 1718 <tr><td colspan="4" class="doc" id="isTemplateInstantiation0"><pre>Matches template instantiations of function, class, or static 1719 member variable template instantiations. 1720 1721 Given 1722 template <typename T> class X {}; class A {}; X<A> x; 1723 or 1724 template <typename T> class X {}; class A {}; template class X<A>; 1725 recordDecl(hasName("::X"), isTemplateInstantiation()) 1726 matches the template instantiation of X<A>. 1727 1728 But given 1729 template <typename T> class X {}; class A {}; 1730 template <> class X<A> {}; X<A> x; 1731 recordDecl(hasName("::X"), isTemplateInstantiation()) 1732 does not match, as X<A> is an explicit template specialization. 1733 1734 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>> 1735 </pre></td></tr> 1736 1737 1738 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('parameterCountIs0')"><a name="parameterCountIs0Anchor">parameterCountIs</a></td><td>unsigned N</td></tr> 1739 <tr><td colspan="4" class="doc" id="parameterCountIs0"><pre>Matches FunctionDecls that have a specific parameter count. 1740 1741 Given 1742 void f(int i) {} 1743 void g(int i, int j) {} 1744 functionDecl(parameterCountIs(2)) 1745 matches g(int i, int j) {} 1746 </pre></td></tr> 1747 1748 1749 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IntegerLiteral.html">IntegerLiteral</a>></td><td class="name" onclick="toggle('equals0')"><a name="equals0Anchor">equals</a></td><td>ValueT Value</td></tr> 1750 <tr><td colspan="4" class="doc" id="equals0"><pre>Matches literals that are equal to the given value. 1751 1752 Example matches true (matcher = boolLiteral(equals(true))) 1753 true 1754 1755 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CharacterLiteral.html">CharacterLiteral</a>>, Matcher<CXXBoolLiteral>, 1756 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FloatingLiteral.html">FloatingLiteral</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IntegerLiteral.html">IntegerLiteral</a>> 1757 </pre></td></tr> 1758 1759 1760 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>></td><td class="name" onclick="toggle('isArrow0')"><a name="isArrow0Anchor">isArrow</a></td><td></td></tr> 1761 <tr><td colspan="4" class="doc" id="isArrow0"><pre>Matches member expressions that are called with '->' as opposed 1762 to '.'. 1763 1764 Member calls on the implicit this pointer match as called with '->'. 1765 1766 Given 1767 class Y { 1768 void x() { this->x(); x(); Y y; y.x(); a; this->b; Y::b; } 1769 int a; 1770 static int b; 1771 }; 1772 memberExpr(isArrow()) 1773 matches this->x, x, y.x, a, this->b 1774 </pre></td></tr> 1775 1776 1777 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NamedDecl.html">NamedDecl</a>></td><td class="name" onclick="toggle('hasName0')"><a name="hasName0Anchor">hasName</a></td><td>std::string Name</td></tr> 1778 <tr><td colspan="4" class="doc" id="hasName0"><pre>Matches NamedDecl nodes that have the specified name. 1779 1780 Supports specifying enclosing namespaces or classes by prefixing the name 1781 with '<enclosing>::'. 1782 Does not match typedefs of an underlying type with the given name. 1783 1784 Example matches X (Name == "X") 1785 class X; 1786 1787 Example matches X (Name is one of "::a::b::X", "a::b::X", "b::X", "X") 1788 namespace a { namespace b { class X; } } 1789 </pre></td></tr> 1790 1791 1792 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NamedDecl.html">NamedDecl</a>></td><td class="name" onclick="toggle('matchesName0')"><a name="matchesName0Anchor">matchesName</a></td><td>std::string RegExp</td></tr> 1793 <tr><td colspan="4" class="doc" id="matchesName0"><pre>Matches NamedDecl nodes whose fully qualified names contain 1794 a substring matched by the given RegExp. 1795 1796 Supports specifying enclosing namespaces or classes by 1797 prefixing the name with '<enclosing>::'. Does not match typedefs 1798 of an underlying type with the given name. 1799 1800 Example matches X (regexp == "::X") 1801 class X; 1802 1803 Example matches X (regexp is one of "::X", "^foo::.*X", among others) 1804 namespace foo { namespace bar { class X; } } 1805 </pre></td></tr> 1806 1807 1808 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('asString0')"><a name="asString0Anchor">asString</a></td><td>std::string Name</td></tr> 1809 <tr><td colspan="4" class="doc" id="asString0"><pre>Matches if the matched type is represented by the given string. 1810 1811 Given 1812 class Y { public: void x(); }; 1813 void z() { Y* y; y->x(); } 1814 callExpr(on(hasType(asString("class Y *")))) 1815 matches y->x() 1816 </pre></td></tr> 1817 1818 1819 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('isConstQualified0')"><a name="isConstQualified0Anchor">isConstQualified</a></td><td></td></tr> 1820 <tr><td colspan="4" class="doc" id="isConstQualified0"><pre>Matches QualType nodes that are const-qualified, i.e., that 1821 include "top-level" const. 1822 1823 Given 1824 void a(int); 1825 void b(int const); 1826 void c(const int); 1827 void d(const int*); 1828 void e(int const) {}; 1829 functionDecl(hasAnyParameter(hasType(isConstQualified()))) 1830 matches "void b(int const)", "void c(const int)" and 1831 "void e(int const) {}". It does not match d as there 1832 is no top-level const on the parameter type "const int *". 1833 </pre></td></tr> 1834 1835 1836 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('isInteger0')"><a name="isInteger0Anchor">isInteger</a></td><td></td></tr> 1837 <tr><td colspan="4" class="doc" id="isInteger0"><pre>Matches QualType nodes that are of integer type. 1838 1839 Given 1840 void a(int); 1841 void b(long); 1842 void c(double); 1843 functionDecl(hasAnyParameter(hasType(isInteger()))) 1844 matches "a(int)", "b(long)", but not "c(double)". 1845 </pre></td></tr> 1846 1847 1848 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('equalsNode1')"><a name="equalsNode1Anchor">equalsNode</a></td><td>Stmt* Other</td></tr> 1849 <tr><td colspan="4" class="doc" id="equalsNode1"><pre>Matches if a node equals another node. 1850 1851 Stmt has pointer identity in the AST. 1852 1853 </pre></td></tr> 1854 1855 1856 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TagDecl.html">TagDecl</a>></td><td class="name" onclick="toggle('isDefinition0')"><a name="isDefinition0Anchor">isDefinition</a></td><td></td></tr> 1857 <tr><td colspan="4" class="doc" id="isDefinition0"><pre>Matches if a declaration has a body attached. 1858 1859 Example matches A, va, fa 1860 class A {}; 1861 class B; Doesn't match, as it has no body. 1862 int va; 1863 extern int vb; Doesn't match, as it doesn't define the variable. 1864 void fa() {} 1865 void fb(); Doesn't match, as it has no body. 1866 1867 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TagDecl.html">TagDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>> 1868 </pre></td></tr> 1869 1870 1871 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryExprOrTypeTraitExpr.html">UnaryExprOrTypeTraitExpr</a>></td><td class="name" onclick="toggle('ofKind0')"><a name="ofKind0Anchor">ofKind</a></td><td>UnaryExprOrTypeTrait Kind</td></tr> 1872 <tr><td colspan="4" class="doc" id="ofKind0"><pre>Matches unary expressions of a certain kind. 1873 1874 Given 1875 int x; 1876 int s = sizeof(x) + alignof(x) 1877 unaryExprOrTypeTraitExpr(ofKind(UETT_SizeOf)) 1878 matches sizeof(x) 1879 </pre></td></tr> 1880 1881 1882 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryOperator.html">UnaryOperator</a>></td><td class="name" onclick="toggle('hasOperatorName1')"><a name="hasOperatorName1Anchor">hasOperatorName</a></td><td>std::string Name</td></tr> 1883 <tr><td colspan="4" class="doc" id="hasOperatorName1"><pre>Matches the operator Name of operator expressions (binary or 1884 unary). 1885 1886 Example matches a || b (matcher = binaryOperator(hasOperatorName("||"))) 1887 !(a || b) 1888 </pre></td></tr> 1889 1890 1891 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>></td><td class="name" onclick="toggle('isDefinition1')"><a name="isDefinition1Anchor">isDefinition</a></td><td></td></tr> 1892 <tr><td colspan="4" class="doc" id="isDefinition1"><pre>Matches if a declaration has a body attached. 1893 1894 Example matches A, va, fa 1895 class A {}; 1896 class B; Doesn't match, as it has no body. 1897 int va; 1898 extern int vb; Doesn't match, as it doesn't define the variable. 1899 void fa() {} 1900 void fb(); Doesn't match, as it has no body. 1901 1902 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TagDecl.html">TagDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>> 1903 </pre></td></tr> 1904 1905 1906 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>></td><td class="name" onclick="toggle('isExplicitTemplateSpecialization1')"><a name="isExplicitTemplateSpecialization1Anchor">isExplicitTemplateSpecialization</a></td><td></td></tr> 1907 <tr><td colspan="4" class="doc" id="isExplicitTemplateSpecialization1"><pre>Matches explicit template specializations of function, class, or 1908 static member variable template instantiations. 1909 1910 Given 1911 template<typename T> void A(T t) { } 1912 template<> void A(int N) { } 1913 functionDecl(isExplicitTemplateSpecialization()) 1914 matches the specialization A<int>(). 1915 1916 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>> 1917 </pre></td></tr> 1918 1919 1920 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>></td><td class="name" onclick="toggle('isTemplateInstantiation1')"><a name="isTemplateInstantiation1Anchor">isTemplateInstantiation</a></td><td></td></tr> 1921 <tr><td colspan="4" class="doc" id="isTemplateInstantiation1"><pre>Matches template instantiations of function, class, or static 1922 member variable template instantiations. 1923 1924 Given 1925 template <typename T> class X {}; class A {}; X<A> x; 1926 or 1927 template <typename T> class X {}; class A {}; template class X<A>; 1928 recordDecl(hasName("::X"), isTemplateInstantiation()) 1929 matches the template instantiation of X<A>. 1930 1931 But given 1932 template <typename T> class X {}; class A {}; 1933 template <> class X<A> {}; X<A> x; 1934 recordDecl(hasName("::X"), isTemplateInstantiation()) 1935 does not match, as X<A> is an explicit template specialization. 1936 1937 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>> 1938 </pre></td></tr> 1939 1940 <!--END_NARROWING_MATCHERS --> 1941 </table> 1942 1943 <!-- ======================================================================= --> 1944 <h2 id="traversal-matchers">AST Traversal Matchers</h2> 1945 <!-- ======================================================================= --> 1946 1947 <p>Traversal matchers specify the relationship to other nodes that are 1948 reachable from the current node.</p> 1949 1950 <p>Note that there are special traversal matchers (has, hasDescendant, forEach and 1951 forEachDescendant) which work on all nodes and allow users to write more generic 1952 match expressions.</p> 1953 1954 <table> 1955 <tr style="text-align:left"><th>Return type</th><th>Name</th><th>Parameters</th></tr> 1956 <!-- START_TRAVERSAL_MATCHERS --> 1957 1958 <tr><td>Matcher<*></td><td class="name" onclick="toggle('eachOf0')"><a name="eachOf0Anchor">eachOf</a></td><td>Matcher<*> P1, Matcher<*> P2</td></tr> 1959 <tr><td colspan="4" class="doc" id="eachOf0"><pre>Matches if any of the given matchers matches. 1960 1961 Unlike anyOf, eachOf will generate a match result for each 1962 matching submatcher. 1963 1964 For example, in: 1965 class A { int a; int b; }; 1966 The matcher: 1967 recordDecl(eachOf(has(fieldDecl(hasName("a")).bind("v")), 1968 has(fieldDecl(hasName("b")).bind("v")))) 1969 will generate two results binding "v", the first of which binds 1970 the field declaration of a, the second the field declaration of 1971 b. 1972 1973 Usable as: Any Matcher 1974 </pre></td></tr> 1975 1976 1977 <tr><td>Matcher<*></td><td class="name" onclick="toggle('findAll0')"><a name="findAll0Anchor">findAll</a></td><td>Matcher<T> Matcher</td></tr> 1978 <tr><td colspan="4" class="doc" id="findAll0"><pre>Matches if the node or any descendant matches. 1979 1980 Generates results for each match. 1981 1982 For example, in: 1983 class A { class B {}; class C {}; }; 1984 The matcher: 1985 recordDecl(hasName("::A"), findAll(recordDecl(isDefinition()).bind("m"))) 1986 will generate results for A, B and C. 1987 1988 Usable as: Any Matcher 1989 </pre></td></tr> 1990 1991 1992 <tr><td>Matcher<*></td><td class="name" onclick="toggle('forEach0')"><a name="forEach0Anchor">forEach</a></td><td>Matcher<ChildT> ChildMatcher</td></tr> 1993 <tr><td colspan="4" class="doc" id="forEach0"><pre>Matches AST nodes that have child AST nodes that match the 1994 provided matcher. 1995 1996 Example matches X, Y (matcher = recordDecl(forEach(recordDecl(hasName("X"))) 1997 class X {}; Matches X, because X::X is a class of name X inside X. 1998 class Y { class X {}; }; 1999 class Z { class Y { class X {}; }; }; Does not match Z. 2000 2001 ChildT must be an AST base type. 2002 2003 As opposed to 'has', 'forEach' will cause a match for each result that 2004 matches instead of only on the first one. 2005 2006 Usable as: Any Matcher 2007 </pre></td></tr> 2008 2009 2010 <tr><td>Matcher<*></td><td class="name" onclick="toggle('forEachDescendant0')"><a name="forEachDescendant0Anchor">forEachDescendant</a></td><td>Matcher<DescendantT> DescendantMatcher</td></tr> 2011 <tr><td colspan="4" class="doc" id="forEachDescendant0"><pre>Matches AST nodes that have descendant AST nodes that match the 2012 provided matcher. 2013 2014 Example matches X, A, B, C 2015 (matcher = recordDecl(forEachDescendant(recordDecl(hasName("X"))))) 2016 class X {}; Matches X, because X::X is a class of name X inside X. 2017 class A { class X {}; }; 2018 class B { class C { class X {}; }; }; 2019 2020 DescendantT must be an AST base type. 2021 2022 As opposed to 'hasDescendant', 'forEachDescendant' will cause a match for 2023 each result that matches instead of only on the first one. 2024 2025 Note: Recursively combined ForEachDescendant can cause many matches: 2026 recordDecl(forEachDescendant(recordDecl(forEachDescendant(recordDecl())))) 2027 will match 10 times (plus injected class name matches) on: 2028 class A { class B { class C { class D { class E {}; }; }; }; }; 2029 2030 Usable as: Any Matcher 2031 </pre></td></tr> 2032 2033 2034 <tr><td>Matcher<*></td><td class="name" onclick="toggle('has0')"><a name="has0Anchor">has</a></td><td>Matcher<ChildT> ChildMatcher</td></tr> 2035 <tr><td colspan="4" class="doc" id="has0"><pre>Matches AST nodes that have child AST nodes that match the 2036 provided matcher. 2037 2038 Example matches X, Y (matcher = recordDecl(has(recordDecl(hasName("X"))) 2039 class X {}; Matches X, because X::X is a class of name X inside X. 2040 class Y { class X {}; }; 2041 class Z { class Y { class X {}; }; }; Does not match Z. 2042 2043 ChildT must be an AST base type. 2044 2045 Usable as: Any Matcher 2046 </pre></td></tr> 2047 2048 2049 <tr><td>Matcher<*></td><td class="name" onclick="toggle('hasAncestor0')"><a name="hasAncestor0Anchor">hasAncestor</a></td><td>Matcher<AncestorT> AncestorMatcher</td></tr> 2050 <tr><td colspan="4" class="doc" id="hasAncestor0"><pre>Matches AST nodes that have an ancestor that matches the provided 2051 matcher. 2052 2053 Given 2054 void f() { if (true) { int x = 42; } } 2055 void g() { for (;;) { int x = 43; } } 2056 expr(integerLiteral(hasAncestor(ifStmt()))) matches 42, but not 43. 2057 2058 Usable as: Any Matcher 2059 </pre></td></tr> 2060 2061 2062 <tr><td>Matcher<*></td><td class="name" onclick="toggle('hasDescendant0')"><a name="hasDescendant0Anchor">hasDescendant</a></td><td>Matcher<DescendantT> DescendantMatcher</td></tr> 2063 <tr><td colspan="4" class="doc" id="hasDescendant0"><pre>Matches AST nodes that have descendant AST nodes that match the 2064 provided matcher. 2065 2066 Example matches X, Y, Z 2067 (matcher = recordDecl(hasDescendant(recordDecl(hasName("X"))))) 2068 class X {}; Matches X, because X::X is a class of name X inside X. 2069 class Y { class X {}; }; 2070 class Z { class Y { class X {}; }; }; 2071 2072 DescendantT must be an AST base type. 2073 2074 Usable as: Any Matcher 2075 </pre></td></tr> 2076 2077 2078 <tr><td>Matcher<*></td><td class="name" onclick="toggle('hasParent0')"><a name="hasParent0Anchor">hasParent</a></td><td>Matcher<ParentT> ParentMatcher</td></tr> 2079 <tr><td colspan="4" class="doc" id="hasParent0"><pre>Matches AST nodes that have a parent that matches the provided 2080 matcher. 2081 2082 Given 2083 void f() { for (;;) { int x = 42; if (true) { int x = 43; } } } 2084 compoundStmt(hasParent(ifStmt())) matches "{ int x = 43; }". 2085 2086 Usable as: Any Matcher 2087 </pre></td></tr> 2088 2089 2090 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArraySubscriptExpr.html">ArraySubscriptExpr</a>></td><td class="name" onclick="toggle('hasBase0')"><a name="hasBase0Anchor">hasBase</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2091 <tr><td colspan="4" class="doc" id="hasBase0"><pre>Matches the base expression of an array subscript expression. 2092 2093 Given 2094 int i[5]; 2095 void f() { i[1] = 42; } 2096 arraySubscriptExpression(hasBase(implicitCastExpr( 2097 hasSourceExpression(declRefExpr())))) 2098 matches i[1] with the declRefExpr() matching i 2099 </pre></td></tr> 2100 2101 2102 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArraySubscriptExpr.html">ArraySubscriptExpr</a>></td><td class="name" onclick="toggle('hasIndex0')"><a name="hasIndex0Anchor">hasIndex</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2103 <tr><td colspan="4" class="doc" id="hasIndex0"><pre>Matches the index expression of an array subscript expression. 2104 2105 Given 2106 int i[5]; 2107 void f() { i[1] = 42; } 2108 arraySubscriptExpression(hasIndex(integerLiteral())) 2109 matches i[1] with the integerLiteral() matching 1 2110 </pre></td></tr> 2111 2112 2113 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayTypeLoc.html">ArrayTypeLoc</a>></td><td class="name" onclick="toggle('hasElementTypeLoc1')"><a name="hasElementTypeLoc1Anchor">hasElementTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td></tr> 2114 <tr><td colspan="4" class="doc" id="hasElementTypeLoc1"><pre>Matches arrays and C99 complex types that have a specific element 2115 type. 2116 2117 Given 2118 struct A {}; 2119 A a[7]; 2120 int b[7]; 2121 arrayType(hasElementType(builtinType())) 2122 matches "int b[7]" 2123 2124 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayType.html">ArrayType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexType.html">ComplexType</a>> 2125 </pre></td></tr> 2126 2127 2128 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayType.html">ArrayType</a>></td><td class="name" onclick="toggle('hasElementType1')"><a name="hasElementType1Anchor">hasElementType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 2129 <tr><td colspan="4" class="doc" id="hasElementType1"><pre>Matches arrays and C99 complex types that have a specific element 2130 type. 2131 2132 Given 2133 struct A {}; 2134 A a[7]; 2135 int b[7]; 2136 arrayType(hasElementType(builtinType())) 2137 matches "int b[7]" 2138 2139 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayType.html">ArrayType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexType.html">ComplexType</a>> 2140 </pre></td></tr> 2141 2142 2143 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicTypeLoc.html">AtomicTypeLoc</a>></td><td class="name" onclick="toggle('hasValueTypeLoc0')"><a name="hasValueTypeLoc0Anchor">hasValueTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td></tr> 2144 <tr><td colspan="4" class="doc" id="hasValueTypeLoc0"><pre>Matches atomic types with a specific value type. 2145 2146 Given 2147 _Atomic(int) i; 2148 _Atomic(float) f; 2149 atomicType(hasValueType(isInteger())) 2150 matches "_Atomic(int) i" 2151 2152 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicType.html">AtomicType</a>> 2153 </pre></td></tr> 2154 2155 2156 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicType.html">AtomicType</a>></td><td class="name" onclick="toggle('hasValueType0')"><a name="hasValueType0Anchor">hasValueType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 2157 <tr><td colspan="4" class="doc" id="hasValueType0"><pre>Matches atomic types with a specific value type. 2158 2159 Given 2160 _Atomic(int) i; 2161 _Atomic(float) f; 2162 atomicType(hasValueType(isInteger())) 2163 matches "_Atomic(int) i" 2164 2165 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicType.html">AtomicType</a>> 2166 </pre></td></tr> 2167 2168 2169 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AutoType.html">AutoType</a>></td><td class="name" onclick="toggle('hasDeducedType0')"><a name="hasDeducedType0Anchor">hasDeducedType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 2170 <tr><td colspan="4" class="doc" id="hasDeducedType0"><pre>Matches AutoType nodes where the deduced type is a specific type. 2171 2172 Note: There is no TypeLoc for the deduced type and thus no 2173 getDeducedLoc() matcher. 2174 2175 Given 2176 auto a = 1; 2177 auto b = 2.0; 2178 autoType(hasDeducedType(isInteger())) 2179 matches "auto a" 2180 2181 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1AutoType.html">AutoType</a>> 2182 </pre></td></tr> 2183 2184 2185 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BinaryOperator.html">BinaryOperator</a>></td><td class="name" onclick="toggle('hasEitherOperand0')"><a name="hasEitherOperand0Anchor">hasEitherOperand</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2186 <tr><td colspan="4" class="doc" id="hasEitherOperand0"><pre>Matches if either the left hand side or the right hand side of a 2187 binary operator matches. 2188 </pre></td></tr> 2189 2190 2191 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BinaryOperator.html">BinaryOperator</a>></td><td class="name" onclick="toggle('hasLHS0')"><a name="hasLHS0Anchor">hasLHS</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2192 <tr><td colspan="4" class="doc" id="hasLHS0"><pre>Matches the left hand side of binary operator expressions. 2193 2194 Example matches a (matcher = binaryOperator(hasLHS())) 2195 a || b 2196 </pre></td></tr> 2197 2198 2199 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BinaryOperator.html">BinaryOperator</a>></td><td class="name" onclick="toggle('hasRHS0')"><a name="hasRHS0Anchor">hasRHS</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2200 <tr><td colspan="4" class="doc" id="hasRHS0"><pre>Matches the right hand side of binary operator expressions. 2201 2202 Example matches b (matcher = binaryOperator(hasRHS())) 2203 a || b 2204 </pre></td></tr> 2205 2206 2207 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerTypeLoc.html">BlockPointerTypeLoc</a>></td><td class="name" onclick="toggle('pointeeLoc3')"><a name="pointeeLoc3Anchor">pointeeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td></tr> 2208 <tr><td colspan="4" class="doc" id="pointeeLoc3"><pre>Narrows PointerType (and similar) matchers to those where the 2209 pointee matches a given matcher. 2210 2211 Given 2212 int *a; 2213 int const *b; 2214 float const *f; 2215 pointerType(pointee(isConstQualified(), isInteger())) 2216 matches "int const *b" 2217 2218 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 2219 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 2220 </pre></td></tr> 2221 2222 2223 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>></td><td class="name" onclick="toggle('pointee3')"><a name="pointee3Anchor">pointee</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 2224 <tr><td colspan="4" class="doc" id="pointee3"><pre>Narrows PointerType (and similar) matchers to those where the 2225 pointee matches a given matcher. 2226 2227 Given 2228 int *a; 2229 int const *b; 2230 float const *f; 2231 pointerType(pointee(isConstQualified(), isInteger())) 2232 matches "int const *b" 2233 2234 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 2235 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 2236 </pre></td></tr> 2237 2238 2239 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>></td><td class="name" onclick="toggle('hasDeclaration3')"><a name="hasDeclaration3Anchor">hasDeclaration</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2240 <tr><td colspan="4" class="doc" id="hasDeclaration3"><pre>Matches a type if the declaration of the type matches the given 2241 matcher. 2242 2243 In addition to being usable as Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, also usable as 2244 Matcher<T> for any T supporting the getDecl() member function. e.g. various 2245 subtypes of clang::Type. 2246 2247 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>>, 2248 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, 2249 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>> 2250 </pre></td></tr> 2251 2252 2253 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructorDecl.html">CXXConstructorDecl</a>></td><td class="name" onclick="toggle('hasAnyConstructorInitializer0')"><a name="hasAnyConstructorInitializer0Anchor">hasAnyConstructorInitializer</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXCtorInitializer.html">CXXCtorInitializer</a>> InnerMatcher</td></tr> 2254 <tr><td colspan="4" class="doc" id="hasAnyConstructorInitializer0"><pre>Matches a constructor initializer. 2255 2256 Given 2257 struct Foo { 2258 Foo() : foo_(1) { } 2259 int foo_; 2260 }; 2261 recordDecl(has(constructorDecl(hasAnyConstructorInitializer(anything())))) 2262 record matches Foo, hasAnyConstructorInitializer matches foo_(1) 2263 </pre></td></tr> 2264 2265 2266 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXCtorInitializer.html">CXXCtorInitializer</a>></td><td class="name" onclick="toggle('forField0')"><a name="forField0Anchor">forField</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FieldDecl.html">FieldDecl</a>> InnerMatcher</td></tr> 2267 <tr><td colspan="4" class="doc" id="forField0"><pre>Matches the field declaration of a constructor initializer. 2268 2269 Given 2270 struct Foo { 2271 Foo() : foo_(1) { } 2272 int foo_; 2273 }; 2274 recordDecl(has(constructorDecl(hasAnyConstructorInitializer( 2275 forField(hasName("foo_")))))) 2276 matches Foo 2277 with forField matching foo_ 2278 </pre></td></tr> 2279 2280 2281 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXCtorInitializer.html">CXXCtorInitializer</a>></td><td class="name" onclick="toggle('withInitializer0')"><a name="withInitializer0Anchor">withInitializer</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2282 <tr><td colspan="4" class="doc" id="withInitializer0"><pre>Matches the initializer expression of a constructor initializer. 2283 2284 Given 2285 struct Foo { 2286 Foo() : foo_(1) { } 2287 int foo_; 2288 }; 2289 recordDecl(has(constructorDecl(hasAnyConstructorInitializer( 2290 withInitializer(integerLiteral(equals(1))))))) 2291 matches Foo 2292 with withInitializer matching (1) 2293 </pre></td></tr> 2294 2295 2296 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMemberCallExpr.html">CXXMemberCallExpr</a>></td><td class="name" onclick="toggle('on0')"><a name="on0Anchor">on</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2297 <tr><td colspan="4" class="doc" id="on0"><pre>Matches on the implicit object argument of a member call expression. 2298 2299 Example matches y.x() (matcher = callExpr(on(hasType(recordDecl(hasName("Y")))))) 2300 class Y { public: void x(); }; 2301 void z() { Y y; y.x(); }", 2302 2303 FIXME: Overload to allow directly matching types? 2304 </pre></td></tr> 2305 2306 2307 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMemberCallExpr.html">CXXMemberCallExpr</a>></td><td class="name" onclick="toggle('onImplicitObjectArgument0')"><a name="onImplicitObjectArgument0Anchor">onImplicitObjectArgument</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2308 <tr><td colspan="4" class="doc" id="onImplicitObjectArgument0"><pre></pre></td></tr> 2309 2310 2311 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMemberCallExpr.html">CXXMemberCallExpr</a>></td><td class="name" onclick="toggle('thisPointerType1')"><a name="thisPointerType1Anchor">thisPointerType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2312 <tr><td colspan="4" class="doc" id="thisPointerType1"><pre>Overloaded to match the type's declaration. 2313 </pre></td></tr> 2314 2315 2316 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMethodDecl.html">CXXMethodDecl</a>></td><td class="name" onclick="toggle('ofClass0')"><a name="ofClass0Anchor">ofClass</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>> InnerMatcher</td></tr> 2317 <tr><td colspan="4" class="doc" id="ofClass0"><pre>Matches the class declaration that the given method declaration 2318 belongs to. 2319 2320 FIXME: Generalize this for other kinds of declarations. 2321 FIXME: What other kind of declarations would we need to generalize 2322 this to? 2323 2324 Example matches A() in the last line 2325 (matcher = constructExpr(hasDeclaration(methodDecl( 2326 ofClass(hasName("A")))))) 2327 class A { 2328 public: 2329 A(); 2330 }; 2331 A a = A(); 2332 </pre></td></tr> 2333 2334 2335 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>></td><td class="name" onclick="toggle('hasMethod0')"><a name="hasMethod0Anchor">hasMethod</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXMethodDecl.html">CXXMethodDecl</a>> InnerMatcher</td></tr> 2336 <tr><td colspan="4" class="doc" id="hasMethod0"><pre>Matches the first method of a class or struct that satisfies InnerMatcher. 2337 2338 Given: 2339 class A { void func(); }; 2340 class B { void member(); }; 2341 2342 recordDecl(hasMethod(hasName("func"))) matches the declaration of A 2343 but not B. 2344 </pre></td></tr> 2345 2346 2347 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>></td><td class="name" onclick="toggle('isDerivedFrom0')"><a name="isDerivedFrom0Anchor">isDerivedFrom</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NamedDecl.html">NamedDecl</a>> Base</td></tr> 2348 <tr><td colspan="4" class="doc" id="isDerivedFrom0"><pre>Matches C++ classes that are directly or indirectly derived from 2349 a class matching Base. 2350 2351 Note that a class is not considered to be derived from itself. 2352 2353 Example matches Y, Z, C (Base == hasName("X")) 2354 class X; 2355 class Y : public X {}; directly derived 2356 class Z : public Y {}; indirectly derived 2357 typedef X A; 2358 typedef A B; 2359 class C : public B {}; derived from a typedef of X 2360 2361 In the following example, Bar matches isDerivedFrom(hasName("X")): 2362 class Foo; 2363 typedef Foo X; 2364 class Bar : public Foo {}; derived from a type that X is a typedef of 2365 </pre></td></tr> 2366 2367 2368 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXRecordDecl.html">CXXRecordDecl</a>></td><td class="name" onclick="toggle('isSameOrDerivedFrom0')"><a name="isSameOrDerivedFrom0Anchor">isSameOrDerivedFrom</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NamedDecl.html">NamedDecl</a>> Base</td></tr> 2369 <tr><td colspan="4" class="doc" id="isSameOrDerivedFrom0"><pre>Similar to isDerivedFrom(), but also matches classes that directly 2370 match Base. 2371 </pre></td></tr> 2372 2373 2374 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>></td><td class="name" onclick="toggle('callee1')"><a name="callee1Anchor">callee</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2375 <tr><td colspan="4" class="doc" id="callee1"><pre>Matches if the call expression's callee's declaration matches the 2376 given matcher. 2377 2378 Example matches y.x() (matcher = callExpr(callee(methodDecl(hasName("x"))))) 2379 class Y { public: void x(); }; 2380 void z() { Y y; y.x(); 2381 </pre></td></tr> 2382 2383 2384 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>></td><td class="name" onclick="toggle('hasAnyArgument0')"><a name="hasAnyArgument0Anchor">hasAnyArgument</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2385 <tr><td colspan="4" class="doc" id="hasAnyArgument0"><pre>Matches any argument of a call expression or a constructor call 2386 expression. 2387 2388 Given 2389 void x(int, int, int) { int y; x(1, y, 42); } 2390 callExpr(hasAnyArgument(declRefExpr())) 2391 matches x(1, y, 42) 2392 with hasAnyArgument(...) 2393 matching y 2394 </pre></td></tr> 2395 2396 2397 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>></td><td class="name" onclick="toggle('hasArgument0')"><a name="hasArgument0Anchor">hasArgument</a></td><td>unsigned N, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2398 <tr><td colspan="4" class="doc" id="hasArgument0"><pre>Matches the n'th argument of a call expression or a constructor 2399 call expression. 2400 2401 Example matches y in x(y) 2402 (matcher = callExpr(hasArgument(0, declRefExpr()))) 2403 void x(int) { int y; x(y); } 2404 </pre></td></tr> 2405 2406 2407 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>></td><td class="name" onclick="toggle('hasDeclaration4')"><a name="hasDeclaration4Anchor">hasDeclaration</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2408 <tr><td colspan="4" class="doc" id="hasDeclaration4"><pre>Matches a type if the declaration of the type matches the given 2409 matcher. 2410 2411 In addition to being usable as Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, also usable as 2412 Matcher<T> for any T supporting the getDecl() member function. e.g. various 2413 subtypes of clang::Type. 2414 2415 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>>, 2416 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, 2417 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>> 2418 </pre></td></tr> 2419 2420 2421 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CastExpr.html">CastExpr</a>></td><td class="name" onclick="toggle('hasSourceExpression0')"><a name="hasSourceExpression0Anchor">hasSourceExpression</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2422 <tr><td colspan="4" class="doc" id="hasSourceExpression0"><pre>Matches if the cast's source expression matches the given matcher. 2423 2424 Example: matches "a string" (matcher = 2425 hasSourceExpression(constructExpr())) 2426 class URL { URL(string); }; 2427 URL url = "a string"; 2428 </pre></td></tr> 2429 2430 2431 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ClassTemplateSpecializationDecl.html">ClassTemplateSpecializationDecl</a>></td><td class="name" onclick="toggle('hasAnyTemplateArgument0')"><a name="hasAnyTemplateArgument0Anchor">hasAnyTemplateArgument</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateArgument.html">TemplateArgument</a>> InnerMatcher</td></tr> 2432 <tr><td colspan="4" class="doc" id="hasAnyTemplateArgument0"><pre>Matches classTemplateSpecializations that have at least one 2433 TemplateArgument matching the given InnerMatcher. 2434 2435 Given 2436 template<typename T> class A {}; 2437 template<> class A<double> {}; 2438 A<int> a; 2439 classTemplateSpecializationDecl(hasAnyTemplateArgument( 2440 refersToType(asString("int")))) 2441 matches the specialization A<int> 2442 </pre></td></tr> 2443 2444 2445 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ClassTemplateSpecializationDecl.html">ClassTemplateSpecializationDecl</a>></td><td class="name" onclick="toggle('hasTemplateArgument0')"><a name="hasTemplateArgument0Anchor">hasTemplateArgument</a></td><td>unsigned N, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateArgument.html">TemplateArgument</a>> InnerMatcher</td></tr> 2446 <tr><td colspan="4" class="doc" id="hasTemplateArgument0"><pre>Matches classTemplateSpecializations where the n'th TemplateArgument 2447 matches the given InnerMatcher. 2448 2449 Given 2450 template<typename T, typename U> class A {}; 2451 A<bool, int> b; 2452 A<int, bool> c; 2453 classTemplateSpecializationDecl(hasTemplateArgument( 2454 1, refersToType(asString("int")))) 2455 matches the specialization A<bool, int> 2456 </pre></td></tr> 2457 2458 2459 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexTypeLoc.html">ComplexTypeLoc</a>></td><td class="name" onclick="toggle('hasElementTypeLoc0')"><a name="hasElementTypeLoc0Anchor">hasElementTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td></tr> 2460 <tr><td colspan="4" class="doc" id="hasElementTypeLoc0"><pre>Matches arrays and C99 complex types that have a specific element 2461 type. 2462 2463 Given 2464 struct A {}; 2465 A a[7]; 2466 int b[7]; 2467 arrayType(hasElementType(builtinType())) 2468 matches "int b[7]" 2469 2470 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayType.html">ArrayType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexType.html">ComplexType</a>> 2471 </pre></td></tr> 2472 2473 2474 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexType.html">ComplexType</a>></td><td class="name" onclick="toggle('hasElementType0')"><a name="hasElementType0Anchor">hasElementType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 2475 <tr><td colspan="4" class="doc" id="hasElementType0"><pre>Matches arrays and C99 complex types that have a specific element 2476 type. 2477 2478 Given 2479 struct A {}; 2480 A a[7]; 2481 int b[7]; 2482 arrayType(hasElementType(builtinType())) 2483 matches "int b[7]" 2484 2485 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ArrayType.html">ArrayType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ComplexType.html">ComplexType</a>> 2486 </pre></td></tr> 2487 2488 2489 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CompoundStmt.html">CompoundStmt</a>></td><td class="name" onclick="toggle('hasAnySubstatement0')"><a name="hasAnySubstatement0Anchor">hasAnySubstatement</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>> InnerMatcher</td></tr> 2490 <tr><td colspan="4" class="doc" id="hasAnySubstatement0"><pre>Matches compound statements where at least one substatement matches 2491 a given matcher. 2492 2493 Given 2494 { {}; 1+2; } 2495 hasAnySubstatement(compoundStmt()) 2496 matches '{ {}; 1+2; }' 2497 with compoundStmt() 2498 matching '{}' 2499 </pre></td></tr> 2500 2501 2502 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ConditionalOperator.html">ConditionalOperator</a>></td><td class="name" onclick="toggle('hasCondition4')"><a name="hasCondition4Anchor">hasCondition</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2503 <tr><td colspan="4" class="doc" id="hasCondition4"><pre>Matches the condition expression of an if statement, for loop, 2504 or conditional operator. 2505 2506 Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 2507 if (true) {} 2508 </pre></td></tr> 2509 2510 2511 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ConditionalOperator.html">ConditionalOperator</a>></td><td class="name" onclick="toggle('hasFalseExpression0')"><a name="hasFalseExpression0Anchor">hasFalseExpression</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2512 <tr><td colspan="4" class="doc" id="hasFalseExpression0"><pre>Matches the false branch expression of a conditional operator. 2513 2514 Example matches b 2515 condition ? a : b 2516 </pre></td></tr> 2517 2518 2519 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ConditionalOperator.html">ConditionalOperator</a>></td><td class="name" onclick="toggle('hasTrueExpression0')"><a name="hasTrueExpression0Anchor">hasTrueExpression</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2520 <tr><td colspan="4" class="doc" id="hasTrueExpression0"><pre>Matches the true branch expression of a conditional operator. 2521 2522 Example matches a 2523 condition ? a : b 2524 </pre></td></tr> 2525 2526 2527 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclRefExpr.html">DeclRefExpr</a>></td><td class="name" onclick="toggle('throughUsingDecl0')"><a name="throughUsingDecl0Anchor">throughUsingDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UsingShadowDecl.html">UsingShadowDecl</a>> InnerMatcher</td></tr> 2528 <tr><td colspan="4" class="doc" id="throughUsingDecl0"><pre>Matches a DeclRefExpr that refers to a declaration through a 2529 specific using shadow declaration. 2530 2531 FIXME: This currently only works for functions. Fix. 2532 2533 Given 2534 namespace a { void f() {} } 2535 using a::f; 2536 void g() { 2537 f(); Matches this .. 2538 a::f(); .. but not this. 2539 } 2540 declRefExpr(throughUsingDeclaration(anything())) 2541 matches f() 2542 </pre></td></tr> 2543 2544 2545 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclRefExpr.html">DeclRefExpr</a>></td><td class="name" onclick="toggle('to0')"><a name="to0Anchor">to</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2546 <tr><td colspan="4" class="doc" id="to0"><pre>Matches a DeclRefExpr that refers to a declaration that matches the 2547 specified matcher. 2548 2549 Example matches x in if(x) 2550 (matcher = declRefExpr(to(varDecl(hasName("x"))))) 2551 bool x; 2552 if (x) {} 2553 </pre></td></tr> 2554 2555 2556 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclStmt.html">DeclStmt</a>></td><td class="name" onclick="toggle('containsDeclaration0')"><a name="containsDeclaration0Anchor">containsDeclaration</a></td><td>unsigned N, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2557 <tr><td colspan="4" class="doc" id="containsDeclaration0"><pre>Matches the n'th declaration of a declaration statement. 2558 2559 Note that this does not work for global declarations because the AST 2560 breaks up multiple-declaration DeclStmt's into multiple single-declaration 2561 DeclStmt's. 2562 Example: Given non-global declarations 2563 int a, b = 0; 2564 int c; 2565 int d = 2, e; 2566 declStmt(containsDeclaration( 2567 0, varDecl(hasInitializer(anything())))) 2568 matches only 'int d = 2, e;', and 2569 declStmt(containsDeclaration(1, varDecl())) 2570 matches 'int a, b = 0' as well as 'int d = 2, e;' 2571 but 'int c;' is not matched. 2572 </pre></td></tr> 2573 2574 2575 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclStmt.html">DeclStmt</a>></td><td class="name" onclick="toggle('hasSingleDecl0')"><a name="hasSingleDecl0Anchor">hasSingleDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2576 <tr><td colspan="4" class="doc" id="hasSingleDecl0"><pre>Matches the Decl of a DeclStmt which has a single declaration. 2577 2578 Given 2579 int a, b; 2580 int c; 2581 declStmt(hasSingleDecl(anything())) 2582 matches 'int c;' but not 'int a, b;'. 2583 </pre></td></tr> 2584 2585 2586 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>></td><td class="name" onclick="toggle('hasDeclContext0')"><a name="hasDeclContext0Anchor">hasDeclContext</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2587 <tr><td colspan="4" class="doc" id="hasDeclContext0"><pre>Matches declarations whose declaration context, interpreted as a 2588 Decl, matches InnerMatcher. 2589 2590 Given 2591 namespace N { 2592 namespace M { 2593 class D {}; 2594 } 2595 } 2596 2597 recordDecl(hasDeclContext(namedDecl(hasName("M")))) matches the 2598 declaration of class D. 2599 </pre></td></tr> 2600 2601 2602 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DoStmt.html">DoStmt</a>></td><td class="name" onclick="toggle('hasBody0')"><a name="hasBody0Anchor">hasBody</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>> InnerMatcher</td></tr> 2603 <tr><td colspan="4" class="doc" id="hasBody0"><pre>Matches a 'for', 'while', or 'do while' statement that has 2604 a given body. 2605 2606 Given 2607 for (;;) {} 2608 hasBody(compoundStmt()) 2609 matches 'for (;;) {}' 2610 with compoundStmt() 2611 matching '{}' 2612 </pre></td></tr> 2613 2614 2615 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DoStmt.html">DoStmt</a>></td><td class="name" onclick="toggle('hasCondition3')"><a name="hasCondition3Anchor">hasCondition</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2616 <tr><td colspan="4" class="doc" id="hasCondition3"><pre>Matches the condition expression of an if statement, for loop, 2617 or conditional operator. 2618 2619 Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 2620 if (true) {} 2621 </pre></td></tr> 2622 2623 2624 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ElaboratedType.html">ElaboratedType</a>></td><td class="name" onclick="toggle('hasQualifier0')"><a name="hasQualifier0Anchor">hasQualifier</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>> InnerMatcher</td></tr> 2625 <tr><td colspan="4" class="doc" id="hasQualifier0"><pre>Matches ElaboratedTypes whose qualifier, a NestedNameSpecifier, 2626 matches InnerMatcher if the qualifier exists. 2627 2628 Given 2629 namespace N { 2630 namespace M { 2631 class D {}; 2632 } 2633 } 2634 N::M::D d; 2635 2636 elaboratedType(hasQualifier(hasPrefix(specifiesNamespace(hasName("N")))) 2637 matches the type of the variable declaration of d. 2638 </pre></td></tr> 2639 2640 2641 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ElaboratedType.html">ElaboratedType</a>></td><td class="name" onclick="toggle('namesType0')"><a name="namesType0Anchor">namesType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 2642 <tr><td colspan="4" class="doc" id="namesType0"><pre>Matches ElaboratedTypes whose named type matches InnerMatcher. 2643 2644 Given 2645 namespace N { 2646 namespace M { 2647 class D {}; 2648 } 2649 } 2650 N::M::D d; 2651 2652 elaboratedType(namesType(recordType( 2653 hasDeclaration(namedDecl(hasName("D")))))) matches the type of the variable 2654 declaration of d. 2655 </pre></td></tr> 2656 2657 2658 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ExplicitCastExpr.html">ExplicitCastExpr</a>></td><td class="name" onclick="toggle('hasDestinationType0')"><a name="hasDestinationType0Anchor">hasDestinationType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 2659 <tr><td colspan="4" class="doc" id="hasDestinationType0"><pre>Matches casts whose destination type matches a given matcher. 2660 2661 (Note: Clang's AST refers to other conversions as "casts" too, and calls 2662 actual casts "explicit" casts.) 2663 </pre></td></tr> 2664 2665 2666 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>></td><td class="name" onclick="toggle('hasType3')"><a name="hasType3Anchor">hasType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2667 <tr><td colspan="4" class="doc" id="hasType3"><pre>Overloaded to match the declaration of the expression's or value 2668 declaration's type. 2669 2670 In case of a value declaration (for example a variable declaration), 2671 this resolves one layer of indirection. For example, in the value 2672 declaration "X x;", recordDecl(hasName("X")) matches the declaration of X, 2673 while varDecl(hasType(recordDecl(hasName("X")))) matches the declaration 2674 of x." 2675 2676 Example matches x (matcher = expr(hasType(recordDecl(hasName("X"))))) 2677 and z (matcher = varDecl(hasType(recordDecl(hasName("X"))))) 2678 class X {}; 2679 void y(X &x) { x; X z; } 2680 2681 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>> 2682 </pre></td></tr> 2683 2684 2685 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>></td><td class="name" onclick="toggle('ignoringImpCasts0')"><a name="ignoringImpCasts0Anchor">ignoringImpCasts</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2686 <tr><td colspan="4" class="doc" id="ignoringImpCasts0"><pre>Matches expressions that match InnerMatcher after any implicit casts 2687 are stripped off. 2688 2689 Parentheses and explicit casts are not discarded. 2690 Given 2691 int arr[5]; 2692 int a = 0; 2693 char b = 0; 2694 const int c = a; 2695 int *d = arr; 2696 long e = (long) 0l; 2697 The matchers 2698 varDecl(hasInitializer(ignoringImpCasts(integerLiteral()))) 2699 varDecl(hasInitializer(ignoringImpCasts(declRefExpr()))) 2700 would match the declarations for a, b, c, and d, but not e. 2701 While 2702 varDecl(hasInitializer(integerLiteral())) 2703 varDecl(hasInitializer(declRefExpr())) 2704 only match the declarations for b, c, and d. 2705 </pre></td></tr> 2706 2707 2708 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>></td><td class="name" onclick="toggle('ignoringParenCasts0')"><a name="ignoringParenCasts0Anchor">ignoringParenCasts</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2709 <tr><td colspan="4" class="doc" id="ignoringParenCasts0"><pre>Matches expressions that match InnerMatcher after parentheses and 2710 casts are stripped off. 2711 2712 Implicit and non-C Style casts are also discarded. 2713 Given 2714 int a = 0; 2715 char b = (0); 2716 void* c = reinterpret_cast<char*>(0); 2717 char d = char(0); 2718 The matcher 2719 varDecl(hasInitializer(ignoringParenCasts(integerLiteral()))) 2720 would match the declarations for a, b, c, and d. 2721 while 2722 varDecl(hasInitializer(integerLiteral())) 2723 only match the declaration for a. 2724 </pre></td></tr> 2725 2726 2727 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>></td><td class="name" onclick="toggle('ignoringParenImpCasts0')"><a name="ignoringParenImpCasts0Anchor">ignoringParenImpCasts</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2728 <tr><td colspan="4" class="doc" id="ignoringParenImpCasts0"><pre>Matches expressions that match InnerMatcher after implicit casts and 2729 parentheses are stripped off. 2730 2731 Explicit casts are not discarded. 2732 Given 2733 int arr[5]; 2734 int a = 0; 2735 char b = (0); 2736 const int c = a; 2737 int *d = (arr); 2738 long e = ((long) 0l); 2739 The matchers 2740 varDecl(hasInitializer(ignoringParenImpCasts(integerLiteral()))) 2741 varDecl(hasInitializer(ignoringParenImpCasts(declRefExpr()))) 2742 would match the declarations for a, b, c, and d, but not e. 2743 while 2744 varDecl(hasInitializer(integerLiteral())) 2745 varDecl(hasInitializer(declRefExpr())) 2746 would only match the declaration for a. 2747 </pre></td></tr> 2748 2749 2750 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ForStmt.html">ForStmt</a>></td><td class="name" onclick="toggle('hasBody1')"><a name="hasBody1Anchor">hasBody</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>> InnerMatcher</td></tr> 2751 <tr><td colspan="4" class="doc" id="hasBody1"><pre>Matches a 'for', 'while', or 'do while' statement that has 2752 a given body. 2753 2754 Given 2755 for (;;) {} 2756 hasBody(compoundStmt()) 2757 matches 'for (;;) {}' 2758 with compoundStmt() 2759 matching '{}' 2760 </pre></td></tr> 2761 2762 2763 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ForStmt.html">ForStmt</a>></td><td class="name" onclick="toggle('hasCondition1')"><a name="hasCondition1Anchor">hasCondition</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2764 <tr><td colspan="4" class="doc" id="hasCondition1"><pre>Matches the condition expression of an if statement, for loop, 2765 or conditional operator. 2766 2767 Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 2768 if (true) {} 2769 </pre></td></tr> 2770 2771 2772 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ForStmt.html">ForStmt</a>></td><td class="name" onclick="toggle('hasIncrement0')"><a name="hasIncrement0Anchor">hasIncrement</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>> InnerMatcher</td></tr> 2773 <tr><td colspan="4" class="doc" id="hasIncrement0"><pre>Matches the increment statement of a for loop. 2774 2775 Example: 2776 forStmt(hasIncrement(unaryOperator(hasOperatorName("++")))) 2777 matches '++x' in 2778 for (x; x < N; ++x) { } 2779 </pre></td></tr> 2780 2781 2782 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ForStmt.html">ForStmt</a>></td><td class="name" onclick="toggle('hasLoopInit0')"><a name="hasLoopInit0Anchor">hasLoopInit</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>> InnerMatcher</td></tr> 2783 <tr><td colspan="4" class="doc" id="hasLoopInit0"><pre>Matches the initialization statement of a for loop. 2784 2785 Example: 2786 forStmt(hasLoopInit(declStmt())) 2787 matches 'int x = 0' in 2788 for (int x = 0; x < N; ++x) { } 2789 </pre></td></tr> 2790 2791 2792 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('hasAnyParameter0')"><a name="hasAnyParameter0Anchor">hasAnyParameter</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ParmVarDecl.html">ParmVarDecl</a>> InnerMatcher</td></tr> 2793 <tr><td colspan="4" class="doc" id="hasAnyParameter0"><pre>Matches any parameter of a function declaration. 2794 2795 Does not match the 'this' parameter of a method. 2796 2797 Given 2798 class X { void f(int x, int y, int z) {} }; 2799 methodDecl(hasAnyParameter(hasName("y"))) 2800 matches f(int x, int y, int z) {} 2801 with hasAnyParameter(...) 2802 matching int y 2803 </pre></td></tr> 2804 2805 2806 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('hasParameter0')"><a name="hasParameter0Anchor">hasParameter</a></td><td>unsigned N, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ParmVarDecl.html">ParmVarDecl</a>> InnerMatcher</td></tr> 2807 <tr><td colspan="4" class="doc" id="hasParameter0"><pre>Matches the n'th parameter of a function declaration. 2808 2809 Given 2810 class X { void f(int x) {} }; 2811 methodDecl(hasParameter(0, hasType(varDecl()))) 2812 matches f(int x) {} 2813 with hasParameter(...) 2814 matching int x 2815 </pre></td></tr> 2816 2817 2818 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>></td><td class="name" onclick="toggle('returns0')"><a name="returns0Anchor">returns</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 2819 <tr><td colspan="4" class="doc" id="returns0"><pre>Matches the return type of a function declaration. 2820 2821 Given: 2822 class X { int f() { return 1; } }; 2823 methodDecl(returns(asString("int"))) 2824 matches int f() { return 1; } 2825 </pre></td></tr> 2826 2827 2828 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IfStmt.html">IfStmt</a>></td><td class="name" onclick="toggle('hasCondition0')"><a name="hasCondition0Anchor">hasCondition</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2829 <tr><td colspan="4" class="doc" id="hasCondition0"><pre>Matches the condition expression of an if statement, for loop, 2830 or conditional operator. 2831 2832 Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 2833 if (true) {} 2834 </pre></td></tr> 2835 2836 2837 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1IfStmt.html">IfStmt</a>></td><td class="name" onclick="toggle('hasConditionVariableStatement0')"><a name="hasConditionVariableStatement0Anchor">hasConditionVariableStatement</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1DeclStmt.html">DeclStmt</a>> InnerMatcher</td></tr> 2838 <tr><td colspan="4" class="doc" id="hasConditionVariableStatement0"><pre>Matches the condition variable statement in an if statement. 2839 2840 Given 2841 if (A* a = GetAPointer()) {} 2842 hasConditionVariableStatment(...) 2843 matches 'A* a = GetAPointer()'. 2844 </pre></td></tr> 2845 2846 2847 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ImplicitCastExpr.html">ImplicitCastExpr</a>></td><td class="name" onclick="toggle('hasImplicitDestinationType0')"><a name="hasImplicitDestinationType0Anchor">hasImplicitDestinationType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 2848 <tr><td colspan="4" class="doc" id="hasImplicitDestinationType0"><pre>Matches implicit casts whose destination type matches a given 2849 matcher. 2850 2851 FIXME: Unit test this matcher 2852 </pre></td></tr> 2853 2854 2855 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>></td><td class="name" onclick="toggle('hasDeclaration2')"><a name="hasDeclaration2Anchor">hasDeclaration</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 2856 <tr><td colspan="4" class="doc" id="hasDeclaration2"><pre>Matches a type if the declaration of the type matches the given 2857 matcher. 2858 2859 In addition to being usable as Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, also usable as 2860 Matcher<T> for any T supporting the getDecl() member function. e.g. various 2861 subtypes of clang::Type. 2862 2863 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>>, 2864 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, 2865 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>> 2866 </pre></td></tr> 2867 2868 2869 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>></td><td class="name" onclick="toggle('hasObjectExpression0')"><a name="hasObjectExpression0Anchor">hasObjectExpression</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 2870 <tr><td colspan="4" class="doc" id="hasObjectExpression0"><pre>Matches a member expression where the object expression is 2871 matched by a given matcher. 2872 2873 Given 2874 struct X { int m; }; 2875 void f(X x) { x.m; m; } 2876 memberExpr(hasObjectExpression(hasType(recordDecl(hasName("X"))))))) 2877 matches "x.m" and "m" 2878 with hasObjectExpression(...) 2879 matching "x" and the implicit object expression of "m" which has type X*. 2880 </pre></td></tr> 2881 2882 2883 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>></td><td class="name" onclick="toggle('member0')"><a name="member0Anchor">member</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>> InnerMatcher</td></tr> 2884 <tr><td colspan="4" class="doc" id="member0"><pre>Matches a member expression where the member is matched by a 2885 given matcher. 2886 2887 Given 2888 struct { int first, second; } first, second; 2889 int i(second.first); 2890 int j(first.second); 2891 memberExpr(member(hasName("first"))) 2892 matches second.first 2893 but not first.second (because the member name there is "second"). 2894 </pre></td></tr> 2895 2896 2897 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerTypeLoc.html">MemberPointerTypeLoc</a>></td><td class="name" onclick="toggle('pointeeLoc2')"><a name="pointeeLoc2Anchor">pointeeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td></tr> 2898 <tr><td colspan="4" class="doc" id="pointeeLoc2"><pre>Narrows PointerType (and similar) matchers to those where the 2899 pointee matches a given matcher. 2900 2901 Given 2902 int *a; 2903 int const *b; 2904 float const *f; 2905 pointerType(pointee(isConstQualified(), isInteger())) 2906 matches "int const *b" 2907 2908 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 2909 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 2910 </pre></td></tr> 2911 2912 2913 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>></td><td class="name" onclick="toggle('pointee2')"><a name="pointee2Anchor">pointee</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 2914 <tr><td colspan="4" class="doc" id="pointee2"><pre>Narrows PointerType (and similar) matchers to those where the 2915 pointee matches a given matcher. 2916 2917 Given 2918 int *a; 2919 int const *b; 2920 float const *f; 2921 pointerType(pointee(isConstQualified(), isInteger())) 2922 matches "int const *b" 2923 2924 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 2925 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 2926 </pre></td></tr> 2927 2928 2929 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifierLoc.html">NestedNameSpecifierLoc</a>></td><td class="name" onclick="toggle('hasPrefix1')"><a name="hasPrefix1Anchor">hasPrefix</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifierLoc.html">NestedNameSpecifierLoc</a>> InnerMatcher</td></tr> 2930 <tr><td colspan="4" class="doc" id="hasPrefix1"><pre>Matches on the prefix of a NestedNameSpecifierLoc. 2931 2932 Given 2933 struct A { struct B { struct C {}; }; }; 2934 A::B::C c; 2935 nestedNameSpecifierLoc(hasPrefix(loc(specifiesType(asString("struct A"))))) 2936 matches "A::" 2937 </pre></td></tr> 2938 2939 2940 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifierLoc.html">NestedNameSpecifierLoc</a>></td><td class="name" onclick="toggle('loc1')"><a name="loc1Anchor">loc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>> InnerMatcher</td></tr> 2941 <tr><td colspan="4" class="doc" id="loc1"><pre>Matches NestedNameSpecifierLocs for which the given inner 2942 NestedNameSpecifier-matcher matches. 2943 </pre></td></tr> 2944 2945 2946 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifierLoc.html">NestedNameSpecifierLoc</a>></td><td class="name" onclick="toggle('specifiesTypeLoc0')"><a name="specifiesTypeLoc0Anchor">specifiesTypeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>> InnerMatcher</td></tr> 2947 <tr><td colspan="4" class="doc" id="specifiesTypeLoc0"><pre>Matches nested name specifier locs that specify a type matching the 2948 given TypeLoc. 2949 2950 Given 2951 struct A { struct B { struct C {}; }; }; 2952 A::B::C c; 2953 nestedNameSpecifierLoc(specifiesTypeLoc(loc(type( 2954 hasDeclaration(recordDecl(hasName("A"))))))) 2955 matches "A::" 2956 </pre></td></tr> 2957 2958 2959 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>></td><td class="name" onclick="toggle('hasPrefix0')"><a name="hasPrefix0Anchor">hasPrefix</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>> InnerMatcher</td></tr> 2960 <tr><td colspan="4" class="doc" id="hasPrefix0"><pre>Matches on the prefix of a NestedNameSpecifier. 2961 2962 Given 2963 struct A { struct B { struct C {}; }; }; 2964 A::B::C c; 2965 nestedNameSpecifier(hasPrefix(specifiesType(asString("struct A")))) and 2966 matches "A::" 2967 </pre></td></tr> 2968 2969 2970 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>></td><td class="name" onclick="toggle('specifiesNamespace0')"><a name="specifiesNamespace0Anchor">specifiesNamespace</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NamespaceDecl.html">NamespaceDecl</a>> InnerMatcher</td></tr> 2971 <tr><td colspan="4" class="doc" id="specifiesNamespace0"><pre>Matches nested name specifiers that specify a namespace matching the 2972 given namespace matcher. 2973 2974 Given 2975 namespace ns { struct A {}; } 2976 ns::A a; 2977 nestedNameSpecifier(specifiesNamespace(hasName("ns"))) 2978 matches "ns::" 2979 </pre></td></tr> 2980 2981 2982 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NestedNameSpecifier.html">NestedNameSpecifier</a>></td><td class="name" onclick="toggle('specifiesType0')"><a name="specifiesType0Anchor">specifiesType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 2983 <tr><td colspan="4" class="doc" id="specifiesType0"><pre>Matches nested name specifiers that specify a type matching the 2984 given QualType matcher without qualifiers. 2985 2986 Given 2987 struct A { struct B { struct C {}; }; }; 2988 A::B::C c; 2989 nestedNameSpecifier(specifiesType(hasDeclaration(recordDecl(hasName("A"))))) 2990 matches "A::" 2991 </pre></td></tr> 2992 2993 2994 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerTypeLoc.html">PointerTypeLoc</a>></td><td class="name" onclick="toggle('pointeeLoc1')"><a name="pointeeLoc1Anchor">pointeeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td></tr> 2995 <tr><td colspan="4" class="doc" id="pointeeLoc1"><pre>Narrows PointerType (and similar) matchers to those where the 2996 pointee matches a given matcher. 2997 2998 Given 2999 int *a; 3000 int const *b; 3001 float const *f; 3002 pointerType(pointee(isConstQualified(), isInteger())) 3003 matches "int const *b" 3004 3005 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 3006 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 3007 </pre></td></tr> 3008 3009 3010 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>></td><td class="name" onclick="toggle('pointee1')"><a name="pointee1Anchor">pointee</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 3011 <tr><td colspan="4" class="doc" id="pointee1"><pre>Narrows PointerType (and similar) matchers to those where the 3012 pointee matches a given matcher. 3013 3014 Given 3015 int *a; 3016 int const *b; 3017 float const *f; 3018 pointerType(pointee(isConstQualified(), isInteger())) 3019 matches "int const *b" 3020 3021 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 3022 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 3023 </pre></td></tr> 3024 3025 3026 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('hasCanonicalType0')"><a name="hasCanonicalType0Anchor">hasCanonicalType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 3027 <tr><td colspan="4" class="doc" id="hasCanonicalType0"><pre>Matches QualTypes whose canonical type matches InnerMatcher. 3028 3029 Given: 3030 typedef int &int_ref; 3031 int a; 3032 int_ref b = a; 3033 3034 varDecl(hasType(qualType(referenceType()))))) will not match the 3035 declaration of b but varDecl(hasType(qualType(hasCanonicalType(referenceType())))))) does. 3036 </pre></td></tr> 3037 3038 3039 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('hasDeclaration5')"><a name="hasDeclaration5Anchor">hasDeclaration</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 3040 <tr><td colspan="4" class="doc" id="hasDeclaration5"><pre>Matches a type if the declaration of the type matches the given 3041 matcher. 3042 3043 In addition to being usable as Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, also usable as 3044 Matcher<T> for any T supporting the getDecl() member function. e.g. various 3045 subtypes of clang::Type. 3046 3047 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>>, 3048 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, 3049 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>> 3050 </pre></td></tr> 3051 3052 3053 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('pointsTo1')"><a name="pointsTo1Anchor">pointsTo</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 3054 <tr><td colspan="4" class="doc" id="pointsTo1"><pre>Overloaded to match the pointee type's declaration. 3055 </pre></td></tr> 3056 3057 3058 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>></td><td class="name" onclick="toggle('references1')"><a name="references1Anchor">references</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 3059 <tr><td colspan="4" class="doc" id="references1"><pre>Overloaded to match the referenced type's declaration. 3060 </pre></td></tr> 3061 3062 3063 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceTypeLoc.html">ReferenceTypeLoc</a>></td><td class="name" onclick="toggle('pointeeLoc0')"><a name="pointeeLoc0Anchor">pointeeLoc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td></tr> 3064 <tr><td colspan="4" class="doc" id="pointeeLoc0"><pre>Narrows PointerType (and similar) matchers to those where the 3065 pointee matches a given matcher. 3066 3067 Given 3068 int *a; 3069 int const *b; 3070 float const *f; 3071 pointerType(pointee(isConstQualified(), isInteger())) 3072 matches "int const *b" 3073 3074 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 3075 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 3076 </pre></td></tr> 3077 3078 3079 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>></td><td class="name" onclick="toggle('pointee0')"><a name="pointee0Anchor">pointee</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Type.html">Type</a>></td></tr> 3080 <tr><td colspan="4" class="doc" id="pointee0"><pre>Narrows PointerType (and similar) matchers to those where the 3081 pointee matches a given matcher. 3082 3083 Given 3084 int *a; 3085 int const *b; 3086 float const *f; 3087 pointerType(pointee(isConstQualified(), isInteger())) 3088 matches "int const *b" 3089 3090 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1BlockPointerType.html">BlockPointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberPointerType.html">MemberPointerType</a>>, 3091 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1PointerType.html">PointerType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ReferenceType.html">ReferenceType</a>> 3092 </pre></td></tr> 3093 3094 3095 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('alignOfExpr0')"><a name="alignOfExpr0Anchor">alignOfExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryExprOrTypeTraitExpr.html">UnaryExprOrTypeTraitExpr</a>> InnerMatcher</td></tr> 3096 <tr><td colspan="4" class="doc" id="alignOfExpr0"><pre>Same as unaryExprOrTypeTraitExpr, but only matching 3097 alignof. 3098 </pre></td></tr> 3099 3100 3101 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>></td><td class="name" onclick="toggle('sizeOfExpr0')"><a name="sizeOfExpr0Anchor">sizeOfExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryExprOrTypeTraitExpr.html">UnaryExprOrTypeTraitExpr</a>> InnerMatcher</td></tr> 3102 <tr><td colspan="4" class="doc" id="sizeOfExpr0"><pre>Same as unaryExprOrTypeTraitExpr, but only matching 3103 sizeof. 3104 </pre></td></tr> 3105 3106 3107 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateArgument.html">TemplateArgument</a>></td><td class="name" onclick="toggle('refersToDeclaration0')"><a name="refersToDeclaration0Anchor">refersToDeclaration</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 3108 <tr><td colspan="4" class="doc" id="refersToDeclaration0"><pre>Matches a TemplateArgument that refers to a certain declaration. 3109 3110 Given 3111 template<typename T> struct A {}; 3112 struct B { B* next; }; 3113 A<&B::next> a; 3114 classTemplateSpecializationDecl(hasAnyTemplateArgument( 3115 refersToDeclaration(fieldDecl(hasName("next")))) 3116 matches the specialization A<&B::next> with fieldDecl(...) matching 3117 B::next 3118 </pre></td></tr> 3119 3120 3121 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateArgument.html">TemplateArgument</a>></td><td class="name" onclick="toggle('refersToType0')"><a name="refersToType0Anchor">refersToType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 3122 <tr><td colspan="4" class="doc" id="refersToType0"><pre>Matches a TemplateArgument that refers to a certain type. 3123 3124 Given 3125 struct X {}; 3126 template<typename T> struct A {}; 3127 A<X> a; 3128 classTemplateSpecializationDecl(hasAnyTemplateArgument( 3129 refersToType(class(hasName("X"))))) 3130 matches the specialization A<X> 3131 </pre></td></tr> 3132 3133 3134 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>></td><td class="name" onclick="toggle('hasDeclaration0')"><a name="hasDeclaration0Anchor">hasDeclaration</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 3135 <tr><td colspan="4" class="doc" id="hasDeclaration0"><pre>Matches a type if the declaration of the type matches the given 3136 matcher. 3137 3138 In addition to being usable as Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, also usable as 3139 Matcher<T> for any T supporting the getDecl() member function. e.g. various 3140 subtypes of clang::Type. 3141 3142 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>>, 3143 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, 3144 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>> 3145 </pre></td></tr> 3146 3147 3148 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypeLoc.html">TypeLoc</a>></td><td class="name" onclick="toggle('loc0')"><a name="loc0Anchor">loc</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 3149 <tr><td colspan="4" class="doc" id="loc0"><pre>Matches TypeLocs for which the given inner 3150 QualType-matcher matches. 3151 </pre></td></tr> 3152 3153 3154 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>></td><td class="name" onclick="toggle('hasDeclaration1')"><a name="hasDeclaration1Anchor">hasDeclaration</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 3155 <tr><td colspan="4" class="doc" id="hasDeclaration1"><pre>Matches a type if the declaration of the type matches the given 3156 matcher. 3157 3158 In addition to being usable as Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, also usable as 3159 Matcher<T> for any T supporting the getDecl() member function. e.g. various 3160 subtypes of clang::Type. 3161 3162 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CallExpr.html">CallExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1CXXConstructExpr.html">CXXConstructExpr</a>>, 3163 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1MemberExpr.html">MemberExpr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>>, 3164 Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1TemplateSpecializationType.html">TemplateSpecializationType</a>> 3165 </pre></td></tr> 3166 3167 3168 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryExprOrTypeTraitExpr.html">UnaryExprOrTypeTraitExpr</a>></td><td class="name" onclick="toggle('hasArgumentOfType0')"><a name="hasArgumentOfType0Anchor">hasArgumentOfType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>> InnerMatcher</td></tr> 3169 <tr><td colspan="4" class="doc" id="hasArgumentOfType0"><pre>Matches unary expressions that have a specific type of argument. 3170 3171 Given 3172 int a, c; float b; int s = sizeof(a) + sizeof(b) + alignof(c); 3173 unaryExprOrTypeTraitExpr(hasArgumentOfType(asString("int")) 3174 matches sizeof(a) and alignof(c) 3175 </pre></td></tr> 3176 3177 3178 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UnaryOperator.html">UnaryOperator</a>></td><td class="name" onclick="toggle('hasUnaryOperand0')"><a name="hasUnaryOperand0Anchor">hasUnaryOperand</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 3179 <tr><td colspan="4" class="doc" id="hasUnaryOperand0"><pre>Matches if the operand of a unary operator matches. 3180 3181 Example matches true (matcher = hasUnaryOperand(boolLiteral(equals(true)))) 3182 !true 3183 </pre></td></tr> 3184 3185 3186 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UsingDecl.html">UsingDecl</a>></td><td class="name" onclick="toggle('hasAnyUsingShadowDecl0')"><a name="hasAnyUsingShadowDecl0Anchor">hasAnyUsingShadowDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UsingShadowDecl.html">UsingShadowDecl</a>> InnerMatcher</td></tr> 3187 <tr><td colspan="4" class="doc" id="hasAnyUsingShadowDecl0"><pre>Matches any using shadow declaration. 3188 3189 Given 3190 namespace X { void b(); } 3191 using X::b; 3192 usingDecl(hasAnyUsingShadowDecl(hasName("b")))) 3193 matches using X::b </pre></td></tr> 3194 3195 3196 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1UsingShadowDecl.html">UsingShadowDecl</a>></td><td class="name" onclick="toggle('hasTargetDecl0')"><a name="hasTargetDecl0Anchor">hasTargetDecl</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1NamedDecl.html">NamedDecl</a>> InnerMatcher</td></tr> 3197 <tr><td colspan="4" class="doc" id="hasTargetDecl0"><pre>Matches a using shadow declaration where the target declaration is 3198 matched by the given matcher. 3199 3200 Given 3201 namespace X { int a; void b(); } 3202 using X::a; 3203 using X::b; 3204 usingDecl(hasAnyUsingShadowDecl(hasTargetDecl(functionDecl()))) 3205 matches using X::b but not using X::a </pre></td></tr> 3206 3207 3208 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>></td><td class="name" onclick="toggle('hasType2')"><a name="hasType2Anchor">hasType</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>> InnerMatcher</td></tr> 3209 <tr><td colspan="4" class="doc" id="hasType2"><pre>Overloaded to match the declaration of the expression's or value 3210 declaration's type. 3211 3212 In case of a value declaration (for example a variable declaration), 3213 this resolves one layer of indirection. For example, in the value 3214 declaration "X x;", recordDecl(hasName("X")) matches the declaration of X, 3215 while varDecl(hasType(recordDecl(hasName("X")))) matches the declaration 3216 of x." 3217 3218 Example matches x (matcher = expr(hasType(recordDecl(hasName("X"))))) 3219 and z (matcher = varDecl(hasType(recordDecl(hasName("X"))))) 3220 class X {}; 3221 void y(X &x) { x; X z; } 3222 3223 Usable as: Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>>, Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>> 3224 </pre></td></tr> 3225 3226 3227 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>></td><td class="name" onclick="toggle('hasInitializer0')"><a name="hasInitializer0Anchor">hasInitializer</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 3228 <tr><td colspan="4" class="doc" id="hasInitializer0"><pre>Matches a variable declaration that has an initializer expression 3229 that matches the given matcher. 3230 3231 Example matches x (matcher = varDecl(hasInitializer(callExpr()))) 3232 bool y() { return true; } 3233 bool x = y(); 3234 </pre></td></tr> 3235 3236 3237 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1VariableArrayType.html">VariableArrayType</a>></td><td class="name" onclick="toggle('hasSizeExpr0')"><a name="hasSizeExpr0Anchor">hasSizeExpr</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 3238 <tr><td colspan="4" class="doc" id="hasSizeExpr0"><pre>Matches VariableArrayType nodes that have a specific size 3239 expression. 3240 3241 Given 3242 void f(int b) { 3243 int a[b]; 3244 } 3245 variableArrayType(hasSizeExpr(ignoringImpCasts(declRefExpr(to( 3246 varDecl(hasName("b"))))))) 3247 matches "int a[b]" 3248 </pre></td></tr> 3249 3250 3251 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1WhileStmt.html">WhileStmt</a>></td><td class="name" onclick="toggle('hasBody2')"><a name="hasBody2Anchor">hasBody</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>> InnerMatcher</td></tr> 3252 <tr><td colspan="4" class="doc" id="hasBody2"><pre>Matches a 'for', 'while', or 'do while' statement that has 3253 a given body. 3254 3255 Given 3256 for (;;) {} 3257 hasBody(compoundStmt()) 3258 matches 'for (;;) {}' 3259 with compoundStmt() 3260 matching '{}' 3261 </pre></td></tr> 3262 3263 3264 <tr><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1WhileStmt.html">WhileStmt</a>></td><td class="name" onclick="toggle('hasCondition2')"><a name="hasCondition2Anchor">hasCondition</a></td><td>Matcher<<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>> InnerMatcher</td></tr> 3265 <tr><td colspan="4" class="doc" id="hasCondition2"><pre>Matches the condition expression of an if statement, for loop, 3266 or conditional operator. 3267 3268 Example matches true (matcher = hasCondition(boolLiteral(equals(true)))) 3269 if (true) {} 3270 </pre></td></tr> 3271 3272 <!--END_TRAVERSAL_MATCHERS --> 3273 </table> 3274 3275 </div> 3276 </body> 3277 </html> 3278 3279 3280
