| /////////////////////////////////////////////////////////////////////////////// | |
| // as_quantifier.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_QUANTIFIER_HPP_EAN_04_01_2007 | |
| #define BOOST_XPRESSIVE_DETAIL_STATIC_TRANSFORMS_AS_QUANTIFIER_HPP_EAN_04_01_2007 | |
| // MS compatible compilers support #pragma once | |
| #if defined(_MSC_VER) && (_MSC_VER >= 1020) | |
| # pragma once | |
| #endif | |
| #include <boost/mpl/assert.hpp> | |
| #include <boost/type_traits/is_same.hpp> | |
| #include <boost/xpressive/detail/detail_fwd.hpp> | |
| #include <boost/xpressive/detail/static/static.hpp> | |
| #include <boost/proto/core.hpp> | |
| namespace boost { namespace xpressive { namespace detail | |
| { | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // generic_quant_tag | |
| template<uint_t Min, uint_t Max> | |
| struct generic_quant_tag | |
| { | |
| typedef mpl::integral_c<uint_t, Min> min_type; | |
| typedef mpl::integral_c<uint_t, Max> max_type; | |
| }; | |
| }}} | |
| namespace boost { namespace xpressive { namespace grammar_detail | |
| { | |
| using detail::uint_t; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // min_type / max_type | |
| template<typename Tag> | |
| struct min_type : Tag::min_type {}; | |
| template<> | |
| struct min_type<proto::tag::unary_plus> : mpl::integral_c<uint_t, 1> {}; | |
| template<> | |
| struct min_type<proto::tag::dereference> : mpl::integral_c<uint_t, 0> {}; | |
| template<> | |
| struct min_type<proto::tag::logical_not> : mpl::integral_c<uint_t, 0> {}; | |
| template<typename Tag> | |
| struct max_type : Tag::max_type {}; | |
| template<> | |
| struct max_type<proto::tag::unary_plus> : mpl::integral_c<uint_t, UINT_MAX-1> {}; | |
| template<> | |
| struct max_type<proto::tag::dereference> : mpl::integral_c<uint_t, UINT_MAX-1> {}; | |
| template<> | |
| struct max_type<proto::tag::logical_not> : mpl::integral_c<uint_t, 1> {}; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_simple_quantifier | |
| template<typename Grammar, typename Greedy, typename Callable = proto::callable> | |
| struct as_simple_quantifier : proto::transform<as_simple_quantifier<Grammar, Greedy, Callable> > | |
| { | |
| template<typename Expr, typename State, typename Data> | |
| struct impl : proto::transform_impl<Expr, State, Data> | |
| { | |
| typedef | |
| typename proto::result_of::child<Expr>::type | |
| arg_type; | |
| typedef | |
| typename Grammar::template impl<arg_type, detail::true_xpression, Data>::result_type | |
| xpr_type; | |
| typedef | |
| detail::simple_repeat_matcher<xpr_type, Greedy> | |
| matcher_type; | |
| typedef | |
| typename proto::terminal<matcher_type>::type | |
| result_type; | |
| result_type operator ()( | |
| typename impl::expr_param expr | |
| , typename impl::state_param | |
| , typename impl::data_param data | |
| ) const | |
| { | |
| xpr_type xpr = typename Grammar::template impl<arg_type, detail::true_xpression, Data>()( | |
| proto::child(expr) | |
| , detail::true_xpression() | |
| , data | |
| ); | |
| typedef typename impl::expr expr_type; | |
| matcher_type matcher( | |
| xpr | |
| , (uint_t)min_type<typename expr_type::proto_tag>::value | |
| , (uint_t)max_type<typename expr_type::proto_tag>::value | |
| , xpr.get_width().value() | |
| ); | |
| return result_type::make(matcher); | |
| } | |
| }; | |
| }; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // add_hidden_mark | |
| struct add_hidden_mark : proto::transform<add_hidden_mark> | |
| { | |
| template<typename Expr, typename State, typename Data> | |
| struct impl : proto::transform_impl<Expr, State, Data> | |
| { | |
| typedef typename impl::expr expr_type; | |
| typedef | |
| typename shift_right< | |
| terminal<detail::mark_begin_matcher>::type | |
| , typename shift_right< | |
| Expr | |
| , terminal<detail::mark_end_matcher>::type | |
| >::type | |
| >::type | |
| result_type; | |
| result_type operator ()( | |
| typename impl::expr_param expr | |
| , typename impl::state_param | |
| , typename impl::data_param data | |
| ) const | |
| { | |
| // we're inserting a hidden mark ... so grab the next hidden mark number. | |
| int mark_nbr = data.get_hidden_mark(); | |
| detail::mark_begin_matcher begin(mark_nbr); | |
| detail::mark_end_matcher end(mark_nbr); | |
| result_type that = {{begin}, {expr, {end}}}; | |
| return that; | |
| } | |
| }; | |
| }; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // InsertMark | |
| struct InsertMark | |
| : or_< | |
| when<proto::assign<detail::basic_mark_tag, _>, _> | |
| , otherwise<add_hidden_mark> | |
| > | |
| {}; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_default_quantifier_impl | |
| template<typename Greedy, uint_t Min, uint_t Max> | |
| struct as_default_quantifier_impl : proto::transform<as_default_quantifier_impl<Greedy, Min, Max> > | |
| { | |
| template<typename Expr, typename State, typename Data> | |
| struct impl : proto::transform_impl<Expr, State, Data> | |
| { | |
| typedef | |
| typename proto::result_of::child<Expr>::type | |
| xpr_type; | |
| typedef | |
| typename InsertMark::impl<xpr_type, State, Data>::result_type | |
| marked_sub_type; | |
| typedef | |
| typename shift_right< | |
| terminal<detail::repeat_begin_matcher>::type | |
| , typename shift_right< | |
| marked_sub_type | |
| , typename terminal<detail::repeat_end_matcher<Greedy> >::type | |
| >::type | |
| >::type | |
| result_type; | |
| result_type operator ()( | |
| typename impl::expr_param expr | |
| , typename impl::state_param state | |
| , typename impl::data_param data | |
| ) const | |
| { | |
| // Ensure this sub-expression is book-ended with mark matchers | |
| marked_sub_type marked_sub = | |
| InsertMark::impl<xpr_type, State, Data>()(proto::child(expr), state, data); | |
| // Get the mark_number from the begin_mark_matcher | |
| int mark_number = proto::value(proto::left(marked_sub)).mark_number_; | |
| BOOST_ASSERT(0 != mark_number); | |
| typedef typename impl::expr expr_type; | |
| uint_t min_ = (uint_t)min_type<typename expr_type::proto_tag>(); | |
| uint_t max_ = (uint_t)max_type<typename expr_type::proto_tag>(); | |
| detail::repeat_begin_matcher begin(mark_number); | |
| detail::repeat_end_matcher<Greedy> end(mark_number, min_, max_); | |
| result_type that = {{begin}, {marked_sub, {end}}}; | |
| return that; | |
| } | |
| }; | |
| }; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // optional_tag | |
| template<typename Greedy> | |
| struct optional_tag | |
| {}; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_default_optional | |
| template<typename Grammar, typename Greedy, typename Callable = proto::callable> | |
| struct as_default_optional : proto::transform<as_default_optional<Grammar, Greedy, Callable> > | |
| { | |
| template<typename Expr, typename State, typename Data> | |
| struct impl : proto::transform_impl<Expr, State, Data> | |
| { | |
| typedef | |
| detail::alternate_end_xpression | |
| end_xpr; | |
| typedef | |
| detail::optional_matcher< | |
| typename Grammar::template impl<Expr, end_xpr, Data>::result_type | |
| , Greedy | |
| > | |
| result_type; | |
| result_type operator ()( | |
| typename impl::expr_param expr | |
| , typename impl::state_param | |
| , typename impl::data_param data | |
| ) const | |
| { | |
| return result_type( | |
| typename Grammar::template impl<Expr, end_xpr, Data>()(expr, end_xpr(), data) | |
| ); | |
| } | |
| }; | |
| }; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_mark_optional | |
| template<typename Grammar, typename Greedy, typename Callable = proto::callable> | |
| struct as_mark_optional : proto::transform<as_mark_optional<Grammar, Greedy, Callable> > | |
| { | |
| template<typename Expr, typename State, typename Data> | |
| struct impl : proto::transform_impl<Expr, State, Data> | |
| { | |
| typedef | |
| detail::alternate_end_xpression | |
| end_xpr; | |
| typedef | |
| detail::optional_mark_matcher< | |
| typename Grammar::template impl<Expr, end_xpr, Data>::result_type | |
| , Greedy | |
| > | |
| result_type; | |
| result_type operator ()( | |
| typename impl::expr_param expr | |
| , typename impl::state_param | |
| , typename impl::data_param data | |
| ) const | |
| { | |
| int mark_number = proto::value(proto::left(expr)).mark_number_; | |
| return result_type( | |
| typename Grammar::template impl<Expr, end_xpr, Data>()(expr, end_xpr(), data) | |
| , mark_number | |
| ); | |
| } | |
| }; | |
| }; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // IsMarkerOrRepeater | |
| struct IsMarkerOrRepeater | |
| : or_< | |
| shift_right<terminal<detail::repeat_begin_matcher>, _> | |
| , assign<terminal<detail::mark_placeholder>, _> | |
| > | |
| {}; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_optional | |
| template<typename Grammar, typename Greedy> | |
| struct as_optional | |
| : or_< | |
| when<IsMarkerOrRepeater, as_mark_optional<Grammar, Greedy> > | |
| , otherwise<as_default_optional<Grammar, Greedy> > | |
| > | |
| {}; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // make_optional_ | |
| template<typename Greedy, typename Callable = proto::callable> | |
| struct make_optional_ : proto::transform<make_optional_<Greedy, Callable> > | |
| { | |
| template<typename Expr, typename State, typename Data> | |
| struct impl : proto::transform_impl<Expr, State, Data> | |
| { | |
| typedef typename impl::expr expr_type; | |
| typedef | |
| typename unary_expr< | |
| optional_tag<Greedy> | |
| , Expr | |
| >::type | |
| result_type; | |
| result_type operator ()( | |
| typename impl::expr_param expr | |
| , typename impl::state_param | |
| , typename impl::data_param | |
| ) const | |
| { | |
| result_type that = {expr}; | |
| return that; | |
| } | |
| }; | |
| }; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_default_quantifier_impl | |
| template<typename Greedy, uint_t Max> | |
| struct as_default_quantifier_impl<Greedy, 0, Max> | |
| : call<make_optional_<Greedy>(as_default_quantifier_impl<Greedy, 1, Max>)> | |
| {}; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_default_quantifier_impl | |
| template<typename Greedy> | |
| struct as_default_quantifier_impl<Greedy, 0, 1> | |
| : call<make_optional_<Greedy>(_child)> | |
| {}; | |
| /////////////////////////////////////////////////////////////////////////////// | |
| // as_default_quantifier | |
| template<typename Greedy, typename Callable = proto::callable> | |
| struct as_default_quantifier : proto::transform<as_default_quantifier<Greedy, Callable> > | |
| { | |
| template<typename Expr, typename State, typename Data> | |
| struct impl : proto::transform_impl<Expr, State, Data> | |
| { | |
| typedef typename impl::expr expr_type; | |
| typedef | |
| as_default_quantifier_impl< | |
| Greedy | |
| , min_type<typename expr_type::proto_tag>::value | |
| , max_type<typename expr_type::proto_tag>::value | |
| > | |
| other; | |
| typedef | |
| typename other::template impl<Expr, State, Data>::result_type | |
| result_type; | |
| result_type operator ()( | |
| typename impl::expr_param expr | |
| , typename impl::state_param state | |
| , typename impl::data_param data | |
| ) const | |
| { | |
| return typename other::template impl<Expr, State, Data>()(expr, state, data); | |
| } | |
| }; | |
| }; | |
| }}} | |
| #endif |