is_list.hpp 5.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207
  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_IS_LIST_HPP)
  6. #define BOOST_VMD_DETAIL_IS_LIST_HPP
  7. #include <boost/preprocessor/cat.hpp>
  8. #include <boost/preprocessor/comparison/equal.hpp>
  9. #include <boost/preprocessor/control/iif.hpp>
  10. #include <boost/preprocessor/control/while.hpp>
  11. #include <boost/preprocessor/debug/assert.hpp>
  12. #include <boost/preprocessor/facilities/empty.hpp>
  13. #include <boost/preprocessor/logical/bitor.hpp>
  14. #include <boost/preprocessor/logical/compl.hpp>
  15. #include <boost/preprocessor/punctuation/is_begin_parens.hpp>
  16. #include <boost/preprocessor/tuple/elem.hpp>
  17. #include <boost/preprocessor/tuple/size.hpp>
  18. #include <boost/preprocessor/variadic/elem.hpp>
  19. #include <boost/preprocessor/variadic/size.hpp>
  20. #include <boost/vmd/identity.hpp>
  21. #include <boost/vmd/is_empty.hpp>
  22. #include <boost/vmd/is_identifier.hpp>
  23. #include <boost/vmd/is_tuple.hpp>
  24. #include <boost/vmd/detail/nil_registration.hpp>
  25. #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE(d,x) \
  26. BOOST_PP_IIF \
  27. ( \
  28. BOOST_VMD_IS_TUPLE(x), \
  29. BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE, \
  30. BOOST_VMD_DETAIL_IS_LIST_ASSERT \
  31. ) \
  32. (d,x) \
  33. /**/
  34. #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE(d,x) \
  35. BOOST_PP_IIF \
  36. ( \
  37. BOOST_PP_EQUAL_D(d,2,BOOST_PP_TUPLE_SIZE(x)), \
  38. BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND, \
  39. BOOST_VMD_DETAIL_IS_LIST_ASSERT \
  40. ) \
  41. (x) \
  42. /**/
  43. #define BOOST_VMD_DETAIL_IS_LIST_PRED(d,state) \
  44. BOOST_VMD_IDENTITY_RESULT \
  45. ( \
  46. BOOST_PP_IIF \
  47. ( \
  48. BOOST_PP_IS_BEGIN_PARENS(state), \
  49. BOOST_VMD_IDENTITY(1), \
  50. BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL \
  51. ) \
  52. (state) \
  53. ) \
  54. /**/
  55. #define BOOST_VMD_DETAIL_IS_LIST_OP(d,state) \
  56. BOOST_PP_IIF \
  57. ( \
  58. BOOST_PP_IS_BEGIN_PARENS(state), \
  59. BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE, \
  60. BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL \
  61. ) \
  62. (d,state) \
  63. /**/
  64. #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL(d,x) \
  65. BOOST_PP_IIF \
  66. ( \
  67. BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \
  68. BOOST_PP_NIL, \
  69. BOOST_VMD_IS_LIST_FAILURE \
  70. ) \
  71. /**/
  72. #define BOOST_VMD_DETAIL_IS_LIST_ASSERT(...) \
  73. BOOST_VMD_IS_LIST_FAILURE \
  74. /**/
  75. #define BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL(x) \
  76. BOOST_PP_COMPL \
  77. ( \
  78. BOOST_PP_BITOR \
  79. ( \
  80. BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \
  81. BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
  82. ) \
  83. ) \
  84. /**/
  85. #define BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x) \
  86. BOOST_VMD_IS_EMPTY \
  87. ( \
  88. BOOST_PP_CAT \
  89. ( \
  90. BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_, \
  91. x \
  92. ) BOOST_PP_EMPTY() \
  93. ) \
  94. /**/
  95. #define BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_BOOST_PP_NIL
  96. #define BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
  97. BOOST_VMD_IS_EMPTY \
  98. ( \
  99. BOOST_PP_CAT(BOOST_VMD_DETAIL_IS_LIST_FHELPER_,x) BOOST_PP_EMPTY() \
  100. ) \
  101. /**/
  102. #define BOOST_VMD_DETAIL_IS_LIST_FHELPER_BOOST_VMD_IS_LIST_FAILURE
  103. #define BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND(x) \
  104. BOOST_PP_TUPLE_ELEM(1,x) \
  105. /**/
  106. #define BOOST_VMD_DETAIL_IS_LIST_RESULT(x) \
  107. BOOST_PP_COMPL \
  108. ( \
  109. BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
  110. ) \
  111. /**/
  112. #define BOOST_VMD_DETAIL_IS_LIST_WLOOP(list) \
  113. BOOST_VMD_DETAIL_IS_LIST_RESULT \
  114. ( \
  115. BOOST_PP_WHILE \
  116. ( \
  117. BOOST_VMD_DETAIL_IS_LIST_PRED, \
  118. BOOST_VMD_DETAIL_IS_LIST_OP, \
  119. list \
  120. ) \
  121. ) \
  122. /**/
  123. #define BOOST_VMD_DETAIL_IS_LIST_WLOOP_D(d,list) \
  124. BOOST_VMD_DETAIL_IS_LIST_RESULT \
  125. ( \
  126. BOOST_PP_WHILE_ ## d \
  127. ( \
  128. BOOST_VMD_DETAIL_IS_LIST_PRED, \
  129. BOOST_VMD_DETAIL_IS_LIST_OP, \
  130. list \
  131. ) \
  132. ) \
  133. /**/
  134. #define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS(list) \
  135. BOOST_VMD_IS_IDENTIFIER(list,BOOST_PP_NIL) \
  136. /**/
  137. #define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D(d,list) \
  138. BOOST_VMD_IS_IDENTIFIER_D(d,list,BOOST_PP_NIL) \
  139. /**/
  140. #define BOOST_VMD_DETAIL_IS_LIST_PROCESS(param) \
  141. BOOST_PP_IIF \
  142. ( \
  143. BOOST_PP_IS_BEGIN_PARENS(param), \
  144. BOOST_VMD_DETAIL_IS_LIST_WLOOP, \
  145. BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS \
  146. ) \
  147. (param) \
  148. /**/
  149. #define BOOST_VMD_DETAIL_IS_LIST(param) \
  150. BOOST_VMD_IDENTITY_RESULT \
  151. ( \
  152. BOOST_PP_IIF \
  153. ( \
  154. BOOST_VMD_IS_EMPTY(param), \
  155. BOOST_VMD_IDENTITY(0), \
  156. BOOST_VMD_DETAIL_IS_LIST_PROCESS \
  157. ) \
  158. (param) \
  159. ) \
  160. /**/
  161. #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_D(d,param) \
  162. BOOST_PP_IIF \
  163. ( \
  164. BOOST_PP_IS_BEGIN_PARENS(param), \
  165. BOOST_VMD_DETAIL_IS_LIST_WLOOP_D, \
  166. BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D \
  167. ) \
  168. (d,param) \
  169. /**/
  170. #define BOOST_VMD_DETAIL_IS_LIST_D(d,param) \
  171. BOOST_VMD_IDENTITY_RESULT \
  172. ( \
  173. BOOST_PP_IIF \
  174. ( \
  175. BOOST_VMD_IS_EMPTY(param), \
  176. BOOST_VMD_IDENTITY(0), \
  177. BOOST_VMD_DETAIL_IS_LIST_PROCESS_D \
  178. ) \
  179. (d,param) \
  180. ) \
  181. /**/
  182. #endif /* BOOST_VMD_DETAIL_IS_LIST_HPP */