[44] | 1 | // Copyright David Abrahams 2006. Distributed under the Boost |
---|
| 2 | // Software License, Version 1.0. (See accompanying |
---|
| 3 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
---|
| 4 | #ifndef BOOST_CONCEPT_REQUIRES_DWA2006430_HPP |
---|
| 5 | # define BOOST_CONCEPT_REQUIRES_DWA2006430_HPP |
---|
| 6 | |
---|
| 7 | # include <boost/config.hpp> |
---|
| 8 | # include <boost/parameter/aux_/parenthesized_type.hpp> |
---|
| 9 | # include <boost/concept/assert.hpp> |
---|
| 10 | # include <boost/preprocessor/seq/for_each.hpp> |
---|
| 11 | |
---|
| 12 | namespace boost { |
---|
| 13 | |
---|
| 14 | // Template for use in handwritten assertions |
---|
| 15 | template <class Model, class More> |
---|
| 16 | struct requires_ : More |
---|
| 17 | { |
---|
| 18 | # if BOOST_WORKAROUND(BOOST_MSVC, <= 1300) |
---|
| 19 | typedef typename More::type type; |
---|
| 20 | # endif |
---|
| 21 | BOOST_CONCEPT_ASSERT((Model)); |
---|
| 22 | }; |
---|
| 23 | |
---|
| 24 | // Template for use by macros, where models must be wrapped in parens. |
---|
| 25 | // This isn't in namespace detail to keep extra cruft out of resulting |
---|
| 26 | // error messages. |
---|
| 27 | template <class ModelFn> |
---|
| 28 | struct _requires_ |
---|
| 29 | { |
---|
| 30 | enum { value = 0 }; |
---|
| 31 | BOOST_CONCEPT_ASSERT_FN(ModelFn); |
---|
| 32 | }; |
---|
| 33 | |
---|
| 34 | template <int check, class Result> |
---|
| 35 | struct Requires_ : ::boost::parameter::aux::unaryfunptr_arg_type<Result> |
---|
| 36 | { |
---|
| 37 | # if BOOST_WORKAROUND(BOOST_MSVC, <= 1300) |
---|
| 38 | typedef typename ::boost::parameter::aux::unaryfunptr_arg_type<Result>::type type; |
---|
| 39 | # endif |
---|
| 40 | }; |
---|
| 41 | |
---|
| 42 | # if BOOST_WORKAROUND(BOOST_INTEL_WIN, BOOST_TESTED_AT(1010)) |
---|
| 43 | # define BOOST_CONCEPT_REQUIRES_(r,data,t) | (::boost::_requires_<void(*)t>::value) |
---|
| 44 | # else |
---|
| 45 | # define BOOST_CONCEPT_REQUIRES_(r,data,t) + (::boost::_requires_<void(*)t>::value) |
---|
| 46 | # endif |
---|
| 47 | |
---|
| 48 | #if defined(NDEBUG) || BOOST_WORKAROUND(BOOST_MSVC, < 1300) |
---|
| 49 | |
---|
| 50 | # define BOOST_CONCEPT_REQUIRES(models, result) \ |
---|
| 51 | typename ::boost::parameter::aux::unaryfunptr_arg_type<void(*)result>::type |
---|
| 52 | |
---|
| 53 | #elif BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564)) |
---|
| 54 | |
---|
| 55 | // Same thing as below without the initial typename |
---|
| 56 | # define BOOST_CONCEPT_REQUIRES(models, result) \ |
---|
| 57 | ::boost::Requires_< \ |
---|
| 58 | (0 BOOST_PP_SEQ_FOR_EACH(BOOST_CONCEPT_REQUIRES_, ~, models)), \ |
---|
| 59 | ::boost::parameter::aux::unaryfunptr_arg_type<void(*)result> \ |
---|
| 60 | >::type |
---|
| 61 | |
---|
| 62 | #else |
---|
| 63 | |
---|
| 64 | // This just ICEs on MSVC6 :( |
---|
| 65 | # define BOOST_CONCEPT_REQUIRES(models, result) \ |
---|
| 66 | typename ::boost::Requires_< \ |
---|
| 67 | (0 BOOST_PP_SEQ_FOR_EACH(BOOST_CONCEPT_REQUIRES_, ~, models)), \ |
---|
| 68 | void(*)result \ |
---|
| 69 | >::type |
---|
| 70 | |
---|
| 71 | #endif |
---|
| 72 | |
---|
| 73 | // C++0x proposed syntax changed. This supports an older usage |
---|
| 74 | #define BOOST_CONCEPT_WHERE(models,result) BOOST_CONCEPT_REQUIRES(models,result) |
---|
| 75 | |
---|
| 76 | } // namespace boost::concept_check |
---|
| 77 | |
---|
| 78 | #endif // BOOST_CONCEPT_REQUIRES_DWA2006430_HPP |
---|