blob: 5cb9ed5ea33b817c8268c23ff842d16613c433e2 (
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
|
/*==============================================================================
Copyright (c) 2001-2010 Joel de Guzman
Copyright (c) 2010 Thomas Heller
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_PHOENIX_OBJECT_NEW_HPP
#define BOOST_PHOENIX_OBJECT_NEW_HPP
#include <boost/phoenix/core/limits.hpp>
#include <boost/phoenix/core/expression.hpp>
#include <boost/phoenix/core/meta_grammar.hpp>
#include <boost/phoenix/core/call.hpp>
#include <boost/phoenix/object/detail/target.hpp>
#include <boost/phoenix/support/iterate.hpp>
#include <boost/preprocessor/repetition/repeat_from_to.hpp>
#ifdef BOOST_PHOENIX_NO_VARIADIC_EXPRESSION
# include <boost/phoenix/object/detail/cpp03/new_expr.hpp>
#else
BOOST_PHOENIX_DEFINE_EXPRESSION_VARARG(
(boost)(phoenix)(new_)
, (proto::terminal<detail::target<proto::_> >)
(meta_grammar)
, _
)
#endif
namespace boost { namespace phoenix
{
struct new_eval
{
template <typename Sig>
struct result;
#if defined(BOOST_PHOENIX_NO_VARIADIC_OBJECT)
template <typename This, typename A0, typename Context>
struct result<This(A0, Context)>
{
typedef typename detail::result_of::target<A0> target_type;
typedef typename target_type::type * type;
};
template <typename Target, typename Context>
typename detail::result_of::target<Target>::type *
operator()(Target, Context const &) const
{
return new typename detail::result_of::target<Target>::type;
}
// Bring in the rest
#include <boost/phoenix/object/detail/cpp03/new_eval.hpp>
#else
// TODO:
#endif
};
template <typename Dummy>
struct default_actions::when<rule::new_, Dummy>
: call<new_eval, Dummy>
{};
#if defined(BOOST_PHOENIX_NO_VARIADIC_OBJECT)
template <typename T>
inline
typename expression::new_<detail::target<T> >::type const
new_()
{
return
expression::
new_<detail::target<T> >::
make(detail::target<T>());
}
// Bring in the rest
#include <boost/phoenix/object/detail/cpp03/new.hpp>
#else
// TODO:
#endif
}}
#endif
|
