boost/boost/type_traits/is_stateless.hpp

   1
   2 // (C) Copyright Steve Cleary, Beman Dawes, Howard Hinnant & John Maddock 2000.
   3 // Permission to copy, use, modify, sell and distribute this software is
   4 // granted provided this copyright notice appears in all copies. This software
   5 // is provided "as is" without express or implied warranty, and with no claim
   6 // as to its suitability for any purpose.
   7 //
   8 // See http://www.boost.org for most recent version including documentation.
   9
  10 #ifndef BOOST_TT_IS_STATELESS_HPP_INCLUDED
  11 #define BOOST_TT_IS_STATELESS_HPP_INCLUDED
  12
  13 #include "boost/type_traits/has_trivial_constructor.hpp"
  14 #include "boost/type_traits/has_trivial_copy.hpp"
  15 #include "boost/type_traits/has_trivial_destructor.hpp"
  16 #include "boost/type_traits/is_class.hpp"
  17 #include "boost/type_traits/is_empty.hpp"
  18 #include "boost/type_traits/detail/ice_and.hpp"
  19 #include "boost/config.hpp"
  20
  21 // should be the last #include
  22 #include "boost/type_traits/detail/bool_trait_def.hpp"
  23
  24 namespace boost {
  25
  26 namespace detail {
  27
  28 template <typename T>
  29 struct is_stateless_impl
  30 {
  31   BOOST_STATIC_CONSTANT(bool, value =
  32     (::boost::type_traits::ice_and<
  33        ::boost::has_trivial_constructor<T>::value,
  34        ::boost::has_trivial_copy<T>::value,
  35        ::boost::has_trivial_destructor<T>::value,
  36        ::boost::is_class<T>::value,
  37        ::boost::is_empty<T>::value
  38      >::value));
  39 };
  40
  41 } // namespace detail
  42
  43 BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_stateless,T,::boost::detail::is_stateless_impl<T>::value)
  44
  45 } // namespace boost
  46
  47 #include "boost/type_traits/detail/bool_trait_undef.hpp"
  48
  49 #endif // BOOST_TT_IS_STATELESS_HPP_INCLUDED