123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169 |
- #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$
- // $Date$
- // $Revision$
- #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
|