Blame - docs/LibASTMatchersReference.html - fp2-dev/platform/external/clang

blob: 672c12d9b9d6e40c2892931938ddf68352b212a9 [file] [log] [blame]

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