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
7 # include <boost/config.hpp>
8 # include <boost/preprocessor/cat.hpp>
9 # include <boost/concept/detail/backward_compatibility.hpp>
11 # ifdef BOOST_OLD_CONCEPT_SUPPORT
12 # include <boost/concept/detail/has_constraints.hpp>
13 # include <boost/mpl/if.hpp>
16 // This implementation works on Comeau and GCC, all the way back to
18 namespace boost { namespace concepts {
20 template <class ModelFn>
25 template <void(*)()> struct instantiate {};
28 template <class Model>
31 static void failed() { ((Model*)0)->~Model(); }
36 template <class Model>
37 struct requirement<failed ************ Model::************>
39 static void failed() { ((Model*)0)->~Model(); }
42 # ifdef BOOST_OLD_CONCEPT_SUPPORT
44 template <class Model>
47 static void failed() { ((Model*)0)->constraints(); }
50 template <class Model>
51 struct requirement_<void(*)(Model)>
53 concepts::not_satisfied<Model>
55 , requirement<failed ************ Model::************>
61 // For GCC-2.x, these can't have exactly the same name
62 template <class Model>
63 struct requirement_<void(*)(Model)>
64 : requirement<failed ************ Model::************>
69 # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \
70 typedef ::boost::concepts::detail::instantiate< \
71 &::boost::concepts::requirement_<ModelFnPtr>::failed> \
72 BOOST_PP_CAT(boost_concept_check,__LINE__) \
73 BOOST_ATTRIBUTE_UNUSED
77 #endif // BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP