blob: dad9499ad4baa78c5d81b0ae16266730f23d86ed [file] [log] [blame]
Manuel Klimek24db0f02013-05-14 09:13:00 +00001//===- unittest/ASTMatchers/Dynamic/RegistryTest.cpp - Registry unit tests -===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===-----------------------------------------------------------------------===//
9
10#include <vector>
11
12#include "../ASTMatchersTest.h"
13#include "clang/ASTMatchers/Dynamic/Registry.h"
14#include "gtest/gtest.h"
15
16namespace clang {
17namespace ast_matchers {
18namespace dynamic {
19namespace {
20
21using ast_matchers::internal::Matcher;
22
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000023class RegistryTest : public ::testing::Test {
24public:
25 std::vector<ParserValue> Args() { return std::vector<ParserValue>(); }
26 std::vector<ParserValue> Args(const VariantValue &Arg1) {
27 std::vector<ParserValue> Out(1);
28 Out[0].Value = Arg1;
29 return Out;
30 }
31 std::vector<ParserValue> Args(const VariantValue &Arg1,
32 const VariantValue &Arg2) {
33 std::vector<ParserValue> Out(2);
34 Out[0].Value = Arg1;
35 Out[1].Value = Arg2;
36 return Out;
37 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000038
Samuel Benzaquen0239b692013-08-13 14:54:51 +000039 VariantMatcher constructMatcher(StringRef MatcherName,
40 Diagnostics *Error = NULL) {
Samuel Benzaquen79656e12013-07-15 19:25:06 +000041 Diagnostics DummyError;
42 if (!Error) Error = &DummyError;
Samuel Benzaquen0239b692013-08-13 14:54:51 +000043 const VariantMatcher Out =
Samuel Benzaquen79656e12013-07-15 19:25:06 +000044 Registry::constructMatcher(MatcherName, SourceRange(), Args(), Error);
Samuel Benzaquenb8372482013-07-19 20:02:35 +000045 EXPECT_EQ("", DummyError.toStringFull());
Samuel Benzaquen79656e12013-07-15 19:25:06 +000046 return Out;
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000047 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000048
Samuel Benzaquen0239b692013-08-13 14:54:51 +000049 VariantMatcher constructMatcher(StringRef MatcherName,
50 const VariantValue &Arg1,
51 Diagnostics *Error = NULL) {
Samuel Benzaquen79656e12013-07-15 19:25:06 +000052 Diagnostics DummyError;
53 if (!Error) Error = &DummyError;
Samuel Benzaquen0239b692013-08-13 14:54:51 +000054 const VariantMatcher Out = Registry::constructMatcher(
Samuel Benzaquen79656e12013-07-15 19:25:06 +000055 MatcherName, SourceRange(), Args(Arg1), Error);
Samuel Benzaquenb8372482013-07-19 20:02:35 +000056 EXPECT_EQ("", DummyError.toStringFull());
Samuel Benzaquen79656e12013-07-15 19:25:06 +000057 return Out;
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000058 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000059
Samuel Benzaquen0239b692013-08-13 14:54:51 +000060 VariantMatcher constructMatcher(StringRef MatcherName,
61 const VariantValue &Arg1,
62 const VariantValue &Arg2,
63 Diagnostics *Error = NULL) {
Samuel Benzaquen79656e12013-07-15 19:25:06 +000064 Diagnostics DummyError;
65 if (!Error) Error = &DummyError;
Samuel Benzaquen0239b692013-08-13 14:54:51 +000066 const VariantMatcher Out = Registry::constructMatcher(
Samuel Benzaquen79656e12013-07-15 19:25:06 +000067 MatcherName, SourceRange(), Args(Arg1, Arg2), Error);
Samuel Benzaquenb8372482013-07-19 20:02:35 +000068 EXPECT_EQ("", DummyError.toStringFull());
Samuel Benzaquen79656e12013-07-15 19:25:06 +000069 return Out;
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000070 }
71};
72
73TEST_F(RegistryTest, CanConstructNoArgs) {
Samuel Benzaquen79656e12013-07-15 19:25:06 +000074 Matcher<Stmt> IsArrowValue = constructMatcher(
75 "memberExpr", constructMatcher("isArrow")).getTypedMatcher<Stmt>();
76 Matcher<Stmt> BoolValue =
77 constructMatcher("boolLiteral").getTypedMatcher<Stmt>();
Manuel Klimek24db0f02013-05-14 09:13:00 +000078
79 const std::string ClassSnippet = "struct Foo { int x; };\n"
80 "Foo *foo = new Foo;\n"
81 "int i = foo->x;\n";
82 const std::string BoolSnippet = "bool Foo = true;\n";
83
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000084 EXPECT_TRUE(matches(ClassSnippet, IsArrowValue));
85 EXPECT_TRUE(matches(BoolSnippet, BoolValue));
86 EXPECT_FALSE(matches(ClassSnippet, BoolValue));
87 EXPECT_FALSE(matches(BoolSnippet, IsArrowValue));
Manuel Klimek24db0f02013-05-14 09:13:00 +000088}
89
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000090TEST_F(RegistryTest, ConstructWithSimpleArgs) {
Samuel Benzaquen79656e12013-07-15 19:25:06 +000091 Matcher<Decl> Value = constructMatcher(
92 "namedDecl", constructMatcher("hasName", std::string("X")))
93 .getTypedMatcher<Decl>();
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000094 EXPECT_TRUE(matches("class X {};", Value));
95 EXPECT_FALSE(matches("int x;", Value));
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000096
Samuel Benzaquen79656e12013-07-15 19:25:06 +000097 Value = functionDecl(constructMatcher("parameterCountIs", 2)
98 .getTypedMatcher<FunctionDecl>());
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000099 EXPECT_TRUE(matches("void foo(int,int);", Value));
100 EXPECT_FALSE(matches("void foo(int);", Value));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000101}
102
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000103TEST_F(RegistryTest, ConstructWithMatcherArgs) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000104 Matcher<Decl> HasInitializerSimple = constructMatcher(
105 "varDecl", constructMatcher("hasInitializer", constructMatcher("stmt")))
106 .getTypedMatcher<Decl>();
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000107 Matcher<Decl> HasInitializerComplex = constructMatcher(
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000108 "varDecl",
109 constructMatcher("hasInitializer", constructMatcher("callExpr")))
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000110 .getTypedMatcher<Decl>();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000111
112 std::string code = "int i;";
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000113 EXPECT_FALSE(matches(code, HasInitializerSimple));
114 EXPECT_FALSE(matches(code, HasInitializerComplex));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000115
116 code = "int i = 1;";
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000117 EXPECT_TRUE(matches(code, HasInitializerSimple));
118 EXPECT_FALSE(matches(code, HasInitializerComplex));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000119
120 code = "int y(); int i = y();";
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000121 EXPECT_TRUE(matches(code, HasInitializerSimple));
122 EXPECT_TRUE(matches(code, HasInitializerComplex));
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000123
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000124 Matcher<Decl> HasParameter =
125 functionDecl(constructMatcher(
126 "hasParameter", 1, constructMatcher("hasName", std::string("x")))
127 .getTypedMatcher<FunctionDecl>());
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000128 EXPECT_TRUE(matches("void f(int a, int x);", HasParameter));
129 EXPECT_FALSE(matches("void f(int x, int a);", HasParameter));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000130}
131
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +0000132TEST_F(RegistryTest, OverloadedMatchers) {
133 Matcher<Stmt> CallExpr0 = constructMatcher(
134 "callExpr",
135 constructMatcher("callee", constructMatcher("memberExpr",
136 constructMatcher("isArrow"))))
137 .getTypedMatcher<Stmt>();
138
139 Matcher<Stmt> CallExpr1 = constructMatcher(
140 "callExpr",
141 constructMatcher(
142 "callee",
143 constructMatcher("methodDecl",
144 constructMatcher("hasName", std::string("x")))))
145 .getTypedMatcher<Stmt>();
146
147 std::string Code = "class Y { public: void x(); }; void z() { Y y; y.x(); }";
148 EXPECT_FALSE(matches(Code, CallExpr0));
149 EXPECT_TRUE(matches(Code, CallExpr1));
150
151 Code = "class Z { public: void z() { this->z(); } };";
152 EXPECT_TRUE(matches(Code, CallExpr0));
153 EXPECT_FALSE(matches(Code, CallExpr1));
154}
155
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000156TEST_F(RegistryTest, PolymorphicMatchers) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000157 const VariantMatcher IsDefinition = constructMatcher("isDefinition");
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000158 Matcher<Decl> Var =
159 constructMatcher("varDecl", IsDefinition).getTypedMatcher<Decl>();
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000160 Matcher<Decl> Class =
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000161 constructMatcher("recordDecl", IsDefinition).getTypedMatcher<Decl>();
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000162 Matcher<Decl> Func =
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000163 constructMatcher("functionDecl", IsDefinition).getTypedMatcher<Decl>();
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000164 EXPECT_TRUE(matches("int a;", Var));
165 EXPECT_FALSE(matches("extern int a;", Var));
166 EXPECT_TRUE(matches("class A {};", Class));
167 EXPECT_FALSE(matches("class A;", Class));
168 EXPECT_TRUE(matches("void f(){};", Func));
169 EXPECT_FALSE(matches("void f();", Func));
170
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000171 Matcher<Decl> Anything = constructMatcher("anything").getTypedMatcher<Decl>();
Samuel Benzaquen68cd3962013-08-29 15:39:26 +0000172 Matcher<Decl> RecordDecl = constructMatcher(
173 "recordDecl", constructMatcher("hasName", std::string("Foo")),
174 VariantMatcher::SingleMatcher(Anything)).getTypedMatcher<Decl>();
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000175
Samuel Benzaquen68cd3962013-08-29 15:39:26 +0000176 EXPECT_TRUE(matches("int Foo;", Anything));
177 EXPECT_TRUE(matches("class Foo {};", Anything));
178 EXPECT_TRUE(matches("void Foo(){};", Anything));
179 EXPECT_FALSE(matches("int Foo;", RecordDecl));
180 EXPECT_TRUE(matches("class Foo {};", RecordDecl));
181 EXPECT_FALSE(matches("void Foo(){};", RecordDecl));
Samuel Benzaquen464c1cb2013-11-18 14:53:42 +0000182
183 Matcher<Stmt> ConstructExpr = constructMatcher(
184 "constructExpr",
185 constructMatcher(
186 "hasDeclaration",
187 constructMatcher(
188 "methodDecl",
189 constructMatcher(
190 "ofClass", constructMatcher("hasName", std::string("Foo"))))))
191 .getTypedMatcher<Stmt>();
192 EXPECT_FALSE(matches("class Foo { public: Foo(); };", ConstructExpr));
193 EXPECT_TRUE(
194 matches("class Foo { public: Foo(); }; Foo foo = Foo();", ConstructExpr));
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000195}
196
Samuel Benzaquen21b3da02013-07-17 15:11:30 +0000197TEST_F(RegistryTest, TemplateArgument) {
198 Matcher<Decl> HasTemplateArgument = constructMatcher(
199 "classTemplateSpecializationDecl",
200 constructMatcher(
201 "hasAnyTemplateArgument",
202 constructMatcher("refersToType",
203 constructMatcher("asString", std::string("int")))))
204 .getTypedMatcher<Decl>();
205 EXPECT_TRUE(matches("template<typename T> class A {}; A<int> a;",
206 HasTemplateArgument));
207 EXPECT_FALSE(matches("template<typename T> class A {}; A<char> a;",
208 HasTemplateArgument));
209}
210
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000211TEST_F(RegistryTest, TypeTraversal) {
212 Matcher<Type> M = constructMatcher(
213 "pointerType",
214 constructMatcher("pointee", constructMatcher("isConstQualified"),
215 constructMatcher("isInteger"))).getTypedMatcher<Type>();
216 EXPECT_FALSE(matches("int *a;", M));
217 EXPECT_TRUE(matches("int const *b;", M));
218
219 M = constructMatcher(
220 "arrayType",
221 constructMatcher("hasElementType", constructMatcher("builtinType")))
222 .getTypedMatcher<Type>();
223 EXPECT_FALSE(matches("struct A{}; A a[7];;", M));
224 EXPECT_TRUE(matches("int b[7];", M));
225}
226
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000227TEST_F(RegistryTest, CXXCtorInitializer) {
228 Matcher<Decl> CtorDecl = constructMatcher(
229 "constructorDecl",
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000230 constructMatcher(
231 "hasAnyConstructorInitializer",
232 constructMatcher("forField",
233 constructMatcher("hasName", std::string("foo")))))
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000234 .getTypedMatcher<Decl>();
235 EXPECT_TRUE(matches("struct Foo { Foo() : foo(1) {} int foo; };", CtorDecl));
236 EXPECT_FALSE(matches("struct Foo { Foo() {} int foo; };", CtorDecl));
237 EXPECT_FALSE(matches("struct Foo { Foo() : bar(1) {} int bar; };", CtorDecl));
238}
239
Samuel Benzaquen7f8a5b12013-07-24 14:48:01 +0000240TEST_F(RegistryTest, Adaptative) {
241 Matcher<Decl> D = constructMatcher(
242 "recordDecl",
243 constructMatcher(
244 "has",
245 constructMatcher("recordDecl",
246 constructMatcher("hasName", std::string("X")))))
247 .getTypedMatcher<Decl>();
248 EXPECT_TRUE(matches("class X {};", D));
249 EXPECT_TRUE(matches("class Y { class X {}; };", D));
250 EXPECT_FALSE(matches("class Y { class Z {}; };", D));
251
252 Matcher<Stmt> S = constructMatcher(
253 "forStmt",
254 constructMatcher(
255 "hasDescendant",
256 constructMatcher("varDecl",
257 constructMatcher("hasName", std::string("X")))))
258 .getTypedMatcher<Stmt>();
259 EXPECT_TRUE(matches("void foo() { for(int X;;); }", S));
260 EXPECT_TRUE(matches("void foo() { for(;;) { int X; } }", S));
261 EXPECT_FALSE(matches("void foo() { for(;;); }", S));
262 EXPECT_FALSE(matches("void foo() { if (int X = 0){} }", S));
263
264 S = constructMatcher(
265 "compoundStmt", constructMatcher("hasParent", constructMatcher("ifStmt")))
266 .getTypedMatcher<Stmt>();
267 EXPECT_TRUE(matches("void foo() { if (true) { int x = 42; } }", S));
268 EXPECT_FALSE(matches("void foo() { if (true) return; }", S));
269}
270
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000271TEST_F(RegistryTest, VariadicOp) {
272 Matcher<Decl> D = constructMatcher(
Samuel Benzaquen68cd3962013-08-29 15:39:26 +0000273 "anyOf",
274 constructMatcher("recordDecl",
275 constructMatcher("hasName", std::string("Foo"))),
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000276 constructMatcher("namedDecl",
277 constructMatcher("hasName", std::string("foo"))))
278 .getTypedMatcher<Decl>();
279
280 EXPECT_TRUE(matches("void foo(){}", D));
281 EXPECT_TRUE(matches("struct Foo{};", D));
282 EXPECT_FALSE(matches("int i = 0;", D));
283
284 D = constructMatcher(
285 "allOf", constructMatcher("recordDecl"),
286 constructMatcher(
287 "namedDecl",
288 constructMatcher("anyOf",
289 constructMatcher("hasName", std::string("Foo")),
290 constructMatcher("hasName", std::string("Bar")))))
291 .getTypedMatcher<Decl>();
292
293 EXPECT_FALSE(matches("void foo(){}", D));
294 EXPECT_TRUE(matches("struct Foo{};", D));
295 EXPECT_FALSE(matches("int i = 0;", D));
296 EXPECT_TRUE(matches("class Bar{};", D));
297 EXPECT_FALSE(matches("class OtherBar{};", D));
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000298
299 D = constructMatcher(
300 "recordDecl",
301 constructMatcher(
302 "unless",
303 constructMatcher("namedDecl",
304 constructMatcher("hasName", std::string("Bar")))))
305 .getTypedMatcher<Decl>();
306
307 EXPECT_FALSE(matches("class Bar{};", D));
308 EXPECT_TRUE(matches("class OtherBar{};", D));
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000309}
310
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000311TEST_F(RegistryTest, Errors) {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000312 // Incorrect argument count.
313 OwningPtr<Diagnostics> Error(new Diagnostics());
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000314 EXPECT_TRUE(constructMatcher("hasInitializer", Error.get()).isNull());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000315 EXPECT_EQ("Incorrect argument count. (Expected = 1) != (Actual = 0)",
Samuel Benzaquenb8372482013-07-19 20:02:35 +0000316 Error->toString());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000317 Error.reset(new Diagnostics());
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000318 EXPECT_TRUE(constructMatcher("isArrow", std::string(), Error.get()).isNull());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000319 EXPECT_EQ("Incorrect argument count. (Expected = 0) != (Actual = 1)",
Samuel Benzaquenb8372482013-07-19 20:02:35 +0000320 Error->toString());
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000321 Error.reset(new Diagnostics());
322 EXPECT_TRUE(constructMatcher("anyOf", Error.get()).isNull());
323 EXPECT_EQ("Incorrect argument count. (Expected = (2, )) != (Actual = 0)",
324 Error->toString());
325 Error.reset(new Diagnostics());
326 EXPECT_TRUE(constructMatcher("unless", std::string(), std::string(),
327 Error.get()).isNull());
328 EXPECT_EQ("Incorrect argument count. (Expected = (1, 1)) != (Actual = 2)",
329 Error->toString());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000330
331 // Bad argument type
332 Error.reset(new Diagnostics());
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000333 EXPECT_TRUE(constructMatcher("ofClass", std::string(), Error.get()).isNull());
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000334 EXPECT_EQ("Incorrect type for arg 1. (Expected = Matcher<CXXRecordDecl>) != "
335 "(Actual = String)",
Samuel Benzaquenb8372482013-07-19 20:02:35 +0000336 Error->toString());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000337 Error.reset(new Diagnostics());
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000338 EXPECT_TRUE(constructMatcher("recordDecl", constructMatcher("recordDecl"),
339 constructMatcher("parameterCountIs", 3),
340 Error.get()).isNull());
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000341 EXPECT_EQ("Incorrect type for arg 2. (Expected = Matcher<CXXRecordDecl>) != "
342 "(Actual = Matcher<FunctionDecl>)",
Samuel Benzaquenb8372482013-07-19 20:02:35 +0000343 Error->toString());
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000344
345 // Bad argument type with variadic.
346 Error.reset(new Diagnostics());
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000347 EXPECT_TRUE(constructMatcher("anyOf", std::string(), std::string(),
348 Error.get()).isNull());
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000349 EXPECT_EQ(
350 "Incorrect type for arg 1. (Expected = Matcher<>) != (Actual = String)",
351 Error->toString());
352 Error.reset(new Diagnostics());
353 EXPECT_TRUE(constructMatcher(
354 "recordDecl",
355 constructMatcher("allOf",
356 constructMatcher("isDerivedFrom", std::string("FOO")),
357 constructMatcher("isArrow")),
358 Error.get()).isNull());
359 EXPECT_EQ("Incorrect type for arg 1. "
360 "(Expected = Matcher<CXXRecordDecl>) != "
361 "(Actual = Matcher<CXXRecordDecl>&Matcher<MemberExpr>)",
362 Error->toString());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000363}
364
365} // end anonymous namespace
366} // end namespace dynamic
367} // end namespace ast_matchers
368} // end namespace clang