#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 |