/*=============================================================================

    Copyright (c) 2003 Joel de Guzman

    Copyright (c) 2004 Peder Holt



    Use, modification and distribution is subject to the Boost Software

    License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at

    http://www.boost.org/LICENSE_1_0.txt)

==============================================================================*/

#if !defined(FUSION_ITERATOR_DETAIL_TUPLE_ITERATOR_NEXT_TRAITS_HPP)

#define FUSION_ITERATOR_DETAIL_TUPLE_ITERATOR_NEXT_TRAITS_HPP



#include <boost/spirit/fusion/detail/config.hpp>

#include <boost/static_assert.hpp>

#include <boost/mpl/next.hpp>

#include <boost/mpl/less.hpp>



namespace boost { namespace fusion

{

    struct tuple_iterator_tag;



    template <int N, typename Tuple>

    struct tuple_iterator;



    namespace detail

    {

        template <typename Iterator>

        struct tuple_iterator_next_traits_impl

        {

            typedef FUSION_GET_INDEX(Iterator) index;

            typedef FUSION_GET_TUPLE(Iterator) tuple_;

            typedef FUSION_GET_SIZE(tuple_) size;

#if !BOOST_WORKAROUND(BOOST_MSVC,<=1300)

            BOOST_STATIC_ASSERT((::boost::mpl::less<index, size>::value));

#endif

            typedef typename mpl::next<index>::type next;

            typedef tuple_iterator<FUSION_GET_VALUE(next), tuple_> type;



            static type

            call(Iterator const& i);

        };



        template <typename Iterator>

        inline typename tuple_iterator_next_traits_impl<Iterator>::type

        tuple_iterator_next_traits_impl<Iterator>::call(Iterator const& i)

        {

            return type(detail::ref(i.get_tuple()));

        }

    }



    namespace meta

    {

        template <typename Tag>

        struct next_impl;



        template <>

        struct next_impl<tuple_iterator_tag>

        {

            template <typename Iterator>

            struct apply : detail::tuple_iterator_next_traits_impl<Iterator> {};

        };

    }

}}



#endif



