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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
/******************************************************************************
* ____ _ _____ *
* / ___| / \ | ___| C++ *
* | | / _ \ | |_ Actor *
* | |___ / ___ \| _| Framework *
* \____/_/ \_|_| *
* *
* Copyright 2011-2018 Dominik Charousset *
* *
* Distributed under the terms and conditions of the BSD 3-Clause License or *
* (at your option) under the terms and conditions of the Boost Software *
* License 1.0. See accompanying files LICENSE and LICENSE_ALTERNATIVE. *
* *
* If you did not receive a copy of the license files, see *
* http://opensource.org/licenses/BSD-3-Clause and *
* http://www.boost.org/LICENSE_1_0.txt. *
******************************************************************************/
#include "caf/config.hpp"
#define CAF_SUITE expected
#include "caf/test/unit_test.hpp"
#include "caf/sec.hpp"
#include "caf/expected.hpp"
using namespace std;
using namespace caf;
#define CHECK(x) CAF_CHECK(x);
#define CHECK_EQ(x, y) \
CAF_CHECK(x == y); \
CAF_CHECK(y == x);
#define CHECK_NEQ(x, y) \
CAF_CHECK(x != y); \
CAF_CHECK(y != x);
namespace {
using e_int = expected<int>;
using e_str = expected<std::string>;
} // namespace
CAF_TEST(both_engaged_equal) {
e_int x{42};
e_int y{42};
CHECK(x);
CHECK(y);
CHECK_EQ(x, y);
CHECK_EQ(x, 42);
CHECK_EQ(y, 42);
}
CAF_TEST(both_engaged_not_equal) {
e_int x{42};
e_int y{24};
CHECK(x);
CHECK(y);
CHECK_NEQ(x, y);
CHECK_NEQ(x, sec::unexpected_message);
CHECK_NEQ(y, sec::unexpected_message);
CHECK_EQ(x, 42);
CHECK_EQ(y, 24);
}
CAF_TEST(engaged_plus_not_engaged) {
e_int x{42};
e_int y{sec::unexpected_message};
CHECK(x);
CHECK(!y);
CHECK_EQ(x, 42);
CHECK_EQ(y, sec::unexpected_message);
CHECK_NEQ(x, sec::unexpected_message);
CHECK_NEQ(x, y);
CHECK_NEQ(y, 42);
CHECK_NEQ(y, sec::unsupported_sys_key);
}
CAF_TEST(both_not_engaged) {
e_int x{sec::unexpected_message};
e_int y{sec::unexpected_message};
CHECK(!x);
CHECK(!y);
CHECK_EQ(x, y);
CHECK_EQ(x, sec::unexpected_message);
CHECK_EQ(y, sec::unexpected_message);
CHECK_EQ(x.error(), y.error());
CHECK_NEQ(x, sec::unsupported_sys_key);
CHECK_NEQ(y, sec::unsupported_sys_key);
}
CAF_TEST(move_and_copy) {
e_str x{sec::unexpected_message};
e_str y{"hello"};
x = "hello";
CHECK_NEQ(x, sec::unexpected_message);
CHECK_EQ(x, "hello");
CHECK_EQ(x, y);
y = "world";
x = std::move(y);
CHECK_EQ(x, "world");
e_str z{std::move(x)};
CHECK_EQ(z, "world");
e_str z_cpy{z};
CHECK_EQ(z_cpy, "world");
CHECK_EQ(z, z_cpy);
z = e_str{sec::unsupported_sys_key};
CHECK_NEQ(z, z_cpy);
CHECK_EQ(z, sec::unsupported_sys_key);
}
CAF_TEST(construction_with_none) {
e_int x{none};
CHECK(!x);
CHECK(!x.error());
}
CAF_TEST(construction_with_no_error) {
e_int x{no_error};
CHECK(!x);
CHECK(!x.error());
auto f = []() -> e_int {
return no_error;
};
CHECK_EQ(f(), x);
}
|
