turtle/test/test_constraints.cpp

// http://turtle.sourceforge.net
//
// Copyright Mathieu Champlon 2008
//
// 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 <turtle/constraints.hpp>
#include <boost/test/auto_unit_test.hpp>
#include <boost/typeof/typeof.hpp>

BOOST_AUTO_TEST_CASE( all_comparison_constraints_can_be_instanciated )
{
    mock::equal( 0 );
    mock::less( 0 );
    mock::greater( 0 );
    mock::less_equal( 0 );
    mock::greater_equal( 0 );
}

BOOST_AUTO_TEST_CASE( constraints_can_be_negated_using_the_not_operator )
{
    ! mock::any;
    ! mock::affirm;
    ! mock::negate;
    ! mock::evaluate;
    ! mock::equal( 0 );
    ! mock::less( 0 );
    ! mock::greater( 0 );
    ! mock::less_equal( 0 );
    ! mock::greater_equal( 0 );
}

BOOST_AUTO_TEST_CASE( constraints_can_be_combined_using_the_or_operator )
{
    mock::less( 0 ) || mock::greater( 0 );
}

BOOST_AUTO_TEST_CASE( constraints_can_be_combined_using_the_and_operator )
{
    mock::less( 0 ) && mock::greater( 0 );
}

BOOST_AUTO_TEST_CASE( equal_constraint )
{
    BOOST_CHECK( mock::equal( std::string( "string" ) ).c_( "string" ) );
    BOOST_CHECK( ! mock::equal( std::string( "string" ) ).c_( "not string" ) );
    {
        std::string s;
        BOOST_AUTO( c, mock::equal( std::cref( s ) ) );
        s = "string";
        BOOST_CHECK( c.c_( "string" ) );
    }
    {
        std::unique_ptr< int > i;
        std::unique_ptr< int > j( new int( 3 ) );
        BOOST_CHECK( ! mock::equal( i ).c_( j ) );
        BOOST_CHECK( ! mock::equal( j ).c_( i ) );
        BOOST_CHECK( mock::equal( i ).c_( i ) );
        BOOST_CHECK( mock::equal( j ).c_( j ) );
    }
}

BOOST_AUTO_TEST_CASE( equal_constraint_deref )
{
    {
        int i = 3;
        BOOST_CHECK( mock::equal( 3 ).c_( &i ) );
        BOOST_CHECK( ! mock::equal( 7 ).c_( &i ) );
    }
    {
        int* i = 0;
        BOOST_CHECK( ! mock::equal( 3 ).c_( i ) );
    }
    {
        std::unique_ptr< int > j( new int( 3 ) );
        BOOST_CHECK( mock::equal( 3 ).c_( j ) );
        std::unique_ptr< int > i;
        BOOST_CHECK( ! mock::equal( 3 ).c_( i ) );
    }
}

BOOST_AUTO_TEST_CASE( same_constraint )
{
    {
        int i = 0;
        int j = 0;
        BOOST_CHECK_EQUAL( i, j );
        BOOST_CHECK( ! mock::same( i ).c_( j ) );
        BOOST_CHECK( mock::same( i ).c_( i ) );
    }
    {
        int i = 0;
        int j = 0;
        BOOST_CHECK_EQUAL( i, j );
        auto c = mock::same( i );
        BOOST_CHECK( ! c.c_( j ) );
        BOOST_CHECK( c.c_( i ) );
    }
    {
        std::nullptr_t p;
        BOOST_CHECK( mock::same( p ).c_( p ) );
    }
}

