Chris@16: // Copyright David Abrahams 2006. Distributed under the Boost
Chris@16: // Software License, Version 1.0. (See accompanying
Chris@16: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: #ifndef BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP
Chris@16: # define BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP
Chris@16: 
Chris@16: # include <boost/preprocessor/cat.hpp>
Chris@16: # include <boost/concept/detail/backward_compatibility.hpp>
Chris@16: 
Chris@16: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16: #  include <boost/concept/detail/has_constraints.hpp>
Chris@16: #  include <boost/mpl/if.hpp>
Chris@16: # endif
Chris@16: 
Chris@16: // This implementation works on Comeau and GCC, all the way back to
Chris@16: // 2.95
Chris@16: namespace boost { namespace concepts {
Chris@16: 
Chris@16: template <class ModelFn>
Chris@16: struct requirement_;
Chris@16: 
Chris@16: namespace detail
Chris@16: {
Chris@16:   template <void(*)()> struct instantiate {};
Chris@16: }
Chris@16: 
Chris@16: template <class Model>
Chris@16: struct requirement
Chris@16: {
Chris@16:     static void failed() { ((Model*)0)->~Model(); }
Chris@16: };
Chris@16: 
Chris@16: struct failed {};
Chris@16: 
Chris@16: template <class Model>
Chris@16: struct requirement<failed ************ Model::************>
Chris@16: {
Chris@16:     static void failed() { ((Model*)0)->~Model(); }
Chris@16: };
Chris@16: 
Chris@16: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16: 
Chris@16: template <class Model>
Chris@16: struct constraint
Chris@16: {
Chris@16:     static void failed() { ((Model*)0)->constraints(); }
Chris@16: };
Chris@16:   
Chris@16: template <class Model>
Chris@16: struct requirement_<void(*)(Model)>
Chris@16:   : mpl::if_<
Chris@16:         concepts::not_satisfied<Model>
Chris@16:       , constraint<Model>
Chris@16:       , requirement<failed ************ Model::************>
Chris@16:     >::type
Chris@16: {};
Chris@16:   
Chris@16: # else
Chris@16: 
Chris@16: // For GCC-2.x, these can't have exactly the same name
Chris@16: template <class Model>
Chris@16: struct requirement_<void(*)(Model)>
Chris@16:     : requirement<failed ************ Model::************>
Chris@16: {};
Chris@16:   
Chris@16: # endif
Chris@16: 
Chris@16: #  define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr )             \
Chris@16:     typedef ::boost::concepts::detail::instantiate<          \
Chris@16:     &::boost::concepts::requirement_<ModelFnPtr>::failed>    \
Chris@16:       BOOST_PP_CAT(boost_concept_check,__LINE__)
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@16: #endif // BOOST_CONCEPT_DETAIL_GENERAL_DWA2006429_HPP