Chris@16
|
1
|
Chris@16
|
2 #ifndef BOOST_MPL_INSERT_IMPL_HPP_INCLUDED
|
Chris@16
|
3 #define BOOST_MPL_INSERT_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/reverse_fold.hpp>
|
Chris@16
|
18 #include <boost/mpl/iterator_range.hpp>
|
Chris@16
|
19 #include <boost/mpl/clear.hpp>
|
Chris@16
|
20 #include <boost/mpl/push_front.hpp>
|
Chris@16
|
21 #include <boost/mpl/aux_/na_spec.hpp>
|
Chris@16
|
22 #include <boost/mpl/aux_/traits_lambda_spec.hpp>
|
Chris@16
|
23 #include <boost/type_traits/is_same.hpp>
|
Chris@16
|
24
|
Chris@16
|
25 namespace boost { namespace mpl {
|
Chris@16
|
26
|
Chris@16
|
27 // default implementation; conrete sequences might override it by
|
Chris@16
|
28 // specializing either the 'insert_impl' or the primary 'insert' template
|
Chris@16
|
29
|
Chris@16
|
30 template< typename Tag >
|
Chris@16
|
31 struct insert_impl
|
Chris@16
|
32 {
|
Chris@16
|
33 template<
|
Chris@16
|
34 typename Sequence
|
Chris@16
|
35 , typename Pos
|
Chris@16
|
36 , typename T
|
Chris@16
|
37 >
|
Chris@16
|
38 struct apply
|
Chris@16
|
39 {
|
Chris@16
|
40 typedef iterator_range<
|
Chris@16
|
41 typename begin<Sequence>::type
|
Chris@16
|
42 , Pos
|
Chris@16
|
43 > first_half_;
|
Chris@16
|
44
|
Chris@16
|
45 typedef iterator_range<
|
Chris@16
|
46 Pos
|
Chris@16
|
47 , typename end<Sequence>::type
|
Chris@16
|
48 > second_half_;
|
Chris@16
|
49
|
Chris@16
|
50 typedef typename reverse_fold<
|
Chris@16
|
51 second_half_
|
Chris@16
|
52 , typename clear<Sequence>::type
|
Chris@16
|
53 , push_front<_,_>
|
Chris@16
|
54 >::type half_sequence_;
|
Chris@16
|
55
|
Chris@16
|
56 typedef typename reverse_fold<
|
Chris@16
|
57 first_half_
|
Chris@16
|
58 , typename push_front<half_sequence_,T>::type
|
Chris@16
|
59 , push_front<_,_>
|
Chris@16
|
60 >::type type;
|
Chris@16
|
61 };
|
Chris@16
|
62 };
|
Chris@16
|
63
|
Chris@16
|
64 BOOST_MPL_ALGORITM_TRAITS_LAMBDA_SPEC(3,insert_impl)
|
Chris@16
|
65
|
Chris@16
|
66 }}
|
Chris@16
|
67
|
Chris@16
|
68 #endif // BOOST_MPL_INSERT_IMPL_HPP_INCLUDED
|