boost/concept_check/borland.hpp

0001 // Copyright David Abrahams 2006. Distributed under the Boost
0002 // Software License, Version 1.0. (See accompanying
0003 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
0004 #ifndef BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
0005 # define BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP
0006
0007 namespace boost {
0008
0009 template <class ModelFn>
0010 struct concept_check;
0011
0012 template <class Model>
0013 struct concept_check<void(*)(Model)>
0014 {
0015     enum { instantiate = sizeof((((Model*)0)->~Model()), 3) };
0016 };
0017
0018 #  define BOOST_CONCEPT_ASSERT( ModelInParens )                     \
0019   enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =               \
0020          boost::concept_check<void(*)ModelInParens>::instantiate    \
0021   }
0022
0023 } // namespace boost::concept_checking
0024
0025 #endif // BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP