// 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)

#define BOOST_AUTO_TEST_MAIN
#include "../mock_error.hpp"
#include "../undefined.hpp"
#include <turtle/detail/function.hpp>
#include <turtle/constraints.hpp>
#include <boost/test/auto_unit_test.hpp>
#include <boost/utility/result_of.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/function.hpp>
#include <boost/bind.hpp>

namespace
{
    struct error_fixture
    {
        error_fixture()
        {
            data().reset();
        }
        ~error_fixture()
        {
            BOOST_CHECK( data().verify() );
            BOOST_CHECK_EQUAL( 0, data().call_count );
        }
    };
}

#define CHECK_CALLS( calls ) \
    BOOST_CHECK_EQUAL( calls, data().call_count ); \
    data().call_count = 0;
#define CHECK_ERROR( expr, error, calls, context ) \
    BOOST_CHECK( data().verify() ); \
    try { expr; } catch( ... ) {} \
    BOOST_CHECK_EQUAL( 1, data().error_count ); \
    BOOST_CHECK_EQUAL( error, data().last_message ); \
    BOOST_CHECK_EQUAL( context, data().last_context ); \
    CHECK_CALLS( calls ); \
    data().reset();

// static

namespace
{
    boost::function< void() > static_f;

    BOOST_MPL_ASSERT((
        boost::is_same< void, boost::result_of< mock::detail::function< void() >() >::type > ));
    BOOST_MPL_ASSERT((
        boost::is_same< int, boost::result_of< mock::detail::function< int() >() >::type > ));
    BOOST_MPL_ASSERT((
        boost::is_same< void, boost::result_of< mock::detail::function< void( float ) >( float ) >::type > ));
    BOOST_MPL_ASSERT((
        boost::is_same< int, boost::result_of< mock::detail::function< int( float ) >( float ) >::type > ));
}

// functor

BOOST_FIXTURE_TEST_CASE( a_function_can_be_passed_as_functor, error_fixture )
{
    mock::detail::function< void() > f;
    boost::function< void() > functor = f;
}

BOOST_FIXTURE_TEST_CASE( a_function_can_be_passed_as_functor_using_boost_bind_and_boost_ref, error_fixture )
{
    mock::detail::function< void() > f;
    boost::function< void() > functor = boost::bind( boost::ref( f ) );
}

// invocations

BOOST_FIXTURE_TEST_CASE( triggering_an_unconfigured_function_calls_unexpected_call_error, error_fixture )
{
    {
        mock::detail::function< void() > f;
        CHECK_ERROR( f(), "unexpected call", 0, "?()" );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        CHECK_ERROR( f( 1, "s" ), "unexpected call", 0, "?( 1, \"s\" )" );
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_a_never_expectation_calls_unexpected_call_error, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect().never();
        CHECK_ERROR( f(), "unexpected call", 0, "?()\nv never()" );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        f.expect().never();
        CHECK_ERROR( f( 1, "s" ), "unexpected call", 0, "?( 1, \"s\" )\nv never().with( any, any )" );
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_unlimited_expectation_is_valid, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect();
        f();
        f();
        CHECK_CALLS( 2 );
    }
    {
        mock::detail::function< void( int, const std::string& ) > f;
        f.expect();
        f( 1, "s" );
        f( 1, "s" );
        CHECK_CALLS( 2 );
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_a_once_expectation_calls_unexpected_call_error_after_one_call, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect().once();
        f();
        CHECK_ERROR( f(), "unexpected call", 1, "?()\nv once()" );
    }
    {
        mock::detail::function< void( int, const std::string& ) > f;
        f.expect().once();
        f( 1, "s" );
        CHECK_ERROR( f( 1, "s" ), "unexpected call", 1, "?( 1, \"s\" )\nv once().with( any, any )" );
    }
}

BOOST_FIXTURE_TEST_CASE( literal_zero_can_be_used_in_function_call_as_pointers, error_fixture )
{
    mock::detail::function< void( int* ) > f;
    f.expect().once();
    f( 0 );
    CHECK_CALLS( 1 );
}

