| 1 | /* Policies for result and outcome |
| 2 | (C) 2017-2024 Niall Douglas <http://www.nedproductions.biz/> (10 commits) |
| 3 | File Created: Oct 2017 |
| 4 | |
| 5 | |
| 6 | Boost Software License - Version 1.0 - August 17th, 2003 |
| 7 | |
| 8 | Permission is hereby granted, free of charge, to any person or organization |
| 9 | obtaining a copy of the software and accompanying documentation covered by |
| 10 | this license (the "Software") to use, reproduce, display, distribute, |
| 11 | execute, and transmit the Software, and to prepare derivative works of the |
| 12 | Software, and to permit third-parties to whom the Software is furnished to |
| 13 | do so, all subject to the following: |
| 14 | |
| 15 | The copyright notices in the Software and this entire statement, including |
| 16 | the above license grant, this restriction and the following disclaimer, |
| 17 | must be included in all copies of the Software, in whole or in part, and |
| 18 | all derivative works of the Software, unless such copies or derivative |
| 19 | works are solely in the form of machine-executable object code generated by |
| 20 | a source language processor. |
| 21 | |
| 22 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 23 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 24 | FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT |
| 25 | SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE |
| 26 | FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, |
| 27 | ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
| 28 | DEALINGS IN THE SOFTWARE. |
| 29 | */ |
| 30 | |
| 31 | #ifndef BOOST_OUTCOME_POLICY_OUTCOME_EXCEPTION_PTR_RETHROW_HPP |
| 32 | #define BOOST_OUTCOME_POLICY_OUTCOME_EXCEPTION_PTR_RETHROW_HPP |
| 33 | |
| 34 | #include "result_exception_ptr_rethrow.hpp" |
| 35 | |
| 36 | BOOST_OUTCOME_V2_NAMESPACE_EXPORT_BEGIN |
| 37 | |
| 38 | namespace policy |
| 39 | { |
| 40 | /*! AWAITING HUGO JSON CONVERSION TOOL |
| 41 | type definition exception_ptr_rethrow. Potential doc page: NOT FOUND |
| 42 | */ |
| 43 | template <class T, class EC, class E> struct exception_ptr_rethrow : base |
| 44 | { |
| 45 | template <class Impl> static constexpr void wide_value_check(Impl &&self) |
| 46 | { |
| 47 | if(!base::_has_value(std::forward<Impl>(self))) |
| 48 | { |
| 49 | if(base::_has_exception(std::forward<Impl>(self))) |
| 50 | { |
| 51 | detail::_rethrow_exception<trait::is_exception_ptr_available<E>::value>{base::_exception<T, EC, E, exception_ptr_rethrow>(std::forward<Impl>(self))}; |
| 52 | } |
| 53 | if(base::_has_error(std::forward<Impl>(self))) |
| 54 | { |
| 55 | detail::_rethrow_exception<trait::is_exception_ptr_available<EC>::value>{base::_error(std::forward<Impl>(self))}; |
| 56 | } |
| 57 | BOOST_OUTCOME_THROW_EXCEPTION(bad_outcome_access("no value" )); // NOLINT |
| 58 | } |
| 59 | } |
| 60 | template <class Impl> static constexpr void wide_error_check(Impl &&self) |
| 61 | { |
| 62 | if(!base::_has_error(std::forward<Impl>(self))) |
| 63 | { |
| 64 | BOOST_OUTCOME_THROW_EXCEPTION(bad_outcome_access("no error" )); // NOLINT |
| 65 | } |
| 66 | } |
| 67 | template <class Impl> static constexpr void wide_exception_check(Impl &&self) |
| 68 | { |
| 69 | if(!base::_has_exception(std::forward<Impl>(self))) |
| 70 | { |
| 71 | BOOST_OUTCOME_THROW_EXCEPTION(bad_outcome_access("no exception" )); // NOLINT |
| 72 | } |
| 73 | } |
| 74 | }; |
| 75 | } // namespace policy |
| 76 | |
| 77 | BOOST_OUTCOME_V2_NAMESPACE_END |
| 78 | |
| 79 | #endif |
| 80 | |