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 */
208