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