ceph/src/boost/libs/type_traits/test/promote_util.hpp

   1 // Copyright 2005 Alexander Nasonov.
   2 // Distributed under the Boost Software License, Version 1.0. (See
   3 // accompanying file LICENSE_1_0.txt or copy at
   4 // http://www.boost.org/LICENSE_1_0.txt)
   5
   6 #ifndef FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED
   7 #define FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED
   8
   9 #include <boost/type_traits/promote.hpp>
  10
  11 #include <boost/config.hpp>
  12 #include <boost/static_assert.hpp>
  13 #include <boost/type_traits/is_same.hpp>
  14
  15 template<class T, class Promoted>
  16 inline void test_no_cv()
  17 {
  18     typedef BOOST_DEDUCED_TYPENAME boost::promote<T>::type promoted;
  19     BOOST_STATIC_ASSERT((  boost::is_same<promoted,Promoted>::value ));
  20 }
  21
  22 template<class T, class Promoted>
  23 inline void test_cv()
  24 {
  25     typedef BOOST_DEDUCED_TYPENAME boost::promote<T               >::type promoted;
  26     typedef BOOST_DEDUCED_TYPENAME boost::promote<T const         >::type promoted_c;
  27     typedef BOOST_DEDUCED_TYPENAME boost::promote<T       volatile>::type promoted_v;
  28     typedef BOOST_DEDUCED_TYPENAME boost::promote<T const volatile>::type promoted_cv;
  29
  30     BOOST_STATIC_ASSERT(( ::boost::is_same< promoted   , Promoted                >::value ));
  31     BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_c , Promoted const          >::value ));
  32     BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_v , Promoted       volatile >::value ));
  33     BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_cv, Promoted const volatile >::value ));
  34 }
  35
  36 #endif // #ifndef FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED
  37