Chris@102: /////////////////////////////////////////////////////////////////////////////
Chris@102: //
Chris@102: // (C) Copyright Ion Gaztanaga  2014-2014
Chris@102: //
Chris@102: // Distributed under the Boost Software License, Version 1.0.
Chris@102: //    (See accompanying file LICENSE_1_0.txt or copy at
Chris@102: //          http://www.boost.org/LICENSE_1_0.txt)
Chris@102: //
Chris@102: // See http://www.boost.org/libs/intrusive for documentation.
Chris@102: //
Chris@102: /////////////////////////////////////////////////////////////////////////////
Chris@102: 
Chris@102: #ifndef BOOST_INTRUSIVE_DETAIL_ITERATOR_HPP
Chris@102: #define BOOST_INTRUSIVE_DETAIL_ITERATOR_HPP
Chris@102: 
Chris@102: #ifndef BOOST_CONFIG_HPP
Chris@102: #  include <boost/config.hpp>
Chris@102: #endif
Chris@102: 
Chris@102: #if defined(BOOST_HAS_PRAGMA_ONCE)
Chris@102: #  pragma once
Chris@102: #endif
Chris@102: 
Chris@102: #include <cstddef>
Chris@102: #include <boost/intrusive/detail/std_fwd.hpp>
Chris@102: #include <boost/move/detail/iterator_traits.hpp>
Chris@102: #include <boost/move/detail/meta_utils_core.hpp>
Chris@102: 
Chris@102: namespace boost {
Chris@102: namespace intrusive {
Chris@102: 
Chris@102: using boost::movelib::iterator_traits;
Chris@102: 
Chris@102: ////////////////////
Chris@102: //    iterator
Chris@102: ////////////////////
Chris@102: template<class Category, class T, class Distance, class Pointer = T*, class Reference = T&>
Chris@102: struct iterator
Chris@102: {
Chris@102:    typedef Category  iterator_category;
Chris@102:    typedef T         value_type;
Chris@102:    typedef Distance  difference_type;
Chris@102:    typedef Pointer   pointer;
Chris@102:    typedef Reference reference;
Chris@102: };
Chris@102: 
Chris@102: ////////////////////////////////////////
Chris@102: //    iterator_[dis|en]able_if_tag
Chris@102: ////////////////////////////////////////
Chris@102: template<class I, class Tag, class R = void>
Chris@102: struct iterator_enable_if_tag
Chris@102:    : ::boost::move_detail::enable_if_c
Chris@102:       < ::boost::move_detail::is_same
Chris@102:          < typename boost::intrusive::iterator_traits<I>::iterator_category 
Chris@102:          , Tag
Chris@102:          >::value
Chris@102:          , R>
Chris@102: {};
Chris@102: 
Chris@102: template<class I, class Tag, class R = void>
Chris@102: struct iterator_disable_if_tag
Chris@102:    : ::boost::move_detail::enable_if_c
Chris@102:       < !::boost::move_detail::is_same
Chris@102:          < typename boost::intrusive::iterator_traits<I>::iterator_category 
Chris@102:          , Tag
Chris@102:          >::value
Chris@102:          , R>
Chris@102: {};
Chris@102: 
Chris@102: ////////////////////////////////////////
Chris@102: //    iterator_[dis|en]able_if_tag_difference_type
Chris@102: ////////////////////////////////////////
Chris@102: template<class I, class Tag>
Chris@102: struct iterator_enable_if_tag_difference_type
Chris@102:    : iterator_enable_if_tag<I, Tag, typename boost::intrusive::iterator_traits<I>::difference_type>
Chris@102: {};
Chris@102: 
Chris@102: template<class I, class Tag>
Chris@102: struct iterator_disable_if_tag_difference_type
Chris@102:    : iterator_disable_if_tag<I, Tag, typename boost::intrusive::iterator_traits<I>::difference_type>
Chris@102: {};
Chris@102: 
Chris@102: ////////////////////
Chris@102: //    advance
Chris@102: ////////////////////
Chris@102: template<class InputIt, class Distance> inline
Chris@102: typename iterator_enable_if_tag<InputIt, std::input_iterator_tag>::type
Chris@102:    iterator_advance(InputIt& it, Distance n)
Chris@102: {
Chris@102:    while(n--)
Chris@102: 	   ++it;
Chris@102: }
Chris@102: 
Chris@102: template<class InputIt, class Distance> inline
Chris@102: typename iterator_enable_if_tag<InputIt, std::forward_iterator_tag>::type
Chris@102:    iterator_advance(InputIt& it, Distance n)
Chris@102: {
Chris@102:    while(n--)
Chris@102: 	   ++it;
Chris@102: }
Chris@102: 
Chris@102: template<class InputIt, class Distance> inline
Chris@102: typename iterator_enable_if_tag<InputIt, std::bidirectional_iterator_tag>::type
Chris@102:    iterator_advance(InputIt& it, Distance n)
Chris@102: {
Chris@102:    for (; 0 < n; --n)
Chris@102: 	   ++it;
Chris@102:    for (; n < 0; ++n)
Chris@102: 	   --it;
Chris@102: }
Chris@102: 
Chris@102: template<class InputIt, class Distance> inline
Chris@102: typename iterator_enable_if_tag<InputIt, std::random_access_iterator_tag>::type
Chris@102:    iterator_advance(InputIt& it, Distance n)
Chris@102: {
Chris@102:    it += n;
Chris@102: }
Chris@102: 
Chris@102: ////////////////////
Chris@102: //    distance
Chris@102: ////////////////////
Chris@102: template<class InputIt> inline
Chris@102: typename iterator_disable_if_tag_difference_type
Chris@102:    <InputIt, std::random_access_iterator_tag>::type
Chris@102:       iterator_distance(InputIt first, InputIt last)
Chris@102: {
Chris@102:    typename iterator_traits<InputIt>::difference_type off = 0;
Chris@102:    while(first != last){
Chris@102: 	   ++off;
Chris@102:       ++first;
Chris@102:    }
Chris@102:    return off;
Chris@102: }
Chris@102: 
Chris@102: template<class InputIt> inline
Chris@102: typename iterator_enable_if_tag_difference_type
Chris@102:    <InputIt, std::random_access_iterator_tag>::type
Chris@102:       iterator_distance(InputIt first, InputIt last)
Chris@102: {
Chris@102:    typename iterator_traits<InputIt>::difference_type off = last - first;
Chris@102:    return off;
Chris@102: }
Chris@102: 
Chris@102: } //namespace intrusive
Chris@102: } //namespace boost
Chris@102: 
Chris@102: #endif //BOOST_INTRUSIVE_DETAIL_ITERATOR_HPP