expression.hpp 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461
  1. /*=============================================================================
  2. Copyright (c) 2010 Thomas Heller
  3. Distributed under the Boost Software License, Version 1.0. (See accompanying
  4. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. ==============================================================================*/
  6. #ifndef BOOST_PHOENIX_CORE_DETAIL_EXPRESSION_HPP
  7. #define BOOST_PHOENIX_CORE_DETAIL_EXPRESSION_HPP
  8. #include <boost/preprocessor/empty.hpp>
  9. #include <boost/preprocessor/arithmetic/add.hpp>
  10. #include <boost/preprocessor/arithmetic/dec.hpp>
  11. #include <boost/preprocessor/comma_if.hpp>
  12. #include <boost/preprocessor/comparison/equal.hpp>
  13. #include <boost/preprocessor/seq/size.hpp>
  14. #include <boost/preprocessor/seq/enum.hpp>
  15. #include <boost/preprocessor/seq/for_each.hpp>
  16. #include <boost/preprocessor/seq/pop_back.hpp>
  17. #include <boost/preprocessor/seq/reverse.hpp>
  18. #include <boost/preprocessor/tuple/elem.hpp>
  19. #include <boost/preprocessor/enum_params.hpp>
  20. #include <boost/preprocessor/repeat_from_to.hpp>
  21. #define BOOST_PHOENIX_DEFINE_EXPRESSION(NAME_SEQ, SEQ) \
  22. BOOST_PHOENIX_DEFINE_EXPRESSION_BASE( \
  23. NAME_SEQ \
  24. , SEQ \
  25. , BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_DEFAULT \
  26. , BOOST_PHOENIX_DEFINE_EXPRESSION_RULE_DEFAULT \
  27. , BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_DEFAULT \
  28. , BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_DEFAULT \
  29. , _ \
  30. ) \
  31. /**/
  32. #define BOOST_PHOENIX_DEFINE_EXPRESSION_VARARG(NAME_SEQ, GRAMMAR_SEQ, LIMIT) \
  33. BOOST_PHOENIX_DEFINE_EXPRESSION_BASE( \
  34. NAME_SEQ \
  35. , GRAMMAR_SEQ \
  36. , BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_VARARG \
  37. , BOOST_PHOENIX_DEFINE_EXPRESSION_RULE_VARARG \
  38. , BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_VARARG \
  39. , BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_VARARG \
  40. , LIMIT \
  41. ) \
  42. /**/
  43. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXT(ACTOR, NAME_SEQ, GRAMMAR_SEQ) \
  44. BOOST_PHOENIX_DEFINE_EXPRESSION_BASE( \
  45. NAME_SEQ \
  46. , GRAMMAR_SEQ \
  47. , BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_EXT \
  48. , BOOST_PHOENIX_DEFINE_EXPRESSION_RULE_DEFAULT \
  49. , BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_DEFAULT \
  50. , BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_DEFAULT \
  51. , ACTOR \
  52. ) \
  53. /**/
  54. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXT_VARARG(ACTOR, NAME, GRAMMAR, LIMIT) \
  55. BOOST_PHOENIX_DEFINE_EXPRESSION_BASE( \
  56. NAME_SEQ \
  57. , GRAMMAR_SEQ \
  58. , BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_VARARG_EXT \
  59. , BOOST_PHOENIX_DEFINE_EXPRESSION_RULE_VARARG \
  60. , BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_VARARG \
  61. , BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_VARARG \
  62. , ACTOR \
  63. ) \
  64. /**/
  65. #define BOOST_PHOENIX_DEFINE_EXPRESSION_NAMESPACE(R, D, E) \
  66. namespace E { \
  67. /**/
  68. #define BOOST_PHOENIX_DEFINE_EXPRESSION_NAMESPACE_END(R, D, E) \
  69. } \
  70. /**/
  71. #define BOOST_PHOENIX_DEFINE_EXPRESSION_NS(R, D, E) \
  72. E :: \
  73. /**/
  74. #define BOOST_PHOENIX_DEFINE_EXPRESSION_BASE(NAME_SEQ, GRAMMAR_SEQ, EXPRESSION, RULE, RESULT_OF_MAKE, MAKE_EXPRESSION, DATA) \
  75. BOOST_PP_SEQ_FOR_EACH( \
  76. BOOST_PHOENIX_DEFINE_EXPRESSION_NAMESPACE \
  77. , _ \
  78. , BOOST_PP_SEQ_POP_BACK(NAME_SEQ) \
  79. ) \
  80. namespace tag \
  81. { \
  82. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) {}; \
  83. template <typename Ostream> \
  84. inline Ostream &operator<<( \
  85. Ostream & os \
  86. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ))) \
  87. { \
  88. os << BOOST_PP_STRINGIZE( \
  89. BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  90. ); \
  91. return os; \
  92. } \
  93. } \
  94. namespace expression \
  95. { \
  96. EXPRESSION(NAME_SEQ, GRAMMAR_SEQ, DATA) \
  97. } \
  98. namespace rule \
  99. { \
  100. RULE(NAME_SEQ, GRAMMAR_SEQ, DATA) \
  101. } \
  102. namespace functional \
  103. { \
  104. typedef \
  105. boost::proto::functional::make_expr< \
  106. tag:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  107. > \
  108. BOOST_PP_CAT( \
  109. make_ \
  110. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  111. ); \
  112. } \
  113. namespace result_of \
  114. { \
  115. RESULT_OF_MAKE(NAME_SEQ, GRAMMAR_SEQ, DATA) \
  116. } \
  117. MAKE_EXPRESSION(NAME_SEQ, GRAMMAR_SEQ, DATA) \
  118. \
  119. BOOST_PP_SEQ_FOR_EACH( \
  120. BOOST_PHOENIX_DEFINE_EXPRESSION_NAMESPACE_END \
  121. , _ \
  122. , BOOST_PP_SEQ_POP_BACK(NAME_SEQ) \
  123. ) \
  124. namespace boost { namespace phoenix \
  125. { \
  126. template <typename Dummy> \
  127. struct meta_grammar::case_< \
  128. :: BOOST_PP_SEQ_FOR_EACH( \
  129. BOOST_PHOENIX_DEFINE_EXPRESSION_NS \
  130. , _ \
  131. , BOOST_PP_SEQ_POP_BACK(NAME_SEQ) \
  132. ) tag:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  133. , Dummy \
  134. > \
  135. : enable_rule< \
  136. :: BOOST_PP_SEQ_FOR_EACH( \
  137. BOOST_PHOENIX_DEFINE_EXPRESSION_NS \
  138. , _ \
  139. , BOOST_PP_SEQ_POP_BACK(NAME_SEQ) \
  140. ) rule:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  141. , Dummy \
  142. > \
  143. {}; \
  144. } } \
  145. /**/
  146. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_DEFAULT(NAME_SEQ, GRAMMAR_SEQ, D) \
  147. template <BOOST_PHOENIX_typename_A(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))> \
  148. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  149. : boost::phoenix::expr< \
  150. :: BOOST_PP_SEQ_FOR_EACH( \
  151. BOOST_PHOENIX_DEFINE_EXPRESSION_NS \
  152. , _ \
  153. , BOOST_PP_SEQ_POP_BACK(NAME_SEQ) \
  154. ) tag:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  155. , BOOST_PP_ENUM_PARAMS(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ), A)> \
  156. {}; \
  157. /**/
  158. #define BOOST_PHOENIX_DEFINE_EXPRESSION_RULE_DEFAULT(NAME_SEQ, GRAMMAR_SEQ, D) \
  159. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  160. : expression:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  161. <BOOST_PP_SEQ_ENUM(GRAMMAR_SEQ)> \
  162. {}; \
  163. /**/
  164. #define BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_DEFAULT(NAME_SEQ, GRAMMAR_SEQ, D) \
  165. template <BOOST_PHOENIX_typename_A(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))> \
  166. struct BOOST_PP_CAT(make_, BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ))) \
  167. : boost::result_of< \
  168. functional:: \
  169. BOOST_PP_CAT( \
  170. make_ \
  171. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  172. )(BOOST_PHOENIX_A(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))) \
  173. > \
  174. {}; \
  175. /**/
  176. #define BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_DEFAULT(NAME_SEQ, GRAMMAR_SEQ, D) \
  177. template <BOOST_PHOENIX_typename_A(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))> \
  178. inline \
  179. typename \
  180. result_of::BOOST_PP_CAT( \
  181. make_ \
  182. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  183. )< \
  184. BOOST_PHOENIX_A(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ)) \
  185. >::type const \
  186. BOOST_PP_CAT( \
  187. make_ \
  188. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  189. )( \
  190. BOOST_PHOENIX_A_const_ref_a(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ)) \
  191. ) \
  192. { \
  193. return \
  194. functional::BOOST_PP_CAT( \
  195. make_ \
  196. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  197. )()( \
  198. BOOST_PHOENIX_a(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ)) \
  199. ); \
  200. } \
  201. /**/
  202. #ifndef BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  203. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_VARARG(NAME_SEQ, _G, _L) \
  204. template <typename A0, typename... A> \
  205. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  206. : boost::phoenix::expr< \
  207. tag:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  208. , A0, A... \
  209. > \
  210. {}; \
  211. /**/
  212. #else // BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  213. #define BOOST_PHOENIX_DEFINE_EXPRESSION_VARARG_R(_, N, NAME) \
  214. template < \
  215. BOOST_PHOENIX_typename_A( \
  216. BOOST_PP_ADD( \
  217. N \
  218. , BOOST_PP_SEQ_SIZE(BOOST_PP_TUPLE_ELEM(2, 1, NAME)) \
  219. ) \
  220. ) \
  221. > \
  222. struct BOOST_PP_TUPLE_ELEM(2, 0, NAME)< \
  223. BOOST_PHOENIX_A( \
  224. BOOST_PP_ADD(N, BOOST_PP_SEQ_SIZE(BOOST_PP_TUPLE_ELEM(2, 1, NAME))) \
  225. ) \
  226. > \
  227. : boost::phoenix::expr< \
  228. tag:: BOOST_PP_TUPLE_ELEM(2, 0, NAME) \
  229. , BOOST_PHOENIX_A( \
  230. BOOST_PP_ADD( \
  231. N \
  232. , BOOST_PP_SEQ_SIZE(BOOST_PP_TUPLE_ELEM(2, 1, NAME)) \
  233. ) \
  234. ) \
  235. > \
  236. {}; \
  237. /**/
  238. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_VARARG(NAME_SEQ, GRAMMAR_SEQ, LIMIT) \
  239. template < \
  240. BOOST_PHOENIX_typename_A_void( \
  241. BOOST_PP_ADD( \
  242. LIMIT, BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))) \
  243. ) \
  244. , typename Dummy = void \
  245. > \
  246. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)); \
  247. \
  248. BOOST_PP_REPEAT_FROM_TO( \
  249. 1 \
  250. , BOOST_PP_ADD(LIMIT, BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))) \
  251. , BOOST_PHOENIX_DEFINE_EXPRESSION_VARARG_R \
  252. , ( \
  253. BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  254. , BOOST_PP_SEQ_POP_BACK(GRAMMAR_SEQ) \
  255. ) \
  256. ) \
  257. /**/
  258. #endif // BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  259. #define BOOST_PHOENIX_DEFINE_EXPRESSION_RULE_VARARG(NAME_SEQ, GRAMMAR_SEQ, LIMIT) \
  260. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  261. : expression:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) < \
  262. BOOST_PP_IF( \
  263. BOOST_PP_EQUAL(1, BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ)) \
  264. , BOOST_PP_EMPTY \
  265. , BOOST_PP_IDENTITY( \
  266. BOOST_PP_SEQ_ENUM(BOOST_PP_SEQ_POP_BACK(GRAMMAR_SEQ)) \
  267. ) \
  268. )() \
  269. BOOST_PP_COMMA_IF(BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))) \
  270. boost::proto::vararg< \
  271. BOOST_PP_SEQ_ELEM( \
  272. BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ)) \
  273. , GRAMMAR_SEQ \
  274. ) \
  275. > \
  276. > \
  277. {}; \
  278. /**/
  279. #ifndef BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  280. #define BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_VARARG(NAME_SEQ, _G, _L) \
  281. template <typename A0, typename... A> \
  282. struct BOOST_PP_CAT(make_, BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ))) \
  283. : boost::result_of< \
  284. functional:: BOOST_PP_CAT(make_, BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)))( \
  285. A0, A... \
  286. ) \
  287. > \
  288. {}; \
  289. /**/
  290. #else // BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  291. #define BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_VARARG_R(Z, N, NAME) \
  292. template <BOOST_PHOENIX_typename_A(N)> \
  293. struct BOOST_PP_CAT(make_, NAME) <BOOST_PHOENIX_A(N)> \
  294. : boost::result_of< \
  295. functional:: BOOST_PP_CAT(make_, NAME)( \
  296. BOOST_PHOENIX_A(N) \
  297. ) \
  298. > \
  299. {}; \
  300. /**/
  301. #define BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_VARARG(NAME_SEQ, GRAMMAR_SEQ, LIMIT) \
  302. template <BOOST_PHOENIX_typename_A_void(LIMIT), typename Dummy = void> \
  303. struct BOOST_PP_CAT( \
  304. make_ \
  305. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  306. ); \
  307. BOOST_PP_REPEAT_FROM_TO( \
  308. 1 \
  309. , LIMIT \
  310. , BOOST_PHOENIX_DEFINE_EXPRESSION_RESULT_OF_MAKE_VARARG_R \
  311. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  312. ) \
  313. /**/
  314. #endif // BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  315. #ifndef BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  316. #define BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_VARARG(NAME_SEQ, GRAMMAR_SEQ, LIMIT) \
  317. template <typename A0, typename... A> \
  318. inline \
  319. typename \
  320. result_of:: BOOST_PP_CAT(make_, BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)))< \
  321. A0, A... \
  322. >::type \
  323. BOOST_PP_CAT(make_, BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)))(A0 const& a0, A const&... a) \
  324. { \
  325. return functional::BOOST_PP_CAT(make_, BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)))()(a0, a...); \
  326. } \
  327. /**/
  328. #else // BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  329. #define BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_VARARG_R(Z, N, NAME) \
  330. template <BOOST_PHOENIX_typename_A(N)> \
  331. inline \
  332. typename \
  333. result_of:: BOOST_PP_CAT(make_, NAME)< \
  334. BOOST_PHOENIX_A(N) \
  335. >::type \
  336. BOOST_PP_CAT(make_, NAME)(BOOST_PHOENIX_A_const_ref_a(N)) \
  337. { \
  338. return functional::BOOST_PP_CAT(make_, NAME)()(BOOST_PHOENIX_a(N)); \
  339. } \
  340. /**/
  341. #define BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_VARARG(NAME_SEQ, GRAMMAR_SEQ, LIMIT) \
  342. BOOST_PP_REPEAT_FROM_TO( \
  343. 1 \
  344. , LIMIT \
  345. , BOOST_PHOENIX_DEFINE_EXPRESSION_MAKE_EXPRESSION_VARARG_R \
  346. , BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  347. ) \
  348. /**/
  349. #endif // BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
  350. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXPRESSION_EXT(NAME_SEQ, GRAMMAR_SEQ, ACTOR) \
  351. template <BOOST_PHOENIX_typename_A(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))> \
  352. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  353. : ::boost::phoenix::expr_ext< \
  354. ACTOR \
  355. , tag:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(NAME_SEQ)) \
  356. , BOOST_PHOENIX_A(BOOST_PP_SEQ_SIZE(GRAMMAR_SEQ))> \
  357. {}; \
  358. /**/
  359. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXT_VARARG_R(_, N, NAME) \
  360. template < \
  361. BOOST_PHOENIX_typename_A( \
  362. BOOST_PP_ADD( \
  363. N \
  364. , BOOST_PP_SEQ_SIZE(BOOST_PP_TUPLE_ELEM(3, 1, NAME)) \
  365. ) \
  366. ) \
  367. > \
  368. struct BOOST_PP_TUPLE_ELEM(3, 0, NAME)< \
  369. BOOST_PHOENIX_A( \
  370. BOOST_PP_ADD(N, BOOST_PP_SEQ_SIZE(BOOST_PP_TUPLE_ELEM(3, 1, NAME))) \
  371. ) \
  372. > \
  373. : expr_ext< \
  374. BOOST_PP_TUPLE_ELEM(3, 2, NAME) \
  375. , tag:: BOOST_PP_TUPLE_ELEM(3, 0, NAME) \
  376. , BOOST_PHOENIX_A( \
  377. BOOST_PP_ADD( \
  378. N \
  379. , BOOST_PP_SEQ_SIZE(BOOST_PP_TUPLE_ELEM(3, 1, NAME)) \
  380. ) \
  381. ) \
  382. > \
  383. {}; \
  384. /**/
  385. #define BOOST_PHOENIX_DEFINE_EXPRESSION_EXRPESSION_VARARG_EXT(N, G, D) \
  386. template < \
  387. BOOST_PHOENIX_typename_A_void( \
  388. BOOST_PP_ADD(LIMIT, BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(G))) \
  389. ) \
  390. , typename Dummy = void \
  391. > \
  392. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(N)); \
  393. \
  394. BOOST_PP_REPEAT_FROM_TO( \
  395. 1 \
  396. , BOOST_PP_ADD(LIMIT, BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(G))) \
  397. , BOOST_PHOENIX_DEFINE_EXPRESSION_EXT_VARARG_R \
  398. , ( \
  399. BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(N)) \
  400. , BOOST_PP_SEQ_POP_BACK(G) \
  401. , ACTOR \
  402. ) \
  403. ) \
  404. /**/
  405. #define BOOST_PHOENIX_DEFINE_EXPRESSION_RULE_VARARG_EXT(N, GRAMMAR, D) \
  406. struct BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(N)) \
  407. : expression:: BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_REVERSE(N)) < \
  408. BOOST_PP_IF( \
  409. BOOST_PP_EQUAL(1, BOOST_PP_SEQ_SIZE(GRAMMAR)) \
  410. , BOOST_PP_EMPTY \
  411. , BOOST_PP_IDENTITY( \
  412. BOOST_PP_SEQ_ENUM(BOOST_PP_SEQ_POP_BACK(GRAMMAR)) \
  413. ) \
  414. )() \
  415. BOOST_PP_COMMA_IF(BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(GRAMMAR))) \
  416. proto::vararg< \
  417. BOOST_PP_SEQ_ELEM( \
  418. BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(GRAMMAR)) \
  419. , GRAMMAR \
  420. ) \
  421. > \
  422. > \
  423. {}; \
  424. #endif