| /*============================================================================= |
| Copyright (c) 2001-2007 Joel de Guzman |
| |
| 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) |
| ==============================================================================*/ |
| #ifndef PHOENIX_OPERATOR_DETAIL_BINARY_EVAL_HPP |
| #define PHOENIX_OPERATOR_DETAIL_BINARY_EVAL_HPP |
| |
| #include <boost/mpl/or.hpp> |
| #include <boost/mpl/eval_if.hpp> |
| #include <boost/mpl/identity.hpp> |
| #include <boost/type_traits/is_same.hpp> |
| #include <boost/spirit/home/phoenix/core/compose.hpp> |
| |
| #define PHOENIX_BINARY_EVAL(eval_name, op_result, expr) \ |
| struct eval_name \ |
| { \ |
| template <typename Env, typename A0, typename A1> \ |
| struct result \ |
| { \ |
| typedef typename A0::template result<Env>::type x_type; \ |
| typedef typename A1::template result<Env>::type y_type; \ |
| \ |
| typedef typename \ |
| mpl::eval_if< \ |
| mpl::or_<is_actor<x_type>, is_actor<y_type> > \ |
| , re_curry<eval_name, x_type, y_type> \ |
| , op_result<x_type, y_type> \ |
| >::type \ |
| type; \ |
| }; \ |
| \ |
| template <typename RT, typename Env, typename A0, typename A1> \ |
| static RT \ |
| eval(Env const& env, A0& a0, A1& a1) \ |
| { \ |
| return expr; \ |
| } \ |
| }; |
| |
| #undef x |
| #undef y |
| #endif |