EIC code displayed by LXR master/​include/​boost/​leaf/​on_error.hpp	Source navigation Diff markup Identifier search General search
	Version: master test Revert   Change

File indexing completed on 2025-09-15 08:39:09

 #ifndef BOOST_LEAF_ON_ERROR_HPP_INCLUDED
 #define BOOST_LEAF_ON_ERROR_HPP_INCLUDED
 
 // 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)
 
 #include <boost/leaf/config.hpp>
 #include <boost/leaf/error.hpp>
 
 namespace boost { namespace leaf {
 
 class error_monitor
 {
 #if !defined(BOOST_LEAF_NO_EXCEPTIONS) && BOOST_LEAF_STD_UNCAUGHT_EXCEPTIONS
     int const uncaught_exceptions_;
 #endif
     int const err_id_;
 
 public:
 
     error_monitor() noexcept:
 #if !defined(BOOST_LEAF_NO_EXCEPTIONS) && BOOST_LEAF_STD_UNCAUGHT_EXCEPTIONS
         uncaught_exceptions_(std::uncaught_exceptions()),
 #endif
         err_id_(detail::current_id())
     {
     }
 
     int check_id() const noexcept
     {
         int err_id = detail::current_id();
         if( err_id != err_id_ )
             return err_id;
         else
         {
 #ifndef BOOST_LEAF_NO_EXCEPTIONS
 #   if BOOST_LEAF_STD_UNCAUGHT_EXCEPTIONS
             if( std::uncaught_exceptions() > uncaught_exceptions_ )
 #   else
             if( std::uncaught_exception() )
 #   endif
                 return detail::new_id();
 #endif
             return 0;
         }
     }
 
     int get_id() const noexcept
     {
         int err_id = detail::current_id();
         if( err_id != err_id_ )
             return err_id;
         else
             return detail::new_id();
     }
 
     error_id check() const noexcept
     {
         return detail::make_error_id(check_id());
     }
 
     error_id assigned_error_id() const noexcept
     {
         return detail::make_error_id(get_id());
     }
 };
 
 ////////////////////////////////////////
 
 namespace detail
 {
     template <int I, class Tup>
     struct tuple_for_each_preload
     {
         BOOST_LEAF_CONSTEXPR static void trigger( Tup & tup, int err_id ) noexcept
         {
             BOOST_LEAF_ASSERT((err_id&3) == 1);
             tuple_for_each_preload<I-1,Tup>::trigger(tup,err_id);
             std::get<I-1>(tup).trigger(err_id);
         }
     };
 
     template <class Tup>
     struct tuple_for_each_preload<0, Tup>
     {
         BOOST_LEAF_CONSTEXPR static void trigger( Tup const &, int ) noexcept { }
     };
 
     template <class E>
     class preloaded_item
     {
         using decay_E = typename std::decay<E>::type;
         decay_E e_;
 
     public:
 
         BOOST_LEAF_CONSTEXPR preloaded_item( E && e ):
             e_(std::forward<E>(e))
         {
         }
 
         BOOST_LEAF_CONSTEXPR void trigger( int err_id ) noexcept
         {
             (void) load_slot<true>(err_id, std::move(e_));
         }
     };
 
     template <class F, class ReturnType = typename function_traits<F>::return_type>
     class deferred_item
     {
         F f_;
 
     public:
 
         BOOST_LEAF_CONSTEXPR deferred_item( F && f ) noexcept:
             f_(std::forward<F>(f))
         {
         }
 
         BOOST_LEAF_CONSTEXPR void trigger( int err_id ) noexcept
         {
             (void) load_slot_deferred<true>(err_id, f_);
         }
     };
 
     template <class F>
     class deferred_item<F, void>
     {
         F f_;
 
     public:
 
         BOOST_LEAF_CONSTEXPR deferred_item( F && f ) noexcept:
             f_(std::forward<F>(f))
         {
         }
 
         BOOST_LEAF_CONSTEXPR void trigger( int ) noexcept
         {
             f_();
         }
     };
 
     template <class F, class A0 = fn_arg_type<F,0>, int arity = function_traits<F>::arity>
     class accumulating_item;
 
     template <class F, class A0>
     class accumulating_item<F, A0 &, 1>
     {
         F f_;
 
     public:
 
         BOOST_LEAF_CONSTEXPR accumulating_item( F && f ) noexcept:
             f_(std::forward<F>(f))
         {
         }
 
         BOOST_LEAF_CONSTEXPR void trigger( int err_id ) noexcept
         {
             load_slot_accumulate<true>(err_id, std::move(f_));
         }
     };
 
     template <class... Item>
     class preloaded
     {
         preloaded & operator=( preloaded const & ) = delete;
 
         std::tuple<Item...> p_;
         bool moved_;
         error_monitor id_;
 
     public:
 
         BOOST_LEAF_CONSTEXPR explicit preloaded( Item && ... i ):
             p_(std::forward<Item>(i)...),
             moved_(false)
         {
         }
 
         BOOST_LEAF_CONSTEXPR preloaded( preloaded && x ) noexcept:
             p_(std::move(x.p_)),
             moved_(false),
             id_(std::move(x.id_))
         {
             x.moved_ = true;
         }
 
         ~preloaded() noexcept
         {
             if( moved_ )
                 return;
             if( auto id = id_.check_id() )
                 tuple_for_each_preload<sizeof...(Item),decltype(p_)>::trigger(p_,id);
         }
     };
 
     template <class T, int arity = function_traits<T>::arity>
     struct deduce_item_type;
 
     template <class T>
     struct deduce_item_type<T, -1>
     {
         using type = preloaded_item<T>;
     };
 
     template <class F>
     struct deduce_item_type<F, 0>
     {
         using type = deferred_item<F>;
     };
 
     template <class F>
     struct deduce_item_type<F, 1>
     {
         using type = accumulating_item<F>;
     };
 }
 
 template <class... Item>
 BOOST_LEAF_ATTRIBUTE_NODISCARD BOOST_LEAF_CONSTEXPR inline
 detail::preloaded<typename detail::deduce_item_type<Item>::type...>
 on_error( Item && ... i )
 {
     return detail::preloaded<typename detail::deduce_item_type<Item>::type...>(std::forward<Item>(i)...);
 }
 
 } }
 
 #endif // BOOST_LEAF_ON_ERROR_HPP_INCLUDED

This page was automatically generated by the 2.3.7 LXR engine. The LXR team