1///////////////////////////////////////////////////////////////////////////////
2/// \file deprecated.hpp
3/// Definition of the deprecated BOOST_PROTO_DEFINE_FUCTION_TEMPLATE and
4/// BOOST_PROTO_DEFINE_VARARG_FUCTION_TEMPLATE macros
5//
6// Copyright 2008 Eric Niebler. Distributed under the Boost
7// Software License, Version 1.0. (See accompanying file
8// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
9
10#ifndef BOOST_PROTO_DETAIL_DEPRECATED_HPP_EAN_11_25_2008
11#define BOOST_PROTO_DETAIL_DEPRECATED_HPP_EAN_11_25_2008
12
13#include <boost/preprocessor/cat.hpp>
14#include <boost/preprocessor/facilities/intercept.hpp>
15#include <boost/preprocessor/arithmetic/inc.hpp>
16#include <boost/preprocessor/arithmetic/dec.hpp>
17#include <boost/preprocessor/arithmetic/sub.hpp>
18#include <boost/preprocessor/punctuation/comma_if.hpp>
19#include <boost/preprocessor/control/if.hpp>
20#include <boost/preprocessor/control/expr_if.hpp>
21#include <boost/preprocessor/comparison/greater.hpp>
22#include <boost/preprocessor/tuple/elem.hpp>
23#include <boost/preprocessor/tuple/to_list.hpp>
24#include <boost/preprocessor/logical/and.hpp>
25#include <boost/preprocessor/seq/size.hpp>
26#include <boost/preprocessor/seq/enum.hpp>
27#include <boost/preprocessor/seq/seq.hpp>
28#include <boost/preprocessor/seq/to_tuple.hpp>
29#include <boost/preprocessor/seq/for_each_i.hpp>
30#include <boost/preprocessor/seq/pop_back.hpp>
31#include <boost/preprocessor/seq/push_back.hpp>
32#include <boost/preprocessor/seq/push_front.hpp>
33#include <boost/preprocessor/list/for_each_i.hpp>
34#include <boost/preprocessor/repetition/repeat.hpp>
35#include <boost/preprocessor/repetition/repeat_from_to.hpp>
36#include <boost/preprocessor/repetition/enum_binary_params.hpp>
37#include <boost/preprocessor/repetition/enum_trailing_binary_params.hpp>
38#include <boost/proto/proto_fwd.hpp>
39
40/// INTERNAL ONLY
41///
42#define BOOST_PROTO_VARARG_TEMPLATE_AUX_(R, DATA, I, ELEM) \
43 (ELEM BOOST_PP_CAT(BOOST_PP_CAT(X, DATA), BOOST_PP_CAT(_, I))) \
44 /**/
45
46/// INTERNAL ONLY
47///
48#define BOOST_PROTO_VARARG_TEMPLATE_YES_(R, DATA, I, ELEM) \
49 BOOST_PP_LIST_FOR_EACH_I_R( \
50 R \
51 , BOOST_PROTO_VARARG_TEMPLATE_AUX_ \
52 , I \
53 , BOOST_PP_TUPLE_TO_LIST( \
54 BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ELEM)) \
55 , BOOST_PP_SEQ_TO_TUPLE(BOOST_PP_SEQ_TAIL(ELEM)) \
56 ) \
57 ) \
58 /**/
59
60/// INTERNAL ONLY
61///
62#define BOOST_PROTO_VARARG_TEMPLATE_NO_(R, DATA, I, ELEM) \
63 /**/
64
65/// INTERNAL ONLY
66///
67#define BOOST_PROTO_VARARG_TEMPLATE_(R, DATA, I, ELEM) \
68 BOOST_PP_IF( \
69 BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ELEM)) \
70 , BOOST_PROTO_VARARG_TEMPLATE_YES_ \
71 , BOOST_PROTO_VARARG_TEMPLATE_NO_ \
72 )(R, DATA, I, ELEM) \
73 /**/
74
75/// INTERNAL ONLY
76///
77#define BOOST_PROTO_VARARG_TYPE_AUX_(R, DATA, I, ELEM) \
78 (BOOST_PP_CAT(BOOST_PP_CAT(X, DATA), BOOST_PP_CAT(_, I))) \
79 /**/
80
81/// INTERNAL ONLY
82///
83#define BOOST_PROTO_TEMPLATE_PARAMS_YES_(R, DATA, I, ELEM) \
84 < \
85 BOOST_PP_SEQ_ENUM( \
86 BOOST_PP_LIST_FOR_EACH_I_R( \
87 R \
88 , BOOST_PROTO_VARARG_TYPE_AUX_ \
89 , I \
90 , BOOST_PP_TUPLE_TO_LIST( \
91 BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ELEM)) \
92 , BOOST_PP_SEQ_TO_TUPLE(BOOST_PP_SEQ_TAIL(ELEM)) \
93 ) \
94 ) \
95 ) \
96 > \
97 /**/
98
99/// INTERNAL ONLY
100///
101#define BOOST_PROTO_TEMPLATE_PARAMS_NO_(R, DATA, I, ELEM) \
102 /**/
103
104/// INTERNAL ONLY
105///
106#define BOOST_PROTO_VARARG_TYPE_(R, DATA, I, ELEM) \
107 BOOST_PP_COMMA_IF(I) \
108 BOOST_PP_SEQ_HEAD(ELEM) \
109 BOOST_PP_IF( \
110 BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ELEM)) \
111 , BOOST_PROTO_TEMPLATE_PARAMS_YES_ \
112 , BOOST_PROTO_TEMPLATE_PARAMS_NO_ \
113 )(R, DATA, I, ELEM) BOOST_PP_EXPR_IF(BOOST_PP_GREATER(I, 1), const) \
114 /**/
115
116/// INTERNAL ONLY
117///
118#define BOOST_PROTO_VARARG_AS_EXPR_(R, DATA, I, ELEM) \
119 BOOST_PP_EXPR_IF( \
120 BOOST_PP_GREATER(I, 1) \
121 , (( \
122 BOOST_PP_SEQ_HEAD(ELEM) \
123 BOOST_PP_IF( \
124 BOOST_PP_DEC(BOOST_PP_SEQ_SIZE(ELEM)) \
125 , BOOST_PROTO_TEMPLATE_PARAMS_YES_ \
126 , BOOST_PROTO_TEMPLATE_PARAMS_NO_ \
127 )(R, DATA, I, ELEM)() \
128 )) \
129 ) \
130 /**/
131
132/// INTERNAL ONLY
133///
134#define BOOST_PROTO_VARARG_AS_CHILD_(Z, N, DATA) \
135 (BOOST_PP_CAT(DATA, N)) \
136 /**/
137
138/// INTERNAL ONLY
139///
140#define BOOST_PROTO_SEQ_PUSH_FRONT(SEQ, ELEM) \
141 BOOST_PP_SEQ_POP_BACK(BOOST_PP_SEQ_PUSH_FRONT(BOOST_PP_SEQ_PUSH_BACK(SEQ, _dummy_), ELEM)) \
142 /**/
143
144/// INTERNAL ONLY
145///
146#define BOOST_PROTO_VARARG_AS_PARAM_(Z, N, DATA) \
147 (BOOST_PP_CAT(DATA, N)) \
148 /**/
149
150/// INTERNAL ONLY
151///
152#define BOOST_PROTO_VARARG_FUN_(Z, N, DATA) \
153 template< \
154 BOOST_PP_SEQ_ENUM( \
155 BOOST_PP_SEQ_FOR_EACH_I( \
156 BOOST_PROTO_VARARG_TEMPLATE_, ~ \
157 , BOOST_PP_SEQ_PUSH_FRONT( \
158 BOOST_PROTO_SEQ_PUSH_FRONT( \
159 BOOST_PP_TUPLE_ELEM(4, 2, DATA) \
160 , (BOOST_PP_TUPLE_ELEM(4, 3, DATA)) \
161 ) \
162 , BOOST_PP_TUPLE_ELEM(4, 1, DATA) \
163 ) \
164 ) \
165 BOOST_PP_REPEAT_ ## Z(N, BOOST_PROTO_VARARG_AS_PARAM_, typename A) \
166 ) \
167 > \
168 typename boost::proto::result_of::make_expr< \
169 BOOST_PP_SEQ_FOR_EACH_I( \
170 BOOST_PROTO_VARARG_TYPE_, ~ \
171 , BOOST_PP_SEQ_PUSH_FRONT( \
172 BOOST_PROTO_SEQ_PUSH_FRONT( \
173 BOOST_PP_TUPLE_ELEM(4, 2, DATA) \
174 , (BOOST_PP_TUPLE_ELEM(4, 3, DATA)) \
175 ) \
176 , BOOST_PP_TUPLE_ELEM(4, 1, DATA) \
177 ) \
178 ) \
179 BOOST_PP_ENUM_TRAILING_BINARY_PARAMS_Z(Z, N, A, const & BOOST_PP_INTERCEPT) \
180 >::type const \
181 BOOST_PP_TUPLE_ELEM(4, 0, DATA)(BOOST_PP_ENUM_BINARY_PARAMS_Z(Z, N, A, const &a)) \
182 { \
183 return boost::proto::detail::make_expr_< \
184 BOOST_PP_SEQ_FOR_EACH_I( \
185 BOOST_PROTO_VARARG_TYPE_, ~ \
186 , BOOST_PP_SEQ_PUSH_FRONT( \
187 BOOST_PROTO_SEQ_PUSH_FRONT( \
188 BOOST_PP_TUPLE_ELEM(4, 2, DATA) \
189 , (BOOST_PP_TUPLE_ELEM(4, 3, DATA)) \
190 ) \
191 , BOOST_PP_TUPLE_ELEM(4, 1, DATA) \
192 ) \
193 ) \
194 BOOST_PP_ENUM_TRAILING_BINARY_PARAMS_Z(Z, N, A, const & BOOST_PP_INTERCEPT) \
195 >()( \
196 BOOST_PP_SEQ_ENUM( \
197 BOOST_PP_SEQ_FOR_EACH_I( \
198 BOOST_PROTO_VARARG_AS_EXPR_, ~ \
199 , BOOST_PP_SEQ_PUSH_FRONT( \
200 BOOST_PROTO_SEQ_PUSH_FRONT( \
201 BOOST_PP_TUPLE_ELEM(4, 2, DATA) \
202 , (BOOST_PP_TUPLE_ELEM(4, 3, DATA)) \
203 ) \
204 , BOOST_PP_TUPLE_ELEM(4, 1, DATA) \
205 ) \
206 ) \
207 BOOST_PP_REPEAT_ ## Z(N, BOOST_PROTO_VARARG_AS_CHILD_, a) \
208 ) \
209 ); \
210 } \
211 /**/
212
213/// \code
214/// BOOST_PROTO_DEFINE_FUNCTION_TEMPLATE(
215/// 1
216/// , construct
217/// , boost::proto::default_domain
218/// , (boost::proto::tag::function)
219/// , ((op::construct)(typename)(int))
220/// )
221/// \endcode
222#define BOOST_PROTO_DEFINE_FUNCTION_TEMPLATE(ARGCOUNT, NAME, DOMAIN, TAG, BOUNDARGS) \
223 BOOST_PP_REPEAT_FROM_TO( \
224 ARGCOUNT \
225 , BOOST_PP_INC(ARGCOUNT) \
226 , BOOST_PROTO_VARARG_FUN_ \
227 , (NAME, TAG, BOUNDARGS, DOMAIN) \
228 )\
229 /**/
230
231/// \code
232/// BOOST_PROTO_DEFINE_VARARG_FUNCTION_TEMPLATE(
233/// construct
234/// , boost::proto::default_domain
235/// , (boost::proto::tag::function)
236/// , ((op::construct)(typename)(int))
237/// )
238/// \endcode
239#define BOOST_PROTO_DEFINE_VARARG_FUNCTION_TEMPLATE(NAME, DOMAIN, TAG, BOUNDARGS) \
240 BOOST_PP_REPEAT( \
241 BOOST_PP_SUB(BOOST_PP_INC(BOOST_PROTO_MAX_ARITY), BOOST_PP_SEQ_SIZE(BOUNDARGS)) \
242 , BOOST_PROTO_VARARG_FUN_ \
243 , (NAME, TAG, BOUNDARGS, DOMAIN) \
244 ) \
245 /**/
246
247#endif
248