Chris@16: 
Chris@16: // NO INCLUDE GUARDS, THE HEADER IS INTENDED FOR MULTIPLE INCLUSION
Chris@16: 
Chris@16: #if !defined(BOOST_PP_IS_ITERATING)
Chris@16: 
Chris@16: // Copyright Aleksey Gurtovoy 2000-2004
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. 
Chris@16: // (See accompanying file LICENSE_1_0.txt or copy at 
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // See http://www.boost.org/libs/mpl for documentation.
Chris@16: 
Chris@101: // $Id$
Chris@101: // $Date$
Chris@101: // $Revision$
Chris@16: 
Chris@16: #   include <boost/mpl/limits/unrolling.hpp>
Chris@16: #   include <boost/mpl/aux_/preprocessor/repeat.hpp>
Chris@16: #   include <boost/mpl/aux_/config/workaround.hpp>
Chris@16: #   include <boost/mpl/aux_/config/ctps.hpp>
Chris@16: #   include <boost/mpl/aux_/nttp_decl.hpp>
Chris@16: #   include <boost/mpl/aux_/config/eti.hpp>
Chris@16: 
Chris@16: #   include <boost/preprocessor/iterate.hpp>
Chris@16: #   include <boost/preprocessor/dec.hpp>
Chris@16: #   include <boost/preprocessor/cat.hpp>
Chris@16: 
Chris@16: // local macros, #undef-ined at the end of the header
Chris@16: 
Chris@16: #   define AUX778076_ITER_FOLD_STEP(unused, i, unused2) \
Chris@16:     typedef typename apply2< \
Chris@16:           ForwardOp \
Chris@16:         , BOOST_PP_CAT(state,i) \
Chris@16:         , AUX778076_FOLD_IMPL_OP(BOOST_PP_CAT(iter,i)) \
Chris@16:         >::type BOOST_PP_CAT(state,BOOST_PP_INC(i)); \
Chris@16:     typedef typename mpl::next<BOOST_PP_CAT(iter,i)>::type \
Chris@16:         BOOST_PP_CAT(iter,BOOST_PP_INC(i)); \
Chris@16:     /**/
Chris@16: 
Chris@16: #   define AUX778076_FOLD_IMPL_NAME \
Chris@16:     BOOST_PP_CAT(AUX778076_FOLD_IMPL_NAME_PREFIX,_impl) \
Chris@16:     /**/
Chris@16: 
Chris@16: #   define AUX778076_FOLD_CHUNK_NAME \
Chris@16:     BOOST_PP_CAT(AUX778076_FOLD_IMPL_NAME_PREFIX,_chunk) \
Chris@16:     /**/
Chris@16: 
Chris@16: namespace boost { namespace mpl { namespace aux {
Chris@16: 
Chris@16: /// forward declaration
Chris@16: template<
Chris@16:       BOOST_MPL_AUX_NTTP_DECL(int, N)
Chris@16:     , typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct AUX778076_FOLD_IMPL_NAME;
Chris@16: 
Chris@16: #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
Chris@16: 
Chris@16: #   if !BOOST_WORKAROUND(__BORLANDC__, < 0x600)
Chris@16: 
Chris@16: #   define BOOST_PP_ITERATION_PARAMS_1 \
Chris@16:     (3,(0, BOOST_MPL_LIMIT_UNROLLING, <boost/mpl/aux_/fold_impl_body.hpp>))
Chris@16: #   include BOOST_PP_ITERATE()
Chris@16: 
Chris@16: // implementation for N that exceeds BOOST_MPL_LIMIT_UNROLLING
Chris@16: template<
Chris@16:       BOOST_MPL_AUX_NTTP_DECL(int, N)
Chris@16:     , typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct AUX778076_FOLD_IMPL_NAME
Chris@16: {
Chris@16:     typedef AUX778076_FOLD_IMPL_NAME<
Chris@16:           BOOST_MPL_LIMIT_UNROLLING
Chris@16:         , First
Chris@16:         , Last
Chris@16:         , State
Chris@16:         , ForwardOp
Chris@16:         > chunk_;
Chris@16: 
Chris@16:     typedef AUX778076_FOLD_IMPL_NAME<
Chris@16:           ( (N - BOOST_MPL_LIMIT_UNROLLING) < 0 ? 0 : N - BOOST_MPL_LIMIT_UNROLLING )
Chris@16:         , typename chunk_::iterator
Chris@16:         , Last
Chris@16:         , typename chunk_::state
Chris@16:         , ForwardOp
Chris@16:         > res_;
Chris@16:         
Chris@16:     typedef typename res_::state state;
Chris@16:     typedef typename res_::iterator iterator;
Chris@16: };
Chris@16: 
Chris@16: // fallback implementation for sequences of unknown size
Chris@16: template<
Chris@16:       typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct AUX778076_FOLD_IMPL_NAME<-1,First,Last,State,ForwardOp>
Chris@16:     : AUX778076_FOLD_IMPL_NAME<
Chris@16:           -1
Chris@16:         , typename mpl::next<First>::type
Chris@16:         , Last
Chris@16:         , typename apply2<ForwardOp,State,AUX778076_FOLD_IMPL_OP(First)>::type
Chris@16:         , ForwardOp
Chris@16:         >
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template<
Chris@16:       typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct AUX778076_FOLD_IMPL_NAME<-1,Last,Last,State,ForwardOp>
Chris@16: {
Chris@16:     typedef State state;
Chris@16:     typedef Last iterator;
Chris@16: };
Chris@16: 
Chris@16: #   else // BOOST_WORKAROUND(__BORLANDC__, < 0x600)
Chris@16: 
Chris@16: // Borland have some serious problems with the unrolled version, so
Chris@16: // we always use a basic implementation
Chris@16: template<
Chris@16:       BOOST_MPL_AUX_NTTP_DECL(int, N)
Chris@16:     , typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct AUX778076_FOLD_IMPL_NAME
Chris@16: {
Chris@16:     typedef AUX778076_FOLD_IMPL_NAME<
Chris@16:           -1
Chris@16:         , typename mpl::next<First>::type
Chris@16:         , Last
Chris@16:         , typename apply2<ForwardOp,State,AUX778076_FOLD_IMPL_OP(First)>::type
Chris@16:         , ForwardOp
Chris@16:         > res_;
Chris@16: 
Chris@16:     typedef typename res_::state state;
Chris@16:     typedef typename res_::iterator iterator;
Chris@16:     typedef state type;
Chris@16: };
Chris@16: 
Chris@16: template<
Chris@16:       BOOST_MPL_AUX_NTTP_DECL(int, N)
Chris@16:      , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct AUX778076_FOLD_IMPL_NAME<N,Last,Last,State,ForwardOp >
Chris@16: {
Chris@16:     typedef State state;
Chris@16:     typedef Last iterator;
Chris@16:     typedef state type;
Chris@16: };
Chris@16: 
Chris@16: #   endif // BOOST_WORKAROUND(__BORLANDC__, < 0x600)
Chris@16:  
Chris@16: #else // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
Chris@16: 
Chris@16: template< BOOST_MPL_AUX_NTTP_DECL(int, N) >
Chris@16: struct AUX778076_FOLD_CHUNK_NAME;
Chris@16: 
Chris@16: #   define BOOST_PP_ITERATION_PARAMS_1 \
Chris@16:     (3,(0, BOOST_MPL_LIMIT_UNROLLING, <boost/mpl/aux_/fold_impl_body.hpp>))
Chris@16: #   include BOOST_PP_ITERATE()
Chris@16: 
Chris@16: // implementation for N that exceeds BOOST_MPL_LIMIT_UNROLLING
Chris@16: template< BOOST_MPL_AUX_NTTP_DECL(int, N) > 
Chris@16: struct AUX778076_FOLD_CHUNK_NAME
Chris@16: {
Chris@16:     template<
Chris@16:           typename First
Chris@16:         , typename Last
Chris@16:         , typename State
Chris@16:         , typename ForwardOp
Chris@16:         > 
Chris@16:     struct result_
Chris@16:     {
Chris@16:         typedef AUX778076_FOLD_IMPL_NAME<
Chris@16:               BOOST_MPL_LIMIT_UNROLLING
Chris@16:             , First
Chris@16:             , Last
Chris@16:             , State
Chris@16:             , ForwardOp
Chris@16:             > chunk_;
Chris@16: 
Chris@16:         typedef AUX778076_FOLD_IMPL_NAME<
Chris@16:               ( (N - BOOST_MPL_LIMIT_UNROLLING) < 0 ? 0 : N - BOOST_MPL_LIMIT_UNROLLING )
Chris@16:             , typename chunk_::iterator
Chris@16:             , Last
Chris@16:             , typename chunk_::state
Chris@16:             , ForwardOp
Chris@16:             > res_;
Chris@16: 
Chris@16:         typedef typename res_::state state;
Chris@16:         typedef typename res_::iterator iterator;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: // fallback implementation for sequences of unknown size
Chris@16: template<
Chris@16:       typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct BOOST_PP_CAT(AUX778076_FOLD_IMPL_NAME_PREFIX,_step);
Chris@16: 
Chris@16: template<
Chris@16:       typename Last
Chris@16:     , typename State
Chris@16:     >
Chris@16: struct BOOST_PP_CAT(AUX778076_FOLD_IMPL_NAME_PREFIX,_null_step)
Chris@16: {
Chris@16:     typedef Last iterator;
Chris@16:     typedef State state;
Chris@16: };
Chris@16: 
Chris@16: template<> 
Chris@16: struct AUX778076_FOLD_CHUNK_NAME<-1>
Chris@16: {
Chris@16:     template<
Chris@16:           typename First
Chris@16:         , typename Last
Chris@16:         , typename State
Chris@16:         , typename ForwardOp
Chris@16:         > 
Chris@16:     struct result_
Chris@16:     {
Chris@16:         typedef typename if_<
Chris@16:               typename is_same<First,Last>::type
Chris@16:             , BOOST_PP_CAT(AUX778076_FOLD_IMPL_NAME_PREFIX,_null_step)<Last,State>
Chris@16:             , BOOST_PP_CAT(AUX778076_FOLD_IMPL_NAME_PREFIX,_step)<First,Last,State,ForwardOp>
Chris@16:             >::type res_;
Chris@16: 
Chris@16:         typedef typename res_::state state;
Chris@16:         typedef typename res_::iterator iterator;
Chris@16:     };
Chris@16: 
Chris@16: #if defined(BOOST_MPL_CFG_MSVC_60_ETI_BUG)
Chris@16:     /// ETI workaround
Chris@16:     template<> struct result_<int,int,int,int>
Chris@16:     {
Chris@16:         typedef int state;
Chris@16:         typedef int iterator;
Chris@16:     };
Chris@16: #endif
Chris@16: };
Chris@16: 
Chris@16: template<
Chris@16:       typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct BOOST_PP_CAT(AUX778076_FOLD_IMPL_NAME_PREFIX,_step)
Chris@16: {
Chris@16:     // can't inherit here - it breaks MSVC 7.0
Chris@16:     typedef AUX778076_FOLD_CHUNK_NAME<-1>::template result_<
Chris@16:           typename mpl::next<First>::type
Chris@16:         , Last
Chris@16:         , typename apply2<ForwardOp,State,AUX778076_FOLD_IMPL_OP(First)>::type
Chris@16:         , ForwardOp
Chris@16:         > chunk_;
Chris@16: 
Chris@16:     typedef typename chunk_::state state;
Chris@16:     typedef typename chunk_::iterator iterator;
Chris@16: };
Chris@16: 
Chris@16: template<
Chris@16:       BOOST_MPL_AUX_NTTP_DECL(int, N)
Chris@16:     , typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     > 
Chris@16: struct AUX778076_FOLD_IMPL_NAME
Chris@16:     : AUX778076_FOLD_CHUNK_NAME<N>
Chris@16:         ::template result_<First,Last,State,ForwardOp>
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
Chris@16: 
Chris@16: }}}
Chris@16: 
Chris@16: #   undef AUX778076_FOLD_IMPL_NAME
Chris@16: #   undef AUX778076_FOLD_CHUNK_NAME
Chris@16: #   undef AUX778076_ITER_FOLD_STEP
Chris@16: 
Chris@16: #undef AUX778076_FOLD_IMPL_OP
Chris@16: #undef AUX778076_FOLD_IMPL_NAME_PREFIX
Chris@16: 
Chris@16: ///// iteration
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: #   define n_ BOOST_PP_FRAME_ITERATION(1)
Chris@16: 
Chris@16: #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
Chris@16: 
Chris@16: template<
Chris@16:       typename First
Chris@16:     , typename Last
Chris@16:     , typename State
Chris@16:     , typename ForwardOp
Chris@16:     >
Chris@16: struct AUX778076_FOLD_IMPL_NAME<n_,First,Last,State,ForwardOp>
Chris@16: {
Chris@16:     typedef First iter0;
Chris@16:     typedef State state0;
Chris@16: 
Chris@16:     BOOST_MPL_PP_REPEAT(n_, AUX778076_ITER_FOLD_STEP, unused)
Chris@16: 
Chris@16:     typedef BOOST_PP_CAT(state,n_) state;
Chris@16:     typedef BOOST_PP_CAT(iter,n_) iterator;
Chris@16: };
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: template<> struct AUX778076_FOLD_CHUNK_NAME<n_>
Chris@16: {
Chris@16:     template<
Chris@16:           typename First
Chris@16:         , typename Last
Chris@16:         , typename State
Chris@16:         , typename ForwardOp
Chris@16:         >
Chris@16:     struct result_
Chris@16:     {
Chris@16:         typedef First iter0;
Chris@16:         typedef State state0;
Chris@16: 
Chris@16:         BOOST_MPL_PP_REPEAT(n_, AUX778076_ITER_FOLD_STEP, unused)
Chris@16: 
Chris@16:         typedef BOOST_PP_CAT(state,n_) state;
Chris@16:         typedef BOOST_PP_CAT(iter,n_) iterator;
Chris@16:     };
Chris@16: 
Chris@16: #if defined(BOOST_MPL_CFG_MSVC_60_ETI_BUG)
Chris@16:     /// ETI workaround
Chris@16:     template<> struct result_<int,int,int,int>
Chris@16:     {
Chris@16:         typedef int state;
Chris@16:         typedef int iterator;
Chris@16:     };
Chris@16: #endif
Chris@16: };
Chris@16: 
Chris@16: #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
Chris@16: 
Chris@16: #   undef n_
Chris@16: 
Chris@16: #endif // BOOST_PP_IS_ITERATING