| // 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_CHECK_BORLAND_DWA2006429_HPP |
| # define BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP |
| |
| namespace boost { |
| |
| template <class ModelFn> |
| struct concept_check; |
| |
| template <class Model> |
| struct concept_check<void(*)(Model)> |
| { |
| enum { instantiate = sizeof((((Model*)0)->~Model()), 3) }; |
| }; |
| |
| # define BOOST_CONCEPT_ASSERT( ModelInParens ) \ |
| enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \ |
| boost::concept_check<void(*)ModelInParens>::instantiate \ |
| } |
| |
| } // namespace boost::concept_checking |
| |
| #endif // BOOST_CONCEPT_CHECK_BORLAND_DWA2006429_HPP |