1 /*=============================================================================
2 Copyright (c) 2005-2010 Joel de Guzman
3 Copyright (c) 2010 Eric Niebler
4 Copyright (c) 2010 Thomas Heller
6 Distributed under the Boost Software License, Version 1.0. (See accompanying
7 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8 ==============================================================================*/
10 template <typename> class Actor
12 , typename A0 = void , typename A1 = void , typename A2 = void , typename A3 = void , typename A4 = void , typename A5 = void , typename A6 = void , typename A7 = void , typename A8 = void , typename A9 = void
13 , typename Dummy = void>
17 , typename A0 = void , typename A1 = void , typename A2 = void , typename A3 = void , typename A4 = void , typename A5 = void , typename A6 = void , typename A7 = void , typename A8 = void , typename A9 = void
18 , typename Dummy = void
20 struct expr : expr_ext<actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> {};
28 template <template <typename> class Actor, typename Tag, typename A0>
29 struct expr_ext<Actor, Tag, A0>
30 : proto::transform<expr_ext<Actor, Tag, A0>, int>
33 typename proto::result_of::make_expr<
35 , phoenix_default_domain
36 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type
39 typedef Actor<base_type> type;
41 typename proto::nary_expr<Tag, A0>::proto_grammar
43 static type make(typename call_traits<A0>::param_type a0)
46 actor<base_type> const e =
50 , phoenix_default_domain
55 template<typename Expr, typename State, typename Data>
57 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
59 typedef Tag proto_tag;
60 typedef A0 proto_child0;
69 template <template <typename> class Actor, typename Tag, typename A0 , typename A1>
70 struct expr_ext<Actor, Tag, A0 , A1>
71 : proto::transform<expr_ext<Actor, Tag, A0 , A1>, int>
74 typename proto::result_of::make_expr<
76 , phoenix_default_domain
77 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type
80 typedef Actor<base_type> type;
82 typename proto::nary_expr<Tag, A0 , A1>::proto_grammar
84 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1)
87 actor<base_type> const e =
91 , phoenix_default_domain
96 template<typename Expr, typename State, typename Data>
98 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
100 typedef Tag proto_tag;
101 typedef A0 proto_child0; typedef A1 proto_child1;
110 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2>
111 struct expr_ext<Actor, Tag, A0 , A1 , A2>
112 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2>, int>
115 typename proto::result_of::make_expr<
117 , phoenix_default_domain
118 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type
121 typedef Actor<base_type> type;
123 typename proto::nary_expr<Tag, A0 , A1 , A2>::proto_grammar
125 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2)
128 actor<base_type> const e =
132 , phoenix_default_domain
137 template<typename Expr, typename State, typename Data>
139 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
141 typedef Tag proto_tag;
142 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
151 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3>
152 struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3>
153 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3>, int>
156 typename proto::result_of::make_expr<
158 , phoenix_default_domain
159 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A3>::value_type>::type
162 typedef Actor<base_type> type;
164 typename proto::nary_expr<Tag, A0 , A1 , A2 , A3>::proto_grammar
166 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2 , typename call_traits<A3>::param_type a3)
169 actor<base_type> const e =
173 , phoenix_default_domain
178 template<typename Expr, typename State, typename Data>
180 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
182 typedef Tag proto_tag;
183 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
192 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
193 struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4>
194 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4>, int>
197 typename proto::result_of::make_expr<
199 , phoenix_default_domain
200 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A3>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A4>::value_type>::type
203 typedef Actor<base_type> type;
205 typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4>::proto_grammar
207 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2 , typename call_traits<A3>::param_type a3 , typename call_traits<A4>::param_type a4)
210 actor<base_type> const e =
214 , phoenix_default_domain
215 >(a0 , a1 , a2 , a3 , a4)
219 template<typename Expr, typename State, typename Data>
221 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
223 typedef Tag proto_tag;
224 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
233 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
234 struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5>
235 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5>, int>
238 typename proto::result_of::make_expr<
240 , phoenix_default_domain
241 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A3>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A4>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A5>::value_type>::type
244 typedef Actor<base_type> type;
246 typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5>::proto_grammar
248 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2 , typename call_traits<A3>::param_type a3 , typename call_traits<A4>::param_type a4 , typename call_traits<A5>::param_type a5)
251 actor<base_type> const e =
255 , phoenix_default_domain
256 >(a0 , a1 , a2 , a3 , a4 , a5)
260 template<typename Expr, typename State, typename Data>
262 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
264 typedef Tag proto_tag;
265 typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
274 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
275 struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6>
276 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6>, int>
279 typename proto::result_of::make_expr<
281 , phoenix_default_domain
282 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A3>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A4>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A5>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A6>::value_type>::type
285 typedef Actor<base_type> type;
287 typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6>::proto_grammar
289 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2 , typename call_traits<A3>::param_type a3 , typename call_traits<A4>::param_type a4 , typename call_traits<A5>::param_type a5 , typename call_traits<A6>::param_type a6)
292 actor<base_type> const e =
296 , phoenix_default_domain
297 >(a0 , a1 , a2 , a3 , a4 , a5 , a6)
301 template<typename Expr, typename State, typename Data>
303 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
305 typedef Tag proto_tag;
306 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;
315 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
316 struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>
317 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, int>
320 typename proto::result_of::make_expr<
322 , phoenix_default_domain
323 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A3>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A4>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A5>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A6>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A7>::value_type>::type
326 typedef Actor<base_type> type;
328 typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::proto_grammar
330 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2 , typename call_traits<A3>::param_type a3 , typename call_traits<A4>::param_type a4 , typename call_traits<A5>::param_type a5 , typename call_traits<A6>::param_type a6 , typename call_traits<A7>::param_type a7)
333 actor<base_type> const e =
337 , phoenix_default_domain
338 >(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7)
342 template<typename Expr, typename State, typename Data>
344 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
346 typedef Tag proto_tag;
347 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;
356 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
357 struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>
358 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, int>
361 typename proto::result_of::make_expr<
363 , phoenix_default_domain
364 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A3>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A4>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A5>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A6>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A7>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A8>::value_type>::type
367 typedef Actor<base_type> type;
369 typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::proto_grammar
371 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2 , typename call_traits<A3>::param_type a3 , typename call_traits<A4>::param_type a4 , typename call_traits<A5>::param_type a5 , typename call_traits<A6>::param_type a6 , typename call_traits<A7>::param_type a7 , typename call_traits<A8>::param_type a8)
374 actor<base_type> const e =
378 , phoenix_default_domain
379 >(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8)
383 template<typename Expr, typename State, typename Data>
385 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
387 typedef Tag proto_tag;
388 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;
397 template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
398 struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>
399 : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, int>
402 typename proto::result_of::make_expr<
404 , phoenix_default_domain
405 , typename proto::detail::uncvref<typename call_traits<A0>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A1>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A2>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A3>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A4>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A5>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A6>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A7>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A8>::value_type>::type , typename proto::detail::uncvref<typename call_traits<A9>::value_type>::type
408 typedef Actor<base_type> type;
410 typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>::proto_grammar
412 static type make(typename call_traits<A0>::param_type a0 , typename call_traits<A1>::param_type a1 , typename call_traits<A2>::param_type a2 , typename call_traits<A3>::param_type a3 , typename call_traits<A4>::param_type a4 , typename call_traits<A5>::param_type a5 , typename call_traits<A6>::param_type a6 , typename call_traits<A7>::param_type a7 , typename call_traits<A8>::param_type a8 , typename call_traits<A9>::param_type a9)
415 actor<base_type> const e =
419 , phoenix_default_domain
420 >(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9)
424 template<typename Expr, typename State, typename Data>
426 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
428 typedef Tag proto_tag;
429 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;