~ubuntu-branches/ubuntu/warty/aqsis/warty

« back to all changes in this revision

Viewing changes to boost/boost/mpl/aux_/preprocessed/plain/bind.hpp

  • Committer: Bazaar Package Importer
  • Author(s): LaMont Jones
  • Date: 2004-08-24 07:25:04 UTC
  • Revision ID: james.westby@ubuntu.com-20040824072504-zf993vnevvisdsvb
Tags: upstream-0.9.1
ImportĀ upstreamĀ versionĀ 0.9.1

Show diffs side-by-side

added added

removed removed

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