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 |
---|