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

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