]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /*============================================================================= |
2 | Copyright (c) 2011 Thomas Heller | |
3 | ||
4 | Distributed under the Boost Software License, Version 1.0. (See accompanying | |
5 | file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
6 | ==============================================================================*/ | |
7 | ||
8 | ||
9 | ||
10 | ||
11 | ||
12 | ||
13 | ||
14 | template <typename F, typename A0> | |
15 | struct has_phx2_result<F, A0> | |
16 | : mpl::eval_if< | |
17 | has_result_type<F> | |
18 | , mpl::false_ | |
19 | , has_phx2_result_impl<typename F::template result<F(A0)> > | |
20 | >::type | |
21 | {}; | |
22 | template <typename F, typename A0> | |
23 | struct phx2_result<F, A0> | |
24 | { | |
25 | typedef typename F::template result<A0>::type type; | |
26 | }; | |
27 | template <typename F, typename A0> | |
28 | struct phx2_result<F, A0 &> | |
29 | { | |
30 | typedef typename F::template result<A0>::type type; | |
31 | }; | |
32 | template <typename F, typename A0> | |
33 | struct phx2_result<F, A0 const&> | |
34 | { | |
35 | typedef typename F::template result<A0>::type type; | |
36 | }; | |
37 | ||
38 | ||
39 | ||
40 | ||
41 | ||
42 | ||
43 | ||
44 | template <typename F, typename A0 , typename A1> | |
45 | struct has_phx2_result<F, A0 , A1> | |
46 | : mpl::eval_if< | |
47 | has_result_type<F> | |
48 | , mpl::false_ | |
49 | , has_phx2_result_impl<typename F::template result<F(A0 , A1)> > | |
50 | >::type | |
51 | {}; | |
52 | template <typename F, typename A0 , typename A1> | |
53 | struct phx2_result<F, A0 , A1> | |
54 | { | |
55 | typedef typename F::template result<A0 , A1>::type type; | |
56 | }; | |
57 | template <typename F, typename A0 , typename A1> | |
58 | struct phx2_result<F, A0 & , A1 &> | |
59 | { | |
60 | typedef typename F::template result<A0 , A1>::type type; | |
61 | }; | |
62 | template <typename F, typename A0 , typename A1> | |
63 | struct phx2_result<F, A0 const& , A1 const&> | |
64 | { | |
65 | typedef typename F::template result<A0 , A1>::type type; | |
66 | }; | |
67 | ||
68 | ||
69 | ||
70 | ||
71 | ||
72 | ||
73 | ||
74 | template <typename F, typename A0 , typename A1 , typename A2> | |
75 | struct has_phx2_result<F, A0 , A1 , A2> | |
76 | : mpl::eval_if< | |
77 | has_result_type<F> | |
78 | , mpl::false_ | |
79 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2)> > | |
80 | >::type | |
81 | {}; | |
82 | template <typename F, typename A0 , typename A1 , typename A2> | |
83 | struct phx2_result<F, A0 , A1 , A2> | |
84 | { | |
85 | typedef typename F::template result<A0 , A1 , A2>::type type; | |
86 | }; | |
87 | template <typename F, typename A0 , typename A1 , typename A2> | |
88 | struct phx2_result<F, A0 & , A1 & , A2 &> | |
89 | { | |
90 | typedef typename F::template result<A0 , A1 , A2>::type type; | |
91 | }; | |
92 | template <typename F, typename A0 , typename A1 , typename A2> | |
93 | struct phx2_result<F, A0 const& , A1 const& , A2 const&> | |
94 | { | |
95 | typedef typename F::template result<A0 , A1 , A2>::type type; | |
96 | }; | |
97 | ||
98 | ||
99 | ||
100 | ||
101 | ||
102 | ||
103 | ||
104 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3> | |
105 | struct has_phx2_result<F, A0 , A1 , A2 , A3> | |
106 | : mpl::eval_if< | |
107 | has_result_type<F> | |
108 | , mpl::false_ | |
109 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3)> > | |
110 | >::type | |
111 | {}; | |
112 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3> | |
113 | struct phx2_result<F, A0 , A1 , A2 , A3> | |
114 | { | |
115 | typedef typename F::template result<A0 , A1 , A2 , A3>::type type; | |
116 | }; | |
117 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3> | |
118 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 &> | |
119 | { | |
120 | typedef typename F::template result<A0 , A1 , A2 , A3>::type type; | |
121 | }; | |
122 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3> | |
123 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const&> | |
124 | { | |
125 | typedef typename F::template result<A0 , A1 , A2 , A3>::type type; | |
126 | }; | |
127 | ||
128 | ||
129 | ||
130 | ||
131 | ||
132 | ||
133 | ||
134 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4> | |
135 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4> | |
136 | : mpl::eval_if< | |
137 | has_result_type<F> | |
138 | , mpl::false_ | |
139 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4)> > | |
140 | >::type | |
141 | {}; | |
142 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4> | |
143 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4> | |
144 | { | |
145 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4>::type type; | |
146 | }; | |
147 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4> | |
148 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 &> | |
149 | { | |
150 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4>::type type; | |
151 | }; | |
152 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4> | |
153 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const&> | |
154 | { | |
155 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4>::type type; | |
156 | }; | |
157 | ||
158 | ||
159 | ||
160 | ||
161 | ||
162 | ||
163 | ||
164 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5> | |
165 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5> | |
166 | : mpl::eval_if< | |
167 | has_result_type<F> | |
168 | , mpl::false_ | |
169 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5)> > | |
170 | >::type | |
171 | {}; | |
172 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5> | |
173 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5> | |
174 | { | |
175 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5>::type type; | |
176 | }; | |
177 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5> | |
178 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 &> | |
179 | { | |
180 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5>::type type; | |
181 | }; | |
182 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5> | |
183 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const&> | |
184 | { | |
185 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5>::type type; | |
186 | }; | |
187 | ||
188 | ||
189 | ||
190 | ||
191 | ||
192 | ||
193 | ||
194 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6> | |
195 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6> | |
196 | : mpl::eval_if< | |
197 | has_result_type<F> | |
198 | , mpl::false_ | |
199 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6)> > | |
200 | >::type | |
201 | {}; | |
202 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6> | |
203 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6> | |
204 | { | |
205 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6>::type type; | |
206 | }; | |
207 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6> | |
208 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 &> | |
209 | { | |
210 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6>::type type; | |
211 | }; | |
212 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6> | |
213 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const&> | |
214 | { | |
215 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6>::type type; | |
216 | }; | |
217 | ||
218 | ||
219 | ||
220 | ||
221 | ||
222 | ||
223 | ||
224 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7> | |
225 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7> | |
226 | : mpl::eval_if< | |
227 | has_result_type<F> | |
228 | , mpl::false_ | |
229 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)> > | |
230 | >::type | |
231 | {}; | |
232 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7> | |
233 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7> | |
234 | { | |
235 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::type type; | |
236 | }; | |
237 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7> | |
238 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 &> | |
239 | { | |
240 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::type type; | |
241 | }; | |
242 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7> | |
243 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const&> | |
244 | { | |
245 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::type type; | |
246 | }; | |
247 | ||
248 | ||
249 | ||
250 | ||
251 | ||
252 | ||
253 | ||
254 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8> | |
255 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8> | |
256 | : mpl::eval_if< | |
257 | has_result_type<F> | |
258 | , mpl::false_ | |
259 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)> > | |
260 | >::type | |
261 | {}; | |
262 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8> | |
263 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8> | |
264 | { | |
265 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::type type; | |
266 | }; | |
267 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8> | |
268 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 &> | |
269 | { | |
270 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::type type; | |
271 | }; | |
272 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8> | |
273 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const&> | |
274 | { | |
275 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::type type; | |
276 | }; | |
277 | ||
278 | ||
279 | ||
280 | ||
281 | ||
282 | ||
283 | ||
284 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9> | |
285 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> | |
286 | : mpl::eval_if< | |
287 | has_result_type<F> | |
288 | , mpl::false_ | |
289 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)> > | |
290 | >::type | |
291 | {}; | |
292 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9> | |
293 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> | |
294 | { | |
295 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>::type type; | |
296 | }; | |
297 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9> | |
298 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 &> | |
299 | { | |
300 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>::type type; | |
301 | }; | |
302 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9> | |
303 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const&> | |
304 | { | |
305 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>::type type; | |
306 | }; | |
307 | ||
308 | ||
309 | ||
310 | ||
311 | ||
312 | ||
313 | ||
314 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10> | |
315 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10> | |
316 | : mpl::eval_if< | |
317 | has_result_type<F> | |
318 | , mpl::false_ | |
319 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10)> > | |
320 | >::type | |
321 | {}; | |
322 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10> | |
323 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10> | |
324 | { | |
325 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10>::type type; | |
326 | }; | |
327 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10> | |
328 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 &> | |
329 | { | |
330 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10>::type type; | |
331 | }; | |
332 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10> | |
333 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const&> | |
334 | { | |
335 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10>::type type; | |
336 | }; | |
337 | ||
338 | ||
339 | ||
340 | ||
341 | ||
342 | ||
343 | ||
344 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11> | |
345 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11> | |
346 | : mpl::eval_if< | |
347 | has_result_type<F> | |
348 | , mpl::false_ | |
349 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11)> > | |
350 | >::type | |
351 | {}; | |
352 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11> | |
353 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11> | |
354 | { | |
355 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11>::type type; | |
356 | }; | |
357 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11> | |
358 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 &> | |
359 | { | |
360 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11>::type type; | |
361 | }; | |
362 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11> | |
363 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const&> | |
364 | { | |
365 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11>::type type; | |
366 | }; | |
367 | ||
368 | ||
369 | ||
370 | ||
371 | ||
372 | ||
373 | ||
374 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12> | |
375 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12> | |
376 | : mpl::eval_if< | |
377 | has_result_type<F> | |
378 | , mpl::false_ | |
379 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12)> > | |
380 | >::type | |
381 | {}; | |
382 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12> | |
383 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12> | |
384 | { | |
385 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12>::type type; | |
386 | }; | |
387 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12> | |
388 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 & , A12 &> | |
389 | { | |
390 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12>::type type; | |
391 | }; | |
392 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12> | |
393 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const& , A12 const&> | |
394 | { | |
395 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12>::type type; | |
396 | }; | |
397 | ||
398 | ||
399 | ||
400 | ||
401 | ||
402 | ||
403 | ||
404 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13> | |
405 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13> | |
406 | : mpl::eval_if< | |
407 | has_result_type<F> | |
408 | , mpl::false_ | |
409 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13)> > | |
410 | >::type | |
411 | {}; | |
412 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13> | |
413 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13> | |
414 | { | |
415 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13>::type type; | |
416 | }; | |
417 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13> | |
418 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 & , A12 & , A13 &> | |
419 | { | |
420 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13>::type type; | |
421 | }; | |
422 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13> | |
423 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const& , A12 const& , A13 const&> | |
424 | { | |
425 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13>::type type; | |
426 | }; | |
427 | ||
428 | ||
429 | ||
430 | ||
431 | ||
432 | ||
433 | ||
434 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14> | |
435 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14> | |
436 | : mpl::eval_if< | |
437 | has_result_type<F> | |
438 | , mpl::false_ | |
439 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14)> > | |
440 | >::type | |
441 | {}; | |
442 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14> | |
443 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14> | |
444 | { | |
445 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14>::type type; | |
446 | }; | |
447 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14> | |
448 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 & , A12 & , A13 & , A14 &> | |
449 | { | |
450 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14>::type type; | |
451 | }; | |
452 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14> | |
453 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const& , A12 const& , A13 const& , A14 const&> | |
454 | { | |
455 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14>::type type; | |
456 | }; | |
457 | ||
458 | ||
459 | ||
460 | ||
461 | ||
462 | ||
463 | ||
464 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15> | |
465 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15> | |
466 | : mpl::eval_if< | |
467 | has_result_type<F> | |
468 | , mpl::false_ | |
469 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15)> > | |
470 | >::type | |
471 | {}; | |
472 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15> | |
473 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15> | |
474 | { | |
475 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15>::type type; | |
476 | }; | |
477 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15> | |
478 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 & , A12 & , A13 & , A14 & , A15 &> | |
479 | { | |
480 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15>::type type; | |
481 | }; | |
482 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15> | |
483 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const& , A12 const& , A13 const& , A14 const& , A15 const&> | |
484 | { | |
485 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15>::type type; | |
486 | }; | |
487 | ||
488 | ||
489 | ||
490 | ||
491 | ||
492 | ||
493 | ||
494 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16> | |
495 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16> | |
496 | : mpl::eval_if< | |
497 | has_result_type<F> | |
498 | , mpl::false_ | |
499 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16)> > | |
500 | >::type | |
501 | {}; | |
502 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16> | |
503 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16> | |
504 | { | |
505 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16>::type type; | |
506 | }; | |
507 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16> | |
508 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 & , A12 & , A13 & , A14 & , A15 & , A16 &> | |
509 | { | |
510 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16>::type type; | |
511 | }; | |
512 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16> | |
513 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const& , A12 const& , A13 const& , A14 const& , A15 const& , A16 const&> | |
514 | { | |
515 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16>::type type; | |
516 | }; | |
517 | ||
518 | ||
519 | ||
520 | ||
521 | ||
522 | ||
523 | ||
524 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17> | |
525 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17> | |
526 | : mpl::eval_if< | |
527 | has_result_type<F> | |
528 | , mpl::false_ | |
529 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17)> > | |
530 | >::type | |
531 | {}; | |
532 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17> | |
533 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17> | |
534 | { | |
535 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17>::type type; | |
536 | }; | |
537 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17> | |
538 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 & , A12 & , A13 & , A14 & , A15 & , A16 & , A17 &> | |
539 | { | |
540 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17>::type type; | |
541 | }; | |
542 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17> | |
543 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const& , A12 const& , A13 const& , A14 const& , A15 const& , A16 const& , A17 const&> | |
544 | { | |
545 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17>::type type; | |
546 | }; | |
547 | ||
548 | ||
549 | ||
550 | ||
551 | ||
552 | ||
553 | ||
554 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17 , typename A18> | |
555 | struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17 , A18> | |
556 | : mpl::eval_if< | |
557 | has_result_type<F> | |
558 | , mpl::false_ | |
559 | , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17 , A18)> > | |
560 | >::type | |
561 | {}; | |
562 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17 , typename A18> | |
563 | struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17 , A18> | |
564 | { | |
565 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17 , A18>::type type; | |
566 | }; | |
567 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17 , typename A18> | |
568 | struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 & , A9 & , A10 & , A11 & , A12 & , A13 & , A14 & , A15 & , A16 & , A17 & , A18 &> | |
569 | { | |
570 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17 , A18>::type type; | |
571 | }; | |
572 | template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename A10 , typename A11 , typename A12 , typename A13 , typename A14 , typename A15 , typename A16 , typename A17 , typename A18> | |
573 | struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const& , A9 const& , A10 const& , A11 const& , A12 const& , A13 const& , A14 const& , A15 const& , A16 const& , A17 const& , A18 const&> | |
574 | { | |
575 | typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 , A11 , A12 , A13 , A14 , A15 , A16 , A17 , A18>::type type; | |
576 | }; |