123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326 |
- #ifndef BOOST_SYSTEM_DETAIL_ERROR_CONDITION_HPP_INCLUDED
- #define BOOST_SYSTEM_DETAIL_ERROR_CONDITION_HPP_INCLUDED
- // Copyright Beman Dawes 2006, 2007
- // Copyright Christoper Kohlhoff 2007
- // Copyright Peter Dimov 2017-2021
- //
- // 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)
- //
- // See library home page at http://www.boost.org/libs/system
- #include <boost/system/detail/error_category.hpp>
- #include <boost/system/detail/generic_category.hpp>
- #include <boost/system/detail/enable_if.hpp>
- #include <boost/system/detail/is_same.hpp>
- #include <boost/system/detail/errc.hpp>
- #include <boost/system/detail/append_int.hpp>
- #include <boost/system/is_error_condition_enum.hpp>
- #include <boost/system/detail/config.hpp>
- #include <boost/config.hpp>
- namespace boost
- {
- namespace system
- {
- // class error_condition
- // error_conditions are portable, error_codes are system or library specific
- namespace detail
- {
- struct generic_value_tag
- {
- int value;
- BOOST_SYSTEM_CONSTEXPR explicit generic_value_tag( int v ): value( v ) {}
- };
- } // namespace detail
- class error_condition
- {
- private:
- int val_;
- error_category const * cat_;
- private:
- boost::ulong_long_type cat_id() const noexcept
- {
- return cat_? cat_->id_: detail::generic_category_id;
- }
- public:
- // constructors:
- BOOST_SYSTEM_CONSTEXPR error_condition() noexcept:
- val_( 0 ), cat_( 0 )
- {
- }
- BOOST_SYSTEM_CONSTEXPR error_condition( int val, const error_category & cat ) noexcept:
- val_( val ), cat_( &cat )
- {
- }
- BOOST_SYSTEM_CONSTEXPR explicit error_condition( boost::system::detail::generic_value_tag vt ) noexcept:
- val_( vt.value ), cat_( 0 )
- {
- }
- template<class ErrorConditionEnum> BOOST_SYSTEM_CONSTEXPR error_condition( ErrorConditionEnum e,
- typename detail::enable_if<
- is_error_condition_enum<ErrorConditionEnum>::value && !boost::system::detail::is_same<ErrorConditionEnum, errc::errc_t>::value
- >::type* = 0) noexcept
- {
- *this = make_error_condition( e );
- }
- template<class ErrorConditionEnum> BOOST_SYSTEM_CONSTEXPR error_condition( ErrorConditionEnum e,
- typename detail::enable_if<boost::system::detail::is_same<ErrorConditionEnum, errc::errc_t>::value>::type* = 0) noexcept:
- val_( e ), cat_( 0 )
- {
- }
- // modifiers:
- BOOST_SYSTEM_CONSTEXPR void assign( int val, const error_category & cat ) noexcept
- {
- val_ = val;
- cat_ = &cat;
- }
- template<typename ErrorConditionEnum>
- BOOST_SYSTEM_CONSTEXPR typename detail::enable_if<is_error_condition_enum<ErrorConditionEnum>::value, error_condition>::type &
- operator=( ErrorConditionEnum val ) noexcept
- {
- *this = error_condition( val );
- return *this;
- }
- BOOST_SYSTEM_CONSTEXPR void clear() noexcept
- {
- val_ = 0;
- cat_ = 0;
- }
- // observers:
- BOOST_SYSTEM_CONSTEXPR int value() const noexcept
- {
- return val_;
- }
- BOOST_SYSTEM_CONSTEXPR const error_category & category() const noexcept
- {
- return cat_? *cat_: generic_category();
- }
- std::string message() const
- {
- if( cat_ )
- {
- return cat_->message( value() );
- }
- else
- {
- return detail::generic_error_category_message( value() );
- }
- }
- char const * message( char * buffer, std::size_t len ) const noexcept
- {
- if( cat_ )
- {
- return cat_->message( value(), buffer, len );
- }
- else
- {
- return detail::generic_error_category_message( value(), buffer, len );
- }
- }
- BOOST_SYSTEM_CONSTEXPR bool failed() const noexcept
- {
- if( cat_ )
- {
- return detail::failed_impl( val_, *cat_ );
- }
- else
- {
- return val_ != 0;
- }
- }
- BOOST_SYSTEM_CONSTEXPR explicit operator bool() const noexcept // true if error
- {
- return failed();
- }
- // relationals:
- // the more symmetrical non-member syntax allows enum
- // conversions work for both rhs and lhs.
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator==( const error_condition & lhs, const error_condition & rhs ) noexcept
- {
- if( lhs.val_ != rhs.val_ )
- {
- return false;
- }
- else if( lhs.cat_ == 0 )
- {
- return rhs.cat_id() == detail::generic_category_id;
- }
- else if( rhs.cat_ == 0 )
- {
- return lhs.cat_id() == detail::generic_category_id;
- }
- else
- {
- return *lhs.cat_ == *rhs.cat_;
- }
- }
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator<( const error_condition & lhs, const error_condition & rhs ) noexcept
- {
- error_category const& lcat = lhs.category();
- error_category const& rcat = rhs.category();
- return lcat < rcat || ( lcat == rcat && lhs.val_ < rhs.val_ );
- }
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator!=( const error_condition & lhs, const error_condition & rhs ) noexcept
- {
- return !( lhs == rhs );
- }
- operator std::error_condition () const
- {
- // This condition must be the same as the one in error_category_impl.hpp
- #if defined(BOOST_SYSTEM_AVOID_STD_GENERIC_CATEGORY)
- return std::error_condition( value(), category() );
- #else
- if( cat_ )
- {
- return std::error_condition( val_, *cat_ );
- }
- else
- {
- return std::error_condition( val_, std::generic_category() );
- }
- #endif
- }
- inline friend bool operator==( std::error_code const & lhs, error_condition const & rhs ) noexcept
- {
- return lhs == static_cast< std::error_condition >( rhs );
- }
- inline friend bool operator==( error_condition const & lhs, std::error_code const & rhs ) noexcept
- {
- return static_cast< std::error_condition >( lhs ) == rhs;
- }
- inline friend bool operator!=( std::error_code const & lhs, error_condition const & rhs ) noexcept
- {
- return !( lhs == rhs );
- }
- inline friend bool operator!=( error_condition const & lhs, std::error_code const & rhs ) noexcept
- {
- return !( lhs == rhs );
- }
- //
- template<class E, class N = typename detail::enable_if<std::is_error_condition_enum<E>::value>::type>
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator==( error_condition const & lhs, E rhs ) noexcept
- {
- return lhs == make_error_condition( rhs );
- }
- template<class E, class N = typename detail::enable_if<std::is_error_condition_enum<E>::value>::type>
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator==( E lhs, error_condition const & rhs ) noexcept
- {
- return make_error_condition( lhs ) == rhs;
- }
- template<class E, class N = typename detail::enable_if<std::is_error_condition_enum<E>::value>::type>
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator!=( error_condition const & lhs, E rhs ) noexcept
- {
- return !( lhs == rhs );
- }
- template<class E, class N = typename detail::enable_if<std::is_error_condition_enum<E>::value>::type>
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator!=( E lhs, error_condition const & rhs ) noexcept
- {
- return !( lhs == rhs );
- }
- //
- template<class E, class N1 = void, class N2 = typename detail::enable_if<std::is_error_code_enum<E>::value>::type>
- inline friend bool operator==( error_condition const & lhs, E rhs ) noexcept
- {
- return lhs == make_error_code( rhs );
- }
- template<class E, class N1 = void, class N2 = typename detail::enable_if<std::is_error_code_enum<E>::value>::type>
- inline friend bool operator==( E lhs, error_condition const & rhs ) noexcept
- {
- return make_error_code( lhs ) == rhs;
- }
- template<class E, class N1 = void, class N2 = typename detail::enable_if<std::is_error_code_enum<E>::value>::type>
- inline friend bool operator!=( error_condition const & lhs, E rhs ) noexcept
- {
- return !( lhs == rhs );
- }
- template<class E, class N1 = void, class N2 = typename detail::enable_if<std::is_error_code_enum<E>::value>::type>
- inline friend bool operator!=( E lhs, error_condition const & rhs ) noexcept
- {
- return !( lhs == rhs );
- }
- std::string to_string() const
- {
- std::string r( "cond:" );
- if( cat_ )
- {
- r += cat_->name();
- }
- else
- {
- r += "generic";
- }
- detail::append_int( r, value() );
- return r;
- }
- template<class Ch, class Tr>
- inline friend std::basic_ostream<Ch, Tr>&
- operator<< (std::basic_ostream<Ch, Tr>& os, error_condition const & en)
- {
- os << en.to_string();
- return os;
- }
- };
- } // namespace system
- } // namespace boost
- #endif // #ifndef BOOST_SYSTEM_DETAIL_ERROR_CONDITION_HPP_INCLUDED
|