BOOST_AUTO_TEST_CASE( assign_constraint )
{
    {
        int i = 0;
        BOOST_CHECK( mock::assign( 3 ).c_( i ) );
        BOOST_CHECK_EQUAL( 3, i );
    }
    {
        int i = 0;
        BOOST_CHECK( mock::assign( 3 ).c_( &i ) );
        BOOST_CHECK_EQUAL( 3, i );
    }
    {
        const int* i = 0;
        const int j = 1;
        BOOST_CHECK( mock::assign( &j ).c_( i ) );
        BOOST_CHECK_EQUAL( &j, i );
    }
    {
        int* i = 0;
        const int j = 1;
        BOOST_CHECK( ! mock::assign( j ).c_( i ) );
        BOOST_CHECK( ! i );
    }
    {
        int i = 0;
        int j = 1;
        mock::constraint<
            mock::detail::assign<
                std::reference_wrapper< const int >
            >
        > c = mock::assign( std::cref( j ) );
        BOOST_CHECK( c.c_( i ) );
        BOOST_CHECK_EQUAL( 1, i );
        j = 3;
        BOOST_CHECK( c.c_( i ) );
        BOOST_CHECK_EQUAL( 3, i );
    }
    {
        int i = 0;
        int j = 1;
        auto c = mock::assign( std::cref( j ) );
        BOOST_CHECK( c.c_( &i ) );
        BOOST_CHECK_EQUAL( 1, i );
        j = 3;
        BOOST_CHECK( c.c_( &i ) );
        BOOST_CHECK_EQUAL( 3, i );
    }
    {
        const int* i = 0;
        int k = 1;
        int* j = &k;
        auto c = mock::assign( std::cref( j ) );
        BOOST_CHECK( c.c_( i ) );
        BOOST_CHECK_EQUAL( j, i );
        j = 0;
        BOOST_CHECK( c.c_( i ) );
        BOOST_CHECK_EQUAL( j, i );
    }
}

BOOST_AUTO_TEST_CASE( retrieve_constraint )
{
    {
        int i = 0;
        const int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, j );
    }
    {
        int* i = 0;
        int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( &j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        const int* i = 0;
        const int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        const int* i = 0;
        int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        int* i = 0;
        int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        const int* i = 0;
        const int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        int** i = 0;
        int* j = 0;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        const int** i = 0;
        const int* j = 0;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        int i = 0;
        const int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, j );
    }
    {
        const int* i = 0;
        const int j = 1;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        std::nullptr_t* i = 0;
        std::nullptr_t j;
        BOOST_CHECK( mock::retrieve( i ).c_( j ) );
        BOOST_CHECK_EQUAL( i, &j );
    }
    {
        std::unique_ptr< int > i;
        std::unique_ptr< int > j( new int( 3 ) );
        BOOST_CHECK( mock::retrieve( i ).c_( std::move( j ) ) );
        BOOST_REQUIRE( i );
        BOOST_CHECK_EQUAL( 3, *i );
        BOOST_CHECK( !j );
    }
}

namespace
{
    struct A
    {
    };
    struct B
    {
        B& operator=( const A& )
        {
            return *this;
        }
    };
}

BOOST_AUTO_TEST_CASE( retrieve_constraint_uses_assignment_operator )
{
    B b;
    const A a = A();
    mock::retrieve( b ).c_( a );
}

BOOST_AUTO_TEST_CASE( affirm_constraint )
{
    {
        int* i = 0;
        int j;
        BOOST_CHECK( ! mock::affirm.c_( i ) );
        BOOST_CHECK( mock::affirm.c_( &j ) );
    }
    {
        std::unique_ptr< int > i;
        std::unique_ptr< int > j( new int( 3 ) );
        BOOST_CHECK( ! mock::affirm.c_( i ) );
        BOOST_CHECK( mock::affirm.c_( j ) );
    }
}

BOOST_AUTO_TEST_CASE( negate_constraint )
{
    int* i = 0;
    int j;
    BOOST_CHECK( mock::negate.c_( i ) );
    BOOST_CHECK( ! mock::negate.c_( &j ) );
}

namespace
{
    bool return_true()
    {
        return true;
    }
    bool return_false()
    {
        return false;
    }
}

BOOST_AUTO_TEST_CASE( call_constraint )
{
    BOOST_CHECK( mock::call( &return_true ).c_() );
    BOOST_CHECK( ! mock::call( &return_false ).c_() );
}

