Chris@16: 
Chris@16: #ifndef BOOST_MPL_MAP_AUX_ITERATOR_HPP_INCLUDED
Chris@16: #define BOOST_MPL_MAP_AUX_ITERATOR_HPP_INCLUDED
Chris@16: 
Chris@16: // Copyright Aleksey Gurtovoy 2003-2004
Chris@16: // Copyright David Abrahams 2003-2004
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. 
Chris@16: // (See accompanying file LICENSE_1_0.txt or copy at 
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // See http://www.boost.org/libs/mpl for documentation.
Chris@16: 
Chris@101: // $Id$
Chris@101: // $Date$
Chris@101: // $Revision$
Chris@16: 
Chris@16: #include <boost/mpl/map/aux_/map0.hpp>
Chris@16: #include <boost/mpl/map/aux_/at_impl.hpp>
Chris@16: #include <boost/mpl/map/aux_/tag.hpp>
Chris@16: #include <boost/mpl/iterator_tags.hpp>
Chris@16: #include <boost/mpl/if.hpp>
Chris@16: #include <boost/mpl/next.hpp>
Chris@16: #include <boost/mpl/deref.hpp>
Chris@16: #include <boost/mpl/long.hpp>
Chris@16: #include <boost/mpl/void.hpp>
Chris@16: #include <boost/mpl/aux_/nttp_decl.hpp>
Chris@16: #include <boost/mpl/aux_/config/ctps.hpp>
Chris@16: 
Chris@16: namespace boost { namespace mpl {
Chris@16: 
Chris@16: #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
Chris@16: 
Chris@16: template< 
Chris@16:       typename Map
Chris@16:     , long order
Chris@16:     , long max_order
Chris@16:     >
Chris@16: struct next_order
Chris@16:     : if_< 
Chris@16:           is_void_< typename item_by_order<Map,order>::type >
Chris@16:         , next_order<Map,(order+1),max_order>
Chris@16:         , long_<order>
Chris@16:         >::type
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template< 
Chris@16:       typename Map
Chris@16:     , long max_order
Chris@16:     >
Chris@16: struct next_order<Map,max_order,max_order>
Chris@16:     : long_<max_order>
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: 
Chris@16: template< typename Map, long order, long max_order >
Chris@16: struct m_iter
Chris@16: {
Chris@16:     typedef forward_iterator_tag category;
Chris@16:     typedef typename item_by_order<Map,order>::type type;
Chris@16: };
Chris@16: 
Chris@16: template< typename Map, long max_order >
Chris@16: struct m_iter<Map,max_order,max_order>
Chris@16: {
Chris@16:     typedef forward_iterator_tag category;
Chris@16: };
Chris@16: 
Chris@16: 
Chris@16: template< typename Map, long order, long max_order > 
Chris@16: struct next< m_iter<Map,order,max_order> >
Chris@16: {
Chris@16:     typedef m_iter<
Chris@16:           Map
Chris@16:         , next_order<Map,order+1,max_order>::value
Chris@16:         , max_order
Chris@16:         > type;
Chris@16: };
Chris@16: 
Chris@16: template< typename Map, long max_order > 
Chris@16: struct next< m_iter<Map,max_order,max_order> >
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: template< 
Chris@16:       typename Map
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, order)
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, max_order)
Chris@16:     >
Chris@16: struct next_order;
Chris@16: 
Chris@16: template< 
Chris@16:       typename Map
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, order)
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, max_order)
Chris@16:     >
Chris@16: struct next_order_impl
Chris@16:     : if_< 
Chris@16:           is_void_< typename item_by_order<Map,order>::type >
Chris@16:         , next_order<Map,(order+1),max_order>
Chris@16:         , long_<order>
Chris@16:         >::type
Chris@16:     {
Chris@16:     };
Chris@16: 
Chris@16: template< 
Chris@16:       typename Map
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, order)
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, max_order)
Chris@16:     >
Chris@16: struct next_order
Chris@16:     : if_c<
Chris@16:           (order != max_order)
Chris@16:         , next_order_impl<Map,order,max_order>
Chris@16:         , long_<order>
Chris@16:         >::type
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: 
Chris@16: template<
Chris@16:       typename Map
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, order)
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, max_order)
Chris@16:     >
Chris@16: struct m_iter;
Chris@16: 
Chris@16: struct m_iter_empty_base {};
Chris@16: 
Chris@16: template< 
Chris@16:       typename Map
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, order)
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, max_order)
Chris@16:     >
Chris@16: struct m_iter_base
Chris@16: {
Chris@16:     typedef typename item_by_order<Map,order>::type type;
Chris@16:     
Chris@16:     typedef m_iter<
Chris@16:           Map
Chris@16:         , next_order<Map,order+1,max_order>::value
Chris@16:         , max_order
Chris@16:         > next;
Chris@16: };
Chris@16: 
Chris@16: template<
Chris@16:       typename Map
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, order)
Chris@16:     , BOOST_MPL_AUX_NTTP_DECL(long, max_order)
Chris@16:     >
Chris@16: struct m_iter
Chris@16:   : if_c<
Chris@16:           (order == max_order)
Chris@16:         , m_iter_empty_base
Chris@16:         , m_iter_base<Map,order,max_order>
Chris@16:         >::type
Chris@16: {
Chris@16:     typedef forward_iterator_tag category;
Chris@16: };
Chris@16: 
Chris@16: #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@16: #endif // BOOST_MPL_MAP_AUX_ITERATOR_HPP_INCLUDED