]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
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$ | |
15 | // $Date$ | |
16 | // $Revision$ | |
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 |