1*67e74705SXin Li //===- unittest/AST/ASTContextParentMapTest.cpp - AST parent map test -----===//
2*67e74705SXin Li //
3*67e74705SXin Li // The LLVM Compiler Infrastructure
4*67e74705SXin Li //
5*67e74705SXin Li // This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li // License. See LICENSE.TXT for details.
7*67e74705SXin Li //
8*67e74705SXin Li //===----------------------------------------------------------------------===//
9*67e74705SXin Li //
10*67e74705SXin Li // Tests for the getParents(...) methods of ASTContext.
11*67e74705SXin Li //
12*67e74705SXin Li //===----------------------------------------------------------------------===//
13*67e74705SXin Li
14*67e74705SXin Li #include "clang/AST/ASTContext.h"
15*67e74705SXin Li #include "MatchVerifier.h"
16*67e74705SXin Li #include "clang/ASTMatchers/ASTMatchFinder.h"
17*67e74705SXin Li #include "clang/ASTMatchers/ASTMatchers.h"
18*67e74705SXin Li #include "clang/Tooling/Tooling.h"
19*67e74705SXin Li #include "gtest/gtest.h"
20*67e74705SXin Li
21*67e74705SXin Li namespace clang {
22*67e74705SXin Li namespace ast_matchers {
23*67e74705SXin Li
TEST(GetParents,ReturnsParentForDecl)24*67e74705SXin Li TEST(GetParents, ReturnsParentForDecl) {
25*67e74705SXin Li MatchVerifier<Decl> Verifier;
26*67e74705SXin Li EXPECT_TRUE(
27*67e74705SXin Li Verifier.match("class C { void f(); };",
28*67e74705SXin Li cxxMethodDecl(hasParent(recordDecl(hasName("C"))))));
29*67e74705SXin Li }
30*67e74705SXin Li
TEST(GetParents,ReturnsParentForStmt)31*67e74705SXin Li TEST(GetParents, ReturnsParentForStmt) {
32*67e74705SXin Li MatchVerifier<Stmt> Verifier;
33*67e74705SXin Li EXPECT_TRUE(Verifier.match("class C { void f() { if (true) {} } };",
34*67e74705SXin Li ifStmt(hasParent(compoundStmt()))));
35*67e74705SXin Li }
36*67e74705SXin Li
TEST(GetParents,ReturnsParentForTypeLoc)37*67e74705SXin Li TEST(GetParents, ReturnsParentForTypeLoc) {
38*67e74705SXin Li MatchVerifier<TypeLoc> Verifier;
39*67e74705SXin Li EXPECT_TRUE(
40*67e74705SXin Li Verifier.match("namespace a { class b {}; } void f(a::b) {}",
41*67e74705SXin Li typeLoc(hasParent(typeLoc(hasParent(functionDecl()))))));
42*67e74705SXin Li }
43*67e74705SXin Li
TEST(GetParents,ReturnsParentForNestedNameSpecifierLoc)44*67e74705SXin Li TEST(GetParents, ReturnsParentForNestedNameSpecifierLoc) {
45*67e74705SXin Li MatchVerifier<NestedNameSpecifierLoc> Verifier;
46*67e74705SXin Li EXPECT_TRUE(Verifier.match("namespace a { class b {}; } void f(a::b) {}",
47*67e74705SXin Li nestedNameSpecifierLoc(hasParent(typeLoc()))));
48*67e74705SXin Li }
49*67e74705SXin Li
TEST(GetParents,ReturnsParentInsideTemplateInstantiations)50*67e74705SXin Li TEST(GetParents, ReturnsParentInsideTemplateInstantiations) {
51*67e74705SXin Li MatchVerifier<Decl> DeclVerifier;
52*67e74705SXin Li EXPECT_TRUE(DeclVerifier.match(
53*67e74705SXin Li "template<typename T> struct C { void f() {} };"
54*67e74705SXin Li "void g() { C<int> c; c.f(); }",
55*67e74705SXin Li cxxMethodDecl(hasName("f"),
56*67e74705SXin Li hasParent(cxxRecordDecl(isTemplateInstantiation())))));
57*67e74705SXin Li EXPECT_TRUE(DeclVerifier.match(
58*67e74705SXin Li "template<typename T> struct C { void f() {} };"
59*67e74705SXin Li "void g() { C<int> c; c.f(); }",
60*67e74705SXin Li cxxMethodDecl(hasName("f"),
61*67e74705SXin Li hasParent(cxxRecordDecl(unless(isTemplateInstantiation()))))));
62*67e74705SXin Li EXPECT_FALSE(DeclVerifier.match(
63*67e74705SXin Li "template<typename T> struct C { void f() {} };"
64*67e74705SXin Li "void g() { C<int> c; c.f(); }",
65*67e74705SXin Li cxxMethodDecl(
66*67e74705SXin Li hasName("f"),
67*67e74705SXin Li allOf(hasParent(cxxRecordDecl(unless(isTemplateInstantiation()))),
68*67e74705SXin Li hasParent(cxxRecordDecl(isTemplateInstantiation()))))));
69*67e74705SXin Li }
70*67e74705SXin Li
TEST(GetParents,ReturnsMultipleParentsInTemplateInstantiations)71*67e74705SXin Li TEST(GetParents, ReturnsMultipleParentsInTemplateInstantiations) {
72*67e74705SXin Li MatchVerifier<Stmt> TemplateVerifier;
73*67e74705SXin Li EXPECT_TRUE(TemplateVerifier.match(
74*67e74705SXin Li "template<typename T> struct C { void f() {} };"
75*67e74705SXin Li "void g() { C<int> c; c.f(); }",
76*67e74705SXin Li compoundStmt(allOf(
77*67e74705SXin Li hasAncestor(cxxRecordDecl(isTemplateInstantiation())),
78*67e74705SXin Li hasAncestor(cxxRecordDecl(unless(isTemplateInstantiation())))))));
79*67e74705SXin Li }
80*67e74705SXin Li
81*67e74705SXin Li } // end namespace ast_matchers
82*67e74705SXin Li } // end namespace clang
83