expression_10.hpp 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430
  1. /*=============================================================================
  2. Copyright (c) 2005-2010 Joel de Guzman
  3. Copyright (c) 2010 Eric Niebler
  4. Copyright (c) 2010 Thomas Heller
  5. Distributed under the Boost Software License, Version 1.0. (See accompanying
  6. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  7. ==============================================================================*/
  8. template <
  9. template <typename> class Actor
  10. , typename Tag
  11. , 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
  12. , typename Dummy = void>
  13. struct expr_ext;
  14. template <
  15. typename Tag
  16. , 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
  17. , typename Dummy = void
  18. >
  19. struct expr : expr_ext<actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> {};
  20. template <template <typename> class Actor, typename Tag, typename A0>
  21. struct expr_ext<Actor, Tag, A0>
  22. : proto::transform<expr_ext<Actor, Tag, A0>, int>
  23. {
  24. typedef
  25. typename proto::result_of::make_expr<
  26. Tag
  27. , phoenix_default_domain
  28. , typename proto::detail::uncvref<A0>::type
  29. >::type
  30. base_type;
  31. typedef Actor<base_type> type;
  32. typedef
  33. typename proto::nary_expr<Tag, A0>::proto_grammar
  34. proto_grammar;
  35. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0)
  36. {
  37. actor<base_type> const e =
  38. {
  39. proto::make_expr<
  40. Tag
  41. , phoenix_default_domain
  42. >(a0)
  43. };
  44. return e;
  45. }
  46. template<typename Expr, typename State, typename Data>
  47. struct impl
  48. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  49. {};
  50. typedef Tag proto_tag;
  51. typedef A0 proto_child0;
  52. };
  53. template <template <typename> class Actor, typename Tag, typename A0 , typename A1>
  54. struct expr_ext<Actor, Tag, A0 , A1>
  55. : proto::transform<expr_ext<Actor, Tag, A0 , A1>, int>
  56. {
  57. typedef
  58. typename proto::result_of::make_expr<
  59. Tag
  60. , phoenix_default_domain
  61. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type
  62. >::type
  63. base_type;
  64. typedef Actor<base_type> type;
  65. typedef
  66. typename proto::nary_expr<Tag, A0 , A1>::proto_grammar
  67. proto_grammar;
  68. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1)
  69. {
  70. actor<base_type> const e =
  71. {
  72. proto::make_expr<
  73. Tag
  74. , phoenix_default_domain
  75. >(a0 , a1)
  76. };
  77. return e;
  78. }
  79. template<typename Expr, typename State, typename Data>
  80. struct impl
  81. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  82. {};
  83. typedef Tag proto_tag;
  84. typedef A0 proto_child0; typedef A1 proto_child1;
  85. };
  86. template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2>
  87. struct expr_ext<Actor, Tag, A0 , A1 , A2>
  88. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2>, int>
  89. {
  90. typedef
  91. typename proto::result_of::make_expr<
  92. Tag
  93. , phoenix_default_domain
  94. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type
  95. >::type
  96. base_type;
  97. typedef Actor<base_type> type;
  98. typedef
  99. typename proto::nary_expr<Tag, A0 , A1 , A2>::proto_grammar
  100. proto_grammar;
  101. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2)
  102. {
  103. actor<base_type> const e =
  104. {
  105. proto::make_expr<
  106. Tag
  107. , phoenix_default_domain
  108. >(a0 , a1 , a2)
  109. };
  110. return e;
  111. }
  112. template<typename Expr, typename State, typename Data>
  113. struct impl
  114. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  115. {};
  116. typedef Tag proto_tag;
  117. typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
  118. };
  119. template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3>
  120. struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3>
  121. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3>, int>
  122. {
  123. typedef
  124. typename proto::result_of::make_expr<
  125. Tag
  126. , phoenix_default_domain
  127. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type , typename proto::detail::uncvref<A3>::type
  128. >::type
  129. base_type;
  130. typedef Actor<base_type> type;
  131. typedef
  132. typename proto::nary_expr<Tag, A0 , A1 , A2 , A3>::proto_grammar
  133. proto_grammar;
  134. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2 , typename boost::add_reference<typename boost::add_const<A3>::type>::type a3)
  135. {
  136. actor<base_type> const e =
  137. {
  138. proto::make_expr<
  139. Tag
  140. , phoenix_default_domain
  141. >(a0 , a1 , a2 , a3)
  142. };
  143. return e;
  144. }
  145. template<typename Expr, typename State, typename Data>
  146. struct impl
  147. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  148. {};
  149. typedef Tag proto_tag;
  150. typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
  151. };
  152. template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
  153. struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4>
  154. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4>, int>
  155. {
  156. typedef
  157. typename proto::result_of::make_expr<
  158. Tag
  159. , phoenix_default_domain
  160. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type , typename proto::detail::uncvref<A3>::type , typename proto::detail::uncvref<A4>::type
  161. >::type
  162. base_type;
  163. typedef Actor<base_type> type;
  164. typedef
  165. typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4>::proto_grammar
  166. proto_grammar;
  167. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2 , typename boost::add_reference<typename boost::add_const<A3>::type>::type a3 , typename boost::add_reference<typename boost::add_const<A4>::type>::type a4)
  168. {
  169. actor<base_type> const e =
  170. {
  171. proto::make_expr<
  172. Tag
  173. , phoenix_default_domain
  174. >(a0 , a1 , a2 , a3 , a4)
  175. };
  176. return e;
  177. }
  178. template<typename Expr, typename State, typename Data>
  179. struct impl
  180. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  181. {};
  182. typedef Tag proto_tag;
  183. typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
  184. };
  185. template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
  186. struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5>
  187. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5>, int>
  188. {
  189. typedef
  190. typename proto::result_of::make_expr<
  191. Tag
  192. , phoenix_default_domain
  193. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type , typename proto::detail::uncvref<A3>::type , typename proto::detail::uncvref<A4>::type , typename proto::detail::uncvref<A5>::type
  194. >::type
  195. base_type;
  196. typedef Actor<base_type> type;
  197. typedef
  198. typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5>::proto_grammar
  199. proto_grammar;
  200. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2 , typename boost::add_reference<typename boost::add_const<A3>::type>::type a3 , typename boost::add_reference<typename boost::add_const<A4>::type>::type a4 , typename boost::add_reference<typename boost::add_const<A5>::type>::type a5)
  201. {
  202. actor<base_type> const e =
  203. {
  204. proto::make_expr<
  205. Tag
  206. , phoenix_default_domain
  207. >(a0 , a1 , a2 , a3 , a4 , a5)
  208. };
  209. return e;
  210. }
  211. template<typename Expr, typename State, typename Data>
  212. struct impl
  213. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  214. {};
  215. typedef Tag proto_tag;
  216. typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
  217. };
  218. template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
  219. struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6>
  220. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6>, int>
  221. {
  222. typedef
  223. typename proto::result_of::make_expr<
  224. Tag
  225. , phoenix_default_domain
  226. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type , typename proto::detail::uncvref<A3>::type , typename proto::detail::uncvref<A4>::type , typename proto::detail::uncvref<A5>::type , typename proto::detail::uncvref<A6>::type
  227. >::type
  228. base_type;
  229. typedef Actor<base_type> type;
  230. typedef
  231. typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6>::proto_grammar
  232. proto_grammar;
  233. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2 , typename boost::add_reference<typename boost::add_const<A3>::type>::type a3 , typename boost::add_reference<typename boost::add_const<A4>::type>::type a4 , typename boost::add_reference<typename boost::add_const<A5>::type>::type a5 , typename boost::add_reference<typename boost::add_const<A6>::type>::type a6)
  234. {
  235. actor<base_type> const e =
  236. {
  237. proto::make_expr<
  238. Tag
  239. , phoenix_default_domain
  240. >(a0 , a1 , a2 , a3 , a4 , a5 , a6)
  241. };
  242. return e;
  243. }
  244. template<typename Expr, typename State, typename Data>
  245. struct impl
  246. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  247. {};
  248. typedef Tag proto_tag;
  249. 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;
  250. };
  251. template <template <typename> class Actor, typename Tag, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
  252. struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>
  253. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, int>
  254. {
  255. typedef
  256. typename proto::result_of::make_expr<
  257. Tag
  258. , phoenix_default_domain
  259. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type , typename proto::detail::uncvref<A3>::type , typename proto::detail::uncvref<A4>::type , typename proto::detail::uncvref<A5>::type , typename proto::detail::uncvref<A6>::type , typename proto::detail::uncvref<A7>::type
  260. >::type
  261. base_type;
  262. typedef Actor<base_type> type;
  263. typedef
  264. typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::proto_grammar
  265. proto_grammar;
  266. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2 , typename boost::add_reference<typename boost::add_const<A3>::type>::type a3 , typename boost::add_reference<typename boost::add_const<A4>::type>::type a4 , typename boost::add_reference<typename boost::add_const<A5>::type>::type a5 , typename boost::add_reference<typename boost::add_const<A6>::type>::type a6 , typename boost::add_reference<typename boost::add_const<A7>::type>::type a7)
  267. {
  268. actor<base_type> const e =
  269. {
  270. proto::make_expr<
  271. Tag
  272. , phoenix_default_domain
  273. >(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7)
  274. };
  275. return e;
  276. }
  277. template<typename Expr, typename State, typename Data>
  278. struct impl
  279. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  280. {};
  281. typedef Tag proto_tag;
  282. 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;
  283. };
  284. 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>
  285. struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>
  286. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, int>
  287. {
  288. typedef
  289. typename proto::result_of::make_expr<
  290. Tag
  291. , phoenix_default_domain
  292. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type , typename proto::detail::uncvref<A3>::type , typename proto::detail::uncvref<A4>::type , typename proto::detail::uncvref<A5>::type , typename proto::detail::uncvref<A6>::type , typename proto::detail::uncvref<A7>::type , typename proto::detail::uncvref<A8>::type
  293. >::type
  294. base_type;
  295. typedef Actor<base_type> type;
  296. typedef
  297. typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::proto_grammar
  298. proto_grammar;
  299. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2 , typename boost::add_reference<typename boost::add_const<A3>::type>::type a3 , typename boost::add_reference<typename boost::add_const<A4>::type>::type a4 , typename boost::add_reference<typename boost::add_const<A5>::type>::type a5 , typename boost::add_reference<typename boost::add_const<A6>::type>::type a6 , typename boost::add_reference<typename boost::add_const<A7>::type>::type a7 , typename boost::add_reference<typename boost::add_const<A8>::type>::type a8)
  300. {
  301. actor<base_type> const e =
  302. {
  303. proto::make_expr<
  304. Tag
  305. , phoenix_default_domain
  306. >(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8)
  307. };
  308. return e;
  309. }
  310. template<typename Expr, typename State, typename Data>
  311. struct impl
  312. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  313. {};
  314. typedef Tag proto_tag;
  315. 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;
  316. };
  317. 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>
  318. struct expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>
  319. : proto::transform<expr_ext<Actor, Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, int>
  320. {
  321. typedef
  322. typename proto::result_of::make_expr<
  323. Tag
  324. , phoenix_default_domain
  325. , typename proto::detail::uncvref<A0>::type , typename proto::detail::uncvref<A1>::type , typename proto::detail::uncvref<A2>::type , typename proto::detail::uncvref<A3>::type , typename proto::detail::uncvref<A4>::type , typename proto::detail::uncvref<A5>::type , typename proto::detail::uncvref<A6>::type , typename proto::detail::uncvref<A7>::type , typename proto::detail::uncvref<A8>::type , typename proto::detail::uncvref<A9>::type
  326. >::type
  327. base_type;
  328. typedef Actor<base_type> type;
  329. typedef
  330. typename proto::nary_expr<Tag, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>::proto_grammar
  331. proto_grammar;
  332. static type make(typename boost::add_reference<typename boost::add_const<A0>::type>::type a0 , typename boost::add_reference<typename boost::add_const<A1>::type>::type a1 , typename boost::add_reference<typename boost::add_const<A2>::type>::type a2 , typename boost::add_reference<typename boost::add_const<A3>::type>::type a3 , typename boost::add_reference<typename boost::add_const<A4>::type>::type a4 , typename boost::add_reference<typename boost::add_const<A5>::type>::type a5 , typename boost::add_reference<typename boost::add_const<A6>::type>::type a6 , typename boost::add_reference<typename boost::add_const<A7>::type>::type a7 , typename boost::add_reference<typename boost::add_const<A8>::type>::type a8 , typename boost::add_reference<typename boost::add_const<A9>::type>::type a9)
  333. {
  334. actor<base_type> const e =
  335. {
  336. proto::make_expr<
  337. Tag
  338. , phoenix_default_domain
  339. >(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9)
  340. };
  341. return e;
  342. }
  343. template<typename Expr, typename State, typename Data>
  344. struct impl
  345. : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
  346. {};
  347. typedef Tag proto_tag;
  348. 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;
  349. };