williamr@2: 
williamr@2: #if !defined(BOOST_PP_IS_ITERATING)
williamr@2: 
williamr@2: ///// header body
williamr@2: 
williamr@2: #ifndef BOOST_MPL_AUX_TEMPLATE_ARITY_HPP_INCLUDED
williamr@2: #define BOOST_MPL_AUX_TEMPLATE_ARITY_HPP_INCLUDED
williamr@2: 
williamr@2: // Copyright Aleksey Gurtovoy 2001-2004
williamr@2: //
williamr@2: // Distributed under the Boost Software License, Version 1.0. 
williamr@2: // (See accompanying file LICENSE_1_0.txt or copy at 
williamr@2: // http://www.boost.org/LICENSE_1_0.txt)
williamr@2: //
williamr@2: // See http://www.boost.org/libs/mpl for documentation.
williamr@2: 
williamr@2: // $Source: /cvsroot/boost/boost/boost/mpl/aux_/template_arity.hpp,v $
williamr@2: // $Date: 2004/09/07 12:24:48 $
williamr@2: // $Revision: 1.11 $
williamr@2: 
williamr@2: #include <boost/mpl/aux_/config/ttp.hpp>
williamr@2: #include <boost/mpl/aux_/config/lambda.hpp>
williamr@2: 
williamr@2: #if !defined(BOOST_MPL_PREPROCESSING_MODE)
williamr@2: #   include <boost/mpl/aux_/template_arity_fwd.hpp>
williamr@2: #   include <boost/mpl/int.hpp>
williamr@2: #   if !defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT)
williamr@2: #   if defined(BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING)
williamr@2: #       include <boost/mpl/aux_/type_wrapper.hpp>
williamr@2: #   endif
williamr@2: #   else
williamr@2: #       include <boost/mpl/aux_/has_rebind.hpp>
williamr@2: #   endif
williamr@2: #endif
williamr@2: 
williamr@2: #include <boost/mpl/aux_/config/static_constant.hpp>
williamr@2: #include <boost/mpl/aux_/config/use_preprocessed.hpp>
williamr@2: 
williamr@2: #if !defined(BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS) \
williamr@2:     && !defined(BOOST_MPL_PREPROCESSING_MODE)
williamr@2: 
williamr@2: #   define BOOST_MPL_PREPROCESSED_HEADER template_arity.hpp
williamr@2: #   include <boost/mpl/aux_/include_preprocessed.hpp>
williamr@2: 
williamr@2: #else
williamr@2: 
williamr@2: #   if !defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT)
williamr@2: #   if defined(BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING)
williamr@2: 
williamr@2: #   include <boost/mpl/limits/arity.hpp>
williamr@2: #   include <boost/mpl/aux_/preprocessor/range.hpp>
williamr@2: #   include <boost/mpl/aux_/preprocessor/repeat.hpp>
williamr@2: #   include <boost/mpl/aux_/preprocessor/params.hpp>
williamr@2: #   include <boost/mpl/aux_/nttp_decl.hpp>
williamr@2: 
williamr@2: #   include <boost/preprocessor/seq/fold_left.hpp>
williamr@2: #   include <boost/preprocessor/comma_if.hpp>
williamr@2: #   include <boost/preprocessor/iterate.hpp>
williamr@2: #   include <boost/preprocessor/inc.hpp>
williamr@2: #   include <boost/preprocessor/cat.hpp>
williamr@2: 
williamr@2: #   define AUX778076_ARITY BOOST_PP_INC(BOOST_MPL_LIMIT_METAFUNCTION_ARITY)
williamr@2: 
williamr@2: namespace boost { namespace mpl { namespace aux {
williamr@2: 
williamr@2: template< BOOST_MPL_AUX_NTTP_DECL(int, N) > struct arity_tag
williamr@2: {
williamr@2:     typedef char (&type)[N + 1];
williamr@2: };
williamr@2: 
williamr@2: #   define AUX778076_MAX_ARITY_OP(unused, state, i_) \
williamr@2:     ( BOOST_PP_CAT(C,i_) > 0 ? BOOST_PP_CAT(C,i_) : state ) \
williamr@2: /**/
williamr@2: 
williamr@2: template<
williamr@2:       BOOST_MPL_PP_PARAMS(AUX778076_ARITY, BOOST_MPL_AUX_NTTP_DECL(int, C))
williamr@2:     >
williamr@2: struct max_arity
williamr@2: {
williamr@2:     BOOST_STATIC_CONSTANT(int, value = 
williamr@2:           BOOST_PP_SEQ_FOLD_LEFT(
williamr@2:               AUX778076_MAX_ARITY_OP
williamr@2:             , -1
williamr@2:             , BOOST_MPL_PP_RANGE(1, AUX778076_ARITY)
williamr@2:             )
williamr@2:         );
williamr@2: };
williamr@2: 
williamr@2: #   undef AUX778076_MAX_ARITY_OP
williamr@2: 
williamr@2: arity_tag<0>::type arity_helper(...);
williamr@2: 
williamr@2: #   define BOOST_PP_ITERATION_LIMITS (1, AUX778076_ARITY)
williamr@2: #   define BOOST_PP_FILENAME_1 <boost/mpl/aux_/template_arity.hpp>
williamr@2: #   include BOOST_PP_ITERATE()
williamr@2: 
williamr@2: template< typename F, BOOST_MPL_AUX_NTTP_DECL(int, N) >
williamr@2: struct template_arity_impl
williamr@2: {
williamr@2:     BOOST_STATIC_CONSTANT(int, value = 
williamr@2:           sizeof(arity_helper(type_wrapper<F>(),arity_tag<N>())) - 1
williamr@2:         );
williamr@2: };
williamr@2: 
williamr@2: #   define AUX778076_TEMPLATE_ARITY_IMPL_INVOCATION(unused, i_, F) \
williamr@2:     BOOST_PP_COMMA_IF(i_) template_arity_impl<F,BOOST_PP_INC(i_)>::value \
williamr@2: /**/
williamr@2: 
williamr@2: template< typename F >
williamr@2: struct template_arity
williamr@2: {
williamr@2:     BOOST_STATIC_CONSTANT(int, value = (
williamr@2:           max_arity< BOOST_MPL_PP_REPEAT(
williamr@2:               AUX778076_ARITY
williamr@2:             , AUX778076_TEMPLATE_ARITY_IMPL_INVOCATION
williamr@2:             , F
williamr@2:             ) >::value
williamr@2:         ));
williamr@2:         
williamr@2:     typedef mpl::int_<value> type;
williamr@2: };
williamr@2: 
williamr@2: #   undef AUX778076_TEMPLATE_ARITY_IMPL_INVOCATION
williamr@2: 
williamr@2: #   undef AUX778076_ARITY
williamr@2: 
williamr@2: }}}
williamr@2: 
williamr@2: #   endif // BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING
williamr@2: #   else // BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT
williamr@2: 
williamr@2: #   include <boost/mpl/aux_/config/eti.hpp>
williamr@2: 
williamr@2: namespace boost { namespace mpl { namespace aux {
williamr@2: 
williamr@2: template< bool >
williamr@2: struct template_arity_impl
williamr@2: {
williamr@2:     template< typename F > struct result_
williamr@2:         : mpl::int_<-1>
williamr@2:     {
williamr@2:     };
williamr@2: };
williamr@2: 
williamr@2: template<>
williamr@2: struct template_arity_impl<true>
williamr@2: {
williamr@2:     template< typename F > struct result_
williamr@2:         : F::arity
williamr@2:     {
williamr@2:     };
williamr@2: };
williamr@2: 
williamr@2: template< typename F >
williamr@2: struct template_arity
williamr@2:     : template_arity_impl< ::boost::mpl::aux::has_rebind<F>::value >
williamr@2:         ::template result_<F>
williamr@2: {
williamr@2: };
williamr@2: 
williamr@2: #if defined(BOOST_MPL_CFG_MSVC_ETI_BUG)
williamr@2: template<>
williamr@2: struct template_arity<int>
williamr@2:     : mpl::int_<-1>
williamr@2: {
williamr@2: };
williamr@2: #endif
williamr@2: 
williamr@2: }}}
williamr@2: 
williamr@2: #   endif // BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT
williamr@2: 
williamr@2: #endif // BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
williamr@2: #endif // BOOST_MPL_AUX_TEMPLATE_ARITY_HPP_INCLUDED
williamr@2: 
williamr@2: ///// iteration
williamr@2: 
williamr@2: #else
williamr@2: #define i_ BOOST_PP_FRAME_ITERATION(1)
williamr@2: 
williamr@2: template<
williamr@2:       template< BOOST_MPL_PP_PARAMS(i_, typename P) > class F
williamr@2:     , BOOST_MPL_PP_PARAMS(i_, typename T)
williamr@2:     >
williamr@2: typename arity_tag<i_>::type
williamr@2: arity_helper(type_wrapper< F<BOOST_MPL_PP_PARAMS(i_, T)> >, arity_tag<i_>);
williamr@2: 
williamr@2: #undef i_
williamr@2: #endif // BOOST_PP_IS_ITERATING