| |
| // (C) Copyright Tobias Schwinger |
| // |
| // Use modification and distribution are subject to the boost Software License, |
| // Version 1.0. (See http://www.boost.org/LICENSE_1_0.txt). |
| |
| //------------------------------------------------------------------------------ |
| |
| #include <boost/mpl/assert.hpp> |
| #include <boost/function_types/is_member_function_pointer.hpp> |
| |
| namespace ft = boost::function_types; |
| |
| class C; |
| typedef void (C::*mem_func_ptr)(); |
| typedef void (C::*c_mem_func_ptr)() const; |
| typedef void (C::*v_mem_func_ptr)() volatile; |
| typedef void (C::*cv_mem_func_ptr)() const volatile; |
| |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< mem_func_ptr, ft::non_const > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< mem_func_ptr, ft::non_volatile > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< mem_func_ptr, |
| ft::tag<ft::non_const, ft::non_volatile> > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< mem_func_ptr, ft::const_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< mem_func_ptr, ft::volatile_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< mem_func_ptr, |
| ft::tag<ft::const_qualified, ft::volatile_qualified> > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< mem_func_ptr, |
| ft::tag<ft::non_const, ft::volatile_qualified> > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< mem_func_ptr, |
| ft::tag<ft::const_qualified, ft::non_volatile> > |
| )); |
| |
| // |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< c_mem_func_ptr, ft::const_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< c_mem_func_ptr, ft::non_volatile > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< c_mem_func_ptr, ft::non_const > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< c_mem_func_ptr, ft::volatile_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< c_mem_func_ptr, |
| ft::tag<ft::const_qualified, ft::non_volatile> > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< c_mem_func_ptr, |
| ft::tag<ft::non_const, ft::volatile_qualified> > |
| )); |
| |
| // |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< v_mem_func_ptr, ft::volatile_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< v_mem_func_ptr, ft::non_const > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< v_mem_func_ptr, ft::non_volatile > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< v_mem_func_ptr, ft::const_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< v_mem_func_ptr, |
| ft::tag<ft::non_const, ft::volatile_qualified> > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< v_mem_func_ptr, |
| ft::tag<ft::const_qualified, ft::non_volatile> > |
| )); |
| |
| // |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, ft::const_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, ft::volatile_qualified > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, ft::non_const > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, ft::non_volatile > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, |
| ft::tag<ft::non_const, ft::non_volatile> > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, |
| ft::tag<ft::const_qualified, ft::non_volatile> > |
| )); |
| |
| BOOST_MPL_ASSERT_NOT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, |
| ft::tag<ft::non_const, ft::volatile_qualified> > |
| )); |
| |
| BOOST_MPL_ASSERT(( |
| ft::is_member_function_pointer< cv_mem_func_ptr, |
| ft::tag<ft::const_qualified, ft::volatile_qualified> > |
| )); |
| |