Swiftdiff options
Diffstat (limited to '3rdParty/Boost/src/boost/tti/detail/dtemplate_params.hpp')
| -rw-r--r-- | 3rdParty/Boost/src/boost/tti/detail/dtemplate_params.hpp | 239 |
1 files changed, 239 insertions, 0 deletions
diff --git a/3rdParty/Boost/src/boost/tti/detail/dtemplate_params.hpp b/3rdParty/Boost/src/boost/tti/detail/dtemplate_params.hpp new file mode 100644 index 0000000..cfc1612 --- /dev/null +++ b/3rdParty/Boost/src/boost/tti/detail/dtemplate_params.hpp @@ -0,0 +1,239 @@ + +// (C) Copyright Edward Diener 2011,2012,2013 +// Use, modification and distribution are subject to 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). + +#if !defined(BOOST_TTI_DETAIL_TEMPLATE_PARAMS_HPP) +#define BOOST_TTI_DETAIL_TEMPLATE_PARAMS_HPP + +#include <boost/config.hpp> +#include <boost/mpl/bool.hpp> +#include <boost/mpl/eval_if.hpp> +#include <boost/mpl/has_xxx.hpp> +#include <boost/preprocessor/arithmetic/add.hpp> +#include <boost/preprocessor/arithmetic/sub.hpp> +#include <boost/preprocessor/array/elem.hpp> +#include <boost/preprocessor/cat.hpp> +#include <boost/preprocessor/punctuation/comma_if.hpp> +#include <boost/preprocessor/repetition/repeat.hpp> +#include <boost/preprocessor/repetition/enum.hpp> +#include <boost/preprocessor/array/enum.hpp> +#include <boost/preprocessor/array/size.hpp> +#include <boost/type_traits/is_class.hpp> + +#if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE) + +#define BOOST_TTI_DETAIL_TEMPLATE_PARAMETERS(z,n,args) \ +BOOST_PP_ARRAY_ELEM(BOOST_PP_ADD(4,n),args) \ +/**/ + +#define BOOST_TTI_DETAIL_HAS_MEMBER_IMPLEMENTATION(args,introspect_macro) \ + template \ + < \ + typename BOOST_TTI_DETAIL_TP_T, \ + typename BOOST_TTI_DETAIL_TP_FALLBACK_ \ + = boost::mpl::bool_< BOOST_PP_ARRAY_ELEM(3, args) > \ + > \ + struct BOOST_PP_ARRAY_ELEM(0, args) \ + { \ + private: \ + introspect_macro(args) \ + public: \ + static const bool value \ + = BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args)< BOOST_TTI_DETAIL_TP_T >::value; \ + typedef typename BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \ + < \ + BOOST_TTI_DETAIL_TP_T \ + >::type type; \ + }; \ +/**/ + +#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400) + +#define BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE(z,n,args) \ + template \ + < \ + template \ + < \ + BOOST_PP_ENUM_ ## z \ + ( \ + BOOST_PP_SUB \ + ( \ + BOOST_PP_ARRAY_SIZE(args), \ + 4 \ + ), \ + BOOST_TTI_DETAIL_TEMPLATE_PARAMETERS, \ + args \ + ) \ + > \ + class BOOST_TTI_DETAIL_TM_V \ + > \ + struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \ + { \ + }; \ +/**/ + +#define BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE(args) \ + BOOST_PP_REPEAT \ + ( \ + BOOST_PP_ARRAY_ELEM(2, args), \ + BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE, \ + args \ + ) \ +/**/ + +#define BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT(args) \ + template< typename U > \ + struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \ + { \ + BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE(args) \ + BOOST_MPL_HAS_MEMBER_REJECT(args, BOOST_PP_NIL) \ + BOOST_MPL_HAS_MEMBER_ACCEPT(args, BOOST_PP_NIL) \ + BOOST_STATIC_CONSTANT \ + ( \ + bool, value = BOOST_MPL_HAS_MEMBER_TEST(args) \ + ); \ + typedef boost::mpl::bool_< value > type; \ + }; \ +/**/ + +#define BOOST_TTI_DETAIL_HAS_MEMBER_WITH_FUNCTION_SFINAE(args) \ + BOOST_TTI_DETAIL_HAS_MEMBER_IMPLEMENTATION \ + ( \ + args, \ + BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT \ + ) \ +/**/ + +#else // !!BOOST_WORKAROUND(BOOST_MSVC, <= 1400) + +#define BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE(z,n,args) \ + template \ + < \ + template \ + < \ + BOOST_PP_ENUM_ ## z \ + ( \ + BOOST_PP_SUB \ + ( \ + BOOST_PP_ARRAY_SIZE(args), \ + 4 \ + ), \ + BOOST_TTI_DETAIL_TEMPLATE_PARAMETERS, \ + args \ + ) \ + > \ + class BOOST_TTI_DETAIL_TM_U \ + > \ + struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE \ + ( \ + args, \ + n \ + ) \ + { \ + typedef \ + BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \ + type; \ + }; \ +/**/ + +#define BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE(args) \ + typedef void \ + BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args); \ + BOOST_PP_REPEAT \ + ( \ + BOOST_PP_ARRAY_ELEM(2, args), \ + BOOST_TTI_DETAIL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE, \ + args \ + ) \ +/**/ + +#define BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE(args) \ + BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE(args,BOOST_PP_NIL) \ + BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE(args,BOOST_PP_NIL) \ + template< typename BOOST_TTI_DETAIL_TP_U > \ + struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \ + : BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< BOOST_TTI_DETAIL_TP_U > { \ + }; \ +/**/ + +#define BOOST_TTI_DETAIL_HAS_MEMBER_WITH_TEMPLATE_SFINAE(args) \ + BOOST_TTI_DETAIL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE \ + ( \ + args \ + ) \ + BOOST_TTI_DETAIL_HAS_MEMBER_IMPLEMENTATION \ + ( \ + args, \ + BOOST_TTI_DETAIL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE \ + ) \ +/**/ + +#endif // !BOOST_WORKAROUND(BOOST_MSVC, <= 1400) + +#else // defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE) + +#define BOOST_TTI_DETAIL_SAME(trait,name) \ + BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF \ + ( \ + trait, \ + name, \ + false \ + ) \ +/**/ + +#define BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tp) \ + BOOST_TTI_DETAIL_SAME(trait,name) \ +/**/ + +#endif // !BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE + +#define BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS_OP(trait,name,tpArray) \ + BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(BOOST_PP_CAT(trait,_detail),name,tpArray) \ + template<class BOOST_TTI_DETAIL_TP_T> \ + struct BOOST_PP_CAT(trait,_detail_cp_op) : \ + BOOST_PP_CAT(trait,_detail)<BOOST_TTI_DETAIL_TP_T> \ + { \ + }; \ +/**/ + +#define BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tpArray) \ + BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS_OP(trait,name,tpArray) \ + template<class BOOST_TTI_DETAIL_TP_T> \ + struct trait \ + { \ + typedef typename \ + boost::mpl::eval_if \ + < \ + boost::is_class<BOOST_TTI_DETAIL_TP_T>, \ + BOOST_PP_CAT(trait,_detail_cp_op)<BOOST_TTI_DETAIL_TP_T>, \ + boost::mpl::false_ \ + >::type type; \ + BOOST_STATIC_CONSTANT(bool,value=type::value); \ + }; \ +/**/ + +#if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE) +#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400) + +#define BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tpArray) \ + BOOST_TTI_DETAIL_HAS_MEMBER_WITH_FUNCTION_SFINAE \ + ( \ + ( BOOST_PP_ADD(BOOST_PP_ARRAY_SIZE(tpArray),4), ( trait, name, 1, false, BOOST_PP_ARRAY_ENUM(tpArray) ) ) \ + ) \ +/**/ + +#else // BOOST_WORKAROUND(BOOST_MSVC, <= 1400) + +#define BOOST_TTI_DETAIL_TRAIT_CALL_HAS_TEMPLATE_CHECK_PARAMS(trait,name,tpArray) \ + BOOST_TTI_DETAIL_HAS_MEMBER_WITH_TEMPLATE_SFINAE \ + ( \ + ( BOOST_PP_ADD(BOOST_PP_ARRAY_SIZE(tpArray),4), ( trait, name, 1, false, BOOST_PP_ARRAY_ENUM(tpArray) ) ) \ + ) \ +/**/ + +#endif // !BOOST_WORKAROUND(BOOST_MSVC, <= 1400) +#endif // !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE) + +#endif // BOOST_TTI_DETAIL_TEMPLATE_PARAMS_HPP |