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

source code of include/boost/concept/assert.hpp