Lines Matching defs:Verifier
35 // FIXME: Pull the *Verifier tests into their own test file.
38 LocationVerifier<VarDecl> Verifier;
39 Verifier.expectLocation(1, 1);
40 EXPECT_FALSE(Verifier.match("int i", varDecl()));
44 LocationVerifier<VarDecl> Verifier;
45 Verifier.expectLocation(1, 1);
46 EXPECT_FALSE(Verifier.match("int i;", recordDecl()));
50 LocationVerifier<RecordDecl> Verifier;
51 Verifier.expectLocation(1, 1);
52 EXPECT_FALSE(Verifier.match("int i;", varDecl()));
56 LocationVerifier<VarDecl> Verifier;
57 Verifier.expectLocation(1, 1);
58 EXPECT_FALSE(Verifier.match("int i;", varDecl()));
62 RangeVerifier<VarDecl> Verifier;
63 Verifier.expectRange(1, 1, 1, 1);
64 EXPECT_FALSE(Verifier.match("int i;", varDecl()));
114 WhileParenLocationVerifier Verifier;
115 Verifier.expectLocations(1, 17, 1, 38);
116 EXPECT_TRUE(Verifier.match("void f() { while(true/*some comment*/) {} }",
128 LabelDeclRangeVerifier Verifier;
129 Verifier.expectRange(1, 12, 1, 12);
130 EXPECT_TRUE(Verifier.match("void f() { l: return; }", labelStmt()));
134 RangeVerifier<LabelStmt> Verifier;
135 Verifier.expectRange(1, 12, 1, 15);
136 EXPECT_TRUE(Verifier.match("void f() { l: return; }", labelStmt()));
140 LocationVerifier<ParmVarDecl> Verifier;
141 Verifier.expectLocation(1, 8);
142 EXPECT_TRUE(Verifier.match("void f(i) {}", varDecl(), Lang_C89));
144 Verifier.expectLocation(1, 15);
145 EXPECT_TRUE(Verifier.match("void f(i) int i; {}", varDecl(), Lang_C99));
149 RangeVerifier<ParmVarDecl> Verifier;
150 Verifier.expectRange(1, 8, 1, 8);
151 EXPECT_TRUE(Verifier.match("void f(i) {}", varDecl(), Lang_C89));
153 Verifier.expectRange(1, 11, 1, 15);
154 EXPECT_TRUE(Verifier.match("void f(i) int i; {}", varDecl(), Lang_C99));
158 RangeVerifier<CXXNewExpr> Verifier;
159 Verifier.expectRange(1, 12, 1, 22);
160 EXPECT_TRUE(Verifier.match("void f() { new int[10]; }", cxxNewExpr()));
164 RangeVerifier<CXXNewExpr> Verifier;
165 Verifier.expectRange(1, 12, 1, 20);
166 EXPECT_TRUE(Verifier.match("void f() { new int(); }", cxxNewExpr()));
170 RangeVerifier<MemberExpr> Verifier;
171 Verifier.expectRange(2, 30, 2, 30);
172 EXPECT_TRUE(Verifier.match("struct S { operator int() const; };\n"
185 MemberExprArrowLocVerifier Verifier;
186 Verifier.expectRange(2, 19, 2, 19);
187 EXPECT_TRUE(Verifier.match("struct S { int x; };\n"
193 MemberExprArrowLocVerifier Verifier;
194 Verifier.expectRange(1, 24, 1, 24);
195 EXPECT_TRUE(Verifier.match("#define MEMBER(a, b) (a->b)\n"
202 MemberExprArrowLocVerifier Verifier;
203 Verifier.expectRange(0, 0, 0, 0);
204 EXPECT_TRUE(Verifier.match("struct S { int x; void Test(); };\n"
210 RangeVerifier<VarDecl> Verifier;
211 Verifier.expectRange(1, 1, 1, 23);
212 EXPECT_TRUE(Verifier.match("int a[(int)(void*)1234];",
217 RangeVerifier<TypeLoc> Verifier;
218 Verifier.expectRange(1, 1, 1, 1);
219 EXPECT_TRUE(Verifier.match("int a;", typeLoc()));
223 RangeVerifier<TypeLoc> Verifier;
224 Verifier.expectRange(1, 1, 1, 1);
225 EXPECT_TRUE(Verifier.match("long a;", typeLoc()));
256 RangeVerifier<TypeLoc> Verifier;
257 Verifier.expectRange(1, 1, 1, 14);
258 EXPECT_TRUE(Verifier.match("decltype(auto) a = 1;", typeLoc(loc(autoType())),
266 Verifier.expectRange(2, 1, 2, 3); // token range.
267 EXPECT_TRUE(Verifier.match(Code, typeLoc(loc(autoType())), Lang_CXX20));
271 RangeVerifier<TypeLoc> Verifier;
272 Verifier.expectRange(1, 1, 1, 6);
273 EXPECT_TRUE(Verifier.match("long double a;", typeLoc()));
277 RangeVerifier<TypeLoc> Verifier;
278 Verifier.expectRange(1, 1, 1, 8);
279 EXPECT_TRUE(Verifier.match("double long a;", typeLoc()));
283 RangeVerifier<TypeLoc> Verifier;
284 Verifier.expectRange(1, 1, 1, 6);
285 EXPECT_TRUE(Verifier.match("long int a;", typeLoc()));
289 RangeVerifier<TypeLoc> Verifier;
290 Verifier.expectRange(1, 1, 1, 5);
291 EXPECT_TRUE(Verifier.match("int long a;", typeLoc()));
295 RangeVerifier<TypeLoc> Verifier;
296 Verifier.expectRange(1, 1, 1, 10);
297 EXPECT_TRUE(Verifier.match("unsigned int a;", typeLoc()));
301 RangeVerifier<TypeLoc> Verifier;
302 Verifier.expectRange(1, 1, 1, 5);
303 EXPECT_TRUE(Verifier.match("int unsigned a;", typeLoc()));
307 RangeVerifier<TypeLoc> Verifier;
308 Verifier.expectRange(1, 1, 1, 6);
309 EXPECT_TRUE(Verifier.match("long long a;", typeLoc()));
313 RangeVerifier<TypeLoc> Verifier;
314 Verifier.expectRange(1, 1, 1, 15);
315 EXPECT_TRUE(Verifier.match("unsigned long long a;", typeLoc()));
319 RangeVerifier<TypeLoc> Verifier;
320 Verifier.expectRange(1, 1, 1, 15);
321 EXPECT_TRUE(Verifier.match("long unsigned long a;", typeLoc()));
325 RangeVerifier<TypeLoc> Verifier;
326 Verifier.expectRange(1, 1, 1, 11);
327 EXPECT_TRUE(Verifier.match("long long unsigned a;", typeLoc()));
331 RangeVerifier<TypeLoc> Verifier;
332 Verifier.expectRange(1, 7, 1, 12);
333 EXPECT_TRUE(Verifier.match("const long long a = 0;", typeLoc()));
337 RangeVerifier<TypeLoc> Verifier;
338 Verifier.expectRange(1, 1, 1, 12);
339 EXPECT_TRUE(Verifier.match("long const long a = 0;", typeLoc()));
343 RangeVerifier<TypeLoc> Verifier;
344 Verifier.expectRange(1, 1, 1, 6);
345 EXPECT_TRUE(Verifier.match("long long const a = 0;", typeLoc()));
349 RangeVerifier<CXXConstructorDecl> Verifier;
350 Verifier.expectRange(1, 11, 1, 13);
351 EXPECT_TRUE(Verifier.match("class C { C(); };", functionDecl()));
355 RangeVerifier<CXXConstructorDecl> Verifier;
356 Verifier.expectRange(1, 11, 1, 23);
357 EXPECT_TRUE(Verifier.match("class C { C() = default; };", functionDecl()));
361 RangeVerifier<CXXConstructorDecl> Verifier;
362 Verifier.expectRange(1, 11, 1, 22);
363 EXPECT_TRUE(Verifier.match("class C { C() = delete; };", functionDecl()));
367 RangeVerifier<CompoundLiteralExpr> Verifier;
368 Verifier.expectRange(2, 11, 2, 22);
369 EXPECT_TRUE(Verifier.match(
375 RangeVerifier<CompoundLiteralExpr> Verifier;
376 Verifier.expectRange(2, 20, 2, 31);
378 Verifier.match("typedef int int2 __attribute__((ext_vector_type(2)));\n"
384 RangeVerifier<InitListExpr> Verifier;
385 Verifier.expectRange(2, 17, 2, 22);
386 EXPECT_TRUE(Verifier.match(
392 RangeVerifier<InitListExpr> Verifier;
393 Verifier.expectRange(2, 26, 2, 31);
394 EXPECT_TRUE(Verifier.match(
410 TemplateAngleBracketLocRangeVerifier Verifier;
411 Verifier.expectRange(2, 8, 2, 10);
412 EXPECT_TRUE(Verifier.match(
419 RangeVerifier<CXXNewExpr> Verifier;
420 Verifier.expectRange(1, 10, 1, 18);
421 EXPECT_TRUE(Verifier.match("int* a = new (int);", cxxNewExpr()));
435 UnaryTransformTypeLocParensRangeVerifier Verifier;
436 Verifier.expectRange(3, 26, 3, 28);
437 EXPECT_TRUE(Verifier.match(
487 RangeVerifier<CXXFunctionalCastExpr> Verifier;
488 Verifier.expectRange(2, 10, 2, 14);
489 EXPECT_TRUE(Verifier.match(
497 RangeVerifier<CXXConstructExpr> Verifier;
498 Verifier.expectRange(3, 14, 3, 19);
499 EXPECT_TRUE(Verifier.match(
507 RangeVerifier<CXXTemporaryObjectExpr> Verifier;
508 Verifier.expectRange(2, 6, 2, 12);
509 EXPECT_TRUE(Verifier.match(
516 RangeVerifier<CXXUnresolvedConstructExpr> Verifier;
517 Verifier.expectRange(3, 10, 3, 12);
520 EXPECT_TRUE(Verifier.match(
529 RangeVerifier<UsingDecl> Verifier;
530 Verifier.expectRange(2, 22, 2, 25);
531 EXPECT_TRUE(Verifier.match(
538 RangeVerifier<UnresolvedUsingValueDecl> Verifier;
539 Verifier.expectRange(3, 3, 3, 6);
540 EXPECT_TRUE(Verifier.match(
549 LocationVerifier<FriendDecl> Verifier;
550 Verifier.expectLocation(2, 13);
551 EXPECT_TRUE(Verifier.match("struct A {\n"
558 RangeVerifier<FriendDecl> Verifier;
559 Verifier.expectRange(2, 1, 2, 15);
560 EXPECT_TRUE(Verifier.match("struct A {\n"
567 LocationVerifier<FriendDecl> Verifier;
568 Verifier.expectLocation(2, 12);
569 EXPECT_TRUE(Verifier.match("struct A {\n"
576 RangeVerifier<FriendDecl> Verifier;
577 Verifier.expectRange(2, 1, 2, 28);
578 EXPECT_TRUE(Verifier.match("struct A {\n"
585 LocationVerifier<FriendDecl> Verifier;
586 Verifier.expectLocation(2, 8);
587 EXPECT_TRUE(Verifier.match("struct A {\n"
594 RangeVerifier<FriendDecl> Verifier;
595 Verifier.expectRange(2, 1, 2, 14);
596 EXPECT_TRUE(Verifier.match("struct A {\n"
603 LocationVerifier<FriendDecl> Verifier;
604 Verifier.expectLocation(3, 8);
605 EXPECT_TRUE(Verifier.match("class B;\n"
613 RangeVerifier<FriendDecl> Verifier;
614 Verifier.expectRange(3, 1, 3, 8);
615 EXPECT_TRUE(Verifier.match("class B;\n"
623 LocationVerifier<FriendDecl> Verifier;
624 Verifier.expectLocation(3, 8);
625 EXPECT_TRUE(Verifier.match("template <typename T>\n"
633 RangeVerifier<FriendDecl> Verifier;
634 Verifier.expectRange(3, 1, 3, 8);
635 EXPECT_TRUE(Verifier.match("template <typename T>\n"
643 LocationVerifier<FriendDecl> Verifier;
644 Verifier.expectLocation(4, 8);
645 EXPECT_TRUE(Verifier.match("struct A;\n"
654 RangeVerifier<FriendDecl> Verifier;
655 Verifier.expectRange(4, 1, 4, 22);
656 EXPECT_TRUE(Verifier.match("struct A;\n"
701 LocationVerifier<FriendDecl> Verifier;
702 Verifier.expectLocation(3, 13);
703 EXPECT_TRUE(Verifier.match("struct A {\n"
711 RangeVerifier<FriendDecl> Verifier;
712 Verifier.expectRange(2, 1, 3, 15);
713 EXPECT_TRUE(Verifier.match("struct A {\n"
721 LocationVerifier<FriendDecl> Verifier;
722 Verifier.expectLocation(3, 14);
723 EXPECT_TRUE(Verifier.match("struct A {\n"
731 RangeVerifier<FriendDecl> Verifier;
732 Verifier.expectRange(2, 1, 3, 14);
733 EXPECT_TRUE(Verifier.match("struct A {\n"
741 LocationVerifier<FriendDecl> Verifier;
742 Verifier.expectLocation(2, 19);
743 EXPECT_TRUE(Verifier.match("struct A {\n"
750 RangeVerifier<FriendDecl> Verifier;
751 Verifier.expectRange(2, 1, 2, 35);
752 EXPECT_TRUE(Verifier.match("struct A {\n"
759 RangeVerifier<FriendDecl> Verifier;
760 Verifier.expectRange(4, 3, 4, 35);
761 EXPECT_TRUE(Verifier.match(
772 RangeVerifier<ParenExpr> Verifier;
773 Verifier.expectRange(5, 25, 5, 27);
774 EXPECT_TRUE(Verifier.match("struct A { int a; };\n"
783 RangeVerifier<FunctionDecl> Verifier;
784 Verifier.expectRange(1, 1, 1, 16);
785 EXPECT_TRUE(Verifier.match(
791 RangeVerifier<FunctionDecl> Verifier;
792 Verifier.expectRange(1, 1, 1, 24);
793 EXPECT_TRUE(Verifier.match("void f() noexcept(false);\n", functionDecl(),
805 FunctionDeclParametersRangeVerifier Verifier;
806 Verifier.expectRange(1, 8, 1, 8);
807 EXPECT_TRUE(Verifier.match("void f(...);\n", functionDecl()));
811 FunctionDeclParametersRangeVerifier Verifier;
812 Verifier.expectRange(1, 8, 1, 15);
813 EXPECT_TRUE(Verifier.match("void f(int a, ...);\n", functionDecl()));
817 FunctionDeclParametersRangeVerifier Verifier;
818 Verifier.expectRange(2, 8, 1, 18);
819 EXPECT_TRUE(Verifier.match("#define VARIADIC ...\n"
825 FunctionDeclParametersRangeVerifier Verifier;
826 Verifier.expectRange(1, 16, 2, 20);
827 EXPECT_TRUE(Verifier.match("#define PARAMS int a, int b\n"
833 FunctionDeclParametersRangeVerifier Verifier;
834 Verifier.expectRange(1, 8, 1, 12);
835 EXPECT_TRUE(Verifier.match("void f(int a);\n", functionDecl()));
839 FunctionDeclParametersRangeVerifier Verifier;
840 Verifier.expectRange(2, 8, 2, 12);
841 EXPECT_TRUE(Verifier.match("class A{\n"
848 FunctionDeclParametersRangeVerifier Verifier;
849 Verifier.expectRange(2, 8, 2, 15);
850 EXPECT_TRUE(Verifier.match("class A{\n"
857 FunctionDeclParametersRangeVerifier Verifier;
858 Verifier.expectRange(2, 15, 2, 19);
859 EXPECT_TRUE(Verifier.match("class A{\n"
866 FunctionDeclParametersRangeVerifier Verifier;
867 Verifier.expectRange(1, 8, 1, 28);
869 Verifier.match("void f(int a, int b, char *c);\n", functionDecl()));
873 FunctionDeclParametersRangeVerifier Verifier;
874 Verifier.expectRange(1, 8, 1, 16);
875 EXPECT_TRUE(Verifier.match("void f(int a = 5);\n", functionDecl()));
879 FunctionDeclParametersRangeVerifier Verifier;
880 Verifier.expectRange(1, 8, 1, 22);
881 EXPECT_TRUE(Verifier.match("void f(volatile int *i);", functionDecl()));
885 FunctionDeclParametersRangeVerifier Verifier;
886 Verifier.expectRange(1, 8, 1, 19);
887 EXPECT_TRUE(Verifier.match("void f(const int *i);", functionDecl()));
891 FunctionDeclParametersRangeVerifier Verifier;
892 Verifier.expectRange(1, 8, 1, 28);
893 EXPECT_TRUE(Verifier.match("void f(const volatile int *i);", functionDecl()));
897 FunctionDeclParametersRangeVerifier Verifier;
898 Verifier.expectRange(1, 8, 1, 36);
899 EXPECT_TRUE(Verifier.match("void f(__attribute__((unused)) int a) {}",
904 RangeVerifier<FunctionDecl> Verifier;
905 Verifier.expectRange(2, 1, 2, 16);
906 EXPECT_TRUE(Verifier.match(
914 RangeVerifier<FunctionDecl> Verifier;
915 Verifier.expectRange(2, 1, 2, 24);
916 EXPECT_TRUE(Verifier.match("class A {\n"
949 ExceptionSpecRangeVerifier Verifier;
951 Verifier.expectRange(1, 10, 1, 16);
952 EXPECT_TRUE(Verifier.match("void f() throw();\n", loc(functionType())));
954 Verifier.expectRange(1, 10, 1, 34);
955 EXPECT_TRUE(Verifier.match("void f() throw(void(void) throw());\n",
958 Verifier.expectRange(1, 10, 1, 19);
961 EXPECT_TRUE(Verifier.match("void f() throw(...);\n", loc(functionType()),
964 Verifier.expectRange(1, 10, 1, 10);
966 Verifier.match("void f() noexcept;\n", loc(functionType()), Lang_CXX11));
968 Verifier.expectRange(1, 10, 1, 24);
969 EXPECT_TRUE(Verifier.match("void f() noexcept(false);\n", loc(functionType()),
972 Verifier.expectRange(1, 10, 1, 32);
973 EXPECT_TRUE(Verifier.match("void f() noexcept(noexcept(1+1));\n",
1019 AutoTypeLocConceptReferenceRangeVerifier Verifier;
1025 Verifier.expectRange(2, 1, 2, 1);
1026 EXPECT_TRUE(Verifier.match(Code, typeLoc(loc(autoType())), Lang_CXX20));
1032 Verifier.expectRange(2, 1, 2, 7);
1033 EXPECT_TRUE(Verifier.match(Code2, typeLoc(loc(autoType())), Lang_CXX20));
1041 Verifier.expectRange(4, 1, 4, 11);
1042 EXPECT_TRUE(Verifier.match(Code3, typeLoc(loc(autoType())), Lang_CXX20));
1048 Verifier.expectRange(2, 1, 2, 5);
1049 EXPECT_TRUE(Verifier.match(Code4, typeLoc(loc(autoType())), Lang_CXX20));
1066 TemplateTypeParmDeclConceptReferenceRangeVerifier Verifier;
1072 Verifier.expectRange(2, 11, 2, 11);
1073 EXPECT_TRUE(Verifier.match(Code, templateTypeParmDecl(), Lang_CXX20));
1079 Verifier.expectRange(2, 11, 2, 18);
1080 EXPECT_TRUE(Verifier.match(Code2, templateTypeParmDecl(), Lang_CXX20));
1088 Verifier.expectRange(4, 11, 4, 21);
1089 EXPECT_TRUE(Verifier.match(Code3, templateTypeParmDecl(), Lang_CXX20));
1113 ConceptSpecializationExprConceptReferenceRangeVerifier Verifier;
1119 Verifier.expectRange(2, 27, 2, 32);
1120 EXPECT_TRUE(Verifier.match(Code, varTemplateDecl(hasName("z")), Lang_CXX20));
1128 Verifier.expectRange(4, 27, 4, 36);
1129 EXPECT_TRUE(Verifier.match(Code2, varTemplateDecl(hasName("z")), Lang_CXX20));