// Copyright David Abrahams 2005. 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_DETAIL_IS_XXX_DWA20051011_HPP

# define BOOST_DETAIL_IS_XXX_DWA20051011_HPP



# include <boost/config.hpp>

# include <boost/mpl/bool.hpp>

# include <boost/preprocessor/enum_params.hpp>



# if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)

# include <boost/type_traits/is_reference.hpp>

# include <boost/type_traits/add_reference.hpp>



#  define BOOST_DETAIL_IS_XXX_DEF(name, qualified_name, nargs)          \

template <class X_>                                                     \

struct is_##name                                                        \

{                                                                       \

    typedef char yes;                                                   \

    typedef char (&no)[2];                                              \

                                                                        \

    static typename add_reference<X_>::type dummy;                      \

                                                                        \

    struct helpers                                                      \

    {                                                                   \

        template < BOOST_PP_ENUM_PARAMS_Z(1, nargs, class U) >          \

        static yes test(                                                \

           qualified_name< BOOST_PP_ENUM_PARAMS_Z(1, nargs, U) >&, int  \

        );                                                              \

                                                                        \

        template <class U>                                              \

        static no test(U&, ...);                                        \

    };                                                                  \

                                                                        \

    BOOST_STATIC_CONSTANT(                                              \

        bool, value                                                     \

        = !is_reference<X_>::value                                      \

        & (sizeof(helpers::test(dummy, 0)) == sizeof(yes)));            \

                                                                        \

    typedef mpl::bool_<value> type;                                     \

};



# else



#  define BOOST_DETAIL_IS_XXX_DEF(name, qualified_name, nargs)  \

template <class T>                                              \

struct is_##name : mpl::false_                                  \

{                                                               \

};                                                              \

                                                                \

template < BOOST_PP_ENUM_PARAMS_Z(1, nargs, class T) >          \

struct is_##name<                                               \

   qualified_name< BOOST_PP_ENUM_PARAMS_Z(1, nargs, T) >        \

>                                                               \

   : mpl::true_                                                 \

{                                                               \

};



# endif



#endif // BOOST_DETAIL_IS_XXX_DWA20051011_HPP

