Chris@16: #if !defined(BOOST_PROTO_DONT_USE_PREPROCESSED_FILES)
Chris@16: 
Chris@16:     #include <boost/proto/transform/detail/preprocessed/fold_impl.hpp>
Chris@16: 
Chris@16: #elif !defined(BOOST_PP_IS_ITERATING)
Chris@16: 
Chris@16:     #define BOOST_PROTO_CHILD_N_TYPE(N)                                                             \
Chris@16:         BOOST_PP_CAT(proto_child, N)                                                                \
Chris@16:         /**/
Chris@16: 
Chris@16:     #define BOOST_PROTO_FOLD_STATE_TYPE(Z, N, DATA)                                                 \
Chris@16:         typedef                                                                                     \
Chris@16:             typename when<_, Fun>::template impl<                                                   \
Chris@16:                 typename result_of::child_c<Expr, N>::type                                          \
Chris@16:               , BOOST_PP_CAT(state, N)                                                              \
Chris@16:               , Data                                                                                \
Chris@16:             >::result_type                                                                          \
Chris@16:         BOOST_PP_CAT(state, BOOST_PP_INC(N));                                                       \
Chris@16:         /**/
Chris@16: 
Chris@16:     #define BOOST_PROTO_FOLD_STATE(Z, N, DATA)                                                      \
Chris@16:         BOOST_PP_CAT(state, BOOST_PP_INC(N))                                                        \
Chris@16:         BOOST_PP_CAT(s, BOOST_PP_INC(N))                                                            \
Chris@16:           = typename when<_, Fun>::template impl<                                                   \
Chris@16:                 typename result_of::child_c<Expr, N>::type                                          \
Chris@16:               , BOOST_PP_CAT(state, N)                                                              \
Chris@16:               , Data                                                                                \
Chris@16:             >()(                                                                                    \
Chris@16:                 proto::child_c<N>(e)                                                                \
Chris@16:               , BOOST_PP_CAT(s, N)                                                                  \
Chris@16:               , d                                                                                   \
Chris@16:             );                                                                                      \
Chris@16:         /**/
Chris@16: 
Chris@16:     #define BOOST_PROTO_REVERSE_FOLD_STATE_TYPE(Z, N, DATA)                                         \
Chris@16:         typedef                                                                                     \
Chris@16:             typename when<_, Fun>::template impl<                                                   \
Chris@16:                 typename result_of::child_c<                                                        \
Chris@16:                     Expr                                                                            \
Chris@16:                   , BOOST_PP_SUB(DATA, BOOST_PP_INC(N))                                             \
Chris@16:                 >::type                                                                             \
Chris@16:               , BOOST_PP_CAT(state, BOOST_PP_SUB(DATA, N))                                          \
Chris@16:               , Data                                                                                \
Chris@16:             >::result_type                                                                          \
Chris@16:         BOOST_PP_CAT(state, BOOST_PP_SUB(DATA, BOOST_PP_INC(N)));                                   \
Chris@16:         /**/
Chris@16: 
Chris@16:     #define BOOST_PROTO_REVERSE_FOLD_STATE(Z, N, DATA)                                              \
Chris@16:         BOOST_PP_CAT(state, BOOST_PP_SUB(DATA, BOOST_PP_INC(N)))                                    \
Chris@16:         BOOST_PP_CAT(s, BOOST_PP_SUB(DATA, BOOST_PP_INC(N)))                                        \
Chris@16:           = typename when<_, Fun>::template impl<                                                   \
Chris@16:                 typename result_of::child_c<                                                        \
Chris@16:                     Expr                                                                            \
Chris@16:                   , BOOST_PP_SUB(DATA, BOOST_PP_INC(N))                                             \
Chris@16:                 >::type                                                                             \
Chris@16:               , BOOST_PP_CAT(state, BOOST_PP_SUB(DATA, N))                                          \
Chris@16:               , Data                                                                                \
Chris@16:             >()(                                                                                    \
Chris@16:                 proto::child_c<BOOST_PP_SUB(DATA, BOOST_PP_INC(N))>(e)                              \
Chris@16:               , BOOST_PP_CAT(s, BOOST_PP_SUB(DATA, N))                                              \
Chris@16:               , d                                                                                   \
Chris@16:             );                                                                                      \
Chris@16:         /**/
Chris@16: 
Chris@16:     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16:         #pragma wave option(preserve: 2, line: 0, output: "preprocessed/fold_impl.hpp")
Chris@16:     #endif
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     /// \file fold_impl.hpp
Chris@16:     /// Contains definition of fold_impl<> and reverse_fold_impl<> templates.
Chris@16:     //
Chris@16:     //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16:     //  Software License, Version 1.0. (See accompanying file
Chris@16:     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16:     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16:         #pragma wave option(preserve: 1)
Chris@16:     #endif
Chris@16: 
Chris@16:     #define BOOST_PP_ITERATION_PARAMS_1                                                             \
Chris@16:         (3, (1, BOOST_PROTO_MAX_ARITY, <boost/proto/transform/detail/fold_impl.hpp>))
Chris@16:     #include BOOST_PP_ITERATE()
Chris@16: 
Chris@16:     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16:         #pragma wave option(output: null)
Chris@16:     #endif
Chris@16: 
Chris@16:     #undef BOOST_PROTO_REVERSE_FOLD_STATE
Chris@16:     #undef BOOST_PROTO_REVERSE_FOLD_STATE_TYPE
Chris@16:     #undef BOOST_PROTO_FOLD_STATE
Chris@16:     #undef BOOST_PROTO_FOLD_STATE_TYPE
Chris@16:     #undef BOOST_PROTO_CHILD_N_TYPE
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16:     #define N BOOST_PP_ITERATION()
Chris@16: 
Chris@16:     template<typename State0, typename Fun, typename Expr, typename State, typename Data>
Chris@16:     struct fold_impl<State0, Fun, Expr, State, Data, N>
Chris@16:       : transform_impl<Expr, State, Data>
Chris@16:     {
Chris@16:         typedef typename when<_, State0>::template impl<Expr, State, Data>::result_type state0;
Chris@16:         BOOST_PP_REPEAT(N, BOOST_PROTO_FOLD_STATE_TYPE, N)
Chris@16:         typedef BOOST_PP_CAT(state, N) result_type;
Chris@16: 
Chris@16:         result_type operator ()(
Chris@16:             typename fold_impl::expr_param e
Chris@16:           , typename fold_impl::state_param s
Chris@16:           , typename fold_impl::data_param d
Chris@16:         ) const
Chris@16:         {
Chris@16:             state0 s0 =
Chris@16:                 typename when<_, State0>::template impl<Expr, State, Data>()(e, s, d);
Chris@16:             BOOST_PP_REPEAT(N, BOOST_PROTO_FOLD_STATE, N)
Chris@16:             return BOOST_PP_CAT(s, N);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template<typename State0, typename Fun, typename Expr, typename State, typename Data>
Chris@16:     struct reverse_fold_impl<State0, Fun, Expr, State, Data, N>
Chris@16:       : transform_impl<Expr, State, Data>
Chris@16:     {
Chris@16:         typedef typename when<_, State0>::template impl<Expr, State, Data>::result_type BOOST_PP_CAT(state, N);
Chris@16:         BOOST_PP_REPEAT(N, BOOST_PROTO_REVERSE_FOLD_STATE_TYPE, N)
Chris@16:         typedef state0 result_type;
Chris@16: 
Chris@16:         result_type operator ()(
Chris@16:             typename reverse_fold_impl::expr_param e
Chris@16:           , typename reverse_fold_impl::state_param s
Chris@16:           , typename reverse_fold_impl::data_param d
Chris@16:         ) const
Chris@16:         {
Chris@16:             BOOST_PP_CAT(state, N) BOOST_PP_CAT(s, N) =
Chris@16:                 typename when<_, State0>::template impl<Expr, State, Data>()(e, s, d);
Chris@16:             BOOST_PP_REPEAT(N, BOOST_PROTO_REVERSE_FOLD_STATE, N)
Chris@16:             return s0;
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     #undef N
Chris@16: 
Chris@16: #endif