ceph/src/boost/boost/concept/detail/general.hpp

   1 // Copyright David Abrahams 2006. Distributed under the Boost
   2 // Software License, Version 1.0. (See accompanying
   3 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   4 #ifndef BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP
   5 # define BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP
   6
   7 # include <boost/config.hpp>
   8 # include <boost/preprocessor/cat.hpp>
   9 # include <boost/concept/detail/backward_compatibility.hpp>
  10
  11 # ifdef BOOST_OLD_CONCEPT_SUPPORT
  12 #  include <boost/concept/detail/has_constraints.hpp>
  13 #  include <boost/type_traits/conditional.hpp>
  14 # endif
  15
  16 // This implementation works on Comeau and GCC, all the way back to
  17 // 2.95
  18 namespace boost { namespace concepts {
  19
  20 template <class ModelFn>
  21 struct requirement_;
  22
  23 namespace detail
  24 {
  25   template <void(*)()> struct instantiate {};
  26 }
  27
  28 template <class Model>
  29 struct requirement
  30 {
  31 #   if defined(BOOST_GCC) && (BOOST_GCC >= 110000)
  32 #   pragma GCC diagnostic push
  33 #   pragma GCC diagnostic ignored "-Wnonnull"
  34 #   endif
  35     static void failed() { ((Model*)0)->~Model(); }
  36 #   if defined(BOOST_GCC) && (BOOST_GCC >= 110000)
  37 #   pragma GCC diagnostic pop
  38 #   endif
  39 };
  40
  41 struct failed {};
  42
  43 template <class Model>
  44 struct requirement<failed ************ Model::************>
  45 {
  46 #   if defined(BOOST_GCC) && (BOOST_GCC >= 110000)
  47 #   pragma GCC diagnostic push
  48 #   pragma GCC diagnostic ignored "-Wnonnull"
  49 #   endif
  50     static void failed() { ((Model*)0)->~Model(); }
  51 #   if defined(BOOST_GCC) && (BOOST_GCC >= 110000)
  52 #   pragma GCC diagnostic pop
  53 #   endif
  54 };
  55
  56 # ifdef BOOST_OLD_CONCEPT_SUPPORT
  57
  58 template <class Model>
  59 struct constraint
  60 {
  61 #   if defined(BOOST_GCC) && (BOOST_GCC >= 110000)
  62 #   pragma GCC diagnostic push
  63 #   pragma GCC diagnostic ignored "-Wnonnull"
  64 #   endif
  65     static void failed() { ((Model*)0)->constraints(); }
  66 #   if defined(BOOST_GCC) && (BOOST_GCC >= 110000)
  67 #   pragma GCC diagnostic pop
  68 #   endif
  69 };
  70
  71 template <class Model>
  72 struct requirement_<void(*)(Model)>
  73   : boost::conditional<
  74         concepts::not_satisfied<Model>::value
  75       , constraint<Model>
  76       , requirement<failed ************ Model::************>
  77     >::type
  78 {};
  79
  80 # else
  81
  82 // For GCC-2.x, these can't have exactly the same name
  83 template <class Model>
  84 struct requirement_<void(*)(Model)>
  85     : requirement<failed ************ Model::************>
  86 {};
  87
  88 # endif
  89
  90 #  define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr )             \
  91     typedef ::boost::concepts::detail::instantiate<          \
  92     &::boost::concepts::requirement_<ModelFnPtr>::failed>    \
  93       BOOST_PP_CAT(boost_concept_check,__LINE__)             \
  94       BOOST_ATTRIBUTE_UNUSED
  95
  96 }}
  97
  98 #endif // BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP