projects / ceph.git / blame
| Commit | Line | Data |
|---|---|---|
| 7c673cae FG |
1 | /*-----------------------------------------------------------------------------+ |
| 2 | Copyright (c) 2010-2010: Joachim Faulhaber | |
| 3 | +------------------------------------------------------------------------------+ | |
| 4 | Distributed under the Boost Software License, Version 1.0. | |
| 5 | (See accompanying file LICENCE.txt or copy at | |
| 6 | http://www.boost.org/LICENSE_1_0.txt) | |
| 7 | +-----------------------------------------------------------------------------*/ | |
| 8 | #ifndef BOOST_ICL_CONCEPT_CONTAINER_HPP_JOFA_100923 | |
| 9 | #define BOOST_ICL_CONCEPT_CONTAINER_HPP_JOFA_100923 | |
| 10 | ||
| 11 | #include <boost/utility/enable_if.hpp> | |
| 12 | #include <boost/mpl/and.hpp> | |
| 13 | #include <boost/mpl/not.hpp> | |
| 14 | #include <boost/icl/type_traits/is_container.hpp> | |
| 15 | #include <boost/icl/type_traits/is_icl_container.hpp> | |
| 16 | ||
| 17 | namespace boost{ namespace icl | |
| 18 | { | |
| 19 | ||
| 20 | //============================================================================== | |
| 21 | //= Emptieness | |
| 22 | //============================================================================== | |
| 23 | ||
| 24 | /** Tests if the container is empty. | |
| 25 | Complexity: constant. */ | |
| 26 | template<class Type> | |
| 27 | typename enable_if<is_container<Type>, bool>::type | |
| 28 | is_empty(const Type& object) | |
| 29 | { | |
| 30 | return object.begin()==object.end(); | |
| 31 | } | |
| 32 | ||
| 33 | ||
| 34 | /** All content of the container is dropped. | |
| 35 | Complexity: linear. */ | |
| 36 | template<class Type> | |
| 37 | typename enable_if<is_container<Type>, void>::type | |
| 38 | clear(Type& object) | |
| 39 | { | |
| 40 | object.erase(object.begin(), object.end()); | |
| 41 | } | |
| 42 | ||
| 43 | //============================================================================== | |
| 44 | //= Size | |
| 45 | //============================================================================== | |
| 46 | ||
| 47 | template<class Type> | |
| 48 | typename enable_if<mpl::and_< is_container<Type> | |
| 49 | , mpl::not_<is_icl_container<Type> > > | |
| 50 | , std::size_t>::type | |
| 51 | iterative_size(const Type& object) | |
| 52 | { | |
| 53 | return object.size(); | |
| 54 | } | |
| 55 | ||
| 56 | //============================================================================== | |
| 57 | //= Swap | |
| 58 | //============================================================================== | |
| 59 | ||
| 60 | template<class Type> | |
| 61 | typename enable_if<is_container<Type>, void>::type | |
| 62 | swap(Type& left, Type& right) | |
| 63 | { | |
| 64 | left.swap(right); | |
| 65 | } | |
| 66 | ||
| 67 | //============================================================================== | |
| 68 | //= Iteration | |
| 69 | //============================================================================== | |
| 70 | ||
| 71 | template<class Type> | |
| 72 | typename enable_if<is_container<Type>, typename Type::iterator>::type | |
| 73 | cyclic_prior(Type& object, typename Type::iterator it_) | |
| 74 | { return it_ == object.begin() ? object.end() : --it_; } | |
| 75 | ||
| 76 | template<class Type> | |
| 77 | typename enable_if<is_container<Type>, typename Type::const_iterator>::type | |
| 78 | cyclic_prior(const Type& object, typename Type::const_iterator it_) | |
| 79 | { return it_ == object.begin() ? object.end() : --it_; } | |
| 80 | ||
| 81 | ||
| 82 | ||
| 83 | }} // namespace boost icl | |
| 84 | ||
| 85 | #endif | |
| 86 | ||
| 87 |