123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227 |
- ///////////////////////////////////////////////////////////////
- // Copyright 2012 John Maddock. 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_
- //
- #ifndef BOOST_MULTIPRECISION_TEST_HPP
- #define BOOST_MULTIPRECISION_TEST_HPP
- #include <limits>
- #include <cmath>
- #include <typeinfo>
- #include <iostream>
- #include <iomanip>
- #include <stdlib.h>
- #include <boost/core/lightweight_test.hpp>
- #include <boost/current_function.hpp>
- #include <boost/static_assert.hpp>
- #include <boost/utility/enable_if.hpp>
- enum
- {
- warn_on_fail,
- error_on_fail,
- abort_on_fail
- };
- template <class T>
- inline int digits_of(const T&)
- {
- return std::numeric_limits<T>::is_specialized ? std::numeric_limits<T>::digits : 18;
- }
- inline std::ostream& report_where(const char* file, int line, const char* function)
- {
- if(function)
- BOOST_LIGHTWEIGHT_TEST_OSTREAM << "In function: "<< function << std::endl;
- BOOST_LIGHTWEIGHT_TEST_OSTREAM << file << ":" << line;
- return BOOST_LIGHTWEIGHT_TEST_OSTREAM;
- }
- #define BOOST_MP_REPORT_WHERE report_where(__FILE__, __LINE__, BOOST_CURRENT_FUNCTION)
- inline void report_severity(int severity)
- {
- if(severity == error_on_fail)
- ++boost::detail::test_errors();
- else if(severity == abort_on_fail)
- {
- ++boost::detail::test_errors();
- abort();
- }
- }
- #define BOOST_MP_REPORT_SEVERITY(severity) report_severity(severity)
- template <class E>
- void report_unexpected_exception(const E& e, int severity, const char* file, int line, const char* function)
- {
- report_where(file, line, function) << " Unexpected exception of type " << typeid(e).name() << std::endl;
- BOOST_LIGHTWEIGHT_TEST_OSTREAM << "Errot message was: " << e.what() << std::endl;
- BOOST_MP_REPORT_SEVERITY(severity);
- }
- #define BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity) \
- catch(const std::exception& __e) \
- { report_unexpected_exception(__e, severity, __FILE__, __LINE__, BOOST_CURRENT_FUNCTION); }\
- catch(...)\
- { BOOST_LIGHTWEIGHT_TEST_OSTREAM << "Exception of unknown type was thrown" << std::endl; report_severity(severity); }
- #define BOOST_CHECK_IMP(x, severity)\
- try{ if(x){}else{\
- BOOST_MP_REPORT_WHERE << " Failed predicate: " << BOOST_STRINGIZE(x) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_CHECK(x) BOOST_CHECK_IMP(x, error_on_fail)
- #define BOOST_WARN(x) BOOST_CHECK_IMP(x, warn_on_fail)
- #define BOOST_REQUIRE(x) BOOST_CHECK_IMP(x, abort_on_fail)
- #define BOOST_EQUAL_IMP(x, y, severity)\
- try{ if(!((x) == (y))){\
- BOOST_MP_REPORT_WHERE << " Failed check for equality: \n" \
- << std::setprecision(digits_of(x)) << std::scientific\
- << "Value of LHS was: " << (x) << "\n"\
- << "Value of RHS was: " << (y) << "\n"\
- << std::setprecision(3) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_NE_IMP(x, y, severity)\
- try{ if(!(x != y)){\
- BOOST_MP_REPORT_WHERE << " Failed check for non-equality: \n" \
- << std::setprecision(digits_of(x)) << std::scientific\
- << "Value of LHS was: " << x << "\n"\
- << "Value of RHS was: " << y << "\n"\
- << std::setprecision(3) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_LT_IMP(x, y, severity)\
- try{ if(!(x < y)){\
- BOOST_MP_REPORT_WHERE << " Failed check for less than: \n" \
- << std::setprecision(digits_of(x)) << std::scientific\
- << "Value of LHS was: " << x << "\n"\
- << "Value of RHS was: " << y << "\n"\
- << std::setprecision(3) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_GT_IMP(x, y, severity)\
- try{ if(!(x > y)){\
- BOOST_MP_REPORT_WHERE << " Failed check for greater than: \n" \
- << std::setprecision(digits_of(x)) << std::scientific\
- << "Value of LHS was: " << x << "\n"\
- << "Value of RHS was: " << y << "\n"\
- << std::setprecision(3) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_LE_IMP(x, y, severity)\
- try{ if(!(x <= y)){\
- BOOST_MP_REPORT_WHERE << " Failed check for less-than-equal-to: \n" \
- << std::setprecision(digits_of(x)) << std::scientific\
- << "Value of LHS was: " << x << "\n"\
- << "Value of RHS was: " << y << "\n"\
- << std::setprecision(3) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_GE_IMP(x, y, severity)\
- try{ if(!(x >= y)){\
- BOOST_MP_REPORT_WHERE << " Failed check for greater-than-equal-to \n" \
- << std::setprecision(digits_of(x)) << std::scientific\
- << "Value of LHS was: " << x << "\n"\
- << "Value of RHS was: " << y << "\n"\
- << std::setprecision(3) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_MT_CHECK_THROW_IMP(x, E, severity)\
- try{ \
- x;\
- BOOST_MP_REPORT_WHERE << " Expected exception not thrown in expression " << BOOST_STRINGIZE(x) << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- catch(const E&){}\
- BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- template <class I, class J>
- bool check_equal_collections(I a, I b, J x, J y)
- {
- int i = 0;
- while(a != b)
- {
- if(x == y)
- {
- BOOST_LIGHTWEIGHT_TEST_OSTREAM << " Unexpected end of second sequence" << std::endl;
- return false;
- }
- if(*a != *x)
- {
- BOOST_LIGHTWEIGHT_TEST_OSTREAM << "Error occured in position " << i << " of the collection." << std::endl;
- BOOST_LIGHTWEIGHT_TEST_OSTREAM << "First value was " << std::setprecision(digits_of(x)) << std::scientific << *a << std::endl;
- BOOST_LIGHTWEIGHT_TEST_OSTREAM << "Second value was " << std::setprecision(digits_of(x)) << std::scientific << *x << std::endl;
- return false;
- }
- ++a;
- ++x;
- }
- return true;
- }
- #define BOOST_MT_CHECK_EQ_COLLECTIONS(a, b, x, y, severity)\
- try{ \
- if(!check_equal_collections(a, b, x, y))\
- {\
- BOOST_MP_REPORT_WHERE << " Collections were not equal" << std::endl;\
- BOOST_MP_REPORT_SEVERITY(severity);\
- }\
- }\
- BOOST_MP_UNEXPECTED_EXCEPTION_CHECK(severity)
- #define BOOST_CHECK_EQUAL(x, y) BOOST_EQUAL_IMP(x, y, error_on_fail)
- #define BOOST_WARN_EQUAL(x, y) BOOST_EQUAL_IMP(x, y, warn_on_fail)
- #define BOOST_REQUIRE_EQUAL(x, y) BOOST_EQUAL_IMP(x, y, abort_on_fail)
- #define BOOST_CHECK_NE(x, y) BOOST_NE_IMP(x, y, error_on_fail)
- #define BOOST_WARN_NE(x, y) BOOST_NE_IMP(x, y, warn_on_fail)
- #define BOOST_REQUIRE_NE(x, y) BOOST_NE_IMP(x, y, abort_on_fail)
- #define BOOST_CHECK_LT(x, y) BOOST_LT_IMP(x, y, error_on_fail)
- #define BOOST_WARN_LT(x, y) BOOST_LT_IMP(x, y, warn_on_fail)
- #define BOOST_REQUIRE_LT(x, y) BOOST_LT_IMP(x, y, abort_on_fail)
- #define BOOST_CHECK_GT(x, y) BOOST_GT_IMP(x, y, error_on_fail)
- #define BOOST_WARN_GT(x, y) BOOST_GT_IMP(x, y, warn_on_fail)
- #define BOOST_REQUIRE_GT(x, y) BOOST_GT_IMP(x, y, abort_on_fail)
- #define BOOST_CHECK_LE(x, y) BOOST_LE_IMP(x, y, error_on_fail)
- #define BOOST_WARN_LE(x, y) BOOST_LE_IMP(x, y, warn_on_fail)
- #define BOOST_REQUIRE_LE(x, y) BOOST_LE_IMP(x, y, abort_on_fail)
- #define BOOST_CHECK_GE(x, y) BOOST_GE_IMP(x, y, error_on_fail)
- #define BOOST_WARN_GE(x, y) BOOST_GE_IMP(x, y, warn_on_fail)
- #define BOOST_REQUIRE_GE(x, y) BOOST_GE_IMP(x, y, abort_on_fail)
- #define BOOST_CHECK_THROW(x, E) BOOST_MT_CHECK_THROW_IMP(x, E, error_on_fail)
- #define BOOST_WARN_THROW(x, E) BOOST_MT_CHECK_THROW_IMP(x, E, warn_on_fail)
- #define BOOST_REQUIRE_THROW(x, E) BOOST_MT_CHECK_THROW_IMP(x, E, abort_on_fail)
- #define BOOST_CHECK_EQUAL_COLLECTIONS(a, b, x, y) BOOST_MT_CHECK_EQ_COLLECTIONS(a, b, x, y, error_on_fail)
- #define BOOST_WARN_EQUAL_COLLECTIONS(a, b, x, y) BOOST_MT_CHECK_EQ_COLLECTIONS(a, b, x, y, warn_on_fail)
- #define BOOST_REQUIRE_EQUAL_COLLECTIONS(a, b, x, y) BOOST_MT_CHECK_EQ_COLLECTIONS(a, b, x, y, abort_on_fail)
- #endif
|