/*============================================================================= | |
Copyright (c) 2001-2007 Joel de Guzman | |
Copyright (c) 2004 Daniel Wallin | |
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_SCOPE_LOCAL_VARIABLE_HPP | |
#define PHOENIX_SCOPE_LOCAL_VARIABLE_HPP | |
#include <boost/spirit/home/phoenix/core/limits.hpp> | |
#include <boost/spirit/home/phoenix/detail/local_reference.hpp> | |
#include <boost/spirit/home/phoenix/scope/detail/local_variable.hpp> | |
#include <boost/spirit/home/phoenix/core/actor.hpp> | |
#include <boost/mpl/bool.hpp> | |
namespace boost { namespace phoenix | |
{ | |
template <typename Key> | |
struct local_variable | |
{ | |
typedef Key key_type; | |
// This will prevent actor::operator()() from kicking in. | |
// Actually, we do not need all actor::operator()s for | |
// all arities, but this will suffice. The nullary | |
// actor::operator() is particularly troublesome because | |
// it is always eagerly evaluated by the compiler. | |
typedef mpl::true_ no_nullary; | |
template <typename Env> | |
struct result : detail::apply_local<local_variable<Key>, Env> {}; | |
template <typename Env> | |
typename result<Env>::type | |
eval(Env const& env) const | |
{ | |
typedef typename result<Env>::type return_type; | |
typedef typename | |
detail::get_index<typename Env::map_type, Key>::type | |
index_type; | |
typedef detail::eval_local<Key> eval_local; | |
return eval_local::template get<return_type>( | |
env | |
, index_type()); | |
} | |
private: | |
// silence MSVC warning C4512: assignment operator could not be generated | |
local_variable& operator= (local_variable const&); | |
}; | |
namespace local_names | |
{ | |
actor<local_variable<struct _a_key> > const _a | |
= local_variable<struct _a_key>(); | |
actor<local_variable<struct _b_key> > const _b | |
= local_variable<struct _b_key>(); | |
actor<local_variable<struct _c_key> > const _c | |
= local_variable<struct _c_key>(); | |
actor<local_variable<struct _d_key> > const _d | |
= local_variable<struct _d_key>(); | |
actor<local_variable<struct _e_key> > const _e | |
= local_variable<struct _e_key>(); | |
actor<local_variable<struct _f_key> > const _f | |
= local_variable<struct _f_key>(); | |
actor<local_variable<struct _g_key> > const _g | |
= local_variable<struct _g_key>(); | |
actor<local_variable<struct _h_key> > const _h | |
= local_variable<struct _h_key>(); | |
actor<local_variable<struct _i_key> > const _i | |
= local_variable<struct _i_key>(); | |
actor<local_variable<struct _j_key> > const _j | |
= local_variable<struct _j_key>(); | |
actor<local_variable<struct _k_key> > const _k | |
= local_variable<struct _k_key>(); | |
actor<local_variable<struct _l_key> > const _l | |
= local_variable<struct _l_key>(); | |
actor<local_variable<struct _m_key> > const _m | |
= local_variable<struct _m_key>(); | |
actor<local_variable<struct _n_key> > const _n | |
= local_variable<struct _n_key>(); | |
actor<local_variable<struct _o_key> > const _o | |
= local_variable<struct _o_key>(); | |
actor<local_variable<struct _p_key> > const _p | |
= local_variable<struct _p_key>(); | |
actor<local_variable<struct _q_key> > const _q | |
= local_variable<struct _q_key>(); | |
actor<local_variable<struct _r_key> > const _r | |
= local_variable<struct _r_key>(); | |
actor<local_variable<struct _s_key> > const _s | |
= local_variable<struct _s_key>(); | |
actor<local_variable<struct _t_key> > const _t | |
= local_variable<struct _t_key>(); | |
actor<local_variable<struct _u_key> > const _u | |
= local_variable<struct _u_key>(); | |
actor<local_variable<struct _v_key> > const _v | |
= local_variable<struct _v_key>(); | |
actor<local_variable<struct _w_key> > const _w | |
= local_variable<struct _w_key>(); | |
actor<local_variable<struct _x_key> > const _x | |
= local_variable<struct _x_key>(); | |
actor<local_variable<struct _y_key> > const _y | |
= local_variable<struct _y_key>(); | |
actor<local_variable<struct _z_key> > const _z | |
= local_variable<struct _z_key>(); | |
} | |
}} | |
#endif |