// verify

BOOST_FIXTURE_TEST_CASE( verifying_an_unconfigured_function_succeeds, error_fixture )
{
    {
        mock::detail::function< void() > f;
        BOOST_CHECK( f.verify() );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        BOOST_CHECK( f.verify() );
    }
}

BOOST_FIXTURE_TEST_CASE( verifying_an_unlimited_expectation_succeeds, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect();
        BOOST_CHECK( f.verify() );
        CHECK_CALLS( 0 );
    }
    CHECK_CALLS( 1 );
    {
        mock::detail::function< int( int, const std::string& ) > f;
        f.expect();
        BOOST_CHECK( f.verify() );
        CHECK_CALLS( 0 );
    }
    CHECK_CALLS( 1 );
}

BOOST_FIXTURE_TEST_CASE( verifying_a_once_expectation_after_one_call_succeeds, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect().once();
        f();
        BOOST_CHECK( f.verify() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< void( int, const std::string& ) > f;
        f.expect().once();
        f( 1, "s" );
        BOOST_CHECK( f.verify() );
        CHECK_CALLS( 1 );
    }
}

BOOST_FIXTURE_TEST_CASE( verifying_a_once_expectation_before_the_call_fails, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect().once();
        CHECK_ERROR( BOOST_CHECK( ! f.verify() ), "verification failed", 0, "?\n. once()" );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        f.expect().once();
        CHECK_ERROR( BOOST_CHECK( ! f.verify() ), "verification failed", 0, "?\n. once().with( any, any )" );
    }
}

BOOST_FIXTURE_TEST_CASE( verifying_a_once_expectation_after_a_verify_and_one_call_succeeds, error_fixture )
{
    mock::detail::function< void() > f;
    f.expect().once();
    CHECK_ERROR( BOOST_CHECK( ! f.verify() ), "verification failed", 0, "?\n. once()" );
    f();
    BOOST_CHECK( f.verify() );
    CHECK_CALLS( 1 );
}

// reset

BOOST_FIXTURE_TEST_CASE( triggering_a_reset_function_calls_unexpected_call_error, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect();
        f.reset();
        CHECK_ERROR( f(), "unexpected call", 0, "?()" );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        f.expect();
        f.reset();
        CHECK_ERROR( f( 1, "s" ), "unexpected call", 0, "?( 1, \"s\" )" );
    }
}

BOOST_FIXTURE_TEST_CASE( verifying_a_reset_function_succeeds, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect();
        f.reset();
        BOOST_CHECK( f.verify() );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        f.expect();
        f.reset();
        BOOST_CHECK( f.verify() );
    }
}

