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/general.hpp (2211B)

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

// This implementation works on GCC and Comeau, but has actually been
// fairly carefully tuned to work on GCC versions starting with
// gcc-2.95.x.  If you're trying to get an additional compiler to pass
// the tests you might consider breaking out a separate gcc.hpp and
// starting over on the general case.
namespace boost
{
  namespace concept_checking
  {
    template <void(*)()> struct instantiate {};
  }
  
  template <class ModelFn> struct concept_check_;

template <class Model>
  void concept_check_failed()
  {
      ((Model*)0)->~Model();
  }

template <class Model>
  struct concept_check
  {
      concept_checking::instantiate<concept_check_failed<Model> > x;
      enum { instantiate = 1 };
  };

# ifdef BOOST_OLD_CONCEPT_SUPPORT
  
  template <class Model>
  void constraint_check_failed()
  {
      ((Model*)0)->constraints();
  }

template <class Model>
  struct constraint_check
  {
      concept_checking::instantiate<constraint_check_failed<Model> > x;
      enum { instantiate = 1 };
  };
  
  template <class Model>
  struct concept_check_<void(*)(Model)>
    : conditional<
          concept_checking::has_constraints<Model>::value
        , constraint_check<Model>
        , concept_check<Model>
      >::type
  {};
  
# else
  
  template <class Model>
  struct concept_check_<void(*)(Model)>
    : concept_check<Model>
  {};
  
# endif
  
  // Usage, in class or function context:
  //
  //     BOOST_CONCEPT_ASSERT((UnaryFunctionConcept<F,bool,int>));
#  define BOOST_CONCEPT_ASSERT( ModelInParens )                             \
  enum { BOOST_PP_CAT(boost_concept_check,__LINE__) =                       \
         ::boost::concept_check_<void(*) ModelInParens>::instantiate        \
  }
}

#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 // This implementation works on GCC and Comeau, but has actually been // fairly carefully tuned to work on GCC versions starting with // gcc-2.95.x. If you're trying to get an additional compiler to pass // the tests you might consider breaking out a separate gcc.hpp and // starting over on the general case. namespace boost { namespace concept_checking { template struct instantiate {}; } template struct concept_check_; template void concept_check_failed() { ((Model*)0)->~Model(); } template struct concept_check { concept_checking::instantiate > x; enum { instantiate = 1 }; }; # ifdef BOOST_OLD_CONCEPT_SUPPORT template void constraint_check_failed() { ((Model*)0)->constraints(); } template struct constraint_check { concept_checking::instantiate > x; enum { instantiate = 1 }; }; template struct concept_check_ : conditional< concept_checking::has_constraints::value , constraint_check , concept_check >::type {}; # else template struct concept_check_ : concept_check {}; # endif // Usage, in class or function context: // // BOOST_CONCEPT_ASSERT((UnaryFunctionConcept)); # define BOOST_CONCEPT_ASSERT( ModelInParens ) \ enum { BOOST_PP_CAT(boost_concept_check,__LINE__) = \ ::boost::concept_check_::instantiate \ } } #endif // BOOST_CONCEPT_CHECK_MSVC_DWA2006429_HPP