Chris@16: // Copyright David Abrahams 2006. Distributed under the Boost
Chris@16: // Software License, Version 1.0. (See accompanying
Chris@16: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: #ifndef BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
Chris@16: # define BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP
Chris@16: 
Chris@16: # include <boost/preprocessor/cat.hpp>
Chris@16: # include <boost/concept/detail/backward_compatibility.hpp>
Chris@101: # include <boost/config.hpp>
Chris@16: 
Chris@16: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16: #  include <boost/concept/detail/has_constraints.hpp>
Chris@16: #  include <boost/mpl/if.hpp>
Chris@16: # endif
Chris@16: 
Chris@101: # ifdef BOOST_MSVC
Chris@101: #  pragma warning(push)
Chris@101: #  pragma warning(disable:4100)
Chris@101: # endif
Chris@16: 
Chris@16: namespace boost { namespace concepts {
Chris@16: 
Chris@16: 
Chris@16: template <class Model>
Chris@16: struct check
Chris@16: {
Chris@16:     virtual void failed(Model* x)
Chris@16:     {
Chris@16:         x->~Model();
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: # ifndef BOOST_NO_PARTIAL_SPECIALIZATION
Chris@16: struct failed {};
Chris@16: template <class Model>
Chris@16: struct check<failed ************ Model::************>
Chris@16: {
Chris@16:     virtual void failed(Model* x)
Chris@16:     {
Chris@16:         x->~Model();
Chris@16:     }
Chris@16: };
Chris@16: # endif
Chris@16: 
Chris@16: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16:   
Chris@16: namespace detail
Chris@16: {
Chris@16:   // No need for a virtual function here, since evaluating
Chris@16:   // not_satisfied below will have already instantiated the
Chris@16:   // constraints() member.
Chris@16:   struct constraint {};
Chris@16: }
Chris@16: 
Chris@16: template <class Model>
Chris@16: struct require
Chris@16:   : mpl::if_c<
Chris@16:         not_satisfied<Model>::value
Chris@16:       , detail::constraint
Chris@16: # ifndef BOOST_NO_PARTIAL_SPECIALIZATION
Chris@16:       , check<Model>
Chris@16: # else
Chris@16:       , check<failed ************ Model::************>
Chris@16: # endif 
Chris@16:         >::type
Chris@16: {};
Chris@16:       
Chris@16: # else
Chris@16:   
Chris@16: template <class Model>
Chris@16: struct require
Chris@16: # ifndef BOOST_NO_PARTIAL_SPECIALIZATION
Chris@16:     : check<Model>
Chris@16: # else
Chris@16:     : check<failed ************ Model::************>
Chris@16: # endif 
Chris@16: {};
Chris@16:   
Chris@16: # endif
Chris@16:     
Chris@16: # if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
Chris@16: 
Chris@16: //
Chris@16: // The iterator library sees some really strange errors unless we
Chris@16: // do things this way.
Chris@16: //
Chris@16: template <class Model>
Chris@16: struct require<void(*)(Model)>
Chris@16: {
Chris@16:     virtual void failed(Model*)
Chris@16:     {
Chris@16:         require<Model>();
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr )      \
Chris@16: enum                                                \
Chris@16: {                                                   \
Chris@16:     BOOST_PP_CAT(boost_concept_check,__LINE__) =    \
Chris@16:     sizeof(::boost::concepts::require<ModelFnPtr>)    \
Chris@16: }
Chris@16:   
Chris@16: # else // Not vc-7.1
Chris@16:   
Chris@16: template <class Model>
Chris@16: require<Model>
Chris@16: require_(void(*)(Model));
Chris@16:   
Chris@16: # define BOOST_CONCEPT_ASSERT_FN( ModelFnPtr )          \
Chris@16: enum                                                    \
Chris@16: {                                                       \
Chris@16:     BOOST_PP_CAT(boost_concept_check,__LINE__) =        \
Chris@16:       sizeof(::boost::concepts::require_((ModelFnPtr)0)) \
Chris@16: }
Chris@16:   
Chris@16: # endif
Chris@16: }}
Chris@16: 
Chris@101: # ifdef BOOST_MSVC
Chris@101: #  pragma warning(pop)
Chris@101: # endif
Chris@101: 
Chris@16: #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP