boost/concept/assert.hpp

   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