2 // Copyright Peter Dimov 2001
\r
3 // Copyright Aleksey Gurtovoy 2001-2004
\r
5 // Distributed under the Boost Software License, Version 1.0.
\r
6 // (See accompanying file LICENSE_1_0.txt or copy at
\r
7 // http://www.boost.org/LICENSE_1_0.txt)
\r
10 // Preprocessed version of "boost/mpl/bind.hpp" header
\r
11 // -- DO NOT modify by hand!
\r
13 namespace boost { namespace mpl {
\r
17 struct resolve_arg_impl
\r
20 typename T, typename U1, typename U2, typename U3
\r
21 , typename U4, typename U5
\r
30 struct resolve_arg_impl<true>
\r
33 typename T, typename U1, typename U2, typename U3
\r
34 , typename U4, typename U5
\r
38 typedef typename apply_wrap5<
\r
40 , U1, U2, U3, U4, U5
\r
45 template< typename T > struct is_bind_template;
\r
48 typename T, typename U1, typename U2, typename U3, typename U4
\r
51 struct resolve_bind_arg
\r
52 : resolve_arg_impl< is_bind_template<T>::value >
\r
53 ::template result_< T,U1,U2,U3,U4,U5 >
\r
57 template< typename T >
\r
58 struct replace_unnamed_arg_impl
\r
60 template< typename Arg > struct result_
\r
68 struct replace_unnamed_arg_impl< arg< -1 > >
\r
70 template< typename Arg > struct result_
\r
72 typedef typename next<Arg>::type next;
\r
77 template< typename T, typename Arg >
\r
78 struct replace_unnamed_arg
\r
79 : replace_unnamed_arg_impl<T>::template result_<Arg>
\r
83 template< int arity_ > struct bind_chooser;
\r
85 aux::no_tag is_bind_helper(...);
\r
86 template< typename T > aux::no_tag is_bind_helper(protect<T>*);
\r
89 aux::yes_tag is_bind_helper(arg<N>*);
\r
91 template< bool is_ref_ = true >
\r
92 struct is_bind_template_impl
\r
94 template< typename T > struct result_
\r
96 BOOST_STATIC_CONSTANT(bool, value = false);
\r
101 struct is_bind_template_impl<false>
\r
103 template< typename T > struct result_
\r
105 BOOST_STATIC_CONSTANT(bool, value =
\r
106 sizeof(aux::is_bind_helper(static_cast<T*>(0)))
\r
107 == sizeof(aux::yes_tag)
\r
112 template< typename T > struct is_bind_template
\r
113 : is_bind_template_impl< ::boost::detail::is_reference_impl<T>::value >
\r
114 ::template result_<T>
\r
126 typename U1 = na, typename U2 = na, typename U3 = na
\r
127 , typename U4 = na, typename U5 = na
\r
132 typedef aux::replace_unnamed_arg< F, mpl::arg<1> > r0;
\r
133 typedef typename r0::type a0;
\r
134 typedef typename r0::next n1;
\r
135 typedef typename aux::resolve_bind_arg< a0,U1,U2,U3,U4,U5 >::type f_;
\r
138 typedef typename apply_wrap0<
\r
151 is_bind_helper(bind0<F>*);
\r
155 BOOST_MPL_AUX_ARITY_SPEC(1, bind0)
\r
156 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(1, bind0)
\r
159 typename F, typename T1
\r
164 typename U1 = na, typename U2 = na, typename U3 = na
\r
165 , typename U4 = na, typename U5 = na
\r
170 typedef aux::replace_unnamed_arg< F, mpl::arg<1> > r0;
\r
171 typedef typename r0::type a0;
\r
172 typedef typename r0::next n1;
\r
173 typedef typename aux::resolve_bind_arg< a0,U1,U2,U3,U4,U5 >::type f_;
\r
175 typedef aux::replace_unnamed_arg< T1,n1 > r1;
\r
176 typedef typename r1::type a1;
\r
177 typedef typename r1::next n2;
\r
178 typedef aux::resolve_bind_arg< a1,U1,U2,U3,U4,U5 > t1;
\r
181 typedef typename apply_wrap1<
\r
183 , typename t1::type
\r
192 typename F, typename T1
\r
195 is_bind_helper(bind1< F,T1 >*);
\r
199 BOOST_MPL_AUX_ARITY_SPEC(2, bind1)
\r
200 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(2, bind1)
\r
203 typename F, typename T1, typename T2
\r
208 typename U1 = na, typename U2 = na, typename U3 = na
\r
209 , typename U4 = na, typename U5 = na
\r
214 typedef aux::replace_unnamed_arg< F, mpl::arg<1> > r0;
\r
215 typedef typename r0::type a0;
\r
216 typedef typename r0::next n1;
\r
217 typedef typename aux::resolve_bind_arg< a0,U1,U2,U3,U4,U5 >::type f_;
\r
219 typedef aux::replace_unnamed_arg< T1,n1 > r1;
\r
220 typedef typename r1::type a1;
\r
221 typedef typename r1::next n2;
\r
222 typedef aux::resolve_bind_arg< a1,U1,U2,U3,U4,U5 > t1;
\r
224 typedef aux::replace_unnamed_arg< T2,n2 > r2;
\r
225 typedef typename r2::type a2;
\r
226 typedef typename r2::next n3;
\r
227 typedef aux::resolve_bind_arg< a2,U1,U2,U3,U4,U5 > t2;
\r
230 typedef typename apply_wrap2<
\r
232 , typename t1::type, typename t2::type
\r
241 typename F, typename T1, typename T2
\r
244 is_bind_helper(bind2< F,T1,T2 >*);
\r
248 BOOST_MPL_AUX_ARITY_SPEC(3, bind2)
\r
249 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(3, bind2)
\r
252 typename F, typename T1, typename T2, typename T3
\r
257 typename U1 = na, typename U2 = na, typename U3 = na
\r
258 , typename U4 = na, typename U5 = na
\r
263 typedef aux::replace_unnamed_arg< F, mpl::arg<1> > r0;
\r
264 typedef typename r0::type a0;
\r
265 typedef typename r0::next n1;
\r
266 typedef typename aux::resolve_bind_arg< a0,U1,U2,U3,U4,U5 >::type f_;
\r
268 typedef aux::replace_unnamed_arg< T1,n1 > r1;
\r
269 typedef typename r1::type a1;
\r
270 typedef typename r1::next n2;
\r
271 typedef aux::resolve_bind_arg< a1,U1,U2,U3,U4,U5 > t1;
\r
273 typedef aux::replace_unnamed_arg< T2,n2 > r2;
\r
274 typedef typename r2::type a2;
\r
275 typedef typename r2::next n3;
\r
276 typedef aux::resolve_bind_arg< a2,U1,U2,U3,U4,U5 > t2;
\r
278 typedef aux::replace_unnamed_arg< T3,n3 > r3;
\r
279 typedef typename r3::type a3;
\r
280 typedef typename r3::next n4;
\r
281 typedef aux::resolve_bind_arg< a3,U1,U2,U3,U4,U5 > t3;
\r
284 typedef typename apply_wrap3<
\r
286 , typename t1::type, typename t2::type, typename t3::type
\r
295 typename F, typename T1, typename T2, typename T3
\r
298 is_bind_helper(bind3< F,T1,T2,T3 >*);
\r
302 BOOST_MPL_AUX_ARITY_SPEC(4, bind3)
\r
303 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(4, bind3)
\r
306 typename F, typename T1, typename T2, typename T3, typename T4
\r
311 typename U1 = na, typename U2 = na, typename U3 = na
\r
312 , typename U4 = na, typename U5 = na
\r
317 typedef aux::replace_unnamed_arg< F, mpl::arg<1> > r0;
\r
318 typedef typename r0::type a0;
\r
319 typedef typename r0::next n1;
\r
320 typedef typename aux::resolve_bind_arg< a0,U1,U2,U3,U4,U5 >::type f_;
\r
322 typedef aux::replace_unnamed_arg< T1,n1 > r1;
\r
323 typedef typename r1::type a1;
\r
324 typedef typename r1::next n2;
\r
325 typedef aux::resolve_bind_arg< a1,U1,U2,U3,U4,U5 > t1;
\r
327 typedef aux::replace_unnamed_arg< T2,n2 > r2;
\r
328 typedef typename r2::type a2;
\r
329 typedef typename r2::next n3;
\r
330 typedef aux::resolve_bind_arg< a2,U1,U2,U3,U4,U5 > t2;
\r
332 typedef aux::replace_unnamed_arg< T3,n3 > r3;
\r
333 typedef typename r3::type a3;
\r
334 typedef typename r3::next n4;
\r
335 typedef aux::resolve_bind_arg< a3,U1,U2,U3,U4,U5 > t3;
\r
337 typedef aux::replace_unnamed_arg< T4,n4 > r4;
\r
338 typedef typename r4::type a4;
\r
339 typedef typename r4::next n5;
\r
340 typedef aux::resolve_bind_arg< a4,U1,U2,U3,U4,U5 > t4;
\r
343 typedef typename apply_wrap4<
\r
345 , typename t1::type, typename t2::type, typename t3::type
\r
346 , typename t4::type
\r
355 typename F, typename T1, typename T2, typename T3, typename T4
\r
358 is_bind_helper(bind4< F,T1,T2,T3,T4 >*);
\r
362 BOOST_MPL_AUX_ARITY_SPEC(5, bind4)
\r
363 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(5, bind4)
\r
366 typename F, typename T1, typename T2, typename T3, typename T4
\r
372 typename U1 = na, typename U2 = na, typename U3 = na
\r
373 , typename U4 = na, typename U5 = na
\r
378 typedef aux::replace_unnamed_arg< F, mpl::arg<1> > r0;
\r
379 typedef typename r0::type a0;
\r
380 typedef typename r0::next n1;
\r
381 typedef typename aux::resolve_bind_arg< a0,U1,U2,U3,U4,U5 >::type f_;
\r
383 typedef aux::replace_unnamed_arg< T1,n1 > r1;
\r
384 typedef typename r1::type a1;
\r
385 typedef typename r1::next n2;
\r
386 typedef aux::resolve_bind_arg< a1,U1,U2,U3,U4,U5 > t1;
\r
388 typedef aux::replace_unnamed_arg< T2,n2 > r2;
\r
389 typedef typename r2::type a2;
\r
390 typedef typename r2::next n3;
\r
391 typedef aux::resolve_bind_arg< a2,U1,U2,U3,U4,U5 > t2;
\r
393 typedef aux::replace_unnamed_arg< T3,n3 > r3;
\r
394 typedef typename r3::type a3;
\r
395 typedef typename r3::next n4;
\r
396 typedef aux::resolve_bind_arg< a3,U1,U2,U3,U4,U5 > t3;
\r
398 typedef aux::replace_unnamed_arg< T4,n4 > r4;
\r
399 typedef typename r4::type a4;
\r
400 typedef typename r4::next n5;
\r
401 typedef aux::resolve_bind_arg< a4,U1,U2,U3,U4,U5 > t4;
\r
403 typedef aux::replace_unnamed_arg< T5,n5 > r5;
\r
404 typedef typename r5::type a5;
\r
405 typedef typename r5::next n6;
\r
406 typedef aux::resolve_bind_arg< a5,U1,U2,U3,U4,U5 > t5;
\r
409 typedef typename apply_wrap5<
\r
411 , typename t1::type, typename t2::type, typename t3::type
\r
412 , typename t4::type, typename t5::type
\r
421 typename F, typename T1, typename T2, typename T3, typename T4
\r
425 is_bind_helper(bind5< F,T1,T2,T3,T4,T5 >*);
\r
429 BOOST_MPL_AUX_ARITY_SPEC(6, bind5)
\r
430 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(6, bind5)
\r