Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     // funop.hpp
Chris@16:     // Contains definition of funop[n]\<\> class template.
Chris@16:     //
Chris@16:     //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16:     //  Software License, Version 1.0. (See accompanying file
Chris@16:     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain >
Chris@16:     struct funop0
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list1<
Chris@16:                 Expr &
Chris@16:                 
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename This, typename Domain>
Chris@16:     struct funop<Expr(), This, Domain>
Chris@16:       : funop0<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0>
Chris@16:     struct funop1
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list2<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0), This, Domain>
Chris@16:       : funop1<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1>
Chris@16:     struct funop2
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list3<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1), This, Domain>
Chris@16:       : funop2<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2>
Chris@16:     struct funop3
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list4<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1 , A2 &a2
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1 , typename A2, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1 , A2), This, Domain>
Chris@16:       : funop3<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct funop4
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list5<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1 , A2 , A3), This, Domain>
Chris@16:       : funop4<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct funop5
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list6<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1 , A2 , A3 , A4), This, Domain>
Chris@16:       : funop5<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct funop6
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list7<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5), This, Domain>
Chris@16:       : funop6<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct funop7
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list8<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type , typename proto::result_of::as_child<A6, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5) , proto::as_child<Domain>(a6)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5 , A6), This, Domain>
Chris@16:       : funop7<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type , typename remove_reference<A6 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct funop8
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list9<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type , typename proto::result_of::as_child<A6, Domain>::type , typename proto::result_of::as_child<A7, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5) , proto::as_child<Domain>(a6) , proto::as_child<Domain>(a7)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), This, Domain>
Chris@16:       : funop8<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type , typename remove_reference<A6 >::type , typename remove_reference<A7 >::type
Chris@16:         >
Chris@16:     {};
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr, typename Domain , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct funop9
Chris@16:     {
Chris@16:         typedef typename proto::base_expr<
Chris@16:             Domain
Chris@16:           , tag::function
Chris@16:           , list10<
Chris@16:                 Expr &
Chris@16:                 , typename proto::result_of::as_child<A0, Domain>::type , typename proto::result_of::as_child<A1, Domain>::type , typename proto::result_of::as_child<A2, Domain>::type , typename proto::result_of::as_child<A3, Domain>::type , typename proto::result_of::as_child<A4, Domain>::type , typename proto::result_of::as_child<A5, Domain>::type , typename proto::result_of::as_child<A6, Domain>::type , typename proto::result_of::as_child<A7, Domain>::type , typename proto::result_of::as_child<A8, Domain>::type
Chris@16:             >
Chris@16:         >::type type;
Chris@16:         BOOST_FORCEINLINE
Chris@16:         static type const call(
Chris@16:             Expr &e
Chris@16:             , A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8
Chris@16:         )
Chris@16:         {
Chris@16:             type that = {
Chris@16:                 e
Chris@16:                 , proto::as_child<Domain>(a0) , proto::as_child<Domain>(a1) , proto::as_child<Domain>(a2) , proto::as_child<Domain>(a3) , proto::as_child<Domain>(a4) , proto::as_child<Domain>(a5) , proto::as_child<Domain>(a6) , proto::as_child<Domain>(a7) , proto::as_child<Domain>(a8)
Chris@16:             };
Chris@16:             return that;
Chris@16:         }
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     template<typename Expr , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8, typename This, typename Domain>
Chris@16:     struct funop<Expr(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), This, Domain>
Chris@16:       : funop9<
Chris@16:             typename detail::same_cv<Expr, This>::type
Chris@16:           , Domain
Chris@16:             , typename remove_reference<A0 >::type , typename remove_reference<A1 >::type , typename remove_reference<A2 >::type , typename remove_reference<A3 >::type , typename remove_reference<A4 >::type , typename remove_reference<A5 >::type , typename remove_reference<A6 >::type , typename remove_reference<A7 >::type , typename remove_reference<A8 >::type
Chris@16:         >
Chris@16:     {};