ziqingluo-90 created this revision. ziqingluo-90 added reviewers: NoQ, njames93, aaron.ballman, klimek, t-rasmud, usama54321, LegalizeAdulthood. ziqingluo-90 added a project: clang. Herald added a project: All. ziqingluo-90 requested review of this revision. Herald added a subscriber: cfe-commits.
For an Obj-C message expression `[o m]`, the adding matcher will match the declaration of the method `m`. This matcher is the Obj-C counterpart of the existing `callee` ASTMatcher which matches function/method declarations for C/C++ calls. So I think this matcher is general enough to be added to the `ASTMatcher.h`. Repository: rG LLVM Github Monorepo https://reviews.llvm.org/D129398 Files: clang/docs/LibASTMatchersReference.html clang/include/clang/ASTMatchers/ASTMatchers.h clang/lib/ASTMatchers/Dynamic/Registry.cpp clang/unittests/ASTMatchers/ASTMatchersNodeTest.cpp
Index: clang/unittests/ASTMatchers/ASTMatchersNodeTest.cpp =================================================================== --- clang/unittests/ASTMatchers/ASTMatchersNodeTest.cpp +++ clang/unittests/ASTMatchers/ASTMatchersNodeTest.cpp @@ -2352,6 +2352,37 @@ argumentCountIs(0)))); } +TEST(ASTMatchersTestObjC, ObjCMessageCallee) { + // Will NOT match function callee: + EXPECT_TRUE(notMatchesObjC("void f() {" + " f(); " + "}", + objcMessageExpr(objcMessageCallee(hasName("f"))))); + + StringRef Objc1String = "@interface I " + " - (void)instanceMethod;" + " + (void)classMethod;" + " + (void)uncalledMethod;" + "@end\n" + "int main(void) {\n" + " [I classMethod];" + " I *i = [[I alloc] init];" + " [i instanceMethod];" + "}"; + // Should find the two method declarations through the message expressions: + EXPECT_TRUE( + matchesObjC(Objc1String, objcMessageExpr(objcMessageCallee( + objcMethodDecl(hasName("classMethod")))))); + EXPECT_TRUE(matchesObjC(Objc1String, + objcMessageExpr(objcMessageCallee( + objcMethodDecl(hasName("instanceMethod")))))); + // Will NOT match a method declaration through `objcMessageCallee` if there is + // no such message expression: + EXPECT_FALSE(matchesObjC(Objc1String, + objcMessageExpr(objcMessageCallee( + objcMethodDecl(hasName("uncalledMethod")))))); +} + TEST(ASTMatchersTestObjC, ObjCStringLiteral) { StringRef Objc1String = "@interface NSObject " Index: clang/lib/ASTMatchers/Dynamic/Registry.cpp =================================================================== --- clang/lib/ASTMatchers/Dynamic/Registry.cpp +++ clang/lib/ASTMatchers/Dynamic/Registry.cpp @@ -501,6 +501,7 @@ REGISTER_MATCHER(objcIvarDecl); REGISTER_MATCHER(objcIvarRefExpr); REGISTER_MATCHER(objcMessageExpr); + REGISTER_MATCHER(objcMessageCallee); REGISTER_MATCHER(objcMethodDecl); REGISTER_MATCHER(objcObjectPointerType); REGISTER_MATCHER(objcPropertyDecl); Index: clang/include/clang/ASTMatchers/ASTMatchers.h =================================================================== --- clang/include/clang/ASTMatchers/ASTMatchers.h +++ clang/include/clang/ASTMatchers/ASTMatchers.h @@ -3838,6 +3838,25 @@ InnerMatcher.matches(*ExprNode, Finder, Builder)); } +/// matches if ObjCMessageExpr's callee declaration matches +/// +/// Given +/// \code +/// @interface I: NSObject +/// +(void)foo; +/// @end +/// ... +/// [I foo] +/// \endcode +/// The example above matches \code [I foo] \endcode with +/// objcMessageExpr(objcMessageCallee(objcMethodDecl(hasName("foo")))) +AST_MATCHER_P(ObjCMessageExpr, objcMessageCallee, + internal::Matcher<ObjCMethodDecl>, InnerMatcher) { + const ObjCMethodDecl *msgDecl = Node.getMethodDecl(); + return (msgDecl != nullptr && + InnerMatcher.matches(*msgDecl, Finder, Builder)); +} + /// Matches if the call expression's callee's declaration matches the /// given matcher. /// Index: clang/docs/LibASTMatchersReference.html =================================================================== --- clang/docs/LibASTMatchersReference.html +++ clang/docs/LibASTMatchersReference.html @@ -8867,6 +8867,20 @@ </pre></td></tr> +<tr><td>Matcher<<a href="https://clang.llvm.org/doxygen/classclang_1_1ObjCMessageExpr.html">ObjCMessageExpr</a>></td><td class="name" onclick="toggle('objcMessageCallee0')"><a name="objcMessageCallee0Anchor">objcMessageCallee</a></td><td>Matcher<<a href="https://clang.llvm.org/doxygen/classclang_1_1ObjCMethodDecl.html">ObjCMethodDecl</a>> InnerMatcher</td></tr> +<tr><td colspan="4" class="doc" id="objcMessageCallee0"><pre>matches if ObjCMessageExpr's callee declaration matches + +Given + @interface I: NSObject + +(void)foo; + @end + ... + [I foo] +The example above matches [I foo] with +objcMessageExpr(objcMessageCallee(objcMethodDecl(hasName("foo")))) +</pre></td></tr> + + <tr><td>Matcher<<a href="https://clang.llvm.org/doxygen/classclang_1_1ObjCMethodDecl.html">ObjCMethodDecl</a>></td><td class="name" onclick="toggle('hasAnyParameter1')"><a name="hasAnyParameter1Anchor">hasAnyParameter</a></td><td>Matcher<<a href="https://clang.llvm.org/doxygen/classclang_1_1ParmVarDecl.html">ParmVarDecl</a>> InnerMatcher</td></tr> <tr><td colspan="4" class="doc" id="hasAnyParameter1"><pre>Matches any parameter of a function or an ObjC method declaration or a block.
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits