| |
| #ifndef BOOST_MPL_SET_AUX_ITERATOR_HPP_INCLUDED |
| #define BOOST_MPL_SET_AUX_ITERATOR_HPP_INCLUDED |
| |
| // Copyright Aleksey Gurtovoy 2003-2007 |
| // 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/set/aux_/set0.hpp> |
| #include <boost/mpl/has_key.hpp> |
| #include <boost/mpl/iterator_tags.hpp> |
| #include <boost/mpl/next.hpp> |
| #include <boost/mpl/eval_if.hpp> |
| #include <boost/mpl/if.hpp> |
| #include <boost/mpl/identity.hpp> |
| #include <boost/mpl/aux_/config/ctps.hpp> |
| |
| namespace boost { namespace mpl { |
| |
| // used by 's_iter_get' |
| template< typename Set, typename Tail > struct s_iter; |
| |
| template< typename Set, typename Tail > struct s_iter_get |
| : eval_if< |
| has_key< Set,typename Tail::item_type_ > |
| , identity< s_iter<Set,Tail> > |
| , next< s_iter<Set,Tail> > |
| > |
| { |
| }; |
| |
| template< typename Set, typename Tail > struct s_iter_impl |
| { |
| typedef Tail tail_; |
| typedef forward_iterator_tag category; |
| typedef typename Tail::item_type_ type; |
| |
| #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) |
| typedef typename s_iter_get< Set,typename Tail::base >::type next; |
| #endif |
| }; |
| |
| #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) |
| |
| template< typename Set, typename Tail > |
| struct next< s_iter<Set,Tail> > |
| : s_iter_get< Set,typename Tail::base > |
| { |
| }; |
| |
| template< typename Set > |
| struct next< s_iter<Set,set0<> > > |
| { |
| typedef s_iter<Set,set0<> > type; |
| }; |
| |
| template< typename Set, typename Tail > struct s_iter |
| : s_iter_impl<Set,Tail> |
| { |
| }; |
| |
| template< typename Set > struct s_iter<Set, set0<> > |
| { |
| typedef forward_iterator_tag category; |
| }; |
| |
| #else |
| |
| template< typename Set > |
| struct s_end_iter |
| { |
| typedef forward_iterator_tag category; |
| typedef s_iter<Set,set0<> > next; |
| }; |
| |
| template< typename Set, typename Tail > struct s_iter |
| : if_< |
| is_same< Tail,set0<> > |
| , s_end_iter<Set> |
| , s_iter_impl<Set,Tail> |
| >::type |
| { |
| }; |
| |
| #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| |
| }} |
| |
| #endif // BOOST_MPL_SET_AUX_ITERATOR_HPP_INCLUDED |