Chris@16: /*==============================================================================
Chris@16:     Copyright (c) 2005-2010 Joel de Guzman
Chris@16:     Copyright (c) 2010-2011 Thomas Heller
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: ==============================================================================*/
Chris@16: #ifndef BOOST_PHOENIX_CORE_ENVIRONMENT_HPP
Chris@16: #define BOOST_PHOENIX_CORE_ENVIRONMENT_HPP
Chris@16: 
Chris@16: #include <boost/phoenix/core/limits.hpp>
Chris@16: #include <boost/fusion/sequence/intrinsic/at.hpp>
Chris@16: #include <boost/fusion/support/is_sequence.hpp>
Chris@16: #include <boost/phoenix/support/vector.hpp>
Chris@16: #include <boost/proto/transform/impl.hpp>
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #include <boost/utility/result_of.hpp>
Chris@16: 
Chris@16: #include <typeinfo>
Chris@16: 
Chris@16: namespace boost { namespace phoenix 
Chris@16: {
Chris@16:     struct unused {};
Chris@16: 
Chris@16:     namespace result_of
Chris@16:     {
Chris@16:         template <typename Env, typename Actions>
Chris@16:         struct context
Chris@16:         {
Chris@16:             typedef vector2<Env, Actions> type;
Chris@16:         };
Chris@16:         
Chris@16:         template <typename Env, typename Actions>
Chris@16:         struct make_context
Chris@16:             : context<Env, Actions>
Chris@16:         {};
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         struct env
Chris@16:         {
Chris@16:             typedef
Chris@16:                 typename fusion::result_of::at_c<
Chris@16:                     typename boost::remove_reference<Context>::type
Chris@16:                   , 0
Chris@16:                 >::type
Chris@16:                 type;
Chris@16:         };
Chris@16:         
Chris@16:         template <typename Context>
Chris@16:         struct actions
Chris@16:         {
Chris@16:             typedef
Chris@16:                 typename fusion::result_of::at_c<
Chris@16:                     typename boost::remove_reference<Context>::type
Chris@16:                   , 1
Chris@16:                 >::type
Chris@16:                 type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     namespace functional
Chris@16:     {
Chris@16:         struct context
Chris@16:         {
Chris@16:             BOOST_PROTO_CALLABLE()
Chris@16: 
Chris@16:             template <typename Sig>
Chris@16:             struct result;
Chris@16: 
Chris@16:             template <typename This, typename Env, typename Actions>
Chris@16:             struct result<This(Env, Actions)>
Chris@16:                 : result<This(Env const &, Actions const &)>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename This, typename Env, typename Actions>
Chris@16:             struct result<This(Env &, Actions)>
Chris@16:                 : result<This(Env &, Actions const &)>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename This, typename Env, typename Actions>
Chris@16:             struct result<This(Env, Actions &)>
Chris@16:                 : result<This(Env const &, Actions &)>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename This, typename Env, typename Actions>
Chris@16:             struct result<This(Env &, Actions &)>
Chris@16:                 : result_of::context<Env &, Actions &>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename Env, typename Actions>
Chris@16:             typename result_of::context<Env &, Actions &>::type
Chris@16:             operator()(Env & env, Actions & actions) const
Chris@16:             {
Chris@16:                 vector2<Env &, Actions &> e = {env, actions};
Chris@16:                 return e;
Chris@16:             }
Chris@16: 
Chris@16:             template <typename Env, typename Actions>
Chris@16:             typename result_of::context<Env const &, Actions &>::type
Chris@16:             operator()(Env const & env, Actions & actions) const
Chris@16:             {
Chris@16:                 vector2<Env const &, Actions &> e = {env, actions};
Chris@16:                 return e;
Chris@16:             }
Chris@16: 
Chris@16:             template <typename Env, typename Actions>
Chris@16:             typename result_of::context<Env &, Actions const &>::type
Chris@16:             operator()(Env & env, Actions const & actions) const
Chris@16:             {
Chris@16:                 vector2<Env &, Actions const &> e = {env, actions};
Chris@16:                 return e;
Chris@16:             }
Chris@16: 
Chris@16:             template <typename Env, typename Actions>
Chris@16:             typename result_of::context<Env const &, Actions const &>::type
Chris@16:             operator()(Env const & env, Actions const & actions) const
Chris@16:             {
Chris@16:                 vector2<Env const&, Actions const &> e = {env, actions};
Chris@16:                 return e;
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         struct make_context
Chris@16:             : context
Chris@16:         {};
Chris@16: 
Chris@16:         struct env
Chris@16:         {
Chris@16:             BOOST_PROTO_CALLABLE()
Chris@16: 
Chris@16:             template <typename Sig>
Chris@16:             struct result;
Chris@16: 
Chris@16:             template <typename This, typename Context>
Chris@16:             struct result<This(Context)>
Chris@16:                 : result<This(Context const &)>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename This, typename Context>
Chris@16:             struct result<This(Context &)>
Chris@16:                 : result_of::env<Context>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename Context>
Chris@16:             typename result_of::env<Context const>::type
Chris@16:             operator()(Context const & ctx) const
Chris@16:             {
Chris@16:                 return fusion::at_c<0>(ctx);
Chris@16:             }
Chris@16: 
Chris@16:             template <typename Context>
Chris@16:             typename result_of::env<Context>::type
Chris@16:             operator()(Context & ctx) const
Chris@16:             {
Chris@16:                 return fusion::at_c<0>(ctx);
Chris@16:             }
Chris@16:         };
Chris@16:         
Chris@16:         struct actions
Chris@16:         {
Chris@16:             BOOST_PROTO_CALLABLE()
Chris@16: 
Chris@16:             template <typename Sig>
Chris@16:             struct result;
Chris@16: 
Chris@16:             template <typename This, typename Context>
Chris@16:             struct result<This(Context)>
Chris@16:                 : result<This(Context const &)>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename This, typename Context>
Chris@16:             struct result<This(Context &)>
Chris@16:                 : result_of::actions<Context>
Chris@16:             {};
Chris@16: 
Chris@16:             template <typename Context>
Chris@16:             typename result_of::actions<Context const>::type
Chris@16:             operator()(Context const & ctx) const
Chris@16:             {
Chris@16:                 return fusion::at_c<1>(ctx);
Chris@16:             }
Chris@16: 
Chris@16:             template <typename Context>
Chris@16:             typename result_of::actions<Context>::type
Chris@16:             operator()(Context & ctx) const
Chris@16:             {
Chris@16:                 return fusion::at_c<1>(ctx);
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:     }
Chris@16: 
Chris@16:     struct _context
Chris@16:         : proto::transform<_context>
Chris@16:     {
Chris@16:         template <typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:             : proto::transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             typedef vector2<State, Data> result_type;
Chris@16: 
Chris@16:             result_type operator()(
Chris@16:                 typename impl::expr_param
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 vector2<State, Data> e = {s, d};
Chris@16:                 return e;
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env const &, Actions const&>::type const
Chris@101:     context(Env const& env, Actions const& actions)
Chris@16:     {
Chris@16:         vector2<Env const&, Actions const &> e = {env, actions};
Chris@16:         return e;
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env const &, Actions const&>::type const
Chris@101:     make_context(Env const& env, Actions const& actions)
Chris@16:     {
Chris@16:         return context(env, actions);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env &, Actions const&>::type const
Chris@101:     context(Env & env, Actions const& actions)
Chris@16:     {
Chris@16:         vector2<Env &, Actions const &> e = {env, actions};
Chris@16:         return e;
Chris@16:     }
Chris@16:     
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env &, Actions const&>::type const
Chris@101:     make_context(Env & env, Actions const& actions)
Chris@16:     {
Chris@16:         return context(env, actions);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env const &, Actions &>::type const
Chris@101:     context(Env const& env, Actions & actions)
Chris@16:     {
Chris@16:         vector2<Env const&, Actions &> e = {env, actions};
Chris@16:         return e;
Chris@16:     }
Chris@16:     
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env const &, Actions &>::type const
Chris@101:     make_context(Env const& env, Actions & actions)
Chris@16:     {
Chris@16:         return context(env, actions);
Chris@16:     }
Chris@16:     
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env &, Actions &>::type const
Chris@101:     context(Env & env, Actions & actions)
Chris@16:     {
Chris@16:         vector2<Env &, Actions &> e = {env, actions};
Chris@16:         return e;
Chris@16:     }
Chris@16:     
Chris@16:     template <typename Env, typename Actions>
Chris@101:     inline
Chris@16:     typename result_of::context<Env &, Actions &>::type const
Chris@101:     make_context(Env & env, Actions & actions)
Chris@16:     {
Chris@16:         return context(env, actions);
Chris@16:     }
Chris@16: 
Chris@16:     struct _env
Chris@16:         : proto::transform<_env>
Chris@16:     {
Chris@16:         template <typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:             : proto::transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             typedef State result_type;
Chris@16: 
Chris@16:             result_type operator()(
Chris@16:                 typename impl::expr_param
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param
Chris@16:             ) const
Chris@16:             {
Chris@16:                 return s;
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Expr, typename State>
Chris@16:     struct _env::impl<Expr, State, proto::empty_env>
Chris@16:         : proto::transform_impl<Expr, State, proto::empty_env>
Chris@16:     {
Chris@16:             typedef
Chris@16:                 typename fusion::result_of::at_c<
Chris@16:                     typename boost::remove_reference<State>::type
Chris@16:                   , 0
Chris@16:                 >::type
Chris@16:                 result_type;
Chris@16: 
Chris@16:             result_type operator()(
Chris@16:                 typename impl::expr_param
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param
Chris@16:             ) const
Chris@16:             {
Chris@16:                 return fusion::at_c<0>(s);
Chris@16:             }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Expr, typename State>
Chris@16:     struct _env::impl<Expr, State, unused>
Chris@16:         : _env::impl<Expr, State, proto::empty_env>
Chris@16:     {};
Chris@16: 
Chris@16:     template <typename Context>
Chris@101:     inline
Chris@16:     typename fusion::result_of::at_c<Context, 0>::type
Chris@101:     env(Context & ctx)
Chris@16:     {
Chris@16:         return fusion::at_c<0>(ctx);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Context>
Chris@101:     inline
Chris@16:     typename fusion::result_of::at_c<Context const, 0>::type
Chris@101:     env(Context const & ctx)
Chris@16:     {
Chris@16:         return fusion::at_c<0>(ctx);
Chris@16:     }
Chris@16: 
Chris@16:     struct _actions
Chris@16:         : proto::transform<_actions>
Chris@16:     {
Chris@16:         template <typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:             : proto::transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             typedef Data result_type;
Chris@16: 
Chris@16:             result_type operator()(
Chris@16:                 typename impl::expr_param
Chris@16:               , typename impl::state_param
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 return d;
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Expr, typename State>
Chris@16:     struct _actions::impl<Expr, State, proto::empty_env>
Chris@16:         : proto::transform_impl<Expr, State, proto::empty_env>
Chris@16:     {
Chris@16:             typedef
Chris@16:                 typename fusion::result_of::at_c<
Chris@16:                     typename boost::remove_reference<State>::type
Chris@16:                   , 1
Chris@16:                 >::type
Chris@16:                 result_type;
Chris@16: 
Chris@16:             result_type operator()(
Chris@16:                 typename impl::expr_param
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param
Chris@16:             ) const
Chris@16:             {
Chris@16:                 return fusion::at_c<1>(s);
Chris@16:             }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Expr, typename State>
Chris@16:     struct _actions::impl<Expr, State, unused>
Chris@16:         : _actions::impl<Expr, State, proto::empty_env>
Chris@16:     {};
Chris@16: 
Chris@16:     template <typename Context>
Chris@101:     inline
Chris@16:     typename fusion::result_of::at_c<Context, 1>::type
Chris@101:     actions(Context & ctx)
Chris@16:     {
Chris@16:         return fusion::at_c<1>(ctx);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename Context>
Chris@101:     inline
Chris@16:     typename fusion::result_of::at_c<Context const, 1>::type
Chris@101:     actions(Context const & ctx)
Chris@16:     {
Chris@16:         return fusion::at_c<1>(ctx);
Chris@16:     }
Chris@16: 
Chris@16:     namespace result_of
Chris@16:     {
Chris@16:         template <
Chris@16:             BOOST_PP_ENUM_PARAMS_WITH_A_DEFAULT(
Chris@16:                 BOOST_PHOENIX_LIMIT
Chris@16:               , typename A
Chris@16:               , mpl::void_
Chris@16:             )
Chris@16:           , typename Dummy = void
Chris@16:         >
Chris@16:         struct make_env;
Chris@16:         
Chris@101:     #define M0(Z, N, D)                                                         \
Chris@16:         template <BOOST_PHOENIX_typename_A(N)>                                  \
Chris@16:         struct make_env<BOOST_PHOENIX_A(N)>                                     \
Chris@16:         {                                                                       \
Chris@16:             typedef BOOST_PP_CAT(vector, N)<BOOST_PHOENIX_A(N)> type;           \
Chris@16:         };                                                                      \
Chris@16:     /**/
Chris@101:         BOOST_PP_REPEAT_FROM_TO(1, BOOST_PHOENIX_LIMIT, M0, _)
Chris@101:     #undef M0
Chris@16:     }
Chris@16: 
Chris@101:     inline
Chris@16:     result_of::make_env<>::type
Chris@101:     make_env()
Chris@16:     {
Chris@16:         return result_of::make_env<>::type();
Chris@16:     }
Chris@101: #define M0(Z, N, D)                                                             \
Chris@16:     template <BOOST_PHOENIX_typename_A(N)>                                      \
Chris@101:     inline                                                                      \
Chris@16:     typename result_of::make_env<BOOST_PHOENIX_A_ref(N)>::type                  \
Chris@101:     make_env(BOOST_PHOENIX_A_ref_a(N))                                          \
Chris@16:     {                                                                           \
Chris@16:         typename result_of::make_env<BOOST_PHOENIX_A_ref(N)>::type              \
Chris@16:             env =                                                               \
Chris@16:             {                                                                   \
Chris@16:                 BOOST_PHOENIX_a(N)                                              \
Chris@16:             };                                                                  \
Chris@16:         return env;                                                             \
Chris@16:     }                                                                           \
Chris@16:     template <BOOST_PHOENIX_typename_A(N)>                                      \
Chris@101:     inline                                                                      \
Chris@16:     typename result_of::make_env<BOOST_PHOENIX_A_const_ref(N)>::type            \
Chris@101:     make_env(BOOST_PHOENIX_A_const_ref_a(N))                                    \
Chris@16:     {                                                                           \
Chris@16:         typename result_of::make_env<BOOST_PHOENIX_A_const_ref(N)>::type        \
Chris@16:             env =                                                               \
Chris@16:             {                                                                   \
Chris@16:                 BOOST_PHOENIX_a(N)                                              \
Chris@16:             };                                                                  \
Chris@16:         return env;                                                             \
Chris@16:     }                                                                           \
Chris@16:     /**/
Chris@101:         BOOST_PP_REPEAT_FROM_TO(1, BOOST_PHOENIX_LIMIT, M0, _)
Chris@101:     #undef M0
Chris@16: 
Chris@16:     template <typename T, typename Enable = void>
Chris@16:     struct is_environment : fusion::traits::is_sequence<T> {};
Chris@16: }}
Chris@16: 
Chris@16: #endif
Chris@16: