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 # include <boost/preprocessor/cat.hpp>
8 # include <boost/concept/detail/backward_compatibility.hpp>
9 # include <boost/config.hpp>
11 # ifdef BOOST_OLD_CONCEPT_SUPPORT
12 # include <boost/concept/detail/has_constraints.hpp>
13 # include <boost/mpl/if.hpp>
17 # pragma warning(push)
18 # pragma warning(disable:4100)
21 namespace boost { namespace concepts {
24 template <class Model>
27 virtual void failed(Model* x)
33 # ifndef BOOST_NO_PARTIAL_SPECIALIZATION
35 template <class Model>
36 struct check<failed ************ Model::************>
38 virtual void failed(Model* x)
45 # ifdef BOOST_OLD_CONCEPT_SUPPORT
49 // No need for a virtual function here, since evaluating
50 // not_satisfied below will have already instantiated the
51 // constraints() member.
55 template <class Model>
58 not_satisfied<Model>::value
60 # ifndef BOOST_NO_PARTIAL_SPECIALIZATION
63 , check<failed ************ Model::************>
70 template <class Model>
72 # ifndef BOOST_NO_PARTIAL_SPECIALIZATION
75 : check<failed ************ Model::************>
81 # if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
84 // The iterator library sees some really strange errors unless we
85 // do things this way.
87 template <class Model>
88 struct require<void(*)(Model)>
90 virtual void failed(Model*)
96 # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \
99 BOOST_PP_CAT(boost_concept_check,__LINE__) = \
100 sizeof(::boost::concepts::require<ModelFnPtr>) \
105 template <class Model>
107 require_(void(*)(Model));
109 # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \
112 BOOST_PP_CAT(boost_concept_check,__LINE__) = \
113 sizeof(::boost::concepts::require_((ModelFnPtr)0)) \
120 # pragma warning(pop)
123 #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP