Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     /// \file default_eval.hpp
Chris@16:     /// Contains specializations of the default_eval\<\> 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:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 3>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context));
Chris@16:         }
Chris@16:     };
Chris@16:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 4>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 3>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context));
Chris@16:         }
Chris@16:     };
Chris@16:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 5>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 3>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 4>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context));
Chris@16:         }
Chris@16:     };
Chris@16:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 6>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 3>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 4>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 5>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context));
Chris@16:         }
Chris@16:     };
Chris@16:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 7>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 3>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 4>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 5>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 6>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context));
Chris@16:         }
Chris@16:     };
Chris@16:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 8>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 3>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 4>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 5>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 6>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 7>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context) , proto::eval(proto::child_c< 7>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context) , proto::eval(proto::child_c< 7>( expr), context));
Chris@16:         }
Chris@16:     };
Chris@16:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 9>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 3>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 4>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 5>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 6>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 7>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 8>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context) , proto::eval(proto::child_c< 7>( expr), context) , proto::eval(proto::child_c< 8>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context) , proto::eval(proto::child_c< 7>( expr), context) , proto::eval(proto::child_c< 8>( expr), context));
Chris@16:         }
Chris@16:     };
Chris@16:     template<typename Expr, typename Context>
Chris@16:     struct default_eval<Expr, Context, proto::tag::function, 10>
Chris@16:     {
Chris@16:         typedef
Chris@16:             typename proto::detail::result_of_fixup<
Chris@16:                 typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 0>::type >::type , Context >::type
Chris@16:             >::type
Chris@16:         function_type;
Chris@16:         typedef
Chris@16:             typename BOOST_PROTO_RESULT_OF<
Chris@16:                 function_type(typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 1>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 2>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 3>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 4>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 5>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 6>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 7>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 8>::type >::type , Context >::type , typename proto::result_of::eval< typename remove_reference< typename proto::result_of::child_c< Expr, 9>::type >::type , Context >::type)
Chris@16:             >::type
Chris@16:         result_type;
Chris@16:         result_type operator ()(Expr &expr, Context &context) const
Chris@16:         {
Chris@16:             return this->invoke(expr, context, is_member_function_pointer<function_type>());
Chris@16:         }
Chris@16:     private:
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::false_) const
Chris@16:         {
Chris@16:             return proto::eval(proto::child_c< 0>( expr), context)(
Chris@16:                 proto::eval(proto::child_c< 1>( expr), context) , proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context) , proto::eval(proto::child_c< 7>( expr), context) , proto::eval(proto::child_c< 8>( expr), context) , proto::eval(proto::child_c< 9>( expr), context)
Chris@16:             );
Chris@16:         }
Chris@16:         result_type invoke(Expr &expr, Context &context, mpl::true_) const
Chris@16:         {
Chris@16:             BOOST_PROTO_USE_GET_POINTER();
Chris@16:             typedef typename detail::class_member_traits<function_type>::class_type class_type;
Chris@16:             return (
Chris@16:                 BOOST_PROTO_GET_POINTER(class_type, (proto::eval(proto::child_c< 1>( expr), context))) ->*
Chris@16:                 proto::eval(proto::child_c< 0>( expr), context)
Chris@16:             )(proto::eval(proto::child_c< 2>( expr), context) , proto::eval(proto::child_c< 3>( expr), context) , proto::eval(proto::child_c< 4>( expr), context) , proto::eval(proto::child_c< 5>( expr), context) , proto::eval(proto::child_c< 6>( expr), context) , proto::eval(proto::child_c< 7>( expr), context) , proto::eval(proto::child_c< 8>( expr), context) , proto::eval(proto::child_c< 9>( expr), context));
Chris@16:         }
Chris@16:     };