Chris@16: // Copyright David Abrahams 2002.
Chris@16: // Distributed under the Boost Software License, Version 1.0. (See
Chris@16: // accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: #ifndef INDIRECT_TRAITS_DWA2002131_HPP
Chris@16: # define INDIRECT_TRAITS_DWA2002131_HPP
Chris@16: # include <boost/type_traits/is_function.hpp>
Chris@16: # include <boost/type_traits/is_reference.hpp>
Chris@16: # include <boost/type_traits/is_pointer.hpp>
Chris@16: # include <boost/type_traits/is_class.hpp>
Chris@16: # include <boost/type_traits/is_const.hpp>
Chris@16: # include <boost/type_traits/is_volatile.hpp>
Chris@16: # include <boost/type_traits/is_member_function_pointer.hpp>
Chris@16: # include <boost/type_traits/is_member_pointer.hpp>
Chris@16: # include <boost/type_traits/remove_cv.hpp>
Chris@16: # include <boost/type_traits/remove_reference.hpp>
Chris@16: # include <boost/type_traits/remove_pointer.hpp>
Chris@16: 
Chris@16: # include <boost/detail/workaround.hpp>
Chris@16: 
Chris@16: # include <boost/mpl/eval_if.hpp>
Chris@16: # include <boost/mpl/if.hpp>
Chris@16: # include <boost/mpl/bool.hpp>
Chris@16: # include <boost/mpl/and.hpp>
Chris@16: # include <boost/mpl/not.hpp>
Chris@16: # include <boost/mpl/aux_/lambda_support.hpp>
Chris@16: 
Chris@16: 
Chris@16: namespace boost { namespace detail {
Chris@16: 
Chris@16: namespace indirect_traits {
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_const : mpl::false_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_const<T const&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: #   if defined(BOOST_MSVC) && _MSC_FULL_VER <= 13102140 // vc7.01 alpha workaround
Chris@16: template<class T>
Chris@16: struct is_reference_to_const<T const volatile&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: #   endif 
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_function : mpl::false_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_function<T&> : is_function<T>
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_pointer_to_function : mpl::false_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: // There's no such thing as a pointer-to-cv-function, so we don't need
Chris@16: // specializations for those
Chris@16: template <class T>
Chris@16: struct is_pointer_to_function<T*> : is_function<T>
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_member_function_pointer_impl : mpl::false_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_member_function_pointer_impl<T&>
Chris@16:     : is_member_function_pointer<typename remove_cv<T>::type>
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_member_function_pointer
Chris@16:     : is_reference_to_member_function_pointer_impl<T>
Chris@16: {
Chris@16:     BOOST_MPL_AUX_LAMBDA_SUPPORT(1,is_reference_to_member_function_pointer,(T))
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_function_pointer_aux
Chris@16:     : mpl::and_<
Chris@16:           is_reference<T>
Chris@16:         , is_pointer_to_function<
Chris@16:               typename remove_cv<
Chris@16:                   typename remove_reference<T>::type
Chris@16:               >::type
Chris@16:           >
Chris@16:       >
Chris@16: {
Chris@16:     // There's no such thing as a pointer-to-cv-function, so we don't need specializations for those
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_function_pointer
Chris@16:     : mpl::if_<
Chris@16:           is_reference_to_function<T>
Chris@16:         , mpl::false_
Chris@16:         , is_reference_to_function_pointer_aux<T>
Chris@16:      >::type
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_non_const
Chris@16:     : mpl::and_<
Chris@16:           is_reference<T>
Chris@16:         , mpl::not_<
Chris@16:              is_reference_to_const<T>
Chris@16:           >
Chris@16:       >
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_volatile : mpl::false_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_volatile<T volatile&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: #   if defined(BOOST_MSVC) && _MSC_FULL_VER <= 13102140 // vc7.01 alpha workaround
Chris@16: template <class T>
Chris@16: struct is_reference_to_volatile<T const volatile&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: #   endif 
Chris@16: 
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_pointer : mpl::false_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_pointer<T*&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_pointer<T* const&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_pointer<T* volatile&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_pointer<T* const volatile&> : mpl::true_
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_reference_to_class
Chris@16:     : mpl::and_<
Chris@16:           is_reference<T>
Chris@16:         , is_class<
Chris@16:               typename remove_cv<
Chris@16:                   typename remove_reference<T>::type
Chris@16:               >::type
Chris@16:           >
Chris@16:       >
Chris@16: {
Chris@16:     BOOST_MPL_AUX_LAMBDA_SUPPORT(1,is_reference_to_class,(T))
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct is_pointer_to_class
Chris@16:     : mpl::and_<
Chris@16:           is_pointer<T>
Chris@16:         , is_class<
Chris@16:               typename remove_cv<
Chris@16:                   typename remove_pointer<T>::type
Chris@16:               >::type
Chris@16:           >
Chris@16:       >
Chris@16: {
Chris@16:     BOOST_MPL_AUX_LAMBDA_SUPPORT(1,is_pointer_to_class,(T))
Chris@16: };
Chris@16: 
Chris@16: 
Chris@16: }
Chris@16: 
Chris@16: using namespace indirect_traits;
Chris@16: 
Chris@16: }} // namespace boost::python::detail
Chris@16: 
Chris@16: #endif // INDIRECT_TRAITS_DWA2002131_HPP