| /*============================================================================= |
| 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_SELF_HPP |
| #define PHOENIX_OPERATOR_SELF_HPP |
| |
| #include <boost/spirit/home/phoenix/core/composite.hpp> |
| #include <boost/spirit/home/phoenix/core/compose.hpp> |
| #include <boost/spirit/home/phoenix/detail/type_deduction.hpp> |
| #include <boost/spirit/home/phoenix/operator/detail/unary_eval.hpp> |
| #include <boost/spirit/home/phoenix/operator/detail/unary_compose.hpp> |
| #include <boost/spirit/home/phoenix/operator/detail/binary_eval.hpp> |
| #include <boost/spirit/home/phoenix/operator/detail/binary_compose.hpp> |
| |
| namespace boost { namespace phoenix |
| { |
| struct reference_eval; |
| struct dereference_eval; |
| struct assign_eval; |
| struct index_eval; |
| |
| BOOST_UNARY_RESULT_OF(&x, result_of_reference) |
| BOOST_UNARY_RESULT_OF(*x, result_of_dereference) |
| BOOST_BINARY_RESULT_OF(x = y, result_of_assign) |
| BOOST_ASYMMETRIC_BINARY_RESULT_OF(x[y], result_of_index) |
| |
| namespace detail |
| { |
| template <typename T0, typename T1> |
| struct make_assign_composite |
| { |
| typedef actor<typename as_composite<assign_eval, T0, T1>::type> type; |
| }; |
| |
| template <typename T0, typename T1> |
| struct make_index_composite |
| { |
| typedef actor<typename as_composite<index_eval, T0, T1>::type> type; |
| }; |
| } |
| |
| template <typename Base> |
| template <typename T1> |
| typename detail::make_assign_composite<actor<Base>, T1>::type |
| actor<Base>::operator=(T1 const& a1) const |
| { |
| return compose<assign_eval>(*this, a1); |
| } |
| |
| template <typename Base> |
| template <typename T1> |
| typename detail::make_index_composite<actor<Base>, T1>::type |
| actor<Base>::operator[](T1 const& a1) const |
| { |
| return compose<index_eval>(*this, a1); |
| } |
| |
| #define x a0.eval(env) |
| #define y a1.eval(env) |
| |
| PHOENIX_UNARY_EVAL(reference_eval, result_of_reference, &x) |
| PHOENIX_UNARY_EVAL(dereference_eval, result_of_dereference, *x) |
| PHOENIX_UNARY_COMPOSE(reference_eval, &) |
| PHOENIX_UNARY_COMPOSE(dereference_eval, *) |
| |
| PHOENIX_BINARY_EVAL(assign_eval, result_of_assign, x = y) |
| PHOENIX_BINARY_EVAL(index_eval, result_of_index, x[y]) |
| }} |
| |
| #undef x |
| #undef y |
| #endif |