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

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