This is an archive of the discontinued LLVM Phabricator instance.

Differential D48910

[ASTMatchers] A matcher for Objective-C @autoreleasepool
ClosedPublic

Authored by george.karpenkov on Jul 3 2018, 6:32 PM.

Details

Reviewers
alexfh
aaron.ballman
Commits
rGba02bc522654: [ASTMatchers] A matcher for Objective-C @autoreleasepool
rL336468: [ASTMatchers] A matcher for Objective-C @autoreleasepool
rC336468: [ASTMatchers] A matcher for Objective-C @autoreleasepool

Diff Detail

Event Timeline

george.karpenkov created this revision.Jul 3 2018, 6:32 PM
george.karpenkov updated this revision to Diff 154037.Jul 3 2018, 6:35 PM
alexfh accepted this revision.Jul 4 2018, 7:12 AM

LG

This revision is now accepted and ready to land.Jul 4 2018, 7:12 AM
aaron.ballman requested changes to this revision.Jul 4 2018, 7:19 AM

This mostly looks good, but the name of the matcher is inconsistent.

include/clang/ASTMatchers/ASTMatchers.h
980 ↗(On Diff #154037)

This should be named autoreleasePoolStmt().

This revision now requires changes to proceed.Jul 4 2018, 7:19 AM
george.karpenkov updated this revision to Diff 154311.Jul 5 2018, 2:14 PM
aaron.ballman accepted this revision.Jul 6 2018, 5:08 AM

LGTM, thank you!

This revision is now accepted and ready to land.Jul 6 2018, 5:08 AM
Closed by commit rC336468: [ASTMatchers] A matcher for Objective-C @autoreleasepool (authored by george.karpenkov). · Explain WhyJul 6 2018, 2:41 PM
This revision was automatically updated to reflect the committed changes.
Herald added a subscriber: cfe-commits. · View Herald TranscriptJul 6 2018, 2:41 PM

Revision Contents

PathSize
clang/
docs/
74 lines
include/
clang/
ASTMatchers/
13 lines
lib/
ASTMatchers/
2 lines
Dynamic/
1 line
unittests/
ASTMatchers/
12 lines

Diff 154311

clang/docs/LibASTMatchersReference.html

Show First 20 Lines • Show All 656 Lines • ▼ Show 20 Lines
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>&gt;</td><td class="name" onclick="toggle('atomicExpr0')"><a name="atomicExpr0Anchor">atomicExpr</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicExpr.html">AtomicExpr</a>&gt;...</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>&gt;</td><td class="name" onclick="toggle('atomicExpr0')"><a name="atomicExpr0Anchor">atomicExpr</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1AtomicExpr.html">AtomicExpr</a>&gt;...</td></tr>
<tr><td colspan="4" class="doc" id="atomicExpr0"><pre>Matches atomic builtins. <tr><td colspan="4" class="doc" id="atomicExpr0"><pre>Matches atomic builtins.
Example matches __atomic_load_n(ptr, 1) Example matches __atomic_load_n(ptr, 1)
void foo() { int *ptr; __atomic_load_n(ptr, 1); } void foo() { int *ptr; __atomic_load_n(ptr, 1); }
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>&gt;</td><td class="name" onclick="toggle('autoreleasePoolStmt0')"><a name="autoreleasePoolStmt0Anchor">autoreleasePoolStmt</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ObjCAutoreleasePoolStmt.html">ObjCAutoreleasePoolStmt</a>&gt;...</td></tr>
<tr><td colspan="4" class="doc" id="autoreleasePoolStmt0"><pre>Matches an Objective-C autorelease pool statement.
Given
@autoreleasepool {
int x = 0;
}
autoreleasePoolStmt(stmt()) matches the declaration of "x"
inside the autorelease pool.
</pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>&gt;</td><td class="name" onclick="toggle('binaryConditionalOperator0')"><a name="binaryConditionalOperator0Anchor">binaryConditionalOperator</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1BinaryConditionalOperator.html">BinaryConditionalOperator</a>&gt;...</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>&gt;</td><td class="name" onclick="toggle('binaryConditionalOperator0')"><a name="binaryConditionalOperator0Anchor">binaryConditionalOperator</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1BinaryConditionalOperator.html">BinaryConditionalOperator</a>&gt;...</td></tr>
<tr><td colspan="4" class="doc" id="binaryConditionalOperator0"><pre>Matches binary conditional operator expressions (GNU extension). <tr><td colspan="4" class="doc" id="binaryConditionalOperator0"><pre>Matches binary conditional operator expressions (GNU extension).
Example matches a ?: b Example matches a ?: b
(a ?: b) + 42; (a ?: b) + 42;
</pre></td></tr> </pre></td></tr>
▲ Show 20 Lines • Show All 1,982 Lines • ▼ Show 20 Lines
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ExplicitCastExpr.html">ExplicitCastExpr</a>&gt;</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>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ExplicitCastExpr.html">ExplicitCastExpr</a>&gt;</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>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasDestinationType0"><pre>Matches casts whose destination type matches a given matcher. <tr><td colspan="4" class="doc" id="hasDestinationType0"><pre>Matches casts whose destination type matches a given matcher.
(Note: Clang's AST refers to other conversions as "casts" too, and calls (Note: Clang's AST refers to other conversions as "casts" too, and calls
actual casts "explicit" casts.) actual casts "explicit" casts.)
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;</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>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;</td><td class="name" onclick="toggle('hasType4')"><a name="hasType4Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasType3"><pre>Overloaded to match the declaration of the expression's or value <tr><td colspan="4" class="doc" id="hasType4"><pre>Overloaded to match the declaration of the expression's or value
declaration's type. declaration's type.
In case of a value declaration (for example a variable declaration), In case of a value declaration (for example a variable declaration),
this resolves one layer of indirection. For example, in the value this resolves one layer of indirection. For example, in the value
declaration "X x;", cxxRecordDecl(hasName("X")) matches the declaration of declaration "X x;", cxxRecordDecl(hasName("X")) matches the declaration of
X, while varDecl(hasType(cxxRecordDecl(hasName("X")))) matches the X, while varDecl(hasType(cxxRecordDecl(hasName("X")))) matches the
declaration of x. declaration of x.
Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X"))))) Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X")))))
and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X"))))) and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))
and friend class X (matcher = friendDecl(hasType("X"))
class X {}; class X {};
void y(X &amp;x) { x; X z; } void y(X &amp;x) { x; X z; }
class Y { friend class X; };
Usable as: Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;, Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt; Usable as: Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;, Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt;
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;</td><td class="name" onclick="toggle('hasType0')"><a name="hasType0Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;</td><td class="name" onclick="toggle('hasType0')"><a name="hasType0Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasType0"><pre>Matches if the expression's or declaration's type matches a type <tr><td colspan="4" class="doc" id="hasType0"><pre>Matches if the expression's or declaration's type matches a type
matcher. matcher.
Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X"))))) Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X")))))
and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X"))))) and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))
and U (matcher = typedefDecl(hasType(asString("int"))) and U (matcher = typedefDecl(hasType(asString("int")))
and friend class X (matcher = friendDecl(hasType("X"))
class X {}; class X {};
void y(X &amp;x) { x; X z; } void y(X &amp;x) { x; X z; }
typedef int U; typedef int U;
class Y { friend class X; };
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;</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>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;</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>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="ignoringImpCasts0"><pre>Matches expressions that match InnerMatcher after any implicit casts <tr><td colspan="4" class="doc" id="ignoringImpCasts0"><pre>Matches expressions that match InnerMatcher after any implicit casts
are stripped off. are stripped off.
Parentheses and explicit casts are not discarded. Parentheses and explicit casts are not discarded.
▲ Show 20 Lines • Show All 129 Lines • ▼ Show 20 Lines
Example: Example:
forStmt(hasLoopInit(declStmt())) forStmt(hasLoopInit(declStmt()))
matches 'int x = 0' in matches 'int x = 0' in
for (int x = 0; x &lt; N; ++x) { } for (int x = 0; x &lt; N; ++x) { }
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1FriendDecl.html">FriendDecl</a>&gt;</td><td class="name" onclick="toggle('hasType5')"><a name="hasType5Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasType5"><pre>Overloaded to match the declaration of the expression's or value
declaration's type.
In case of a value declaration (for example a variable declaration),
this resolves one layer of indirection. For example, in the value
declaration "X x;", cxxRecordDecl(hasName("X")) matches the declaration of
X, while varDecl(hasType(cxxRecordDecl(hasName("X")))) matches the
declaration of x.
Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X")))))
and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))
and friend class X (matcher = friendDecl(hasType("X"))
class X {};
void y(X &amp;x) { x; X z; }
class Y { friend class X; };
Usable as: Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;, Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt;
</pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1FriendDecl.html">FriendDecl</a>&gt;</td><td class="name" onclick="toggle('hasType1')"><a name="hasType1Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasType1"><pre>Matches if the expression's or declaration's type matches a type
matcher.
Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X")))))
and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))
and U (matcher = typedefDecl(hasType(asString("int")))
and friend class X (matcher = friendDecl(hasType("X"))
class X {};
void y(X &amp;x) { x; X z; }
typedef int U;
class Y { friend class X; };
</pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>&gt;</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>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1FunctionDecl.html">FunctionDecl</a>&gt;</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>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasAnyParameter0"><pre>Matches any parameter of a function or an ObjC method declaration or a <tr><td colspan="4" class="doc" id="hasAnyParameter0"><pre>Matches any parameter of a function or an ObjC method declaration or a
block. block.
Does not match the 'this' parameter of a method. Does not match the 'this' parameter of a method.
Given Given
class X { void f(int x, int y, int z) {} }; class X { void f(int x, int y, int z) {} };
▲ Show 20 Lines • Show All 1,020 Lines • ▼ Show 20 Lines
cxxRecordDecl(hasName("::A"), cxxRecordDecl(hasName("::A"),
findAll(cxxRecordDecl(isDefinition()).bind("m"))) findAll(cxxRecordDecl(isDefinition()).bind("m")))
will generate results for A, B and C. will generate results for A, B and C.
Usable as: Any Matcher Usable as: Any Matcher
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefNameDecl.html">TypedefNameDecl</a>&gt;</td><td class="name" onclick="toggle('hasType1')"><a name="hasType1Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1QualType.html">QualType</a>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefNameDecl.html">TypedefNameDecl</a>&gt;</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_1QualType.html">QualType</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasType1"><pre>Matches if the expression's or declaration's type matches a type <tr><td colspan="4" class="doc" id="hasType2"><pre>Matches if the expression's or declaration's type matches a type
matcher. matcher.
Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X"))))) Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X")))))
and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X"))))) and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))
and U (matcher = typedefDecl(hasType(asString("int"))) and U (matcher = typedefDecl(hasType(asString("int")))
and friend class X (matcher = friendDecl(hasType("X"))
class X {}; class X {};
void y(X &amp;x) { x; X z; } void y(X &amp;x) { x; X z; }
typedef int U; typedef int U;
class Y { friend class X; };
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>&gt;</td><td class="name" onclick="toggle('hasDeclaration1')"><a name="hasDeclaration1Anchor">hasDeclaration</a></td><td>const Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1TypedefType.html">TypedefType</a>&gt;</td><td class="name" onclick="toggle('hasDeclaration1')"><a name="hasDeclaration1Anchor">hasDeclaration</a></td><td>const Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasDeclaration1"><pre>Matches a node if the declaration associated with that node <tr><td colspan="4" class="doc" id="hasDeclaration1"><pre>Matches a node if the declaration associated with that node
matches the given matcher. matches the given matcher.
The associated declaration is: The associated declaration is:
▲ Show 20 Lines • Show All 106 Lines • ▼ Show 20 Lines
Given Given
namespace X { int a; void b(); } namespace X { int a; void b(); }
using X::a; using X::a;
using X::b; using X::b;
usingDecl(hasAnyUsingShadowDecl(hasTargetDecl(functionDecl()))) usingDecl(hasAnyUsingShadowDecl(hasTargetDecl(functionDecl())))
matches using X::b but not using X::a </pre></td></tr> matches using X::b but not using X::a </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt;</td><td class="name" onclick="toggle('hasType4')"><a name="hasType4Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt;</td><td class="name" onclick="toggle('hasType6')"><a name="hasType6Anchor">hasType</a></td><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Decl.html">Decl</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasType4"><pre>Overloaded to match the declaration of the expression's or value <tr><td colspan="4" class="doc" id="hasType6"><pre>Overloaded to match the declaration of the expression's or value
declaration's type. declaration's type.
In case of a value declaration (for example a variable declaration), In case of a value declaration (for example a variable declaration),
this resolves one layer of indirection. For example, in the value this resolves one layer of indirection. For example, in the value
declaration "X x;", cxxRecordDecl(hasName("X")) matches the declaration of declaration "X x;", cxxRecordDecl(hasName("X")) matches the declaration of
X, while varDecl(hasType(cxxRecordDecl(hasName("X")))) matches the X, while varDecl(hasType(cxxRecordDecl(hasName("X")))) matches the
declaration of x. declaration of x.
Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X"))))) Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X")))))
and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X"))))) and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))
and friend class X (matcher = friendDecl(hasType("X"))
class X {}; class X {};
void y(X &amp;x) { x; X z; } void y(X &amp;x) { x; X z; }
class Y { friend class X; };
Usable as: Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;, Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt; Usable as: Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1Expr.html">Expr</a>&gt;, Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt;
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt;</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_1QualType.html">QualType</a>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1ValueDecl.html">ValueDecl</a>&gt;</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_1QualType.html">QualType</a>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasType2"><pre>Matches if the expression's or declaration's type matches a type <tr><td colspan="4" class="doc" id="hasType3"><pre>Matches if the expression's or declaration's type matches a type
matcher. matcher.
Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X"))))) Example matches x (matcher = expr(hasType(cxxRecordDecl(hasName("X")))))
and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X"))))) and z (matcher = varDecl(hasType(cxxRecordDecl(hasName("X")))))
and U (matcher = typedefDecl(hasType(asString("int"))) and U (matcher = typedefDecl(hasType(asString("int")))
and friend class X (matcher = friendDecl(hasType("X"))
class X {}; class X {};
void y(X &amp;x) { x; X z; } void y(X &amp;x) { x; X z; }
typedef int U; typedef int U;
class Y { friend class X; };
</pre></td></tr> </pre></td></tr>
<tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>&gt;</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>&gt; InnerMatcher</td></tr> <tr><td>Matcher&lt;<a href="http://clang.llvm.org/doxygen/classclang_1_1VarDecl.html">VarDecl</a>&gt;</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>&gt; InnerMatcher</td></tr>
<tr><td colspan="4" class="doc" id="hasInitializer0"><pre>Matches a variable declaration that has an initializer expression <tr><td colspan="4" class="doc" id="hasInitializer0"><pre>Matches a variable declaration that has an initializer expression
that matches the given matcher. that matches the given matcher.
Example matches x (matcher = varDecl(hasInitializer(callExpr()))) Example matches x (matcher = varDecl(hasInitializer(callExpr())))
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

clang/include/clang/ASTMatchers/ASTMatchers.h

Show First 20 Lines • Show All 960 Lines • ▼ Show 20 Lines
/// matches the implicit instantiation of C in C<42>. /// matches the implicit instantiation of C in C<42>.
AST_MATCHER_P(TemplateArgument, equalsIntegralValue, AST_MATCHER_P(TemplateArgument, equalsIntegralValue,
std::string, Value) { std::string, Value) {
if (Node.getKind() != TemplateArgument::Integral) if (Node.getKind() != TemplateArgument::Integral)
return false; return false;
return Node.getAsIntegral().toString(10) == Value; return Node.getAsIntegral().toString(10) == Value;
} }
/// Matches an Objective-C autorelease pool statement.
///
/// Given
/// \code
/// @autoreleasepool {
/// int x = 0;
/// }
/// \endcode
/// autoreleasePoolStmt(stmt()) matches the declaration of "x"
/// inside the autorelease pool.
extern const internal::VariadicDynCastAllOfMatcher<Stmt,
ObjCAutoreleasePoolStmt> autoreleasePoolStmt;
/// Matches any value declaration. /// Matches any value declaration.
/// ///
/// Example matches A, B, C and F /// Example matches A, B, C and F
/// \code /// \code
/// enum X { A, B, C }; /// enum X { A, B, C };
/// void F(); /// void F();
/// \endcode /// \endcode
extern const internal::VariadicDynCastAllOfMatcher<Decl, ValueDecl> valueDecl; extern const internal::VariadicDynCastAllOfMatcher<Decl, ValueDecl> valueDecl;
▲ Show 20 Lines • Show All 991 Lines • Show Last 20 Lines

clang/lib/ASTMatchers/ASTMatchersInternal.cpp

Show First 20 Lines • Show All 542 Lines • ▼ Show 20 Lines if (UseUnqualifiedMatch) {
assert(matchesNodeUnqualified(Node) == matchesNodeFullFast(Node)); assert(matchesNodeUnqualified(Node) == matchesNodeFullFast(Node));
return matchesNodeUnqualified(Node); return matchesNodeUnqualified(Node);
} }
return matchesNodeFullFast(Node); return matchesNodeFullFast(Node);
} }
} // end namespace internal } // end namespace internal
const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAutoreleasePoolStmt>
autoreleasePoolStmt;
const internal::VariadicDynCastAllOfMatcher<Decl, TranslationUnitDecl> const internal::VariadicDynCastAllOfMatcher<Decl, TranslationUnitDecl>
translationUnitDecl; translationUnitDecl;
const internal::VariadicDynCastAllOfMatcher<Decl, TypedefDecl> typedefDecl; const internal::VariadicDynCastAllOfMatcher<Decl, TypedefDecl> typedefDecl;
const internal::VariadicDynCastAllOfMatcher<Decl, TypedefNameDecl> const internal::VariadicDynCastAllOfMatcher<Decl, TypedefNameDecl>
typedefNameDecl; typedefNameDecl;
const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasDecl> typeAliasDecl; const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasDecl> typeAliasDecl;
const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasTemplateDecl> const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasTemplateDecl>
typeAliasTemplateDecl; typeAliasTemplateDecl;
▲ Show 20 Lines • Show All 275 Lines • Show Last 20 Lines

