Chris@16: 
Chris@16: #ifndef BOOST_MPL_ITER_FOLD_IF_HPP_INCLUDED
Chris@16: #define BOOST_MPL_ITER_FOLD_IF_HPP_INCLUDED
Chris@16: 
Chris@16: // Copyright Aleksey Gurtovoy 2003-2004
Chris@16: // Copyright Eric Friedman 2003
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/begin_end.hpp>
Chris@16: #include <boost/mpl/logical.hpp>
Chris@16: #include <boost/mpl/always.hpp>
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: #include <boost/mpl/if.hpp>
Chris@16: #include <boost/mpl/pair.hpp>
Chris@16: #include <boost/mpl/apply.hpp>
Chris@16: #include <boost/mpl/aux_/iter_fold_if_impl.hpp>
Chris@16: #include <boost/mpl/aux_/na_spec.hpp>
Chris@16: #include <boost/mpl/aux_/lambda_support.hpp>
Chris@16: #include <boost/mpl/aux_/config/forwarding.hpp>
Chris@16: #include <boost/mpl/aux_/config/workaround.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: 
Chris@16: namespace boost { namespace mpl {
Chris@16: 
Chris@16: namespace aux {
Chris@16: 
Chris@16: template< typename Predicate, typename LastIterator >
Chris@16: struct iter_fold_if_pred
Chris@16: {
Chris@16:     template< typename State, typename Iterator > struct apply
Chris@16: #if !defined(BOOST_MPL_CFG_NO_NESTED_FORWARDING)
Chris@16:         : and_<
Chris@16:               not_< is_same<Iterator,LastIterator> >
Chris@16:             , apply1<Predicate,Iterator>
Chris@16:             >
Chris@16:     {
Chris@16: #else
Chris@16:     {
Chris@16:         typedef and_<
Chris@16:               not_< is_same<Iterator,LastIterator> >
Chris@16:             , apply1<Predicate,Iterator>
Chris@16:             > type;
Chris@16: #endif
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: } // namespace aux
Chris@16: 
Chris@16: template<
Chris@16:       typename BOOST_MPL_AUX_NA_PARAM(Sequence)
Chris@16:     , typename BOOST_MPL_AUX_NA_PARAM(State)
Chris@16:     , typename BOOST_MPL_AUX_NA_PARAM(ForwardOp)
Chris@16:     , typename BOOST_MPL_AUX_NA_PARAM(ForwardPredicate)
Chris@16:     , typename BOOST_MPL_AUX_NA_PARAM(BackwardOp)
Chris@16:     , typename BOOST_MPL_AUX_NA_PARAM(BackwardPredicate)
Chris@16:     >
Chris@16: struct iter_fold_if
Chris@16: {
Chris@16: 
Chris@16:     typedef typename begin<Sequence>::type first_;
Chris@16:     typedef typename end<Sequence>::type last_;
Chris@16: 
Chris@16:     typedef typename eval_if<
Chris@16:           is_na<BackwardPredicate>
Chris@16:         , if_< is_na<BackwardOp>, always<false_>, always<true_> >
Chris@16:         , identity<BackwardPredicate>
Chris@16:         >::type backward_pred_;
Chris@16: 
Chris@16: // cwpro8 doesn't like 'cut-off' type here (use typedef instead)
Chris@16: #if !BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3003)) && !BOOST_WORKAROUND(__IBMCPP__, BOOST_TESTED_AT(600))
Chris@16:     struct result_ :
Chris@16: #else
Chris@16:     typedef
Chris@16: #endif
Chris@16:         aux::iter_fold_if_impl<
Chris@16:           first_
Chris@16:         , State
Chris@16:         , ForwardOp
Chris@16:         , protect< aux::iter_fold_if_pred< ForwardPredicate,last_ > >
Chris@16:         , BackwardOp
Chris@16:         , backward_pred_
Chris@16:         >
Chris@16: #if !BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3003)) && !BOOST_WORKAROUND(__IBMCPP__, BOOST_TESTED_AT(600))
Chris@16:     { };
Chris@16: #else
Chris@16:     result_;
Chris@16: #endif
Chris@16: 
Chris@16: public:
Chris@16: 
Chris@16:     typedef pair<
Chris@16:           typename result_::state
Chris@16:         , typename result_::iterator
Chris@16:         > type;
Chris@16: 
Chris@16:     BOOST_MPL_AUX_LAMBDA_SUPPORT(
Chris@16:           6
Chris@16:         , iter_fold_if
Chris@16:         , (Sequence,State,ForwardOp,ForwardPredicate,BackwardOp,BackwardPredicate)
Chris@16:         )
Chris@16: };
Chris@16: 
Chris@16: BOOST_MPL_AUX_NA_SPEC(6, iter_fold_if)
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@16: #endif // BOOST_MPL_ITER_FOLD_IF_HPP_INCLUDED