1 ///////////////////////////////////////////////////////////////////////////////
2 /// \file default_function_impl.hpp
3 /// Contains definition of the default_function_impl, the implementation of the
4 /// _default transform for function-like nodes.
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 template<typename Grammar, typename Expr, typename State, typename Data>
10 struct default_function_impl<Grammar, Expr, State, Data, 3>
11 : transform_impl<Expr, State, Data>
12 {
13 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2;
14 typedef
15 typename proto::detail::result_of_fixup<r0>::type
16 function_type;
17 typedef
18 typename BOOST_PROTO_RESULT_OF<
19 function_type(r1 , r2)
20 >::type
21 result_type;
22 result_type operator ()(
23 typename default_function_impl::expr_param e
24 , typename default_function_impl::state_param s
25 , typename default_function_impl::data_param d
26 ) const
27 {
28 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
29 }
30 private:
31 result_type invoke(
32 typename default_function_impl::expr_param e
33 , typename default_function_impl::state_param s
34 , typename default_function_impl::data_param d
35 , mpl::false_
36 ) const
37 {
38 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
39 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d )
40 );
41 }
42 result_type invoke(
43 typename default_function_impl::expr_param e
44 , typename default_function_impl::state_param s
45 , typename default_function_impl::data_param d
46 , mpl::true_
47 ) const
48 {
49 BOOST_PROTO_USE_GET_POINTER();
50 typedef typename detail::class_member_traits<function_type>::class_type class_type;
51 return (
52 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
53 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
54 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ));
55 }
56 };
57 template<typename Grammar, typename Expr, typename State, typename Data>
58 struct default_function_impl<Grammar, Expr, State, Data, 4>
59 : transform_impl<Expr, State, Data>
60 {
61 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2; typedef typename result_of::child_c< Expr, 3>::type e3; typedef typename Grammar::template impl<e3, State, Data>::result_type r3;
62 typedef
63 typename proto::detail::result_of_fixup<r0>::type
64 function_type;
65 typedef
66 typename BOOST_PROTO_RESULT_OF<
67 function_type(r1 , r2 , r3)
68 >::type
69 result_type;
70 result_type operator ()(
71 typename default_function_impl::expr_param e
72 , typename default_function_impl::state_param s
73 , typename default_function_impl::data_param d
74 ) const
75 {
76 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
77 }
78 private:
79 result_type invoke(
80 typename default_function_impl::expr_param e
81 , typename default_function_impl::state_param s
82 , typename default_function_impl::data_param d
83 , mpl::false_
84 ) const
85 {
86 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
87 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d )
88 );
89 }
90 result_type invoke(
91 typename default_function_impl::expr_param e
92 , typename default_function_impl::state_param s
93 , typename default_function_impl::data_param d
94 , mpl::true_
95 ) const
96 {
97 BOOST_PROTO_USE_GET_POINTER();
98 typedef typename detail::class_member_traits<function_type>::class_type class_type;
99 return (
100 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
101 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
102 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ));
103 }
104 };
105 template<typename Grammar, typename Expr, typename State, typename Data>
106 struct default_function_impl<Grammar, Expr, State, Data, 5>
107 : transform_impl<Expr, State, Data>
108 {
109 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2; typedef typename result_of::child_c< Expr, 3>::type e3; typedef typename Grammar::template impl<e3, State, Data>::result_type r3; typedef typename result_of::child_c< Expr, 4>::type e4; typedef typename Grammar::template impl<e4, State, Data>::result_type r4;
110 typedef
111 typename proto::detail::result_of_fixup<r0>::type
112 function_type;
113 typedef
114 typename BOOST_PROTO_RESULT_OF<
115 function_type(r1 , r2 , r3 , r4)
116 >::type
117 result_type;
118 result_type operator ()(
119 typename default_function_impl::expr_param e
120 , typename default_function_impl::state_param s
121 , typename default_function_impl::data_param d
122 ) const
123 {
124 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
125 }
126 private:
127 result_type invoke(
128 typename default_function_impl::expr_param e
129 , typename default_function_impl::state_param s
130 , typename default_function_impl::data_param d
131 , mpl::false_
132 ) const
133 {
134 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
135 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d )
136 );
137 }
138 result_type invoke(
139 typename default_function_impl::expr_param e
140 , typename default_function_impl::state_param s
141 , typename default_function_impl::data_param d
142 , mpl::true_
143 ) const
144 {
145 BOOST_PROTO_USE_GET_POINTER();
146 typedef typename detail::class_member_traits<function_type>::class_type class_type;
147 return (
148 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
149 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
150 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ));
151 }
152 };
153 template<typename Grammar, typename Expr, typename State, typename Data>
154 struct default_function_impl<Grammar, Expr, State, Data, 6>
155 : transform_impl<Expr, State, Data>
156 {
157 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2; typedef typename result_of::child_c< Expr, 3>::type e3; typedef typename Grammar::template impl<e3, State, Data>::result_type r3; typedef typename result_of::child_c< Expr, 4>::type e4; typedef typename Grammar::template impl<e4, State, Data>::result_type r4; typedef typename result_of::child_c< Expr, 5>::type e5; typedef typename Grammar::template impl<e5, State, Data>::result_type r5;
158 typedef
159 typename proto::detail::result_of_fixup<r0>::type
160 function_type;
161 typedef
162 typename BOOST_PROTO_RESULT_OF<
163 function_type(r1 , r2 , r3 , r4 , r5)
164 >::type
165 result_type;
166 result_type operator ()(
167 typename default_function_impl::expr_param e
168 , typename default_function_impl::state_param s
169 , typename default_function_impl::data_param d
170 ) const
171 {
172 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
173 }
174 private:
175 result_type invoke(
176 typename default_function_impl::expr_param e
177 , typename default_function_impl::state_param s
178 , typename default_function_impl::data_param d
179 , mpl::false_
180 ) const
181 {
182 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
183 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d )
184 );
185 }
186 result_type invoke(
187 typename default_function_impl::expr_param e
188 , typename default_function_impl::state_param s
189 , typename default_function_impl::data_param d
190 , mpl::true_
191 ) const
192 {
193 BOOST_PROTO_USE_GET_POINTER();
194 typedef typename detail::class_member_traits<function_type>::class_type class_type;
195 return (
196 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
197 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
198 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ));
199 }
200 };
201 template<typename Grammar, typename Expr, typename State, typename Data>
202 struct default_function_impl<Grammar, Expr, State, Data, 7>
203 : transform_impl<Expr, State, Data>
204 {
205 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2; typedef typename result_of::child_c< Expr, 3>::type e3; typedef typename Grammar::template impl<e3, State, Data>::result_type r3; typedef typename result_of::child_c< Expr, 4>::type e4; typedef typename Grammar::template impl<e4, State, Data>::result_type r4; typedef typename result_of::child_c< Expr, 5>::type e5; typedef typename Grammar::template impl<e5, State, Data>::result_type r5; typedef typename result_of::child_c< Expr, 6>::type e6; typedef typename Grammar::template impl<e6, State, Data>::result_type r6;
206 typedef
207 typename proto::detail::result_of_fixup<r0>::type
208 function_type;
209 typedef
210 typename BOOST_PROTO_RESULT_OF<
211 function_type(r1 , r2 , r3 , r4 , r5 , r6)
212 >::type
213 result_type;
214 result_type operator ()(
215 typename default_function_impl::expr_param e
216 , typename default_function_impl::state_param s
217 , typename default_function_impl::data_param d
218 ) const
219 {
220 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
221 }
222 private:
223 result_type invoke(
224 typename default_function_impl::expr_param e
225 , typename default_function_impl::state_param s
226 , typename default_function_impl::data_param d
227 , mpl::false_
228 ) const
229 {
230 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
231 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d )
232 );
233 }
234 result_type invoke(
235 typename default_function_impl::expr_param e
236 , typename default_function_impl::state_param s
237 , typename default_function_impl::data_param d
238 , mpl::true_
239 ) const
240 {
241 BOOST_PROTO_USE_GET_POINTER();
242 typedef typename detail::class_member_traits<function_type>::class_type class_type;
243 return (
244 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
245 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
246 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d ));
247 }
248 };
249 template<typename Grammar, typename Expr, typename State, typename Data>
250 struct default_function_impl<Grammar, Expr, State, Data, 8>
251 : transform_impl<Expr, State, Data>
252 {
253 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2; typedef typename result_of::child_c< Expr, 3>::type e3; typedef typename Grammar::template impl<e3, State, Data>::result_type r3; typedef typename result_of::child_c< Expr, 4>::type e4; typedef typename Grammar::template impl<e4, State, Data>::result_type r4; typedef typename result_of::child_c< Expr, 5>::type e5; typedef typename Grammar::template impl<e5, State, Data>::result_type r5; typedef typename result_of::child_c< Expr, 6>::type e6; typedef typename Grammar::template impl<e6, State, Data>::result_type r6; typedef typename result_of::child_c< Expr, 7>::type e7; typedef typename Grammar::template impl<e7, State, Data>::result_type r7;
254 typedef
255 typename proto::detail::result_of_fixup<r0>::type
256 function_type;
257 typedef
258 typename BOOST_PROTO_RESULT_OF<
259 function_type(r1 , r2 , r3 , r4 , r5 , r6 , r7)
260 >::type
261 result_type;
262 result_type operator ()(
263 typename default_function_impl::expr_param e
264 , typename default_function_impl::state_param s
265 , typename default_function_impl::data_param d
266 ) const
267 {
268 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
269 }
270 private:
271 result_type invoke(
272 typename default_function_impl::expr_param e
273 , typename default_function_impl::state_param s
274 , typename default_function_impl::data_param d
275 , mpl::false_
276 ) const
277 {
278 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
279 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d ) , typename Grammar::template impl<e7, State, Data>()( proto::child_c< 7>( e), s, d )
280 );
281 }
282 result_type invoke(
283 typename default_function_impl::expr_param e
284 , typename default_function_impl::state_param s
285 , typename default_function_impl::data_param d
286 , mpl::true_
287 ) const
288 {
289 BOOST_PROTO_USE_GET_POINTER();
290 typedef typename detail::class_member_traits<function_type>::class_type class_type;
291 return (
292 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
293 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
294 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d ) , typename Grammar::template impl<e7, State, Data>()( proto::child_c< 7>( e), s, d ));
295 }
296 };
297 template<typename Grammar, typename Expr, typename State, typename Data>
298 struct default_function_impl<Grammar, Expr, State, Data, 9>
299 : transform_impl<Expr, State, Data>
300 {
301 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2; typedef typename result_of::child_c< Expr, 3>::type e3; typedef typename Grammar::template impl<e3, State, Data>::result_type r3; typedef typename result_of::child_c< Expr, 4>::type e4; typedef typename Grammar::template impl<e4, State, Data>::result_type r4; typedef typename result_of::child_c< Expr, 5>::type e5; typedef typename Grammar::template impl<e5, State, Data>::result_type r5; typedef typename result_of::child_c< Expr, 6>::type e6; typedef typename Grammar::template impl<e6, State, Data>::result_type r6; typedef typename result_of::child_c< Expr, 7>::type e7; typedef typename Grammar::template impl<e7, State, Data>::result_type r7; typedef typename result_of::child_c< Expr, 8>::type e8; typedef typename Grammar::template impl<e8, State, Data>::result_type r8;
302 typedef
303 typename proto::detail::result_of_fixup<r0>::type
304 function_type;
305 typedef
306 typename BOOST_PROTO_RESULT_OF<
307 function_type(r1 , r2 , r3 , r4 , r5 , r6 , r7 , r8)
308 >::type
309 result_type;
310 result_type operator ()(
311 typename default_function_impl::expr_param e
312 , typename default_function_impl::state_param s
313 , typename default_function_impl::data_param d
314 ) const
315 {
316 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
317 }
318 private:
319 result_type invoke(
320 typename default_function_impl::expr_param e
321 , typename default_function_impl::state_param s
322 , typename default_function_impl::data_param d
323 , mpl::false_
324 ) const
325 {
326 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
327 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d ) , typename Grammar::template impl<e7, State, Data>()( proto::child_c< 7>( e), s, d ) , typename Grammar::template impl<e8, State, Data>()( proto::child_c< 8>( e), s, d )
328 );
329 }
330 result_type invoke(
331 typename default_function_impl::expr_param e
332 , typename default_function_impl::state_param s
333 , typename default_function_impl::data_param d
334 , mpl::true_
335 ) const
336 {
337 BOOST_PROTO_USE_GET_POINTER();
338 typedef typename detail::class_member_traits<function_type>::class_type class_type;
339 return (
340 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
341 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
342 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d ) , typename Grammar::template impl<e7, State, Data>()( proto::child_c< 7>( e), s, d ) , typename Grammar::template impl<e8, State, Data>()( proto::child_c< 8>( e), s, d ));
343 }
344 };
345 template<typename Grammar, typename Expr, typename State, typename Data>
346 struct default_function_impl<Grammar, Expr, State, Data, 10>
347 : transform_impl<Expr, State, Data>
348 {
349 typedef typename result_of::child_c< Expr, 0>::type e0; typedef typename Grammar::template impl<e0, State, Data>::result_type r0; typedef typename result_of::child_c< Expr, 1>::type e1; typedef typename Grammar::template impl<e1, State, Data>::result_type r1; typedef typename result_of::child_c< Expr, 2>::type e2; typedef typename Grammar::template impl<e2, State, Data>::result_type r2; typedef typename result_of::child_c< Expr, 3>::type e3; typedef typename Grammar::template impl<e3, State, Data>::result_type r3; typedef typename result_of::child_c< Expr, 4>::type e4; typedef typename Grammar::template impl<e4, State, Data>::result_type r4; typedef typename result_of::child_c< Expr, 5>::type e5; typedef typename Grammar::template impl<e5, State, Data>::result_type r5; typedef typename result_of::child_c< Expr, 6>::type e6; typedef typename Grammar::template impl<e6, State, Data>::result_type r6; typedef typename result_of::child_c< Expr, 7>::type e7; typedef typename Grammar::template impl<e7, State, Data>::result_type r7; typedef typename result_of::child_c< Expr, 8>::type e8; typedef typename Grammar::template impl<e8, State, Data>::result_type r8; typedef typename result_of::child_c< Expr, 9>::type e9; typedef typename Grammar::template impl<e9, State, Data>::result_type r9;
350 typedef
351 typename proto::detail::result_of_fixup<r0>::type
352 function_type;
353 typedef
354 typename BOOST_PROTO_RESULT_OF<
355 function_type(r1 , r2 , r3 , r4 , r5 , r6 , r7 , r8 , r9)
356 >::type
357 result_type;
358 result_type operator ()(
359 typename default_function_impl::expr_param e
360 , typename default_function_impl::state_param s
361 , typename default_function_impl::data_param d
362 ) const
363 {
364 return this->invoke(e, s, d, is_member_function_pointer<function_type>());
365 }
366 private:
367 result_type invoke(
368 typename default_function_impl::expr_param e
369 , typename default_function_impl::state_param s
370 , typename default_function_impl::data_param d
371 , mpl::false_
372 ) const
373 {
374 return typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )(
375 typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ) , typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d ) , typename Grammar::template impl<e7, State, Data>()( proto::child_c< 7>( e), s, d ) , typename Grammar::template impl<e8, State, Data>()( proto::child_c< 8>( e), s, d ) , typename Grammar::template impl<e9, State, Data>()( proto::child_c< 9>( e), s, d )
376 );
377 }
378 result_type invoke(
379 typename default_function_impl::expr_param e
380 , typename default_function_impl::state_param s
381 , typename default_function_impl::data_param d
382 , mpl::true_
383 ) const
384 {
385 BOOST_PROTO_USE_GET_POINTER();
386 typedef typename detail::class_member_traits<function_type>::class_type class_type;
387 return (
388 BOOST_PROTO_GET_POINTER(class_type, (typename Grammar::template impl<e1, State, Data>()( proto::child_c< 1>( e), s, d ))) ->*
389 typename Grammar::template impl<e0, State, Data>()( proto::child_c< 0>( e), s, d )
390 )(typename Grammar::template impl<e2, State, Data>()( proto::child_c< 2>( e), s, d ) , typename Grammar::template impl<e3, State, Data>()( proto::child_c< 3>( e), s, d ) , typename Grammar::template impl<e4, State, Data>()( proto::child_c< 4>( e), s, d ) , typename Grammar::template impl<e5, State, Data>()( proto::child_c< 5>( e), s, d ) , typename Grammar::template impl<e6, State, Data>()( proto::child_c< 6>( e), s, d ) , typename Grammar::template impl<e7, State, Data>()( proto::child_c< 7>( e), s, d ) , typename Grammar::template impl<e8, State, Data>()( proto::child_c< 8>( e), s, d ) , typename Grammar::template impl<e9, State, Data>()( proto::child_c< 9>( e), s, d ));
391 }
392 };
393