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_EQUAL_COMMON_HPP)
8 #define BOOST_VMD_DETAIL_EQUAL_COMMON_HPP
9 
10 #include <boost/preprocessor/cat.hpp>
11 #include <boost/preprocessor/comparison/equal.hpp>
12 #include <boost/preprocessor/comparison/not_equal.hpp>
13 #include <boost/preprocessor/control/iif.hpp>
14 #include <boost/preprocessor/logical/bitand.hpp>
15 #include <boost/preprocessor/logical/bitor.hpp>
16 #include <boost/preprocessor/logical/bitxor.hpp>
17 #include <boost/preprocessor/logical/compl.hpp>
18 #include <boost/preprocessor/punctuation/is_begin_parens.hpp>
19 #include <boost/preprocessor/tuple/size.hpp>
20 #include <boost/vmd/get_type.hpp>
21 #include <boost/vmd/identity.hpp>
22 #include <boost/vmd/is_empty.hpp>
23 #include <boost/vmd/detail/match_single_identifier.hpp>
24 #include <boost/vmd/detail/equal_type.hpp>
25 
26 #define BOOST_VMD_DETAIL_EQUAL_CONCAT_1 (1)
27 
28 #define BOOST_VMD_DETAIL_EQUAL_IS_1(res) \
29     BOOST_PP_IS_BEGIN_PARENS \
30         ( \
31         BOOST_PP_CAT \
32             ( \
33             BOOST_VMD_DETAIL_EQUAL_CONCAT_, \
34             res \
35             ) \
36         ) \
37 /**/
38 
39 #define BOOST_VMD_DETAIL_EQUAL_MATCH_SINGLE_IDENTIFIER(d,vseq1,vseq2) \
40     BOOST_VMD_DETAIL_MATCH_SINGLE_IDENTIFIER(vseq1,vseq2) \
41 /**/
42 
43 #define BOOST_VMD_DETAIL_EQUAL_CNI_SMP(vseq1,vseq2,vtype) \
44     BOOST_PP_IIF \
45         ( \
46         BOOST_VMD_DETAIL_EQUAL_TYPE(vtype,BOOST_VMD_TYPE_NUMBER), \
47         BOOST_PP_EQUAL, \
48         BOOST_PP_IIF \
49             ( \
50             BOOST_VMD_DETAIL_EQUAL_TYPE(vtype,BOOST_VMD_TYPE_TYPE), \
51             BOOST_VMD_DETAIL_EQUAL_TYPE, \
52             BOOST_VMD_DETAIL_MATCH_SINGLE_IDENTIFIER \
53             ) \
54         ) \
55     (vseq1,vseq2) \
56 /**/
57 
58 #define BOOST_VMD_DETAIL_EQUAL_CNI_SMP_D(d,vseq1,vseq2,vtype) \
59     BOOST_PP_IIF \
60         ( \
61         BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_NUMBER), \
62         BOOST_PP_EQUAL_D, \
63         BOOST_PP_IIF \
64             ( \
65             BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_TYPE), \
66             BOOST_VMD_DETAIL_EQUAL_TYPE_D, \
67             BOOST_VMD_DETAIL_EQUAL_MATCH_SINGLE_IDENTIFIER \
68             ) \
69         ) \
70     (d,vseq1,vseq2) \
71 /**/
72 
73 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE(vseq1,vseq2) \
74     BOOST_PP_NOT_EQUAL \
75         ( \
76         BOOST_PP_TUPLE_SIZE(vseq1), \
77         BOOST_PP_TUPLE_SIZE(vseq2) \
78         ) \
79 /**/
80 
81 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE_D(d,vseq1,vseq2) \
82     BOOST_PP_NOT_EQUAL_D \
83         ( \
84         d, \
85         BOOST_PP_TUPLE_SIZE(vseq1), \
86         BOOST_PP_TUPLE_SIZE(vseq2) \
87         ) \
88 /**/
89 
90 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH(vseq1,vseq2,vtype1,vtype2) \
91     BOOST_VMD_IDENTITY_RESULT \
92         ( \
93         BOOST_PP_IIF \
94             ( \
95             BOOST_PP_BITAND \
96                 ( \
97                 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype1,BOOST_VMD_TYPE_TUPLE), \
98                 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype2,BOOST_VMD_TYPE_TUPLE) \
99                 ), \
100             BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE, \
101             BOOST_VMD_IDENTITY(0) \
102             ) \
103         (vseq1,vseq2) \
104         ) \
105 /**/
106 
107 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_D(d,vseq1,vseq2,vtype1,vtype2) \
108     BOOST_VMD_IDENTITY_RESULT \
109         ( \
110         BOOST_PP_IIF \
111             ( \
112             BOOST_PP_BITAND \
113                 ( \
114                 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype1,BOOST_VMD_TYPE_TUPLE), \
115                 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype2,BOOST_VMD_TYPE_TUPLE) \
116                 ), \
117             BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE_D, \
118             BOOST_VMD_IDENTITY(0) \
119             ) \
120         (d,vseq1,vseq2) \
121         ) \
122 /**/
123 
124 #define BOOST_VMD_DETAIL_EQUAL_BOTH_EMPTY(...) 1
125 
126 #define BOOST_VMD_DETAIL_EQUAL_CHK_MATCH(bp1,bp2) \
127     BOOST_PP_COMPL \
128         ( \
129         BOOST_PP_BITXOR \
130             ( \
131             bp1, \
132             bp2 \
133             ) \
134         ) \
135 /**/
136 
137 #define BOOST_VMD_DETAIL_EQUAL_CHK_PARENS_MATCH(vseq1,vseq2) \
138     BOOST_VMD_DETAIL_EQUAL_CHK_MATCH \
139         ( \
140         BOOST_PP_IS_BEGIN_PARENS(vseq1), \
141         BOOST_PP_IS_BEGIN_PARENS(vseq2) \
142         ) \
143 /**/
144 
145 #define BOOST_VMD_DETAIL_EQUAL_CHK_EMPTY_MATCH(vseq1,vseq2) \
146     BOOST_VMD_DETAIL_EQUAL_CHK_MATCH \
147         ( \
148         BOOST_VMD_IS_EMPTY(vseq1), \
149         BOOST_VMD_IS_EMPTY(vseq2) \
150         ) \
151 /**/
152 
153 #endif /* BOOST_VMD_DETAIL_EQUAL_COMMON_HPP */
154