tti/detail/dfunction_template.hpp

0001
0002 //  (C) Copyright Edward Diener 2019
0003 //  Use, modification and distribution are subject to the Boost Software License,
0004 //  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
0005 //  http://www.boost.org/LICENSE_1_0.txt).
0006
0007 #if !defined(BOOST_TTI_DETAIL_FUNCTION_TEMPLATE_HPP)
0008 #define BOOST_TTI_DETAIL_FUNCTION_TEMPLATE_HPP
0009
0010 #include <boost/mpl/and.hpp>
0011 #include <boost/mpl/eval_if.hpp>
0012 #include <boost/mpl/or.hpp>
0013 #include <boost/preprocessor/cat.hpp>
0014 #include <boost/tti/detail/dmem_fun_template.hpp>
0015 #include <boost/tti/detail/dstatic_mem_fun_template.hpp>
0016 #include <boost/tti/detail/dtfunction.hpp>
0017 #include <boost/tti/detail/denclosing_type.hpp>
0018 #include <boost/tti/detail/dstatic_function_tags.hpp>
0019 #include <boost/tti/gen/namespace_gen.hpp>
0020
0021 #define BOOST_TTI_DETAIL_TRAIT_HAS_FUNCTION_TEMPLATE_STATIC_CALL(trait,name,pparray) \
0022   BOOST_TTI_DETAIL_TRAIT_IMPL_HAS_STATIC_MEMBER_FUNCTION_TEMPLATE(trait,name,pparray) \
0023   template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_R,class BOOST_TTI_DETAIL_TP_FS,class BOOST_TTI_DETAIL_TP_TAG> \
0024   struct BOOST_PP_CAT(trait,_detail_hftsc) : \
0025     BOOST_PP_CAT(trait,_detail_ihsmft) \
0026         < \
0027         BOOST_TTI_DETAIL_TP_T, \
0028         typename BOOST_TTI_NAMESPACE::detail::tfunction_seq<BOOST_TTI_DETAIL_TP_R,BOOST_TTI_DETAIL_TP_FS,BOOST_TTI_DETAIL_TP_TAG>::type \
0029         > \
0030     { \
0031     }; \
0032 /**/
0033
0034 #define BOOST_TTI_DETAIL_TRAIT_HAS_FUNCTION_TEMPLATE_STATIC(trait,name,pparray) \
0035   BOOST_TTI_DETAIL_TRAIT_HAS_FUNCTION_TEMPLATE_STATIC_CALL(trait,name,pparray) \
0036   template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_R,class BOOST_TTI_DETAIL_TP_FS,class BOOST_TTI_DETAIL_TP_TAG> \
0037   struct BOOST_PP_CAT(trait,_detail_hfts) : \
0038     boost::mpl::eval_if \
0039         < \
0040         boost::mpl::and_ \
0041             < \
0042             BOOST_TTI_NAMESPACE::detail::enclosing_type<BOOST_TTI_DETAIL_TP_T>, \
0043             BOOST_TTI_NAMESPACE::detail::static_function_tag<BOOST_TTI_DETAIL_TP_TAG> \
0044             >, \
0045         BOOST_PP_CAT(trait,_detail_hftsc)<BOOST_TTI_DETAIL_TP_T,BOOST_TTI_DETAIL_TP_R,BOOST_TTI_DETAIL_TP_FS,BOOST_TTI_DETAIL_TP_TAG>, \
0046         boost::mpl::false_ \
0047         > \
0048     { \
0049     }; \
0050 /**/
0051
0052 #define BOOST_TTI_DETAIL_TRAIT_HAS_FUNCTION_TEMPLATE(trait,name,pparray) \
0053   BOOST_TTI_DETAIL_TRAIT_HAS_CALL_TYPES_MEMBER_FUNCTION_TEMPLATE(trait,name,pparray) \
0054   BOOST_TTI_DETAIL_TRAIT_HAS_FUNCTION_TEMPLATE_STATIC(trait,name,pparray) \
0055   template<class BOOST_TTI_DETAIL_TP_T,class BOOST_TTI_DETAIL_TP_R,class BOOST_TTI_DETAIL_TP_FS,class BOOST_TTI_DETAIL_TP_TAG> \
0056   struct BOOST_PP_CAT(trait,_detail_hft) : \
0057     boost::mpl::or_ \
0058         < \
0059         BOOST_PP_CAT(trait,_detail_hmft_call_types)<BOOST_TTI_DETAIL_TP_T,BOOST_TTI_DETAIL_TP_R,BOOST_TTI_DETAIL_TP_FS,BOOST_TTI_DETAIL_TP_TAG>, \
0060         BOOST_PP_CAT(trait,_detail_hfts)<BOOST_TTI_DETAIL_TP_T,BOOST_TTI_DETAIL_TP_R,BOOST_TTI_DETAIL_TP_FS,BOOST_TTI_DETAIL_TP_TAG> \
0061         > \
0062     { \
0063     }; \
0064 /**/
0065
0066 #endif // BOOST_TTI_DETAIL_FUNCTION_TEMPLATE_HPP