outcome/policy/throw_bad_result_access.hpp

0001 /* Policies for result and outcome
0002 (C) 2017-2023 Niall Douglas <http://www.nedproductions.biz/> (13 commits)
0003 File Created: Oct 2017
0004
0005
0006 Boost Software License - Version 1.0 - August 17th, 2003
0007
0008 Permission is hereby granted, free of charge, to any person or organization
0009 obtaining a copy of the software and accompanying documentation covered by
0010 this license (the "Software") to use, reproduce, display, distribute,
0011 execute, and transmit the Software, and to prepare derivative works of the
0012 Software, and to permit third-parties to whom the Software is furnished to
0013 do so, all subject to the following:
0014
0015 The copyright notices in the Software and this entire statement, including
0016 the above license grant, this restriction and the following disclaimer,
0017 must be included in all copies of the Software, in whole or in part, and
0018 all derivative works of the Software, unless such copies or derivative
0019 works are solely in the form of machine-executable object code generated by
0020 a source language processor.
0021
0022 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
0023 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
0024 FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT
0025 SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
0026 FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
0027 ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
0028 DEALINGS IN THE SOFTWARE.
0029 */
0030
0031 #ifndef BOOST_OUTCOME_POLICY_THROW_BAD_RESULT_ACCESS_HPP
0032 #define BOOST_OUTCOME_POLICY_THROW_BAD_RESULT_ACCESS_HPP
0033
0034 #include "../bad_access.hpp"
0035 #include "base.hpp"
0036
0037 BOOST_OUTCOME_V2_NAMESPACE_EXPORT_BEGIN
0038
0039 namespace policy
0040 {
0041   /*! AWAITING HUGO JSON CONVERSION TOOL
0042 type definition  throw_bad_result_access. Potential doc page: NOT FOUND
0043 */
0044   template <class EC, class EP> struct throw_bad_result_access : base
0045   {
0046     template <class Impl> static constexpr void wide_value_check(Impl &&self)
0047     {
0048       if(!base::_has_value(std::forward<Impl>(self)))
0049       {
0050         BOOST_OUTCOME_THROW_EXCEPTION(bad_outcome_access("no value"));  // NOLINT
0051       }
0052     }
0053     template <class Impl> static constexpr void wide_error_check(Impl &&self)
0054     {
0055       if(!base::_has_error(std::forward<Impl>(self)))
0056       {
0057         BOOST_OUTCOME_THROW_EXCEPTION(bad_outcome_access("no error"));  // NOLINT
0058       }
0059     }
0060     template <class Impl> static constexpr void wide_exception_check(Impl &&self)
0061     {
0062       if(!base::_has_exception(std::forward<Impl>(self)))
0063       {
0064         BOOST_OUTCOME_THROW_EXCEPTION(bad_outcome_access("no exception"));  // NOLINT
0065       }
0066     }
0067   };
0068   template <class EC> struct throw_bad_result_access<EC, void> : base
0069   {
0070     template <class Impl> static constexpr void wide_value_check(Impl &&self)
0071     {
0072       if(!base::_has_value(std::forward<Impl>(self)))
0073       {
0074         if(base::_has_error(std::forward<Impl>(self)))
0075         {
0076           BOOST_OUTCOME_THROW_EXCEPTION(bad_result_access_with<EC>(base::_error(std::forward<Impl>(self))));
0077         }
0078         BOOST_OUTCOME_THROW_EXCEPTION(bad_result_access("no value"));  // NOLINT
0079       }
0080     }
0081     template <class Impl> static constexpr void wide_error_check(Impl &&self)
0082     {
0083       if(!base::_has_error(std::forward<Impl>(self)))
0084       {
0085         BOOST_OUTCOME_THROW_EXCEPTION(bad_result_access("no error"));  // NOLINT
0086       }
0087     }
0088   };
0089 }  // namespace policy
0090
0091 BOOST_OUTCOME_V2_NAMESPACE_END
0092
0093 #endif