]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // (C) Copyright John Maddock 2005. |
2 | // Use, modification and distribution are subject to the | |
3 | // Boost Software License, Version 1.0. (See accompanying file | |
4 | // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
5 | ||
6 | #ifndef BOOST_TR1_VERIFY_FUNCTOR_HPP | |
7 | #define BOOST_TR1_VERIFY_FUNCTOR_HPP | |
8 | ||
9 | #include <boost/type_traits/is_base_and_derived.hpp> | |
10 | #include <boost/type_traits/is_same.hpp> | |
11 | #include <boost/type_traits/remove_reference.hpp> | |
12 | #include <boost/static_assert.hpp> | |
13 | #include "verify_return.hpp" | |
14 | ||
15 | template <class F, class R> | |
16 | void verify_nullary_functor(F f, R) | |
17 | { | |
18 | verify_return_type(f(), R()); | |
19 | } | |
20 | ||
21 | template <class F, class B> | |
22 | void verify_unary_functor(F f, B) | |
23 | { | |
24 | #ifndef NO_INHERT_TEST | |
25 | BOOST_STATIC_ASSERT( (::boost::is_base_and_derived<B, F>::value)); | |
26 | #endif | |
27 | typedef typename B::argument_type arg_type; | |
28 | typedef typename B::result_type result_type; | |
29 | typedef typename F::argument_type b_arg_type; | |
30 | typedef typename F::result_type b_result_type; | |
31 | BOOST_STATIC_ASSERT((::boost::is_same<arg_type, b_arg_type>::value)); | |
32 | BOOST_STATIC_ASSERT((::boost::is_same<result_type, b_result_type>::value)); | |
33 | static arg_type a; | |
34 | ||
35 | typedef typename boost::remove_reference<result_type>::type result_value; | |
36 | verify_return_type(f(a), result_value()); | |
37 | } | |
38 | ||
39 | template <class F, class B> | |
40 | void verify_field_functor(F f, B) | |
41 | { | |
42 | // same as verify_unary_functor, but no nested result_type | |
43 | // because it depends on the argument type. | |
44 | typedef typename B::argument_type arg_type; | |
45 | typedef typename B::result_type result_type; | |
46 | static arg_type a; | |
47 | ||
48 | typedef typename boost::remove_reference<result_type>::type result_value; | |
49 | verify_return_type(f(a), result_value()); | |
50 | result_type r = f(a); | |
51 | (void)r; | |
52 | } | |
53 | ||
54 | ||
55 | template <class F, class B> | |
56 | void verify_binary_functor(F f, B) | |
57 | { | |
58 | #ifndef NO_INHERT_TEST | |
59 | BOOST_STATIC_ASSERT( (::boost::is_base_and_derived<B, F>::value)); | |
60 | #endif | |
61 | typedef typename B::first_argument_type b_arg1_type; | |
62 | typedef typename B::second_argument_type b_arg2_type; | |
63 | typedef typename B::result_type b_result_type; | |
64 | typedef typename F::first_argument_type arg1_type; | |
65 | typedef typename F::second_argument_type arg2_type; | |
66 | typedef typename F::result_type result_type; | |
67 | BOOST_STATIC_ASSERT((::boost::is_same<arg1_type, b_arg1_type>::value)); | |
68 | BOOST_STATIC_ASSERT((::boost::is_same<arg2_type, b_arg2_type>::value)); | |
69 | BOOST_STATIC_ASSERT((::boost::is_same<result_type, b_result_type>::value)); | |
70 | static arg1_type a; | |
71 | static arg2_type b; | |
72 | verify_return_type(f(a, b), result_type()); | |
73 | } | |
74 | ||
75 | #endif | |
76 |