// constraints

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_with_wrong_parameter_value_in_equal_constraint_calls_unexpected_call_error, error_fixture )
{
    {
        mock::detail::function< void( int ) > f;
        f.expect().with( 42 );
        CHECK_ERROR( f( 43 ), "unexpected call", 0, "?( 43 )\n. unlimited().with( 42 )" );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        f.expect().with( 42, "expected" );
        CHECK_ERROR( f( 42, "actual" ), "unexpected call", 0, "?( 42, \"actual\" )\n. unlimited().with( 42, \"expected\" )" );
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_with_wrong_parameter_value_in_equal_or_less_constraint_calls_unexpected_call_error, error_fixture )
{
    mock::detail::function< void( int ) > f;
    f.expect().with( mock::equal( 42 ) || mock::less( 42 ) );
    f( 41 );
    f( 42 );
    CHECK_ERROR( f( 43 ), "unexpected call", 2, "?( 43 )\n. unlimited().with( ( equal( 42 ) || less( 42 ) ) )" );
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_with_wrong_parameter_value_in_equal_and_not_less_constraint_calls_unexpected_call_error, error_fixture )
{
    mock::detail::function< void( int ) > f;
    f.expect().with( mock::equal( 42 ) && ! mock::less( 41 ) );
    f( 42 );
    CHECK_ERROR( f( 43 ), "unexpected call", 1, "?( 43 )\n. unlimited().with( ( equal( 42 ) && ! less( 41 ) ) )" );
}

namespace
{
    class my_interface : boost::noncopyable
    {
    public:
        virtual ~my_interface() {}
    private:
        virtual void my_method() = 0;
    };
    class my_implementation : public my_interface
    {
        virtual void my_method() {}
    };
}

BOOST_FIXTURE_TEST_CASE( passing_call_values_by_reference_is_transparent, error_fixture )
{
    {
        mock::detail::function< void( my_interface& ) > f;
        my_implementation imp;
        f.expect().with( mock::same( imp ) );
        f( imp );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< void( const my_interface& ) > f;
        my_implementation imp;
        f.expect().with( mock::same( imp ) );
        f( imp );
        CHECK_CALLS( 1 );
    }
}

namespace
{
    bool custom_constraint( int )
    {
        return false;
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_with_failing_custom_constraint_calls_unexpected_call_error, error_fixture )
{
    {
        mock::detail::function< void( int ) > f;
        f.expect().with( &custom_constraint );
        CHECK_ERROR( f( 42 ), "unexpected call", 0, "?( 42 )\n. unlimited().with( ? )" );
    }
    {
        mock::detail::function< int( int, const std::string& ) > f;
        f.expect().with( &custom_constraint, "actual" );
        CHECK_ERROR( f( 42, "actual" ), "unexpected call", 0, "?( 42, \"actual\" )\n. unlimited().with( ?, \"actual\" )" );
    }
}

//BOOST_FIXTURE_TEST_CASE( literal_zero_can_be_used_in_place_of_null_pointers_in_constraints, error_fixture )
//{
//   mock::detail::function< void( int* ) > f;
//   f.expect().with( 0 );
//   f.reset();
//   CHECK_CALLS( 1 );
//}

#if !defined(BOOST_NO_CXX11_NULLPTR) && !defined(BOOST_NO_NULLPTR)

BOOST_FIXTURE_TEST_CASE( nullptr_can_be_used_in_place_of_null_pointers_in_constraints, error_fixture )
{
    mock::detail::function< void( int* ) > f;
    f.expect().with( nullptr );
    f( 0 );
    CHECK_CALLS( 1 );
}

#endif

// result handling

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_with_no_return_set_calls_missing_action, error_fixture )
{
    {
        mock::detail::function< int() > f;
        f.expect();
        CHECK_ERROR( f(), "missing action", 0, "?()\n. unlimited()" );
    }
    {
        mock::detail::function< int&() > f;
        f.expect();
        CHECK_ERROR( f(), "missing action", 0, "?()\n. unlimited()" );
    }
    {
        mock::detail::function< const std::string&() > f;
        f.expect();
        CHECK_ERROR( f(), "missing action", 0, "?()\n. unlimited()" );
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_returns_the_set_value, error_fixture )
{
    {
        mock::detail::function< int() > f;
        f.expect().returns( 42 );
        BOOST_CHECK_EQUAL( 42, f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int() > f;
        const int i = 42;
        f.expect().returns( i );
        BOOST_CHECK_EQUAL( i, f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int() > f;
        int i = 42;
        f.expect().returns( boost::ref( i ) );
        i = 43;
        BOOST_CHECK_EQUAL( 43, f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int&() > f;
        f.expect().returns( 42 );
        BOOST_CHECK_EQUAL( 42, f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int&() > f;
        const int result = 42;
        f.expect().returns( result );
        BOOST_CHECK_EQUAL( result, f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int&() > f;
        int i = 42;
        f.expect().returns( i );
        i = 43;
        BOOST_CHECK_EQUAL( 42, f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int&() > f;
        int i = 42;
        f.expect().returns( boost::ref( i ) );
        i = 43;
        BOOST_CHECK_EQUAL( 43, f() );
        BOOST_CHECK_EQUAL( 12, f() = 12 );
        BOOST_CHECK_EQUAL( 12, i );
        CHECK_CALLS( 2 );
    }
    {
        mock::detail::function< std::string() > f;
        f.expect().returns( "result" );
        BOOST_CHECK_EQUAL( "result", f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< const std::string&() > f;
        f.expect().returns( "result" );
        BOOST_CHECK_EQUAL( "result", f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int*() > f;
        f.expect().returns( 0 );
        BOOST_CHECK( ! f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int() > f;
        f.expect().returns( 0 );
        BOOST_CHECK_EQUAL( 0, f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< int&() > f;
        f.expect().returns( 0 );
        BOOST_CHECK_EQUAL( 0, f() );
        CHECK_CALLS( 1 );
    }
}

namespace
{
    struct A
    {
        virtual void f() = 0;
    };
    struct B : A
    {
        virtual void f()
        {}
    };
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_returns_the_set_auto_ptr_value, error_fixture )
{
    {
        mock::detail::function< std::auto_ptr< int >() > f;
        std::auto_ptr< int > ptr( new int( 3 ) );
        f.expect().returns( boost::ref( ptr ) );
        BOOST_CHECK_EQUAL( 3, *ptr );
        BOOST_CHECK_EQUAL( 3, *f() );
        BOOST_CHECK( ! ptr.get() );
        BOOST_CHECK( ! f().get() );
        CHECK_CALLS( 2 );
    }
    {
        mock::detail::function< std::auto_ptr< int >() > f;
        std::auto_ptr< int > ptr( new int( 3 ) );
        f.expect().returns( ptr );
        BOOST_CHECK( ! ptr.get() );
        BOOST_CHECK_EQUAL( 3, *f() );
        BOOST_CHECK( ! f().get() );
        CHECK_CALLS( 2 );
    }
    {
        mock::detail::function< std::auto_ptr< int >() > f;
        f.expect().returns( new int( 3 ) );
        BOOST_CHECK_EQUAL( 3, *f() );
        BOOST_CHECK( ! f().get() );
        CHECK_CALLS( 2 );
    }
    {
        mock::detail::function< std::auto_ptr< int >() > f;
        f.expect().returns( std::auto_ptr< int >( new int( 3 ) ) );
        BOOST_CHECK_EQUAL( 3, *f() );
        BOOST_CHECK( ! f().get() );
        CHECK_CALLS( 2 );
    }
    {
        mock::detail::function< std::auto_ptr< A >() > f;
        f.expect().returns( new B );
        BOOST_CHECK_NO_THROW( f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< std::auto_ptr< A >() > f;
        f.expect().returns( std::auto_ptr< A >( new B ) );
        BOOST_CHECK_NO_THROW( f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< std::auto_ptr< A >() > f;
        f.expect().returns( std::auto_ptr< B >( new B ) );
        BOOST_CHECK_NO_THROW( f() );
        CHECK_CALLS( 1 );
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_returns_the_set_shared_ptr_value, error_fixture )
{
    {
        mock::detail::function< boost::shared_ptr< A >() > f;
        f.expect().returns( new B );
        BOOST_CHECK_NO_THROW( f() );
        CHECK_CALLS( 1 );
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_returns_by_reference, error_fixture )
{
    {
        mock::detail::function< A&() > f;
        B b;
        f.expect().returns( boost::ref( b ) );
        BOOST_CHECK_NO_THROW( f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< A&() > f;
        B b;
        f.expect().returns( b );
        BOOST_CHECK_NO_THROW( f() );
        CHECK_CALLS( 1 );
    }
    {
        mock::detail::function< undefined&() > f;
        f.expect().returns( boost::ref( get_undefined() ) );
        f.reset();
    }
}

namespace
{
    int custom_result()
    {
        return 42;
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_calls_the_custom_functor, error_fixture )
{
    mock::detail::function< int() > f;
    f.expect().calls( &custom_result );
    BOOST_CHECK_EQUAL( 42, f() );
    CHECK_CALLS( 1 );
}

namespace
{
    int custom_result_with_parameter( int i )
    {
        return i;
    }
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_calls_the_custom_functor_with_parameters, error_fixture )
{
    mock::detail::function< int( int ) > f;
    f.expect().calls( &custom_result_with_parameter );
    BOOST_CHECK_EQUAL( 42, f( 42 ) );
    CHECK_CALLS( 1 );
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_calls_the_custom_functor_without_parameters_thanks_to_boost_bind, error_fixture )
{
    mock::detail::function< int( int ) > f;
    f.expect().calls( boost::bind( &custom_result ) );
    BOOST_CHECK_EQUAL( 42, f( 17 ) );
    CHECK_CALLS( 1 );
}

BOOST_FIXTURE_TEST_CASE( triggering_an_expectation_throws_the_set_exception, error_fixture )
{
    mock::detail::function< int() > f;
    f.expect().throws( std::runtime_error( "some exception" ) );
    try
    {
        f();
    }
    catch( std::runtime_error& f )
    {
        BOOST_CHECK_EQUAL( "some exception", f.what() );
        CHECK_CALLS( 1 );
        return;
    }
    BOOST_FAIL( "should have thrown" );
}

// multiple expectations

BOOST_FIXTURE_TEST_CASE( expecting_twice_a_single_expectation_makes_it_callable_twice, error_fixture )
{
    {
        mock::detail::function< void() > f;
        f.expect().once();
        f.expect().once();
        f();
        f();
        CHECK_ERROR( f(), "unexpected call", 2, "?()\nv once()\nv once()" );
    }
    {
        mock::detail::function< void( const std::string& ) > f;
        f.expect().once().with( "first" );
        f.expect().once().with( "second" );
        f( "first" );
        f( "second" );
        CHECK_ERROR( f( "third"), "unexpected call", 2, "?( \"third\" )\nv once().with( \"first\" )\nv once().with( \"second\" )" );
    }
}

BOOST_FIXTURE_TEST_CASE( best_expectation_is_selected_first, error_fixture )
{
    {
        mock::detail::function< void( int ) > f;
        f.expect().once().with( 1 );
        f.expect().once().with( 2 );
        f( 2 );
        f( 1 );
        CHECK_ERROR( f( 3 ), "unexpected call", 2, "?( 3 )\nv once().with( 1 )\nv once().with( 2 )" );
    }
    {
        mock::detail::function< void( const std::string& ) > f;
        f.expect().once().with( "first" );
        f.expect().once().with( "second" );
        f( "second" );
        f( "first" );
        CHECK_ERROR( f( "third"), "unexpected call", 2, "?( \"third\" )\nv once().with( \"first\" )\nv once().with( \"second\" )" );
    }
}

// error report

namespace
{
    template< typename T >
    std::string to_string( const T& t )
    {
        std::stringstream s;
        s << t;
        return s.str();
    }
}

BOOST_FIXTURE_TEST_CASE( expectation_can_be_serialized_to_be_human_readable, error_fixture )
{
    {
        mock::detail::function< void( int ) > f;
        f.expect().once().with( 1 );
        f.expect().once().with( 2 );
        BOOST_CHECK_NO_THROW( f( 2 ) );
        const std::string expected = "?\n"
                                     ". once().with( 1 )\n"
                                     "v once().with( 2 )";
        BOOST_CHECK_EQUAL( expected, to_string( f ) );
        CHECK_CALLS( 1 );
        f.reset();
    }
    {
        mock::detail::function< void( int ) > f;
        f.expect().never().with( 1 );
        const std::string expected = "?\n"
                                     "v never().with( 1 )";
        BOOST_CHECK_EQUAL( expected, to_string( f ) );
        f.reset();
    }
    {
        mock::detail::function< void( const std::string& ) > f;
        f.expect().never().with( mock::less( "first" ) );
        f.expect().exactly( 2 ).with( "second" );
        BOOST_CHECK_NO_THROW( f( "second" ) );
        {
            const std::string expected = "?\n"
                                         "v never().with( less( \"first\" ) )\n"
                                         ". exactly( 1/2 ).with( \"second\" )";
            BOOST_CHECK_EQUAL( expected, to_string( f ) );
        }
        BOOST_CHECK_NO_THROW( f( "second" ) );
        {
            const std::string expected = "?\n"
                                         "v never().with( less( \"first\" ) )\n"
                                         "v exactly( 2/2 ).with( \"second\" )";
            BOOST_CHECK_EQUAL( expected, to_string( f ) );
            CHECK_CALLS( 2 );
        }
        f.reset();
    }
    {
        mock::detail::function< void( int ) > f;
        f.expect().once();
        const std::string expected = "?\n"
                                     ". once().with( any )";
        BOOST_CHECK_EQUAL( expected, to_string( f ) );
        f.reset();
    }
    {
        mock::detail::function< void( int ) > f;
        f.expect().once().with( mock::any );
        const std::string expected = "?\n"
                                     ". once().with( any )";
        BOOST_CHECK_EQUAL( expected, to_string( f ) );
        f.reset();
    }
    {
        mock::detail::function< void( int ) > f;
        f.expect().once();
        const std::string expected = "?\n"
                                     ". once().with( any )";
        BOOST_CHECK_EQUAL( expected, to_string( f ) );
        f.reset();
    }
    {
        mock::detail::function< void( int ) > f;
        f.expect().once().with( &custom_constraint );
        const std::string expected = "?\n"
                                     ". once().with( ? )";
        BOOST_CHECK_EQUAL( expected, to_string( f ) );
        f.reset();
    }
}

BOOST_FIXTURE_TEST_CASE( expectation_with_remaining_untriggered_matches_upon_destruction_calls_untriggered_expectation, error_fixture )
{
    std::auto_ptr< mock::detail::function< void() > > f( new mock::detail::function< void() > );
    f->expect().once();
    CHECK_ERROR( f.reset(), "untriggered expectation", 0, "?\n. once()" );
}

BOOST_FIXTURE_TEST_CASE( verifying_expectation_with_remaining_matches_disables_the_automatic_verification_upon_destruction, error_fixture )
{
    mock::detail::function< void() > f;
    f.expect().once();
    CHECK_ERROR( f.verify(), "verification failed", 0, "?\n. once()" );
}

BOOST_FIXTURE_TEST_CASE( triggering_unexpected_call_call_disables_the_automatic_verification_upon_destruction, error_fixture )
{
    mock::detail::function< void() > f;
    CHECK_ERROR( f(), "unexpected call", 0, "?()" );
}

BOOST_FIXTURE_TEST_CASE( adding_an_expectation_reactivates_the_verification_upon_destruction, error_fixture )
{
    std::auto_ptr< mock::detail::function< void() > > f( new mock::detail::function< void() > );
    CHECK_ERROR( (*f)(), "unexpected call", 0, "?()" );
    f->expect().once();
    CHECK_ERROR( f.reset(), "untriggered expectation", 0, "?\n. once()" );
}

BOOST_FIXTURE_TEST_CASE( throwing_an_exception_disables_the_automatic_verification_upon_destruction, error_fixture )
{
    try
    {
        mock::detail::function< void() > f;
        f.expect().once();
        throw std::exception();
    }
    catch( std::exception& )
    {}
}

BOOST_FIXTURE_TEST_CASE( adding_file_and_line_number_information, error_fixture )
{
    mock::detail::function< void() > f;
    f.expect( "file name", 42 ).once();
    CHECK_ERROR( f.verify(), "verification failed", 0, "?\n. once()" );
    BOOST_CHECK_EQUAL( "file name", data().last_file );
    BOOST_CHECK_EQUAL( 42, data().last_line );
}