2010-07-26 17:06:36 +00:00
|
|
|
// Copyright David Abrahams 2006. Distributed under the Boost
|
|
|
|
// Software License, Version 1.0. (See accompanying
|
|
|
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
#ifndef BOOST_CONCEPT_DETAIL_BORLAND_DWA2006429_HPP
|
|
|
|
# define BOOST_CONCEPT_DETAIL_BORLAND_DWA2006429_HPP
|
|
|
|
|
|
|
|
# include <boost/preprocessor/cat.hpp>
|
2010-08-17 11:16:51 +00:00
|
|
|
# include <boost/concept/detail/backward_compatibility.hpp>
|
2010-07-26 17:06:36 +00:00
|
|
|
|
2010-08-17 11:16:51 +00:00
|
|
|
namespace boost { namespace concepts {
|
2010-07-26 17:06:36 +00:00
|
|
|
|
|
|
|
template <class ModelFnPtr>
|
|
|
|
struct require;
|
|
|
|
|
|
|
|
template <class Model>
|
|
|
|
struct require<void(*)(Model)>
|
|
|
|
{
|
|
|
|
enum { instantiate = sizeof((((Model*)0)->~Model()), 3) };
|
|
|
|
};
|
|
|
|
|
|
|
|
# define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \
|
|
|
|
enum \
|
|
|
|
{ \
|
|
|
|
BOOST_PP_CAT(boost_concept_check,__LINE__) = \
|
2010-08-17 11:16:51 +00:00
|
|
|
boost::concepts::require<ModelFnPtr>::instantiate \
|
2010-07-26 17:06:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}} // namespace boost::concept
|
|
|
|
|
|
|
|
#endif // BOOST_CONCEPT_DETAIL_BORLAND_DWA2006429_HPP
|