]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
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 */ |