1 // Copyright David Abrahams 2006. Distributed under the Boost
2 // Software License, Version 1.0. (See accompanying
3 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
4 #ifndef BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
5 # define BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
7 # ifdef BOOST_OLD_CONCEPT_SUPPORT
8 # include <boost/concept_check/has_constraints.hpp>
9 # include <boost/mpl/if.hpp>
15 namespace concept_checking
17 template <class Model>
20 virtual void failed(Model* x)
27 # ifdef BOOST_OLD_CONCEPT_SUPPORT
29 namespace concept_checking
31 template <class Model>
32 struct constraint_check
34 virtual void failed(Model* x)
41 template <class Model>
44 concept_checking::has_constraints<Model>::value
45 , concept_checking::constraint_check<Model>
46 , concept_checking::concept_check_<Model>
52 template <class Model>
54 : concept_checking::concept_check_<Model>
59 # if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
62 // The iterator library sees some really strange errors unless we
63 // use partial specialization to extract the model type with
66 template <class Model>
67 struct concept_check<void(*)(Model)>
68 : concept_check<Model>
71 # define BOOST_CONCEPT_ASSERT( ModelInParens ) \
72 enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \
73 sizeof(::boost::concept_check<void(*) ModelInParens>) \
78 template <class Model>
80 concept_check_(void(*)(Model));
82 # define BOOST_CONCEPT_ASSERT( ModelInParens ) \
83 enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \
84 sizeof(::boost::concept_check_((void(*) ModelInParens)0)) \
90 #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP