1 |
|
---|
2 | // Copyright Peter Dimov 2001
|
---|
3 | // Copyright Aleksey Gurtovoy 2001-2004
|
---|
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_/basic_bind.hpp" header
|
---|
11 | // -- DO NOT modify by hand!
|
---|
12 |
|
---|
13 | namespace boost { namespace mpl {
|
---|
14 |
|
---|
15 | namespace aux {
|
---|
16 | template< bool >
|
---|
17 | struct resolve_arg_impl
|
---|
18 | {
|
---|
19 | template<
|
---|
20 | typename T, typename U1, typename U2, typename U3
|
---|
21 | , typename U4, typename U5
|
---|
22 | >
|
---|
23 | struct result_
|
---|
24 | {
|
---|
25 | typedef T type;
|
---|
26 | };
|
---|
27 | };
|
---|
28 |
|
---|
29 | template<>
|
---|
30 | struct resolve_arg_impl<true>
|
---|
31 | {
|
---|
32 | template<
|
---|
33 | typename T, typename U1, typename U2, typename U3
|
---|
34 | , typename U4, typename U5
|
---|
35 | >
|
---|
36 | struct result_
|
---|
37 | {
|
---|
38 | typedef typename apply_wrap5<
|
---|
39 | T
|
---|
40 | , U1, U2, U3, U4, U5
|
---|
41 | >::type type;
|
---|
42 | };
|
---|
43 | };
|
---|
44 |
|
---|
45 | template< typename T > struct is_bind_template;
|
---|
46 |
|
---|
47 | template<
|
---|
48 | typename T, typename U1, typename U2, typename U3, typename U4
|
---|
49 | , typename U5
|
---|
50 | >
|
---|
51 | struct resolve_bind_arg
|
---|
52 | : resolve_arg_impl< is_bind_template<T>::value >
|
---|
53 | ::template result_< T,U1,U2,U3,U4,U5 >
|
---|
54 | {
|
---|
55 | };
|
---|
56 |
|
---|
57 | template< int arity_ > struct bind_chooser;
|
---|
58 |
|
---|
59 | aux::no_tag is_bind_helper(...);
|
---|
60 | template< typename T > aux::no_tag is_bind_helper(protect<T>*);
|
---|
61 |
|
---|
62 | template<
|
---|
63 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
64 | , typename T5
|
---|
65 | >
|
---|
66 | aux::yes_tag is_bind_helper(bind< F,T1,T2,T3,T4,T5 >*);
|
---|
67 |
|
---|
68 | template< int N >
|
---|
69 | aux::yes_tag is_bind_helper(arg<N>*);
|
---|
70 |
|
---|
71 | template< bool is_ref_ = true >
|
---|
72 | struct is_bind_template_impl
|
---|
73 | {
|
---|
74 | template< typename T > struct result_
|
---|
75 | {
|
---|
76 | BOOST_STATIC_CONSTANT(bool, value = false);
|
---|
77 | };
|
---|
78 | };
|
---|
79 |
|
---|
80 | template<>
|
---|
81 | struct is_bind_template_impl<false>
|
---|
82 | {
|
---|
83 | template< typename T > struct result_
|
---|
84 | {
|
---|
85 | BOOST_STATIC_CONSTANT(bool, value =
|
---|
86 | sizeof(aux::is_bind_helper(static_cast<T*>(0)))
|
---|
87 | == sizeof(aux::yes_tag)
|
---|
88 | );
|
---|
89 | };
|
---|
90 | };
|
---|
91 |
|
---|
92 | template< typename T > struct is_bind_template
|
---|
93 | : is_bind_template_impl< ::boost::detail::is_reference_impl<T>::value >
|
---|
94 | ::template result_<T>
|
---|
95 | {
|
---|
96 | };
|
---|
97 |
|
---|
98 | } // namespace aux
|
---|
99 |
|
---|
100 | template<
|
---|
101 | typename F
|
---|
102 | >
|
---|
103 | struct bind0
|
---|
104 | {
|
---|
105 | template<
|
---|
106 | typename U1 = na, typename U2 = na, typename U3 = na
|
---|
107 | , typename U4 = na, typename U5 = na
|
---|
108 | >
|
---|
109 | struct apply
|
---|
110 | {
|
---|
111 | private:
|
---|
112 | typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
|
---|
113 |
|
---|
114 | public:
|
---|
115 | typedef typename apply_wrap0<
|
---|
116 | f_
|
---|
117 | >::type type;
|
---|
118 |
|
---|
119 | };
|
---|
120 | };
|
---|
121 |
|
---|
122 | namespace aux {
|
---|
123 |
|
---|
124 | template<
|
---|
125 | typename F
|
---|
126 | >
|
---|
127 | aux::yes_tag
|
---|
128 | is_bind_helper(bind0<F>*);
|
---|
129 |
|
---|
130 | } // namespace aux
|
---|
131 |
|
---|
132 | BOOST_MPL_AUX_ARITY_SPEC(1, bind0)
|
---|
133 | BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(1, bind0)
|
---|
134 |
|
---|
135 | namespace aux {
|
---|
136 |
|
---|
137 | template<>
|
---|
138 | struct bind_chooser<0>
|
---|
139 | {
|
---|
140 | template<
|
---|
141 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
142 | , typename T5
|
---|
143 | >
|
---|
144 | struct result_
|
---|
145 | {
|
---|
146 | typedef bind0<F> type;
|
---|
147 | };
|
---|
148 | };
|
---|
149 |
|
---|
150 | } // namespace aux
|
---|
151 |
|
---|
152 | template<
|
---|
153 | typename F, typename T1
|
---|
154 | >
|
---|
155 | struct bind1
|
---|
156 | {
|
---|
157 | template<
|
---|
158 | typename U1 = na, typename U2 = na, typename U3 = na
|
---|
159 | , typename U4 = na, typename U5 = na
|
---|
160 | >
|
---|
161 | struct apply
|
---|
162 | {
|
---|
163 | private:
|
---|
164 | typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
|
---|
165 | typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
|
---|
166 |
|
---|
167 | public:
|
---|
168 | typedef typename apply_wrap1<
|
---|
169 | f_
|
---|
170 | , typename t1::type
|
---|
171 | >::type type;
|
---|
172 |
|
---|
173 | };
|
---|
174 | };
|
---|
175 |
|
---|
176 | namespace aux {
|
---|
177 |
|
---|
178 | template<
|
---|
179 | typename F, typename T1
|
---|
180 | >
|
---|
181 | aux::yes_tag
|
---|
182 | is_bind_helper(bind1< F,T1 >*);
|
---|
183 |
|
---|
184 | } // namespace aux
|
---|
185 |
|
---|
186 | BOOST_MPL_AUX_ARITY_SPEC(2, bind1)
|
---|
187 | BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(2, bind1)
|
---|
188 |
|
---|
189 | namespace aux {
|
---|
190 |
|
---|
191 | template<>
|
---|
192 | struct bind_chooser<1>
|
---|
193 | {
|
---|
194 | template<
|
---|
195 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
196 | , typename T5
|
---|
197 | >
|
---|
198 | struct result_
|
---|
199 | {
|
---|
200 | typedef bind1< F,T1 > type;
|
---|
201 | };
|
---|
202 | };
|
---|
203 |
|
---|
204 | } // namespace aux
|
---|
205 |
|
---|
206 | template<
|
---|
207 | typename F, typename T1, typename T2
|
---|
208 | >
|
---|
209 | struct bind2
|
---|
210 | {
|
---|
211 | template<
|
---|
212 | typename U1 = na, typename U2 = na, typename U3 = na
|
---|
213 | , typename U4 = na, typename U5 = na
|
---|
214 | >
|
---|
215 | struct apply
|
---|
216 | {
|
---|
217 | private:
|
---|
218 | typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
|
---|
219 | typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
|
---|
220 | typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
|
---|
221 |
|
---|
222 | public:
|
---|
223 | typedef typename apply_wrap2<
|
---|
224 | f_
|
---|
225 | , typename t1::type, typename t2::type
|
---|
226 | >::type type;
|
---|
227 |
|
---|
228 | };
|
---|
229 | };
|
---|
230 |
|
---|
231 | namespace aux {
|
---|
232 |
|
---|
233 | template<
|
---|
234 | typename F, typename T1, typename T2
|
---|
235 | >
|
---|
236 | aux::yes_tag
|
---|
237 | is_bind_helper(bind2< F,T1,T2 >*);
|
---|
238 |
|
---|
239 | } // namespace aux
|
---|
240 |
|
---|
241 | BOOST_MPL_AUX_ARITY_SPEC(3, bind2)
|
---|
242 | BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(3, bind2)
|
---|
243 |
|
---|
244 | namespace aux {
|
---|
245 |
|
---|
246 | template<>
|
---|
247 | struct bind_chooser<2>
|
---|
248 | {
|
---|
249 | template<
|
---|
250 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
251 | , typename T5
|
---|
252 | >
|
---|
253 | struct result_
|
---|
254 | {
|
---|
255 | typedef bind2< F,T1,T2 > type;
|
---|
256 | };
|
---|
257 | };
|
---|
258 |
|
---|
259 | } // namespace aux
|
---|
260 |
|
---|
261 | template<
|
---|
262 | typename F, typename T1, typename T2, typename T3
|
---|
263 | >
|
---|
264 | struct bind3
|
---|
265 | {
|
---|
266 | template<
|
---|
267 | typename U1 = na, typename U2 = na, typename U3 = na
|
---|
268 | , typename U4 = na, typename U5 = na
|
---|
269 | >
|
---|
270 | struct apply
|
---|
271 | {
|
---|
272 | private:
|
---|
273 | typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
|
---|
274 | typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
|
---|
275 | typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
|
---|
276 | typedef aux::resolve_bind_arg< T3,U1,U2,U3,U4,U5 > t3;
|
---|
277 |
|
---|
278 | public:
|
---|
279 | typedef typename apply_wrap3<
|
---|
280 | f_
|
---|
281 | , typename t1::type, typename t2::type, typename t3::type
|
---|
282 | >::type type;
|
---|
283 |
|
---|
284 | };
|
---|
285 | };
|
---|
286 |
|
---|
287 | namespace aux {
|
---|
288 |
|
---|
289 | template<
|
---|
290 | typename F, typename T1, typename T2, typename T3
|
---|
291 | >
|
---|
292 | aux::yes_tag
|
---|
293 | is_bind_helper(bind3< F,T1,T2,T3 >*);
|
---|
294 |
|
---|
295 | } // namespace aux
|
---|
296 |
|
---|
297 | BOOST_MPL_AUX_ARITY_SPEC(4, bind3)
|
---|
298 | BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(4, bind3)
|
---|
299 |
|
---|
300 | namespace aux {
|
---|
301 |
|
---|
302 | template<>
|
---|
303 | struct bind_chooser<3>
|
---|
304 | {
|
---|
305 | template<
|
---|
306 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
307 | , typename T5
|
---|
308 | >
|
---|
309 | struct result_
|
---|
310 | {
|
---|
311 | typedef bind3< F,T1,T2,T3 > type;
|
---|
312 | };
|
---|
313 | };
|
---|
314 |
|
---|
315 | } // namespace aux
|
---|
316 |
|
---|
317 | template<
|
---|
318 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
319 | >
|
---|
320 | struct bind4
|
---|
321 | {
|
---|
322 | template<
|
---|
323 | typename U1 = na, typename U2 = na, typename U3 = na
|
---|
324 | , typename U4 = na, typename U5 = na
|
---|
325 | >
|
---|
326 | struct apply
|
---|
327 | {
|
---|
328 | private:
|
---|
329 | typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
|
---|
330 | typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
|
---|
331 | typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
|
---|
332 | typedef aux::resolve_bind_arg< T3,U1,U2,U3,U4,U5 > t3;
|
---|
333 | typedef aux::resolve_bind_arg< T4,U1,U2,U3,U4,U5 > t4;
|
---|
334 |
|
---|
335 | public:
|
---|
336 | typedef typename apply_wrap4<
|
---|
337 | f_
|
---|
338 | , typename t1::type, typename t2::type, typename t3::type
|
---|
339 | , typename t4::type
|
---|
340 | >::type type;
|
---|
341 |
|
---|
342 | };
|
---|
343 | };
|
---|
344 |
|
---|
345 | namespace aux {
|
---|
346 |
|
---|
347 | template<
|
---|
348 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
349 | >
|
---|
350 | aux::yes_tag
|
---|
351 | is_bind_helper(bind4< F,T1,T2,T3,T4 >*);
|
---|
352 |
|
---|
353 | } // namespace aux
|
---|
354 |
|
---|
355 | BOOST_MPL_AUX_ARITY_SPEC(5, bind4)
|
---|
356 | BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(5, bind4)
|
---|
357 |
|
---|
358 | namespace aux {
|
---|
359 |
|
---|
360 | template<>
|
---|
361 | struct bind_chooser<4>
|
---|
362 | {
|
---|
363 | template<
|
---|
364 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
365 | , typename T5
|
---|
366 | >
|
---|
367 | struct result_
|
---|
368 | {
|
---|
369 | typedef bind4< F,T1,T2,T3,T4 > type;
|
---|
370 | };
|
---|
371 | };
|
---|
372 |
|
---|
373 | } // namespace aux
|
---|
374 |
|
---|
375 | template<
|
---|
376 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
377 | , typename T5
|
---|
378 | >
|
---|
379 | struct bind5
|
---|
380 | {
|
---|
381 | template<
|
---|
382 | typename U1 = na, typename U2 = na, typename U3 = na
|
---|
383 | , typename U4 = na, typename U5 = na
|
---|
384 | >
|
---|
385 | struct apply
|
---|
386 | {
|
---|
387 | private:
|
---|
388 | typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
|
---|
389 | typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
|
---|
390 | typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
|
---|
391 | typedef aux::resolve_bind_arg< T3,U1,U2,U3,U4,U5 > t3;
|
---|
392 | typedef aux::resolve_bind_arg< T4,U1,U2,U3,U4,U5 > t4;
|
---|
393 | typedef aux::resolve_bind_arg< T5,U1,U2,U3,U4,U5 > t5;
|
---|
394 |
|
---|
395 | public:
|
---|
396 | typedef typename apply_wrap5<
|
---|
397 | f_
|
---|
398 | , typename t1::type, typename t2::type, typename t3::type
|
---|
399 | , typename t4::type, typename t5::type
|
---|
400 | >::type type;
|
---|
401 |
|
---|
402 | };
|
---|
403 | };
|
---|
404 |
|
---|
405 | namespace aux {
|
---|
406 |
|
---|
407 | template<
|
---|
408 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
409 | , typename T5
|
---|
410 | >
|
---|
411 | aux::yes_tag
|
---|
412 | is_bind_helper(bind5< F,T1,T2,T3,T4,T5 >*);
|
---|
413 |
|
---|
414 | } // namespace aux
|
---|
415 |
|
---|
416 | BOOST_MPL_AUX_ARITY_SPEC(6, bind5)
|
---|
417 | BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(6, bind5)
|
---|
418 |
|
---|
419 | namespace aux {
|
---|
420 |
|
---|
421 | template<>
|
---|
422 | struct bind_chooser<5>
|
---|
423 | {
|
---|
424 | template<
|
---|
425 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
426 | , typename T5
|
---|
427 | >
|
---|
428 | struct result_
|
---|
429 | {
|
---|
430 | typedef bind5< F,T1,T2,T3,T4,T5 > type;
|
---|
431 | };
|
---|
432 | };
|
---|
433 |
|
---|
434 | } // namespace aux
|
---|
435 |
|
---|
436 | namespace aux {
|
---|
437 |
|
---|
438 | template< typename T >
|
---|
439 | struct is_bind_arg
|
---|
440 | {
|
---|
441 | BOOST_STATIC_CONSTANT(bool, value = true);
|
---|
442 | };
|
---|
443 |
|
---|
444 | template<>
|
---|
445 | struct is_bind_arg<na>
|
---|
446 | {
|
---|
447 | BOOST_STATIC_CONSTANT(bool, value = false);
|
---|
448 | };
|
---|
449 |
|
---|
450 | template<
|
---|
451 | typename T1, typename T2, typename T3, typename T4, typename T5
|
---|
452 | >
|
---|
453 | struct bind_count_args
|
---|
454 | {
|
---|
455 | BOOST_STATIC_CONSTANT(int, value =
|
---|
456 | is_bind_arg<T1>::value + is_bind_arg<T2>::value
|
---|
457 | + is_bind_arg<T3>::value + is_bind_arg<T4>::value
|
---|
458 | + is_bind_arg<T5>::value
|
---|
459 | );
|
---|
460 |
|
---|
461 | };
|
---|
462 |
|
---|
463 | }
|
---|
464 |
|
---|
465 | template<
|
---|
466 | typename F, typename T1, typename T2, typename T3, typename T4
|
---|
467 | , typename T5
|
---|
468 | >
|
---|
469 | struct bind
|
---|
470 | : aux::bind_chooser<
|
---|
471 | aux::bind_count_args< T1,T2,T3,T4,T5 >::value
|
---|
472 | >::template result_< F,T1,T2,T3,T4,T5 >::type
|
---|
473 | {
|
---|
474 | };
|
---|
475 |
|
---|
476 | BOOST_MPL_AUX_ARITY_SPEC(
|
---|
477 | 6
|
---|
478 | , bind
|
---|
479 | )
|
---|
480 |
|
---|
481 | BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(
|
---|
482 | 6
|
---|
483 | , bind
|
---|
484 | )
|
---|
485 | }}
|
---|
486 |
|
---|