src/boost/mpl/set/aux_/insert_impl.hpp

   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-2004
   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 // $Source: /cvsroot/boost/boost/boost/mpl/set/aux_/insert_impl.hpp,v $
  15 // $Date: 2004/09/05 09:42:59 $
  16 // $Revision: 1.4 $
  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,Set> >
  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