Chris@16: 
Chris@16: //  (C) Copyright Edward Diener 2011,2012,2013
Chris@16: //  Use, modification and distribution are subject to the Boost Software License,
Chris@16: //  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: //  http://www.boost.org/LICENSE_1_0.txt).
Chris@16: 
Chris@16: #if !defined(BOOST_TTI_DETAIL_TEMPLATE_PARAMS_HPP)
Chris@16: #define BOOST_TTI_DETAIL_TEMPLATE_PARAMS_HPP
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@101: #include <boost/mpl/eval_if.hpp>
Chris@16: #include <boost/mpl/has_xxx.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/add.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/sub.hpp>
Chris@16: #include <boost/preprocessor/array/elem.hpp>
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: #include <boost/preprocessor/punctuation/comma_if.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum.hpp>
Chris@16: #include <boost/preprocessor/array/enum.hpp>
Chris@16: #include <boost/preprocessor/array/size.hpp>
Chris@101: #include <boost/type_traits/is_class.hpp>
Chris@16: 
Chris@16: #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_TEMPLATE_PARAMETERS(z,n,args) \
Chris@16: BOOST_PP_ARRAY_ELEM(BOOST_PP_ADD(4,n),args) \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_IMPLEMENTATION(args,introspect_macro) \
Chris@16:    template \
Chris@16:      < \
Chris@16:      typename BOOST_TTI_DETAIL_TP_T, \
Chris@16:      typename BOOST_TTI_DETAIL_TP_FALLBACK_ \
Chris@16:        = boost::mpl::bool_< BOOST_PP_ARRAY_ELEM(3, args) > \
Chris@16:      > \
Chris@101:    struct BOOST_PP_ARRAY_ELEM(0, args) \
Chris@16:      { \
Chris@101:      private: \
Chris@16:      introspect_macro(args) \
Chris@16:      public: \
Chris@16:        static const bool value \
Chris@16:          = BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args)< BOOST_TTI_DETAIL_TP_T >::value; \
Chris@16:        typedef typename BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \
Chris@16:          < \
Chris@16:          BOOST_TTI_DETAIL_TP_T \
Chris@16:          >::type type; \
Chris@16:      }; \
Chris@16: /**/
Chris@16: 
Chris@16: #if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE(z,n,args) \
Chris@16:   template \
Chris@16:     < \
Chris@16:     template \
Chris@16:       < \
Chris@16:       BOOST_PP_ENUM_ ## z \
Chris@16:         ( \
Chris@16:         BOOST_PP_SUB \
Chris@16:           ( \
Chris@16:           BOOST_PP_ARRAY_SIZE(args), \
Chris@16:           4 \
Chris@16:           ), \
Chris@16:         BOOST_TTI_DETAIL_TEMPLATE_PARAMETERS, \
Chris@16:         args \
Chris@16:         ) \
Chris@16:       > \
Chris@16:     class BOOST_TTI_DETAIL_TM_V \
Chris@16:     > \
Chris@16:   struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \
Chris@16:     { \
Chris@16:     }; \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE(args) \
Chris@16:   BOOST_PP_REPEAT \
Chris@16:     ( \
Chris@16:     BOOST_PP_ARRAY_ELEM(2, args), \
Chris@16:     BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE, \
Chris@16:     args \
Chris@16:     ) \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT(args) \
Chris@16:   template< typename U > \
Chris@16:   struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \
Chris@16:     { \
Chris@16:     BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE(args) \
Chris@16:     BOOST_MPL_HAS_MEMBER_REJECT(args, BOOST_PP_NIL) \
Chris@16:     BOOST_MPL_HAS_MEMBER_ACCEPT(args, BOOST_PP_NIL) \
Chris@16:     BOOST_STATIC_CONSTANT \
Chris@16:       ( \
Chris@16:       bool, value = BOOST_MPL_HAS_MEMBER_TEST(args) \
Chris@16:       ); \
Chris@16:     typedef boost::mpl::bool_< value > type; \
Chris@16:     }; \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_WITH_FUNCTION_SFINAE(args) \
Chris@16:   BOOST_TTI_DETAIL_HAS_MEMBER_IMPLEMENTATION \
Chris@16:     ( \
Chris@16:     args, \
Chris@16:     BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT \
Chris@16:     ) \
Chris@16: /**/
Chris@16: 
Chris@16: #else // !!BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE(z,n,args) \
Chris@16:   template \
Chris@16:     < \
Chris@16:     template \
Chris@16:       < \
Chris@16:       BOOST_PP_ENUM_ ## z \
Chris@16:         ( \
Chris@16:         BOOST_PP_SUB \
Chris@16:           ( \
Chris@16:           BOOST_PP_ARRAY_SIZE(args), \
Chris@16:           4 \
Chris@16:           ), \
Chris@16:         BOOST_TTI_DETAIL_TEMPLATE_PARAMETERS, \
Chris@16:         args \
Chris@16:         ) \
Chris@16:       > \
Chris@16:     class BOOST_TTI_DETAIL_TM_U \
Chris@16:     > \
Chris@16:   struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE \
Chris@16:     ( \
Chris@16:     args, \
Chris@16:     n \
Chris@16:     ) \
Chris@16:     { \
Chris@16:     typedef \
Chris@16:       BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \
Chris@16:       type; \
Chris@16:     }; \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE(args) \
Chris@16:   typedef void \
Chris@16:       BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args); \
Chris@16:   BOOST_PP_REPEAT \
Chris@16:     ( \
Chris@16:     BOOST_PP_ARRAY_ELEM(2, args), \
Chris@16:     BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE, \
Chris@16:     args \
Chris@16:     ) \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE(args) \
Chris@16:   BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE(args,BOOST_PP_NIL) \
Chris@16:   BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE(args,BOOST_PP_NIL) \
Chris@16:   template< typename BOOST_TTI_DETAIL_TP_U > \
Chris@16:   struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \
Chris@16:       : BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< BOOST_TTI_DETAIL_TP_U > { \
Chris@16:   }; \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_HAS_MEMBER_WITH_TEMPLATE_SFINAE(args) \
Chris@16:   BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE \
Chris@16:     ( \
Chris@16:     args \
Chris@16:     ) \
Chris@16:   BOOST_TTI_DETAIL_HAS_MEMBER_IMPLEMENTATION \
Chris@16:     ( \
Chris@16:     args, \
Chris@16:     BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE \
Chris@16:     ) \
Chris@16: /**/
Chris@16: 
Chris@16: #endif // !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: 
Chris@16: #else // defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_SAME(trait,name) \
Chris@16:   BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF \
Chris@16:     ( \
Chris@16:     trait, \
Chris@16:     name, \
Chris@16:     false \
Chris@16:     ) \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tp) \
Chris@16:   BOOST_TTI_DETAIL_SAME(trait,name) \
Chris@16: /**/
Chris@16: 
Chris@16: #endif // !BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE
Chris@16: 
Chris@101: #define BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS_OP(trait,name,tpArray) \
Chris@16:   BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(BOOST_PP_CAT(trait,_detail),name,tpArray) \
Chris@16:   template<class BOOST_TTI_DETAIL_TP_T> \
Chris@101:   struct BOOST_PP_CAT(trait,_detail_cp_op) : \
Chris@16:     BOOST_PP_CAT(trait,_detail)<BOOST_TTI_DETAIL_TP_T> \
Chris@16:     { \
Chris@16:     }; \
Chris@16: /**/
Chris@16: 
Chris@101: #define BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tpArray) \
Chris@101:   BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS_OP(trait,name,tpArray) \
Chris@101:   template<class BOOST_TTI_DETAIL_TP_T> \
Chris@101:   struct trait \
Chris@101:     { \
Chris@101:     typedef typename \
Chris@101:   	boost::mpl::eval_if \
Chris@101:   		< \
Chris@101:   		boost::is_class<BOOST_TTI_DETAIL_TP_T>, \
Chris@101:   		BOOST_PP_CAT(trait,_detail_cp_op)<BOOST_TTI_DETAIL_TP_T>, \
Chris@101:   		boost::mpl::false_ \
Chris@101:   		>::type type; \
Chris@101:     BOOST_STATIC_CONSTANT(bool,value=type::value); \
Chris@101:     }; \
Chris@101: /**/
Chris@101: 
Chris@16: #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
Chris@16: #if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tpArray) \
Chris@16:   BOOST_TTI_DETAIL_HAS_MEMBER_WITH_FUNCTION_SFINAE \
Chris@16:     (  \
Chris@16:       ( BOOST_PP_ADD(BOOST_PP_ARRAY_SIZE(tpArray),4), ( trait, name, 1, false, BOOST_PP_ARRAY_ENUM(tpArray) ) )  \
Chris@16:     )  \
Chris@16: /**/
Chris@16: 
Chris@16: #else // BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: 
Chris@16: #define BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tpArray) \
Chris@16:   BOOST_TTI_DETAIL_HAS_MEMBER_WITH_TEMPLATE_SFINAE \
Chris@16:     ( \
Chris@16:       ( BOOST_PP_ADD(BOOST_PP_ARRAY_SIZE(tpArray),4), ( trait, name, 1, false, BOOST_PP_ARRAY_ENUM(tpArray) ) )  \
Chris@16:     ) \
Chris@16: /**/
Chris@16: 
Chris@16: #endif // !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: #endif // !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
Chris@16: 
Chris@16: #endif // BOOST_TTI_DETAIL_TEMPLATE_PARAMS_HPP