summaryrefslogtreecommitdiffstats
path: root/contrib/src/boost/concept/assert.hpp
blob: 9ecb51a2d33f1e7b8c5ec219b9f975b34f725dc0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
// Copyright David Abrahams 2006. Distributed under the Boost

// Software License, Version 1.0. (See accompanying

// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

#ifndef BOOST_CONCEPT_ASSERT_DWA2006430_HPP

# define BOOST_CONCEPT_ASSERT_DWA2006430_HPP


# include <boost/config.hpp>

# include <boost/detail/workaround.hpp>


// The old protocol used a constraints() member function in concept

// checking classes.  If the compiler supports SFINAE, we can detect

// that function and seamlessly support the old concept checking

// classes.  In this release, backward compatibility with the old

// concept checking classes is enabled by default, where available.

// The old protocol is deprecated, though, and backward compatibility

// will no longer be the default in the next release.


# if !defined(BOOST_NO_OLD_CONCEPT_SUPPORT)                                         \

    && !defined(BOOST_NO_SFINAE)                                                    \
                                                                                    \
    && !(BOOST_WORKAROUND(__GNUC__, == 3) && BOOST_WORKAROUND(__GNUC_MINOR__, < 4))

// Note: gcc-2.96 through 3.3.x have some SFINAE, but no ability to

// check for the presence of particularmember functions.


#  define BOOST_OLD_CONCEPT_SUPPORT


# endif


# ifdef BOOST_MSVC

#  include <boost/concept/detail/msvc.hpp>

# elif BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))

#  include <boost/concept/detail/borland.hpp>

# else 

#  include <boost/concept/detail/general.hpp>

# endif


  // Usage, in class or function context:

  //

  //     BOOST_CONCEPT_ASSERT((UnaryFunctionConcept<F,bool,int>));

  //

# define BOOST_CONCEPT_ASSERT(ModelInParens) \

    BOOST_CONCEPT_ASSERT_FN(void(*)ModelInParens)

#endif // BOOST_CONCEPT_ASSERT_DWA2006430_HPP