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
|
// This file is part of CAF, the C++ Actor Framework. See the file LICENSE in
// the main distribution directory for license terms and copyright or visit
// https://github.com/actor-framework/actor-framework/blob/master/LICENSE.
#define CAF_SUITE result
#include "core-test.hpp"
#include "caf/result.hpp"
#include "caf/sec.hpp"
using namespace std;
using namespace caf;
namespace {
template <class T>
void test_unit_void() {
auto x = result<T>{};
CHECK(holds_alternative<message>(x));
}
} // namespace
CAF_TEST(value) {
auto x = result<int>{42};
CAF_REQUIRE(holds_alternative<message>(x));
if (auto view = make_typed_message_view<int>(get<message>(x)))
CHECK_EQ(get<0>(view), 42);
else
CAF_FAIL("unexpected types in result message");
}
CAF_TEST(expected) {
auto x = result<int>{expected<int>{42}};
CAF_REQUIRE(holds_alternative<message>(x));
if (auto view = make_typed_message_view<int>(get<message>(x)))
CHECK_EQ(get<0>(view), 42);
else
CAF_FAIL("unexpected types in result message");
}
CAF_TEST(void_specialization) {
test_unit_void<void>();
}
CAF_TEST(unit_specialization) {
test_unit_void<unit_t>();
}
|
