1// (C) Copyright Eric Niebler 2004-2005
2// (C) Copyright Gennadiy Rozental 2001.
3// Distributed under the Boost Software License, Version 1.0.
4// (See accompanying file LICENSE_1_0.txt or copy at
5// http://www.boost.org/LICENSE_1_0.txt)
6
7// See http://www.boost.org/libs/test for the library home page.
8//
9// File : $RCSfile$
10//
11// Version : $Revision$
12//
13// Description : this is an abridged version of an excelent BOOST_FOREACH facility
14// presented by Eric Niebler. I am so fond of it so I can't wait till it
15// going to be accepted into Boost. Also I need version with less number of dependencies
16// and more portable. This version doesn't support rvalues and will reeveluate it's
17// parameters, but should be good enough for my purposes.
18// ***************************************************************************
19
20#ifndef BOOST_TEST_UTILS_FOREACH_HPP
21#define BOOST_TEST_UTILS_FOREACH_HPP
22
23// Boost.Test
24#include <boost/test/detail/config.hpp>
25
26// Boost
27#include <boost/type.hpp>
28#include <boost/mpl/bool.hpp>
29
30#include <boost/type_traits/is_const.hpp>
31
32#include <boost/test/detail/suppress_warnings.hpp>
33
34//____________________________________________________________________________//
35
36namespace boost {
37namespace unit_test {
38namespace for_each {
39
40// ************************************************************************** //
41// ************** static_any ************** //
42// ************************************************************************** //
43
44struct static_any_base
45{
46 operator bool() const { return false; }
47};
48
49//____________________________________________________________________________//
50
51template<typename Iter>
52struct static_any : static_any_base
53{
54 static_any( Iter const& t ) : m_it( t ) {}
55
56 mutable Iter m_it;
57};
58
59//____________________________________________________________________________//
60
61typedef static_any_base const& static_any_t;
62
63//____________________________________________________________________________//
64
65template<typename Iter>
66inline Iter&
67static_any_cast( static_any_t a, Iter* = 0 )
68{
69 return static_cast<Iter&>( static_cast<static_any<Iter> const&>( a ).m_it );
70}
71
72//____________________________________________________________________________//
73
74// ************************************************************************** //
75// ************** is_const ************** //
76// ************************************************************************** //
77
78template<typename C>
79inline is_const<C>
80is_const_coll( C& )
81{
82 return is_const<C>();
83}
84
85//____________________________________________________________________________//
86
87// ************************************************************************** //
88// ************** begin ************** //
89// ************************************************************************** //
90
91template<typename C>
92inline static_any<BOOST_DEDUCED_TYPENAME C::iterator>
93begin( C& t, mpl::false_ )
94{
95 return static_any<BOOST_DEDUCED_TYPENAME C::iterator>( t.begin() );
96}
97
98//____________________________________________________________________________//
99
100template<typename C>
101inline static_any<BOOST_DEDUCED_TYPENAME C::const_iterator>
102begin( C const& t, mpl::true_ )
103{
104 return static_any<BOOST_DEDUCED_TYPENAME C::const_iterator>( t.begin() );
105}
106
107//____________________________________________________________________________//
108
109// ************************************************************************** //
110// ************** end ************** //
111// ************************************************************************** //
112
113template<typename C>
114inline static_any<BOOST_DEDUCED_TYPENAME C::iterator>
115end( C& t, mpl::false_ )
116{
117 return static_any<BOOST_DEDUCED_TYPENAME C::iterator>( t.end() );
118}
119
120//____________________________________________________________________________//
121
122template<typename C>
123inline static_any<BOOST_DEDUCED_TYPENAME C::const_iterator>
124end( C const& t, mpl::true_ )
125{
126 return static_any<BOOST_DEDUCED_TYPENAME C::const_iterator>( t.end() );
127}
128
129//____________________________________________________________________________//
130
131// ************************************************************************** //
132// ************** done ************** //
133// ************************************************************************** //
134
135template<typename C>
136inline bool
137done( static_any_t cur, static_any_t end, C&, mpl::false_ )
138{
139 return static_any_cast<BOOST_DEDUCED_TYPENAME C::iterator>( cur ) ==
140 static_any_cast<BOOST_DEDUCED_TYPENAME C::iterator>( end );
141}
142
143//____________________________________________________________________________//
144
145template<typename C>
146inline bool
147done( static_any_t cur, static_any_t end, C const&, mpl::true_ )
148{
149 return static_any_cast<BOOST_DEDUCED_TYPENAME C::const_iterator>( cur ) ==
150 static_any_cast<BOOST_DEDUCED_TYPENAME C::const_iterator>( end );
151}
152
153//____________________________________________________________________________//
154
155// ************************************************************************** //
156// ************** next ************** //
157// ************************************************************************** //
158
159template<typename C>
160inline void
161next( static_any_t cur, C&, mpl::false_ )
162{
163 ++static_any_cast<BOOST_DEDUCED_TYPENAME C::iterator>( cur );
164}
165
166//____________________________________________________________________________//
167
168template<typename C>
169inline void
170next( static_any_t cur, C const&, mpl::true_ )
171{
172 ++static_any_cast<BOOST_DEDUCED_TYPENAME C::const_iterator>( cur );
173}
174
175//____________________________________________________________________________//
176
177// ************************************************************************** //
178// ************** prev ************** //
179// ************************************************************************** //
180
181template<typename C>
182inline void
183prev( static_any_t cur, C&, mpl::false_ )
184{
185 --static_any_cast<BOOST_DEDUCED_TYPENAME C::iterator>( cur );
186}
187
188//____________________________________________________________________________//
189
190template<typename C>
191inline void
192prev( static_any_t cur, C const&, mpl::true_ )
193{
194 --static_any_cast<BOOST_DEDUCED_TYPENAME C::const_iterator>( cur );
195}
196
197//____________________________________________________________________________//
198
199// ************************************************************************** //
200// ************** deref ************** //
201// ************************************************************************** //
202
203template<class RefType,typename C>
204inline RefType
205deref( static_any_t cur, C&, ::boost::type<RefType>, mpl::false_ )
206{
207 return *static_any_cast<BOOST_DEDUCED_TYPENAME C::iterator>( cur );
208}
209
210//____________________________________________________________________________//
211
212template<class RefType,typename C>
213inline RefType
214deref( static_any_t cur, C const&, ::boost::type<RefType>, mpl::true_ )
215{
216 return *static_any_cast<BOOST_DEDUCED_TYPENAME C::const_iterator>( cur );
217}
218
219//____________________________________________________________________________//
220
221// ************************************************************************** //
222// ************** BOOST_TEST_FOREACH ************** //
223// ************************************************************************** //
224
225#define BOOST_TEST_FE_ANY ::boost::unit_test::for_each::static_any_t
226#define BOOST_TEST_FE_IS_CONST( COL ) ::boost::unit_test::for_each::is_const_coll( COL )
227
228#define BOOST_TEST_FE_BEG( COL ) \
229 ::boost::unit_test::for_each::begin( \
230 COL, \
231 BOOST_TEST_FE_IS_CONST( COL ) ) \
232/**/
233
234#define BOOST_TEST_FE_END( COL ) \
235 ::boost::unit_test::for_each::end( \
236 COL, \
237 BOOST_TEST_FE_IS_CONST( COL ) ) \
238/**/
239
240#define BOOST_TEST_FE_DONE( COL ) \
241 ::boost::unit_test::for_each::done( \
242 BOOST_TEST_FE_CUR_VAR, \
243 BOOST_TEST_FE_END_VAR, \
244 COL, \
245 BOOST_TEST_FE_IS_CONST( COL ) ) \
246/**/
247
248#define BOOST_TEST_FE_NEXT( COL ) \
249 ::boost::unit_test::for_each::next( \
250 BOOST_TEST_FE_CUR_VAR, \
251 COL, \
252 BOOST_TEST_FE_IS_CONST( COL ) ) \
253/**/
254
255#define BOOST_TEST_FE_PREV( COL ) \
256 ::boost::unit_test::for_each::prev( \
257 BOOST_TEST_FE_CUR_VAR, \
258 COL, \
259 BOOST_TEST_FE_IS_CONST( COL ) ) \
260/**/
261
262#define BOOST_FOREACH_NOOP(COL) \
263 ((void)&(COL))
264
265#define BOOST_TEST_FE_DEREF( COL, RefType ) \
266 ::boost::unit_test::for_each::deref( \
267 BOOST_TEST_FE_CUR_VAR, \
268 COL, \
269 ::boost::type<RefType >(), \
270 BOOST_TEST_FE_IS_CONST( COL ) ) \
271/**/
272
273#if BOOST_WORKAROUND( BOOST_MSVC, == 1310 )
274#define BOOST_TEST_LINE_NUM
275#else
276#define BOOST_TEST_LINE_NUM __LINE__
277#endif
278
279#define BOOST_TEST_FE_CUR_VAR BOOST_JOIN( _fe_cur_, BOOST_TEST_LINE_NUM )
280#define BOOST_TEST_FE_END_VAR BOOST_JOIN( _fe_end_, BOOST_TEST_LINE_NUM )
281#define BOOST_TEST_FE_CON_VAR BOOST_JOIN( _fe_con_, BOOST_TEST_LINE_NUM )
282
283#define BOOST_TEST_FOREACH( RefType, var, COL ) \
284if( BOOST_TEST_FE_ANY BOOST_TEST_FE_CUR_VAR = BOOST_TEST_FE_BEG( COL ) ) {} else \
285if( BOOST_TEST_FE_ANY BOOST_TEST_FE_END_VAR = BOOST_TEST_FE_END( COL ) ) {} else \
286for( bool BOOST_TEST_FE_CON_VAR = true; \
287 BOOST_TEST_FE_CON_VAR && !BOOST_TEST_FE_DONE( COL ); \
288 BOOST_TEST_FE_CON_VAR ? BOOST_TEST_FE_NEXT( COL ) : BOOST_FOREACH_NOOP( COL )) \
289 \
290 if( (BOOST_TEST_FE_CON_VAR = false, false) ) {} else \
291 for( RefType var = BOOST_TEST_FE_DEREF( COL, RefType ); \
292 !BOOST_TEST_FE_CON_VAR; BOOST_TEST_FE_CON_VAR = true ) \
293/**/
294
295#define BOOST_TEST_REVERSE_FOREACH( RefType, var, COL ) \
296if( BOOST_TEST_FE_ANY BOOST_TEST_FE_CUR_VAR = BOOST_TEST_FE_END( COL ) ) {} else \
297if( BOOST_TEST_FE_ANY BOOST_TEST_FE_END_VAR = BOOST_TEST_FE_BEG( COL ) ) {} else \
298for( bool BOOST_TEST_FE_CON_VAR = true; \
299 BOOST_TEST_FE_CON_VAR && !BOOST_TEST_FE_DONE( COL ); ) \
300 \
301 if( (BOOST_TEST_FE_CON_VAR = false, false) ) {} else \
302 if( (BOOST_TEST_FE_PREV( COL ), false) ) {} else \
303 for( RefType var = BOOST_TEST_FE_DEREF( COL, RefType ); \
304 !BOOST_TEST_FE_CON_VAR; BOOST_TEST_FE_CON_VAR = true ) \
305/**/
306
307//____________________________________________________________________________//
308
309} // namespace for_each
310} // namespace unit_test
311} // namespace boost
312
313#include <boost/test/detail/enable_warnings.hpp>
314
315#endif // BOOST_TEST_UTILS_FOREACH_HPP
316

source code of include/boost/test/utils/foreach.hpp