// 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_REQUIRES_DWA2006430_HPP | |
# define BOOST_CONCEPT_REQUIRES_DWA2006430_HPP | |
# include <boost/config.hpp> | |
# include <boost/parameter/aux_/parenthesized_type.hpp> | |
# include <boost/concept/assert.hpp> | |
# include <boost/preprocessor/seq/for_each.hpp> | |
namespace boost { | |
// Template for use in handwritten assertions | |
template <class Model, class More> | |
struct requires_ : More | |
{ | |
# if BOOST_WORKAROUND(BOOST_MSVC, <= 1300) | |
typedef typename More::type type; | |
# endif | |
BOOST_CONCEPT_ASSERT((Model)); | |
}; | |
// Template for use by macros, where models must be wrapped in parens. | |
// This isn't in namespace detail to keep extra cruft out of resulting | |
// error messages. | |
template <class ModelFn> | |
struct _requires_ | |
{ | |
enum { value = 0 }; | |
BOOST_CONCEPT_ASSERT_FN(ModelFn); | |
}; | |
template <int check, class Result> | |
struct Requires_ : ::boost::parameter::aux::unaryfunptr_arg_type<Result> | |
{ | |
# if BOOST_WORKAROUND(BOOST_MSVC, <= 1300) | |
typedef typename ::boost::parameter::aux::unaryfunptr_arg_type<Result>::type type; | |
# endif | |
}; | |
# if BOOST_WORKAROUND(BOOST_INTEL_WIN, BOOST_TESTED_AT(1010)) | |
# define BOOST_CONCEPT_REQUIRES_(r,data,t) | (::boost::_requires_<void(*)t>::value) | |
# else | |
# define BOOST_CONCEPT_REQUIRES_(r,data,t) + (::boost::_requires_<void(*)t>::value) | |
# endif | |
#if defined(NDEBUG) || BOOST_WORKAROUND(BOOST_MSVC, < 1300) | |
# define BOOST_CONCEPT_REQUIRES(models, result) \ | |
typename ::boost::parameter::aux::unaryfunptr_arg_type<void(*)result>::type | |
#elif BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564)) | |
// Same thing as below without the initial typename | |
# define BOOST_CONCEPT_REQUIRES(models, result) \ | |
::boost::Requires_< \ | |
(0 BOOST_PP_SEQ_FOR_EACH(BOOST_CONCEPT_REQUIRES_, ~, models)), \ | |
::boost::parameter::aux::unaryfunptr_arg_type<void(*)result> \ | |
>::type | |
#else | |
// This just ICEs on MSVC6 :( | |
# define BOOST_CONCEPT_REQUIRES(models, result) \ | |
typename ::boost::Requires_< \ | |
(0 BOOST_PP_SEQ_FOR_EACH(BOOST_CONCEPT_REQUIRES_, ~, models)), \ | |
void(*)result \ | |
>::type | |
#endif | |
// C++0x proposed syntax changed. This supports an older usage | |
#define BOOST_CONCEPT_WHERE(models,result) BOOST_CONCEPT_REQUIRES(models,result) | |
} // namespace boost::concept_check | |
#endif // BOOST_CONCEPT_REQUIRES_DWA2006430_HPP |