| #ifndef BOOST_CORE_LIGHTWEIGHT_TEST_TRAIT_HPP |
| #define BOOST_CORE_LIGHTWEIGHT_TEST_TRAIT_HPP |
| |
| // MS compatible compilers support #pragma once |
| |
| #if defined(_MSC_VER) |
| # pragma once |
| #endif |
| |
| // boost/core/lightweight_test_trait.hpp |
| // |
| // BOOST_TEST_TRAIT_TRUE, BOOST_TEST_TRAIT_FALSE, BOOST_TEST_TRAIT_SAME |
| // |
| // Copyright 2014 Peter Dimov |
| // |
| // Copyright 2019 Glen Joseph Fernandes |
| // (glenjofe@gmail.com) |
| // |
| // 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/core/lightweight_test.hpp> |
| #include <boost/core/typeinfo.hpp> |
| #include <boost/core/is_same.hpp> |
| #include <boost/config.hpp> |
| |
| namespace boost |
| { |
| |
| namespace detail |
| { |
| |
| template<class, int = 0> struct test_print { }; |
| |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<T, 2>) |
| { |
| return o << boost::core::demangled_name(BOOST_CORE_TYPEID(T)); |
| } |
| |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<T, 1>) |
| { |
| return o << test_print<T, 2>(); |
| } |
| |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<const T, 1>) |
| { |
| return o << test_print<T, 2>() << " const"; |
| } |
| |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<volatile T, 1>) |
| { |
| return o << test_print<T, 2>() << " volatile"; |
| } |
| |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<const volatile T, 1>) |
| { |
| return o << test_print<T, 2>() << " const volatile"; |
| } |
| |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<T>) |
| { |
| return o << test_print<T, 1>(); |
| } |
| |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<T&>) |
| { |
| return o << test_print<T, 1>() << " &"; |
| } |
| |
| #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES) |
| template<class T> inline std::ostream& operator<<(std::ostream& o, test_print<T&&>) |
| { |
| return o << test_print<T, 1>() << " &&"; |
| } |
| #endif |
| |
| template< class T > inline void test_trait_impl( char const * trait, void (*)( T ), |
| bool expected, char const * file, int line, char const * function ) |
| { |
| if( T::value == expected ) |
| { |
| test_results(); |
| } |
| else |
| { |
| BOOST_LIGHTWEIGHT_TEST_OSTREAM |
| << file << "(" << line << "): predicate '" << trait << "' [" |
| << boost::core::demangled_name( BOOST_CORE_TYPEID(T) ) << "]" |
| << " test failed in function '" << function |
| << "' (should have been " << ( expected? "true": "false" ) << ")" |
| << std::endl; |
| |
| ++test_results().errors(); |
| } |
| } |
| |
| template<class T> inline bool test_trait_same_impl_( T ) |
| { |
| return T::value; |
| } |
| |
| template<class T1, class T2> inline void test_trait_same_impl( char const * types, |
| boost::core::is_same<T1, T2> same, char const * file, int line, char const * function ) |
| { |
| if( test_trait_same_impl_( same ) ) |
| { |
| test_results(); |
| } |
| else |
| { |
| BOOST_LIGHTWEIGHT_TEST_OSTREAM |
| << file << "(" << line << "): test 'is_same<" << types << ">'" |
| << " failed in function '" << function |
| << "' ('" << test_print<T1>() |
| << "' != '" << test_print<T2>() << "')" |
| << std::endl; |
| |
| ++test_results().errors(); |
| } |
| } |
| |
| } // namespace detail |
| |
| } // namespace boost |
| |
| #define BOOST_TEST_TRAIT_TRUE(type) ( ::boost::detail::test_trait_impl(#type, (void(*)type)0, true, __FILE__, __LINE__, BOOST_CURRENT_FUNCTION) ) |
| #define BOOST_TEST_TRAIT_FALSE(type) ( ::boost::detail::test_trait_impl(#type, (void(*)type)0, false, __FILE__, __LINE__, BOOST_CURRENT_FUNCTION) ) |
| |
| #if defined(__GNUC__) |
| // ignoring -Wvariadic-macros with #pragma doesn't work under GCC |
| # pragma GCC system_header |
| #endif |
| |
| #define BOOST_TEST_TRAIT_SAME(...) ( ::boost::detail::test_trait_same_impl(#__VA_ARGS__, ::boost::core::is_same<__VA_ARGS__>(), __FILE__, __LINE__, BOOST_CURRENT_FUNCTION) ) |
| |
| #endif // #ifndef BOOST_CORE_LIGHTWEIGHT_TEST_TRAIT_HPP |