sl@0: // Copyright Daniel Wallin 2006. Use, modification and distribution is
sl@0: // subject to the Boost Software License, Version 1.0. (See accompanying
sl@0: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
sl@0: 
sl@0: #ifndef BOOST_PARAMETER_PREPROCESSOR_060206_HPP
sl@0: # define BOOST_PARAMETER_PREPROCESSOR_060206_HPP
sl@0: 
sl@0: # include <boost/parameter/parameters.hpp>
sl@0: # include <boost/parameter/binding.hpp>
sl@0: # include <boost/parameter/match.hpp>
sl@0: 
sl@0: # include <boost/parameter/aux_/parenthesized_type.hpp>
sl@0: # include <boost/parameter/aux_/cast.hpp>
sl@0: # include <boost/parameter/aux_/preprocessor/flatten.hpp>
sl@0: 
sl@0: # include <boost/preprocessor/repetition/repeat_from_to.hpp>
sl@0: # include <boost/preprocessor/control/if.hpp>
sl@0: # include <boost/preprocessor/control/expr_if.hpp>
sl@0: # include <boost/preprocessor/repetition/enum_params.hpp>
sl@0: # include <boost/preprocessor/repetition/enum_binary_params.hpp>
sl@0: # include <boost/preprocessor/repetition/enum_trailing.hpp>
sl@0: # include <boost/preprocessor/seq/first_n.hpp>
sl@0: # include <boost/preprocessor/seq/for_each_product.hpp>
sl@0: # include <boost/preprocessor/seq/for_each_i.hpp> 
sl@0: # include <boost/preprocessor/tuple/elem.hpp> 
sl@0: # include <boost/preprocessor/seq/fold_left.hpp>
sl@0: # include <boost/preprocessor/seq/size.hpp>
sl@0: # include <boost/preprocessor/seq/enum.hpp>
sl@0: 
sl@0: # include <boost/preprocessor/detail/is_nullary.hpp>
sl@0: 
sl@0: # include <boost/mpl/always.hpp>
sl@0: # include <boost/mpl/apply_wrap.hpp>
sl@0: 
sl@0: # if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
sl@0: #  include <boost/type.hpp>
sl@0: # endif
sl@0: 
sl@0: namespace boost { namespace parameter { namespace aux {
sl@0: 
sl@0: #  ifndef BOOST_NO_SFINAE
sl@0: 
sl@0: // Given Match, which is "void x" where x is an argument matching
sl@0: // criterion, extract a corresponding MPL predicate.
sl@0: template <class Match>
sl@0: struct unwrap_predicate;
sl@0: 
sl@0: // Match anything
sl@0: template <>
sl@0: struct unwrap_predicate<void*>
sl@0: {
sl@0:     typedef mpl::always<mpl::true_> type;
sl@0: };
sl@0: 
sl@0: #if BOOST_WORKAROUND(__SUNPRO_CC, BOOST_TESTED_AT(0x580))
sl@0: 
sl@0: typedef void* voidstar;
sl@0: 
sl@0: // A matching predicate is explicitly specified
sl@0: template <class Predicate>
sl@0: struct unwrap_predicate<voidstar (Predicate)>
sl@0: {
sl@0:     typedef Predicate type;
sl@0: };
sl@0: 
sl@0: #else
sl@0: 
sl@0: // A matching predicate is explicitly specified
sl@0: template <class Predicate>
sl@0: struct unwrap_predicate<void *(Predicate)>
sl@0: {
sl@0:     typedef Predicate type;
sl@0: };
sl@0: 
sl@0: #endif 
sl@0: 
sl@0: 
sl@0: // A type to which the argument is supposed to be convertible is
sl@0: // specified
sl@0: template <class Target>
sl@0: struct unwrap_predicate<void (Target)>
sl@0: {
sl@0:     typedef is_convertible<mpl::_, Target> type;
sl@0: };
sl@0: 
sl@0: // Recast the ParameterSpec's nested match metafunction as a free metafunction
sl@0: template <
sl@0:     class Parameters
sl@0:   , BOOST_PP_ENUM_BINARY_PARAMS(
sl@0:         BOOST_PARAMETER_MAX_ARITY, class A, = boost::parameter::void_ BOOST_PP_INTERCEPT
sl@0:     )
sl@0: >
sl@0: struct match
sl@0:   : Parameters::template match<
sl@0:         BOOST_PP_ENUM_PARAMS(BOOST_PARAMETER_MAX_ARITY, A)
sl@0:     >
sl@0: {};
sl@0: # endif 
sl@0: 
sl@0: # if BOOST_WORKAROUND(BOOST_MSVC, == 1300)
sl@0: 
sl@0: // Function template argument deduction does many of the same things
sl@0: // as type matching during partial specialization, so we call a
sl@0: // function template to "store" T into the type memory addressed by
sl@0: // void(*)(T).
sl@0: template <class T>
sl@0: msvc_store_type<T,void*(*)(void**(T))>
sl@0: msvc_store_predicate_type(void*(*)(void**(T)));
sl@0: 
sl@0: template <class T>
sl@0: msvc_store_type<boost::is_convertible<mpl::_,T>,void*(*)(void*(T))>
sl@0: msvc_store_predicate_type(void*(*)(void*(T)));
sl@0: 
sl@0: template <class FunctionType>
sl@0: struct unwrap_predicate
sl@0: {
sl@0:     static FunctionType f;
sl@0: 
sl@0:     // We don't want the function to be evaluated, just instantiated,
sl@0:     // so protect it inside of sizeof.
sl@0:     enum { dummy = sizeof(msvc_store_predicate_type(f)) };
sl@0: 
sl@0:     // Now pull the type out of the instantiated base class
sl@0:     typedef typename msvc_type_memory<FunctionType>::storage::type type;
sl@0: };
sl@0: 
sl@0: template <>
sl@0: struct unwrap_predicate<void*(*)(void**)>
sl@0: {
sl@0:     typedef mpl::always<mpl::true_> type;
sl@0: };
sl@0: 
sl@0: # endif
sl@0: 
sl@0: # undef false_
sl@0: 
sl@0: template <
sl@0:     class Parameters
sl@0:   , BOOST_PP_ENUM_BINARY_PARAMS(
sl@0:         BOOST_PARAMETER_MAX_ARITY, class A, = boost::parameter::void_ BOOST_PP_INTERCEPT
sl@0:     )
sl@0: >
sl@0: struct argument_pack
sl@0: {
sl@0:     typedef typename make_arg_list<
sl@0:         typename BOOST_PARAMETER_build_arg_list(
sl@0:             BOOST_PARAMETER_MAX_ARITY, make_items, typename Parameters::parameter_spec, A
sl@0:         )::type
sl@0:       , typename Parameters::deduced_list
sl@0:       , tag_keyword_arg
sl@0:       , mpl::false_
sl@0:     >::type type;
sl@0: };
sl@0: 
sl@0: # if 1 //BOOST_WORKAROUND(BOOST_MSVC, < 1300)
sl@0: // Works around VC6 problem where it won't accept rvalues.
sl@0: template <class T>
sl@0: T& as_lvalue(T& value, long)
sl@0: {
sl@0:     return value;
sl@0: }
sl@0: 
sl@0: template <class T>
sl@0: T const& as_lvalue(T const& value, int)
sl@0: {
sl@0:     return value;
sl@0: }
sl@0: # endif
sl@0: 
sl@0: 
sl@0: # if BOOST_WORKAROUND(BOOST_MSVC, < 1300) \
sl@0:   || BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
sl@0: 
sl@0: template <class Predicate, class T, class Args>
sl@0: struct apply_predicate
sl@0: {
sl@0:     BOOST_MPL_ASSERT((
sl@0:         mpl::and_<mpl::false_,T>
sl@0:     ));
sl@0: 
sl@0:     typedef typename mpl::if_<
sl@0:         typename mpl::apply2<Predicate,T,Args>::type
sl@0:       , char
sl@0:       , int
sl@0:     >::type type;
sl@0: };
sl@0: 
sl@0: template <class P>
sl@0: struct funptr_predicate
sl@0: {
sl@0:     static P p;
sl@0: 
sl@0:     template <class T, class Args, class P0>
sl@0:     static typename apply_predicate<P0,T,Args>::type
sl@0:     check_predicate(type<T>, Args*, void**(*)(P0));
sl@0: 
sl@0:     template <class T, class Args, class P0>
sl@0:     static typename mpl::if_<
sl@0:         is_convertible<T,P0>
sl@0:       , char
sl@0:       , int
sl@0:      >::type check_predicate(type<T>, Args*, void*(*)(P0));
sl@0: 
sl@0:     template <class T, class Args>
sl@0:     struct apply
sl@0:     {
sl@0:         BOOST_STATIC_CONSTANT(bool, result = 
sl@0:             sizeof(check_predicate(boost::type<T>(), (Args*)0, &p)) == 1
sl@0:         );
sl@0: 
sl@0:         typedef mpl::bool_<apply<T,Args>::result> type;
sl@0:     };
sl@0: };
sl@0: 
sl@0: template <>
sl@0: struct funptr_predicate<void**>
sl@0:   : mpl::always<mpl::true_>
sl@0: {};
sl@0: 
sl@0: # endif
sl@0: 
sl@0: }}} // namespace boost::parameter::aux
sl@0: 
sl@0: # if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
sl@0: // From Paul Mensonides
sl@0: #  define BOOST_PARAMETER_IS_NULLARY(x) \
sl@0:     BOOST_PP_SPLIT(1, BOOST_PARAMETER_IS_NULLARY_C x BOOST_PP_COMMA() 0) \
sl@0:     /**/
sl@0: #  define BOOST_PARAMETER_IS_NULLARY_C() \
sl@0:     ~, 1 BOOST_PP_RPAREN() \
sl@0:     BOOST_PP_TUPLE_EAT(2) BOOST_PP_LPAREN() ~ \
sl@0:     /**/
sl@0: # else
sl@0: #  define BOOST_PARAMETER_IS_NULLARY(x) BOOST_PP_IS_NULLARY(x)
sl@0: # endif
sl@0: 
sl@0: # define BOOST_PARAMETER_MEMBER_FUNCTION_CHECK_STATIC_static ()
sl@0: # define BOOST_PARAMETER_MEMBER_FUNCTION_IS_STATIC(name) \
sl@0:     BOOST_PARAMETER_IS_NULLARY( \
sl@0:         BOOST_PP_CAT(BOOST_PARAMETER_MEMBER_FUNCTION_CHECK_STATIC_,name) \
sl@0:     )
sl@0: 
sl@0: # if !defined(BOOST_MSVC)
sl@0: #  define BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC_static
sl@0: #  define BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC(name) \
sl@0:     BOOST_PP_CAT(BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC_, name)
sl@0: # else
sl@0: // Workaround for MSVC preprocessor.
sl@0: //
sl@0: // When stripping static from "static f", msvc will produce
sl@0: // " f". The leading whitespace doesn't go away when pasting
sl@0: // the token with something else, so this thing is a hack to
sl@0: // strip the whitespace.
sl@0: #  define BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC_static (
sl@0: #  define BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC_AUX(name) \
sl@0:     BOOST_PP_CAT(BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC_, name))
sl@0: #  define BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC(name) \
sl@0:     BOOST_PP_SEQ_HEAD( \
sl@0:         BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC_AUX(name) \
sl@0:     )
sl@0: # endif
sl@0: 
sl@0: # define BOOST_PARAMETER_MEMBER_FUNCTION_STATIC(name) \
sl@0:     BOOST_PP_EXPR_IF( \
sl@0:         BOOST_PARAMETER_MEMBER_FUNCTION_IS_STATIC(name) \
sl@0:       , static \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_MEMBER_FUNCTION_NAME(name) \
sl@0:     BOOST_PP_IF( \
sl@0:         BOOST_PARAMETER_MEMBER_FUNCTION_IS_STATIC(name) \
sl@0:       , BOOST_PARAMETER_MEMBER_FUNCTION_STRIP_STATIC \
sl@0:       , name BOOST_PP_TUPLE_EAT(1) \
sl@0:     )(name)
sl@0: 
sl@0: // Calculates [begin, end) arity range.
sl@0: 
sl@0: # define BOOST_PARAMETER_ARITY_RANGE_M_optional(state) state
sl@0: # define BOOST_PARAMETER_ARITY_RANGE_M_deduced_optional(state) state
sl@0: # define BOOST_PARAMETER_ARITY_RANGE_M_required(state) BOOST_PP_INC(state)
sl@0: # define BOOST_PARAMETER_ARITY_RANGE_M_deduced_required(state) BOOST_PP_INC(state)
sl@0: 
sl@0: # define BOOST_PARAMETER_ARITY_RANGE_M(s, state, x) \
sl@0:     BOOST_PP_CAT( \
sl@0:         BOOST_PARAMETER_ARITY_RANGE_M_ \
sl@0:       , BOOST_PARAMETER_FN_ARG_QUALIFIER(x) \
sl@0:     )(state)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_ARITY_RANGE(args) \
sl@0:     ( \
sl@0:         BOOST_PP_SEQ_FOLD_LEFT(BOOST_PARAMETER_ARITY_RANGE_M, 0, args) \
sl@0:       , BOOST_PP_INC(BOOST_PP_SEQ_SIZE(args)) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: // Accessor macros for the argument specs tuple.
sl@0: # define BOOST_PARAMETER_FN_ARG_QUALIFIER(x) \
sl@0:     BOOST_PP_TUPLE_ELEM(4,0,x)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FN_ARG_NAME(x) \
sl@0:     BOOST_PP_TUPLE_ELEM(4,1,x)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FN_ARG_PRED(x) \
sl@0:     BOOST_PP_TUPLE_ELEM(4,2,x)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FN_ARG_DEFAULT(x) \
sl@0:     BOOST_PP_TUPLE_ELEM(4,3,x)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETETER_FUNCTION_EAT_KEYWORD_QUALIFIER_out(x)
sl@0: # define BOOST_PARAMETETER_FUNCTION_EAT_KEYWORD_QUALIFIER_in_out(x)
sl@0: 
sl@0: // Returns 1 if x is either "out(k)" or "in_out(k)".
sl@0: # define BOOST_PARAMETER_FUNCTION_IS_KEYWORD_QUALIFIER(x) \
sl@0:     BOOST_PP_IS_EMPTY( \
sl@0:         BOOST_PP_CAT(BOOST_PARAMETETER_FUNCTION_EAT_KEYWORD_QUALIFIER_, x) \
sl@0:     ) \
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETETER_FUNCTION_GET_KEYWORD_QUALIFIER_out(x) x
sl@0: # define BOOST_PARAMETETER_FUNCTION_GET_KEYWORD_QUALIFIER_in_out(x) x
sl@0: # define BOOST_PARAMETER_FUNCTION_KEYWORD_GET(x) \
sl@0:     BOOST_PP_CAT(BOOST_PARAMETETER_FUNCTION_GET_KEYWORD_QUALIFIER_, x)
sl@0: /**/
sl@0: 
sl@0: // Returns the keyword of x, where x is either a keyword qualifier
sl@0: // or a keyword.
sl@0: //
sl@0: //   k => k
sl@0: //   out(k) => k
sl@0: //   in_out(k) => k
sl@0: //
sl@0: # define BOOST_PARAMETER_FUNCTION_KEYWORD(x) \
sl@0:     BOOST_PP_IF( \
sl@0:         BOOST_PARAMETER_FUNCTION_IS_KEYWORD_QUALIFIER(x) \
sl@0:       , BOOST_PARAMETER_FUNCTION_KEYWORD_GET \
sl@0:       , x BOOST_PP_TUPLE_EAT(1) \
sl@0:     )(x)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FN_ARG_KEYWORD(x) \
sl@0:     BOOST_PARAMETER_FUNCTION_KEYWORD( \
sl@0:         BOOST_PARAMETER_FN_ARG_NAME(x) \
sl@0:     )
sl@0: 
sl@0: // Builds forwarding functions.
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTION_TEMPLATE_Z(z, n) \
sl@0:     template<BOOST_PP_ENUM_PARAMS_Z(z, n, class ParameterArgumentType)>
sl@0: /**/
sl@0: 
sl@0: # ifndef BOOST_NO_SFINAE
sl@0: #  define BOOST_PARAMETER_FUNCTION_FWD_MATCH_Z(z, name, parameters, n) \
sl@0:     , typename boost::parameter::aux::match< \
sl@0:           parameters, BOOST_PP_ENUM_PARAMS(n, ParameterArgumentType) \
sl@0:       >::type boost_parameter_enabler_argument = parameters()
sl@0: # else
sl@0: #  define BOOST_PARAMETER_FUNCTION_FWD_MATCH_Z(z, name, parameters, n)
sl@0: # endif
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_PARAMETERS_NAME(base) \
sl@0:     BOOST_PP_CAT( \
sl@0:         boost_param_parameters_ \
sl@0:       , BOOST_PP_CAT(__LINE__, BOOST_PARAMETER_MEMBER_FUNCTION_NAME(base)) \
sl@0:     )
sl@0: 
sl@0: // Produce a name for a result type metafunction for the function
sl@0: // named base
sl@0: # define BOOST_PARAMETER_FUNCTION_RESULT_NAME(base) \
sl@0:     BOOST_PP_CAT( \
sl@0:         boost_param_result_ \
sl@0:       , BOOST_PP_CAT(__LINE__,BOOST_PARAMETER_MEMBER_FUNCTION_NAME(base)) \
sl@0:     )
sl@0: 
sl@0: // Can't do boost_param_impl_ ## basee because base might start with an underscore
sl@0: // daniel: what? how is that relevant? the reason for using CAT() is to make sure
sl@0: // base is expanded. i'm not sure we need to here, but it's more stable to do it.
sl@0: # define BOOST_PARAMETER_IMPL(base) \
sl@0:     BOOST_PP_CAT(boost_param_impl,BOOST_PARAMETER_MEMBER_FUNCTION_NAME(base))
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTION00(z, n, r, data, elem) \
sl@0:     BOOST_PP_IF( \
sl@0:         n \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_FUNCTION_TEMPLATE_Z, BOOST_PP_TUPLE_EAT(2) \
sl@0:     )(z,n) \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_STATIC(BOOST_PP_TUPLE_ELEM(7,3,data)) \
sl@0:     inline \
sl@0:     BOOST_PP_EXPR_IF(n, typename) \
sl@0:         BOOST_PARAMETER_FUNCTION_RESULT_NAME(BOOST_PP_TUPLE_ELEM(7,3,data))<   \
sl@0:         BOOST_PP_EXPR_IF(n, typename) \
sl@0:         boost::parameter::aux::argument_pack< \
sl@0:             BOOST_PARAMETER_FUNCTION_PARAMETERS_NAME(BOOST_PP_TUPLE_ELEM(7,3,data)) \
sl@0:             BOOST_PP_COMMA_IF(n) \
sl@0:             BOOST_PP_IF( \
sl@0:                 n, BOOST_PP_SEQ_ENUM, BOOST_PP_TUPLE_EAT(1) \
sl@0:             )(elem) \
sl@0:         >::type \
sl@0:     >::type \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_NAME(BOOST_PP_TUPLE_ELEM(7,3,data))( \
sl@0:         BOOST_PP_IF( \
sl@0:             n \
sl@0:           , BOOST_PP_SEQ_FOR_EACH_I_R \
sl@0:           , BOOST_PP_TUPLE_EAT(4) \
sl@0:         )( \
sl@0:             r \
sl@0:           , BOOST_PARAMETER_FUNCTION_ARGUMENT \
sl@0:           , ~ \
sl@0:           , elem \
sl@0:         ) \
sl@0:         BOOST_PP_IF(n, BOOST_PARAMETER_FUNCTION_FWD_MATCH_Z, BOOST_PP_TUPLE_EAT(4))( \
sl@0:             z \
sl@0:           , BOOST_PP_TUPLE_ELEM(7,3,data) \
sl@0:           , BOOST_PARAMETER_FUNCTION_PARAMETERS_NAME(BOOST_PP_TUPLE_ELEM(7,3,data)) \
sl@0:           , n \
sl@0:         ) \
sl@0:     ) BOOST_PP_EXPR_IF(BOOST_PP_TUPLE_ELEM(7,4,data), const) \
sl@0:     { \
sl@0:         return BOOST_PARAMETER_IMPL(BOOST_PP_TUPLE_ELEM(7,3,data))( \
sl@0:             BOOST_PARAMETER_FUNCTION_PARAMETERS_NAME(BOOST_PP_TUPLE_ELEM(7,3,data))()( \
sl@0:                 BOOST_PP_ENUM_PARAMS_Z(z, n, a) \
sl@0:             ) \
sl@0:         ); \
sl@0:     }
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTION0(r, data, elem) \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_FUNCTION00( \
sl@0:         BOOST_PP_TUPLE_ELEM(7,0,data) \
sl@0:       , BOOST_PP_TUPLE_ELEM(7,1,data) \
sl@0:       , r \
sl@0:       , data \
sl@0:       , elem \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTION_ARITY_0(z, n, data) \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_FUNCTION00( \
sl@0:         z, n, BOOST_PP_DEDUCE_R() \
sl@0:       , (z, n, BOOST_PP_TUPLE_REM(5) data) \
sl@0:       , ~ \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTION_ARITY_N(z, n, data) \
sl@0:     BOOST_PP_SEQ_FOR_EACH( \
sl@0:         BOOST_PARAMETER_FUNCTION_FWD_FUNCTION0 \
sl@0:       , (z, n, BOOST_PP_TUPLE_REM(5) data) \
sl@0:       , BOOST_PP_SEQ_FOR_EACH_PRODUCT( \
sl@0:             BOOST_PARAMETER_FUNCTION_FWD_PRODUCT \
sl@0:           , BOOST_PP_SEQ_FIRST_N( \
sl@0:                 n, BOOST_PP_TUPLE_ELEM(5,3,data) \
sl@0:             ) \
sl@0:         ) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTION(z, n, data) \
sl@0:     BOOST_PP_IF( \
sl@0:         n \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_FUNCTION_ARITY_N \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_FUNCTION_ARITY_0 \
sl@0:     )(z,n,data) \
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTIONS0( \
sl@0:     result,name,args,const_,combinations,range \
sl@0: ) \
sl@0:     BOOST_PP_REPEAT_FROM_TO( \
sl@0:         BOOST_PP_TUPLE_ELEM(2,0,range), BOOST_PP_TUPLE_ELEM(2,1,range) \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_FUNCTION \
sl@0:       , (result,name,const_,combinations,BOOST_PP_TUPLE_ELEM(2,1,range)) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_FUNCTIONS(result,name,args, const_, combinations) \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_FUNCTIONS0( \
sl@0:         result, name, args, const_, combinations, BOOST_PARAMETER_ARITY_RANGE(args) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: // Builds boost::parameter::parameters<> specialization
sl@0: #  define BOOST_PARAMETER_FUNCTION_PARAMETERS_QUALIFIER_optional(tag) \
sl@0:     optional<tag
sl@0: 
sl@0: #  define BOOST_PARAMETER_FUNCTION_PARAMETERS_QUALIFIER_required(tag) \
sl@0:     required<tag
sl@0: 
sl@0: #  define BOOST_PARAMETER_FUNCTION_PARAMETERS_QUALIFIER_deduced_optional(tag) \
sl@0:     optional<boost::parameter::deduced<tag>
sl@0: 
sl@0: #  define BOOST_PARAMETER_FUNCTION_PARAMETERS_QUALIFIER_deduced_required(tag) \
sl@0:     required<boost::parameter::deduced<tag>
sl@0: 
sl@0: # if !BOOST_WORKAROUND(BOOST_MSVC, < 1300) && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
sl@0: 
sl@0: #  if BOOST_WORKAROUND(BOOST_MSVC, == 1300)
sl@0: #   define BOOST_PARAMETER_PREDICATE_TYPE(p) void*(*) (void* p)
sl@0: #  else
sl@0: #   define BOOST_PARAMETER_PREDICATE_TYPE(p) void p
sl@0: #  endif
sl@0: 
sl@0: #  define BOOST_PARAMETER_FUNCTION_PARAMETERS_M(r,tag_namespace,i,elem) \
sl@0:     BOOST_PP_COMMA_IF(i) \
sl@0:     boost::parameter::BOOST_PP_CAT( \
sl@0:         BOOST_PARAMETER_FUNCTION_PARAMETERS_QUALIFIER_ \
sl@0:       , BOOST_PARAMETER_FN_ARG_QUALIFIER(elem) \
sl@0:     )( \
sl@0:         tag_namespace::BOOST_PARAMETER_FUNCTION_KEYWORD( \
sl@0:             BOOST_PARAMETER_FN_ARG_KEYWORD(elem) \
sl@0:         ) \
sl@0:     ) \
sl@0:       , typename boost::parameter::aux::unwrap_predicate< \
sl@0:             BOOST_PARAMETER_PREDICATE_TYPE(BOOST_PARAMETER_FN_ARG_PRED(elem)) \
sl@0:         >::type \
sl@0:     >
sl@0: # elif BOOST_WORKAROUND(BOOST_MSVC, < 1300)
sl@0: #  define BOOST_PARAMETER_FUNCTION_PARAMETERS_M(r,tag_namespace,i,elem) \
sl@0:     BOOST_PP_COMMA_IF(i) \
sl@0:     boost::parameter::BOOST_PP_CAT( \
sl@0:         BOOST_PARAMETER_FUNCTION_PARAMETERS_QUALIFIER_ \
sl@0:       , BOOST_PARAMETER_FN_ARG_QUALIFIER(elem) \
sl@0:     )( \
sl@0:         tag_namespace::BOOST_PARAMETER_FUNCTION_KEYWORD( \
sl@0:             BOOST_PARAMETER_FN_ARG_KEYWORD(elem) \
sl@0:         ) \
sl@0:     ) \
sl@0:       , boost::parameter::aux::funptr_predicate< \
sl@0:             void* BOOST_PARAMETER_FN_ARG_PRED(elem) \
sl@0:         > \
sl@0:     >
sl@0: # elif BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
sl@0: #  define BOOST_PARAMETER_FUNCTION_PARAMETERS_M(r,tag_namespace,i,elem) \
sl@0:     BOOST_PP_COMMA_IF(i) \
sl@0:     boost::parameter::BOOST_PP_CAT( \
sl@0:         BOOST_PARAMETER_FUNCTION_PARAMETERS_QUALIFIER_ \
sl@0:       , BOOST_PARAMETER_FN_ARG_QUALIFIER(elem) \
sl@0:     )( \
sl@0:         tag_namespace::BOOST_PARAMETER_FUNCTION_KEYWORD( \
sl@0:             BOOST_PARAMETER_FN_ARG_KEYWORD(elem) \
sl@0:         ) \
sl@0:     ) \
sl@0:       , boost::mpl::always<boost::mpl::true_> \
sl@0:     >
sl@0: # endif
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_PARAMETERS(tag_namespace, base, args)             \
sl@0:     template <class BoostParameterDummy>                                            \
sl@0:     struct BOOST_PP_CAT(                                                            \
sl@0:             BOOST_PP_CAT(boost_param_params_, __LINE__)                             \
sl@0:           , BOOST_PARAMETER_MEMBER_FUNCTION_NAME(base)                              \
sl@0:     ) : boost::parameter::parameters<                                               \
sl@0:             BOOST_PP_SEQ_FOR_EACH_I(                                                \
sl@0:                 BOOST_PARAMETER_FUNCTION_PARAMETERS_M, tag_namespace, args          \
sl@0:             )                                                                       \
sl@0:         >                                                                           \
sl@0:     {};                                                                             \
sl@0:                                                                                     \
sl@0:     typedef BOOST_PP_CAT( \
sl@0:             BOOST_PP_CAT(boost_param_params_, __LINE__) \
sl@0:           , BOOST_PARAMETER_MEMBER_FUNCTION_NAME(base) \
sl@0:     )<int>
sl@0: 
sl@0: // Defines result type metafunction
sl@0: # define BOOST_PARAMETER_FUNCTION_RESULT_ARG(z, _, i, x) \
sl@0:     BOOST_PP_COMMA_IF(i) class BOOST_PP_TUPLE_ELEM(3,1,x)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_RESULT_(result, name, args)                                   \
sl@0:     template <class Args>                                                                       \
sl@0:     struct BOOST_PARAMETER_FUNCTION_RESULT_NAME(name)                                           \
sl@0:     {                                                                                           \
sl@0:         typedef typename BOOST_PARAMETER_PARENTHESIZED_TYPE(result) type;                       \
sl@0:     };
sl@0: 
sl@0: # if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
sl@0: 
sl@0: #  define BOOST_PARAMETER_FUNCTION_RESULT(result, name, args)  \
sl@0:     BOOST_PARAMETER_FUNCTION_RESULT_(result, name, args)        \
sl@0:     template <>                                                 \
sl@0:     struct BOOST_PARAMETER_FUNCTION_RESULT_NAME(name)<int>      \
sl@0:     { typedef int type; };
sl@0: 
sl@0: # else
sl@0: 
sl@0: #  define BOOST_PARAMETER_FUNCTION_RESULT(result, name, args)  \
sl@0:     BOOST_PARAMETER_FUNCTION_RESULT_(result, name, args)
sl@0: 
sl@0: # endif
sl@0: 
sl@0: // Defines implementation function
sl@0: # define BOOST_PARAMETER_FUNCTION_IMPL_HEAD(name)           \
sl@0:     template <class Args>                                   \
sl@0:     typename BOOST_PARAMETER_FUNCTION_RESULT_NAME(name)<    \
sl@0:        Args                                                 \
sl@0:     >::type BOOST_PARAMETER_IMPL(name)(Args const& args)
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_IMPL_FWD(name) \
sl@0:     BOOST_PARAMETER_FUNCTION_IMPL_HEAD(name);
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_SPLIT_ARG_required(state, arg) \
sl@0:     ( \
sl@0:         BOOST_PP_INC(BOOST_PP_TUPLE_ELEM(4, 0, state)) \
sl@0:       , BOOST_PP_SEQ_PUSH_BACK(BOOST_PP_TUPLE_ELEM(4, 1, state), arg) \
sl@0:       , BOOST_PP_TUPLE_ELEM(4, 2, state) \
sl@0:       , BOOST_PP_TUPLE_ELEM(4, 3, state) \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_SPLIT_ARG_deduced_required(state, arg) \
sl@0:     BOOST_PARAMETER_FUNCTION_SPLIT_ARG_required(state, arg)
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_SPLIT_ARG_optional(state, arg) \
sl@0:     ( \
sl@0:         BOOST_PP_TUPLE_ELEM(4, 0, state) \
sl@0:       , BOOST_PP_TUPLE_ELEM(4, 1, state) \
sl@0:       , BOOST_PP_INC(BOOST_PP_TUPLE_ELEM(4, 2, state)) \
sl@0:       , BOOST_PP_SEQ_PUSH_BACK(BOOST_PP_TUPLE_ELEM(4, 3, state), arg) \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_SPLIT_ARG_deduced_optional(state, arg) \
sl@0:     BOOST_PARAMETER_FUNCTION_SPLIT_ARG_optional(state, arg)
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_SPLIT_ARG(s, state, arg) \
sl@0:     BOOST_PP_CAT( \
sl@0:         BOOST_PARAMETER_FUNCTION_SPLIT_ARG_ \
sl@0:       , BOOST_PARAMETER_FN_ARG_QUALIFIER(arg) \
sl@0:     )(state, arg)
sl@0: 
sl@0: // Returns (required_count, required, optional_count, optionals) tuple
sl@0: # define BOOST_PARAMETER_FUNCTION_SPLIT_ARGS(args) \
sl@0:     BOOST_PP_SEQ_FOLD_LEFT( \
sl@0:         BOOST_PARAMETER_FUNCTION_SPLIT_ARG \
sl@0:       , (0,BOOST_PP_SEQ_NIL, 0,BOOST_PP_SEQ_NIL) \
sl@0:       , args \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_ARG_NAME(keyword) \
sl@0:     BOOST_PP_CAT(BOOST_PP_CAT(keyword,_),type)
sl@0: 
sl@0: // Helpers used as parameters to BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS.
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_TEMPLATE_ARG(r, _, arg) \
sl@0:     , class BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_ARG_NAME( \
sl@0:               BOOST_PARAMETER_FN_ARG_KEYWORD(arg) \
sl@0:       )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_ARG(r, _, arg) \
sl@0:     , BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_ARG_NAME( \
sl@0:               BOOST_PARAMETER_FN_ARG_KEYWORD(arg) \
sl@0:       )& BOOST_PARAMETER_FN_ARG_KEYWORD(arg)
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_PARAMETER(r, _, arg) \
sl@0:     , BOOST_PARAMETER_FN_ARG_KEYWORD(arg)
sl@0: 
sl@0: // Produces a name for the dispatch functions.
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_NAME(name) \
sl@0:     BOOST_PP_CAT( \
sl@0:         boost_param_default_ \
sl@0:       , BOOST_PP_CAT(__LINE__, BOOST_PARAMETER_MEMBER_FUNCTION_NAME(name)) \
sl@0:     )
sl@0: 
sl@0: // Helper macro used below to produce lists based on the keyword argument
sl@0: // names. macro is applied to every element. n is the number of
sl@0: // optional arguments that should be included.
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS(macro, n, split_args) \
sl@0:     BOOST_PP_SEQ_FOR_EACH( \
sl@0:         macro \
sl@0:       , ~ \
sl@0:       , BOOST_PP_TUPLE_ELEM(4,1,split_args) \
sl@0:     ) \
sl@0:     BOOST_PP_SEQ_FOR_EACH( \
sl@0:         macro \
sl@0:       , ~ \
sl@0:       , BOOST_PP_SEQ_FIRST_N( \
sl@0:           BOOST_PP_SUB(BOOST_PP_TUPLE_ELEM(4,2,split_args), n) \
sl@0:         , BOOST_PP_TUPLE_ELEM(4,3,split_args) \
sl@0:         ) \
sl@0:     )
sl@0: 
sl@0: // Generates a keyword | default expression.
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_EVAL_DEFAULT(arg, tag_namespace) \
sl@0:     boost::parameter::keyword< \
sl@0:         tag_namespace::BOOST_PARAMETER_FN_ARG_KEYWORD(arg) \
sl@0:     >::get() | boost::parameter::aux::use_default_tag()
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_GET_ARG(arg, tag_ns) \
sl@0:     BOOST_PARAMETER_FUNCTION_CAST( \
sl@0:         args[ \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_EVAL_DEFAULT( \
sl@0:                 arg, tag_ns \
sl@0:             ) \
sl@0:         ] \
sl@0:       , BOOST_PARAMETER_FN_ARG_PRED(arg) \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_BODY(name, n, split_args, tag_namespace) \
sl@0:     { \
sl@0:         return BOOST_PARAMETER_FUNCTION_DEFAULT_NAME(name)( \
sl@0:             (ResultType(*)())0 \
sl@0:           , args \
sl@0:           , 0L \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:                 BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_PARAMETER \
sl@0:               , n \
sl@0:               , split_args \
sl@0:             ) \
sl@0:           , BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_GET_ARG( \
sl@0:                 BOOST_PP_SEQ_ELEM( \
sl@0:                     BOOST_PP_SUB(BOOST_PP_TUPLE_ELEM(4,2,split_args), n) \
sl@0:                   , BOOST_PP_TUPLE_ELEM(4,3,split_args) \
sl@0:                 ) \
sl@0:               , tag_namespace \
sl@0:             ) \
sl@0:         ); \
sl@0:     }
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_EVAL_ACTUAL_DEFAULT(arg) \
sl@0:     BOOST_PARAMETER_FUNCTION_CAST( \
sl@0:         boost::parameter::aux::as_lvalue(BOOST_PARAMETER_FN_ARG_DEFAULT(arg), 0L) \
sl@0:       , BOOST_PARAMETER_FN_ARG_PRED(arg) \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_EVAL_DEFAULT_BODY(name, n, split_args, tag_ns, const_) \
sl@0:     template < \
sl@0:         class ResultType \
sl@0:       , class Args \
sl@0:         BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_TEMPLATE_ARG \
sl@0:           , BOOST_PP_INC(n) \
sl@0:           , split_args \
sl@0:         ) \
sl@0:     > \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_STATIC(name) \
sl@0:     ResultType BOOST_PARAMETER_FUNCTION_DEFAULT_NAME(name)( \
sl@0:         ResultType(*)() \
sl@0:       , Args const& args \
sl@0:       , long \
sl@0:         BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_ARG \
sl@0:           , BOOST_PP_INC(n) \
sl@0:           , split_args \
sl@0:         ) \
sl@0:       , boost::parameter::aux::use_default_tag \
sl@0:     ) BOOST_PP_EXPR_IF(const_, const) \
sl@0:     { \
sl@0:         return BOOST_PARAMETER_FUNCTION_DEFAULT_NAME(name)( \
sl@0:             (ResultType(*)())0 \
sl@0:           , args \
sl@0:           , 0L \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:                 BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_PARAMETER \
sl@0:               , BOOST_PP_INC(n) \
sl@0:               , split_args \
sl@0:             ) \
sl@0:           , BOOST_PARAMETER_FUNCTION_DEFAULT_EVAL_ACTUAL_DEFAULT( \
sl@0:                 BOOST_PP_SEQ_ELEM( \
sl@0:                     BOOST_PP_SUB(BOOST_PP_TUPLE_ELEM(4,2,split_args), BOOST_PP_INC(n)) \
sl@0:                   , BOOST_PP_TUPLE_ELEM(4,3,split_args) \
sl@0:                 ) \
sl@0:             ) \
sl@0:         ); \
sl@0:     }
sl@0: 
sl@0: // Produces a forwarding layer in the default evaluation machine.
sl@0: //
sl@0: // data is a tuple:
sl@0: //
sl@0: //   (name, split_args)
sl@0: //
sl@0: // Where name is the base name of the function, and split_args is a tuple:
sl@0: //
sl@0: //   (required_count, required_args, optional_count, required_args)
sl@0: //
sl@0: 
sl@0: 
sl@0: // defines the actual function body for BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION below.
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION0(z, n, data) \
sl@0:     template < \
sl@0:         class ResultType \
sl@0:       , class Args \
sl@0:         BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_TEMPLATE_ARG \
sl@0:           , n \
sl@0:           , BOOST_PP_TUPLE_ELEM(5,1,data) \
sl@0:         ) \
sl@0:     > \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_STATIC(BOOST_PP_TUPLE_ELEM(5,0,data)) \
sl@0:     ResultType BOOST_PARAMETER_FUNCTION_DEFAULT_NAME(BOOST_PP_TUPLE_ELEM(5,0,data))( \
sl@0:         ResultType(*)() \
sl@0:       , Args const& args \
sl@0:       , int \
sl@0:         BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_ARG \
sl@0:           , n \
sl@0:           , BOOST_PP_TUPLE_ELEM(5,1,data) \
sl@0:         ) \
sl@0:     ) BOOST_PP_EXPR_IF(BOOST_PP_TUPLE_ELEM(5,2,data), const) \
sl@0:     BOOST_PP_IF( \
sl@0:         n \
sl@0:       , BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_BODY \
sl@0:       , ; BOOST_PP_TUPLE_EAT(4) \
sl@0:     )( \
sl@0:         BOOST_PP_TUPLE_ELEM(5,0,data) \
sl@0:       , n \
sl@0:       , BOOST_PP_TUPLE_ELEM(5,1,data) \
sl@0:       , BOOST_PP_TUPLE_ELEM(5,3,data) \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION(z, n, data) \
sl@0:     BOOST_PP_IF( \
sl@0:         BOOST_PP_AND( \
sl@0:             BOOST_PP_NOT(n) \
sl@0:           , BOOST_PP_TUPLE_ELEM(5,4,data) \
sl@0:         ) \
sl@0:       , BOOST_PP_TUPLE_EAT(3) \
sl@0:       , BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION0 \
sl@0:     )(z, n, data) \
sl@0:     BOOST_PP_IF( \
sl@0:         BOOST_PP_EQUAL(n, BOOST_PP_TUPLE_ELEM(4,2,BOOST_PP_TUPLE_ELEM(5,1,data))) \
sl@0:       , BOOST_PP_TUPLE_EAT(5) \
sl@0:       , BOOST_PARAMETER_FUNCTION_DEFAULT_EVAL_DEFAULT_BODY \
sl@0:     )( \
sl@0:         BOOST_PP_TUPLE_ELEM(5,0,data) \
sl@0:       , n \
sl@0:       , BOOST_PP_TUPLE_ELEM(5,1,data) \
sl@0:       , BOOST_PP_TUPLE_ELEM(5,3,data) \
sl@0:       , BOOST_PP_TUPLE_ELEM(5,2,data) \
sl@0:     )
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_GET_ARG(r, tag_ns, arg) \
sl@0:     , BOOST_PARAMETER_FUNCTION_CAST( \
sl@0:           args[ \
sl@0:               boost::parameter::keyword<tag_ns::BOOST_PARAMETER_FN_ARG_KEYWORD(arg)>::get() \
sl@0:           ] \
sl@0:         , BOOST_PARAMETER_FN_ARG_PRED(arg) \
sl@0:       )
sl@0: 
sl@0: // Generates the function template that recives a ArgumentPack, and then
sl@0: // goes on to call the layers of overloads generated by 
sl@0: // BOOST_PARAMETER_FUNCTION_DEFAULT_LAYER.
sl@0: # define BOOST_PARAMETER_FUNCTION_INITIAL_DISPATCH_FUNCTION(name, split_args, const_, tag_ns) \
sl@0:     template <class Args> \
sl@0:     typename BOOST_PARAMETER_FUNCTION_RESULT_NAME(name)<Args>::type \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_STATIC(name) \
sl@0:     BOOST_PARAMETER_IMPL(name)(Args const& args) BOOST_PP_EXPR_IF(const_, const) \
sl@0:     { \
sl@0:         return BOOST_PARAMETER_FUNCTION_DEFAULT_NAME(name)( \
sl@0:             (typename BOOST_PARAMETER_FUNCTION_RESULT_NAME(name)<Args>::type(*)())0 \
sl@0:           , args \
sl@0:           , 0L \
sl@0:  \
sl@0:             BOOST_PP_SEQ_FOR_EACH( \
sl@0:                 BOOST_PARAMETER_FUNCTION_DEFAULT_GET_ARG \
sl@0:               , tag_ns \
sl@0:               , BOOST_PP_TUPLE_ELEM(4,1,split_args) \
sl@0:             ) \
sl@0:  \
sl@0:         ); \
sl@0:     }
sl@0: 
sl@0: // Helper for BOOST_PARAMETER_FUNCTION_DEFAULT_LAYER below.
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_LAYER_AUX( \
sl@0:     name, split_args, skip_fwd_decl, const_, tag_namespace \
sl@0:   ) \
sl@0:     BOOST_PP_REPEAT_FROM_TO( \
sl@0:         0 \
sl@0:       , BOOST_PP_INC(BOOST_PP_TUPLE_ELEM(4, 2, split_args)) \
sl@0:       , BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION \
sl@0:       , (name, split_args, const_, tag_namespace, skip_fwd_decl) \
sl@0:     ) \
sl@0:  \
sl@0:     BOOST_PARAMETER_FUNCTION_INITIAL_DISPATCH_FUNCTION(name, split_args, const_, tag_namespace) \
sl@0: \
sl@0:     template < \
sl@0:         class ResultType \
sl@0:       , class Args \
sl@0:         BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_TEMPLATE_ARG \
sl@0:           , 0 \
sl@0:           , split_args \
sl@0:         ) \
sl@0:     > \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_STATIC(name) \
sl@0:     ResultType BOOST_PARAMETER_FUNCTION_DEFAULT_NAME(name)( \
sl@0:         ResultType(*)() \
sl@0:       , Args const& args \
sl@0:       , int \
sl@0:         BOOST_PARAMETER_FUNCTION_DEFAULT_ARGUMENTS( \
sl@0:             BOOST_PARAMETER_FUNCTION_DEFAULT_FUNCTION_ARG \
sl@0:           , 0 \
sl@0:           , split_args \
sl@0:         ) \
sl@0:     ) BOOST_PP_EXPR_IF(const_, const)
sl@0: 
sl@0: // Generates a bunch of forwarding functions that each extract
sl@0: // one more argument.
sl@0: # define BOOST_PARAMETER_FUNCTION_DEFAULT_LAYER(name, args, skip_fwd_decl, const_, tag_ns) \
sl@0:     BOOST_PARAMETER_FUNCTION_DEFAULT_LAYER_AUX( \
sl@0:         name, BOOST_PARAMETER_FUNCTION_SPLIT_ARGS(args), skip_fwd_decl, const_, tag_ns \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: // Defines the result metafunction and the parameters specialization.
sl@0: # define BOOST_PARAMETER_FUNCTION_HEAD(result, name, tag_namespace, args)   \
sl@0:       BOOST_PARAMETER_FUNCTION_RESULT(result, name, args)                   \
sl@0:                                                                             \
sl@0:           BOOST_PARAMETER_FUNCTION_PARAMETERS(tag_namespace, name, args)    \
sl@0:           BOOST_PARAMETER_FUNCTION_PARAMETERS_NAME(name);                   \
sl@0: 
sl@0: // Helper for BOOST_PARAMETER_FUNCTION below.
sl@0: # define BOOST_PARAMETER_FUNCTION_AUX(result, name, tag_namespace, args)    \
sl@0:     BOOST_PARAMETER_FUNCTION_HEAD(result, name, tag_namespace, args)         \
sl@0:     BOOST_PARAMETER_FUNCTION_IMPL_HEAD(name); \
sl@0: \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_FUNCTIONS(                                  \
sl@0:         result, name, args, 0                                                \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_COMBINATIONS(args)                      \
sl@0:     )                                                                        \
sl@0:                                                                              \
sl@0:     BOOST_PARAMETER_FUNCTION_DEFAULT_LAYER(name, args, 0, 0, tag_namespace)
sl@0: 
sl@0: // Defines a Boost.Parameter enabled function with the new syntax.
sl@0: # define BOOST_PARAMETER_FUNCTION(result, name, tag_namespace, args)    \
sl@0:     BOOST_PARAMETER_FUNCTION_AUX(                                       \
sl@0:         result, name, tag_namespace                                      \
sl@0:       , BOOST_PARAMETER_FLATTEN(3, 2, 3, args)                           \
sl@0:     )                                                                    \
sl@0: /**/
sl@0: 
sl@0: // Defines a Boost.Parameter enabled function.
sl@0: # define BOOST_PARAMETER_BASIC_FUNCTION_AUX(result, name, tag_namespace, args)    \
sl@0:     BOOST_PARAMETER_FUNCTION_HEAD(result, name, tag_namespace, args)        \
sl@0:                                                                             \
sl@0:     BOOST_PARAMETER_FUNCTION_IMPL_FWD(name)                                 \
sl@0:                                                                             \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_FUNCTIONS(                                 \
sl@0:         result, name, args, 0                                               \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_COMBINATIONS(args)                     \
sl@0:     )                                                                       \
sl@0:                                                                             \
sl@0:     BOOST_PARAMETER_FUNCTION_IMPL_HEAD(name)
sl@0: 
sl@0: # define BOOST_PARAMETER_BASIC_FUNCTION(result, name, tag_namespace, args)  \
sl@0:     BOOST_PARAMETER_BASIC_FUNCTION_AUX(                                     \
sl@0:         result, name, tag_namespace                                     \
sl@0:       , BOOST_PARAMETER_FLATTEN(2, 2, 3, args)                          \
sl@0:     )                                                                   \
sl@0: /**/
sl@0: 
sl@0: // Defines a Boost.Parameter enabled member function.
sl@0: # define BOOST_PARAMETER_BASIC_MEMBER_FUNCTION_AUX(result, name, tag_namespace, args, const_) \
sl@0:     BOOST_PARAMETER_FUNCTION_HEAD(result, name, tag_namespace, args)                    \
sl@0:                                                                                         \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_FUNCTIONS(                                             \
sl@0:         result, name, args, const_                                                      \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_COMBINATIONS(args)                                 \
sl@0:     )                                                                                   \
sl@0:                                                                                         \
sl@0:     BOOST_PARAMETER_FUNCTION_IMPL_HEAD(name) BOOST_PP_EXPR_IF(const_, const)            \
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_BASIC_MEMBER_FUNCTION(result, name, tag_namespace, args) \
sl@0:     BOOST_PARAMETER_BASIC_MEMBER_FUNCTION_AUX( \
sl@0:         result, name, tag_namespace \
sl@0:       , BOOST_PARAMETER_FLATTEN(2, 2, 3, args) \
sl@0:       , 0 \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_BASIC_CONST_MEMBER_FUNCTION(result, name, tag_namespace, args) \
sl@0:     BOOST_PARAMETER_BASIC_MEMBER_FUNCTION_AUX( \
sl@0:         result, name, tag_namespace \
sl@0:       , BOOST_PARAMETER_FLATTEN(2, 2, 3, args) \
sl@0:       , 1 \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: 
sl@0: 
sl@0: # define BOOST_PARAMETER_MEMBER_FUNCTION_AUX(result, name, tag_namespace, const_, args)    \
sl@0:     BOOST_PARAMETER_FUNCTION_HEAD(result, name, tag_namespace, args)         \
sl@0: \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_FUNCTIONS(                                  \
sl@0:         result, name, args, const_                                           \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_COMBINATIONS(args)                      \
sl@0:     )                                                                        \
sl@0:                                                                              \
sl@0:     BOOST_PARAMETER_FUNCTION_DEFAULT_LAYER(name, args, 1, const_, tag_namespace)
sl@0: 
sl@0: // Defines a Boost.Parameter enabled function with the new syntax.
sl@0: # define BOOST_PARAMETER_MEMBER_FUNCTION(result, name, tag_namespace, args)    \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_AUX(                                       \
sl@0:         result, name, tag_namespace, 0                                     \
sl@0:       , BOOST_PARAMETER_FLATTEN(3, 2, 3, args)                           \
sl@0:     )                                                                    \
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_CONST_MEMBER_FUNCTION(result, name, tag_namespace, args)    \
sl@0:     BOOST_PARAMETER_MEMBER_FUNCTION_AUX(                                       \
sl@0:         result, name, tag_namespace, 1                                     \
sl@0:       , BOOST_PARAMETER_FLATTEN(3, 2, 3, args)                           \
sl@0:     )                                                                    \
sl@0: /**/
sl@0: 
sl@0: // Defines a Boost.Parameter enabled constructor.
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_ARGUMENT(r, _, i, elem) \
sl@0:     BOOST_PP_COMMA_IF(i) elem& BOOST_PP_CAT(a, i)
sl@0: /**/
sl@0: 
sl@0: # if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
sl@0: 
sl@0: // Older MSVC can't do what's necessary to handle commas in base names; just
sl@0: // use a typedef instead if you have a base name that contains commas.
sl@0: #  define BOOST_PARAMETER_PARENTHESIZED_BASE(x) BOOST_PP_SEQ_HEAD(x)
sl@0: 
sl@0: # else
sl@0: 
sl@0: #  define BOOST_PARAMETER_PARENTHESIZED_BASE(x) BOOST_PARAMETER_PARENTHESIZED_TYPE(x)
sl@0: 
sl@0: # endif
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR00(z, n, r, data, elem) \
sl@0:     BOOST_PP_IF( \
sl@0:         n \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_FUNCTION_TEMPLATE_Z, BOOST_PP_TUPLE_EAT(2) \
sl@0:     )(z, n) \
sl@0:     BOOST_PP_EXPR_IF(BOOST_PP_EQUAL(n,1), explicit) \
sl@0:     BOOST_PP_TUPLE_ELEM(6,2,data)( \
sl@0:         BOOST_PP_IF( \
sl@0:             n \
sl@0:           , BOOST_PP_SEQ_FOR_EACH_I_R \
sl@0:           , BOOST_PP_TUPLE_EAT(4) \
sl@0:         )( \
sl@0:             r \
sl@0:           , BOOST_PARAMETER_FUNCTION_ARGUMENT \
sl@0:           , ~ \
sl@0:           , elem \
sl@0:         ) \
sl@0:         BOOST_PP_IF(n, BOOST_PARAMETER_FUNCTION_FWD_MATCH_Z, BOOST_PP_TUPLE_EAT(4))( \
sl@0:             z \
sl@0:           , BOOST_PP_TUPLE_ELEM(6,3,data) \
sl@0:           , BOOST_PP_CAT(constructor_parameters, __LINE__) \
sl@0:           , n \
sl@0:         ) \
sl@0:     ) \
sl@0:       : BOOST_PARAMETER_PARENTHESIZED_BASE(BOOST_PP_TUPLE_ELEM(6,3,data)) ( \
sl@0:             BOOST_PP_CAT(constructor_parameters, __LINE__)()( \
sl@0:                 BOOST_PP_ENUM_PARAMS_Z(z, n, a) \
sl@0:             ) \
sl@0:         ) \
sl@0:     {}
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR0(r, data, elem) \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR00( \
sl@0:         BOOST_PP_TUPLE_ELEM(6,0,data) \
sl@0:       , BOOST_PP_TUPLE_ELEM(6,1,data) \
sl@0:       , r \
sl@0:       , data \
sl@0:       , elem \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_PRODUCT(r, product) \
sl@0:     (product)
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR_ARITY_0(z, n, data) \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR00( \
sl@0:         z, n, BOOST_PP_DEDUCE_R() \
sl@0:       , (z, n, BOOST_PP_TUPLE_REM(4) data) \
sl@0:       , ~ \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR_ARITY_N(z, n, data) \
sl@0:     BOOST_PP_SEQ_FOR_EACH( \
sl@0:         BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR0 \
sl@0:       , (z, n, BOOST_PP_TUPLE_REM(4) data) \
sl@0:       , BOOST_PP_SEQ_FOR_EACH_PRODUCT( \
sl@0:             BOOST_PARAMETER_FUNCTION_FWD_PRODUCT \
sl@0:           , BOOST_PP_SEQ_FIRST_N( \
sl@0:                 n, BOOST_PP_TUPLE_ELEM(4,2,data) \
sl@0:             ) \
sl@0:         ) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR(z, n, data) \
sl@0:     BOOST_PP_IF( \
sl@0:         n \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR_ARITY_N \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR_ARITY_0 \
sl@0:     )(z,n,data) \
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTORS0(class_,base,args,combinations,range) \
sl@0:     BOOST_PP_REPEAT_FROM_TO( \
sl@0:         BOOST_PP_TUPLE_ELEM(2,0,range), BOOST_PP_TUPLE_ELEM(2,1,range) \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTOR \
sl@0:       , (class_,base,combinations,BOOST_PP_TUPLE_ELEM(2,1,range)) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTORS(class_,base,args,combinations) \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTORS0( \
sl@0:         class_, base, args, combinations, BOOST_PARAMETER_ARITY_RANGE(args) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_CONSTRUCTOR_AUX(class_, base, tag_namespace, args) \
sl@0:     BOOST_PARAMETER_FUNCTION_PARAMETERS(tag_namespace, ctor, args)          \
sl@0:         BOOST_PP_CAT(constructor_parameters, __LINE__); \
sl@0: \
sl@0:     BOOST_PARAMETER_FUNCTION_FWD_CONSTRUCTORS( \
sl@0:         class_, base, args \
sl@0:       , BOOST_PARAMETER_FUNCTION_FWD_COMBINATIONS(args) \
sl@0:     ) \
sl@0: /**/
sl@0: 
sl@0: # define BOOST_PARAMETER_CONSTRUCTOR(class_, base, tag_namespace, args) \
sl@0:     BOOST_PARAMETER_CONSTRUCTOR_AUX( \
sl@0:         class_, base, tag_namespace \
sl@0:       , BOOST_PARAMETER_FLATTEN(2, 2, 3, args) \
sl@0:     )
sl@0: /**/
sl@0: 
sl@0: # ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
sl@0: #  define BOOST_PARAMETER_FUNCTION_FWD_COMBINATION(r, _, i, elem) \
sl@0:     (BOOST_PP_IF( \
sl@0:         BOOST_PARAMETER_FUNCTION_IS_KEYWORD_QUALIFIER( \
sl@0:             BOOST_PARAMETER_FN_ARG_NAME(elem) \
sl@0:         ) \
sl@0:       , (const ParameterArgumentType ## i)(ParameterArgumentType ## i) \
sl@0:       , (const ParameterArgumentType ## i) \
sl@0:     ))
sl@0: // MSVC6.5 lets us bind rvalues to T&.
sl@0: # elif BOOST_WORKAROUND(BOOST_MSVC, < 1300)
sl@0: #  define BOOST_PARAMETER_FUNCTION_FWD_COMBINATION(r, _, i, elem) \
sl@0:     (BOOST_PP_IF( \
sl@0:         BOOST_PARAMETER_FUNCTION_IS_KEYWORD_QUALIFIER( \
sl@0:             BOOST_PARAMETER_FN_ARG_NAME(elem) \
sl@0:         ) \
sl@0:       , (ParameterArgumentType ## i) \
sl@0:       , (const ParameterArgumentType ## i) \
sl@0:     ))
sl@0: // No partial ordering. This feature doesn't work.
sl@0: // This is exactly the same as for VC6.5, but we might change it later.
sl@0: # else
sl@0: #  define BOOST_PARAMETER_FUNCTION_FWD_COMBINATION(r, _, i, elem) \
sl@0:     (BOOST_PP_IF( \
sl@0:         BOOST_PARAMETER_FUNCTION_IS_KEYWORD_QUALIFIER( \
sl@0:             BOOST_PARAMETER_FN_ARG_NAME(elem) \
sl@0:         ) \
sl@0:       , (ParameterArgumentType ## i) \
sl@0:       , (const ParameterArgumentType ## i) \
sl@0:     ))
sl@0: # endif
sl@0: 
sl@0: # define BOOST_PARAMETER_FUNCTION_FWD_COMBINATIONS(args) \
sl@0:     BOOST_PP_SEQ_FOR_EACH_I(BOOST_PARAMETER_FUNCTION_FWD_COMBINATION, ~, args)
sl@0: 
sl@0: #endif // BOOST_PARAMETER_PREPROCESSOR_060206_HPP
sl@0: