1 2 // (C) Copyright Edward Diener 2011-2015 3 // Use, modification and distribution are subject to the Boost Software License, 4 // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at 5 // http://www.boost.org/LICENSE_1_0.txt). 6 7 #if !defined(BOOST_VMD_DETAIL_IS_LIST_HPP) 8 #define BOOST_VMD_DETAIL_IS_LIST_HPP 9 10 #include <boost/preprocessor/cat.hpp> 11 #include <boost/preprocessor/comparison/equal.hpp> 12 #include <boost/preprocessor/control/iif.hpp> 13 #include <boost/preprocessor/control/while.hpp> 14 #include <boost/preprocessor/debug/assert.hpp> 15 #include <boost/preprocessor/facilities/empty.hpp> 16 #include <boost/preprocessor/logical/bitor.hpp> 17 #include <boost/preprocessor/logical/compl.hpp> 18 #include <boost/preprocessor/punctuation/is_begin_parens.hpp> 19 #include <boost/preprocessor/tuple/elem.hpp> 20 #include <boost/preprocessor/tuple/size.hpp> 21 #include <boost/preprocessor/variadic/elem.hpp> 22 #include <boost/preprocessor/variadic/size.hpp> 23 #include <boost/vmd/identity.hpp> 24 #include <boost/vmd/is_empty.hpp> 25 #include <boost/vmd/is_identifier.hpp> 26 #include <boost/vmd/is_tuple.hpp> 27 #include <boost/vmd/detail/nil_registration.hpp> 28 29 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE(d,x) \ 30 BOOST_PP_IIF \ 31 ( \ 32 BOOST_VMD_IS_TUPLE(x), \ 33 BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE, \ 34 BOOST_VMD_DETAIL_IS_LIST_ASSERT \ 35 ) \ 36 (d,x) \ 37 /**/ 38 39 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE(d,x) \ 40 BOOST_PP_IIF \ 41 ( \ 42 BOOST_PP_EQUAL_D(d,2,BOOST_PP_TUPLE_SIZE(x)), \ 43 BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND, \ 44 BOOST_VMD_DETAIL_IS_LIST_ASSERT \ 45 ) \ 46 (x) \ 47 /**/ 48 49 #define BOOST_VMD_DETAIL_IS_LIST_PRED(d,state) \ 50 BOOST_VMD_IDENTITY_RESULT \ 51 ( \ 52 BOOST_PP_IIF \ 53 ( \ 54 BOOST_PP_IS_BEGIN_PARENS(state), \ 55 BOOST_VMD_IDENTITY(1), \ 56 BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL \ 57 ) \ 58 (state) \ 59 ) \ 60 /**/ 61 62 #define BOOST_VMD_DETAIL_IS_LIST_OP(d,state) \ 63 BOOST_PP_IIF \ 64 ( \ 65 BOOST_PP_IS_BEGIN_PARENS(state), \ 66 BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE, \ 67 BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL \ 68 ) \ 69 (d,state) \ 70 /**/ 71 72 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL(d,x) \ 73 BOOST_PP_IIF \ 74 ( \ 75 BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \ 76 BOOST_PP_NIL, \ 77 BOOST_VMD_IS_LIST_FAILURE \ 78 ) \ 79 /**/ 80 81 #define BOOST_VMD_DETAIL_IS_LIST_ASSERT(...) \ 82 BOOST_VMD_IS_LIST_FAILURE \ 83 /**/ 84 85 #define BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL(x) \ 86 BOOST_PP_COMPL \ 87 ( \ 88 BOOST_PP_BITOR \ 89 ( \ 90 BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \ 91 BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \ 92 ) \ 93 ) \ 94 /**/ 95 96 #define BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x) \ 97 BOOST_VMD_IS_EMPTY \ 98 ( \ 99 BOOST_PP_CAT \ 100 ( \ 101 BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_, \ 102 x \ 103 ) BOOST_PP_EMPTY() \ 104 ) \ 105 /**/ 106 107 #define BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_BOOST_PP_NIL 108 109 #define BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \ 110 BOOST_VMD_IS_EMPTY \ 111 ( \ 112 BOOST_PP_CAT(BOOST_VMD_DETAIL_IS_LIST_FHELPER_,x) BOOST_PP_EMPTY() \ 113 ) \ 114 /**/ 115 116 #define BOOST_VMD_DETAIL_IS_LIST_FHELPER_BOOST_VMD_IS_LIST_FAILURE 117 118 #define BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND(x) \ 119 BOOST_PP_TUPLE_ELEM(1,x) \ 120 /**/ 121 122 #define BOOST_VMD_DETAIL_IS_LIST_RESULT(x) \ 123 BOOST_PP_COMPL \ 124 ( \ 125 BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \ 126 ) \ 127 /**/ 128 129 #define BOOST_VMD_DETAIL_IS_LIST_WLOOP(list) \ 130 BOOST_VMD_DETAIL_IS_LIST_RESULT \ 131 ( \ 132 BOOST_PP_WHILE \ 133 ( \ 134 BOOST_VMD_DETAIL_IS_LIST_PRED, \ 135 BOOST_VMD_DETAIL_IS_LIST_OP, \ 136 list \ 137 ) \ 138 ) \ 139 /**/ 140 141 #define BOOST_VMD_DETAIL_IS_LIST_WLOOP_D(d,list) \ 142 BOOST_VMD_DETAIL_IS_LIST_RESULT \ 143 ( \ 144 BOOST_PP_WHILE_ ## d \ 145 ( \ 146 BOOST_VMD_DETAIL_IS_LIST_PRED, \ 147 BOOST_VMD_DETAIL_IS_LIST_OP, \ 148 list \ 149 ) \ 150 ) \ 151 /**/ 152 153 #define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS(list) \ 154 BOOST_VMD_IS_IDENTIFIER(list,BOOST_PP_NIL) \ 155 /**/ 156 157 #define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D(d,list) \ 158 BOOST_VMD_IS_IDENTIFIER_D(d,list,BOOST_PP_NIL) \ 159 /**/ 160 161 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS(param) \ 162 BOOST_PP_IIF \ 163 ( \ 164 BOOST_PP_IS_BEGIN_PARENS(param), \ 165 BOOST_VMD_DETAIL_IS_LIST_WLOOP, \ 166 BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS \ 167 ) \ 168 (param) \ 169 /**/ 170 171 #define BOOST_VMD_DETAIL_IS_LIST(param) \ 172 BOOST_VMD_IDENTITY_RESULT \ 173 ( \ 174 BOOST_PP_IIF \ 175 ( \ 176 BOOST_VMD_IS_EMPTY(param), \ 177 BOOST_VMD_IDENTITY(0), \ 178 BOOST_VMD_DETAIL_IS_LIST_PROCESS \ 179 ) \ 180 (param) \ 181 ) \ 182 /**/ 183 184 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_D(d,param) \ 185 BOOST_PP_IIF \ 186 ( \ 187 BOOST_PP_IS_BEGIN_PARENS(param), \ 188 BOOST_VMD_DETAIL_IS_LIST_WLOOP_D, \ 189 BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D \ 190 ) \ 191 (d,param) \ 192 /**/ 193 194 #define BOOST_VMD_DETAIL_IS_LIST_D(d,param) \ 195 BOOST_VMD_IDENTITY_RESULT \ 196 ( \ 197 BOOST_PP_IIF \ 198 ( \ 199 BOOST_VMD_IS_EMPTY(param), \ 200 BOOST_VMD_IDENTITY(0), \ 201 BOOST_VMD_DETAIL_IS_LIST_PROCESS_D \ 202 ) \ 203 (d,param) \ 204 ) \ 205 /**/ 206 207 #endif /* BOOST_VMD_DETAIL_IS_LIST_HPP */ 208