/////////////////////////////////////////////////////////////////////////////// /// \file make.hpp /// Contains definition of the make<> transform. // // Copyright 2008 Eric Niebler. Distributed under the Boost // Software License, Version 1.0. (See accompanying file // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) namespace detail { template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0) const { return result_type::make(a0); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0) const { return result_type::make(a0); } }; template BOOST_FORCEINLINE Type construct() { return construct_()(); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(); } }; }; namespace detail { template< template class R , typename A0 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > : nested_type_if< R ::type> , (make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0) const { return result_type::make(a0); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0) const { return result_type::make(a0); } }; template BOOST_FORCEINLINE Type construct(A0 &a0) { return construct_()(a0); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A0 , detail::expand_pattern_rest_0< Object > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(2) > : nested_type_if< R ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1) const { return result_type::make(a0 , a1); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1) const { return result_type::make(a0 , a1); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1) { return construct_()(a0 , a1); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A1 , detail::expand_pattern_rest_1< Object , A0 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(3) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2) const { return result_type::make(a0 , a1 , a2); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2) const { return result_type::make(a0 , a1 , a2); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2) { return construct_()(a0 , a1 , a2); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A2 , detail::expand_pattern_rest_2< Object , A0 , A1 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(4) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3) const { return result_type::make(a0 , a1 , a2 , a3); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3) const { return result_type::make(a0 , a1 , a2 , a3); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3) { return construct_()(a0 , a1 , a2 , a3); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A3 , detail::expand_pattern_rest_3< Object , A0 , A1 , A2 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(5) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4) const { return result_type::make(a0 , a1 , a2 , a3 , a4); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4) const { return result_type::make(a0 , a1 , a2 , a3 , a4); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4) { return construct_()(a0 , a1 , a2 , a3 , a4); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A4 , detail::expand_pattern_rest_4< Object , A0 , A1 , A2 , A3 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(6) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5) { return construct_()(a0 , a1 , a2 , a3 , a4 , a5); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A5 , detail::expand_pattern_rest_5< Object , A0 , A1 , A2 , A3 , A4 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(7) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6) { return construct_()(a0 , a1 , a2 , a3 , a4 , a5 , a6); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A6 , detail::expand_pattern_rest_6< Object , A0 , A1 , A2 , A3 , A4 , A5 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(8) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7) { return construct_()(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A7>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A7 , detail::expand_pattern_rest_7< Object , A0 , A1 , A2 , A3 , A4 , A5 , A6 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(9) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8) { return construct_()(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A7>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A8>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A8 , detail::expand_pattern_rest_8< Object , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 > >::type >::template impl {}; }; namespace detail { template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename Expr, typename State, typename Data > struct make_< R , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(10) > : nested_type_if< R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> , (make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || make_if_ ::applied || false) > {}; template< template class R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9 , typename Expr, typename State, typename Data > struct make_< noinvoke > , Expr, State, Data BOOST_PROTO_TEMPLATE_ARITY_PARAM(1) > { typedef R ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type , typename make_if_ ::type> type; static bool const applied = true; }; template struct is_applyable : mpl::true_ {}; template struct is_applyable : mpl::true_ {}; template struct construct_, true> { typedef proto::expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8 , A9 &a9) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9); } }; template struct construct_, true> { typedef proto::basic_expr result_type; template BOOST_FORCEINLINE result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8 , A9 &a9) const { return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9); } }; template BOOST_FORCEINLINE Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8 , A9 &a9) { return construct_()(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9); } } template struct make : transform > { template struct impl : transform_impl { typedef typename detail::make_if_::type result_type; BOOST_FORCEINLINE result_type operator ()( typename impl::expr_param e , typename impl::state_param s , typename impl::data_param d ) const { proto::detail::ignore_unused(e); proto::detail::ignore_unused(s); proto::detail::ignore_unused(d); return detail::construct(detail::as_lvalue( typename when<_, A0>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A7>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A8>::template impl()(e, s, d) ) , detail::as_lvalue( typename when<_, A9>::template impl()(e, s, d) )); } }; }; template struct make : transform > { template struct impl : make< typename detail::expand_pattern< proto::arity_of::value , A9 , detail::expand_pattern_rest_9< Object , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 > >::type >::template impl {}; };