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).
7 #if !defined(BOOST_VMD_DETAIL_DATA_EQUAL_COMMON_HPP)
8 #define BOOST_VMD_DETAIL_DATA_EQUAL_COMMON_HPP
10 #include <boost/preprocessor/arithmetic/inc.hpp>
11 #include <boost/preprocessor/array/elem.hpp>
12 #include <boost/preprocessor/array/size.hpp>
13 #include <boost/preprocessor/comparison/equal.hpp>
14 #include <boost/preprocessor/control/iif.hpp>
15 #include <boost/preprocessor/list/at.hpp>
16 #include <boost/preprocessor/list/size.hpp>
17 #include <boost/preprocessor/logical/bitand.hpp>
18 #include <boost/preprocessor/logical/bitor.hpp>
19 #include <boost/preprocessor/logical/compl.hpp>
20 #include <boost/preprocessor/punctuation/is_begin_parens.hpp>
21 #include <boost/preprocessor/seq/elem.hpp>
22 #include <boost/preprocessor/seq/size.hpp>
23 #include <boost/preprocessor/tuple/elem.hpp>
24 #include <boost/preprocessor/tuple/pop_front.hpp>
25 #include <boost/preprocessor/tuple/push_back.hpp>
26 #include <boost/preprocessor/tuple/replace.hpp>
27 #include <boost/preprocessor/tuple/size.hpp>
28 #include <boost/vmd/empty.hpp>
29 #include <boost/vmd/is_empty.hpp>
30 #include <boost/vmd/get_type.hpp>
31 #include <boost/vmd/detail/equal_type.hpp>
33 #define BOOST_VMD_DETAIL_DATA_EQUAL_IS_BOTH_COMPOSITE(vseq1,vseq2) \
36 BOOST_PP_IS_BEGIN_PARENS(vseq1), \
37 BOOST_PP_IS_BEGIN_PARENS(vseq2) \
41 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_ARRAY(d,index,data) \
42 BOOST_PP_ARRAY_ELEM(index,data) \
45 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_LIST(d,index,data) \
46 BOOST_PP_LIST_AT_D(d,data,index) \
49 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_SEQ(d,index,data) \
50 BOOST_PP_SEQ_ELEM(index,data) \
53 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_TUPLE(d,index,data) \
54 BOOST_PP_TUPLE_ELEM(index,data) \
57 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_ARRAY(data) \
58 BOOST_PP_ARRAY_SIZE(data) \
61 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_LIST(data) \
62 BOOST_PP_LIST_SIZE(data) \
65 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_SEQ(data) \
66 BOOST_PP_SEQ_SIZE(data) \
69 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_TUPLE(data) \
70 BOOST_PP_TUPLE_SIZE(data) \
73 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_ARRAY_D(d,data) \
74 BOOST_PP_ARRAY_SIZE(data) \
77 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_LIST_D(d,data) \
78 BOOST_PP_LIST_SIZE_D(d,data) \
81 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_SEQ_D(d,data) \
82 BOOST_PP_SEQ_SIZE(data) \
85 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_TUPLE_D(d,data) \
86 BOOST_PP_TUPLE_SIZE(data) \
89 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM(d,index,data,vtype) \
92 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_ARRAY), \
93 BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_ARRAY, \
96 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_LIST), \
97 BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_LIST, \
100 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_SEQ), \
101 BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_SEQ, \
102 BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM_TUPLE \
109 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE(data,vtype) \
112 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype,BOOST_VMD_TYPE_ARRAY), \
113 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_ARRAY, \
116 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype,BOOST_VMD_TYPE_LIST), \
117 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_LIST, \
120 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype,BOOST_VMD_TYPE_SEQ), \
121 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_SEQ, \
122 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_TUPLE \
129 #define BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_D(d,data,vtype) \
132 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_ARRAY), \
133 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_ARRAY_D, \
136 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_LIST), \
137 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_LIST_D, \
140 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_SEQ), \
141 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_SEQ_D, \
142 BOOST_VMD_DETAIL_DATA_EQUAL_GET_SIZE_TUPLE_D \
149 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_RESULT(state) \
150 BOOST_PP_TUPLE_ELEM(0,state) \
153 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_FIRST(state) \
154 BOOST_PP_TUPLE_ELEM(1,state) \
157 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_SECOND(state) \
158 BOOST_PP_TUPLE_ELEM(2,state) \
161 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_SIZE(state) \
162 BOOST_PP_TUPLE_ELEM(3,state) \
165 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_TYPE(state) \
166 BOOST_PP_TUPLE_ELEM(4,state) \
169 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_INDEX(state) \
170 BOOST_PP_TUPLE_ELEM(5,state) \
173 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP(state) \
174 BOOST_PP_TUPLE_ELEM(6,state) \
177 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PROCESSING(d,state) \
183 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_INDEX(state), \
184 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_SIZE(state) \
186 BOOST_PP_COMPL(BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_EMPTY(state)) \
190 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_EMPTY(state) \
191 BOOST_VMD_IS_EMPTY(BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP(state)) \
194 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_INDEX(state) \
197 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_EMPTY(state), \
199 BOOST_PP_TUPLE_ELEM \
201 (0,BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP(state)) \
204 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_POP_NE_EMPTY(d,state) \
205 BOOST_PP_TUPLE_REPLACE_D \
213 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_POP_NE_REMOVE(d,state) \
214 BOOST_PP_TUPLE_REPLACE_D \
219 BOOST_PP_TUPLE_POP_FRONT(BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP(state)) \
223 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_POP(d,state) \
226 BOOST_PP_EQUAL_D(d,BOOST_PP_TUPLE_SIZE(BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP(state)),1), \
227 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_POP_NE_EMPTY, \
228 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_POP_NE_REMOVE \
233 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PUSH_CREATE(d,state) \
234 BOOST_VMD_DETAIL_DATA_EQUAL_OP_SUCCESS \
237 BOOST_PP_TUPLE_REPLACE_D \
242 (BOOST_VMD_DETAIL_DATA_EQUAL_STATE_INDEX(state)) \
247 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PUSH_ADD(d,state) \
248 BOOST_VMD_DETAIL_DATA_EQUAL_OP_SUCCESS \
251 BOOST_PP_TUPLE_REPLACE_D \
256 BOOST_PP_TUPLE_PUSH_BACK \
258 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP(state), \
259 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_INDEX(state) \
265 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PUSH(d,state) \
268 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_EMPTY(state), \
269 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PUSH_CREATE, \
270 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PUSH_ADD \
275 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_GET_INDEX(d,state) \
278 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PROCESSING(d,state), \
279 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_INDEX, \
280 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_INDEX \
285 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_GET_FIRST_ELEMENT(d,state) \
286 BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM \
289 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_GET_INDEX(d,state), \
290 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_FIRST(state), \
291 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_TYPE(state) \
295 #define BOOST_VMD_DETAIL_DATA_EQUAL_STATE_GET_SECOND_ELEMENT(d,state) \
296 BOOST_VMD_DETAIL_DATA_EQUAL_GET_ELEM \
299 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_GET_INDEX(d,state), \
300 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_SECOND(state), \
301 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_TYPE(state) \
305 #define BOOST_VMD_DETAIL_DATA_EQUAL_PRED(d,state) \
311 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_RESULT(state), \
316 BOOST_PP_NOT_EQUAL_D \
319 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_INDEX(state), \
320 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_SIZE(state) \
324 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_EMPTY(state) \
330 #define BOOST_VMD_DETAIL_DATA_EQUAL_OP_SUCCESS_NCP(d,state) \
331 BOOST_PP_TUPLE_REPLACE_D \
336 BOOST_PP_INC(BOOST_VMD_DETAIL_DATA_EQUAL_STATE_INDEX(state)) \
340 #define BOOST_VMD_DETAIL_DATA_EQUAL_OP_SUCCESS(d,state) \
343 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PROCESSING(d,state), \
344 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_POP, \
345 BOOST_VMD_DETAIL_DATA_EQUAL_OP_SUCCESS_NCP \
350 #define BOOST_VMD_DETAIL_DATA_EQUAL_OP_FAILURE(d,state) \
351 BOOST_PP_TUPLE_REPLACE_D \
360 #define BOOST_VMD_DETAIL_DATA_EQUAL_OP_RESULT(d,state,result) \
363 BOOST_PP_EQUAL_D(d,result,0), \
364 BOOST_VMD_DETAIL_DATA_EQUAL_OP_FAILURE, \
367 BOOST_PP_EQUAL_D(d,result,1), \
368 BOOST_VMD_DETAIL_DATA_EQUAL_OP_SUCCESS, \
369 BOOST_VMD_DETAIL_DATA_EQUAL_STATE_COMP_PUSH \
375 #define BOOST_VMD_DETAIL_DATA_EQUAL_TYPE(emf,ems,vtype) \
378 BOOST_VMD_DETAIL_EQUAL_TYPE \
380 BOOST_VMD_GET_TYPE(emf), \
383 BOOST_VMD_DETAIL_EQUAL_TYPE \
385 BOOST_VMD_GET_TYPE(ems), \
391 #define BOOST_VMD_DETAIL_DATA_EQUAL_TYPE_D(d,emf,ems,vtype) \
394 BOOST_VMD_DETAIL_EQUAL_TYPE_D \
397 BOOST_VMD_GET_TYPE(emf), \
400 BOOST_VMD_DETAIL_EQUAL_TYPE_D \
403 BOOST_VMD_GET_TYPE(ems), \
409 #endif /* BOOST_VMD_DETAIL_DATA_EQUAL_COMMON_HPP */