1 | |
2 | // Copyright Aleksey Gurtovoy 2001-2004 |
3 | // Copyright David Abrahams 2001-2002 |
4 | // |
5 | // Distributed under the Boost Software License, Version 1.0. |
6 | // (See accompanying file LICENSE_1_0.txt or copy at |
7 | // http://www.boost.org/LICENSE_1_0.txt) |
8 | // |
9 | |
10 | // Preprocessed version of "boost/mpl/aux_/iter_fold_if_impl.hpp" header |
11 | // -- DO NOT modify by hand! |
12 | |
13 | namespace boost { namespace mpl { namespace aux { |
14 | |
15 | template< typename Iterator, typename State > |
16 | struct iter_fold_if_null_step |
17 | { |
18 | typedef State state; |
19 | typedef Iterator iterator; |
20 | }; |
21 | |
22 | template< bool > |
23 | struct iter_fold_if_step_impl |
24 | { |
25 | template< |
26 | typename Iterator |
27 | , typename State |
28 | , typename StateOp |
29 | , typename IteratorOp |
30 | > |
31 | struct result_ |
32 | { |
33 | typedef typename apply2< StateOp,State,Iterator >::type state; |
34 | typedef typename IteratorOp::type iterator; |
35 | }; |
36 | }; |
37 | |
38 | template<> |
39 | struct iter_fold_if_step_impl<false> |
40 | { |
41 | template< |
42 | typename Iterator |
43 | , typename State |
44 | , typename StateOp |
45 | , typename IteratorOp |
46 | > |
47 | struct result_ |
48 | { |
49 | typedef State state; |
50 | typedef Iterator iterator; |
51 | }; |
52 | }; |
53 | |
54 | template< |
55 | typename Iterator |
56 | , typename State |
57 | , typename ForwardOp |
58 | , typename Predicate |
59 | > |
60 | struct iter_fold_if_forward_step |
61 | { |
62 | typedef typename apply2< Predicate,State,Iterator >::type not_last; |
63 | typedef typename iter_fold_if_step_impl< |
64 | BOOST_MPL_AUX_MSVC_VALUE_WKND(not_last)::value |
65 | >::template result_< Iterator,State,ForwardOp, mpl::next<Iterator> > impl_; |
66 | |
67 | typedef typename impl_::state state; |
68 | typedef typename impl_::iterator iterator; |
69 | }; |
70 | |
71 | template< |
72 | typename Iterator |
73 | , typename State |
74 | , typename BackwardOp |
75 | , typename Predicate |
76 | > |
77 | struct iter_fold_if_backward_step |
78 | { |
79 | typedef typename apply2< Predicate,State,Iterator >::type not_last; |
80 | typedef typename iter_fold_if_step_impl< |
81 | BOOST_MPL_AUX_MSVC_VALUE_WKND(not_last)::value |
82 | >::template result_< Iterator,State,BackwardOp, identity<Iterator> > impl_; |
83 | |
84 | typedef typename impl_::state state; |
85 | typedef typename impl_::iterator iterator; |
86 | }; |
87 | |
88 | template< |
89 | typename Iterator |
90 | , typename State |
91 | , typename ForwardOp |
92 | , typename ForwardPredicate |
93 | , typename BackwardOp |
94 | , typename BackwardPredicate |
95 | > |
96 | struct iter_fold_if_impl |
97 | { |
98 | private: |
99 | typedef iter_fold_if_null_step< Iterator,State > forward_step0; |
100 | typedef iter_fold_if_forward_step< typename forward_step0::iterator, typename forward_step0::state, ForwardOp, ForwardPredicate > forward_step1; |
101 | typedef iter_fold_if_forward_step< typename forward_step1::iterator, typename forward_step1::state, ForwardOp, ForwardPredicate > forward_step2; |
102 | typedef iter_fold_if_forward_step< typename forward_step2::iterator, typename forward_step2::state, ForwardOp, ForwardPredicate > forward_step3; |
103 | typedef iter_fold_if_forward_step< typename forward_step3::iterator, typename forward_step3::state, ForwardOp, ForwardPredicate > forward_step4; |
104 | |
105 | |
106 | typedef typename if_< |
107 | typename forward_step4::not_last |
108 | , iter_fold_if_impl< |
109 | typename forward_step4::iterator |
110 | , typename forward_step4::state |
111 | , ForwardOp |
112 | , ForwardPredicate |
113 | , BackwardOp |
114 | , BackwardPredicate |
115 | > |
116 | , iter_fold_if_null_step< |
117 | typename forward_step4::iterator |
118 | , typename forward_step4::state |
119 | > |
120 | >::type backward_step4; |
121 | |
122 | typedef iter_fold_if_backward_step< typename forward_step3::iterator, typename backward_step4::state, BackwardOp, BackwardPredicate > backward_step3; |
123 | typedef iter_fold_if_backward_step< typename forward_step2::iterator, typename backward_step3::state, BackwardOp, BackwardPredicate > backward_step2; |
124 | typedef iter_fold_if_backward_step< typename forward_step1::iterator, typename backward_step2::state, BackwardOp, BackwardPredicate > backward_step1; |
125 | typedef iter_fold_if_backward_step< typename forward_step0::iterator, typename backward_step1::state, BackwardOp, BackwardPredicate > backward_step0; |
126 | |
127 | |
128 | public: |
129 | typedef typename backward_step0::state state; |
130 | typedef typename backward_step4::iterator iterator; |
131 | }; |
132 | |
133 | }}} |
134 | |