1/*=============================================================================
2 Copyright (c) 2016 Kohei Takahashi
3
4 Distributed under the Boost Software License, Version 1.0. (See accompanying
5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6==============================================================================*/
7#ifndef BOOST_PHOENIX_CORE_EXPRESSION_HPP
8#define BOOST_PHOENIX_CORE_EXPRESSION_HPP
9
10#include <boost/phoenix/core/limits.hpp>
11#include <boost/fusion/sequence/intrinsic/at.hpp>
12#include <boost/phoenix/core/as_actor.hpp>
13#include <boost/phoenix/core/detail/expression.hpp>
14#include <boost/phoenix/core/domain.hpp>
15#include <boost/proto/domain.hpp>
16#include <boost/proto/make_expr.hpp>
17#include <boost/proto/transform/pass_through.hpp>
18
19namespace boost { namespace phoenix
20{
21 template <typename Expr> struct actor;
22
23#ifdef BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
24 #include <boost/phoenix/core/detail/cpp03/expression.hpp>
25#else
26 template <template <typename> class Actor, typename Tag, typename... A>
27 struct expr_ext;
28
29 // This filter cuts arguments of a template pack after a first void.
30 // It is necessary because the interface can be used in C++03 style.
31 template <typename Tag, typename... A>
32 struct expr_impl;
33
34 // Helper template. Used to store filtered argument types.
35 template <typename... A>
36 struct expr_arg_types {};
37
38 template <typename Tag, typename... A>
39 struct expr_impl<Tag, expr_arg_types<A...>> : expr_ext<actor, Tag, A...> {};
40
41 template <typename Tag, typename... A, typename... T>
42 struct expr_impl<Tag, expr_arg_types<A...>, void, T...> : expr_ext<actor, Tag, A...> {};
43
44 template <typename Tag, typename... A, typename H, typename... T>
45 struct expr_impl<Tag, expr_arg_types<A...>, H, T...> : expr_impl<Tag, expr_arg_types<A..., H>, T...> {};
46
47 template <typename Tag, typename... A>
48 struct expr : expr_impl<Tag, expr_arg_types<>, A...> {};
49
50 template <template <typename> class Actor, typename Tag, typename... A>
51 struct expr_ext
52 : proto::transform<expr_ext<Actor, Tag, A...>, int>
53 {
54 typedef
55 typename proto::result_of::make_expr<
56 Tag
57 , phoenix_default_domain //proto::basic_default_domain
58 , typename proto::detail::uncvref<A>::type...
59 >::type
60 base_type;
61
62 typedef Actor<base_type> type;
63
64 typedef typename proto::nary_expr<Tag, A...>::proto_grammar proto_grammar;
65
66 static type make(A const&... a)
67 { //?? actor or Actor??
68 //Actor<base_type> const e =
69 actor<base_type> const e =
70 {
71 proto::make_expr<Tag, phoenix_default_domain>(a...)
72 };
73 return e;
74 }
75
76 template<typename Expr, typename State, typename Data>
77 struct impl
78 : proto::pass_through<expr_ext>::template impl<Expr, State, Data>
79 {};
80
81 typedef Tag proto_tag;
82 };
83#endif
84}}
85
86#endif
87