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_IS_LIST_HPP)
8 #define BOOST_VMD_DETAIL_IS_LIST_HPP
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>
29 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE(d,x) \
32 BOOST_VMD_IS_TUPLE(x), \
33 BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE, \
34 BOOST_VMD_DETAIL_IS_LIST_ASSERT \
39 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE(d,x) \
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 \
49 #define BOOST_VMD_DETAIL_IS_LIST_PRED(d,state) \
50 BOOST_VMD_IDENTITY_RESULT \
54 BOOST_PP_IS_BEGIN_PARENS(state), \
55 BOOST_VMD_IDENTITY(1), \
56 BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL \
62 #define BOOST_VMD_DETAIL_IS_LIST_OP(d,state) \
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 \
72 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL(d,x) \
75 BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \
77 BOOST_VMD_IS_LIST_FAILURE \
81 #define BOOST_VMD_DETAIL_IS_LIST_ASSERT(...) \
82 BOOST_VMD_IS_LIST_FAILURE \
85 #define BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL(x) \
90 BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \
91 BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
96 #define BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x) \
101 BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_, \
107 #define BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_BOOST_PP_NIL
109 #define BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
112 BOOST_PP_CAT(BOOST_VMD_DETAIL_IS_LIST_FHELPER_,x) BOOST_PP_EMPTY() \
116 #define BOOST_VMD_DETAIL_IS_LIST_FHELPER_BOOST_VMD_IS_LIST_FAILURE
118 #define BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND(x) \
119 BOOST_PP_TUPLE_ELEM(1,x) \
122 #define BOOST_VMD_DETAIL_IS_LIST_RESULT(x) \
125 BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \
129 #define BOOST_VMD_DETAIL_IS_LIST_WLOOP(list) \
130 BOOST_VMD_DETAIL_IS_LIST_RESULT \
134 BOOST_VMD_DETAIL_IS_LIST_PRED, \
135 BOOST_VMD_DETAIL_IS_LIST_OP, \
141 #define BOOST_VMD_DETAIL_IS_LIST_WLOOP_D(d,list) \
142 BOOST_VMD_DETAIL_IS_LIST_RESULT \
144 BOOST_PP_WHILE_ ## d \
146 BOOST_VMD_DETAIL_IS_LIST_PRED, \
147 BOOST_VMD_DETAIL_IS_LIST_OP, \
153 #define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS(list) \
154 BOOST_VMD_IS_IDENTIFIER(list,BOOST_PP_NIL) \
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) \
161 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS(param) \
164 BOOST_PP_IS_BEGIN_PARENS(param), \
165 BOOST_VMD_DETAIL_IS_LIST_WLOOP, \
166 BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS \
171 #define BOOST_VMD_DETAIL_IS_LIST(param) \
172 BOOST_VMD_IDENTITY_RESULT \
176 BOOST_VMD_IS_EMPTY(param), \
177 BOOST_VMD_IDENTITY(0), \
178 BOOST_VMD_DETAIL_IS_LIST_PROCESS \
184 #define BOOST_VMD_DETAIL_IS_LIST_PROCESS_D(d,param) \
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 \
194 #define BOOST_VMD_DETAIL_IS_LIST_D(d,param) \
195 BOOST_VMD_IDENTITY_RESULT \
199 BOOST_VMD_IS_EMPTY(param), \
200 BOOST_VMD_IDENTITY(0), \
201 BOOST_VMD_DETAIL_IS_LIST_PROCESS_D \
207 #endif /* BOOST_VMD_DETAIL_IS_LIST_HPP */