summaryrefslogtreecommitdiffstats
blob: 501f6df71722cd1f55bc5a42aab8e9d29918ec7d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/*=============================================================================
    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_UNARY_EVAL_HPP
#define PHOENIX_OPERATOR_DETAIL_UNARY_EVAL_HPP

#include <boost/mpl/eval_if.hpp>
#include <boost/spirit/home/phoenix/core/compose.hpp>

#define PHOENIX_UNARY_EVAL(eval_name, op_result, expr)                          \
    struct eval_name                                                            \
    {                                                                           \
        template <typename Env, typename A0>                                    \
        struct result                                                            \
        {                                                                       \
            typedef typename A0::template result<Env>::type x_type;              \
                                                                                \
            typedef typename                                                    \
                mpl::eval_if<                                                   \
                    is_actor<x_type>                                            \
                  , re_curry<eval_name, x_type>                                 \
                  , op_result<x_type>                                           \
                >::type                                                         \
            type;                                                               \
        };                                                                      \
                                                                                \
        template <typename RT, typename Env, typename A0>                       \
        static RT                                                               \
        eval(Env const& env, A0& a0)                                            \
        {                                                                       \
            return expr;                                                        \
        }                                                                       \
    };

#endif