Merge c:/dyninst/pc_bluegene/dyninst into dyn_pc_integration
[dyninst.git] / external / boost / mpl / aux_ / preprocessed / dmc / basic_bind.hpp
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
17 template<
18       typename T, typename U1, typename U2, typename U3, typename U4
19     , typename U5
20     >
21 struct resolve_bind_arg
22 {
23     typedef T type;
24 };
25
26 template<
27       int N, typename U1, typename U2, typename U3, typename U4, typename U5
28     >
29 struct resolve_bind_arg< arg<N>, U1, U2, U3, U4, U5 >
30 {
31     typedef typename apply_wrap5<mpl::arg<N>, U1, U2, U3, U4, U5>::type type;
32 };
33
34 template<
35       typename F, typename T1, typename T2, typename T3, typename T4
36     , typename T5, typename U1, typename U2, typename U3, typename U4
37     , typename U5
38     >
39 struct resolve_bind_arg< bind< F,T1,T2,T3,T4,T5 >, U1, U2, U3, U4, U5 >
40 {
41     typedef bind< F,T1,T2,T3,T4,T5 > f_;
42     typedef typename apply_wrap5< f_,U1,U2,U3,U4,U5 >::type type;
43 };
44
45 } // namespace aux
46
47 template<
48       typename F, int dummy_
49     >
50 struct bind0
51 {
52     template<
53           typename U1 = na, typename U2 = na, typename U3 = na
54         , typename U4 = na, typename U5 = na
55         >
56     struct apply
57     {
58      private:
59         typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
60
61      public:
62         typedef typename apply_wrap0<
63               f_
64             >::type type;
65
66     };
67 };
68
69 namespace aux {
70
71 template<
72       typename F, typename U1, typename U2, typename U3, typename U4
73     , typename U5
74     >
75 struct resolve_bind_arg<
76       bind0<F>, U1, U2, U3, U4, U5
77     >
78 {
79     typedef bind0<F> f_;
80     typedef typename apply_wrap5< f_,U1,U2,U3,U4,U5 >::type type;
81 };
82
83 } // namespace aux
84
85 BOOST_MPL_AUX_ARITY_SPEC(1, bind0)
86 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(1, bind0)
87
88 template<
89       typename F, int dummy_
90     >
91 struct bind< F,na,na,na,na,na >
92     : bind0<F>
93 {
94 };
95
96 template<
97       typename F, typename T1, int dummy_
98     >
99 struct bind1
100 {
101     template<
102           typename U1 = na, typename U2 = na, typename U3 = na
103         , typename U4 = na, typename U5 = na
104         >
105     struct apply
106     {
107      private:
108         typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
109         typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
110
111      public:
112         typedef typename apply_wrap1<
113               f_
114             , typename t1::type
115             >::type type;
116
117     };
118 };
119
120 namespace aux {
121
122 template<
123       typename F, typename T1, typename U1, typename U2, typename U3
124     , typename U4, typename U5
125     >
126 struct resolve_bind_arg<
127       bind1< F,T1 >, U1, U2, U3, U4, U5
128     >
129 {
130     typedef bind1< F,T1 > f_;
131     typedef typename apply_wrap5< f_,U1,U2,U3,U4,U5 >::type type;
132 };
133
134 } // namespace aux
135
136 BOOST_MPL_AUX_ARITY_SPEC(2, bind1)
137 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(2, bind1)
138
139 template<
140       typename F, typename T1, int dummy_
141     >
142 struct bind< F,T1,na,na,na,na >
143     : bind1< F,T1 >
144 {
145 };
146
147 template<
148       typename F, typename T1, typename T2, int dummy_
149     >
150 struct bind2
151 {
152     template<
153           typename U1 = na, typename U2 = na, typename U3 = na
154         , typename U4 = na, typename U5 = na
155         >
156     struct apply
157     {
158      private:
159         typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
160         typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
161         typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
162
163      public:
164         typedef typename apply_wrap2<
165               f_
166             , typename t1::type, typename t2::type
167             >::type type;
168
169     };
170 };
171
172 namespace aux {
173
174 template<
175       typename F, typename T1, typename T2, typename U1, typename U2
176     , typename U3, typename U4, typename U5
177     >
178 struct resolve_bind_arg<
179       bind2< F,T1,T2 >, U1, U2, U3, U4, U5
180     >
181 {
182     typedef bind2< F,T1,T2 > f_;
183     typedef typename apply_wrap5< f_,U1,U2,U3,U4,U5 >::type type;
184 };
185
186 } // namespace aux
187
188 BOOST_MPL_AUX_ARITY_SPEC(3, bind2)
189 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(3, bind2)
190
191 template<
192       typename F, typename T1, typename T2, int dummy_
193     >
194 struct bind< F,T1,T2,na,na,na >
195     : bind2< F,T1,T2 >
196 {
197 };
198
199 template<
200       typename F, typename T1, typename T2, typename T3, int dummy_
201     >
202 struct bind3
203 {
204     template<
205           typename U1 = na, typename U2 = na, typename U3 = na
206         , typename U4 = na, typename U5 = na
207         >
208     struct apply
209     {
210      private:
211         typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
212         typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
213         typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
214         typedef aux::resolve_bind_arg< T3,U1,U2,U3,U4,U5 > t3;
215
216      public:
217         typedef typename apply_wrap3<
218               f_
219             , typename t1::type, typename t2::type, typename t3::type
220             >::type type;
221
222     };
223 };
224
225 namespace aux {
226
227 template<
228       typename F, typename T1, typename T2, typename T3, typename U1
229     , typename U2, typename U3, typename U4, typename U5
230     >
231 struct resolve_bind_arg<
232       bind3< F,T1,T2,T3 >, U1, U2, U3, U4, U5
233     >
234 {
235     typedef bind3< F,T1,T2,T3 > f_;
236     typedef typename apply_wrap5< f_,U1,U2,U3,U4,U5 >::type type;
237 };
238
239 } // namespace aux
240
241 BOOST_MPL_AUX_ARITY_SPEC(4, bind3)
242 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(4, bind3)
243
244 template<
245       typename F, typename T1, typename T2, typename T3, int dummy_
246     >
247 struct bind< F,T1,T2,T3,na,na >
248     : bind3< F,T1,T2,T3 >
249 {
250 };
251
252 template<
253       typename F, typename T1, typename T2, typename T3, typename T4
254     , int dummy_
255     >
256 struct bind4
257 {
258     template<
259           typename U1 = na, typename U2 = na, typename U3 = na
260         , typename U4 = na, typename U5 = na
261         >
262     struct apply
263     {
264      private:
265         typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
266         typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
267         typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
268         typedef aux::resolve_bind_arg< T3,U1,U2,U3,U4,U5 > t3;
269         typedef aux::resolve_bind_arg< T4,U1,U2,U3,U4,U5 > t4;
270
271      public:
272         typedef typename apply_wrap4<
273               f_
274             , typename t1::type, typename t2::type, typename t3::type
275             , typename t4::type
276             >::type type;
277
278     };
279 };
280
281 namespace aux {
282
283 template<
284       typename F, typename T1, typename T2, typename T3, typename T4
285     , typename U1, typename U2, typename U3, typename U4, typename U5
286     >
287 struct resolve_bind_arg<
288       bind4< F,T1,T2,T3,T4 >, U1, U2, U3, U4, U5
289     >
290 {
291     typedef bind4< F,T1,T2,T3,T4 > f_;
292     typedef typename apply_wrap5< f_,U1,U2,U3,U4,U5 >::type type;
293 };
294
295 } // namespace aux
296
297 BOOST_MPL_AUX_ARITY_SPEC(5, bind4)
298 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(5, bind4)
299
300 template<
301       typename F, typename T1, typename T2, typename T3, typename T4
302     , int dummy_
303     >
304 struct bind< F,T1,T2,T3,T4,na >
305     : bind4< F,T1,T2,T3,T4 >
306 {
307 };
308
309 template<
310       typename F, typename T1, typename T2, typename T3, typename T4
311     , typename T5, int dummy_
312     >
313 struct bind5
314 {
315     template<
316           typename U1 = na, typename U2 = na, typename U3 = na
317         , typename U4 = na, typename U5 = na
318         >
319     struct apply
320     {
321      private:
322         typedef typename aux::resolve_bind_arg< F,U1,U2,U3,U4,U5 >::type f_;
323         typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
324         typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
325         typedef aux::resolve_bind_arg< T3,U1,U2,U3,U4,U5 > t3;
326         typedef aux::resolve_bind_arg< T4,U1,U2,U3,U4,U5 > t4;
327         typedef aux::resolve_bind_arg< T5,U1,U2,U3,U4,U5 > t5;
328
329      public:
330         typedef typename apply_wrap5<
331               f_
332             , typename t1::type, typename t2::type, typename t3::type
333             , typename t4::type, typename t5::type
334             >::type type;
335
336     };
337 };
338
339 namespace aux {
340
341 template<
342       typename F, typename T1, typename T2, typename T3, typename T4
343     , typename T5, typename U1, typename U2, typename U3, typename U4
344     , typename U5
345     >
346 struct resolve_bind_arg<
347       bind5< F,T1,T2,T3,T4,T5 >, U1, U2, U3, U4, U5
348     >
349 {
350     typedef bind5< F,T1,T2,T3,T4,T5 > f_;
351     typedef typename apply_wrap5< f_,U1,U2,U3,U4,U5 >::type type;
352 };
353
354 } // namespace aux
355
356 BOOST_MPL_AUX_ARITY_SPEC(6, bind5)
357 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(6, bind5)
358
359 /// primary template (not a specialization!)
360
361 template<
362       typename F, typename T1, typename T2, typename T3, typename T4
363     , typename T5, int dummy_
364     >
365 struct bind
366     : bind5< F,T1,T2,T3,T4,T5 >
367 {
368 };
369
370 /// if_/eval_if specializations
371 template< template< typename T1, typename T2, typename T3 > class F, typename Tag >
372 struct quote3;
373
374 template< typename T1, typename T2, typename T3 > struct if_;
375
376 template<
377       typename Tag, typename T1, typename T2, typename T3
378     >
379 struct bind3<
380       quote3< if_,Tag >
381     , T1, T2, T3
382     >
383 {
384     template<
385           typename U1 = na, typename U2 = na, typename U3 = na
386         , typename U4 = na, typename U5 = na
387         >
388     struct apply
389     {
390      private:
391         typedef mpl::arg<1> n1;
392         typedef aux::resolve_bind_arg< T1,U1,U2,U3,U4,U5 > t1;
393         typedef aux::resolve_bind_arg< T2,U1,U2,U3,U4,U5 > t2;
394         typedef aux::resolve_bind_arg< T3,U1,U2,U3,U4,U5 > t3;
395         typedef typename if_<
396               typename t1::type
397             , t2, t3
398             >::type f_;
399
400      public:
401         typedef typename f_::type type;
402     };
403 };
404
405 }}
406