2011-03-09 10:32:03 +01:00
|
|
|
/*
|
|
|
|
* Created by Phil on 04/03/2011.
|
|
|
|
* Copyright 2011 Two Blue Cubes Ltd. All rights reserved.
|
|
|
|
*
|
|
|
|
* 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)
|
|
|
|
*/
|
2011-03-09 10:38:33 +01:00
|
|
|
#ifndef TWOBLUECUBES_CATCH_EVALUATE_HPP_INCLUDED
|
|
|
|
#define TWOBLUECUBES_CATCH_EVALUATE_HPP_INCLUDED
|
2011-03-09 10:32:03 +01:00
|
|
|
|
2012-05-15 08:42:26 +02:00
|
|
|
namespace Catch {
|
|
|
|
namespace Internal {
|
|
|
|
|
|
|
|
enum Operator {
|
2011-03-09 10:33:33 +01:00
|
|
|
IsEqualTo,
|
|
|
|
IsNotEqualTo,
|
|
|
|
IsLessThan,
|
|
|
|
IsGreaterThan,
|
|
|
|
IsLessThanOrEqualTo,
|
|
|
|
IsGreaterThanOrEqualTo
|
2011-03-09 10:32:03 +01:00
|
|
|
};
|
2011-03-09 20:45:05 +01:00
|
|
|
|
2012-05-21 19:52:09 +02:00
|
|
|
template<Operator Op> struct OperatorTraits { static const char* getName(){ return "*error*"; } };
|
|
|
|
template<> struct OperatorTraits<IsEqualTo> { static const char* getName(){ return "=="; } };
|
|
|
|
template<> struct OperatorTraits<IsNotEqualTo> { static const char* getName(){ return "!="; } };
|
|
|
|
template<> struct OperatorTraits<IsLessThan> { static const char* getName(){ return "<"; } };
|
|
|
|
template<> struct OperatorTraits<IsGreaterThan> { static const char* getName(){ return ">"; } };
|
|
|
|
template<> struct OperatorTraits<IsLessThanOrEqualTo> { static const char* getName(){ return "<="; } };
|
|
|
|
template<> struct OperatorTraits<IsGreaterThanOrEqualTo>{ static const char* getName(){ return ">="; } };
|
2011-03-09 20:45:05 +01:00
|
|
|
|
2013-01-31 12:25:57 +01:00
|
|
|
template<typename T>
|
|
|
|
inline T& catch_const_cast(const T& t) { return const_cast<T&>(t); }
|
|
|
|
|
|
|
|
#ifdef CATCH_CONFIG_CPP11_NULLPTR
|
|
|
|
inline std::nullptr_t catch_const_cast(std::nullptr_t) { return nullptr; }
|
|
|
|
#endif // CATCH_CONFIG_CPP11_NULLPTR
|
|
|
|
|
2011-03-15 23:22:19 +01:00
|
|
|
// So the compare overloads can be operator agnostic we convey the operator as a template
|
|
|
|
// enum, which is used to specialise an Evaluator for doing the comparison.
|
2011-03-09 10:33:33 +01:00
|
|
|
template<typename T1, typename T2, Operator Op>
|
|
|
|
class Evaluator{};
|
2011-03-09 10:32:03 +01:00
|
|
|
|
2011-03-09 10:33:33 +01:00
|
|
|
template<typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
struct Evaluator<T1, T2, IsEqualTo> {
|
|
|
|
static bool evaluate( const T1& lhs, const T2& rhs) {
|
2013-01-31 12:25:57 +01:00
|
|
|
return catch_const_cast( lhs ) == catch_const_cast( rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2011-03-09 10:32:03 +01:00
|
|
|
};
|
2011-03-09 10:33:33 +01:00
|
|
|
template<typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
struct Evaluator<T1, T2, IsNotEqualTo> {
|
|
|
|
static bool evaluate( const T1& lhs, const T2& rhs ) {
|
2013-01-31 12:25:57 +01:00
|
|
|
return catch_const_cast( lhs ) != catch_const_cast( rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2011-03-09 10:32:03 +01:00
|
|
|
};
|
2011-03-09 10:33:33 +01:00
|
|
|
template<typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
struct Evaluator<T1, T2, IsLessThan> {
|
|
|
|
static bool evaluate( const T1& lhs, const T2& rhs ) {
|
2013-01-31 12:25:57 +01:00
|
|
|
return catch_const_cast( lhs ) < catch_const_cast( rhs );
|
2011-03-09 10:32:03 +01:00
|
|
|
}
|
2011-03-09 10:33:33 +01:00
|
|
|
};
|
|
|
|
template<typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
struct Evaluator<T1, T2, IsGreaterThan> {
|
|
|
|
static bool evaluate( const T1& lhs, const T2& rhs ) {
|
2013-01-31 12:25:57 +01:00
|
|
|
return catch_const_cast( lhs ) > catch_const_cast( rhs );
|
2011-03-09 10:32:03 +01:00
|
|
|
}
|
|
|
|
};
|
|
|
|
template<typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
struct Evaluator<T1, T2, IsGreaterThanOrEqualTo> {
|
|
|
|
static bool evaluate( const T1& lhs, const T2& rhs ) {
|
2013-01-31 12:25:57 +01:00
|
|
|
return catch_const_cast( lhs ) >= catch_const_cast( rhs );
|
2011-03-09 10:32:03 +01:00
|
|
|
}
|
2011-03-09 10:33:33 +01:00
|
|
|
};
|
|
|
|
template<typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
struct Evaluator<T1, T2, IsLessThanOrEqualTo> {
|
|
|
|
static bool evaluate( const T1& lhs, const T2& rhs ) {
|
2013-01-31 12:25:57 +01:00
|
|
|
return catch_const_cast( lhs ) <= catch_const_cast( rhs );
|
2011-03-09 10:32:03 +01:00
|
|
|
}
|
|
|
|
};
|
2012-11-06 20:13:25 +01:00
|
|
|
|
2011-03-15 23:22:19 +01:00
|
|
|
template<Operator Op, typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
bool applyEvaluator( const T1& lhs, const T2& rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return Evaluator<T1, T2, Op>::evaluate( lhs, rhs );
|
2011-03-15 23:22:19 +01:00
|
|
|
}
|
2012-11-06 20:13:25 +01:00
|
|
|
|
|
|
|
// This level of indirection allows us to specialise for integer types
|
|
|
|
// to avoid signed/ unsigned warnings
|
|
|
|
|
2011-03-15 23:22:19 +01:00
|
|
|
// "base" overload
|
2011-03-09 10:33:33 +01:00
|
|
|
template<Operator Op, typename T1, typename T2>
|
2012-05-15 08:42:26 +02:00
|
|
|
bool compare( const T1& lhs, const T2& rhs ) {
|
2011-03-09 10:33:33 +01:00
|
|
|
return Evaluator<T1, T2, Op>::evaluate( lhs, rhs );
|
|
|
|
}
|
2012-11-06 20:13:25 +01:00
|
|
|
|
2011-03-09 10:33:33 +01:00
|
|
|
// unsigned X to int
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( unsigned int lhs, int rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( lhs, static_cast<unsigned int>( rhs ) );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( unsigned long lhs, int rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( lhs, static_cast<unsigned int>( rhs ) );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( unsigned char lhs, int rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( lhs, static_cast<unsigned int>( rhs ) );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// unsigned X to long
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( unsigned int lhs, long rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( lhs, static_cast<unsigned long>( rhs ) );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( unsigned long lhs, long rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( lhs, static_cast<unsigned long>( rhs ) );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( unsigned char lhs, long rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( lhs, static_cast<unsigned long>( rhs ) );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// int to unsigned X
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( int lhs, unsigned int rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( static_cast<unsigned int>( lhs ), rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( int lhs, unsigned long rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( static_cast<unsigned int>( lhs ), rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( int lhs, unsigned char rhs ) {
|
2011-04-01 09:15:08 +02:00
|
|
|
return applyEvaluator<Op>( static_cast<unsigned int>( lhs ), rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// long to unsigned X
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( long lhs, unsigned int rhs ) {
|
2012-04-27 19:42:40 +02:00
|
|
|
return applyEvaluator<Op>( static_cast<unsigned long>( lhs ), rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( long lhs, unsigned long rhs ) {
|
2012-04-27 19:42:40 +02:00
|
|
|
return applyEvaluator<Op>( static_cast<unsigned long>( lhs ), rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2012-05-15 08:42:26 +02:00
|
|
|
template<Operator Op> bool compare( long lhs, unsigned char rhs ) {
|
2012-04-27 19:42:40 +02:00
|
|
|
return applyEvaluator<Op>( static_cast<unsigned long>( lhs ), rhs );
|
2011-03-09 10:33:33 +01:00
|
|
|
}
|
2011-03-18 20:08:33 +01:00
|
|
|
|
2012-05-24 19:41:14 +02:00
|
|
|
// pointer to long (when comparing against NULL)
|
2012-11-06 20:13:25 +01:00
|
|
|
template<Operator Op, typename T> bool compare( long lhs, T* rhs ) {
|
2011-03-18 20:08:33 +01:00
|
|
|
return Evaluator<T*, T*, Op>::evaluate( reinterpret_cast<T*>( lhs ), rhs );
|
|
|
|
}
|
2012-11-06 20:13:25 +01:00
|
|
|
template<Operator Op, typename T> bool compare( T* lhs, long rhs ) {
|
2012-05-07 20:45:55 +02:00
|
|
|
return Evaluator<T*, T*, Op>::evaluate( lhs, reinterpret_cast<T*>( rhs ) );
|
2012-05-15 08:42:26 +02:00
|
|
|
}
|
2011-03-15 23:22:19 +01:00
|
|
|
|
2012-05-24 19:41:14 +02:00
|
|
|
// pointer to int (when comparing against NULL)
|
2012-11-06 20:13:25 +01:00
|
|
|
template<Operator Op, typename T> bool compare( int lhs, T* rhs ) {
|
2012-05-24 19:41:14 +02:00
|
|
|
return Evaluator<T*, T*, Op>::evaluate( reinterpret_cast<T*>( lhs ), rhs );
|
|
|
|
}
|
2012-11-06 20:13:25 +01:00
|
|
|
template<Operator Op, typename T> bool compare( T* lhs, int rhs ) {
|
2012-05-24 19:41:14 +02:00
|
|
|
return Evaluator<T*, T*, Op>::evaluate( lhs, reinterpret_cast<T*>( rhs ) );
|
|
|
|
}
|
2013-01-31 12:25:57 +01:00
|
|
|
|
|
|
|
#ifdef CATCH_CONFIG_CPP11_NULLPTR
|
|
|
|
// pointer to nullptr_t (when comparing against nullptr)
|
|
|
|
template<Operator Op, typename T> bool compare( std::nullptr_t lhs, T* rhs ) {
|
|
|
|
return Evaluator<T*, T*, Op>::evaluate( reinterpret_cast<T*>( lhs ), rhs );
|
|
|
|
}
|
|
|
|
template<Operator Op, typename T> bool compare( T* lhs, std::nullptr_t rhs ) {
|
|
|
|
return Evaluator<T*, T*, Op>::evaluate( lhs, reinterpret_cast<T*>( rhs ) );
|
|
|
|
}
|
|
|
|
#endif // CATCH_CONFIG_CPP11_NULLPTR
|
|
|
|
|
2011-03-15 23:22:19 +01:00
|
|
|
} // end of namespace Internal
|
|
|
|
} // end of namespace Catch
|
2011-03-09 10:32:03 +01:00
|
|
|
|
2011-03-09 10:38:33 +01:00
|
|
|
#endif // TWOBLUECUBES_CATCH_EVALUATE_HPP_INCLUDED
|