boost/concept/assert.hpp

0001 // Copyright David Abrahams 2006. Distributed under the Boost
0002 // Software License, Version 1.0. (See accompanying
0003 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
0004 #ifndef BOOST_CONCEPT_ASSERT_DWA2006430_HPP
0005 # define BOOST_CONCEPT_ASSERT_DWA2006430_HPP
0006
0007 # include <boost/config.hpp>
0008 # include <boost/config/workaround.hpp>
0009
0010 // The old protocol used a constraints() member function in concept
0011 // checking classes.  If the compiler supports SFINAE, we can detect
0012 // that function and seamlessly support the old concept checking
0013 // classes.  In this release, backward compatibility with the old
0014 // concept checking classes is enabled by default, where available.
0015 // The old protocol is deprecated, though, and backward compatibility
0016 // will no longer be the default in the next release.
0017
0018 # if !defined(BOOST_NO_OLD_CONCEPT_SUPPORT)                                         \
0019     && !defined(BOOST_NO_SFINAE)                                                    \
0020                                                                                     \
0021     && !(BOOST_WORKAROUND(__GNUC__, == 3) && BOOST_WORKAROUND(__GNUC_MINOR__, < 4))
0022
0023 // Note: gcc-2.96 through 3.3.x have some SFINAE, but no ability to
0024 // check for the presence of particularmember functions.
0025
0026 #  define BOOST_OLD_CONCEPT_SUPPORT
0027
0028 # endif
0029
0030 # ifdef BOOST_MSVC
0031 #  include <boost/concept/detail/msvc.hpp>
0032 # elif BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x564))
0033 #  include <boost/concept/detail/borland.hpp>
0034 # else
0035 #  include <boost/concept/detail/general.hpp>
0036 # endif
0037
0038   // Usage, in class or function context:
0039   //
0040   //     BOOST_CONCEPT_ASSERT((UnaryFunctionConcept<F,bool,int>));
0041   //
0042 # define BOOST_CONCEPT_ASSERT(ModelInParens) \
0043     BOOST_CONCEPT_ASSERT_FN(void(*)ModelInParens)
0044
0045 #endif // BOOST_CONCEPT_ASSERT_DWA2006430_HPP