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
99
100
101
102
103
104
105
106
107
|
//===- llvm/Testing/Support/Error.h ---------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef LLVM_TESTING_SUPPORT_ERROR_H
#define LLVM_TESTING_SUPPORT_ERROR_H
#include "llvm/ADT/Optional.h"
#include "llvm/Support/Error.h"
#include "llvm/Testing/Support/SupportHelpers.h"
#include "gmock/gmock.h"
#include <ostream>
namespace llvm {
namespace detail {
ErrorHolder TakeError(Error Err);
template <typename T> ExpectedHolder<T> TakeExpected(Expected<T> &Exp) {
return {TakeError(Exp.takeError()), Exp};
}
template <typename T> ExpectedHolder<T> TakeExpected(Expected<T> &&Exp) {
return TakeExpected(Exp);
}
template <typename T>
class ValueMatchesMono
: public testing::MatcherInterface<const ExpectedHolder<T> &> {
public:
explicit ValueMatchesMono(const testing::Matcher<T> &Matcher)
: Matcher(Matcher) {}
bool MatchAndExplain(const ExpectedHolder<T> &Holder,
testing::MatchResultListener *listener) const override {
if (!Holder.Success)
return false;
bool result = Matcher.MatchAndExplain(*Holder.Exp, listener);
if (result)
return result;
*listener << "(";
Matcher.DescribeNegationTo(listener->stream());
*listener << ")";
return result;
}
void DescribeTo(std::ostream *OS) const override {
*OS << "succeeded with value (";
Matcher.DescribeTo(OS);
*OS << ")";
}
void DescribeNegationTo(std::ostream *OS) const override {
*OS << "did not succeed or value (";
Matcher.DescribeNegationTo(OS);
*OS << ")";
}
private:
testing::Matcher<T> Matcher;
};
template<typename M>
class ValueMatchesPoly {
public:
explicit ValueMatchesPoly(const M &Matcher) : Matcher(Matcher) {}
template <typename T>
operator testing::Matcher<const ExpectedHolder<T> &>() const {
return MakeMatcher(
new ValueMatchesMono<T>(testing::SafeMatcherCast<T>(Matcher)));
}
private:
M Matcher;
};
} // namespace detail
#define EXPECT_THAT_ERROR(Err, Matcher) \
EXPECT_THAT(llvm::detail::TakeError(Err), Matcher)
#define ASSERT_THAT_ERROR(Err, Matcher) \
ASSERT_THAT(llvm::detail::TakeError(Err), Matcher)
#define EXPECT_THAT_EXPECTED(Err, Matcher) \
EXPECT_THAT(llvm::detail::TakeExpected(Err), Matcher)
#define ASSERT_THAT_EXPECTED(Err, Matcher) \
ASSERT_THAT(llvm::detail::TakeExpected(Err), Matcher)
MATCHER(Succeeded, "") { return arg.Success; }
MATCHER(Failed, "") { return !arg.Success; }
template <typename M>
detail::ValueMatchesPoly<M> HasValue(M Matcher) {
return detail::ValueMatchesPoly<M>(Matcher);
}
} // namespace llvm
#endif
|
