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_BORLAND_DWA2006429_HPP
Chris@16: # define BOOST_CONCEPT_DETAIL_BORLAND_DWA2006429_HPP
Chris@16: 
Chris@16: # include <boost/preprocessor/cat.hpp>
Chris@16: # include <boost/concept/detail/backward_compatibility.hpp>
Chris@16: 
Chris@16: namespace boost { namespace concepts {
Chris@16: 
Chris@16: template <class ModelFnPtr>
Chris@16: struct require;
Chris@16: 
Chris@16: template <class Model>
Chris@16: struct require<void(*)(Model)>
Chris@16: {
Chris@16:     enum { instantiate = sizeof((((Model*)0)->~Model()), 3) };
Chris@16: };
Chris@16: 
Chris@16: #  define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr )         \
Chris@16:   enum                                                  \
Chris@16:   {                                                     \
Chris@16:       BOOST_PP_CAT(boost_concept_check,__LINE__) =      \
Chris@16:       boost::concepts::require<ModelFnPtr>::instantiate  \
Chris@16:   }
Chris@16: 
Chris@16: }} // namespace boost::concept
Chris@16: 
Chris@16: #endif // BOOST_CONCEPT_DETAIL_BORLAND_DWA2006429_HPP