[1022] | 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 |
---|
| 6 | |
---|
| 7 | # include <boost/preprocessor/cat.hpp> |
---|
| 8 | # include <boost/concept/detail/backward_compatibility.hpp> |
---|
| 9 | |
---|
| 10 | # ifdef BOOST_OLD_CONCEPT_SUPPORT |
---|
| 11 | # include <boost/concept/detail/has_constraints.hpp> |
---|
| 12 | # include <boost/mpl/if.hpp> |
---|
| 13 | # endif |
---|
| 14 | |
---|
| 15 | |
---|
| 16 | namespace boost { namespace concepts { |
---|
| 17 | |
---|
| 18 | |
---|
| 19 | template <class Model> |
---|
| 20 | struct check |
---|
| 21 | { |
---|
| 22 | virtual void failed(Model* x) |
---|
| 23 | { |
---|
| 24 | x->~Model(); |
---|
| 25 | } |
---|
| 26 | }; |
---|
| 27 | |
---|
| 28 | # ifndef BOOST_NO_PARTIAL_SPECIALIZATION |
---|
| 29 | struct failed {}; |
---|
| 30 | template <class Model> |
---|
| 31 | struct check<failed ************ Model::************> |
---|
| 32 | { |
---|
| 33 | virtual void failed(Model* x) |
---|
| 34 | { |
---|
| 35 | x->~Model(); |
---|
| 36 | } |
---|
| 37 | }; |
---|
| 38 | # endif |
---|
| 39 | |
---|
| 40 | # ifdef BOOST_OLD_CONCEPT_SUPPORT |
---|
| 41 | |
---|
| 42 | namespace detail |
---|
| 43 | { |
---|
| 44 | // No need for a virtual function here, since evaluating |
---|
| 45 | // not_satisfied below will have already instantiated the |
---|
| 46 | // constraints() member. |
---|
| 47 | struct constraint {}; |
---|
| 48 | } |
---|
| 49 | |
---|
| 50 | template <class Model> |
---|
| 51 | struct require |
---|
| 52 | : mpl::if_c< |
---|
| 53 | not_satisfied<Model>::value |
---|
| 54 | , detail::constraint |
---|
| 55 | # ifndef BOOST_NO_PARTIAL_SPECIALIZATION |
---|
| 56 | , check<Model> |
---|
| 57 | # else |
---|
| 58 | , check<failed ************ Model::************> |
---|
| 59 | # endif |
---|
| 60 | >::type |
---|
| 61 | {}; |
---|
| 62 | |
---|
| 63 | # else |
---|
| 64 | |
---|
| 65 | template <class Model> |
---|
| 66 | struct require |
---|
| 67 | # ifndef BOOST_NO_PARTIAL_SPECIALIZATION |
---|
| 68 | : check<Model> |
---|
| 69 | # else |
---|
| 70 | : check<failed ************ Model::************> |
---|
| 71 | # endif |
---|
| 72 | {}; |
---|
| 73 | |
---|
| 74 | # endif |
---|
| 75 | |
---|
| 76 | # if BOOST_WORKAROUND(BOOST_MSVC, == 1310) |
---|
| 77 | |
---|
| 78 | // |
---|
| 79 | // The iterator library sees some really strange errors unless we |
---|
| 80 | // do things this way. |
---|
| 81 | // |
---|
| 82 | template <class Model> |
---|
| 83 | struct require<void(*)(Model)> |
---|
| 84 | { |
---|
| 85 | virtual void failed(Model*) |
---|
| 86 | { |
---|
| 87 | require<Model>(); |
---|
| 88 | } |
---|
| 89 | }; |
---|
| 90 | |
---|
| 91 | # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \ |
---|
| 92 | enum \ |
---|
| 93 | { \ |
---|
| 94 | BOOST_PP_CAT(boost_concept_check,__LINE__) = \ |
---|
| 95 | sizeof(::boost::concepts::require<ModelFnPtr>) \ |
---|
| 96 | } |
---|
| 97 | |
---|
| 98 | # else // Not vc-7.1 |
---|
| 99 | |
---|
| 100 | template <class Model> |
---|
| 101 | require<Model> |
---|
| 102 | require_(void(*)(Model)); |
---|
| 103 | |
---|
| 104 | # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \ |
---|
| 105 | enum \ |
---|
| 106 | { \ |
---|
| 107 | BOOST_PP_CAT(boost_concept_check,__LINE__) = \ |
---|
| 108 | sizeof(::boost::concepts::require_((ModelFnPtr)0)) \ |
---|
| 109 | } |
---|
| 110 | |
---|
| 111 | # endif |
---|
| 112 | }} |
---|
| 113 | |
---|
| 114 | #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP |
---|