libs/preprocessor/test/seq.cxx

   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