Merge c:/dyninst/pc_bluegene/dyninst into dyn_pc_integration
[dyninst.git] / external / boost / mpl / aux_ / preprocessed / msvc60 / 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/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< typename T >
58 struct replace_unnamed_arg_impl
59 {
60     template< typename Arg > struct result_
61     {
62         typedef Arg next;
63         typedef T type;
64     };
65 };
66
67 template<>
68 struct replace_unnamed_arg_impl< arg< -1 > >
69 {
70     template< typename Arg > struct result_
71     {
72         typedef typename next<Arg>::type next;
73         typedef Arg type;
74     };
75 };
76
77 template< typename T, typename Arg >
78 struct replace_unnamed_arg
79     : replace_unnamed_arg_impl<T>::template result_<Arg>
80 {
81 };
82
83 template< int arity_ > struct bind_chooser;
84
85 aux::no_tag is_bind_helper(...);
86 template< typename T > aux::no_tag is_bind_helper(protect<T>*);
87
88 template< int N >
89 aux::yes_tag is_bind_helper(arg<N>*);
90
91 template< bool is_ref_  = true >
92 struct is_bind_template_impl
93 {
94     template< typename T > struct result_
95     {
96         BOOST_STATIC_CONSTANT(bool, value  = false);
97     };
98 };
99
100 template<>
101 struct is_bind_template_impl<false>
102 {
103     template< typename T > struct result_
104     {
105         BOOST_STATIC_CONSTANT(bool, value =
106               sizeof(aux::is_bind_helper(static_cast<T*>(0)))
107                 == sizeof(aux::yes_tag)
108             );
109     };
110 };
111
112 template< typename T > struct is_bind_template
113     : is_bind_template_impl< ::boost::detail::is_reference_impl<T>::value >
114         ::template result_<T>
115 {
116 };
117
118 } // namespace aux
119
120 template<
121       typename F
122     >
123 struct bind0
124 {
125     template<
126           typename U1 = na, typename U2 = na, typename U3 = na
127         , typename U4 = na, typename U5 = na
128         >
129     struct apply
130     {
131      private:
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_;
136         ///
137      public:
138         typedef typename apply_wrap0<
139               f_
140             >::type type;
141
142     };
143 };
144
145 namespace aux {
146
147 template<
148       typename F
149     >
150 aux::yes_tag
151 is_bind_helper(bind0<F>*);
152
153 } // namespace aux
154
155 BOOST_MPL_AUX_ARITY_SPEC(1, bind0)
156 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(1, bind0)
157
158 template<
159       typename F, typename T1
160     >
161 struct bind1
162 {
163     template<
164           typename U1 = na, typename U2 = na, typename U3 = na
165         , typename U4 = na, typename U5 = na
166         >
167     struct apply
168     {
169      private:
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_;
174         ///
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;
179         ///
180      public:
181         typedef typename apply_wrap1<
182               f_
183             , typename t1::type
184             >::type type;
185
186     };
187 };
188
189 namespace aux {
190
191 template<
192       typename F, typename T1
193     >
194 aux::yes_tag
195 is_bind_helper(bind1< F,T1 >*);
196
197 } // namespace aux
198
199 BOOST_MPL_AUX_ARITY_SPEC(2, bind1)
200 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(2, bind1)
201
202 template<
203       typename F, typename T1, typename T2
204     >
205 struct bind2
206 {
207     template<
208           typename U1 = na, typename U2 = na, typename U3 = na
209         , typename U4 = na, typename U5 = na
210         >
211     struct apply
212     {
213      private:
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_;
218         ///
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;
223         ///
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;
228         ///
229      public:
230         typedef typename apply_wrap2<
231               f_
232             , typename t1::type, typename t2::type
233             >::type type;
234
235     };
236 };
237
238 namespace aux {
239
240 template<
241       typename F, typename T1, typename T2
242     >
243 aux::yes_tag
244 is_bind_helper(bind2< F,T1,T2 >*);
245
246 } // namespace aux
247
248 BOOST_MPL_AUX_ARITY_SPEC(3, bind2)
249 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(3, bind2)
250
251 template<
252       typename F, typename T1, typename T2, typename T3
253     >
254 struct bind3
255 {
256     template<
257           typename U1 = na, typename U2 = na, typename U3 = na
258         , typename U4 = na, typename U5 = na
259         >
260     struct apply
261     {
262      private:
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_;
267         ///
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;
272         ///
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;
277         ///
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;
282         ///
283      public:
284         typedef typename apply_wrap3<
285               f_
286             , typename t1::type, typename t2::type, typename t3::type
287             >::type type;
288
289     };
290 };
291
292 namespace aux {
293
294 template<
295       typename F, typename T1, typename T2, typename T3
296     >
297 aux::yes_tag
298 is_bind_helper(bind3< F,T1,T2,T3 >*);
299
300 } // namespace aux
301
302 BOOST_MPL_AUX_ARITY_SPEC(4, bind3)
303 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(4, bind3)
304
305 template<
306       typename F, typename T1, typename T2, typename T3, typename T4
307     >
308 struct bind4
309 {
310     template<
311           typename U1 = na, typename U2 = na, typename U3 = na
312         , typename U4 = na, typename U5 = na
313         >
314     struct apply
315     {
316      private:
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_;
321         ///
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;
326         ///
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;
331         ///
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;
336         ///
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;
341         ///
342      public:
343         typedef typename apply_wrap4<
344               f_
345             , typename t1::type, typename t2::type, typename t3::type
346             , typename t4::type
347             >::type type;
348
349     };
350 };
351
352 namespace aux {
353
354 template<
355       typename F, typename T1, typename T2, typename T3, typename T4
356     >
357 aux::yes_tag
358 is_bind_helper(bind4< F,T1,T2,T3,T4 >*);
359
360 } // namespace aux
361
362 BOOST_MPL_AUX_ARITY_SPEC(5, bind4)
363 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(5, bind4)
364
365 template<
366       typename F, typename T1, typename T2, typename T3, typename T4
367     , typename T5
368     >
369 struct bind5
370 {
371     template<
372           typename U1 = na, typename U2 = na, typename U3 = na
373         , typename U4 = na, typename U5 = na
374         >
375     struct apply
376     {
377      private:
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_;
382         ///
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;
387         ///
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;
392         ///
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;
397         ///
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;
402         ///
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;
407         ///
408      public:
409         typedef typename apply_wrap5<
410               f_
411             , typename t1::type, typename t2::type, typename t3::type
412             , typename t4::type, typename t5::type
413             >::type type;
414
415     };
416 };
417
418 namespace aux {
419
420 template<
421       typename F, typename T1, typename T2, typename T3, typename T4
422     , typename T5
423     >
424 aux::yes_tag
425 is_bind_helper(bind5< F,T1,T2,T3,T4,T5 >*);
426
427 } // namespace aux
428
429 BOOST_MPL_AUX_ARITY_SPEC(6, bind5)
430 BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(6, bind5)
431 }}
432