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: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16: #  include <boost/concept_check/has_constraints.hpp>
Chris@16: #  include <boost/mpl/if.hpp>
Chris@16: # endif
Chris@16: 
Chris@16: 
Chris@16: namespace boost
Chris@16: {
Chris@16:   namespace concept_checking
Chris@16:   {
Chris@16:     template <class Model>
Chris@16:     struct concept_check_
Chris@16:     {
Chris@16:         virtual void failed(Model* x)
Chris@16:         {
Chris@16:             x->~Model();
Chris@16:         }
Chris@16:     };
Chris@16:   }
Chris@16:   
Chris@16: # ifdef BOOST_OLD_CONCEPT_SUPPORT
Chris@16:   
Chris@16:   namespace concept_checking
Chris@16:   {
Chris@16:     template <class Model>
Chris@16:     struct constraint_check
Chris@16:     {
Chris@16:         virtual void failed(Model* x)
Chris@16:         {
Chris@16:             x->constraints();
Chris@16:         }
Chris@16:     };
Chris@16:   }
Chris@16: 
Chris@16:   template <class Model>
Chris@16:   struct concept_check
Chris@16:     : mpl::if_c<
Chris@16:           concept_checking::has_constraints<Model>::value
Chris@16:         , concept_checking::constraint_check<Model>
Chris@16:         , concept_checking::concept_check_<Model>
Chris@16:       >::type
Chris@16:   {};
Chris@16:       
Chris@16: # else
Chris@16:   
Chris@16:   template <class Model>
Chris@16:   struct concept_check
Chris@16:     : concept_checking::concept_check_<Model>
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:   // use partial specialization to extract the model type with
Chris@16:   // msvc-7.1
Chris@16:   // 
Chris@16:   template <class Model>
Chris@16:   struct concept_check<void(*)(Model)>
Chris@16:     : concept_check<Model>
Chris@16:   { };
Chris@16: 
Chris@16: # define BOOST_CONCEPT_ASSERT( ModelInParens )                          \
Chris@16:   enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                   \
Chris@16:          sizeof(::boost::concept_check<void(*) ModelInParens>)          \
Chris@16:   }
Chris@16:   
Chris@16: # else
Chris@16:   
Chris@16:   template <class Model>
Chris@16:   concept_check<Model>
Chris@16:   concept_check_(void(*)(Model));
Chris@16:   
Chris@16: # define BOOST_CONCEPT_ASSERT( ModelInParens )                          \
Chris@16:   enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                   \
Chris@16:          sizeof(::boost::concept_check_((void(*) ModelInParens)0))      \
Chris@16:   }
Chris@16:   
Chris@16: # endif 
Chris@16: }
Chris@16: 
Chris@16: #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP