source: NonGTP/Boost/boost/mpl/iter_fold_if.hpp @ 857

Revision 857, 3.2 KB checked in by igarcia, 19 years ago (diff)
Line 
1
2#ifndef BOOST_MPL_ITER_FOLD_IF_HPP_INCLUDED
3#define BOOST_MPL_ITER_FOLD_IF_HPP_INCLUDED
4
5// Copyright Aleksey Gurtovoy 2003-2004
6// Copyright Eric Friedman 2003
7//
8// Distributed under the Boost Software License, Version 1.0.
9// (See accompanying file LICENSE_1_0.txt or copy at
10// http://www.boost.org/LICENSE_1_0.txt)
11//
12// See http://www.boost.org/libs/mpl for documentation.
13
14// $Source: /cvsroot/boost/boost/boost/mpl/iter_fold_if.hpp,v $
15// $Date: 2004/09/02 15:40:41 $
16// $Revision: 1.7 $
17
18#include <boost/mpl/begin_end.hpp>
19#include <boost/mpl/logical.hpp>
20#include <boost/mpl/always.hpp>
21#include <boost/mpl/eval_if.hpp>
22#include <boost/mpl/if.hpp>
23#include <boost/mpl/pair.hpp>
24#include <boost/mpl/apply.hpp>
25#include <boost/mpl/aux_/iter_fold_if_impl.hpp>
26#include <boost/mpl/aux_/na_spec.hpp>
27#include <boost/mpl/aux_/lambda_support.hpp>
28#include <boost/mpl/aux_/config/forwarding.hpp>
29#include <boost/mpl/aux_/config/workaround.hpp>
30
31#include <boost/type_traits/is_same.hpp>
32
33namespace boost { namespace mpl {
34
35namespace aux {
36
37template< typename Predicate, typename LastIterator >
38struct iter_fold_if_pred
39{
40    template< typename State, typename Iterator > struct apply
41#if !defined(BOOST_MPL_CFG_NO_NESTED_FORWARDING)
42        : and_<
43              not_< is_same<Iterator,LastIterator> >
44            , apply1<Predicate,Iterator>
45            >
46    {
47#else
48    {
49        typedef and_<
50              not_< is_same<Iterator,LastIterator> >
51            , apply1<Predicate,Iterator>
52            > type;
53#endif
54    };
55};
56
57} // namespace aux
58
59template<
60      typename BOOST_MPL_AUX_NA_PARAM(Sequence)
61    , typename BOOST_MPL_AUX_NA_PARAM(State)
62    , typename BOOST_MPL_AUX_NA_PARAM(ForwardOp)
63    , typename BOOST_MPL_AUX_NA_PARAM(ForwardPredicate)
64    , typename BOOST_MPL_AUX_NA_PARAM(BackwardOp)
65    , typename BOOST_MPL_AUX_NA_PARAM(BackwardPredicate)
66    >
67struct iter_fold_if
68{
69
70    typedef typename begin<Sequence>::type first_;
71    typedef typename end<Sequence>::type last_;
72
73    typedef typename eval_if<
74          is_na<BackwardPredicate>
75        , if_< is_na<BackwardOp>, always<false_>, always<true_> >
76        , identity<BackwardPredicate>
77        >::type backward_pred_;
78
79// cwpro8 doesn't like 'cut-off' type here (use typedef instead)
80#if !BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3003)) && !BOOST_WORKAROUND(__IBMCPP__, BOOST_TESTED_AT(600))
81    struct result_ :
82#else
83    typedef
84#endif
85        aux::iter_fold_if_impl<
86          first_
87        , State
88        , ForwardOp
89        , protect< aux::iter_fold_if_pred< ForwardPredicate,last_ > >
90        , BackwardOp
91        , backward_pred_
92        >
93#if !BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3003)) && !BOOST_WORKAROUND(__IBMCPP__, BOOST_TESTED_AT(600))
94    { };
95#else
96    result_;
97#endif
98
99public:
100
101    typedef pair<
102          typename result_::state
103        , typename result_::iterator
104        > type;
105
106    BOOST_MPL_AUX_LAMBDA_SUPPORT(
107          6
108        , iter_fold_if
109        , (Sequence,State,ForwardOp,ForwardPredicate,BackwardOp,BackwardPredicate)
110        )
111};
112
113BOOST_MPL_AUX_NA_SPEC(6, iter_fold_if)
114
115}}
116
117#endif // BOOST_MPL_ITER_FOLD_IF_HPP_INCLUDED
Note: See TracBrowser for help on using the repository browser.