Moved some components into a detail sub-directory

git-svn-id: https://svn.code.sf.net/p/turtle/code/trunk@521 860be788-9bd5-4423-9f1e-828f051e677b

turtle/constraint.hpp

@@ -22,6 +22,98 @@ namespace mock
         {}
         Constraint f_;
     };
+
+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
 
 #define MOCK_UNARY_CONSTRAINT(N,Expr) \