• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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/config/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 
23 // Note: gcc-2.96 through 3.3.x have some SFINAE, but no ability to
24 // check for the presence of particularmember functions.
25 
26 #  define BOOST_OLD_CONCEPT_SUPPORT
27 
28 # endif
29 
30 # ifdef BOOST_MSVC
31 #  include <boost/concept/detail/msvc.hpp>
32 # elif BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x564))
33 #  include <boost/concept/detail/borland.hpp>
34 # else
35 #  include <boost/concept/detail/general.hpp>
36 # endif
37 
38   // Usage, in class or function context:
39   //
40   //     BOOST_CONCEPT_ASSERT((UnaryFunctionConcept<F,bool,int>));
41   //
42 # define BOOST_CONCEPT_ASSERT(ModelInParens) \
43     BOOST_CONCEPT_ASSERT_FN(void(*)ModelInParens)
44 
45 #endif // BOOST_CONCEPT_ASSERT_DWA2006430_HPP
46