assert.hpp 1.8 KB

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