callable_traits/test/apply_member_pointer_function.cpp
2017-04-22 14:43:44 -05:00

115 lines
7.9 KiB
C++

/*<-
Copyright (c) 2016 Barrett Adair
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
->*/
#include <boost/callable_traits/apply_member_pointer.hpp>
#include "test.hpp"
struct foo;
template<typename Input, typename Output>
void test_case() {
assert_same<TRAIT(apply_member_pointer, Input, foo), Output>();
}
int main() {
test_case<int(), int(foo::*)() >();
#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
test_case<int() TX_SAFE, int(foo::*)() TX_SAFE >();
test_case<int() LREF, int(foo::*)() LREF >();
test_case<int() LREF TX_SAFE, int(foo::*)() LREF TX_SAFE >();
test_case<int() RREF, int(foo::*)() RREF >();
test_case<int() RREF TX_SAFE, int(foo::*)() RREF TX_SAFE >();
test_case<int() const, int(foo::*)() const >();
test_case<int() const TX_SAFE, int(foo::*)() const TX_SAFE >();
test_case<int() const LREF, int(foo::*)() const LREF >();
test_case<int() const LREF TX_SAFE, int(foo::*)() const LREF TX_SAFE >();
test_case<int() const RREF, int(foo::*)() const RREF >();
test_case<int() const RREF TX_SAFE, int(foo::*)() const RREF TX_SAFE >();
test_case<int() volatile, int(foo::*)() volatile >();
test_case<int() volatile TX_SAFE, int(foo::*)() volatile TX_SAFE >();
test_case<int() volatile LREF, int(foo::*)() volatile LREF >();
test_case<int() volatile LREF TX_SAFE, int(foo::*)() volatile LREF TX_SAFE >();
test_case<int() volatile RREF, int(foo::*)() volatile RREF >();
test_case<int() volatile RREF TX_SAFE, int(foo::*)() volatile RREF TX_SAFE >();
#endif
test_case<int(int), int(foo::*)(int) >();
#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
test_case<int(int) TX_SAFE, int(foo::*)(int) TX_SAFE >();
test_case<int(int) LREF, int(foo::*)(int) LREF >();
test_case<int(int) LREF TX_SAFE, int(foo::*)(int) LREF TX_SAFE >();
test_case<int(int) RREF, int(foo::*)(int) RREF >();
test_case<int(int) RREF TX_SAFE, int(foo::*)(int) RREF TX_SAFE >();
test_case<int(int) const, int(foo::*)(int) const >();
test_case<int(int) const TX_SAFE, int(foo::*)(int) const TX_SAFE >();
test_case<int(int) const LREF, int(foo::*)(int) const LREF >();
test_case<int(int) const LREF TX_SAFE, int(foo::*)(int) const LREF TX_SAFE >();
test_case<int(int) const RREF, int(foo::*)(int) const RREF >();
test_case<int(int) const RREF TX_SAFE, int(foo::*)(int) const RREF TX_SAFE >();
test_case<int(int) volatile, int(foo::*)(int) volatile >();
test_case<int(int) volatile TX_SAFE, int(foo::*)(int) volatile TX_SAFE >();
test_case<int(int) volatile LREF, int(foo::*)(int) volatile LREF >();
test_case<int(int) volatile LREF TX_SAFE, int(foo::*)(int) volatile LREF TX_SAFE >();
test_case<int(int) volatile RREF, int(foo::*)(int) volatile RREF >();
test_case<int(int) volatile RREF TX_SAFE, int(foo::*)(int) volatile RREF TX_SAFE >();
#endif
//MSVC doesn't like varargs on abominable functions
#ifndef BOOST_CLBL_TRTS_MSVC
test_case<int(...), int(foo::*)(...) >();
#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
test_case<int(...) TX_SAFE, int(foo::*)(...) TX_SAFE >();
test_case<int(...) LREF, int(foo::*)(...) LREF >();
test_case<int(...) LREF TX_SAFE, int(foo::*)(...) LREF TX_SAFE >();
test_case<int(...) RREF, int(foo::*)(...) RREF >();
test_case<int(...) RREF TX_SAFE, int(foo::*)(...) RREF TX_SAFE >();
test_case<int(...) const, int(foo::*)(...) const >();
test_case<int(...) const TX_SAFE, int(foo::*)(...) const TX_SAFE >();
test_case<int(...) const LREF, int(foo::*)(...) const LREF >();
test_case<int(...) const LREF TX_SAFE, int(foo::*)(...) const LREF TX_SAFE >();
test_case<int(...) const RREF, int(foo::*)(...) const RREF >();
test_case<int(...) const RREF TX_SAFE, int(foo::*)(...) const RREF TX_SAFE >();
test_case<int(...) volatile, int(foo::*)(...) volatile >();
test_case<int(...) volatile TX_SAFE, int(foo::*)(...) volatile TX_SAFE >();
test_case<int(...) volatile LREF, int(foo::*)(...) volatile LREF >();
test_case<int(...) volatile LREF TX_SAFE, int(foo::*)(...) volatile LREF TX_SAFE >();
test_case<int(...) volatile RREF, int(foo::*)(...) volatile RREF >();
test_case<int(...) volatile RREF TX_SAFE, int(foo::*)(...) volatile RREF TX_SAFE >();
#endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
test_case<int(int, ...), int(foo::*)(int, ...) >();
#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
test_case<int(int, ...) TX_SAFE, int(foo::*)(int, ...) TX_SAFE >();
test_case<int(int, ...) LREF, int(foo::*)(int, ...) LREF >();
test_case<int(int, ...) LREF TX_SAFE, int(foo::*)(int, ...) LREF TX_SAFE >();
test_case<int(int, ...) RREF, int(foo::*)(int, ...) RREF >();
test_case<int(int, ...) RREF TX_SAFE, int(foo::*)(int, ...) RREF TX_SAFE >();
test_case<int(int, ...) const, int(foo::*)(int, ...) const >();
test_case<int(int, ...) const TX_SAFE, int(foo::*)(int, ...) const TX_SAFE >();
test_case<int(int, ...) const LREF, int(foo::*)(int, ...) const LREF >();
test_case<int(int, ...) const LREF TX_SAFE, int(foo::*)(int, ...) const LREF TX_SAFE >();
test_case<int(int, ...) const RREF, int(foo::*)(int, ...) const RREF >();
test_case<int(int, ...) const RREF TX_SAFE, int(foo::*)(int, ...) const RREF TX_SAFE >();
test_case<int(int, ...) volatile, int(foo::*)(int, ...) volatile >();
test_case<int(int, ...) volatile TX_SAFE, int(foo::*)(int, ...) volatile TX_SAFE >();
test_case<int(int, ...) volatile LREF, int(foo::*)(int, ...) volatile LREF >();
test_case<int(int, ...) volatile LREF TX_SAFE, int(foo::*)(int, ...) volatile LREF TX_SAFE >();
test_case<int(int, ...) volatile RREF, int(foo::*)(int, ...) volatile RREF >();
test_case<int(int, ...) volatile RREF TX_SAFE, int(foo::*)(int, ...) volatile RREF TX_SAFE >();
#endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
#endif //#ifndef BOOST_CLBL_TRTS_MSVC
}