Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2005-2012 Joel de Guzman
Chris@16:     Copyright (c) 2005-2006 Dan Marsden
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: ==============================================================================*/
Chris@16: #if !defined(BOOST_FUSION_DEQUE_ITERATOR_26112006_2154)
Chris@16: #define BOOST_FUSION_DEQUE_ITERATOR_26112006_2154
Chris@16: 
Chris@101: #include <boost/fusion/support/config.hpp>
Chris@16: #include <boost/fusion/iterator/iterator_facade.hpp>
Chris@16: #include <boost/fusion/container/deque/detail/keyed_element.hpp>
Chris@101: #include <boost/mpl/int.hpp>
Chris@16: #include <boost/mpl/minus.hpp>
Chris@16: #include <boost/mpl/equal_to.hpp>
Chris@101: #include <boost/mpl/identity.hpp>
Chris@101: #include <boost/mpl/if.hpp>
Chris@16: #include <boost/type_traits/is_const.hpp>
Chris@101: #include <boost/type_traits/add_const.hpp>
Chris@101: #include <boost/type_traits/add_reference.hpp>
Chris@16: 
Chris@16: namespace boost { namespace fusion {
Chris@16: 
Chris@16:     struct bidirectional_traversal_tag;
Chris@16: 
Chris@16:     template <typename Seq, int Pos>
Chris@16:     struct deque_iterator
Chris@16:         : iterator_facade<deque_iterator<Seq, Pos>, bidirectional_traversal_tag>
Chris@16:     {
Chris@16:         typedef Seq sequence;
Chris@16:         typedef mpl::int_<Pos> index;
Chris@16: 
Chris@101:         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:         deque_iterator(Seq& seq)
Chris@16:             : seq_(seq)
Chris@16:         {}
Chris@16: 
Chris@16:         template<typename Iterator>
Chris@16:         struct value_of
Chris@16:             : detail::keyed_element_value_at<
Chris@16:             typename Iterator::sequence, typename Iterator::index>
Chris@16:         {};
Chris@16: 
Chris@16:         template<typename Iterator>
Chris@16:         struct deref
Chris@16:         {
Chris@16:             typedef typename detail::keyed_element_value_at<
Chris@16:                 typename Iterator::sequence, typename Iterator::index>::type element_type;
Chris@16: 
Chris@16:             typedef typename add_reference<
Chris@16:                 typename mpl::eval_if<
Chris@16:                 is_const<typename Iterator::sequence>,
Chris@16:                 add_const<element_type>,
Chris@16:                 mpl::identity<element_type> >::type>::type type;
Chris@16: 
Chris@101:             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:             static type
Chris@16:             call(Iterator const& it)
Chris@16:             {
Chris@16:                 return it.seq_.get(typename Iterator::index());
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template <typename Iterator, typename N>
Chris@16:         struct advance
Chris@16:         {
Chris@16:             typedef typename Iterator::index index;
Chris@16:             typedef typename Iterator::sequence sequence;
Chris@16:             typedef deque_iterator<sequence, index::value + N::value> type;
Chris@16: 
Chris@101:             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:             static type
Chris@16:             call(Iterator const& i)
Chris@16:             {
Chris@16:                 return type(i.seq_);
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template<typename Iterator>
Chris@16:         struct next
Chris@16:             : advance<Iterator, mpl::int_<1> >
Chris@16:         {};
Chris@16: 
Chris@16:         template<typename Iterator>
Chris@16:         struct prior
Chris@16:             : advance<Iterator, mpl::int_<-1> >
Chris@16:         {};
Chris@16: 
Chris@16:         template <typename I1, typename I2>
Chris@16:         struct distance : mpl::minus<typename I2::index, typename I1::index>
Chris@16:         {
Chris@16:             typedef typename
Chris@16:                 mpl::minus<
Chris@16:                     typename I2::index, typename I1::index
Chris@16:                 >::type
Chris@16:             type;
Chris@16: 
Chris@101:             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:             static type
Chris@16:             call(I1 const&, I2 const&)
Chris@16:             {
Chris@16:                 return type();
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template<typename I1, typename I2>
Chris@16:         struct equal_to
Chris@16:             : mpl::equal_to<typename I1::index, typename I2::index>
Chris@16:         {};
Chris@16: 
Chris@16:         Seq& seq_;
Chris@16: 
Chris@16:     private:
Chris@16:         // silence MSVC warning C4512: assignment operator could not be generated
Chris@16:         deque_iterator& operator= (deque_iterator const&);
Chris@16:     };
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@101: #ifdef BOOST_FUSION_WORKAROUND_FOR_LWG_2408
Chris@101: namespace std
Chris@101: {
Chris@101:     template <typename Seq, int Pos>
Chris@101:     struct iterator_traits< ::boost::fusion::deque_iterator<Seq, Pos> >
Chris@101:     { };
Chris@101: }
Chris@16: #endif
Chris@101: 
Chris@101: #endif