1 //===- unittest/ASTMatchers/Dynamic/ParserTest.cpp - Parser unit tests -===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===-------------------------------------------------------------------===//
8 
9 #include "../ASTMatchersTest.h"
10 #include "clang/ASTMatchers/Dynamic/Parser.h"
11 #include "clang/ASTMatchers/Dynamic/Registry.h"
12 #include "llvm/ADT/Optional.h"
13 #include "gtest/gtest.h"
14 #include <string>
15 #include <vector>
16 
17 namespace clang {
18 namespace ast_matchers {
19 namespace dynamic {
20 namespace {
21 
22 class MockSema : public Parser::Sema {
23 public:
24   ~MockSema() override {}
25 
26   uint64_t expectMatcher(StringRef MatcherName) {
27     // Optimizations on the matcher framework make simple matchers like
28     // 'stmt()' to be all the same matcher.
29     // Use a more complex expression to prevent that.
30     ast_matchers::internal::Matcher<Stmt> M = stmt(stmt(), stmt());
31     ExpectedMatchers.insert(std::make_pair(std::string(MatcherName), M));
32     return M.getID().second;
33   }
34 
35   void parse(StringRef Code) {
36     Diagnostics Error;
37     VariantValue Value;
38     Parser::parseExpression(Code, this, &Value, &Error);
39     Values.push_back(Value);
40     Errors.push_back(Error.toStringFull());
41   }
42 
43   llvm::Optional<MatcherCtor>
44   lookupMatcherCtor(StringRef MatcherName) override {
45     const ExpectedMatchersTy::value_type *Matcher =
46         &*ExpectedMatchers.find(std::string(MatcherName));
47     return reinterpret_cast<MatcherCtor>(Matcher);
48   }
49 
50   VariantMatcher actOnMatcherExpression(MatcherCtor Ctor,
51                                         SourceRange NameRange,
52                                         StringRef BindID,
53                                         ArrayRef<ParserValue> Args,
54                                         Diagnostics *Error) override {
55     const ExpectedMatchersTy::value_type *Matcher =
56         reinterpret_cast<const ExpectedMatchersTy::value_type *>(Ctor);
57     MatcherInfo ToStore = {Matcher->first, NameRange, Args,
58                            std::string(BindID)};
59     Matchers.push_back(ToStore);
60     return VariantMatcher::SingleMatcher(Matcher->second);
61   }
62 
63   struct MatcherInfo {
64     StringRef MatcherName;
65     SourceRange NameRange;
66     std::vector<ParserValue> Args;
67     std::string BoundID;
68   };
69 
70   std::vector<std::string> Errors;
71   std::vector<VariantValue> Values;
72   std::vector<MatcherInfo> Matchers;
73   typedef std::map<std::string, ast_matchers::internal::Matcher<Stmt> >
74   ExpectedMatchersTy;
75   ExpectedMatchersTy ExpectedMatchers;
76 };
77 
78 TEST(ParserTest, ParseBoolean) {
79   MockSema Sema;
80   Sema.parse("true");
81   Sema.parse("false");
82   EXPECT_EQ(2U, Sema.Values.size());
83   EXPECT_TRUE(Sema.Values[0].getBoolean());
84   EXPECT_FALSE(Sema.Values[1].getBoolean());
85 }
86 
87 TEST(ParserTest, ParseDouble) {
88   MockSema Sema;
89   Sema.parse("1.0");
90   Sema.parse("2.0f");
91   Sema.parse("34.56e-78");
92   Sema.parse("4.E+6");
93   Sema.parse("1");
94   EXPECT_EQ(5U, Sema.Values.size());
95   EXPECT_EQ(1.0, Sema.Values[0].getDouble());
96   EXPECT_EQ("1:1: Error parsing numeric literal: <2.0f>", Sema.Errors[1]);
97   EXPECT_EQ(34.56e-78, Sema.Values[2].getDouble());
98   EXPECT_EQ(4e+6, Sema.Values[3].getDouble());
99   EXPECT_FALSE(Sema.Values[4].isDouble());
100 }
101 
102 TEST(ParserTest, ParseUnsigned) {
103   MockSema Sema;
104   Sema.parse("0");
105   Sema.parse("123");
106   Sema.parse("0x1f");
107   Sema.parse("12345678901");
108   Sema.parse("1a1");
109   EXPECT_EQ(5U, Sema.Values.size());
110   EXPECT_EQ(0U, Sema.Values[0].getUnsigned());
111   EXPECT_EQ(123U, Sema.Values[1].getUnsigned());
112   EXPECT_EQ(31U, Sema.Values[2].getUnsigned());
113   EXPECT_EQ("1:1: Error parsing numeric literal: <12345678901>", Sema.Errors[3]);
114   EXPECT_EQ("1:1: Error parsing numeric literal: <1a1>", Sema.Errors[4]);
115 }
116 
117 TEST(ParserTest, ParseString) {
118   MockSema Sema;
119   Sema.parse("\"Foo\"");
120   Sema.parse("\"\"");
121   Sema.parse("\"Baz");
122   EXPECT_EQ(3ULL, Sema.Values.size());
123   EXPECT_EQ("Foo", Sema.Values[0].getString());
124   EXPECT_EQ("", Sema.Values[1].getString());
125   EXPECT_EQ("1:1: Error parsing string token: <\"Baz>", Sema.Errors[2]);
126 }
127 
128 bool matchesRange(SourceRange Range, unsigned StartLine,
129                   unsigned EndLine, unsigned StartColumn, unsigned EndColumn) {
130   EXPECT_EQ(StartLine, Range.Start.Line);
131   EXPECT_EQ(EndLine, Range.End.Line);
132   EXPECT_EQ(StartColumn, Range.Start.Column);
133   EXPECT_EQ(EndColumn, Range.End.Column);
134   return Range.Start.Line == StartLine && Range.End.Line == EndLine &&
135          Range.Start.Column == StartColumn && Range.End.Column == EndColumn;
136 }
137 
138 llvm::Optional<DynTypedMatcher> getSingleMatcher(const VariantValue &Value) {
139   llvm::Optional<DynTypedMatcher> Result =
140       Value.getMatcher().getSingleMatcher();
141   EXPECT_TRUE(Result.hasValue());
142   return Result;
143 }
144 
145 TEST(ParserTest, ParseMatcher) {
146   MockSema Sema;
147   const uint64_t ExpectedFoo = Sema.expectMatcher("Foo");
148   const uint64_t ExpectedBar = Sema.expectMatcher("Bar");
149   const uint64_t ExpectedBaz = Sema.expectMatcher("Baz");
150   Sema.parse(" Foo ( Bar ( 17), Baz( \n \"B A,Z\") ) .bind( \"Yo!\") ");
151   for (const auto &E : Sema.Errors) {
152     EXPECT_EQ("", E);
153   }
154 
155   EXPECT_NE(ExpectedFoo, ExpectedBar);
156   EXPECT_NE(ExpectedFoo, ExpectedBaz);
157   EXPECT_NE(ExpectedBar, ExpectedBaz);
158 
159   EXPECT_EQ(1ULL, Sema.Values.size());
160   EXPECT_EQ(ExpectedFoo, getSingleMatcher(Sema.Values[0])->getID().second);
161 
162   EXPECT_EQ(3ULL, Sema.Matchers.size());
163   const MockSema::MatcherInfo Bar = Sema.Matchers[0];
164   EXPECT_EQ("Bar", Bar.MatcherName);
165   EXPECT_TRUE(matchesRange(Bar.NameRange, 1, 1, 8, 17));
166   EXPECT_EQ(1ULL, Bar.Args.size());
167   EXPECT_EQ(17U, Bar.Args[0].Value.getUnsigned());
168 
169   const MockSema::MatcherInfo Baz = Sema.Matchers[1];
170   EXPECT_EQ("Baz", Baz.MatcherName);
171   EXPECT_TRUE(matchesRange(Baz.NameRange, 1, 2, 19, 10));
172   EXPECT_EQ(1ULL, Baz.Args.size());
173   EXPECT_EQ("B A,Z", Baz.Args[0].Value.getString());
174 
175   const MockSema::MatcherInfo Foo = Sema.Matchers[2];
176   EXPECT_EQ("Foo", Foo.MatcherName);
177   EXPECT_TRUE(matchesRange(Foo.NameRange, 1, 2, 2, 12));
178   EXPECT_EQ(2ULL, Foo.Args.size());
179   EXPECT_EQ(ExpectedBar, getSingleMatcher(Foo.Args[0].Value)->getID().second);
180   EXPECT_EQ(ExpectedBaz, getSingleMatcher(Foo.Args[1].Value)->getID().second);
181   EXPECT_EQ("Yo!", Foo.BoundID);
182 }
183 
184 TEST(ParserTest, ParseComment) {
185   MockSema Sema;
186   Sema.expectMatcher("Foo");
187   Sema.parse(" Foo() # Bar() ");
188   for (const auto &E : Sema.Errors) {
189     EXPECT_EQ("", E);
190   }
191 
192   EXPECT_EQ(1ULL, Sema.Matchers.size());
193 
194   Sema.parse("Foo(#) ");
195 
196   EXPECT_EQ("1:4: Error parsing matcher. Found end-of-code while looking for ')'.", Sema.Errors[1]);
197 }
198 
199 using ast_matchers::internal::Matcher;
200 
201 Parser::NamedValueMap getTestNamedValues() {
202   Parser::NamedValueMap Values;
203   Values["nameX"] = llvm::StringRef("x");
204   Values["hasParamA"] = VariantMatcher::SingleMatcher(
205       functionDecl(hasParameter(0, hasName("a"))));
206   return Values;
207 }
208 
209 TEST(ParserTest, FullParserTest) {
210   Diagnostics Error;
211 
212   StringRef Code =
213       "varDecl(hasInitializer(binaryOperator(hasLHS(integerLiteral()),"
214       "                                      hasOperatorName(\"+\"))))";
215   llvm::Optional<DynTypedMatcher> VarDecl(
216       Parser::parseMatcherExpression(Code, &Error));
217   EXPECT_EQ("", Error.toStringFull());
218   Matcher<Decl> M = VarDecl->unconditionalConvertTo<Decl>();
219   EXPECT_TRUE(matches("int x = 1 + false;", M));
220   EXPECT_FALSE(matches("int x = true + 1;", M));
221   EXPECT_FALSE(matches("int x = 1 - false;", M));
222   EXPECT_FALSE(matches("int x = true - 1;", M));
223 
224   Code = "implicitCastExpr(hasCastKind(\"CK_IntegralToBoolean\"))";
225   llvm::Optional<DynTypedMatcher> implicitIntBooleanCast(
226       Parser::parseMatcherExpression(Code, nullptr, nullptr, &Error));
227   EXPECT_EQ("", Error.toStringFull());
228   Matcher<Stmt> MCastStmt =
229       traverse(TK_AsIs, implicitIntBooleanCast->unconditionalConvertTo<Stmt>());
230   EXPECT_TRUE(matches("bool X = 1;", MCastStmt));
231   EXPECT_FALSE(matches("bool X = true;", MCastStmt));
232 
233   Code = "functionDecl(hasParameter(1, hasName(\"x\")))";
234   llvm::Optional<DynTypedMatcher> HasParameter(
235       Parser::parseMatcherExpression(Code, &Error));
236   EXPECT_EQ("", Error.toStringFull());
237   M = HasParameter->unconditionalConvertTo<Decl>();
238 
239   EXPECT_TRUE(matches("void f(int a, int x);", M));
240   EXPECT_FALSE(matches("void f(int x, int a);", M));
241 
242   // Test named values.
243   auto NamedValues = getTestNamedValues();
244 
245   Code = "functionDecl(hasParamA, hasParameter(1, hasName(nameX)))";
246   llvm::Optional<DynTypedMatcher> HasParameterWithNamedValues(
247       Parser::parseMatcherExpression(Code, nullptr, &NamedValues, &Error));
248   EXPECT_EQ("", Error.toStringFull());
249   M = HasParameterWithNamedValues->unconditionalConvertTo<Decl>();
250 
251   EXPECT_TRUE(matches("void f(int a, int x);", M));
252   EXPECT_FALSE(matches("void f(int x, int a);", M));
253 
254   Code = "unaryExprOrTypeTraitExpr(ofKind(\"UETT_SizeOf\"))";
255   llvm::Optional<DynTypedMatcher> UnaryExprSizeOf(
256       Parser::parseMatcherExpression(Code, nullptr, nullptr, &Error));
257   EXPECT_EQ("", Error.toStringFull());
258   Matcher<Stmt> MStmt = UnaryExprSizeOf->unconditionalConvertTo<Stmt>();
259   EXPECT_TRUE(matches("unsigned X = sizeof(int);", MStmt));
260   EXPECT_FALSE(matches("unsigned X = alignof(int);", MStmt));
261 
262   Code =
263       R"query(namedDecl(matchesName("^::[ABC]*$", "IgnoreCase | BasicRegex")))query";
264   llvm::Optional<DynTypedMatcher> MatchesName(
265       Parser::parseMatcherExpression(Code, nullptr, nullptr, &Error));
266   EXPECT_EQ("", Error.toStringFull());
267   M = MatchesName->unconditionalConvertTo<Decl>();
268   EXPECT_TRUE(matches("unsigned AAACCBB;", M));
269   EXPECT_TRUE(matches("unsigned aaaccbb;", M));
270 
271   Code = "hasInitializer(\n    binaryOperator(hasLHS(\"A\")))";
272   EXPECT_TRUE(!Parser::parseMatcherExpression(Code, &Error).hasValue());
273   EXPECT_EQ("1:1: Error parsing argument 1 for matcher hasInitializer.\n"
274             "2:5: Error parsing argument 1 for matcher binaryOperator.\n"
275             "2:20: Error building matcher hasLHS.\n"
276             "2:27: Incorrect type for arg 1. "
277             "(Expected = Matcher<Expr>) != (Actual = String)",
278             Error.toStringFull());
279 }
280 
281 TEST(ParserTest, VariadicMatchTest) {
282   Diagnostics Error;
283 
284   StringRef Code =
285       "stmt(objcMessageExpr(hasAnySelector(\"methodA\", \"methodB:\")))";
286   llvm::Optional<DynTypedMatcher> OM(
287       Parser::parseMatcherExpression(Code, &Error));
288   EXPECT_EQ("", Error.toStringFull());
289   auto M = OM->unconditionalConvertTo<Stmt>();
290   EXPECT_TRUE(matchesObjC("@interface I @end "
291                           "void foo(I* i) { [i methodA]; }", M));
292 }
293 
294 std::string ParseWithError(StringRef Code) {
295   Diagnostics Error;
296   VariantValue Value;
297   Parser::parseExpression(Code, &Value, &Error);
298   return Error.toStringFull();
299 }
300 
301 std::string ParseMatcherWithError(StringRef Code) {
302   Diagnostics Error;
303   Parser::parseMatcherExpression(Code, &Error);
304   return Error.toStringFull();
305 }
306 
307 TEST(ParserTest, Errors) {
308   EXPECT_EQ(
309       "1:5: Error parsing matcher. Found token <123> while looking for '('.",
310       ParseWithError("Foo 123"));
311   EXPECT_EQ(
312       "1:1: Matcher not found: Foo\n"
313       "1:9: Error parsing matcher. Found token <123> while looking for ','.",
314       ParseWithError("Foo(\"A\" 123)"));
315   EXPECT_EQ(
316       "1:1: Error parsing argument 1 for matcher stmt.\n"
317       "1:6: Value not found: someValue",
318       ParseWithError("stmt(someValue)"));
319   EXPECT_EQ(
320       "1:1: Matcher not found: Foo\n"
321       "1:4: Error parsing matcher. Found end-of-code while looking for ')'.",
322       ParseWithError("Foo("));
323   EXPECT_EQ("1:1: End of code found while looking for token.",
324             ParseWithError(""));
325   EXPECT_EQ("Input value is not a matcher expression.",
326             ParseMatcherWithError("\"A\""));
327   EXPECT_EQ("1:1: Matcher not found: Foo\n"
328             "1:1: Error parsing argument 1 for matcher Foo.\n"
329             "1:5: Invalid token <(> found when looking for a value.",
330             ParseWithError("Foo(("));
331   EXPECT_EQ("1:7: Expected end of code.", ParseWithError("expr()a"));
332   EXPECT_EQ("1:11: Malformed bind() expression.",
333             ParseWithError("isArrow().biind"));
334   EXPECT_EQ("1:15: Malformed bind() expression.",
335             ParseWithError("isArrow().bind"));
336   EXPECT_EQ("1:16: Malformed bind() expression.",
337             ParseWithError("isArrow().bind(foo"));
338   EXPECT_EQ("1:21: Malformed bind() expression.",
339             ParseWithError("isArrow().bind(\"foo\""));
340   EXPECT_EQ("1:1: Error building matcher isArrow.\n"
341             "1:1: Matcher does not support binding.",
342             ParseWithError("isArrow().bind(\"foo\")"));
343   EXPECT_EQ("Input value has unresolved overloaded type: "
344             "Matcher<DoStmt|ForStmt|WhileStmt|CXXForRangeStmt|FunctionDecl>",
345             ParseMatcherWithError("hasBody(stmt())"));
346   EXPECT_EQ(
347       "1:1: Error parsing argument 1 for matcher decl.\n"
348       "1:6: Error building matcher hasAttr.\n"
349       "1:14: Unknown value 'attr::Fnal' for arg 1; did you mean 'attr::Final'",
350       ParseMatcherWithError(R"query(decl(hasAttr("attr::Fnal")))query"));
351   EXPECT_EQ("1:1: Error parsing argument 1 for matcher decl.\n"
352             "1:6: Error building matcher hasAttr.\n"
353             "1:14: Unknown value 'Final' for arg 1; did you mean 'attr::Final'",
354             ParseMatcherWithError(R"query(decl(hasAttr("Final")))query"));
355   EXPECT_EQ("1:1: Error parsing argument 1 for matcher decl.\n"
356             "1:6: Error building matcher hasAttr.\n"
357             "1:14: Incorrect type for arg 1. (Expected = string) != (Actual = "
358             "String)",
359             ParseMatcherWithError(R"query(decl(hasAttr("unrelated")))query"));
360   EXPECT_EQ(
361       "1:1: Error parsing argument 1 for matcher namedDecl.\n"
362       "1:11: Error building matcher matchesName.\n"
363       "1:33: Unknown value 'Ignorecase' for arg 2; did you mean 'IgnoreCase'",
364       ParseMatcherWithError(
365           R"query(namedDecl(matchesName("[ABC]*", "Ignorecase")))query"));
366   EXPECT_EQ(
367       "1:1: Error parsing argument 1 for matcher namedDecl.\n"
368       "1:11: Error building matcher matchesName.\n"
369       "1:33: Incorrect type for arg 2. (Expected = string) != (Actual = "
370       "String)",
371       ParseMatcherWithError(
372           R"query(namedDecl(matchesName("[ABC]*", "IgnoreCase & BasicRegex")))query"));
373   EXPECT_EQ(
374       "1:1: Error parsing argument 1 for matcher namedDecl.\n"
375       "1:11: Error building matcher matchesName.\n"
376       "1:33: Unknown value 'IgnoreCase | Basicregex' for arg 2; did you mean "
377       "'IgnoreCase | BasicRegex'",
378       ParseMatcherWithError(
379           R"query(namedDecl(matchesName("[ABC]*", "IgnoreCase | Basicregex")))query"));
380 }
381 
382 TEST(ParserTest, OverloadErrors) {
383   EXPECT_EQ("1:1: Error building matcher callee.\n"
384             "1:8: Candidate 1: Incorrect type for arg 1. "
385             "(Expected = Matcher<Stmt>) != (Actual = String)\n"
386             "1:8: Candidate 2: Incorrect type for arg 1. "
387             "(Expected = Matcher<Decl>) != (Actual = String)",
388             ParseWithError("callee(\"A\")"));
389 }
390 
391 TEST(ParserTest, ParseMultiline) {
392   StringRef Code;
393 
394   llvm::Optional<DynTypedMatcher> M;
395   {
396     Code = R"matcher(varDecl(
397   hasName("foo")
398   )
399 )matcher";
400     Diagnostics Error;
401     EXPECT_TRUE(Parser::parseMatcherExpression(Code, &Error).hasValue());
402   }
403 
404   {
405     Code = R"matcher(varDecl(
406   # Internal comment
407   hasName("foo") # Internal comment
408 # Internal comment
409   )
410 )matcher";
411     Diagnostics Error;
412     EXPECT_TRUE(Parser::parseMatcherExpression(Code, &Error).hasValue());
413   }
414 
415   {
416     Code = R"matcher(decl().bind(
417   "paramName")
418 )matcher";
419     Diagnostics Error;
420     EXPECT_TRUE(Parser::parseMatcherExpression(Code, &Error).hasValue());
421   }
422 
423   {
424     Code = R"matcher(decl().bind(
425   "paramName"
426   )
427 )matcher";
428     Diagnostics Error;
429     EXPECT_TRUE(Parser::parseMatcherExpression(Code, &Error).hasValue());
430   }
431 
432   {
433     Code = R"matcher(decl(decl()
434 , decl()))matcher";
435     Diagnostics Error;
436     EXPECT_TRUE(Parser::parseMatcherExpression(Code, &Error).hasValue());
437   }
438 
439   {
440     Code = R"matcher(decl(decl(),
441 decl()))matcher";
442     Diagnostics Error;
443     EXPECT_TRUE(Parser::parseMatcherExpression(Code, &Error).hasValue());
444   }
445 
446   {
447     Code = "namedDecl(hasName(\"n\"\n))";
448     Diagnostics Error;
449     EXPECT_TRUE(Parser::parseMatcherExpression(Code, &Error).hasValue());
450   }
451 
452   {
453     Diagnostics Error;
454 
455     auto NamedValues = getTestNamedValues();
456 
457     Code = R"matcher(hasParamA.bind
458   ("paramName")
459 )matcher";
460     M = Parser::parseMatcherExpression(Code, nullptr, &NamedValues, &Error);
461     EXPECT_FALSE(M.hasValue());
462     EXPECT_EQ("1:15: Malformed bind() expression.", Error.toStringFull());
463   }
464 
465   {
466     Diagnostics Error;
467 
468     auto NamedValues = getTestNamedValues();
469 
470     Code = R"matcher(hasParamA.
471   bind("paramName")
472 )matcher";
473     M = Parser::parseMatcherExpression(Code, nullptr, &NamedValues, &Error);
474     EXPECT_FALSE(M.hasValue());
475     EXPECT_EQ("1:11: Malformed bind() expression.", Error.toStringFull());
476   }
477 
478   {
479     Diagnostics Error;
480 
481     Code = R"matcher(varDecl
482 ()
483 )matcher";
484     M = Parser::parseMatcherExpression(Code, nullptr, nullptr, &Error);
485     EXPECT_FALSE(M.hasValue());
486     EXPECT_EQ("1:8: Error parsing matcher. Found token "
487               "<NewLine> while looking for '('.",
488               Error.toStringFull());
489   }
490 
491   // Correct line/column numbers
492   {
493     Diagnostics Error;
494 
495     Code = R"matcher(varDecl(
496   doesNotExist()
497   )
498 )matcher";
499     M = Parser::parseMatcherExpression(Code, nullptr, nullptr, &Error);
500     EXPECT_FALSE(M.hasValue());
501     StringRef Expected = R"error(1:1: Error parsing argument 1 for matcher varDecl.
502 2:3: Matcher not found: doesNotExist)error";
503     EXPECT_EQ(Expected, Error.toStringFull());
504   }
505 }
506 
507 TEST(ParserTest, CompletionRegistry) {
508   StringRef Code = "while";
509   std::vector<MatcherCompletion> Comps = Parser::completeExpression(Code, 5);
510   ASSERT_EQ(1u, Comps.size());
511   EXPECT_EQ("Stmt(", Comps[0].TypedText);
512   EXPECT_EQ("Matcher<Stmt> whileStmt(Matcher<WhileStmt>...)",
513             Comps[0].MatcherDecl);
514 
515   Code = "whileStmt().";
516   Comps = Parser::completeExpression(Code, 12);
517   ASSERT_EQ(1u, Comps.size());
518   EXPECT_EQ("bind(\"", Comps[0].TypedText);
519   EXPECT_EQ("bind", Comps[0].MatcherDecl);
520 }
521 
522 TEST(ParserTest, CompletionNamedValues) {
523   // Can complete non-matcher types.
524   auto NamedValues = getTestNamedValues();
525   StringRef Code = "functionDecl(hasName(";
526   std::vector<MatcherCompletion> Comps =
527       Parser::completeExpression(Code, Code.size(), nullptr, &NamedValues);
528   ASSERT_EQ(1u, Comps.size());
529   EXPECT_EQ("nameX", Comps[0].TypedText);
530   EXPECT_EQ("String nameX", Comps[0].MatcherDecl);
531 
532   // Can complete if there are names in the expression.
533   Code = "cxxMethodDecl(hasName(nameX), ";
534   Comps = Parser::completeExpression(Code, Code.size(), nullptr, &NamedValues);
535   EXPECT_LT(0u, Comps.size());
536 
537   // Can complete names and registry together.
538   Code = "functionDecl(hasP";
539   Comps = Parser::completeExpression(Code, Code.size(), nullptr, &NamedValues);
540   ASSERT_EQ(3u, Comps.size());
541 
542   EXPECT_EQ("arameter(", Comps[0].TypedText);
543   EXPECT_EQ(
544       "Matcher<FunctionDecl> hasParameter(unsigned, Matcher<ParmVarDecl>)",
545       Comps[0].MatcherDecl);
546 
547   EXPECT_EQ("aramA", Comps[1].TypedText);
548   EXPECT_EQ("Matcher<Decl> hasParamA", Comps[1].MatcherDecl);
549 
550   EXPECT_EQ("arent(", Comps[2].TypedText);
551   EXPECT_EQ(
552       "Matcher<Decl> "
553       "hasParent(Matcher<NestedNameSpecifierLoc|TypeLoc|Decl|...>)",
554       Comps[2].MatcherDecl);
555 }
556 
557 TEST(ParserTest, ParseBindOnLet) {
558 
559   auto NamedValues = getTestNamedValues();
560 
561   Diagnostics Error;
562 
563   {
564     StringRef Code = "hasParamA.bind(\"parmABinding\")";
565     llvm::Optional<DynTypedMatcher> TopLevelLetBinding(
566         Parser::parseMatcherExpression(Code, nullptr, &NamedValues, &Error));
567     EXPECT_EQ("", Error.toStringFull());
568     auto M = TopLevelLetBinding->unconditionalConvertTo<Decl>();
569 
570     EXPECT_TRUE(matchAndVerifyResultTrue(
571         "void foo(int a);", M,
572         std::make_unique<VerifyIdIsBoundTo<FunctionDecl>>("parmABinding")));
573     EXPECT_TRUE(matchAndVerifyResultFalse(
574         "void foo(int b);", M,
575         std::make_unique<VerifyIdIsBoundTo<FunctionDecl>>("parmABinding")));
576   }
577 
578   {
579     StringRef Code = "functionDecl(hasParamA.bind(\"parmABinding\"))";
580     llvm::Optional<DynTypedMatcher> NestedLetBinding(
581         Parser::parseMatcherExpression(Code, nullptr, &NamedValues, &Error));
582     EXPECT_EQ("", Error.toStringFull());
583     auto M = NestedLetBinding->unconditionalConvertTo<Decl>();
584 
585     EXPECT_TRUE(matchAndVerifyResultTrue(
586         "void foo(int a);", M,
587         std::make_unique<VerifyIdIsBoundTo<FunctionDecl>>("parmABinding")));
588     EXPECT_TRUE(matchAndVerifyResultFalse(
589         "void foo(int b);", M,
590         std::make_unique<VerifyIdIsBoundTo<FunctionDecl>>("parmABinding")));
591   }
592 }
593 
594 }  // end anonymous namespace
595 }  // end namespace dynamic
596 }  // end namespace ast_matchers
597 }  // end namespace clang
598