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