1 
2 #ifndef BOOST_MPL_SET_AUX_INSERT_IMPL_HPP_INCLUDED
3 #define BOOST_MPL_SET_AUX_INSERT_IMPL_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/insert_fwd.hpp>
19 #include <boost/mpl/set/aux_/has_key_impl.hpp>
20 #include <boost/mpl/set/aux_/item.hpp>
21 #include <boost/mpl/set/aux_/tag.hpp>
22 #include <boost/mpl/identity.hpp>
23 #include <boost/mpl/base.hpp>
24 #include <boost/mpl/eval_if.hpp>
25 #include <boost/mpl/aux_/na.hpp>
26 
27 #include <boost/type_traits/is_same.hpp>
28 
29 namespace boost { namespace mpl {
30 
31 namespace aux {
32 template<  typename Set, typename T > struct set_insert_impl
33     : eval_if<
34           has_key_impl<aux::set_tag>::apply<Set,T>
35         , identity<Set>
36         , eval_if<
37               is_same< T,typename Set::last_masked_ >
38             , base<Set>
39             , identity< s_item<T,typename Set::item_> >
40             >
41         >
42 {
43 };
44 }
45 
46 template<>
47 struct insert_impl< aux::set_tag >
48 {
49     template<
50           typename Set
51         , typename PosOrKey
52         , typename KeyOrNA
53         >
54     struct apply
55         : aux::set_insert_impl<
56               Set
57             , typename if_na<KeyOrNA,PosOrKey>::type
58             >
59     {
60     };
61 };
62 
63 }}
64 
65 #endif // BOOST_MPL_SET_AUX_INSERT_IMPL_HPP_INCLUDED
66