ceph/src/boost/libs/vmd/include/boost/vmd/detail/is_list.hpp

   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_IS_LIST_HPP)
   8 #define BOOST_VMD_DETAIL_IS_LIST_HPP
   9
  10 #include <boost/preprocessor/cat.hpp>
  11 #include <boost/preprocessor/comparison/equal.hpp>
  12 #include <boost/preprocessor/control/iif.hpp>
  13 #include <boost/preprocessor/control/while.hpp>
  14 #include <boost/preprocessor/debug/assert.hpp>
  15 #include <boost/preprocessor/facilities/empty.hpp>
  16 #include <boost/preprocessor/logical/bitor.hpp>
  17 #include <boost/preprocessor/logical/compl.hpp>
  18 #include <boost/preprocessor/punctuation/is_begin_parens.hpp>
  19 #include <boost/preprocessor/tuple/elem.hpp>
  20 #include <boost/preprocessor/tuple/size.hpp>
  21 #include <boost/preprocessor/variadic/elem.hpp>
  22 #include <boost/preprocessor/variadic/size.hpp>
  23 #include <boost/vmd/identity.hpp>
  24 #include <boost/vmd/is_empty.hpp>
  25 #include <boost/vmd/is_identifier.hpp>
  26 #include <boost/vmd/is_tuple.hpp>
  27 #include <boost/vmd/detail/nil_registration.hpp>
  28
  29 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE(d,x) \
  30     BOOST_PP_IIF \
  31       ( \
  32       BOOST_VMD_IS_TUPLE(x), \
  33       BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE, \
  34       BOOST_VMD_DETAIL_IS_LIST_ASSERT \
  35       ) \
  36     (d,x) \
  37 /**/
  38
  39 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE(d,x) \
  40     BOOST_PP_IIF \
  41       ( \
  42       BOOST_PP_EQUAL_D(d,2,BOOST_PP_TUPLE_SIZE(x)), \
  43       BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND, \
  44       BOOST_VMD_DETAIL_IS_LIST_ASSERT \
  45       ) \
  46     (x) \
  47 /**/
  48
  49 #define BOOST_VMD_DETAIL_IS_LIST_PRED(d,state) \
  50     BOOST_VMD_IDENTITY_RESULT \
  51         ( \
  52         BOOST_PP_IIF \
  53           ( \
  54           BOOST_PP_IS_BEGIN_PARENS(state), \
  55           BOOST_VMD_IDENTITY(1), \
  56           BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL \
  57           ) \
  58         (state) \
  59         ) \
  60 /**/
  61
  62 #define BOOST_VMD_DETAIL_IS_LIST_OP(d,state) \
  63     BOOST_PP_IIF \
  64       ( \
  65       BOOST_PP_IS_BEGIN_PARENS(state), \
  66       BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE, \
  67       BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL \
  68       ) \
  69     (d,state) \
  70 /**/
  71
  72 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL(d,x) \
  73     BOOST_PP_IIF \
  74       ( \
  75       BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \
  76       BOOST_PP_NIL, \
  77       BOOST_VMD_IS_LIST_FAILURE \
  78       ) \
  79 /**/
  80
  81 #define BOOST_VMD_DETAIL_IS_LIST_ASSERT(...) \
  82     BOOST_VMD_IS_LIST_FAILURE \
  83 /**/
  84
  85 #define BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL(x) \
  86     BOOST_PP_COMPL \
  87       ( \
  88       BOOST_PP_BITOR \
  89         ( \
  90         BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \
  91         BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
  92         ) \
  93       ) \
  94 /**/
  95
  96 #define BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x) \
  97     BOOST_VMD_IS_EMPTY \
  98       ( \
  99       BOOST_PP_CAT \
 100         ( \
 101         BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_, \
 102         x \
 103         ) BOOST_PP_EMPTY() \
 104       ) \
 105 /**/
 106
 107 #define BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_BOOST_PP_NIL
 108
 109 #define BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
 110     BOOST_VMD_IS_EMPTY \
 111       ( \
 112       BOOST_PP_CAT(BOOST_VMD_DETAIL_IS_LIST_FHELPER_,x) BOOST_PP_EMPTY() \
 113       ) \
 114 /**/
 115
 116 #define BOOST_VMD_DETAIL_IS_LIST_FHELPER_BOOST_VMD_IS_LIST_FAILURE
 117
 118 #define BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND(x) \
 119     BOOST_PP_TUPLE_ELEM(1,x) \
 120 /**/
 121
 122 #define BOOST_VMD_DETAIL_IS_LIST_RESULT(x) \
 123     BOOST_PP_COMPL \
 124         ( \
 125         BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
 126         ) \
 127 /**/
 128
 129 #define BOOST_VMD_DETAIL_IS_LIST_WLOOP(list) \
 130     BOOST_VMD_DETAIL_IS_LIST_RESULT \
 131       ( \
 132       BOOST_PP_WHILE \
 133         ( \
 134         BOOST_VMD_DETAIL_IS_LIST_PRED, \
 135         BOOST_VMD_DETAIL_IS_LIST_OP, \
 136         list \
 137         ) \
 138       ) \
 139 /**/
 140
 141 #define BOOST_VMD_DETAIL_IS_LIST_WLOOP_D(d,list) \
 142     BOOST_VMD_DETAIL_IS_LIST_RESULT \
 143       ( \
 144       BOOST_PP_WHILE_ ## d \
 145         ( \
 146         BOOST_VMD_DETAIL_IS_LIST_PRED, \
 147         BOOST_VMD_DETAIL_IS_LIST_OP, \
 148         list \
 149         ) \
 150       ) \
 151 /**/
 152
 153 #define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS(list) \
 154     BOOST_VMD_IS_IDENTIFIER(list,BOOST_PP_NIL) \
 155 /**/
 156
 157 #define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D(d,list) \
 158     BOOST_VMD_IS_IDENTIFIER_D(d,list,BOOST_PP_NIL) \
 159 /**/
 160
 161 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS(param) \
 162     BOOST_PP_IIF \
 163       ( \
 164       BOOST_PP_IS_BEGIN_PARENS(param), \
 165       BOOST_VMD_DETAIL_IS_LIST_WLOOP, \
 166       BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS \
 167       ) \
 168     (param) \
 169 /**/
 170
 171 #define BOOST_VMD_DETAIL_IS_LIST(param) \
 172     BOOST_VMD_IDENTITY_RESULT \
 173         ( \
 174         BOOST_PP_IIF \
 175           ( \
 176           BOOST_VMD_IS_EMPTY(param), \
 177           BOOST_VMD_IDENTITY(0), \
 178           BOOST_VMD_DETAIL_IS_LIST_PROCESS \
 179           ) \
 180         (param) \
 181         ) \
 182 /**/
 183
 184 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_D(d,param) \
 185     BOOST_PP_IIF \
 186       ( \
 187       BOOST_PP_IS_BEGIN_PARENS(param), \
 188       BOOST_VMD_DETAIL_IS_LIST_WLOOP_D, \
 189       BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D \
 190       ) \
 191     (d,param) \
 192 /**/
 193
 194 #define BOOST_VMD_DETAIL_IS_LIST_D(d,param) \
 195     BOOST_VMD_IDENTITY_RESULT \
 196         ( \
 197         BOOST_PP_IIF \
 198           ( \
 199           BOOST_VMD_IS_EMPTY(param), \
 200           BOOST_VMD_IDENTITY(0), \
 201           BOOST_VMD_DETAIL_IS_LIST_PROCESS_D \
 202           ) \
 203         (d,param) \
 204         ) \
 205 /**/
 206
 207 #endif /* BOOST_VMD_DETAIL_IS_LIST_HPP */