src/boost/boost/mpl/set/aux_/iterator.hpp

   1
   2 #ifndef BOOST_MPL_SET_AUX_ITERATOR_HPP_INCLUDED
   3 #define BOOST_MPL_SET_AUX_ITERATOR_HPP_INCLUDED
   4
   5 // Copyright Aleksey Gurtovoy 2003-2007
   6 // Copyright David Abrahams 2003-2004
   7 //
   8 // Distributed under the Boost Software License, Version 1.0.
   9 // (See accompanying file LICENSE_1_0.txt or copy at
  10 // http://www.boost.org/LICENSE_1_0.txt)
  11 //
  12 // See http://www.boost.org/libs/mpl for documentation.
  13
  14 // $Id: iterator.hpp 49267 2008-10-11 06:19:02Z agurtovoy $
  15 // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $
  16 // $Revision: 49267 $
  17
  18 #include <boost/mpl/set/aux_/set0.hpp>
  19 #include <boost/mpl/has_key.hpp>
  20 #include <boost/mpl/iterator_tags.hpp>
  21 #include <boost/mpl/next.hpp>
  22 #include <boost/mpl/eval_if.hpp>
  23 #include <boost/mpl/if.hpp>
  24 #include <boost/mpl/identity.hpp>
  25 #include <boost/mpl/aux_/config/ctps.hpp>
  26
  27 namespace boost { namespace mpl {
  28
  29 // used by 's_iter_get'
  30 template< typename Set, typename Tail > struct s_iter;
  31
  32 template< typename Set, typename Tail > struct s_iter_get
  33     : eval_if<
  34           has_key< Set,typename Tail::item_type_ >
  35         , identity< s_iter<Set,Tail> >
  36         , next< s_iter<Set,Tail> >
  37         >
  38 {
  39 };
  40
  41 template< typename Set, typename Tail > struct s_iter_impl
  42 {
  43     typedef Tail                        tail_;
  44     typedef forward_iterator_tag        category;
  45     typedef typename Tail::item_type_   type;
  46
  47 #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
  48     typedef typename s_iter_get< Set,typename Tail::base >::type next;
  49 #endif
  50 };
  51
  52 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
  53
  54 template< typename Set, typename Tail >
  55 struct next< s_iter<Set,Tail> >
  56     : s_iter_get< Set,typename Tail::base >
  57 {
  58 };
  59
  60 template< typename Set >
  61 struct next< s_iter<Set,set0<> > >
  62 {
  63     typedef s_iter<Set,set0<> > type;
  64 };
  65
  66 template< typename Set, typename Tail > struct s_iter
  67     : s_iter_impl<Set,Tail>
  68 {
  69 };
  70
  71 template< typename Set > struct s_iter<Set, set0<> >
  72 {
  73     typedef forward_iterator_tag category;
  74 };
  75
  76 #else
  77
  78 template< typename Set >
  79 struct s_end_iter
  80 {
  81     typedef forward_iterator_tag    category;
  82     typedef s_iter<Set,set0<> >     next;
  83 };
  84
  85 template< typename Set, typename Tail > struct s_iter
  86     : if_<
  87           is_same< Tail,set0<> >
  88         , s_end_iter<Set>
  89         , s_iter_impl<Set,Tail>
  90         >::type
  91 {
  92 };
  93
  94 #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
  95
  96 }}
  97
  98 #endif // BOOST_MPL_SET_AUX_ITERATOR_HPP_INCLUDED