1 ///////////////////////////////////////////////////////////////////////////////
2 // funop.hpp
3 // Contains definition of funop[n]\<\> class template.
4 //
5 // Copyright 2008 Eric Niebler. Distributed under the Boost
6 // Software License, Version 1.0. (See accompanying file
7 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8
9
10 template<typename Expr, typename Domain >
11 struct funop0
12 {
13 typedef typename proto::base_expr<
14 Domain
15 , tag::function
16 , list1<
17 Expr &
18
19 >
20 >::type type;
21 BOOST_FORCEINLINE
22 static type const call(
23 Expr &e
24
25 )
26 {
27 type that = {
28 e
29
30 };
31 return that;
32 }
33 };
34
35
36 template<typename Expr , typename This, typename Domain>
37 struct funop<Expr(), This, Domain>
38 : funop0<
39 typename detail::same_cv<Expr, This>::type
40 , Domain
41
42 >
43 {};
44
45
46 template<typename Expr, typename Domain , typename A0>
47 struct funop1
48 {
49 typedef typename proto::base_expr<
50 Domain
51 , tag::function
52 , list2<
53 Expr &
54 , typename proto::result_of::as_child<A0, Domain>::type
55 >
56 >::type type;
57 BOOST_FORCEINLINE
58 static type const call(
59 Expr &e
60 , A0 &a0
61 )
62 {
63 type that = {
64 e
65 , proto::as_child<Domain>(a0)
66 };
67 return that;
68 }
69 };
70
71
72 template<typename Expr , typename A0, typename This, typename Domain>
73 struct funop<Expr(A0), This, Domain>
74 : funop1<
75 typename detail::same_cv<Expr, This>::type
76 , Domain
77 , typename remove_reference<A0 >::type
78 >
79 {};
80
81
82 template<typename Expr, typename Domain , typename A0 , typename A1>
83 struct funop2
84 {
85 typedef typename proto::base_expr<
86 Domain
87 , tag::function
88 , list3<
89 Expr &
90 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type
91 >
92 >::type type;
93 BOOST_FORCEINLINE
94 static type const call(
95 Expr &e
96 , A0 &a0 , A1 &a1
97 )
98 {
99 type that = {
100 e
101 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1)
102 };
103 return that;
104 }
105 };
106
107
108 template<typename Expr , typename A0 , typename A1, typename This, typename Domain>
109 struct funop<Expr(A0 , A1), This, Domain>
110 : funop2<
111 typename detail::same_cv<Expr, This>::type
112 , Domain
113 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type
114 >
115 {};
116
117
118 template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2>
119 struct funop3
120 {
121 typedef typename proto::base_expr<
122 Domain
123 , tag::function
124 , list4<
125 Expr &
126 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type
127 >
128 >::type type;
129 BOOST_FORCEINLINE
130 static type const call(
131 Expr &e
132 , A0 &a0 , A1 &a1 , A2 &a2
133 )
134 {
135 type that = {
136 e
137 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2)
138 };
139 return that;
140 }
141 };
142
143
144 template<typename Expr , typename A0 , typename A1 , typename A2, typename This, typename Domain>
145 struct funop<Expr(A0 , A1 , A2), This, Domain>
146 : funop3<
147 typename detail::same_cv<Expr, This>::type
148 , Domain
149 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type
150 >
151 {};
152
153
154 template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3>
155 struct funop4
156 {
157 typedef typename proto::base_expr<
158 Domain
159 , tag::function
160 , list5<
161 Expr &
162 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type
163 >
164 >::type type;
165 BOOST_FORCEINLINE
166 static type const call(
167 Expr &e
168 , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3
169 )
170 {
171 type that = {
172 e
173 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3)
174 };
175 return that;
176 }
177 };
178
179
180 template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3, typename This, typename Domain>
181 struct funop<Expr(A0 , A1 , A2 , A3), This, Domain>
182 : funop4<
183 typename detail::same_cv<Expr, This>::type
184 , Domain
185 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type
186 >
187 {};
188
189
190 template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
191 struct funop5
192 {
193 typedef typename proto::base_expr<
194 Domain
195 , tag::function
196 , list6<
197 Expr &
198 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type
199 >
200 >::type type;
201 BOOST_FORCEINLINE
202 static type const call(
203 Expr &e
204 , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4
205 )
206 {
207 type that = {
208 e
209 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4)
210 };
211 return that;
212 }
213 };
214
215
216 template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4, typename This, typename Domain>
217 struct funop<Expr(A0 , A1 , A2 , A3 , A4), This, Domain>
218 : funop5<
219 typename detail::same_cv<Expr, This>::type
220 , Domain
221 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type
222 >
223 {};
224
225
226 template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
227 struct funop6
228 {
229 typedef typename proto::base_expr<
230 Domain
231 , tag::function
232 , list7<
233 Expr &
234 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type
235 >
236 >::type type;
237 BOOST_FORCEINLINE
238 static type const call(
239 Expr &e
240 , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5
241 )
242 {
243 type that = {
244 e
245 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5)
246 };
247 return that;
248 }
249 };
250
251
252 template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5, typename This, typename Domain>
253 struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5), This, Domain>
254 : funop6<
255 typename detail::same_cv<Expr, This>::type
256 , Domain
257 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type
258 >
259 {};
260
261
262 template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
263 struct funop7
264 {
265 typedef typename proto::base_expr<
266 Domain
267 , tag::function
268 , list8<
269 Expr &
270 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type , typename proto::result_of::as_child<A6, Domain>::type
271 >
272 >::type type;
273 BOOST_FORCEINLINE
274 static type const call(
275 Expr &e
276 , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6
277 )
278 {
279 type that = {
280 e
281 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5) , proto::as_child<Domain>(a6)
282 };
283 return that;
284 }
285 };
286
287
288 template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6, typename This, typename Domain>
289 struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5 , A6), This, Domain>
290 : funop7<
291 typename detail::same_cv<Expr, This>::type
292 , Domain
293 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type , typename remove_reference<A6 >::type
294 >
295 {};
296
297
298 template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
299 struct funop8
300 {
301 typedef typename proto::base_expr<
302 Domain
303 , tag::function
304 , list9<
305 Expr &
306 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type , typename proto::result_of::as_child<A6, Domain>::type , typename proto::result_of::as_child<A7, Domain>::type
307 >
308 >::type type;
309 BOOST_FORCEINLINE
310 static type const call(
311 Expr &e
312 , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7
313 )
314 {
315 type that = {
316 e
317 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5) , proto::as_child<Domain>(a6) , proto::as_child<Domain>(a7)
318 };
319 return that;
320 }
321 };
322
323
324 template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7, typename This, typename Domain>
325 struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), This, Domain>
326 : funop8<
327 typename detail::same_cv<Expr, This>::type
328 , Domain
329 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type , typename remove_reference<A6 >::type , typename remove_reference<A7 >::type
330 >
331 {};
332
333
334 template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
335 struct funop9
336 {
337 typedef typename proto::base_expr<
338 Domain
339 , tag::function
340 , list10<
341 Expr &
342 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type , typename proto::result_of::as_child<A6, Domain>::type , typename proto::result_of::as_child<A7, Domain>::type , typename proto::result_of::as_child<A8, Domain>::type
343 >
344 >::type type;
345 BOOST_FORCEINLINE
346 static type const call(
347 Expr &e
348 , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8
349 )
350 {
351 type that = {
352 e
353 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5) , proto::as_child<Domain>(a6) , proto::as_child<Domain>(a7) , proto::as_child<Domain>(a8)
354 };
355 return that;
356 }
357 };
358
359
360 template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8, typename This, typename Domain>
361 struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), This, Domain>
362 : funop9<
363 typename detail::same_cv<Expr, This>::type
364 , Domain
365 , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type , typename remove_reference<A6 >::type , typename remove_reference<A7 >::type , typename remove_reference<A8 >::type
366 >
367 {};
368