turtle/turtle/detail/operators.hpp

// http://turtle.sourceforge.net
//
// Copyright Mathieu Champlon 2010
//
// 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)

#ifndef MOCK_OPERATORS_HPP_INCLUDED
#define MOCK_OPERATORS_HPP_INCLUDED

#include "../constraint.hpp"
#include "../log.hpp"

namespace mock
{
namespace detail
{
    template< typename Constraint1, typename Constraint2 >
    class and_
    {
    public:
        and_( const Constraint1& c1, const Constraint2& c2 )
            : c1_( c1 )
            , c2_( c2 )
        {}
        template< typename Actual >
        bool operator()( const Actual& actual ) const
        {
            return c1_( actual ) && c2_( actual );
        }
        friend std::ostream& operator<<( std::ostream& s, const and_& a )
        {
            return s << "( " << mock::format( a.c1_ )
                << " && " << mock::format( a.c2_ ) << " )";
        }
    private:
        Constraint1 c1_;
        Constraint2 c2_;
    };

    template< typename Constraint1, typename Constraint2 >
    class or_
    {
    public:
        or_( const Constraint1& c1, const Constraint2& c2 )
            : c1_( c1 )
            , c2_( c2 )
        {}
        template< typename Actual >
        bool operator()( const Actual& actual ) const
        {
            return c1_( actual ) || c2_( actual );
        }
        friend std::ostream& operator<<( std::ostream& s, const or_& o )
        {
            return s << "( " << mock::format( o.c1_ )
                << " || " << mock::format( o.c2_ )<< " )";
        }
    private:
        Constraint1 c1_;
        Constraint2 c2_;
    };

    template< typename Constraint >
    class not_
    {
    public:
        explicit not_( const Constraint& f )
            : f_( f )
        {}
        template< typename Actual >
        bool operator()( const Actual& actual ) const
        {
            return ! f_( actual );
        }
        friend std::ostream& operator<<( std::ostream& s, const not_& n )
        {
            return s << "! " << mock::format( n.f_ );
        }
    private:
        Constraint f_;
    };
}

    template< typename Constraint1, typename Constraint2 >
    const constraint< detail::or_< Constraint1, Constraint2 > >
        operator||( const constraint< Constraint1 >& lhs,
                    const constraint< Constraint2 >& rhs )
    {
        return detail::or_< Constraint1, Constraint2 >( lhs.f_, rhs.f_ );
    }

    template< typename Constraint1, typename Constraint2 >
    const constraint< detail::and_< Constraint1, Constraint2 > >
        operator&&( const constraint< Constraint1 >& lhs,
                    const constraint< Constraint2 >& rhs )
    {
        return detail::and_< Constraint1, Constraint2 >( lhs.f_, rhs.f_ );
    }

    template< typename Constraint >
    const constraint< detail::not_< Constraint > >
        operator!( const constraint< Constraint >& c )
    {
        return detail::not_< Constraint >( c.f_ );
    }
} // mock

#endif // MOCK_OPERATORS_HPP_INCLUDED