|
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_ASSERT_DWA2006430_HPP |
|
5 # define BOOST_CONCEPT_ASSERT_DWA2006430_HPP |
|
6 |
|
7 # include <boost/config.hpp> |
|
8 # include <boost/detail/workaround.hpp> |
|
9 |
|
10 // The old protocol used a constraints() member function in concept |
|
11 // checking classes. If the compiler supports SFINAE, we can detect |
|
12 // that function and seamlessly support the old concept checking |
|
13 // classes. In this release, backward compatibility with the old |
|
14 // concept checking classes is enabled by default, where available. |
|
15 // The old protocol is deprecated, though, and backward compatibility |
|
16 // will no longer be the default in the next release. |
|
17 |
|
18 # if !defined(BOOST_NO_OLD_CONCEPT_SUPPORT) \ |
|
19 && !defined(BOOST_NO_SFINAE) \ |
|
20 \ |
|
21 && !(BOOST_WORKAROUND(__GNUC__, == 3) && BOOST_WORKAROUND(__GNUC_MINOR__, < 4)) \ |
|
22 && !(BOOST_WORKAROUND(__GNUC__, == 2)) |
|
23 |
|
24 // Note: gcc-2.96 through 3.3.x have some SFINAE, but no ability to |
|
25 // check for the presence of particularmember functions. |
|
26 |
|
27 # define BOOST_OLD_CONCEPT_SUPPORT |
|
28 |
|
29 # endif |
|
30 |
|
31 # ifdef BOOST_MSVC |
|
32 # include <boost/concept/detail/msvc.hpp> |
|
33 # elif BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564)) |
|
34 # include <boost/concept/detail/borland.hpp> |
|
35 # else |
|
36 # include <boost/concept/detail/general.hpp> |
|
37 # endif |
|
38 |
|
39 // Usage, in class or function context: |
|
40 // |
|
41 // BOOST_CONCEPT_ASSERT((UnaryFunctionConcept<F,bool,int>)); |
|
42 // |
|
43 # define BOOST_CONCEPT_ASSERT(ModelInParens) \ |
|
44 BOOST_CONCEPT_ASSERT_FN(void(*)ModelInParens) |
|
45 |
|
46 #endif // BOOST_CONCEPT_ASSERT_DWA2006430_HPP |