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
|
// Copyright 2018-2024 Emil Dotchevski and Reverge Studios, Inc.
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
#ifdef BOOST_LEAF_TEST_SINGLE_HEADER
# include "leaf.hpp"
#else
# include <boost/leaf/handle_errors.hpp>
# include <boost/leaf/pred.hpp>
# include <boost/leaf/result.hpp>
#endif
#include "_test_ec.hpp"
#include "lightweight_test.hpp"
#include <exception>
namespace leaf = boost::leaf;
enum class my_error { e1=1, e2, e3 };
struct e_my_error { my_error value; };
#if BOOST_LEAF_CFG_STD_SYSTEM_ERROR
struct e_error_code { std::error_code value; };
#endif
struct my_exception: std::exception
{
int value;
};
template <class M, class E>
bool test(E const & e )
{
if( M::evaluate(e) )
{
M m{e};
BOOST_TEST_EQ(&e, &m.matched);
return true;
}
else
return false;
}
int main()
{
{
e_my_error e = { my_error::e1 };
BOOST_TEST(( test<leaf::match_value<e_my_error, my_error::e1>>(e) ));
BOOST_TEST(( !test<leaf::match_value<e_my_error, my_error::e2>>(e) ));
BOOST_TEST(( test<leaf::match_value<e_my_error, my_error::e2, my_error::e1>>(e) ));
}
#if BOOST_LEAF_CFG_STD_SYSTEM_ERROR
{
e_error_code e = { errc_a::a0 };
BOOST_TEST(( test<leaf::match_value<leaf::condition<e_error_code, cond_x>, cond_x::x00>>(e) ));
BOOST_TEST(( !test<leaf::match_value<leaf::condition<e_error_code, cond_x>, cond_x::x11>>(e) ));
BOOST_TEST(( test<leaf::match_value<leaf::condition<e_error_code, cond_x>, cond_x::x11, cond_x::x00>>(e) ));
#if __cplusplus >= 201703L
BOOST_TEST(( test<leaf::match_value<e_error_code, errc_a::a0>>(e) ));
BOOST_TEST(( !test<leaf::match_value<e_error_code, errc_a::a2>>(e) ));
BOOST_TEST(( test<leaf::match_value<e_error_code, errc_a::a2, errc_a::a0>>(e) ));
#endif
}
#endif
{
int r = leaf::try_handle_all(
[]() -> leaf::result<int>
{
return leaf::new_error(e_my_error{my_error::e1});
},
[]( leaf::match_value<e_my_error, my_error::e1> )
{
return 1;
},
[]
{
return 2;
} );
BOOST_TEST_EQ(r, 1);
}
{
int r = leaf::try_handle_all(
[]() -> leaf::result<int>
{
return leaf::new_error(e_my_error{my_error::e1});
},
[]( leaf::match_value<e_my_error, my_error::e2> )
{
return 1;
},
[]
{
return 2;
} );
BOOST_TEST_EQ(r, 2);
}
return boost::report_errors();
}
|
