1 # /* ************************************************************************** 2 # * * 3 # * (C) Copyright Paul Mensonides 2002. 4 # * Distributed under the Boost Software License, Version 1.0. (See 5 # * accompanying file LICENSE_1_0.txt or copy at 6 # * http://www.boost.org/LICENSE_1_0.txt) 7 # * * 8 # ************************************************************************** */ 9 # 10 # /* Revised by Edward Diener (2011) */ 11 # 12 # /* See http://www.boost.org for most recent version. */ 13 # 14 # include <boost/preprocessor/arithmetic/add.hpp> 15 # include <boost/preprocessor/arithmetic/mod.hpp> 16 # include <boost/preprocessor/arithmetic/sub.hpp> 17 # include <boost/preprocessor/cat.hpp> 18 # include <boost/preprocessor/comparison/equal.hpp> 19 # include <boost/preprocessor/comparison/less.hpp> 20 # include <boost/preprocessor/control/iif.hpp> 21 # include <boost/preprocessor/facilities/is_empty.hpp> 22 # include <boost/preprocessor/logical/not.hpp> 23 # include <boost/preprocessor/seq.hpp> 24 # include <boost/preprocessor/array/elem.hpp> 25 # include <boost/preprocessor/array/size.hpp> 26 # include <boost/preprocessor/tuple/elem.hpp> 27 # include <boost/preprocessor/tuple/size.hpp> 28 # include <boost/preprocessor/list/at.hpp> 29 # include <boost/preprocessor/list/size.hpp> 30 # include <boost/preprocessor/variadic/elem.hpp> 31 # include <boost/preprocessor/variadic/size.hpp> 32 # include <libs/preprocessor/test/test.h> 33 34 # define SEQ_NONE () 35 # define SEQ (4)(1)(5)(2) 36 37 # define SEQ_100 \ 38 (1)(2)(3)(4)(5)(6)(7)(8)(9) \ 39 (10)(11)(12)(13)(14)(15)(16)(17)(18)(19) \ 40 (20)(21)(22)(23)(24)(25)(26)(27)(28)(29) \ 41 (30)(31)(32)(33)(34)(35)(36)(37)(38)(39) \ 42 (40)(41)(42)(43)(44)(45)(46)(47)(48)(49) \ 43 (50)(51)(52)(53)(54)(55)(56)(57)(58)(59) \ 44 (60)(61)(62)(63)(64)(65)(66)(67)(68)(69) \ 45 (70)(71)(72)(73)(74)(75)(76)(77)(78)(79) \ 46 (80)(81)(82)(83)(84)(85)(86)(87)(88)(89) \ 47 (90)(91)(92)(93)(94)(95)(96)(97)(98)(99) \ 48 (100) 49 50 # define SEQ_255 \ 51 (1)(2)(3)(4)(5)(6)(7)(8)(9) \ 52 (10)(11)(12)(13)(14)(15)(16)(17)(18)(19) \ 53 (20)(21)(22)(23)(24)(25)(26)(27)(28)(29) \ 54 (30)(31)(32)(33)(34)(35)(36)(37)(38)(39) \ 55 (40)(41)(42)(43)(44)(45)(46)(47)(48)(49) \ 56 (50)(51)(52)(53)(54)(55)(56)(57)(58)(59) \ 57 (60)(61)(62)(63)(64)(65)(66)(67)(68)(69) \ 58 (70)(71)(72)(73)(74)(75)(76)(77)(78)(79) \ 59 (80)(81)(82)(83)(84)(85)(86)(87)(88)(89) \ 60 (90)(91)(92)(93)(94)(95)(96)(97)(98)(99) \ 61 (100)(101)(102)(103)(104)(105)(106)(107)(108)(109) \ 62 (110)(111)(112)(113)(114)(115)(116)(117)(118)(119) \ 63 (120)(121)(122)(123)(124)(125)(126)(127)(128)(129) \ 64 (130)(131)(132)(133)(134)(135)(136)(137)(138)(139) \ 65 (140)(141)(142)(143)(144)(145)(146)(147)(148)(149) \ 66 (150)(151)(152)(153)(154)(155)(156)(157)(158)(159) \ 67 (160)(161)(162)(163)(164)(165)(166)(167)(168)(169) \ 68 (170)(171)(172)(173)(174)(175)(176)(177)(178)(179) \ 69 (180)(181)(182)(183)(184)(185)(186)(187)(188)(189) \ 70 (190)(191)(192)(193)(194)(195)(196)(197)(198)(199) \ 71 (200)(201)(202)(203)(204)(205)(206)(207)(208)(209) \ 72 (210)(211)(212)(213)(214)(215)(216)(217)(218)(219) \ 73 (220)(221)(222)(223)(224)(225)(226)(227)(228)(229) \ 74 (230)(231)(232)(233)(234)(235)(236)(237)(238)(239) \ 75 (240)(241)(242)(243)(244)(245)(246)(247)(248)(249) \ 76 (250)(251)(252)(253)(254)(255) 77 78 # define SEQ_256 SEQ_255(256) 79 80 # define SEQVAR (4,5,8,3,61)(1,0)(5,22,43)(2)(17,45,33) 81 82 # define REVERSAL(s, x, y) BOOST_PP_SUB(y, x) 83 # define SUB_S(s, x, y) BOOST_PP_SUB(x, y) 84 # define ADD_S(s, x, y) BOOST_PP_ADD(x, y) 85 # define CAT_S(s, x, y) BOOST_PP_CAT(x, BOOST_PP_IS_EMPTY(y)) 86 87 BEGIN BOOST_PP_IS_EMPTY(BOOST_PP_SEQ_HEAD(SEQ_NONE)) == 1 END 88 BEGIN BOOST_PP_SEQ_HEAD(SEQ) == 4 END 89 BEGIN BOOST_PP_SEQ_HEAD(SEQ_255) == 1 END 90 BEGIN BOOST_PP_SEQ_HEAD(SEQ_256) == 1 END 91 92 BEGIN BOOST_PP_SEQ_FOLD_LEFT(CAT_S, 1, SEQ_NONE) == 11 END 93 BEGIN BOOST_PP_SEQ_FOLD_LEFT(SUB_S, 22, SEQ) == 10 END 94 BEGIN BOOST_PP_SEQ_FOLD_RIGHT(CAT_S, 2, SEQ_NONE) == 21 END 95 BEGIN BOOST_PP_SEQ_FOLD_RIGHT(ADD_S, 0, SEQ) == 12 END 96 BEGIN BOOST_PP_SEQ_FOLD_RIGHT(REVERSAL, 0, SEQ) == 4 END 97 98 BEGIN BOOST_PP_IS_EMPTY(BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REVERSE(SEQ_NONE))) == 1 END 99 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REVERSE(SEQ)) == 2514 END 100 101 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REST_N(2, SEQ)) == 52 END 102 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REST_N(99, SEQ_100)) == 100 END 103 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REST_N(255, SEQ_256)) == 256 END 104 BEGIN BOOST_PP_IS_EMPTY(BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_FIRST_N(1, SEQ_NONE))) == 1 END 105 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_FIRST_N(2, SEQ)) == 41 END 106 BEGIN BOOST_PP_SEQ_ELEM(50,BOOST_PP_SEQ_FIRST_N(100, SEQ_100)) == 51 END 107 BEGIN BOOST_PP_SEQ_ELEM(100,BOOST_PP_SEQ_FIRST_N(255, SEQ_255)) == 101 END 108 BEGIN BOOST_PP_SEQ_ELEM(200,BOOST_PP_SEQ_FIRST_N(256, SEQ_256)) == 201 END 109 110 BEGIN BOOST_PP_IS_EMPTY(BOOST_PP_SEQ_ELEM(0, SEQ_NONE)) == 1 END 111 BEGIN BOOST_PP_SEQ_SIZE(SEQ_NONE) == 1 END 112 BEGIN BOOST_PP_SEQ_ELEM(2, SEQ) == 5 END 113 BEGIN BOOST_PP_SEQ_ELEM(20, SEQ_255) == 21 END 114 BEGIN BOOST_PP_SEQ_ELEM(254, SEQ_255) == 255 END 115 BEGIN BOOST_PP_SEQ_ELEM(220, SEQ_256) == 221 END 116 BEGIN BOOST_PP_SEQ_ELEM(255, SEQ_256) == 256 END 117 BEGIN BOOST_PP_SEQ_SIZE(SEQ) == 4 END 118 119 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_TRANSFORM(CAT_S, 13, SEQ_NONE)) == 131 END 120 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_TRANSFORM(ADD_S, 2, SEQ)) == 6374 END 121 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_TAIL(SEQ) SEQ) == 1524152 END 122 123 # define F1(r, state, x) + x + state 124 # define FI2(r, state, i, x) BOOST_PP_IIF(BOOST_PP_EQUAL(i,2),+ x + x + state,+ x + state) 125 BEGIN BOOST_PP_SEQ_FOR_EACH(F1, 1, SEQ) == 16 END 126 BEGIN BOOST_PP_SEQ_FOR_EACH_I(FI2, 1, SEQ) == 21 END 127 128 BEGIN BOOST_PP_TUPLE_ELEM(4, 3, BOOST_PP_SEQ_TO_TUPLE(SEQ)) == 2 END 129 BEGIN BOOST_PP_IS_EMPTY(BOOST_PP_TUPLE_ELEM(1, 0, BOOST_PP_SEQ_TO_TUPLE(SEQ_NONE))) == 1 END 130 131 #if BOOST_PP_VARIADICS 132 133 BEGIN BOOST_PP_TUPLE_SIZE(BOOST_PP_SEQ_TO_TUPLE(SEQ_NONE)) == 1 END 134 135 #endif 136 137 BEGIN BOOST_PP_ARRAY_ELEM(3, BOOST_PP_SEQ_TO_ARRAY(SEQ)) == 2 END 138 139 BEGIN BOOST_PP_IS_EMPTY(BOOST_PP_ARRAY_ELEM(0, BOOST_PP_SEQ_TO_ARRAY(SEQ_NONE))) == 1 END 140 BEGIN BOOST_PP_ARRAY_SIZE(BOOST_PP_SEQ_TO_ARRAY(SEQ_NONE)) == 1 END 141 142 # define LESS_S(s, x, y) BOOST_PP_LESS(x, y) 143 # define FILTER_MOD_S(s, data, elem) BOOST_PP_NOT(BOOST_PP_MOD(elem,data)) 144 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_FILTER(LESS_S, 3, SEQ)) == 45 END 145 BEGIN BOOST_PP_SEQ_ELEM(4,BOOST_PP_SEQ_FILTER(FILTER_MOD_S, 20, SEQ_100)) == 100 END 146 BEGIN BOOST_PP_SEQ_ELEM(2,BOOST_PP_SEQ_FILTER(FILTER_MOD_S, 30, SEQ_100)) == 90 END 147 148 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_INSERT(SEQ_NONE, 0, 7)) == 7 END 149 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_INSERT(SEQ, 0, 3)) == 34152 END 150 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_INSERT(SEQ, 2, 3)) == 41352 END 151 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_INSERT(SEQ, 4, 3)) == 41523 END 152 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_INSERT(SEQ_255, 0, 100)) == 256 END 153 BEGIN BOOST_PP_SEQ_ELEM(255,BOOST_PP_SEQ_INSERT(SEQ_255, 0, 100)) == 255 END 154 BEGIN BOOST_PP_SEQ_ELEM(0,BOOST_PP_SEQ_INSERT(SEQ_255, 0, 113)) == 113 END 155 156 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_POP_BACK(SEQ)) == 415 END 157 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_POP_BACK(SEQ_256)) == 255 END 158 BEGIN BOOST_PP_SEQ_ELEM(254,BOOST_PP_SEQ_POP_BACK(SEQ_256)) == 255 END 159 BEGIN BOOST_PP_SEQ_ELEM(100,BOOST_PP_SEQ_POP_BACK(SEQ_256)) == 101 END 160 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_POP_FRONT(SEQ)) == 152 END 161 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_POP_FRONT(SEQ_256)) == 255 END 162 BEGIN BOOST_PP_SEQ_ELEM(0,BOOST_PP_SEQ_POP_FRONT(SEQ_256)) == 2 END 163 BEGIN BOOST_PP_SEQ_ELEM(254,BOOST_PP_SEQ_POP_FRONT(SEQ_256)) == 256 END 164 165 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_PUSH_FRONT(SEQ_NONE, 145)) == 145 END 166 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_PUSH_FRONT(SEQ, 3)) == 34152 END 167 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_PUSH_FRONT(SEQ_255, 57)) == 256 END 168 BEGIN BOOST_PP_SEQ_ELEM(0,BOOST_PP_SEQ_PUSH_FRONT(SEQ_255, 222)) == 222 END 169 BEGIN BOOST_PP_SEQ_ELEM(255,BOOST_PP_SEQ_PUSH_FRONT(SEQ_255, 111)) == 255 END 170 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_PUSH_BACK(SEQ_NONE, 79)) == 79 END 171 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_PUSH_BACK(SEQ, 3)) == 41523 END 172 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_PUSH_BACK(SEQ_255, 199)) == 256 END 173 BEGIN BOOST_PP_SEQ_ELEM(254,BOOST_PP_SEQ_PUSH_BACK(SEQ_255, 99)) == 255 END 174 BEGIN BOOST_PP_SEQ_ELEM(255,BOOST_PP_SEQ_PUSH_BACK(SEQ_255, 99)) == 99 END 175 176 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REMOVE(SEQ, 0)) == 152 END 177 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REMOVE(SEQ, 2)) == 412 END 178 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REMOVE(SEQ, 3)) == 415 END 179 180 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_REMOVE(SEQ_255, 254)) == 254 END 181 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_REMOVE(SEQ_256, 255)) == 255 END 182 183 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REPLACE(SEQ_NONE, 0, 22)) == 22 END 184 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REPLACE(SEQ, 0, 3)) == 3152 END 185 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REPLACE(SEQ, 1, 3)) == 4352 END 186 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_REPLACE(SEQ, 3, 3)) == 4153 END 187 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_REPLACE(SEQ_256, 255, 22)) == 256 END 188 BEGIN BOOST_PP_SEQ_ELEM(233,BOOST_PP_SEQ_REPLACE(SEQ_256, 255, 22)) == 234 END 189 BEGIN BOOST_PP_SEQ_ELEM(255,BOOST_PP_SEQ_REPLACE(SEQ_256, 255, 22)) == 22 END 190 191 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_SUBSEQ(SEQ, 0, 4)) == 4152 END 192 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_SUBSEQ(SEQ, 0, 2)) == 41 END 193 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_SUBSEQ(SEQ, 1, 2)) == 15 END 194 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_SUBSEQ(SEQ, 2, 2)) == 52 END 195 196 # define F2(r, x) + BOOST_PP_SEQ_ELEM(0, x) + 2 - BOOST_PP_SEQ_ELEM(1, x) 197 198 #define ADD_NIL(x) x(nil) 199 200 BEGIN BOOST_PP_SEQ_FOR_EACH_PRODUCT(F2, ((1)(0)) ((2)(3))) == 0 END 201 202 # define L1 (0)(x) 203 # define L2 (a)(1)(b)(2) 204 # define L3 (c)(3)(d) 205 206 # define LL (L1)(L2)(L3) 207 208 #define SEQ_APPEND(s, state, elem) state elem 209 BEGIN BOOST_PP_SEQ_CAT(BOOST_PP_SEQ_TAIL(BOOST_PP_SEQ_FOLD_LEFT(SEQ_APPEND, (~), LL))) == 0x0a1b2c3d END 210 BEGIN BOOST_PP_SEQ_SIZE(BOOST_PP_SEQ_TAIL(BOOST_PP_SEQ_FOLD_LEFT(SEQ_APPEND, (~), LL))) == 9 END 211 212 BEGIN BOOST_PP_LIST_AT(BOOST_PP_SEQ_TO_LIST(SEQ), 2) == 5 END 213 BEGIN BOOST_PP_IS_EMPTY(BOOST_PP_LIST_AT(BOOST_PP_SEQ_TO_LIST(SEQ_NONE),0)) == 1 END 214 BEGIN BOOST_PP_LIST_SIZE(BOOST_PP_SEQ_TO_LIST(SEQ_NONE)) == 1 END 215 216 #if BOOST_PP_VARIADICS 217 218 BEGIN BOOST_PP_VARIADIC_SIZE(BOOST_PP_SEQ_ENUM(SEQ_NONE)) == 1 END 219 BEGIN BOOST_PP_VARIADIC_ELEM(0,BOOST_PP_SEQ_ENUM(SEQ)) == 4 END 220 BEGIN BOOST_PP_TUPLE_ELEM(2,BOOST_PP_SEQ_ELEM(0,BOOST_PP_VARIADIC_SEQ_TO_SEQ(SEQVAR))) == 8 END 221 222 #endif 223