1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
//===- unittests/AST/TypePrinterTest.cpp --- Type printer tests -----------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file contains tests for QualType::print() and related methods.
//
//===----------------------------------------------------------------------===//
#include "ASTPrint.h"
#include "clang/AST/ASTContext.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Tooling/Tooling.h"
#include "llvm/ADT/SmallString.h"
#include "gtest/gtest.h"
using namespace clang;
using namespace ast_matchers;
using namespace tooling;
namespace {
static void PrintType(raw_ostream &Out, const ASTContext *Context,
const QualType *T,
PrintingPolicyAdjuster PolicyAdjuster) {
assert(T && !T->isNull() && "Expected non-null Type");
PrintingPolicy Policy = Context->getPrintingPolicy();
if (PolicyAdjuster)
PolicyAdjuster(Policy);
T->print(Out, Policy);
}
::testing::AssertionResult
PrintedTypeMatches(StringRef Code, const std::vector<std::string> &Args,
const DeclarationMatcher &NodeMatch,
StringRef ExpectedPrinted,
PrintingPolicyAdjuster PolicyAdjuster) {
return PrintedNodeMatches<QualType>(Code, Args, NodeMatch, ExpectedPrinted,
"", PrintType, PolicyAdjuster);
}
} // unnamed namespace
TEST(TypePrinter, TemplateId) {
std::string Code = R"cpp(
namespace N {
template <typename> struct Type {};
template <typename T>
void Foo(const Type<T> &Param);
}
)cpp";
auto Matcher = parmVarDecl(hasType(qualType().bind("id")));
ASSERT_TRUE(PrintedTypeMatches(
Code, {}, Matcher, "const Type<T> &",
[](PrintingPolicy &Policy) { Policy.FullyQualifiedName = false; }));
ASSERT_TRUE(PrintedTypeMatches(
Code, {}, Matcher, "const N::Type<T> &",
[](PrintingPolicy &Policy) { Policy.FullyQualifiedName = true; }));
}
TEST(TypePrinter, TemplateId2) {
std::string Code = R"cpp(
template <template <typename ...> class TemplatedType>
void func(TemplatedType<int> Param);
)cpp";
auto Matcher = parmVarDecl(hasType(qualType().bind("id")));
// Regression test ensuring we do not segfault getting the QualType as a
// string.
ASSERT_TRUE(PrintedTypeMatches(Code, {}, Matcher, "<int>",
[](PrintingPolicy &Policy) {
Policy.FullyQualifiedName = true;
Policy.PrintCanonicalTypes = true;
}));
}
TEST(TypePrinter, ParamsUglified) {
llvm::StringLiteral Code = R"cpp(
template <typename _Tp, template <typename> class __f>
const __f<_Tp&> *A = nullptr;
)cpp";
auto Clean = [](PrintingPolicy &Policy) {
Policy.CleanUglifiedParameters = true;
};
ASSERT_TRUE(PrintedTypeMatches(Code, {},
varDecl(hasType(qualType().bind("id"))),
"const __f<_Tp &> *", nullptr));
ASSERT_TRUE(PrintedTypeMatches(Code, {},
varDecl(hasType(qualType().bind("id"))),
"const f<Tp &> *", Clean));
}
|