123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174 |
- #ifndef BOOST_OUTCOME_BOOST_RESULT_HPP
- #define BOOST_OUTCOME_BOOST_RESULT_HPP
- #include "config.hpp"
- #include "boost/system/system_error.hpp"
- #include "boost/exception_ptr.hpp"
- #include "boost/version.hpp"
- BOOST_OUTCOME_V2_NAMESPACE_EXPORT_BEGIN
- namespace policy
- {
- namespace detail
- {
-
- inline boost::system::error_code make_error_code(boost::system::error_code v) { return v; }
-
- inline boost::exception_ptr make_exception_ptr(boost::exception_ptr v) { return v; }
- }
- }
- BOOST_OUTCOME_V2_NAMESPACE_END
- #include "std_result.hpp"
- namespace boost
- {
- namespace system
- {
- inline void outcome_throw_as_system_error_with_payload(const error_code &error) { BOOST_OUTCOME_THROW_EXCEPTION(system_error(error)); }
- namespace errc
- {
- BOOST_OUTCOME_TEMPLATE(class Error)
- BOOST_OUTCOME_TREQUIRES(BOOST_OUTCOME_TPRED(is_error_code_enum<std::decay_t<Error>>::value || is_error_condition_enum<std::decay_t<Error>>::value))
- inline void outcome_throw_as_system_error_with_payload(Error &&error) { BOOST_OUTCOME_THROW_EXCEPTION(system_error(make_error_code(error))); }
- }
- }
- }
- BOOST_OUTCOME_V2_NAMESPACE_EXPORT_BEGIN
- namespace detail
- {
-
- template <class State> constexpr inline void _set_error_is_errno(State &state, const boost::system::error_code &error)
- {
- if(error.category() == boost::system::generic_category()
- #ifndef _WIN32
- || error.category() == boost::system::system_category()
- #endif
- )
- {
- state._status.set_have_error_is_errno(true);
- }
- }
- template <class State> constexpr inline void _set_error_is_errno(State &state, const boost::system::error_condition &error)
- {
- if(error.category() == boost::system::generic_category()
- #ifndef _WIN32
- || error.category() == boost::system::system_category()
- #endif
- )
- {
- state._status.set_have_error_is_errno(true);
- }
- }
- template <class State> constexpr inline void _set_error_is_errno(State &state, const boost::system::errc::errc_t & )
- {
- state._status.set_have_error_is_errno(true);
- }
- }
- namespace trait
- {
- namespace detail
- {
-
- template <> struct _is_error_code_available<boost::system::error_code>
- {
- static constexpr bool value = true;
- using type = boost::system::error_code;
- };
- template <> struct _is_exception_ptr_available<boost::exception_ptr>
- {
- static constexpr bool value = true;
- using type = boost::exception_ptr;
- };
- }
-
- template <> struct is_error_type<boost::system::error_code>
- {
- static constexpr bool value = true;
- };
-
- template <> struct is_error_type<boost::system::errc::errc_t>
- {
- static constexpr bool value = true;
- };
-
- template <> struct is_error_type<boost::exception_ptr>
- {
- static constexpr bool value = true;
- };
-
- template <class Enum> struct is_error_type_enum<boost::system::error_code, Enum>
- {
- static constexpr bool value = boost::system::is_error_condition_enum<Enum>::value;
- };
- }
- template <class R, class S = boost::system::error_code, class NoValuePolicy = policy::default_policy<R, S, void>>
- using boost_result = basic_result<R, S, NoValuePolicy>;
- template <class R, class S = boost::system::error_code> using boost_unchecked = boost_result<R, S, policy::all_narrow>;
- template <class R, class S = boost::system::error_code> using boost_checked = boost_result<R, S, policy::throw_bad_result_access<S, void>>;
- BOOST_OUTCOME_V2_NAMESPACE_END
- #endif
|