clang/lib/ASTMatchers/Dynamic/Registry.cpp

Show First 20 Lines • Show All 128 Lines • ▼ Show 20 LinesRegistryMaps::RegistryMaps() {
REGISTER_MATCHER(argumentCountIs); REGISTER_MATCHER(argumentCountIs);
REGISTER_MATCHER(arraySubscriptExpr); REGISTER_MATCHER(arraySubscriptExpr);
REGISTER_MATCHER(arrayType); REGISTER_MATCHER(arrayType);
REGISTER_MATCHER(asmStmt); REGISTER_MATCHER(asmStmt);
REGISTER_MATCHER(asString); REGISTER_MATCHER(asString);
REGISTER_MATCHER(atomicExpr); REGISTER_MATCHER(atomicExpr);
REGISTER_MATCHER(atomicType); REGISTER_MATCHER(atomicType);
REGISTER_MATCHER(autoType); REGISTER_MATCHER(autoType);
REGISTER_MATCHER(autoreleasePoolStmt)
REGISTER_MATCHER(binaryOperator); REGISTER_MATCHER(binaryOperator);
REGISTER_MATCHER(binaryConditionalOperator); REGISTER_MATCHER(binaryConditionalOperator);
REGISTER_MATCHER(blockDecl); REGISTER_MATCHER(blockDecl);
REGISTER_MATCHER(blockPointerType); REGISTER_MATCHER(blockPointerType);
REGISTER_MATCHER(booleanType); REGISTER_MATCHER(booleanType);
REGISTER_MATCHER(breakStmt); REGISTER_MATCHER(breakStmt);
REGISTER_MATCHER(builtinType); REGISTER_MATCHER(builtinType);
REGISTER_MATCHER(callExpr); REGISTER_MATCHER(callExpr);
▲ Show 20 Lines • Show All 506 Lines • Show Last 20 Lines

clang/unittests/ASTMatchers/ASTMatchersNodeTest.cpp

Show First 20 Lines • Show All 991 Lines • ▼ Show 20 Lines
EXPECT_TRUE(matchesObjC( EXPECT_TRUE(matchesObjC(
ObjCString, ObjCString,
objcCatchStmt())); objcCatchStmt()));
EXPECT_TRUE(matchesObjC( EXPECT_TRUE(matchesObjC(
ObjCString, ObjCString,
objcFinallyStmt())); objcFinallyStmt()));
} }
TEST(ObjCAutoreleaseMatcher, AutoreleasePool) {
std::string ObjCString =
"void f() {"
"@autoreleasepool {"
" int x = 1;"
"}"
"}";
EXPECT_TRUE(matchesObjC(ObjCString, autoreleasePoolStmt()));
std::string ObjCStringNoPool = "void f() { int x = 1; }";
EXPECT_FALSE(matchesObjC(ObjCStringNoPool, autoreleasePoolStmt()));
}
} // namespace ast_matchers } // namespace ast_matchers
} // namespace clang } // namespace clang
Context not available.