1 ///////////////////////////////////////////////////////////////////////////////
2 /// \file traits.hpp
3 /// Definitions of proto::function, proto::nary_expr and proto::result_of::child_c
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 namespace result_of
9 {
10
11
12
13
14
15
16 template<typename Expr>
17 struct child_c<Expr, 0>
18 {
19
20 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
21
22
23 typedef typename Expr::proto_child0 value_type;
24
25
26
27
28
29 typedef typename detail::expr_traits<typename Expr::proto_child0>::value_type type;
30 };
31 template<typename Expr>
32 struct child_c<Expr &, 0>
33 {
34
35 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
36
37
38 typedef typename Expr::proto_child0 value_type;
39
40
41
42
43
44 typedef typename detail::expr_traits<typename Expr::proto_child0>::reference type;
45
46
47 BOOST_FORCEINLINE
48 static type call(Expr &e)
49 {
50 return e.proto_base().child0;
51 }
52 };
53 template<typename Expr>
54 struct child_c<Expr const &, 0>
55 {
56
57 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
58
59
60 typedef typename Expr::proto_child0 value_type;
61
62
63
64
65
66 typedef typename detail::expr_traits<typename Expr::proto_child0>::const_reference type;
67
68
69 BOOST_FORCEINLINE
70 static type call(Expr const &e)
71 {
72 return e.proto_base().child0;
73 }
74 };
75 }
76
77
78
79
80 template<typename A0>
81 struct function
82 <
83 A0
84 , void , void , void , void , void , void , void , void , void
85 >
86 : proto::transform<
87 function<
88 A0
89 , void , void , void , void , void , void , void , void , void
90 >
91 , int
92 >
93 {
94 typedef proto::expr<proto::tag::function, list1<A0>, 1> type;
95 typedef proto::basic_expr<proto::tag::function, list1<A0>, 1> proto_grammar;
96 template<typename Expr, typename State, typename Data>
97 struct impl
98 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
99 {};
100
101 typedef proto::tag::function proto_tag;
102 typedef A0 proto_child0;
103 typedef detail::if_vararg<A0> proto_child1; typedef detail::if_vararg<A0> proto_child2; typedef detail::if_vararg<A0> proto_child3; typedef detail::if_vararg<A0> proto_child4; typedef detail::if_vararg<A0> proto_child5; typedef detail::if_vararg<A0> proto_child6; typedef detail::if_vararg<A0> proto_child7; typedef detail::if_vararg<A0> proto_child8; typedef detail::if_vararg<A0> proto_child9;
104 };
105
106
107
108
109
110
111
112
113 template<typename Tag , typename A0>
114 struct nary_expr
115 <
116 Tag
117 , A0
118 , void , void , void , void , void , void , void , void , void
119 >
120 : proto::transform<
121 nary_expr<
122 Tag
123 , A0
124 , void , void , void , void , void , void , void , void , void
125 >
126 , int
127 >
128 {
129 typedef proto::expr<Tag, list1<A0>, 1> type;
130 typedef proto::basic_expr<Tag, list1<A0>, 1> proto_grammar;
131 template<typename Expr, typename State, typename Data>
132 struct impl
133 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
134 {};
135
136 typedef Tag proto_tag;
137 typedef A0 proto_child0;
138 typedef detail::if_vararg<A0> proto_child1; typedef detail::if_vararg<A0> proto_child2; typedef detail::if_vararg<A0> proto_child3; typedef detail::if_vararg<A0> proto_child4; typedef detail::if_vararg<A0> proto_child5; typedef detail::if_vararg<A0> proto_child6; typedef detail::if_vararg<A0> proto_child7; typedef detail::if_vararg<A0> proto_child8; typedef detail::if_vararg<A0> proto_child9;
139 };
140 namespace detail
141 {
142 template<
143 template<typename> class T
144 , typename A0
145 >
146 struct is_callable_<T<A0> BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)>
147 : is_same<A0, callable>
148 {};
149 }
150 namespace result_of
151 {
152
153
154
155
156
157
158 template<typename Expr>
159 struct child_c<Expr, 1>
160 {
161
162 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
163
164
165 typedef typename Expr::proto_child1 value_type;
166
167
168
169
170
171 typedef typename detail::expr_traits<typename Expr::proto_child1>::value_type type;
172 };
173 template<typename Expr>
174 struct child_c<Expr &, 1>
175 {
176
177 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
178
179
180 typedef typename Expr::proto_child1 value_type;
181
182
183
184
185
186 typedef typename detail::expr_traits<typename Expr::proto_child1>::reference type;
187
188
189 BOOST_FORCEINLINE
190 static type call(Expr &e)
191 {
192 return e.proto_base().child1;
193 }
194 };
195 template<typename Expr>
196 struct child_c<Expr const &, 1>
197 {
198
199 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
200
201
202 typedef typename Expr::proto_child1 value_type;
203
204
205
206
207
208 typedef typename detail::expr_traits<typename Expr::proto_child1>::const_reference type;
209
210
211 BOOST_FORCEINLINE
212 static type call(Expr const &e)
213 {
214 return e.proto_base().child1;
215 }
216 };
217 }
218
219
220
221
222 template<typename A0 , typename A1>
223 struct function
224 <
225 A0 , A1
226 , void , void , void , void , void , void , void , void
227 >
228 : proto::transform<
229 function<
230 A0 , A1
231 , void , void , void , void , void , void , void , void
232 >
233 , int
234 >
235 {
236 typedef proto::expr<proto::tag::function, list2<A0 , A1>, 2> type;
237 typedef proto::basic_expr<proto::tag::function, list2<A0 , A1>, 2> proto_grammar;
238 template<typename Expr, typename State, typename Data>
239 struct impl
240 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
241 {};
242
243 typedef proto::tag::function proto_tag;
244 typedef A0 proto_child0; typedef A1 proto_child1;
245 typedef detail::if_vararg<A1> proto_child2; typedef detail::if_vararg<A1> proto_child3; typedef detail::if_vararg<A1> proto_child4; typedef detail::if_vararg<A1> proto_child5; typedef detail::if_vararg<A1> proto_child6; typedef detail::if_vararg<A1> proto_child7; typedef detail::if_vararg<A1> proto_child8; typedef detail::if_vararg<A1> proto_child9;
246 };
247
248
249
250
251
252
253
254
255 template<typename Tag , typename A0 , typename A1>
256 struct nary_expr
257 <
258 Tag
259 , A0 , A1
260 , void , void , void , void , void , void , void , void
261 >
262 : proto::transform<
263 nary_expr<
264 Tag
265 , A0 , A1
266 , void , void , void , void , void , void , void , void
267 >
268 , int
269 >
270 {
271 typedef proto::expr<Tag, list2<A0 , A1>, 2> type;
272 typedef proto::basic_expr<Tag, list2<A0 , A1>, 2> proto_grammar;
273 template<typename Expr, typename State, typename Data>
274 struct impl
275 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
276 {};
277
278 typedef Tag proto_tag;
279 typedef A0 proto_child0; typedef A1 proto_child1;
280 typedef detail::if_vararg<A1> proto_child2; typedef detail::if_vararg<A1> proto_child3; typedef detail::if_vararg<A1> proto_child4; typedef detail::if_vararg<A1> proto_child5; typedef detail::if_vararg<A1> proto_child6; typedef detail::if_vararg<A1> proto_child7; typedef detail::if_vararg<A1> proto_child8; typedef detail::if_vararg<A1> proto_child9;
281 };
282 namespace detail
283 {
284 template<
285 template<typename , typename> class T
286 , typename A0 , typename A1
287 >
288 struct is_callable_<T<A0 , A1> BOOST_PROTO_TEMPLATE_ARITY_PARAM(2)>
289 : is_same<A1, callable>
290 {};
291 }
292 namespace result_of
293 {
294
295
296
297
298
299
300 template<typename Expr>
301 struct child_c<Expr, 2>
302 {
303
304 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
305
306
307 typedef typename Expr::proto_child2 value_type;
308
309
310
311
312
313 typedef typename detail::expr_traits<typename Expr::proto_child2>::value_type type;
314 };
315 template<typename Expr>
316 struct child_c<Expr &, 2>
317 {
318
319 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
320
321
322 typedef typename Expr::proto_child2 value_type;
323
324
325
326
327
328 typedef typename detail::expr_traits<typename Expr::proto_child2>::reference type;
329
330
331 BOOST_FORCEINLINE
332 static type call(Expr &e)
333 {
334 return e.proto_base().child2;
335 }
336 };
337 template<typename Expr>
338 struct child_c<Expr const &, 2>
339 {
340
341 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
342
343
344 typedef typename Expr::proto_child2 value_type;
345
346
347
348
349
350 typedef typename detail::expr_traits<typename Expr::proto_child2>::const_reference type;
351
352
353 BOOST_FORCEINLINE
354 static type call(Expr const &e)
355 {
356 return e.proto_base().child2;
357 }
358 };
359 }
360
361
362
363
364 template<typename A0 , typename A1 , typename A2>
365 struct function
366 <
367 A0 , A1 , A2
368 , void , void , void , void , void , void , void
369 >
370 : proto::transform<
371 function<
372 A0 , A1 , A2
373 , void , void , void , void , void , void , void
374 >
375 , int
376 >
377 {
378 typedef proto::expr<proto::tag::function, list3<A0 , A1 , A2>, 3> type;
379 typedef proto::basic_expr<proto::tag::function, list3<A0 , A1 , A2>, 3> proto_grammar;
380 template<typename Expr, typename State, typename Data>
381 struct impl
382 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
383 {};
384
385 typedef proto::tag::function proto_tag;
386 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
387 typedef detail::if_vararg<A2> proto_child3; typedef detail::if_vararg<A2> proto_child4; typedef detail::if_vararg<A2> proto_child5; typedef detail::if_vararg<A2> proto_child6; typedef detail::if_vararg<A2> proto_child7; typedef detail::if_vararg<A2> proto_child8; typedef detail::if_vararg<A2> proto_child9;
388 };
389
390
391
392
393
394
395
396
397 template<typename Tag , typename A0 , typename A1 , typename A2>
398 struct nary_expr
399 <
400 Tag
401 , A0 , A1 , A2
402 , void , void , void , void , void , void , void
403 >
404 : proto::transform<
405 nary_expr<
406 Tag
407 , A0 , A1 , A2
408 , void , void , void , void , void , void , void
409 >
410 , int
411 >
412 {
413 typedef proto::expr<Tag, list3<A0 , A1 , A2>, 3> type;
414 typedef proto::basic_expr<Tag, list3<A0 , A1 , A2>, 3> proto_grammar;
415 template<typename Expr, typename State, typename Data>
416 struct impl
417 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
418 {};
419
420 typedef Tag proto_tag;
421 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
422 typedef detail::if_vararg<A2> proto_child3; typedef detail::if_vararg<A2> proto_child4; typedef detail::if_vararg<A2> proto_child5; typedef detail::if_vararg<A2> proto_child6; typedef detail::if_vararg<A2> proto_child7; typedef detail::if_vararg<A2> proto_child8; typedef detail::if_vararg<A2> proto_child9;
423 };
424 namespace detail
425 {
426 template<
427 template<typename , typename , typename> class T
428 , typename A0 , typename A1 , typename A2
429 >
430 struct is_callable_<T<A0 , A1 , A2> BOOST_PROTO_TEMPLATE_ARITY_PARAM(3)>
431 : is_same<A2, callable>
432 {};
433 }
434 namespace result_of
435 {
436
437
438
439
440
441
442 template<typename Expr>
443 struct child_c<Expr, 3>
444 {
445
446 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
447
448
449 typedef typename Expr::proto_child3 value_type;
450
451
452
453
454
455 typedef typename detail::expr_traits<typename Expr::proto_child3>::value_type type;
456 };
457 template<typename Expr>
458 struct child_c<Expr &, 3>
459 {
460
461 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
462
463
464 typedef typename Expr::proto_child3 value_type;
465
466
467
468
469
470 typedef typename detail::expr_traits<typename Expr::proto_child3>::reference type;
471
472
473 BOOST_FORCEINLINE
474 static type call(Expr &e)
475 {
476 return e.proto_base().child3;
477 }
478 };
479 template<typename Expr>
480 struct child_c<Expr const &, 3>
481 {
482
483 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
484
485
486 typedef typename Expr::proto_child3 value_type;
487
488
489
490
491
492 typedef typename detail::expr_traits<typename Expr::proto_child3>::const_reference type;
493
494
495 BOOST_FORCEINLINE
496 static type call(Expr const &e)
497 {
498 return e.proto_base().child3;
499 }
500 };
501 }
502
503
504
505
506 template<typename A0 , typename A1 , typename A2 , typename A3>
507 struct function
508 <
509 A0 , A1 , A2 , A3
510 , void , void , void , void , void , void
511 >
512 : proto::transform<
513 function<
514 A0 , A1 , A2 , A3
515 , void , void , void , void , void , void
516 >
517 , int
518 >
519 {
520 typedef proto::expr<proto::tag::function, list4<A0 , A1 , A2 , A3>, 4> type;
521 typedef proto::basic_expr<proto::tag::function, list4<A0 , A1 , A2 , A3>, 4> proto_grammar;
522 template<typename Expr, typename State, typename Data>
523 struct impl
524 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
525 {};
526
527 typedef proto::tag::function proto_tag;
528 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
529 typedef detail::if_vararg<A3> proto_child4; typedef detail::if_vararg<A3> proto_child5; typedef detail::if_vararg<A3> proto_child6; typedef detail::if_vararg<A3> proto_child7; typedef detail::if_vararg<A3> proto_child8; typedef detail::if_vararg<A3> proto_child9;
530 };
531
532
533
534
535
536
537
538
539 template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3>
540 struct nary_expr
541 <
542 Tag
543 , A0 , A1 , A2 , A3
544 , void , void , void , void , void , void
545 >
546 : proto::transform<
547 nary_expr<
548 Tag
549 , A0 , A1 , A2 , A3
550 , void , void , void , void , void , void
551 >
552 , int
553 >
554 {
555 typedef proto::expr<Tag, list4<A0 , A1 , A2 , A3>, 4> type;
556 typedef proto::basic_expr<Tag, list4<A0 , A1 , A2 , A3>, 4> proto_grammar;
557 template<typename Expr, typename State, typename Data>
558 struct impl
559 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
560 {};
561
562 typedef Tag proto_tag;
563 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
564 typedef detail::if_vararg<A3> proto_child4; typedef detail::if_vararg<A3> proto_child5; typedef detail::if_vararg<A3> proto_child6; typedef detail::if_vararg<A3> proto_child7; typedef detail::if_vararg<A3> proto_child8; typedef detail::if_vararg<A3> proto_child9;
565 };
566 namespace detail
567 {
568 template<
569 template<typename , typename , typename , typename> class T
570 , typename A0 , typename A1 , typename A2 , typename A3
571 >
572 struct is_callable_<T<A0 , A1 , A2 , A3> BOOST_PROTO_TEMPLATE_ARITY_PARAM(4)>
573 : is_same<A3, callable>
574 {};
575 }
576 namespace result_of
577 {
578
579
580
581
582
583
584 template<typename Expr>
585 struct child_c<Expr, 4>
586 {
587
588 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
589
590
591 typedef typename Expr::proto_child4 value_type;
592
593
594
595
596
597 typedef typename detail::expr_traits<typename Expr::proto_child4>::value_type type;
598 };
599 template<typename Expr>
600 struct child_c<Expr &, 4>
601 {
602
603 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
604
605
606 typedef typename Expr::proto_child4 value_type;
607
608
609
610
611
612 typedef typename detail::expr_traits<typename Expr::proto_child4>::reference type;
613
614
615 BOOST_FORCEINLINE
616 static type call(Expr &e)
617 {
618 return e.proto_base().child4;
619 }
620 };
621 template<typename Expr>
622 struct child_c<Expr const &, 4>
623 {
624
625 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
626
627
628 typedef typename Expr::proto_child4 value_type;
629
630
631
632
633
634 typedef typename detail::expr_traits<typename Expr::proto_child4>::const_reference type;
635
636
637 BOOST_FORCEINLINE
638 static type call(Expr const &e)
639 {
640 return e.proto_base().child4;
641 }
642 };
643 }
644
645
646
647
648 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
649 struct function
650 <
651 A0 , A1 , A2 , A3 , A4
652 , void , void , void , void , void
653 >
654 : proto::transform<
655 function<
656 A0 , A1 , A2 , A3 , A4
657 , void , void , void , void , void
658 >
659 , int
660 >
661 {
662 typedef proto::expr<proto::tag::function, list5<A0 , A1 , A2 , A3 , A4>, 5> type;
663 typedef proto::basic_expr<proto::tag::function, list5<A0 , A1 , A2 , A3 , A4>, 5> proto_grammar;
664 template<typename Expr, typename State, typename Data>
665 struct impl
666 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
667 {};
668
669 typedef proto::tag::function proto_tag;
670 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
671 typedef detail::if_vararg<A4> proto_child5; typedef detail::if_vararg<A4> proto_child6; typedef detail::if_vararg<A4> proto_child7; typedef detail::if_vararg<A4> proto_child8; typedef detail::if_vararg<A4> proto_child9;
672 };
673
674
675
676
677
678
679
680
681 template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
682 struct nary_expr
683 <
684 Tag
685 , A0 , A1 , A2 , A3 , A4
686 , void , void , void , void , void
687 >
688 : proto::transform<
689 nary_expr<
690 Tag
691 , A0 , A1 , A2 , A3 , A4
692 , void , void , void , void , void
693 >
694 , int
695 >
696 {
697 typedef proto::expr<Tag, list5<A0 , A1 , A2 , A3 , A4>, 5> type;
698 typedef proto::basic_expr<Tag, list5<A0 , A1 , A2 , A3 , A4>, 5> proto_grammar;
699 template<typename Expr, typename State, typename Data>
700 struct impl
701 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
702 {};
703
704 typedef Tag proto_tag;
705 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
706 typedef detail::if_vararg<A4> proto_child5; typedef detail::if_vararg<A4> proto_child6; typedef detail::if_vararg<A4> proto_child7; typedef detail::if_vararg<A4> proto_child8; typedef detail::if_vararg<A4> proto_child9;
707 };
708 namespace detail
709 {
710 template<
711 template<typename , typename , typename , typename , typename> class T
712 , typename A0 , typename A1 , typename A2 , typename A3 , typename A4
713 >
714 struct is_callable_<T<A0 , A1 , A2 , A3 , A4> BOOST_PROTO_TEMPLATE_ARITY_PARAM(5)>
715 : is_same<A4, callable>
716 {};
717 }
718 namespace result_of
719 {
720
721
722
723
724
725
726 template<typename Expr>
727 struct child_c<Expr, 5>
728 {
729
730 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
731
732
733 typedef typename Expr::proto_child5 value_type;
734
735
736
737
738
739 typedef typename detail::expr_traits<typename Expr::proto_child5>::value_type type;
740 };
741 template<typename Expr>
742 struct child_c<Expr &, 5>
743 {
744
745 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
746
747
748 typedef typename Expr::proto_child5 value_type;
749
750
751
752
753
754 typedef typename detail::expr_traits<typename Expr::proto_child5>::reference type;
755
756
757 BOOST_FORCEINLINE
758 static type call(Expr &e)
759 {
760 return e.proto_base().child5;
761 }
762 };
763 template<typename Expr>
764 struct child_c<Expr const &, 5>
765 {
766
767 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
768
769
770 typedef typename Expr::proto_child5 value_type;
771
772
773
774
775
776 typedef typename detail::expr_traits<typename Expr::proto_child5>::const_reference type;
777
778
779 BOOST_FORCEINLINE
780 static type call(Expr const &e)
781 {
782 return e.proto_base().child5;
783 }
784 };
785 }
786
787
788
789
790 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
791 struct function
792 <
793 A0 , A1 , A2 , A3 , A4 , A5
794 , void , void , void , void
795 >
796 : proto::transform<
797 function<
798 A0 , A1 , A2 , A3 , A4 , A5
799 , void , void , void , void
800 >
801 , int
802 >
803 {
804 typedef proto::expr<proto::tag::function, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> type;
805 typedef proto::basic_expr<proto::tag::function, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> proto_grammar;
806 template<typename Expr, typename State, typename Data>
807 struct impl
808 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
809 {};
810
811 typedef proto::tag::function proto_tag;
812 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
813 typedef detail::if_vararg<A5> proto_child6; typedef detail::if_vararg<A5> proto_child7; typedef detail::if_vararg<A5> proto_child8; typedef detail::if_vararg<A5> proto_child9;
814 };
815
816
817
818
819
820
821
822
823 template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
824 struct nary_expr
825 <
826 Tag
827 , A0 , A1 , A2 , A3 , A4 , A5
828 , void , void , void , void
829 >
830 : proto::transform<
831 nary_expr<
832 Tag
833 , A0 , A1 , A2 , A3 , A4 , A5
834 , void , void , void , void
835 >
836 , int
837 >
838 {
839 typedef proto::expr<Tag, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> type;
840 typedef proto::basic_expr<Tag, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> proto_grammar;
841 template<typename Expr, typename State, typename Data>
842 struct impl
843 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
844 {};
845
846 typedef Tag proto_tag;
847 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
848 typedef detail::if_vararg<A5> proto_child6; typedef detail::if_vararg<A5> proto_child7; typedef detail::if_vararg<A5> proto_child8; typedef detail::if_vararg<A5> proto_child9;
849 };
850 namespace detail
851 {
852 template<
853 template<typename , typename , typename , typename , typename , typename> class T
854 , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5
855 >
856 struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5> BOOST_PROTO_TEMPLATE_ARITY_PARAM(6)>
857 : is_same<A5, callable>
858 {};
859 }
860 namespace result_of
861 {
862
863
864
865
866
867
868 template<typename Expr>
869 struct child_c<Expr, 6>
870 {
871
872 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
873
874
875 typedef typename Expr::proto_child6 value_type;
876
877
878
879
880
881 typedef typename detail::expr_traits<typename Expr::proto_child6>::value_type type;
882 };
883 template<typename Expr>
884 struct child_c<Expr &, 6>
885 {
886
887 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
888
889
890 typedef typename Expr::proto_child6 value_type;
891
892
893
894
895
896 typedef typename detail::expr_traits<typename Expr::proto_child6>::reference type;
897
898
899 BOOST_FORCEINLINE
900 static type call(Expr &e)
901 {
902 return e.proto_base().child6;
903 }
904 };
905 template<typename Expr>
906 struct child_c<Expr const &, 6>
907 {
908
909 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
910
911
912 typedef typename Expr::proto_child6 value_type;
913
914
915
916
917
918 typedef typename detail::expr_traits<typename Expr::proto_child6>::const_reference type;
919
920
921 BOOST_FORCEINLINE
922 static type call(Expr const &e)
923 {
924 return e.proto_base().child6;
925 }
926 };
927 }
928
929
930
931
932 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
933 struct function
934 <
935 A0 , A1 , A2 , A3 , A4 , A5 , A6
936 , void , void , void
937 >
938 : proto::transform<
939 function<
940 A0 , A1 , A2 , A3 , A4 , A5 , A6
941 , void , void , void
942 >
943 , int
944 >
945 {
946 typedef proto::expr<proto::tag::function, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> type;
947 typedef proto::basic_expr<proto::tag::function, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> proto_grammar;
948 template<typename Expr, typename State, typename Data>
949 struct impl
950 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
951 {};
952
953 typedef proto::tag::function proto_tag;
954 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6;
955 typedef detail::if_vararg<A6> proto_child7; typedef detail::if_vararg<A6> proto_child8; typedef detail::if_vararg<A6> proto_child9;
956 };
957
958
959
960
961
962
963
964
965 template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
966 struct nary_expr
967 <
968 Tag
969 , A0 , A1 , A2 , A3 , A4 , A5 , A6
970 , void , void , void
971 >
972 : proto::transform<
973 nary_expr<
974 Tag
975 , A0 , A1 , A2 , A3 , A4 , A5 , A6
976 , void , void , void
977 >
978 , int
979 >
980 {
981 typedef proto::expr<Tag, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> type;
982 typedef proto::basic_expr<Tag, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> proto_grammar;
983 template<typename Expr, typename State, typename Data>
984 struct impl
985 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
986 {};
987
988 typedef Tag proto_tag;
989 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6;
990 typedef detail::if_vararg<A6> proto_child7; typedef detail::if_vararg<A6> proto_child8; typedef detail::if_vararg<A6> proto_child9;
991 };
992 namespace detail
993 {
994 template<
995 template<typename , typename , typename , typename , typename , typename , typename> class T
996 , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6
997 >
998 struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6> BOOST_PROTO_TEMPLATE_ARITY_PARAM(7)>
999 : is_same<A6, callable>
1000 {};
1001 }
1002 namespace result_of
1003 {
1004
1005
1006
1007
1008
1009
1010 template<typename Expr>
1011 struct child_c<Expr, 7>
1012 {
1013
1014 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1015
1016
1017 typedef typename Expr::proto_child7 value_type;
1018
1019
1020
1021
1022
1023 typedef typename detail::expr_traits<typename Expr::proto_child7>::value_type type;
1024 };
1025 template<typename Expr>
1026 struct child_c<Expr &, 7>
1027 {
1028
1029 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1030
1031
1032 typedef typename Expr::proto_child7 value_type;
1033
1034
1035
1036
1037
1038 typedef typename detail::expr_traits<typename Expr::proto_child7>::reference type;
1039
1040
1041 BOOST_FORCEINLINE
1042 static type call(Expr &e)
1043 {
1044 return e.proto_base().child7;
1045 }
1046 };
1047 template<typename Expr>
1048 struct child_c<Expr const &, 7>
1049 {
1050
1051 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1052
1053
1054 typedef typename Expr::proto_child7 value_type;
1055
1056
1057
1058
1059
1060 typedef typename detail::expr_traits<typename Expr::proto_child7>::const_reference type;
1061
1062
1063 BOOST_FORCEINLINE
1064 static type call(Expr const &e)
1065 {
1066 return e.proto_base().child7;
1067 }
1068 };
1069 }
1070
1071
1072
1073
1074 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
1075 struct function
1076 <
1077 A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
1078 , void , void
1079 >
1080 : proto::transform<
1081 function<
1082 A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
1083 , void , void
1084 >
1085 , int
1086 >
1087 {
1088 typedef proto::expr<proto::tag::function, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> type;
1089 typedef proto::basic_expr<proto::tag::function, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> proto_grammar;
1090 template<typename Expr, typename State, typename Data>
1091 struct impl
1092 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
1093 {};
1094
1095 typedef proto::tag::function proto_tag;
1096 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7;
1097 typedef detail::if_vararg<A7> proto_child8; typedef detail::if_vararg<A7> proto_child9;
1098 };
1099
1100
1101
1102
1103
1104
1105
1106
1107 template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
1108 struct nary_expr
1109 <
1110 Tag
1111 , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
1112 , void , void
1113 >
1114 : proto::transform<
1115 nary_expr<
1116 Tag
1117 , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
1118 , void , void
1119 >
1120 , int
1121 >
1122 {
1123 typedef proto::expr<Tag, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> type;
1124 typedef proto::basic_expr<Tag, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> proto_grammar;
1125 template<typename Expr, typename State, typename Data>
1126 struct impl
1127 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
1128 {};
1129
1130 typedef Tag proto_tag;
1131 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7;
1132 typedef detail::if_vararg<A7> proto_child8; typedef detail::if_vararg<A7> proto_child9;
1133 };
1134 namespace detail
1135 {
1136 template<
1137 template<typename , typename , typename , typename , typename , typename , typename , typename> class T
1138 , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7
1139 >
1140 struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7> BOOST_PROTO_TEMPLATE_ARITY_PARAM(8)>
1141 : is_same<A7, callable>
1142 {};
1143 }
1144 namespace result_of
1145 {
1146
1147
1148
1149
1150
1151
1152 template<typename Expr>
1153 struct child_c<Expr, 8>
1154 {
1155
1156 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1157
1158
1159 typedef typename Expr::proto_child8 value_type;
1160
1161
1162
1163
1164
1165 typedef typename detail::expr_traits<typename Expr::proto_child8>::value_type type;
1166 };
1167 template<typename Expr>
1168 struct child_c<Expr &, 8>
1169 {
1170
1171 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1172
1173
1174 typedef typename Expr::proto_child8 value_type;
1175
1176
1177
1178
1179
1180 typedef typename detail::expr_traits<typename Expr::proto_child8>::reference type;
1181
1182
1183 BOOST_FORCEINLINE
1184 static type call(Expr &e)
1185 {
1186 return e.proto_base().child8;
1187 }
1188 };
1189 template<typename Expr>
1190 struct child_c<Expr const &, 8>
1191 {
1192
1193 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1194
1195
1196 typedef typename Expr::proto_child8 value_type;
1197
1198
1199
1200
1201
1202 typedef typename detail::expr_traits<typename Expr::proto_child8>::const_reference type;
1203
1204
1205 BOOST_FORCEINLINE
1206 static type call(Expr const &e)
1207 {
1208 return e.proto_base().child8;
1209 }
1210 };
1211 }
1212
1213
1214
1215
1216 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
1217 struct function
1218 <
1219 A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
1220 , void
1221 >
1222 : proto::transform<
1223 function<
1224 A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
1225 , void
1226 >
1227 , int
1228 >
1229 {
1230 typedef proto::expr<proto::tag::function, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> type;
1231 typedef proto::basic_expr<proto::tag::function, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> proto_grammar;
1232 template<typename Expr, typename State, typename Data>
1233 struct impl
1234 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
1235 {};
1236
1237 typedef proto::tag::function proto_tag;
1238 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8;
1239 typedef detail::if_vararg<A8> proto_child9;
1240 };
1241
1242
1243
1244
1245
1246
1247
1248
1249 template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
1250 struct nary_expr
1251 <
1252 Tag
1253 , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
1254 , void
1255 >
1256 : proto::transform<
1257 nary_expr<
1258 Tag
1259 , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
1260 , void
1261 >
1262 , int
1263 >
1264 {
1265 typedef proto::expr<Tag, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> type;
1266 typedef proto::basic_expr<Tag, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> proto_grammar;
1267 template<typename Expr, typename State, typename Data>
1268 struct impl
1269 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
1270 {};
1271
1272 typedef Tag proto_tag;
1273 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8;
1274 typedef detail::if_vararg<A8> proto_child9;
1275 };
1276 namespace detail
1277 {
1278 template<
1279 template<typename , typename , typename , typename , typename , typename , typename , typename , typename> class T
1280 , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8
1281 >
1282 struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8> BOOST_PROTO_TEMPLATE_ARITY_PARAM(9)>
1283 : is_same<A8, callable>
1284 {};
1285 }
1286 namespace result_of
1287 {
1288
1289
1290
1291
1292
1293
1294 template<typename Expr>
1295 struct child_c<Expr, 9>
1296 {
1297
1298 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1299
1300
1301 typedef typename Expr::proto_child9 value_type;
1302
1303
1304
1305
1306
1307 typedef typename detail::expr_traits<typename Expr::proto_child9>::value_type type;
1308 };
1309 template<typename Expr>
1310 struct child_c<Expr &, 9>
1311 {
1312
1313 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1314
1315
1316 typedef typename Expr::proto_child9 value_type;
1317
1318
1319
1320
1321
1322 typedef typename detail::expr_traits<typename Expr::proto_child9>::reference type;
1323
1324
1325 BOOST_FORCEINLINE
1326 static type call(Expr &e)
1327 {
1328 return e.proto_base().child9;
1329 }
1330 };
1331 template<typename Expr>
1332 struct child_c<Expr const &, 9>
1333 {
1334
1335 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1336
1337
1338 typedef typename Expr::proto_child9 value_type;
1339
1340
1341
1342
1343
1344 typedef typename detail::expr_traits<typename Expr::proto_child9>::const_reference type;
1345
1346
1347 BOOST_FORCEINLINE
1348 static type call(Expr const &e)
1349 {
1350 return e.proto_base().child9;
1351 }
1352 };
1353 }
1354
1355
1356
1357
1358 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
1359 struct function
1360 : proto::transform<
1361 function<
1362 A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9
1363
1364 >
1365 , int
1366 >
1367 {
1368 typedef proto::expr<proto::tag::function, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> type;
1369 typedef proto::basic_expr<proto::tag::function, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> proto_grammar;
1370 template<typename Expr, typename State, typename Data>
1371 struct impl
1372 : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
1373 {};
1374
1375 typedef proto::tag::function proto_tag;
1376 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8; typedef A9 proto_child9;
1377
1378 };
1379
1380
1381
1382
1383
1384
1385
1386
1387 template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
1388 struct nary_expr
1389 : proto::transform<
1390 nary_expr<
1391 Tag
1392 , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9
1393
1394 >
1395 , int
1396 >
1397 {
1398 typedef proto::expr<Tag, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> type;
1399 typedef proto::basic_expr<Tag, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> proto_grammar;
1400 template<typename Expr, typename State, typename Data>
1401 struct impl
1402 : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
1403 {};
1404
1405 typedef Tag proto_tag;
1406 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8; typedef A9 proto_child9;
1407
1408 };
1409 namespace detail
1410 {
1411 template<
1412 template<typename , typename , typename , typename , typename , typename , typename , typename , typename , typename> class T
1413 , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9
1414 >
1415 struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> BOOST_PROTO_TEMPLATE_ARITY_PARAM(10)>
1416 : is_same<A9, callable>
1417 {};
1418 }
1419 namespace result_of
1420 {
1421
1422
1423
1424
1425
1426
1427 template<typename Expr>
1428 struct child_c<Expr, 10>
1429 {
1430
1431 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1432
1433
1434 typedef typename Expr::proto_child10 value_type;
1435
1436
1437
1438
1439
1440 typedef typename detail::expr_traits<typename Expr::proto_child10>::value_type type;
1441 };
1442 template<typename Expr>
1443 struct child_c<Expr &, 10>
1444 {
1445
1446 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1447
1448
1449 typedef typename Expr::proto_child10 value_type;
1450
1451
1452
1453
1454
1455 typedef typename detail::expr_traits<typename Expr::proto_child10>::reference type;
1456
1457
1458 BOOST_FORCEINLINE
1459 static type call(Expr &e)
1460 {
1461 return e.proto_base().child10;
1462 }
1463 };
1464 template<typename Expr>
1465 struct child_c<Expr const &, 10>
1466 {
1467
1468 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
1469
1470
1471 typedef typename Expr::proto_child10 value_type;
1472
1473
1474
1475
1476
1477 typedef typename detail::expr_traits<typename Expr::proto_child10>::const_reference type;
1478
1479
1480 BOOST_FORCEINLINE
1481 static type call(Expr const &e)
1482 {
1483 return e.proto_base().child10;
1484 }
1485 };
1486 }
1487