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