Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: /// \file impl.hpp
Chris@16: /// Contains definition of transform<> and transform_impl<> helpers.
Chris@16: //
Chris@16: //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16: //  Software License, Version 1.0. (See accompanying file
Chris@16: //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef BOOST_PROTO_TRANSFORM_IMPL_HPP_EAN_04_03_2008
Chris@16: #define BOOST_PROTO_TRANSFORM_IMPL_HPP_EAN_04_03_2008
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/type_traits/add_const.hpp>
Chris@16: #include <boost/type_traits/add_reference.hpp>
Chris@16: #include <boost/proto/proto_fwd.hpp>
Chris@16: #include <boost/proto/detail/any.hpp>
Chris@16: #include <boost/proto/detail/static_const.hpp>
Chris@16: 
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma warning(push)
Chris@16: # pragma warning(disable : 4714) // function 'xxx' marked as __forceinline not inlined
Chris@16: #endif
Chris@16: 
Chris@16: namespace boost { namespace proto
Chris@16: {
Chris@16:     namespace envns_
Chris@16:     {
Chris@16:         ////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:         struct key_not_found
Chris@16:         {};
Chris@16: 
Chris@16:         ////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:         // empty_env
Chris@16:         struct empty_env
Chris@16:         {
Chris@16:             typedef void proto_environment_;
Chris@16: 
Chris@16:             template<typename OtherTag, typename OtherValue = key_not_found>
Chris@16:             struct lookup
Chris@16:             {
Chris@16:                 typedef OtherValue type;
Chris@16:                 typedef
Chris@16:                     typename add_reference<typename add_const<OtherValue>::type>::type
Chris@16:                 const_reference;
Chris@16:             };
Chris@16: 
Chris@16:             key_not_found operator[](detail::any) const
Chris@16:             {
Chris@16:                 return key_not_found();
Chris@16:             }
Chris@16: 
Chris@16:             template<typename T>
Chris@16:             T const &at(detail::any, T const &t) const
Chris@16:             {
Chris@16:                 return t;
Chris@16:             }
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     // is_env
Chris@16:     template<typename T, typename Void>
Chris@16:     struct is_env
Chris@16:       : mpl::false_
Chris@16:     {};
Chris@16: 
Chris@16:     template<typename T>
Chris@16:     struct is_env<T, typename T::proto_environment_>
Chris@16:       : mpl::true_
Chris@16:     {};
Chris@16: 
Chris@16:     template<typename T>
Chris@16:     struct is_env<T &, void>
Chris@16:       : is_env<T>
Chris@16:     {};
Chris@16: 
Chris@16: #ifdef BOOST_NO_CXX11_RVALUE_REFERENCES
Chris@16: 
Chris@16:     /// INTERNAL ONLY
Chris@16:     ///
Chris@16:     #define BOOST_PROTO_TRANSFORM_(PrimitiveTransform, X)                                                       \
Chris@16:     BOOST_PROTO_CALLABLE()                                                                                      \
Chris@16:     typedef X proto_is_transform_;                                                                              \
Chris@16:     typedef PrimitiveTransform transform_type;                                                                  \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Sig>                                                                                      \
Chris@16:     struct result                                                                                               \
Chris@16:     {                                                                                                           \
Chris@16:         typedef typename boost::proto::detail::apply_transform<Sig>::result_type type;                          \
Chris@16:     };                                                                                                          \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr>                                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr &)>::result_type                         \
Chris@16:     operator ()(Expr &e) const                                                                                  \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_state s = 0;                                                                        \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr &)>()(e, s, d);                        \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr>                                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &)>::result_type                   \
Chris@16:     operator ()(Expr const &e) const                                                                            \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_state s = 0;                                                                        \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &)>()(e, s, d);                  \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State>                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr &, State &)>::result_type                \
Chris@16:     operator ()(Expr &e, State &s) const                                                                        \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr &, State &)>()(e, s, d);               \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State>                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &, State &)>::result_type          \
Chris@16:     operator ()(Expr const &e, State &s) const                                                                  \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &, State &)>()(e, s, d);         \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State>                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr &, State const &)>::result_type          \
Chris@16:     operator ()(Expr &e, State const &s) const                                                                  \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr &, State const &)>()(e, s, d);         \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State>                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &, State const &)>::result_type    \
Chris@16:     operator ()(Expr const &e, State const &s) const                                                            \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &, State const &)>()(e, s, d);   \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State, typename Data>                                                      \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr &, State &, Data &)>::result_type        \
Chris@16:     operator ()(Expr &e, State &s, Data &d) const                                                               \
Chris@16:     {                                                                                                           \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr &, State &, Data &)>()(e, s, d);       \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State, typename Data>                                                      \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &, State &, Data &)>::result_type  \
Chris@16:     operator ()(Expr const &e, State &s, Data &d) const                                                         \
Chris@16:     {                                                                                                           \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &, State &, Data &)>()(e, s, d); \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State, typename Data>                                                      \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr &, State const &, Data &)>::result_type  \
Chris@16:     operator ()(Expr &e, State const &s, Data &d) const                                                         \
Chris@16:     {                                                                                                           \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr &, State const &, Data &)>()(e, s, d); \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State, typename Data>                                                      \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &, State const &, Data &)>::result_type  \
Chris@16:     operator ()(Expr const &e, State const &s, Data &d) const                                                   \
Chris@16:     {                                                                                                           \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &, State const &, Data &)>()(e, s, d); \
Chris@16:     }                                                                                                           \
Chris@16:     /**/
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16:     /// INTERNAL ONLY
Chris@16:     ///
Chris@16:     #define BOOST_PROTO_TRANSFORM_(PrimitiveTransform, X)                                                       \
Chris@16:     BOOST_PROTO_CALLABLE()                                                                                      \
Chris@16:     typedef X proto_is_transform_;                                                                              \
Chris@16:     typedef PrimitiveTransform transform_type;                                                                  \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Sig>                                                                                      \
Chris@16:     struct result                                                                                               \
Chris@16:     {                                                                                                           \
Chris@16:         typedef typename boost::proto::detail::apply_transform<Sig>::result_type type;                          \
Chris@16:     };                                                                                                          \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr>                                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &)>::result_type                   \
Chris@16:     operator ()(Expr &&e) const                                                                                 \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_state s = 0;                                                                        \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &)>()(e, s, d);                  \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State>                                                                     \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &, State const &)>::result_type    \
Chris@16:     operator ()(Expr &&e, State &&s) const                                                                      \
Chris@16:     {                                                                                                           \
Chris@16:         boost::proto::empty_env d;                                                                              \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &, State const &)>()(e, s, d);   \
Chris@16:     }                                                                                                           \
Chris@16:                                                                                                                 \
Chris@16:     template<typename Expr, typename State, typename Data>                                                      \
Chris@16:     BOOST_FORCEINLINE                                                                                           \
Chris@16:     typename boost::proto::detail::apply_transform<transform_type(Expr const &, State const &, Data const &)>::result_type \
Chris@16:     operator ()(Expr &&e, State &&s, Data &&d) const                                                            \
Chris@16:     {                                                                                                           \
Chris@16:         return boost::proto::detail::apply_transform<transform_type(Expr const &, State const &, Data const &)>()(e, s, d); \
Chris@16:     }                                                                                                           \
Chris@16:     /**/
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     #define BOOST_PROTO_TRANSFORM(PrimitiveTransform)                                                           \
Chris@16:         BOOST_PROTO_TRANSFORM_(PrimitiveTransform, void)                                                        \
Chris@16:         /**/
Chris@16: 
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<typename Sig>
Chris@16:         struct apply_transform;
Chris@16: 
Chris@16:         template<typename PrimitiveTransform, typename Expr>
Chris@16:         struct apply_transform<PrimitiveTransform(Expr)>
Chris@16:           : PrimitiveTransform::template impl<Expr, empty_state, empty_env>
Chris@16:         {};
Chris@16: 
Chris@16:         template<typename PrimitiveTransform, typename Expr, typename State>
Chris@16:         struct apply_transform<PrimitiveTransform(Expr, State)>
Chris@16:           : PrimitiveTransform::template impl<Expr, State, empty_env>
Chris@16:         {};
Chris@16: 
Chris@16:         template<typename PrimitiveTransform, typename Expr, typename State, typename Data>
Chris@16:         struct apply_transform<PrimitiveTransform(Expr, State, Data)>
Chris@16:           : PrimitiveTransform::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     }
Chris@16: 
Chris@16:     template<typename PrimitiveTransform, typename X>
Chris@16:     struct transform
Chris@16:     {
Chris@16:         BOOST_PROTO_TRANSFORM_(PrimitiveTransform, X)
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl
Chris@16:     {
Chris@16:         typedef Expr const expr;
Chris@16:         typedef Expr const &expr_param;
Chris@16:         typedef State const state;
Chris@16:         typedef State const &state_param;
Chris@16:         typedef Data const data;
Chris@16:         typedef Data const &data_param;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl<Expr &, State, Data>
Chris@16:     {
Chris@16:         typedef Expr expr;
Chris@16:         typedef Expr &expr_param;
Chris@16:         typedef State const state;
Chris@16:         typedef State const &state_param;
Chris@16:         typedef Data const data;
Chris@16:         typedef Data const &data_param;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl<Expr, State &, Data>
Chris@16:     {
Chris@16:         typedef Expr const expr;
Chris@16:         typedef Expr const &expr_param;
Chris@16:         typedef State state;
Chris@16:         typedef State &state_param;
Chris@16:         typedef Data const data;
Chris@16:         typedef Data const &data_param;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl<Expr, State, Data &>
Chris@16:     {
Chris@16:         typedef Expr const expr;
Chris@16:         typedef Expr const &expr_param;
Chris@16:         typedef State const state;
Chris@16:         typedef State const &state_param;
Chris@16:         typedef Data data;
Chris@16:         typedef Data &data_param;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl<Expr &, State &, Data>
Chris@16:     {
Chris@16:         typedef Expr expr;
Chris@16:         typedef Expr &expr_param;
Chris@16:         typedef State state;
Chris@16:         typedef State &state_param;
Chris@16:         typedef Data const data;
Chris@16:         typedef Data const &data_param;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl<Expr &, State, Data &>
Chris@16:     {
Chris@16:         typedef Expr expr;
Chris@16:         typedef Expr &expr_param;
Chris@16:         typedef State const state;
Chris@16:         typedef State const &state_param;
Chris@16:         typedef Data data;
Chris@16:         typedef Data &data_param;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl<Expr, State &, Data &>
Chris@16:     {
Chris@16:         typedef Expr const expr;
Chris@16:         typedef Expr const &expr_param;
Chris@16:         typedef State state;
Chris@16:         typedef State &state_param;
Chris@16:         typedef Data data;
Chris@16:         typedef Data &data_param;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Expr, typename State, typename Data>
Chris@16:     struct transform_impl<Expr &, State &, Data &>
Chris@16:     {
Chris@16:         typedef Expr expr;
Chris@16:         typedef Expr &expr_param;
Chris@16:         typedef State state;
Chris@16:         typedef State &state_param;
Chris@16:         typedef Data data;
Chris@16:         typedef Data &data_param;
Chris@16:     };
Chris@16: 
Chris@16: }} // namespace boost::proto
Chris@16: 
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma warning(pop)
Chris@16: #endif
Chris@16: 
Chris@16: #endif