1 | |
2 | #ifndef BOOST_MPL_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED |
3 | #define BOOST_MPL_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED |
4 | |
5 | // Copyright Aleksey Gurtovoy 2000-2004 |
6 | // |
7 | // Distributed under the Boost Software License, Version 1.0. |
8 | // (See accompanying file LICENSE_1_0.txt or copy at |
9 | // http://www.boost.org/LICENSE_1_0.txt) |
10 | // |
11 | // See http://www.boost.org/libs/mpl for documentation. |
12 | |
13 | // $Id$ |
14 | // $Date$ |
15 | // $Revision$ |
16 | |
17 | #include <boost/mpl/placeholders.hpp> |
18 | #include <boost/mpl/fold.hpp> |
19 | #include <boost/mpl/insert.hpp> |
20 | #include <boost/mpl/clear.hpp> |
21 | #include <boost/mpl/joint_view.hpp> |
22 | #include <boost/mpl/iterator_range.hpp> |
23 | #include <boost/mpl/aux_/na_spec.hpp> |
24 | #include <boost/mpl/aux_/iter_push_front.hpp> |
25 | #include <boost/mpl/aux_/traits_lambda_spec.hpp> |
26 | #include <boost/mpl/aux_/config/forwarding.hpp> |
27 | |
28 | #include <boost/type_traits/same_traits.hpp> |
29 | |
30 | namespace boost { namespace mpl { |
31 | |
32 | // default implementation; conrete sequences might override it by |
33 | // specializing either the 'insert_range_impl' or the primary |
34 | // 'insert_range' template |
35 | |
36 | |
37 | template< typename Tag > |
38 | struct insert_range_impl |
39 | { |
40 | template< |
41 | typename Sequence |
42 | , typename Pos |
43 | , typename Range |
44 | > |
45 | struct apply |
46 | #if !defined(BOOST_MPL_CFG_NO_NESTED_FORWARDING) |
47 | : reverse_fold< |
48 | joint_view< |
49 | iterator_range<typename begin<Sequence>::type,Pos> |
50 | , joint_view< |
51 | Range |
52 | , iterator_range<Pos,typename end<Sequence>::type> |
53 | > |
54 | > |
55 | , typename clear<Sequence>::type |
56 | , insert<_1, begin<_1>, _2> |
57 | > |
58 | { |
59 | #else |
60 | { |
61 | typedef typename reverse_fold< |
62 | joint_view< |
63 | iterator_range<typename begin<Sequence>::type,Pos> |
64 | , joint_view< |
65 | Range |
66 | , iterator_range<Pos,typename end<Sequence>::type> |
67 | > |
68 | > |
69 | , typename clear<Sequence>::type |
70 | , insert<_1, begin<_1>, _2> |
71 | >::type type; |
72 | #endif |
73 | }; |
74 | }; |
75 | |
76 | BOOST_MPL_ALGORITM_TRAITS_LAMBDA_SPEC(3,insert_range_impl) |
77 | |
78 | }} |
79 | |
80 | #endif // BOOST_MPL_AUX_INSERT_RANGE_IMPL_HPP_INCLUDED |
81 | |