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_EQUAL_COMMON_HPP)
8 #define BOOST_VMD_DETAIL_EQUAL_COMMON_HPP
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>
26 #define BOOST_VMD_DETAIL_EQUAL_CONCAT_1 (1)
28 #define BOOST_VMD_DETAIL_EQUAL_IS_1(res) \
29 BOOST_PP_IS_BEGIN_PARENS \
33 BOOST_VMD_DETAIL_EQUAL_CONCAT_, \
39 #define BOOST_VMD_DETAIL_EQUAL_MATCH_SINGLE_IDENTIFIER(d,vseq1,vseq2) \
40 BOOST_VMD_DETAIL_MATCH_SINGLE_IDENTIFIER(vseq1,vseq2) \
43 #define BOOST_VMD_DETAIL_EQUAL_CNI_SMP(vseq1,vseq2,vtype) \
46 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype,BOOST_VMD_TYPE_NUMBER), \
50 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype,BOOST_VMD_TYPE_TYPE), \
51 BOOST_VMD_DETAIL_EQUAL_TYPE, \
52 BOOST_VMD_DETAIL_MATCH_SINGLE_IDENTIFIER \
58 #define BOOST_VMD_DETAIL_EQUAL_CNI_SMP_D(d,vseq1,vseq2,vtype) \
61 BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,vtype,BOOST_VMD_TYPE_NUMBER), \
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 \
73 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE(vseq1,vseq2) \
76 BOOST_PP_TUPLE_SIZE(vseq1), \
77 BOOST_PP_TUPLE_SIZE(vseq2) \
81 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE_D(d,vseq1,vseq2) \
82 BOOST_PP_NOT_EQUAL_D \
85 BOOST_PP_TUPLE_SIZE(vseq1), \
86 BOOST_PP_TUPLE_SIZE(vseq2) \
90 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH(vseq1,vseq2,vtype1,vtype2) \
91 BOOST_VMD_IDENTITY_RESULT \
97 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype1,BOOST_VMD_TYPE_TUPLE), \
98 BOOST_VMD_DETAIL_EQUAL_TYPE(vtype2,BOOST_VMD_TYPE_TUPLE) \
100 BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE, \
101 BOOST_VMD_IDENTITY(0) \
107 #define BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_D(d,vseq1,vseq2,vtype1,vtype2) \
108 BOOST_VMD_IDENTITY_RESULT \
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) \
117 BOOST_VMD_DETAIL_EQUAL_IS_TUPLE_MISMATCH_SIZE_D, \
118 BOOST_VMD_IDENTITY(0) \
124 #define BOOST_VMD_DETAIL_EQUAL_BOTH_EMPTY(...) 1
126 #define BOOST_VMD_DETAIL_EQUAL_CHK_MATCH(bp1,bp2) \
137 #define BOOST_VMD_DETAIL_EQUAL_CHK_PARENS_MATCH(vseq1,vseq2) \
138 BOOST_VMD_DETAIL_EQUAL_CHK_MATCH \
140 BOOST_PP_IS_BEGIN_PARENS(vseq1), \
141 BOOST_PP_IS_BEGIN_PARENS(vseq2) \
145 #define BOOST_VMD_DETAIL_EQUAL_CHK_EMPTY_MATCH(vseq1,vseq2) \
146 BOOST_VMD_DETAIL_EQUAL_CHK_MATCH \
148 BOOST_VMD_IS_EMPTY(vseq1), \
149 BOOST_VMD_IS_EMPTY(vseq2) \
153 #endif /* BOOST_VMD_DETAIL_EQUAL_COMMON_HPP */