summaryrefslogtreecommitdiffstats
blob: 14f12afbc1d181aad32cd0165b0682fa0407df07 (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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
/*=============================================================================
    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 BOOST_PP_IS_ITERATING
#ifndef PHOENIX_CORE_DETAIL_COMPOSITE_EVAL_HPP
#define PHOENIX_CORE_DETAIL_COMPOSITE_EVAL_HPP

#include <boost/preprocessor/iterate.hpp>
#include <boost/preprocessor/repetition/enum.hpp>
#include <boost/preprocessor/repetition/enum_params.hpp>

    namespace detail
    {
        template <int N>
        struct composite_eval;

        template <>
        struct composite_eval<0>
        {
            template <typename Composite, typename Env>
            struct result
            {
                typedef typename Composite::eval_policy_type::
                    template result<Env>::type
                type;
            };

            template <typename RT, typename Composite, typename Env>
            static RT
            call(Composite const& /*composite*/, Env const& env)
            {
                typedef typename Composite::eval_policy_type eval_policy_type;
                return eval_policy_type::template eval<RT>(env);
            }
        };

        template <typename Actor, typename Env>
        struct eval_is_actor
            : is_actor<typename Actor::template result<Env>::type> {};

        template <typename Actor, typename Env>
        struct eval_is_void
            : is_same<typename Actor::template result<Env>::type, fusion::void_> {};
    }

#define PHOENIX_GET_ACTOR_TYPE(z, n, data)                                      \
    typedef                                                                     \
        typename fusion::result_of::value_at_c<Composite, n>::type              \
    BOOST_PP_CAT(actor, n);

#define PHOENIX_GET_ACTOR(z, n, data)                                           \
    fusion::at_c<n>(composite)

#define BOOST_PP_ITERATION_PARAMS_1                                             \
    (3, (1, PHOENIX_COMPOSITE_LIMIT,                                            \
    "boost/spirit/home/phoenix/core/detail/composite_eval.hpp"))
#include BOOST_PP_ITERATE()

#undef PHOENIX_GET_ACTOR
#undef PHOENIX_GET_ACTOR_TYPE
#endif

///////////////////////////////////////////////////////////////////////////////
//
//  Preprocessor vertical repetition code
//
///////////////////////////////////////////////////////////////////////////////
#else // defined(BOOST_PP_IS_ITERATING)

#define N BOOST_PP_ITERATION()

    namespace detail
    {
        template <>
        struct composite_eval<N>
        {
            template <typename Composite, typename Env>
            struct result
            {
                BOOST_PP_REPEAT(N, PHOENIX_GET_ACTOR_TYPE, _)

                typedef typename
                    Composite::eval_policy_type::template result<
                        Env, BOOST_PP_ENUM_PARAMS(N, actor)
                    >::type
                type;
            };

            template <typename RT, typename Composite, typename Env>
            static RT
            call(Composite const& composite, Env const& env)
            {
                typedef typename Composite::eval_policy_type eval_policy_type;
                return eval_policy_type::template eval<RT>(
                    env, BOOST_PP_ENUM(N, PHOENIX_GET_ACTOR, _));
            }
        };
    }

#undef N
#endif // defined(BOOST_PP_IS_ITERATING)