BOOST_AUTO_TEST_CASE( evaluate_constraint )
{
    BOOST_CHECK( mock::evaluate.c_( &return_true ) );
    BOOST_CHECK( ! mock::evaluate.c_( &return_false ) );
}

BOOST_AUTO_TEST_CASE( contain_constraint_with_const_char_ptr )
{
    BOOST_CHECK( mock::contain( "string" ).c_( "this is a string" ) );
    BOOST_CHECK( mock::contain( "string" ).c_( std::string( "this is a string" ) ) );
    BOOST_CHECK( ! mock::contain( "not found" ).c_( "this is a string" ) );
    BOOST_CHECK( ! mock::contain( "not found" ).c_( std::string( "this is a string" ) ) );
    {
        const char* s = 0;
        auto c = mock::contain( std::cref( s ) );
        s = "string";
        BOOST_CHECK( c.c_( "this is a string" ) );
        BOOST_CHECK( c.c_( std::string( "this is a string" ) ) );
        s = "not found";
        BOOST_CHECK( ! c.c_( "this is a string" ) );
        BOOST_CHECK( ! c.c_( std::string( "this is a string" ) ) );
    }
}

BOOST_AUTO_TEST_CASE( contain_constraint_with_strings )
{
    BOOST_CHECK( mock::contain( std::string( "string" ) ).c_( "this is a string" ) );
    BOOST_CHECK( mock::contain( std::string( "string" ) ).c_( std::string( "this is a string" ) ) );
    BOOST_CHECK( ! mock::contain( std::string( "not found" ) ).c_( "this is a string" ) );
    BOOST_CHECK( ! mock::contain( std::string( "not found" ) ).c_( std::string( "this is a string" ) ) );
    {
        std::string s;
        mock::constraint<
            mock::detail::contain<
                std::reference_wrapper< const std::string >
            >
        > c = mock::contain( std::cref( s ) );
        s = "string";
        BOOST_CHECK( c.c_( "this is a string" ) );
        BOOST_CHECK( c.c_( std::string( "this is a string" ) ) );
        s = "not found";
        BOOST_CHECK( ! c.c_( "this is a string" ) );
        BOOST_CHECK( ! c.c_( std::string( "this is a string" ) ) );
    }
}

namespace
{
    struct type_with_overloaded_address_operator
    {
        void operator&() {}
        void operator&() const {}
    };
}

BOOST_AUTO_TEST_CASE( type_with_overloaded_address_operator_can_be_used_in_constraints )
{
    type_with_overloaded_address_operator t;
    mock::same( t ).c_( t );
    mock::retrieve( t ).c_( t );
    type_with_overloaded_address_operator* pt;
    mock::retrieve( pt ).c_( t );
}

BOOST_AUTO_TEST_CASE( close_constraint )
{
    BOOST_CHECK( mock::close( 12.0, 0.0001 ).c_( 12 ) );
    BOOST_CHECK( ! mock::close( 12.0, 0.0001 ).c_( 13 ) );
}

BOOST_AUTO_TEST_CASE( close_fraction_constraint )
{
    BOOST_CHECK( mock::close_fraction( 12.0, 0.0001 ).c_( 12 ) );
    BOOST_CHECK( ! mock::close_fraction( 12.0, 0.0001 ).c_( 13 ) );
}

BOOST_AUTO_TEST_CASE( small_constraint )
{
    BOOST_CHECK( mock::small( 0.0001 ).c_( 0. ) );
    BOOST_CHECK( ! mock::small( 0.0001 ).c_( 12. ) );
}

BOOST_AUTO_TEST_CASE( near_constraint )
{
    BOOST_CHECK( mock::near( 12.0, 0.0001 ).c_( 12 ) );
    BOOST_CHECK( ! mock::near( 12.0, 0.0001 ).c_( 13 ) );
}