/////////////////////////////////////////////////////////////////////////////// | |
/// \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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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::classtypeof<function_type>::type class_type; | |
return ( | |
BOOST_PROTO_GET_POINTER(class_type, BOOST_PROTO_DEFAULT_EVAL(~, 1, expr)) ->* | |
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)); | |
} | |
}; |