Chris@16: /*==============================================================================
Chris@16:     Copyright (c) 2001-2010 Joel de Guzman
Chris@16:     Copyright (c) 2010 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_OBJECT_REINTERPRET_CAST_HPP
Chris@16: #define BOOST_PHOENIX_OBJECT_REINTERPRET_CAST_HPP
Chris@16: 
Chris@16: #include <boost/phoenix/core/limits.hpp>
Chris@16: #include <boost/phoenix/core/call.hpp>
Chris@16: #include <boost/phoenix/core/expression.hpp>
Chris@16: #include <boost/phoenix/core/meta_grammar.hpp>
Chris@16: #include <boost/phoenix/object/detail/target.hpp>
Chris@16: #include <boost/proto/transform/lazy.hpp>
Chris@16: 
Chris@16: BOOST_PHOENIX_DEFINE_EXPRESSION(
Chris@16:     (boost)(phoenix)(reinterpret_cast_)
Chris@16:   , (proto::terminal<detail::target<proto::_> >)
Chris@16:     (meta_grammar)
Chris@16: )
Chris@16: 
Chris@16: namespace boost { namespace phoenix
Chris@16: {
Chris@16:     struct reinterpret_cast_eval
Chris@16:     {
Chris@16:         template <typename Sig>
Chris@16:         struct result;
Chris@16: 
Chris@16:         template <typename This, typename Target, typename Source, typename Context>
Chris@16:         struct result<This(Target, Source, Context)>
Chris@16:             : detail::result_of::target<Target>
Chris@16:         {};
Chris@16: 
Chris@16:         template <typename Target, typename Source, typename Context>
Chris@16:         typename detail::result_of::target<Target>::type
Chris@16:         operator()(Target, Source const& u, Context const& ctx) const
Chris@16:         {
Chris@16:             return
Chris@16:                 reinterpret_cast<
Chris@16:                     typename detail::result_of::target<Target>::type
Chris@16:                 >(boost::phoenix::eval(u, ctx));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Dummy>
Chris@16:     struct default_actions::when<rule::reinterpret_cast_, Dummy>
Chris@16:         : call<reinterpret_cast_eval, Dummy>
Chris@16:     {};
Chris@16: 
Chris@16:     template <typename T, typename U>
Chris@16:     inline
Chris@16:     typename expression::reinterpret_cast_<detail::target<T>, U>::type const
Chris@16:     reinterpret_cast_(U const& u)
Chris@16:     {
Chris@16:         return
Chris@16:             expression::
Chris@16:                 reinterpret_cast_<detail::target<T>, U>::
Chris@16:                     make(detail::target<T>(), u);
Chris@16:     }
Chris@16: }}
Chris@16: 
Chris@16: #endif