sequence_type.hpp 8.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274
  1. // (C) Copyright Edward Diener 2011-2015
  2. // Use, modification and distribution are subject to the Boost Software License,
  3. // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  4. // http://www.boost.org/LICENSE_1_0.txt).
  5. #if !defined(BOOST_VMD_DETAIL_SEQUENCE_TYPE_HPP)
  6. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_HPP
  7. #include <boost/preprocessor/comparison/equal.hpp>
  8. #include <boost/preprocessor/control/iif.hpp>
  9. #include <boost/preprocessor/tuple/elem.hpp>
  10. #include <boost/preprocessor/variadic/elem.hpp>
  11. #include <boost/preprocessor/variadic/size.hpp>
  12. #include <boost/vmd/identity.hpp>
  13. #include <boost/vmd/is_empty.hpp>
  14. #include <boost/vmd/detail/equal_type.hpp>
  15. #include <boost/vmd/detail/is_array_common.hpp>
  16. #include <boost/vmd/detail/is_list.hpp>
  17. #include <boost/vmd/detail/modifiers.hpp>
  18. #include <boost/vmd/detail/mods.hpp>
  19. #include <boost/vmd/detail/sequence_elem.hpp>
  20. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_ARRAY(dtuple) \
  21. BOOST_PP_IIF \
  22. ( \
  23. BOOST_VMD_DETAIL_IS_ARRAY_SYNTAX(BOOST_PP_TUPLE_ELEM(1,dtuple)), \
  24. BOOST_VMD_TYPE_ARRAY, \
  25. BOOST_VMD_TYPE_TUPLE \
  26. ) \
  27. /**/
  28. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_ARRAY_D(d,dtuple) \
  29. BOOST_PP_IIF \
  30. ( \
  31. BOOST_VMD_DETAIL_IS_ARRAY_SYNTAX_D(d,BOOST_PP_TUPLE_ELEM(1,dtuple)), \
  32. BOOST_VMD_TYPE_ARRAY, \
  33. BOOST_VMD_TYPE_TUPLE \
  34. ) \
  35. /**/
  36. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_LIST(dtuple) \
  37. BOOST_PP_IIF \
  38. ( \
  39. BOOST_VMD_DETAIL_IS_LIST(BOOST_PP_TUPLE_ELEM(1,dtuple)), \
  40. BOOST_VMD_TYPE_LIST, \
  41. BOOST_VMD_TYPE_TUPLE \
  42. ) \
  43. /**/
  44. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_LIST_D(d,dtuple) \
  45. BOOST_PP_IIF \
  46. ( \
  47. BOOST_VMD_DETAIL_IS_LIST_D(d,BOOST_PP_TUPLE_ELEM(1,dtuple)), \
  48. BOOST_VMD_TYPE_LIST, \
  49. BOOST_VMD_TYPE_TUPLE \
  50. ) \
  51. /**/
  52. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_BOTH(dtuple) \
  53. BOOST_VMD_IDENTITY_RESULT \
  54. ( \
  55. BOOST_PP_IIF \
  56. ( \
  57. BOOST_VMD_DETAIL_EQUAL_TYPE \
  58. ( \
  59. BOOST_VMD_TYPE_TUPLE, \
  60. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_LIST(dtuple) \
  61. ), \
  62. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_ARRAY, \
  63. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_LIST) \
  64. ) \
  65. (dtuple) \
  66. ) \
  67. /**/
  68. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_BOTH_D(d,dtuple) \
  69. BOOST_VMD_IDENTITY_RESULT \
  70. ( \
  71. BOOST_PP_IIF \
  72. ( \
  73. BOOST_VMD_DETAIL_EQUAL_TYPE_D \
  74. ( \
  75. d, \
  76. BOOST_VMD_TYPE_TUPLE, \
  77. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_LIST_D(d,dtuple) \
  78. ), \
  79. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_ARRAY_D, \
  80. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_LIST) \
  81. ) \
  82. (d,dtuple) \
  83. ) \
  84. /**/
  85. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MODS(dtuple,rtype) \
  86. BOOST_VMD_IDENTITY_RESULT \
  87. ( \
  88. BOOST_PP_IIF \
  89. ( \
  90. BOOST_PP_EQUAL(rtype,BOOST_VMD_DETAIL_MODS_RETURN_ARRAY), \
  91. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_ARRAY, \
  92. BOOST_PP_IIF \
  93. ( \
  94. BOOST_PP_EQUAL(rtype,BOOST_VMD_DETAIL_MODS_RETURN_LIST), \
  95. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_LIST, \
  96. BOOST_PP_IIF \
  97. ( \
  98. BOOST_PP_EQUAL(rtype,BOOST_VMD_DETAIL_MODS_RETURN_TUPLE), \
  99. BOOST_VMD_IDENTITY(BOOST_PP_TUPLE_ELEM(0,dtuple)), \
  100. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_BOTH \
  101. ) \
  102. ) \
  103. ) \
  104. ) \
  105. (dtuple) \
  106. /**/
  107. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MODS_D(d,dtuple,rtype) \
  108. BOOST_VMD_IDENTITY_RESULT \
  109. ( \
  110. BOOST_PP_IIF \
  111. ( \
  112. BOOST_PP_EQUAL_D(d,rtype,BOOST_VMD_DETAIL_MODS_RETURN_ARRAY), \
  113. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_ARRAY_D, \
  114. BOOST_PP_IIF \
  115. ( \
  116. BOOST_PP_EQUAL_D(d,rtype,BOOST_VMD_DETAIL_MODS_RETURN_LIST), \
  117. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_LIST_D, \
  118. BOOST_PP_IIF \
  119. ( \
  120. BOOST_PP_EQUAL_D(d,rtype,BOOST_VMD_DETAIL_MODS_RETURN_TUPLE), \
  121. BOOST_VMD_IDENTITY(BOOST_PP_TUPLE_ELEM(0,dtuple)), \
  122. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_BOTH_D \
  123. ) \
  124. ) \
  125. ) \
  126. ) \
  127. (d,dtuple) \
  128. /**/
  129. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MORE(dtuple,...) \
  130. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MODS \
  131. ( \
  132. dtuple, \
  133. BOOST_VMD_DETAIL_MODS_RESULT_RETURN_TYPE \
  134. ( \
  135. BOOST_VMD_DETAIL_NEW_MODS(BOOST_VMD_ALLOW_ALL,__VA_ARGS__) \
  136. ) \
  137. ) \
  138. /**/
  139. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MORE_D(d,dtuple,...) \
  140. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MODS_D \
  141. ( \
  142. d, \
  143. dtuple, \
  144. BOOST_VMD_DETAIL_MODS_RESULT_RETURN_TYPE \
  145. ( \
  146. BOOST_VMD_DETAIL_NEW_MODS_D(d,BOOST_VMD_ALLOW_ALL,__VA_ARGS__) \
  147. ) \
  148. ) \
  149. /**/
  150. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_UNARY(dtuple,...) \
  151. BOOST_VMD_IDENTITY_RESULT \
  152. ( \
  153. BOOST_PP_IIF \
  154. ( \
  155. BOOST_VMD_DETAIL_EQUAL_TYPE(BOOST_VMD_TYPE_TUPLE,BOOST_PP_TUPLE_ELEM(0,dtuple)), \
  156. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MORE, \
  157. BOOST_VMD_IDENTITY(BOOST_PP_TUPLE_ELEM(0,dtuple)) \
  158. ) \
  159. (dtuple,__VA_ARGS__) \
  160. ) \
  161. /**/
  162. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_UNARY_D(d,dtuple,...) \
  163. BOOST_VMD_IDENTITY_RESULT \
  164. ( \
  165. BOOST_PP_IIF \
  166. ( \
  167. BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,BOOST_VMD_TYPE_TUPLE,BOOST_PP_TUPLE_ELEM(0,dtuple)), \
  168. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_MORE_D, \
  169. BOOST_VMD_IDENTITY(BOOST_PP_TUPLE_ELEM(0,dtuple)) \
  170. ) \
  171. (d,dtuple,__VA_ARGS__) \
  172. ) \
  173. /**/
  174. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_SEQUENCE(tuple,...) \
  175. BOOST_VMD_IDENTITY_RESULT \
  176. ( \
  177. BOOST_PP_IIF \
  178. ( \
  179. BOOST_VMD_IS_EMPTY(BOOST_PP_TUPLE_ELEM(1,tuple)), \
  180. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_UNARY, \
  181. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_SEQUENCE) \
  182. ) \
  183. (BOOST_PP_TUPLE_ELEM(0,tuple),__VA_ARGS__) \
  184. ) \
  185. /**/
  186. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_SEQUENCE_D(d,tuple,...) \
  187. BOOST_VMD_IDENTITY_RESULT \
  188. ( \
  189. BOOST_PP_IIF \
  190. ( \
  191. BOOST_VMD_IS_EMPTY(BOOST_PP_TUPLE_ELEM(1,tuple)), \
  192. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_UNARY_D, \
  193. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_SEQUENCE) \
  194. ) \
  195. (d,BOOST_PP_TUPLE_ELEM(0,tuple),__VA_ARGS__) \
  196. ) \
  197. /**/
  198. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE(tuple,...) \
  199. BOOST_VMD_IDENTITY_RESULT \
  200. ( \
  201. BOOST_PP_IIF \
  202. ( \
  203. BOOST_VMD_IS_EMPTY(BOOST_PP_TUPLE_ELEM(0,tuple)), \
  204. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_EMPTY), \
  205. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_SEQUENCE \
  206. ) \
  207. (tuple,__VA_ARGS__) \
  208. ) \
  209. /**/
  210. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_D(d,tuple,...) \
  211. BOOST_VMD_IDENTITY_RESULT \
  212. ( \
  213. BOOST_PP_IIF \
  214. ( \
  215. BOOST_VMD_IS_EMPTY(BOOST_PP_TUPLE_ELEM(0,tuple)), \
  216. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_EMPTY), \
  217. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_SEQUENCE_D \
  218. ) \
  219. (d,tuple,__VA_ARGS__) \
  220. ) \
  221. /**/
  222. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE(...) \
  223. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE \
  224. ( \
  225. BOOST_VMD_DETAIL_SEQUENCE_ELEM \
  226. ( \
  227. BOOST_VMD_ALLOW_ALL, \
  228. 0, \
  229. BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
  230. BOOST_VMD_RETURN_AFTER, \
  231. BOOST_VMD_RETURN_TYPE_TUPLE \
  232. ), \
  233. __VA_ARGS__ \
  234. ) \
  235. /**/
  236. #define BOOST_VMD_DETAIL_SEQUENCE_TYPE_D(d,...) \
  237. BOOST_VMD_DETAIL_SEQUENCE_TYPE_TUPLE_D \
  238. ( \
  239. d, \
  240. BOOST_VMD_DETAIL_SEQUENCE_ELEM_D \
  241. ( \
  242. d, \
  243. BOOST_VMD_ALLOW_ALL, \
  244. 0, \
  245. BOOST_PP_VARIADIC_ELEM(0,__VA_ARGS__), \
  246. BOOST_VMD_RETURN_AFTER, \
  247. BOOST_VMD_RETURN_TYPE_TUPLE \
  248. ), \
  249. __VA_ARGS__ \
  250. ) \
  251. /**/
  252. #endif /* BOOST_VMD_DETAIL_SEQUENCE_TYPE_HPP */