Chris@16: /*-----------------------------------------------------------------------------+    
Chris@16: Copyright (c) 2010-2010: Joachim Faulhaber
Chris@16: +------------------------------------------------------------------------------+
Chris@16:    Distributed under the Boost Software License, Version 1.0.
Chris@16:       (See accompanying file LICENCE.txt or copy at
Chris@16:            http://www.boost.org/LICENSE_1_0.txt)
Chris@16: +-----------------------------------------------------------------------------*/
Chris@16: #ifndef BOOST_ICL_CONCEPT_CONTAINER_HPP_JOFA_100923
Chris@16: #define BOOST_ICL_CONCEPT_CONTAINER_HPP_JOFA_100923
Chris@16: 
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/icl/type_traits/is_container.hpp>
Chris@16: #include <boost/icl/type_traits/is_icl_container.hpp>
Chris@16: 
Chris@16: namespace boost{ namespace icl
Chris@16: {
Chris@16: 
Chris@16: //==============================================================================
Chris@16: //= Emptieness
Chris@16: //==============================================================================
Chris@16: 
Chris@16: /** Tests if the container is empty. 
Chris@16:     Complexity: constant. */
Chris@16: template<class Type>
Chris@16: typename enable_if<is_container<Type>, bool>::type
Chris@16: is_empty(const Type& object)
Chris@16: {
Chris@16:     return object.begin()==object.end();
Chris@16: }
Chris@16: 
Chris@16: 
Chris@16: /** All content of the container is dropped. 
Chris@16:     Complexity: linear. */
Chris@16: template<class Type>
Chris@16: typename enable_if<is_container<Type>, void>::type
Chris@16: clear(Type& object)
Chris@16: {
Chris@16:     object.erase(object.begin(), object.end());
Chris@16: }
Chris@16: 
Chris@16: //==============================================================================
Chris@16: //= Size
Chris@16: //==============================================================================
Chris@16: 
Chris@16: template<class Type> 
Chris@16: typename enable_if<mpl::and_< is_container<Type>
Chris@16:                             , mpl::not_<is_icl_container<Type> > >
Chris@16:                   , std::size_t>::type
Chris@16: iterative_size(const Type& object)
Chris@16: { 
Chris@16:     return object.size(); 
Chris@16: }
Chris@16: 
Chris@16: //==============================================================================
Chris@16: //= Swap
Chris@16: //==============================================================================
Chris@16: 
Chris@16: template<class Type>
Chris@16: typename enable_if<is_container<Type>, void>::type
Chris@16: swap(Type& left, Type& right)
Chris@16: {
Chris@16:     left.swap(right);
Chris@16: }
Chris@16: 
Chris@16: //==============================================================================
Chris@16: //= Iteration
Chris@16: //==============================================================================
Chris@16: 
Chris@16: template<class Type>
Chris@16: typename enable_if<is_container<Type>, typename Type::iterator>::type
Chris@16: cyclic_prior(Type& object, typename Type::iterator it_)
Chris@16: { return it_ == object.begin() ? object.end() : --it_; }
Chris@16: 
Chris@16: template<class Type>
Chris@16: typename enable_if<is_container<Type>, typename Type::const_iterator>::type
Chris@16: cyclic_prior(const Type& object, typename Type::const_iterator it_)
Chris@16: { return it_ == object.begin() ? object.end() : --it_; }
Chris@16: 
Chris@16: 
Chris@16: 
Chris@16: }} // namespace boost icl
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: