Chris@16
|
1 /*=============================================================================
|
Chris@16
|
2 Copyright (c) 2005-2006 Joao Abecasis
|
Chris@16
|
3 Copyright (c) 2006-2007 Tobias Schwinger
|
Chris@16
|
4
|
Chris@16
|
5 Use modification and distribution are subject to the Boost Software
|
Chris@16
|
6 License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
7 http://www.boost.org/LICENSE_1_0.txt).
|
Chris@16
|
8 ==============================================================================*/
|
Chris@16
|
9
|
Chris@16
|
10 #if !defined(BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_PROCEDURE_HPP_INCLUDED)
|
Chris@16
|
11 #if !defined(BOOST_PP_IS_ITERATING)
|
Chris@16
|
12
|
Chris@16
|
13 #include <boost/preprocessor/cat.hpp>
|
Chris@16
|
14 #include <boost/preprocessor/iteration/iterate.hpp>
|
Chris@16
|
15 #include <boost/preprocessor/arithmetic/dec.hpp>
|
Chris@16
|
16 #include <boost/preprocessor/repetition/repeat_from_to.hpp>
|
Chris@16
|
17 #include <boost/preprocessor/repetition/enum.hpp>
|
Chris@16
|
18 #include <boost/preprocessor/repetition/enum_shifted.hpp>
|
Chris@16
|
19 #include <boost/preprocessor/repetition/enum_params.hpp>
|
Chris@16
|
20 #include <boost/preprocessor/repetition/enum_shifted_params.hpp>
|
Chris@16
|
21
|
Chris@16
|
22 #include <boost/type_traits/remove_reference.hpp>
|
Chris@16
|
23
|
Chris@16
|
24 #include <boost/mpl/front.hpp>
|
Chris@16
|
25
|
Chris@16
|
26 #include <boost/function_types/is_callable_builtin.hpp>
|
Chris@16
|
27 #include <boost/function_types/is_member_function_pointer.hpp>
|
Chris@16
|
28 #include <boost/function_types/parameter_types.hpp>
|
Chris@16
|
29
|
Chris@16
|
30 #include <boost/fusion/support/category_of.hpp>
|
Chris@101
|
31 #include <boost/fusion/support/detail/enabler.hpp>
|
Chris@16
|
32 #include <boost/fusion/sequence/intrinsic/at.hpp>
|
Chris@16
|
33 #include <boost/fusion/sequence/intrinsic/size.hpp>
|
Chris@16
|
34 #include <boost/fusion/sequence/intrinsic/begin.hpp>
|
Chris@16
|
35 #include <boost/fusion/iterator/next.hpp>
|
Chris@16
|
36 #include <boost/fusion/iterator/deref.hpp>
|
Chris@16
|
37 #include <boost/fusion/functional/invocation/limits.hpp>
|
Chris@16
|
38 #include <boost/fusion/functional/invocation/detail/that_ptr.hpp>
|
Chris@16
|
39
|
Chris@16
|
40 namespace boost { namespace fusion
|
Chris@16
|
41 {
|
Chris@16
|
42 namespace detail
|
Chris@16
|
43 {
|
Chris@16
|
44 namespace ft = function_types;
|
Chris@16
|
45
|
Chris@16
|
46 template<
|
Chris@16
|
47 typename Function, class Sequence,
|
Chris@16
|
48 int N = result_of::size<Sequence>::value,
|
Chris@16
|
49 bool MFP = ft::is_member_function_pointer<Function>::value,
|
Chris@16
|
50 bool RandomAccess = traits::is_random_access<Sequence>::value
|
Chris@16
|
51 >
|
Chris@16
|
52 struct invoke_procedure_impl;
|
Chris@16
|
53
|
Chris@16
|
54 #define BOOST_PP_FILENAME_1 \
|
Chris@16
|
55 <boost/fusion/functional/invocation/invoke_procedure.hpp>
|
Chris@16
|
56 #define BOOST_PP_ITERATION_LIMITS \
|
Chris@16
|
57 (0, BOOST_FUSION_INVOKE_PROCEDURE_MAX_ARITY)
|
Chris@16
|
58 #include BOOST_PP_ITERATE()
|
Chris@16
|
59
|
Chris@16
|
60 }
|
Chris@16
|
61
|
Chris@101
|
62 namespace result_of
|
Chris@101
|
63 {
|
Chris@101
|
64 template <typename Function, class Sequence, class Enable = void>
|
Chris@101
|
65 struct invoke_procedure;
|
Chris@101
|
66
|
Chris@101
|
67 template <typename Function, class Sequence>
|
Chris@101
|
68 struct invoke_procedure<Function, Sequence,
|
Chris@101
|
69 typename detail::enabler<
|
Chris@101
|
70 typename detail::invoke_procedure_impl<
|
Chris@101
|
71 typename boost::remove_reference<Function>::type,Sequence
|
Chris@101
|
72 >::result_type
|
Chris@101
|
73 >::type>
|
Chris@101
|
74 {
|
Chris@101
|
75 typedef void type;
|
Chris@101
|
76 };
|
Chris@101
|
77 }
|
Chris@101
|
78
|
Chris@16
|
79 template <typename Function, class Sequence>
|
Chris@101
|
80 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@101
|
81 inline typename result_of::invoke_procedure<Function, Sequence>::type
|
Chris@101
|
82 invoke_procedure(Function f, Sequence & s)
|
Chris@16
|
83 {
|
Chris@16
|
84 detail::invoke_procedure_impl<
|
Chris@16
|
85 typename boost::remove_reference<Function>::type,Sequence
|
Chris@16
|
86 >::call(f,s);
|
Chris@16
|
87 }
|
Chris@16
|
88
|
Chris@16
|
89 template <typename Function, class Sequence>
|
Chris@101
|
90 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@101
|
91 inline typename result_of::invoke_procedure<Function, Sequence const>::type
|
Chris@101
|
92 invoke_procedure(Function f, Sequence const & s)
|
Chris@16
|
93 {
|
Chris@16
|
94 detail::invoke_procedure_impl<
|
Chris@16
|
95 typename boost::remove_reference<Function>::type,Sequence const
|
Chris@16
|
96 >::call(f,s);
|
Chris@16
|
97 }
|
Chris@16
|
98
|
Chris@16
|
99 }}
|
Chris@16
|
100
|
Chris@16
|
101 #define BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_PROCEDURE_HPP_INCLUDED
|
Chris@16
|
102 #else // defined(BOOST_PP_IS_ITERATING)
|
Chris@16
|
103 ///////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
104 //
|
Chris@16
|
105 // Preprocessor vertical repetition code
|
Chris@16
|
106 //
|
Chris@16
|
107 ///////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
108 #define N BOOST_PP_ITERATION()
|
Chris@16
|
109
|
Chris@16
|
110 #define M(z,j,data) fusion::at_c<j>(s)
|
Chris@16
|
111
|
Chris@16
|
112 template <typename Function, class Sequence>
|
Chris@16
|
113 struct invoke_procedure_impl<Function,Sequence,N,false,true>
|
Chris@16
|
114 {
|
Chris@101
|
115 typedef void result_type;
|
Chris@16
|
116
|
Chris@16
|
117 #if N > 0
|
Chris@16
|
118
|
Chris@101
|
119 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
120 static inline void call(Function & f, Sequence & s)
|
Chris@16
|
121 {
|
Chris@16
|
122 f(BOOST_PP_ENUM(N,M,~));
|
Chris@16
|
123 }
|
Chris@16
|
124
|
Chris@16
|
125 #else
|
Chris@16
|
126
|
Chris@101
|
127 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
128 static inline void call(Function & f, Sequence & /*s*/)
|
Chris@16
|
129 {
|
Chris@16
|
130 f();
|
Chris@16
|
131 }
|
Chris@16
|
132
|
Chris@16
|
133 #endif
|
Chris@16
|
134
|
Chris@16
|
135 };
|
Chris@16
|
136
|
Chris@16
|
137 #if N > 0
|
Chris@16
|
138 template <typename Function, class Sequence>
|
Chris@16
|
139 struct invoke_procedure_impl<Function,Sequence,N,true,true>
|
Chris@16
|
140 {
|
Chris@101
|
141 typedef void result_type;
|
Chris@101
|
142
|
Chris@101
|
143 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
144 static inline void call(Function & f, Sequence & s)
|
Chris@16
|
145 {
|
Chris@16
|
146 (that_ptr<typename mpl::front<
|
Chris@16
|
147 ft::parameter_types<Function> >::type
|
Chris@16
|
148 >::get(fusion::at_c<0>(s))->*f)(BOOST_PP_ENUM_SHIFTED(N,M,~));
|
Chris@16
|
149 }
|
Chris@16
|
150 };
|
Chris@16
|
151 #endif
|
Chris@16
|
152
|
Chris@16
|
153 #undef M
|
Chris@16
|
154
|
Chris@16
|
155 #define M(z,j,data) \
|
Chris@16
|
156 typedef typename result_of::next< BOOST_PP_CAT(I,BOOST_PP_DEC(j)) \
|
Chris@16
|
157 >::type I ## j ; \
|
Chris@16
|
158 I##j i##j = fusion::next(BOOST_PP_CAT(i,BOOST_PP_DEC(j)));
|
Chris@16
|
159
|
Chris@16
|
160 template <typename Function, class Sequence>
|
Chris@16
|
161 struct invoke_procedure_impl<Function,Sequence,N,false,false>
|
Chris@16
|
162 {
|
Chris@101
|
163 typedef void result_type;
|
Chris@16
|
164
|
Chris@16
|
165 #if N > 0
|
Chris@16
|
166
|
Chris@101
|
167 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
168 static inline void call(Function & f, Sequence & s)
|
Chris@16
|
169 {
|
Chris@16
|
170 typedef typename result_of::begin<Sequence>::type I0;
|
Chris@16
|
171 I0 i0 = fusion::begin(s);
|
Chris@16
|
172 BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
|
Chris@16
|
173 f( BOOST_PP_ENUM_PARAMS(N,*i) );
|
Chris@16
|
174 }
|
Chris@16
|
175
|
Chris@16
|
176 #else
|
Chris@101
|
177 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
178 static inline void call(Function & f, Sequence & /*s*/)
|
Chris@16
|
179 {
|
Chris@16
|
180 f();
|
Chris@16
|
181 }
|
Chris@16
|
182
|
Chris@16
|
183 #endif
|
Chris@16
|
184
|
Chris@16
|
185 };
|
Chris@16
|
186
|
Chris@16
|
187 #if N > 0
|
Chris@16
|
188 template <typename Function, class Sequence>
|
Chris@16
|
189 struct invoke_procedure_impl<Function,Sequence,N,true,false>
|
Chris@16
|
190 {
|
Chris@101
|
191 typedef void result_type;
|
Chris@101
|
192
|
Chris@101
|
193 BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
|
Chris@16
|
194 static inline void call(Function & f, Sequence & s)
|
Chris@16
|
195 {
|
Chris@16
|
196 typedef typename result_of::begin<Sequence>::type I0;
|
Chris@16
|
197 I0 i0 = fusion::begin(s);
|
Chris@16
|
198 BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
|
Chris@16
|
199
|
Chris@16
|
200 (that_ptr<typename mpl::front<
|
Chris@16
|
201 ft::parameter_types<Function> >::type
|
Chris@16
|
202 >::get(*i0)->*f)(BOOST_PP_ENUM_SHIFTED_PARAMS(N,*i));
|
Chris@16
|
203 }
|
Chris@16
|
204 };
|
Chris@16
|
205 #endif
|
Chris@16
|
206
|
Chris@16
|
207 #undef M
|
Chris@16
|
208
|
Chris@16
|
209 #undef N
|
Chris@16
|
210 #endif // defined(BOOST_PP_IS_ITERATING)
|
Chris@16
|
211 #endif
|
Chris@16
|
212
|