Chris@16
|
1
|
Chris@16
|
2 #ifndef BOOST_MPL_AUX_ERASE_IMPL_HPP_INCLUDED
|
Chris@16
|
3 #define BOOST_MPL_AUX_ERASE_IMPL_HPP_INCLUDED
|
Chris@16
|
4
|
Chris@16
|
5 // Copyright Aleksey Gurtovoy 2000-2004
|
Chris@16
|
6 //
|
Chris@16
|
7 // Distributed under the Boost Software License, Version 1.0.
|
Chris@16
|
8 // (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
9 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
10 //
|
Chris@16
|
11 // See http://www.boost.org/libs/mpl for documentation.
|
Chris@16
|
12
|
Chris@101
|
13 // $Id$
|
Chris@101
|
14 // $Date$
|
Chris@101
|
15 // $Revision$
|
Chris@16
|
16
|
Chris@16
|
17 #include <boost/mpl/clear.hpp>
|
Chris@16
|
18 #include <boost/mpl/push_front.hpp>
|
Chris@16
|
19 #include <boost/mpl/reverse_fold.hpp>
|
Chris@16
|
20 #include <boost/mpl/iterator_range.hpp>
|
Chris@16
|
21 #include <boost/mpl/next.hpp>
|
Chris@16
|
22 #include <boost/mpl/aux_/na.hpp>
|
Chris@16
|
23
|
Chris@16
|
24 namespace boost { namespace mpl {
|
Chris@16
|
25
|
Chris@16
|
26 // default implementation; conrete sequences might override it by
|
Chris@16
|
27 // specializing either the 'erase_impl' or the primary 'erase' template
|
Chris@16
|
28
|
Chris@16
|
29 template< typename Tag >
|
Chris@16
|
30 struct erase_impl
|
Chris@16
|
31 {
|
Chris@16
|
32 template<
|
Chris@16
|
33 typename Sequence
|
Chris@16
|
34 , typename First
|
Chris@16
|
35 , typename Last
|
Chris@16
|
36 >
|
Chris@16
|
37 struct apply
|
Chris@16
|
38 {
|
Chris@16
|
39 typedef typename if_na< Last,typename next<First>::type >::type last_;
|
Chris@16
|
40
|
Chris@16
|
41 // 1st half: [begin, first)
|
Chris@16
|
42 typedef iterator_range<
|
Chris@16
|
43 typename begin<Sequence>::type
|
Chris@16
|
44 , First
|
Chris@16
|
45 > first_half_;
|
Chris@16
|
46
|
Chris@16
|
47 // 2nd half: [last, end) ... that is, [last + 1, end)
|
Chris@16
|
48 typedef iterator_range<
|
Chris@16
|
49 last_
|
Chris@16
|
50 , typename end<Sequence>::type
|
Chris@16
|
51 > second_half_;
|
Chris@16
|
52
|
Chris@16
|
53 typedef typename reverse_fold<
|
Chris@16
|
54 second_half_
|
Chris@16
|
55 , typename clear<Sequence>::type
|
Chris@16
|
56 , push_front<_,_>
|
Chris@16
|
57 >::type half_sequence_;
|
Chris@16
|
58
|
Chris@16
|
59 typedef typename reverse_fold<
|
Chris@16
|
60 first_half_
|
Chris@16
|
61 , half_sequence_
|
Chris@16
|
62 , push_front<_,_>
|
Chris@16
|
63 >::type type;
|
Chris@16
|
64 };
|
Chris@16
|
65 };
|
Chris@16
|
66
|
Chris@16
|
67 }}
|
Chris@16
|
68
|
Chris@16
|
69 #endif // BOOST_MPL_AUX_ERASE_IMPL_HPP_INCLUDED
|