scope/detail/local_gen.hpp

0001 /*==============================================================================
0002     Copyright (c) 2016 Kohei Takahashi
0003
0004     Distributed under the Boost Software License, Version 1.0. (See accompanying
0005     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
0006 ==============================================================================*/
0007
0008         template <typename... A>
0009         BOOST_PHOENIX_SCOPE_ACTOR_GEN_NAME<
0010             typename vector_chooser<sizeof...(A)>::template apply<
0011                 typename proto::detail::uncvref<
0012                     typename proto::result_of::child_c<A, 1>::type
0013                 >::type...
0014             >::type
0015           , detail::map_local_index_to_tuple<
0016                 typename proto::detail::uncvref<
0017                     typename proto::result_of::value<
0018                         typename proto::result_of::child_c<A, 0>::type
0019                     >::type
0020                 >::type...
0021             >
0022         >
0023         BOOST_PHOENIX_SCOPE_ACTOR_GEN_FUNCTION(A const&... a) BOOST_PHOENIX_SCOPE_ACTOR_GEN_CONST
0024         {
0025             typedef
0026                 typename vector_chooser<sizeof...(A)>::template apply<
0027                     typename proto::detail::uncvref<
0028                         typename proto::result_of::child_c<A, 1>::type
0029                     >::type...
0030                 >::type
0031             locals_type;
0032
0033             locals_type locals = {proto::child_c<1>(a)...};
0034
0035             return
0036                 BOOST_PHOENIX_SCOPE_ACTOR_GEN_NAME<
0037                     locals_type
0038                   , detail::map_local_index_to_tuple<
0039                         typename proto::detail::uncvref<
0040                             typename proto::result_of::value<
0041                                 typename proto::result_of::child_c<A, 0>::type
0042                             >::type
0043                         >::type...
0044                     >
0045                 >(locals);
0046         }
0047