]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /*============================================================================= |
2 | Copyright (c) 2005-2010 Joel de Guzman | |
3 | Copyright (c) 2010 Eric Niebler | |
4 | Copyright (c) 2010 Thomas Heller | |
5 | ||
6 | Distributed under the Boost Software License, Version 1.0. (See accompanying | |
7 | file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
8 | ==============================================================================*/ | |
9 | #ifndef BOOST_PHOENIX_CORE_IS_NULLARY_HPP | |
10 | #define BOOST_PHOENIX_CORE_IS_NULLARY_HPP | |
11 | ||
12 | #include <boost/phoenix/core/limits.hpp> | |
13 | #include <boost/phoenix/core/environment.hpp> | |
14 | #include <boost/phoenix/core/is_actor.hpp> | |
15 | #include <boost/phoenix/core/meta_grammar.hpp> | |
16 | #include <boost/phoenix/core/terminal_fwd.hpp> | |
17 | #include <boost/phoenix/support/vector.hpp> | |
18 | #include <boost/proto/transform/fold.hpp> | |
19 | #include <boost/proto/transform/lazy.hpp> | |
20 | ||
21 | namespace boost { namespace phoenix | |
22 | { | |
23 | namespace result_of | |
24 | { | |
25 | template <typename Expr, typename Enable = void> | |
26 | struct is_nullary; | |
27 | } | |
28 | ||
29 | struct is_nullary | |
30 | { | |
31 | template <typename Rule, typename Dummy = void> | |
32 | struct when | |
33 | : proto::fold< | |
34 | proto::_ | |
35 | , mpl::true_() | |
36 | , mpl::and_< | |
37 | proto::_state | |
38 | , proto::call<evaluator(proto::_, _context)> | |
39 | >() | |
40 | > | |
41 | {}; | |
42 | }; | |
43 | ||
44 | template <typename Dummy> | |
45 | struct is_nullary::when<rule::argument, Dummy> | |
46 | { | |
47 | BOOST_PROTO_TRANSFORM(is_nullary::when<rule::argument>) | |
48 | template <typename Expr, typename State, typename Data> | |
49 | struct impl | |
50 | { | |
51 | typedef mpl::false_ result_type; | |
52 | }; | |
53 | }; | |
54 | ||
55 | template < | |
56 | typename Trait | |
57 | , typename Expr | |
58 | , typename State | |
59 | , typename Data | |
60 | , bool IsTransform = proto::is_transform<Trait>::value | |
61 | > | |
62 | struct is_nullary_custom_terminal_impl | |
63 | { | |
64 | typedef typename Trait::type result_type; | |
65 | }; | |
66 | ||
67 | template <typename Transform, typename Expr, typename State, typename Data> | |
68 | struct is_nullary_custom_terminal_impl<Transform, Expr, State, Data, true> | |
69 | { | |
70 | typedef | |
71 | typename Transform::template impl< | |
72 | Expr | |
73 | , State | |
74 | , Data | |
75 | >::result_type | |
76 | result_type; | |
77 | }; | |
78 | ||
79 | template <typename Dummy> | |
80 | struct is_nullary::when<rule::custom_terminal, Dummy> | |
81 | { | |
82 | BOOST_PROTO_TRANSFORM(is_nullary::when<rule::custom_terminal>) | |
83 | ||
84 | template <typename Expr, typename State, typename Data> | |
85 | struct impl | |
86 | : is_nullary_custom_terminal_impl< | |
87 | result_of::is_nullary< | |
88 | custom_terminal< | |
89 | typename proto::detail::uncvref< | |
90 | typename proto::result_of::value<Expr>::type | |
91 | >::type | |
92 | > | |
93 | > | |
94 | , typename proto::result_of::value<Expr>::type | |
95 | , State | |
96 | , Data | |
97 | > | |
98 | {}; | |
99 | }; | |
100 | ||
101 | template <typename Dummy> | |
102 | struct is_nullary::when<rule::terminal, Dummy> | |
103 | { | |
104 | BOOST_PROTO_TRANSFORM(is_nullary::when<rule::terminal>) | |
105 | template <typename Expr, typename State, typename Data> | |
106 | struct impl | |
107 | { | |
108 | typedef mpl::true_ result_type; | |
109 | }; | |
110 | }; | |
111 | ||
112 | namespace result_of | |
113 | { | |
114 | template <typename Expr, typename Enable> | |
115 | struct is_nullary | |
116 | : boost::phoenix::evaluator::impl< | |
117 | Expr const & | |
118 | , vector2< | |
119 | mpl::true_ | |
120 | , boost::phoenix::is_nullary | |
121 | > | |
122 | , proto::empty_env | |
123 | >::result_type | |
124 | {}; | |
125 | ||
126 | template <typename T> | |
127 | struct is_nullary<T & > | |
128 | : is_nullary<T> | |
129 | {}; | |
130 | ||
131 | template <typename T> | |
132 | struct is_nullary<T const & > | |
133 | : is_nullary<T> | |
134 | {}; | |
135 | ||
136 | template <typename T> | |
137 | struct is_nullary<T const > | |
138 | : is_nullary<T> | |
139 | {}; | |
140 | ||
141 | template <typename T> | |
142 | struct is_nullary<custom_terminal<T> > | |
143 | : mpl::true_ | |
144 | {}; | |
145 | ||
146 | template <typename T> | |
147 | struct is_nullary<custom_terminal<actor<T> > > | |
148 | : evaluator | |
149 | {}; | |
150 | ||
151 | template <typename T> | |
152 | struct is_nullary<custom_terminal<boost::reference_wrapper<actor<T> > > > | |
153 | { | |
154 | BOOST_PROTO_TRANSFORM(is_nullary<custom_terminal<boost::reference_wrapper<actor<T> > > >) | |
155 | template <typename Expr, typename State, typename Data> | |
156 | struct impl | |
157 | { | |
158 | typedef typename evaluator::template impl<actor<T>, State, Data>::result_type result_type; | |
159 | }; | |
160 | }; | |
161 | ||
162 | template <typename T> | |
163 | struct is_nullary<custom_terminal<boost::reference_wrapper<actor<T> const> > > | |
164 | { | |
165 | BOOST_PROTO_TRANSFORM(is_nullary<custom_terminal<boost::reference_wrapper<actor<T> const> > >) | |
166 | template <typename Expr, typename State, typename Data> | |
167 | struct impl | |
168 | { | |
169 | typedef typename evaluator::template impl<actor<T> const, State, Data>::result_type result_type; | |
170 | }; | |
171 | }; | |
172 | } | |
173 | ||
174 | }} | |
175 | ||
176 | #endif | |
177 |