FM / concept

/usr/include/boost/concept_check

Name	Size	Mode	Actions
borland.hpp	795	0644	edit dl rm
general.hpp	2211	0644	edit dl rm
has_constraints.hpp	989	0644	edit dl rm
msvc.hpp	2157	0644	edit dl rm

Edit: /usr/include/boost/concept_check/msvc.hpp (2157B)

# ifdef BOOST_OLD_CONCEPT_SUPPORT
#  include <boost/concept_check/has_constraints.hpp>
#  include <boost/type_traits/conditional.hpp>
# endif

namespace boost
{
  namespace concept_checking
  {
    template <class Model>
    struct concept_check_
    {
        virtual void failed(Model* x)
        {
            x->~Model();
        }
    };
  }
  
# ifdef BOOST_OLD_CONCEPT_SUPPORT
  
  namespace concept_checking
  {
    template <class Model>
    struct constraint_check
    {
        virtual void failed(Model* x)
        {
            x->constraints();
        }
    };
  }

template <class Model>
  struct concept_check
    : conditional<
          concept_checking::has_constraints<Model>::value
        , concept_checking::constraint_check<Model>
        , concept_checking::concept_check_<Model>
      >::type
  {};
      
# else
  
  template <class Model>
  struct concept_check
    : concept_checking::concept_check_<Model>
  {};
  
# endif

# if BOOST_WORKAROUND(BOOST_MSVC, == 1310)

//
  // The iterator library sees some really strange errors unless we
  // use partial specialization to extract the model type with
  // msvc-7.1
  // 
  template <class Model>
  struct concept_check<void(*)(Model)>
    : concept_check<Model>
  { };

# define BOOST_CONCEPT_ASSERT( ModelInParens )                          \
  enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                   \
         sizeof(::boost::concept_check<void(*) ModelInParens>)          \
  }
  
# else
  
  template <class Model>
  concept_check<Model>
  concept_check_(void(*)(Model));
  
# define BOOST_CONCEPT_ASSERT( ModelInParens )                          \
  enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                   \
         sizeof(::boost::concept_check_((void(*) ModelInParens)0))      \
  }
  
# endif 
}

#endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP

// Copyright David Abrahams 2006. Distributed under the Boost // Software License, Version 1.0. (See accompanying // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) #ifndef BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP # define BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP # ifdef BOOST_OLD_CONCEPT_SUPPORT # include # include # endif namespace boost { namespace concept_checking { template struct concept_check_ { virtual void failed(Model* x) { x->~Model(); } }; } # ifdef BOOST_OLD_CONCEPT_SUPPORT namespace concept_checking { template struct constraint_check { virtual void failed(Model* x) { x->constraints(); } }; } template struct concept_check : conditional< concept_checking::has_constraints::value , concept_checking::constraint_check , concept_checking::concept_check_ >::type {}; # else template struct concept_check : concept_checking::concept_check_ {}; # endif # if BOOST_WORKAROUND(BOOST_MSVC, == 1310) // // The iterator library sees some really strange errors unless we // use partial specialization to extract the model type with // msvc-7.1 // template struct concept_check : concept_check { }; # define BOOST_CONCEPT_ASSERT( ModelInParens ) \ enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \ sizeof(::boost::concept_check) \ } # else template concept_check concept_check_(void(*)(Model)); # define BOOST_CONCEPT_ASSERT( ModelInParens ) \ enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \ sizeof(::boost::concept_check_((void(*) ModelInParens)0)) \ } # endif } #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP