VariantValueTest.cpp revision f7f295f321fd434e1e542844a71f538a56f2f8fb
1f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek//===- unittest/ASTMatchers/Dynamic/VariantValueTest.cpp - VariantValue unit tests -===//
2f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek//
3f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek//                     The LLVM Compiler Infrastructure
4f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek//
5f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek// This file is distributed under the University of Illinois Open Source
6f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek// License. See LICENSE.TXT for details.
7f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek//
8f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek//===-----------------------------------------------------------------------------===//
9f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
10f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek#include "../ASTMatchersTest.h"
11f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek#include "clang/ASTMatchers/Dynamic/VariantValue.h"
12f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek#include "gtest/gtest.h"
13f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
14f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimeknamespace clang {
15f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimeknamespace ast_matchers {
16f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimeknamespace dynamic {
17f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimeknamespace {
18f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
19f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimekusing ast_matchers::internal::DynTypedMatcher;
20f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimekusing ast_matchers::internal::Matcher;
21f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
22f7f295f321fd434e1e542844a71f538a56f2f8fbManuel KlimekTEST(VariantValueTest, String) {
23f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  const ::std::string kString = "string";
24f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  VariantValue Value = kString;
25f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
26f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isString());
27f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_EQ(kString, Value.getString());
28f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
29f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isMatcher());
30f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isTypedMatcher<clang::Decl>());
31f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isTypedMatcher<clang::UnaryOperator>());
32f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek}
33f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
34f7f295f321fd434e1e542844a71f538a56f2f8fbManuel KlimekTEST(VariantValueTest, DynTypedMatcher) {
35f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  VariantValue Value = stmt();
36f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
37f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isString());
38f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
39f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isMatcher());
40f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::Decl>());
41f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::UnaryOperator>());
42f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
43f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  // Conversion to any type of matcher works.
44f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  // If they are not compatible it would just return a matcher that matches
45f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  // nothing. We test this below.
46f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  Value = recordDecl();
47f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isMatcher());
48f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::Decl>());
49f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::UnaryOperator>());
50f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
51f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  Value = unaryOperator();
52f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isMatcher());
53f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::Decl>());
54f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::Stmt>());
55f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::UnaryOperator>());
56f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek}
57f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
58f7f295f321fd434e1e542844a71f538a56f2f8fbManuel KlimekTEST(VariantValueTest, Assignment) {
59f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  VariantValue Value = std::string("A");
60f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isString());
61f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_EQ("A", Value.getString());
62f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isMatcher());
63f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
64f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  Value = recordDecl();
65f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isString());
66f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isMatcher());
67f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::Decl>());
68f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(Value.isTypedMatcher<clang::UnaryOperator>());
69f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
70f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  Value = VariantValue();
71f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isString());
72f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(Value.isMatcher());
73f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek}
74f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
75f7f295f321fd434e1e542844a71f538a56f2f8fbManuel KlimekTEST(GeneicValueTest, Matcher) {
76f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(matchesDynamic(
77f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek      "class X {};", VariantValue(recordDecl(hasName("X"))).getMatcher()));
78f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(matchesDynamic(
79f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek      "int x;", VariantValue(varDecl()).getTypedMatcher<clang::Decl>()));
80f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_TRUE(matchesDynamic("int foo() { return 1 + 1; }",
81f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek                             VariantValue(functionDecl()).getMatcher()));
82f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  // Going through the wrong Matcher<T> will fail to match, even if the
83f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  // underlying matcher is correct.
84f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(matchesDynamic(
85f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek      "int x;", VariantValue(varDecl()).getTypedMatcher<clang::Stmt>()));
86f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
87f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(
88f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek      matchesDynamic("int x;", VariantValue(functionDecl()).getMatcher()));
89f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek  EXPECT_FALSE(matchesDynamic(
90f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek      "int foo() { return 1 + 1; }",
91f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek      VariantValue(declRefExpr()).getTypedMatcher<clang::DeclRefExpr>()));
92f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek}
93f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek
94f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek} // end anonymous namespace
95f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek} // end namespace dynamic
96f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek} // end namespace ast_matchers
97f7f295f321fd434e1e542844a71f538a56f2f8fbManuel Klimek} // end namespace clang
98