Chris@16: /////////////////////////////////////////////////////////////////////////////// Chris@16: /// \file callable_eval.hpp Chris@16: /// Contains specializations of the callable_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: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) , proto::child_c< 3>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; typedef typename proto::result_of::child_c< Expr const &, 3>::type child3; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 , child3 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) , proto::child_c< 3>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) , proto::child_c< 3>( sexpr_) , proto::child_c< 4>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; typedef typename proto::result_of::child_c< Expr const &, 3>::type child3; typedef typename proto::result_of::child_c< Expr const &, 4>::type child4; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 , child3 , child4 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) , proto::child_c< 3>( expr) , proto::child_c< 4>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) , proto::child_c< 3>( sexpr_) , proto::child_c< 4>( sexpr_) , proto::child_c< 5>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; typedef typename proto::result_of::child_c< Expr const &, 3>::type child3; typedef typename proto::result_of::child_c< Expr const &, 4>::type child4; typedef typename proto::result_of::child_c< Expr const &, 5>::type child5; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 , child3 , child4 , child5 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) , proto::child_c< 3>( expr) , proto::child_c< 4>( expr) , proto::child_c< 5>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) , proto::child_c< 3>( sexpr_) , proto::child_c< 4>( sexpr_) , proto::child_c< 5>( sexpr_) , proto::child_c< 6>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; typedef typename proto::result_of::child_c< Expr const &, 3>::type child3; typedef typename proto::result_of::child_c< Expr const &, 4>::type child4; typedef typename proto::result_of::child_c< Expr const &, 5>::type child5; typedef typename proto::result_of::child_c< Expr const &, 6>::type child6; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 , child3 , child4 , child5 , child6 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) , proto::child_c< 3>( expr) , proto::child_c< 4>( expr) , proto::child_c< 5>( expr) , proto::child_c< 6>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) , proto::child_c< 3>( sexpr_) , proto::child_c< 4>( sexpr_) , proto::child_c< 5>( sexpr_) , proto::child_c< 6>( sexpr_) , proto::child_c< 7>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; typedef typename proto::result_of::child_c< Expr const &, 3>::type child3; typedef typename proto::result_of::child_c< Expr const &, 4>::type child4; typedef typename proto::result_of::child_c< Expr const &, 5>::type child5; typedef typename proto::result_of::child_c< Expr const &, 6>::type child6; typedef typename proto::result_of::child_c< Expr const &, 7>::type child7; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 , child3 , child4 , child5 , child6 , child7 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) , proto::child_c< 3>( expr) , proto::child_c< 4>( expr) , proto::child_c< 5>( expr) , proto::child_c< 6>( expr) , proto::child_c< 7>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) , proto::child_c< 3>( sexpr_) , proto::child_c< 4>( sexpr_) , proto::child_c< 5>( sexpr_) , proto::child_c< 6>( sexpr_) , proto::child_c< 7>( sexpr_) , proto::child_c< 8>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; typedef typename proto::result_of::child_c< Expr const &, 3>::type child3; typedef typename proto::result_of::child_c< Expr const &, 4>::type child4; typedef typename proto::result_of::child_c< Expr const &, 5>::type child5; typedef typename proto::result_of::child_c< Expr const &, 6>::type child6; typedef typename proto::result_of::child_c< Expr const &, 7>::type child7; typedef typename proto::result_of::child_c< Expr const &, 8>::type child8; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 , child3 , child4 , child5 , child6 , child7 , child8 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) , proto::child_c< 3>( expr) , proto::child_c< 4>( expr) , proto::child_c< 5>( expr) , proto::child_c< 6>( expr) , proto::child_c< 7>( expr) , proto::child_c< 8>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: } Chris@16: namespace detail Chris@16: { Chris@16: template Chris@16: struct is_expr_handled Chris@16: { Chris@16: static callable_context_wrapper &sctx_; Chris@16: static Expr &sexpr_; Chris@16: static typename Expr::proto_tag &stag_; Chris@16: static const bool value = Chris@16: sizeof(yes_type) == Chris@16: sizeof( Chris@16: detail::check_is_expr_handled( Chris@16: (sctx_( Chris@16: stag_ Chris@16: , proto::child_c< 0>( sexpr_) , proto::child_c< 1>( sexpr_) , proto::child_c< 2>( sexpr_) , proto::child_c< 3>( sexpr_) , proto::child_c< 4>( sexpr_) , proto::child_c< 5>( sexpr_) , proto::child_c< 6>( sexpr_) , proto::child_c< 7>( sexpr_) , proto::child_c< 8>( sexpr_) , proto::child_c< 9>( sexpr_) Chris@16: ), 0) Chris@16: ) Chris@16: ); Chris@16: typedef mpl::bool_ type; Chris@16: }; Chris@16: } Chris@16: namespace context Chris@16: { Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: Chris@16: template Chris@16: struct callable_eval Chris@16: { Chris@16: typedef typename proto::result_of::child_c< Expr const &, 0>::type child0; typedef typename proto::result_of::child_c< Expr const &, 1>::type child1; typedef typename proto::result_of::child_c< Expr const &, 2>::type child2; typedef typename proto::result_of::child_c< Expr const &, 3>::type child3; typedef typename proto::result_of::child_c< Expr const &, 4>::type child4; typedef typename proto::result_of::child_c< Expr const &, 5>::type child5; typedef typename proto::result_of::child_c< Expr const &, 6>::type child6; typedef typename proto::result_of::child_c< Expr const &, 7>::type child7; typedef typename proto::result_of::child_c< Expr const &, 8>::type child8; typedef typename proto::result_of::child_c< Expr const &, 9>::type child9; Chris@16: typedef Chris@16: typename BOOST_PROTO_RESULT_OF< Chris@16: Context( Chris@16: typename Expr::proto_tag Chris@16: , child0 , child1 , child2 , child3 , child4 , child5 , child6 , child7 , child8 , child9 Chris@16: ) Chris@16: >::type Chris@16: result_type; Chris@16: Chris@16: Chris@16: Chris@16: result_type operator ()(Expr &expr, Context &context) const Chris@16: { Chris@16: return context( Chris@16: typename Expr::proto_tag() Chris@16: , proto::child_c< 0>( expr) , proto::child_c< 1>( expr) , proto::child_c< 2>( expr) , proto::child_c< 3>( expr) , proto::child_c< 4>( expr) , proto::child_c< 5>( expr) , proto::child_c< 6>( expr) , proto::child_c< 7>( expr) , proto::child_c< 8>( expr) , proto::child_c< 9>( expr) Chris@16: ); Chris@16: } Chris@16: }; Chris@16: }