Chris@16
|
1 #if !defined(BOOST_PROTO_DONT_USE_PREPROCESSED_FILES)
|
Chris@16
|
2
|
Chris@16
|
3 #include <boost/proto/detail/preprocessed/unpack_expr_.hpp>
|
Chris@16
|
4
|
Chris@16
|
5 #elif !defined(BOOST_PP_IS_ITERATING)
|
Chris@16
|
6
|
Chris@16
|
7 /// INTERNAL ONLY
|
Chris@16
|
8 ///
|
Chris@16
|
9 #define BOOST_PROTO_FUSION_NEXT_ITERATOR_TYPE(Z, N, DATA) \
|
Chris@16
|
10 typedef typename fusion::result_of::next< \
|
Chris@16
|
11 BOOST_PP_CAT(fusion_iterator, N)>::type \
|
Chris@16
|
12 BOOST_PP_CAT(fusion_iterator, BOOST_PP_INC(N)); \
|
Chris@16
|
13 /**/
|
Chris@16
|
14
|
Chris@16
|
15 /// INTERNAL ONLY
|
Chris@16
|
16 ///
|
Chris@16
|
17 #define BOOST_PROTO_FUSION_ITERATORS_TYPE(N) \
|
Chris@16
|
18 typedef \
|
Chris@16
|
19 typename fusion::result_of::begin<Sequence const>::type \
|
Chris@16
|
20 fusion_iterator0; \
|
Chris@16
|
21 BOOST_PP_REPEAT(BOOST_PP_DEC(N), BOOST_PROTO_FUSION_NEXT_ITERATOR_TYPE, fusion_iterator) \
|
Chris@16
|
22 /**/
|
Chris@16
|
23
|
Chris@16
|
24 /// INTERNAL ONLY
|
Chris@16
|
25 ///
|
Chris@16
|
26 #define BOOST_PROTO_FUSION_AT_TYPE(Z, N, DATA) \
|
Chris@16
|
27 typename add_const< \
|
Chris@16
|
28 typename fusion::result_of::value_of< \
|
Chris@16
|
29 BOOST_PP_CAT(fusion_iterator, N) \
|
Chris@16
|
30 >::type \
|
Chris@16
|
31 >::type \
|
Chris@16
|
32 /**/
|
Chris@16
|
33
|
Chris@16
|
34 /// INTERNAL ONLY
|
Chris@16
|
35 ///
|
Chris@16
|
36 #define BOOST_PROTO_FUSION_NEXT_ITERATOR(Z, N, DATA) \
|
Chris@16
|
37 BOOST_PP_CAT(fusion_iterator, BOOST_PP_INC(N)) BOOST_PP_CAT(it, BOOST_PP_INC(N)) = \
|
Chris@16
|
38 fusion::next(BOOST_PP_CAT(it, N)); \
|
Chris@16
|
39 /**/
|
Chris@16
|
40
|
Chris@16
|
41 /// INTERNAL ONLY
|
Chris@16
|
42 ///
|
Chris@16
|
43 #define BOOST_PROTO_FUSION_ITERATORS(N) \
|
Chris@16
|
44 fusion_iterator0 it0 = fusion::begin(sequence); \
|
Chris@16
|
45 BOOST_PP_REPEAT(BOOST_PP_DEC(N), BOOST_PROTO_FUSION_NEXT_ITERATOR, fusion_iterator) \
|
Chris@16
|
46 /**/
|
Chris@16
|
47
|
Chris@16
|
48 /// INTERNAL ONLY
|
Chris@16
|
49 ///
|
Chris@16
|
50 #define BOOST_PROTO_FUSION_AT(Z, N, DATA) \
|
Chris@16
|
51 *BOOST_PP_CAT(it, N) \
|
Chris@16
|
52 /**/
|
Chris@16
|
53
|
Chris@16
|
54 /// INTERNAL ONLY
|
Chris@16
|
55 ///
|
Chris@16
|
56 #define BOOST_PROTO_FUSION_AS_CHILD_AT_TYPE(Z, N, DATA) \
|
Chris@16
|
57 typename detail::protoify< \
|
Chris@16
|
58 BOOST_PROTO_FUSION_AT_TYPE(Z, N, DATA) \
|
Chris@16
|
59 , Domain \
|
Chris@16
|
60 >::result_type \
|
Chris@16
|
61 /**/
|
Chris@16
|
62
|
Chris@16
|
63 /// INTERNAL ONLY
|
Chris@16
|
64 ///
|
Chris@16
|
65 #define BOOST_PROTO_FUSION_AS_CHILD_AT(Z, N, DATA) \
|
Chris@16
|
66 detail::protoify< \
|
Chris@16
|
67 BOOST_PROTO_FUSION_AT_TYPE(Z, N, DATA) \
|
Chris@16
|
68 , Domain \
|
Chris@16
|
69 >()(BOOST_PROTO_FUSION_AT(Z, N, DATA)) \
|
Chris@16
|
70 /**/
|
Chris@16
|
71
|
Chris@16
|
72 #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
|
Chris@16
|
73 #pragma wave option(preserve: 2, line: 0, output: "preprocessed/unpack_expr_.hpp")
|
Chris@16
|
74 #endif
|
Chris@16
|
75
|
Chris@16
|
76 ///////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
77 /// \file make_expr_.hpp
|
Chris@16
|
78 /// Contains definition of make_expr_\<\> class template.
|
Chris@16
|
79 //
|
Chris@16
|
80 // Copyright 2008 Eric Niebler. Distributed under the Boost
|
Chris@16
|
81 // Software License, Version 1.0. (See accompanying file
|
Chris@16
|
82 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
83
|
Chris@16
|
84 #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
|
Chris@16
|
85 #pragma wave option(preserve: 1)
|
Chris@16
|
86 #endif
|
Chris@16
|
87
|
Chris@16
|
88 template<typename Tag, typename Domain, typename Sequence, std::size_t Size>
|
Chris@16
|
89 struct unpack_expr_
|
Chris@16
|
90 {};
|
Chris@16
|
91
|
Chris@16
|
92 template<typename Domain, typename Sequence>
|
Chris@16
|
93 struct unpack_expr_<tag::terminal, Domain, Sequence, 1u>
|
Chris@16
|
94 {
|
Chris@16
|
95 typedef
|
Chris@16
|
96 typename add_const<
|
Chris@16
|
97 typename fusion::result_of::value_of<
|
Chris@16
|
98 typename fusion::result_of::begin<Sequence>::type
|
Chris@16
|
99 >::type
|
Chris@16
|
100 >::type
|
Chris@16
|
101 terminal_type;
|
Chris@16
|
102
|
Chris@16
|
103 typedef
|
Chris@16
|
104 typename proto::detail::protoify<
|
Chris@16
|
105 terminal_type
|
Chris@16
|
106 , Domain
|
Chris@16
|
107 >::result_type
|
Chris@16
|
108 type;
|
Chris@16
|
109
|
Chris@16
|
110 BOOST_FORCEINLINE
|
Chris@16
|
111 static type const call(Sequence const &sequence)
|
Chris@16
|
112 {
|
Chris@16
|
113 return proto::detail::protoify<terminal_type, Domain>()(fusion::at_c<0>(sequence));
|
Chris@16
|
114 }
|
Chris@16
|
115 };
|
Chris@16
|
116
|
Chris@16
|
117 template<typename Sequence>
|
Chris@16
|
118 struct unpack_expr_<tag::terminal, deduce_domain, Sequence, 1u>
|
Chris@16
|
119 : unpack_expr_<tag::terminal, default_domain, Sequence, 1u>
|
Chris@16
|
120 {};
|
Chris@16
|
121
|
Chris@16
|
122 #define BOOST_PP_ITERATION_PARAMS_1 \
|
Chris@16
|
123 (3, (1, BOOST_PROTO_MAX_ARITY, <boost/proto/detail/unpack_expr_.hpp>))
|
Chris@16
|
124 #include BOOST_PP_ITERATE()
|
Chris@16
|
125
|
Chris@16
|
126 #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
|
Chris@16
|
127 #pragma wave option(output: null)
|
Chris@16
|
128 #endif
|
Chris@16
|
129
|
Chris@16
|
130 #undef BOOST_PROTO_FUSION_AT
|
Chris@16
|
131 #undef BOOST_PROTO_FUSION_AT_TYPE
|
Chris@16
|
132 #undef BOOST_PROTO_FUSION_AS_CHILD_AT
|
Chris@16
|
133 #undef BOOST_PROTO_FUSION_AS_CHILD_AT_TYPE
|
Chris@16
|
134 #undef BOOST_PROTO_FUSION_NEXT_ITERATOR
|
Chris@16
|
135 #undef BOOST_PROTO_FUSION_NEXT_ITERATOR_TYPE
|
Chris@16
|
136 #undef BOOST_PROTO_FUSION_ITERATORS
|
Chris@16
|
137 #undef BOOST_PROTO_FUSION_ITERATORS_TYPE
|
Chris@16
|
138
|
Chris@16
|
139 #else // BOOST_PP_IS_ITERATING
|
Chris@16
|
140
|
Chris@16
|
141 #define N BOOST_PP_ITERATION()
|
Chris@16
|
142 #define M BOOST_PP_SUB(BOOST_PROTO_MAX_ARITY, N)
|
Chris@16
|
143
|
Chris@16
|
144 template<typename Tag, typename Domain, typename Sequence>
|
Chris@16
|
145 struct unpack_expr_<Tag, Domain, Sequence, N>
|
Chris@16
|
146 {
|
Chris@16
|
147 BOOST_PROTO_FUSION_ITERATORS_TYPE(N)
|
Chris@16
|
148
|
Chris@16
|
149 typedef
|
Chris@16
|
150 BOOST_PP_CAT(list, N)<
|
Chris@16
|
151 BOOST_PP_ENUM(N, BOOST_PROTO_FUSION_AS_CHILD_AT_TYPE, ~)
|
Chris@16
|
152 >
|
Chris@16
|
153 proto_args;
|
Chris@16
|
154
|
Chris@16
|
155 typedef typename base_expr<Domain, Tag, proto_args>::type expr_type;
|
Chris@16
|
156 typedef typename Domain::proto_generator proto_generator;
|
Chris@16
|
157 typedef typename proto_generator::template result<proto_generator(expr_type)>::type type;
|
Chris@16
|
158
|
Chris@16
|
159 BOOST_FORCEINLINE
|
Chris@16
|
160 static type const call(Sequence const &sequence)
|
Chris@16
|
161 {
|
Chris@16
|
162 BOOST_PROTO_FUSION_ITERATORS(N)
|
Chris@16
|
163 expr_type const that = {
|
Chris@16
|
164 BOOST_PP_ENUM(N, BOOST_PROTO_FUSION_AS_CHILD_AT, ~)
|
Chris@16
|
165 };
|
Chris@16
|
166 return proto_generator()(that);
|
Chris@16
|
167 }
|
Chris@16
|
168 };
|
Chris@16
|
169
|
Chris@16
|
170 template<typename Tag, typename Sequence>
|
Chris@16
|
171 struct unpack_expr_<Tag, deduce_domain, Sequence, N>
|
Chris@16
|
172 {
|
Chris@16
|
173 BOOST_PROTO_FUSION_ITERATORS_TYPE(N)
|
Chris@16
|
174
|
Chris@16
|
175 typedef
|
Chris@16
|
176 unpack_expr_<
|
Chris@16
|
177 Tag
|
Chris@16
|
178 , typename BOOST_PP_CAT(deduce_domain, N)<
|
Chris@16
|
179 BOOST_PP_ENUM(N, BOOST_PROTO_FUSION_AT_TYPE, ~)
|
Chris@16
|
180 >::type
|
Chris@16
|
181 , Sequence
|
Chris@16
|
182 , N
|
Chris@16
|
183 >
|
Chris@16
|
184 other;
|
Chris@16
|
185
|
Chris@16
|
186 typedef typename other::type type;
|
Chris@16
|
187
|
Chris@16
|
188 BOOST_FORCEINLINE
|
Chris@16
|
189 static type const call(Sequence const &sequence)
|
Chris@16
|
190 {
|
Chris@16
|
191 return other::call(sequence);
|
Chris@16
|
192 }
|
Chris@16
|
193 };
|
Chris@16
|
194
|
Chris@16
|
195 #undef N
|
Chris@16
|
196 #undef M
|
Chris@16
|
197
|
Chris@16
|
198 #endif
|