| /////////////////////////////////////////////////////////////////////////////// |
| // as_modifier.hpp |
| // |
| // Copyright 2008 Eric Niebler. 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 BOOST_XPRESSIVE_DETAIL_STATIC_TRANSFORMS_AS_MODIFIER_HPP_EAN_04_05_2007 |
| #define BOOST_XPRESSIVE_DETAIL_STATIC_TRANSFORMS_AS_MODIFIER_HPP_EAN_04_05_2007 |
| |
| // MS compatible compilers support #pragma once |
| #if defined(_MSC_VER) && (_MSC_VER >= 1020) |
| # pragma once |
| #endif |
| |
| #include <boost/mpl/sizeof.hpp> |
| #include <boost/xpressive/detail/detail_fwd.hpp> |
| #include <boost/xpressive/detail/static/static.hpp> |
| #include <boost/proto/core.hpp> |
| |
| #define UNCV(x) typename remove_const<x>::type |
| #define UNREF(x) typename remove_reference<x>::type |
| #define UNCVREF(x) UNCV(UNREF(x)) |
| |
| namespace boost { namespace xpressive { namespace detail |
| { |
| /////////////////////////////////////////////////////////////////////////////// |
| // regex operator tags |
| struct modifier_tag |
| {}; |
| |
| }}} |
| |
| namespace boost { namespace xpressive { namespace grammar_detail |
| { |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // as_modifier |
| template<typename Grammar, typename Callable = proto::callable> |
| struct as_modifier : proto::transform<as_modifier<Grammar, Callable> > |
| { |
| template<typename Expr, typename State, typename Data> |
| struct impl : proto::transform_impl<Expr, State, Data> |
| { |
| typedef |
| typename proto::result_of::value< |
| typename proto::result_of::left<typename impl::expr>::type |
| >::type |
| modifier_type; |
| |
| typedef |
| typename modifier_type::template apply<typename impl::data>::type |
| visitor_type; |
| |
| typedef |
| typename proto::result_of::right<Expr>::type |
| expr_type; |
| |
| typedef |
| typename Grammar::template impl<expr_type, State, visitor_type &>::result_type |
| result_type; |
| |
| result_type operator ()( |
| typename impl::expr_param expr |
| , typename impl::state_param state |
| , typename impl::data_param data |
| ) const |
| { |
| visitor_type new_visitor(proto::value(proto::left(expr)).call(data)); |
| return typename Grammar::template impl<expr_type, State, visitor_type &>()( |
| proto::right(expr) |
| , state |
| , new_visitor |
| ); |
| } |
| }; |
| }; |
| |
| }}} |
| |
| #undef UNCV |
| #undef UNREF |
| #undef UNCVREF |
| |
| #endif |