Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: /// \file as_expr.hpp
Chris@16: /// Contains definition of the as_expr\<\> and as_child\<\> helper class
Chris@16: /// templates used to implement proto::domain's as_expr\<\> and as_child\<\>
Chris@16: /// member templates.
Chris@16: //
Chris@16: //  Copyright 2010 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_DETAIL_AS_EXPR_HPP_EAN_06_09_2010
Chris@16: #define BOOST_PROTO_DETAIL_AS_EXPR_HPP_EAN_06_09_2010
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: #include <boost/detail/workaround.hpp>
Chris@16: #include <boost/type_traits/remove_const.hpp>
Chris@16: #include <boost/proto/proto_fwd.hpp>
Chris@16: #include <boost/proto/args.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 { namespace detail
Chris@16: {
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename Generator>
Chris@16:     struct base_generator
Chris@16:     {
Chris@16:         typedef Generator type;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Generator>
Chris@16:     struct base_generator<use_basic_expr<Generator> >
Chris@16:     {
Chris@16:         typedef Generator type;
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T, typename Generator, bool WantsBasicExpr>
Chris@16:     struct as_expr;
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T, typename Generator>
Chris@16:     struct as_expr<T, Generator, false>
Chris@16:     {
Chris@16:         typedef typename term_traits<T &>::value_type value_type;
Chris@16:         typedef proto::expr<proto::tag::terminal, term<value_type>, 0> expr_type;
Chris@16:         typedef typename Generator::template result<Generator(expr_type)>::type result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return Generator()(expr_type::make(t));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T, typename Generator>
Chris@16:     struct as_expr<T, Generator, true>
Chris@16:     {
Chris@16:         typedef typename term_traits<T &>::value_type value_type;
Chris@16:         typedef proto::basic_expr<proto::tag::terminal, term<value_type>, 0> expr_type;
Chris@16:         typedef typename Generator::template result<Generator(expr_type)>::type result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return Generator()(expr_type::make(t));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T>
Chris@16:     struct as_expr<T, proto::default_generator, false>
Chris@16:     {
Chris@16:         typedef typename term_traits<T &>::value_type value_type;
Chris@16:         typedef proto::expr<proto::tag::terminal, term<value_type>, 0> result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return result_type::make(t);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T>
Chris@16:     struct as_expr<T, proto::default_generator, true>
Chris@16:     {
Chris@16:         typedef typename term_traits<T &>::value_type value_type;
Chris@16:         typedef proto::basic_expr<proto::tag::terminal, term<value_type>, 0> result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return result_type::make(t);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T, typename Generator, bool WantsBasicExpr>
Chris@16:     struct as_child;
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T, typename Generator>
Chris@16:     struct as_child<T, Generator, false>
Chris@16:     {
Chris@16:     #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
Chris@16:         typedef typename term_traits<T &>::reference reference;
Chris@16:     #else
Chris@16:         typedef T &reference;
Chris@16:     #endif
Chris@16:         typedef proto::expr<proto::tag::terminal, term<reference>, 0> expr_type;
Chris@16:         typedef typename Generator::template result<Generator(expr_type)>::type result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return Generator()(expr_type::make(t));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T, typename Generator>
Chris@16:     struct as_child<T, Generator, true>
Chris@16:     {
Chris@16:     #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
Chris@16:         typedef typename term_traits<T &>::reference reference;
Chris@16:     #else
Chris@16:         typedef T &reference;
Chris@16:     #endif
Chris@16:         typedef proto::basic_expr<proto::tag::terminal, term<reference>, 0> expr_type;
Chris@16:         typedef typename Generator::template result<Generator(expr_type)>::type result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return Generator()(expr_type::make(t));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T>
Chris@16:     struct as_child<T, proto::default_generator, false>
Chris@16:     {
Chris@16:     #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
Chris@16:         typedef typename term_traits<T &>::reference reference;
Chris@16:     #else
Chris@16:         typedef T &reference;
Chris@16:     #endif
Chris@16:         typedef proto::expr<proto::tag::terminal, term<reference>, 0> result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return result_type::make(t);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////////////////////////////
Chris@16:     template<typename T>
Chris@16:     struct as_child<T, proto::default_generator, true>
Chris@16:     {
Chris@16:     #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
Chris@16:         typedef typename term_traits<T &>::reference reference;
Chris@16:     #else
Chris@16:         typedef T &reference;
Chris@16:     #endif
Chris@16:         typedef proto::basic_expr<proto::tag::terminal, term<reference>, 0> result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(T &t) const
Chris@16:         {
Chris@16:             return result_type::make(t);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16: }}}
Chris@16: 
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma warning(pop)
Chris@16: #endif
Chris@16: 
Chris@16: #endif