| |
| #ifndef BOOST_MPL_MAP_AUX_ITERATOR_HPP_INCLUDED |
| #define BOOST_MPL_MAP_AUX_ITERATOR_HPP_INCLUDED |
| |
| // Copyright Aleksey Gurtovoy 2003-2004 |
| // Copyright David Abrahams 2003-2004 |
| // |
| // Distributed under 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) |
| // |
| // See http://www.boost.org/libs/mpl for documentation. |
| |
| // $Id: iterator.hpp 49267 2008-10-11 06:19:02Z agurtovoy $ |
| // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $ |
| // $Revision: 49267 $ |
| |
| #include <boost/mpl/map/aux_/map0.hpp> |
| #include <boost/mpl/map/aux_/at_impl.hpp> |
| #include <boost/mpl/map/aux_/tag.hpp> |
| #include <boost/mpl/iterator_tags.hpp> |
| #include <boost/mpl/if.hpp> |
| #include <boost/mpl/next.hpp> |
| #include <boost/mpl/deref.hpp> |
| #include <boost/mpl/long.hpp> |
| #include <boost/mpl/void.hpp> |
| #include <boost/mpl/aux_/nttp_decl.hpp> |
| #include <boost/mpl/aux_/config/ctps.hpp> |
| |
| namespace boost { namespace mpl { |
| |
| #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) |
| |
| template< |
| typename Map |
| , long order |
| , long max_order |
| > |
| struct next_order |
| : if_< |
| is_void_< typename item_by_order<Map,order>::type > |
| , next_order<Map,(order+1),max_order> |
| , long_<order> |
| >::type |
| { |
| }; |
| |
| template< |
| typename Map |
| , long max_order |
| > |
| struct next_order<Map,max_order,max_order> |
| : long_<max_order> |
| { |
| }; |
| |
| |
| template< typename Map, long order, long max_order > |
| struct m_iter |
| { |
| typedef forward_iterator_tag category; |
| typedef typename item_by_order<Map,order>::type type; |
| }; |
| |
| template< typename Map, long max_order > |
| struct m_iter<Map,max_order,max_order> |
| { |
| typedef forward_iterator_tag category; |
| }; |
| |
| |
| template< typename Map, long order, long max_order > |
| struct next< m_iter<Map,order,max_order> > |
| { |
| typedef m_iter< |
| Map |
| , next_order<Map,order+1,max_order>::value |
| , max_order |
| > type; |
| }; |
| |
| template< typename Map, long max_order > |
| struct next< m_iter<Map,max_order,max_order> > |
| { |
| }; |
| |
| #else |
| |
| template< |
| typename Map |
| , BOOST_MPL_AUX_NTTP_DECL(long, order) |
| , BOOST_MPL_AUX_NTTP_DECL(long, max_order) |
| > |
| struct next_order; |
| |
| template< |
| typename Map |
| , BOOST_MPL_AUX_NTTP_DECL(long, order) |
| , BOOST_MPL_AUX_NTTP_DECL(long, max_order) |
| > |
| struct next_order_impl |
| : if_< |
| is_void_< typename item_by_order<Map,order>::type > |
| , next_order<Map,(order+1),max_order> |
| , long_<order> |
| >::type |
| { |
| }; |
| |
| template< |
| typename Map |
| , BOOST_MPL_AUX_NTTP_DECL(long, order) |
| , BOOST_MPL_AUX_NTTP_DECL(long, max_order) |
| > |
| struct next_order |
| : if_c< |
| (order != max_order) |
| , next_order_impl<Map,order,max_order> |
| , long_<order> |
| >::type |
| { |
| }; |
| |
| |
| template< |
| typename Map |
| , BOOST_MPL_AUX_NTTP_DECL(long, order) |
| , BOOST_MPL_AUX_NTTP_DECL(long, max_order) |
| > |
| struct m_iter; |
| |
| struct m_iter_empty_base {}; |
| |
| template< |
| typename Map |
| , BOOST_MPL_AUX_NTTP_DECL(long, order) |
| , BOOST_MPL_AUX_NTTP_DECL(long, max_order) |
| > |
| struct m_iter_base |
| { |
| typedef typename item_by_order<Map,order>::type type; |
| |
| typedef m_iter< |
| Map |
| , next_order<Map,order+1,max_order>::value |
| , max_order |
| > next; |
| }; |
| |
| template< |
| typename Map |
| , BOOST_MPL_AUX_NTTP_DECL(long, order) |
| , BOOST_MPL_AUX_NTTP_DECL(long, max_order) |
| > |
| struct m_iter |
| : if_c< |
| (order == max_order) |
| , m_iter_empty_base |
| , m_iter_base<Map,order,max_order> |
| >::type |
| { |
| typedef forward_iterator_tag category; |
| }; |
| |
| #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| |
| }} |
| |
| #endif // BOOST_MPL_MAP_AUX_ITERATOR_HPP_INCLUDED |