Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: // grammar.hpp
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_XPRESSIVE_DETAIL_STATIC_GRAMMAR_HPP_EAN_11_12_2006
Chris@16: #define BOOST_XPRESSIVE_DETAIL_STATIC_GRAMMAR_HPP_EAN_11_12_2006
Chris@16: 
Chris@16: // MS compatible compilers support #pragma once
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/mpl/if.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/mpl/assert.hpp>
Chris@16: #include <boost/proto/core.hpp>
Chris@16: #include <boost/xpressive/detail/static/is_pure.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_matcher.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_alternate.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_sequence.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_quantifier.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_marker.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_set.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_independent.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_modifier.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_inverse.hpp>
Chris@16: #include <boost/xpressive/detail/static/transforms/as_action.hpp>
Chris@16: #include <boost/xpressive/detail/detail_fwd.hpp>
Chris@16: 
Chris@16: #define BOOST_XPRESSIVE_CHECK_REGEX(Expr, Char)\
Chris@16:     BOOST_MPL_ASSERT\
Chris@16:     ((\
Chris@16:         typename boost::mpl::if_c<\
Chris@16:             boost::xpressive::is_valid_regex<Expr, Char>::value\
Chris@16:           , boost::mpl::true_\
Chris@16:           , boost::xpressive::INVALID_REGULAR_EXPRESSION\
Chris@16:         >::type\
Chris@16:     ));
Chris@16: 
Chris@16: //////////////////////////////////////////////////////////////////////////
Chris@16: //**********************************************************************//
Chris@16: //*                            << NOTE! >>                             *//
Chris@16: //*                                                                    *//
Chris@16: //* Whenever you change this grammar, you MUST also make corresponding *//
Chris@16: //* changes to width_of.hpp and is_pure.hpp.                           *//
Chris@16: //*                                                                    *//
Chris@16: //**********************************************************************//
Chris@16: //////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16: namespace boost { namespace xpressive
Chris@16: {
Chris@16:     template<typename Char>
Chris@16:     struct Grammar;
Chris@16: 
Chris@16:     template<typename Char>
Chris@16:     struct ActionableGrammar;
Chris@16: 
Chris@16:     namespace grammar_detail
Chris@16:     {
Chris@16:         ///////////////////////////////////////////////////////////////////////////
Chris@16:         // CharLiteral
Chris@16:         template<typename Char>
Chris@16:         struct CharLiteral;
Chris@16: 
Chris@16:         ///////////////////////////////////////////////////////////////////////////
Chris@16:         // ListSet
Chris@16:         template<typename Char>
Chris@16:         struct ListSet;
Chris@16: 
Chris@16:         ///////////////////////////////////////////////////////////////////////////
Chris@16:         // as_repeat
Chris@16:         template<typename Char, typename Gram, typename Greedy>
Chris@16:         struct as_repeat
Chris@16:           : if_<
Chris@16:                 make<detail::use_simple_repeat<_child, Char> >
Chris@16:               , as_simple_quantifier<Gram, Greedy>
Chris@16:               , as_default_quantifier<Greedy>
Chris@16:             >
Chris@16:         {};
Chris@16: 
Chris@16:         ///////////////////////////////////////////////////////////////////////////
Chris@16:         // NonGreedyRepeatCases
Chris@16:         template<typename Gram>
Chris@16:         struct NonGreedyRepeatCases
Chris@16:         {
Chris@16:             template<typename Tag, typename Dummy = void>
Chris@16:             struct case_
Chris@16:               : not_<_>
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::dereference, Dummy>
Chris@16:               : dereference<Gram>
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::unary_plus, Dummy>
Chris@16:               : unary_plus<Gram>
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::logical_not, Dummy>
Chris@16:               : logical_not<Gram>
Chris@16:             {};
Chris@16: 
Chris@16:             template<uint_t Min, uint_t Max, typename Dummy>
Chris@16:             struct case_<detail::generic_quant_tag<Min, Max>, Dummy>
Chris@16:               : unary_expr<detail::generic_quant_tag<Min, Max>, Gram>
Chris@16:             {};
Chris@16:         };
Chris@16: 
Chris@16:         ///////////////////////////////////////////////////////////////////////////
Chris@16:         // InvertibleCases
Chris@16:         template<typename Char, typename Gram>
Chris@16:         struct InvertibleCases
Chris@16:         {
Chris@16:             template<typename Tag, typename Dummy = void>
Chris@16:             struct case_
Chris@16:               : not_<_>
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::comma, Dummy>
Chris@16:               : when<ListSet<Char>, as_list_set_matcher<Char> >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::assign, Dummy>
Chris@16:               : when<ListSet<Char>, as_list_set_matcher<Char> >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::subscript, Dummy>
Chris@16:               : when<subscript<detail::set_initializer_type, Gram>, call<as_set_matcher<Gram>(_right)> >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<detail::lookahead_tag, Dummy>
Chris@16:               : when<
Chris@16:                     unary_expr<detail::lookahead_tag, Gram>
Chris@16:                   , as_lookahead<Gram>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<detail::lookbehind_tag, Dummy>
Chris@16:               : when<
Chris@16:                     unary_expr<detail::lookbehind_tag, Gram>
Chris@16:                   , as_lookbehind<Gram>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::terminal, Dummy>
Chris@16:               : when<
Chris@16:                     or_<
Chris@16:                         CharLiteral<Char>
Chris@16:                       , terminal<detail::posix_charset_placeholder>
Chris@16:                       , terminal<detail::range_placeholder<_> >
Chris@16:                       , terminal<detail::logical_newline_placeholder>
Chris@16:                       , terminal<detail::assert_word_placeholder<detail::word_boundary<mpl::true_> > >
Chris@16:                     >
Chris@16:                   , as_matcher
Chris@16:                 >
Chris@16:             {};
Chris@16:         };
Chris@16: 
Chris@16:         ///////////////////////////////////////////////////////////////////////////
Chris@16:         // Cases
Chris@16:         template<typename Char, typename Gram>
Chris@16:         struct Cases
Chris@16:         {
Chris@16:             template<typename Tag, typename Dummy = void>
Chris@16:             struct case_
Chris@16:               : not_<_>
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::terminal, Dummy>
Chris@16:               : when<
Chris@16:                     _
Chris@16:                   , in_sequence<as_matcher>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::shift_right, Dummy>
Chris@16:               : when<
Chris@16:                     shift_right<Gram, Gram>
Chris@16:                   , reverse_fold<_, _state, Gram>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::bitwise_or, Dummy>
Chris@16:               : when<
Chris@16:                     bitwise_or<Gram, Gram>
Chris@16:                   , in_sequence<
Chris@16:                         as_alternate_matcher<
Chris@16:                             reverse_fold_tree<_, make<fusion::nil>, in_alternate_list<Gram> >
Chris@16:                         >
Chris@16:                     >
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy, typename Greedy>
Chris@16:             struct case_<optional_tag<Greedy> , Dummy>
Chris@16:               : when<
Chris@16:                     unary_expr<optional_tag<Greedy>, Gram>
Chris@16:                   , in_sequence<call<as_optional<Gram, Greedy>(_child)> >
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::dereference, Dummy>
Chris@16:               : when<
Chris@16:                     dereference<Gram>
Chris@16:                   , call<Gram(as_repeat<Char, Gram, mpl::true_>)>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::unary_plus, Dummy>
Chris@16:               : when<
Chris@16:                     unary_plus<Gram>
Chris@16:                   , call<Gram(as_repeat<Char, Gram, mpl::true_>)>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::logical_not, Dummy>
Chris@16:               : when<
Chris@16:                     logical_not<Gram>
Chris@16:                   , call<Gram(as_repeat<Char, Gram, mpl::true_>)>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<uint_t Min, uint_t Max, typename Dummy>
Chris@16:             struct case_<detail::generic_quant_tag<Min, Max>, Dummy>
Chris@16:               : when<
Chris@16:                     unary_expr<detail::generic_quant_tag<Min, Max>, Gram>
Chris@16:                   , call<Gram(as_repeat<Char, Gram, mpl::true_>)>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::negate, Dummy>
Chris@16:               : when<
Chris@16:                     negate<switch_<NonGreedyRepeatCases<Gram> > >
Chris@16:                   , call<Gram(call<as_repeat<Char, Gram, mpl::false_>(_child)>)>
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::complement, Dummy>
Chris@16:               : when<
Chris@16:                     complement<switch_<InvertibleCases<Char, Gram> > >
Chris@16:                   , in_sequence<call<as_inverse(call<switch_<InvertibleCases<Char, Gram> >(_child)>)> >
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<detail::modifier_tag, Dummy>
Chris@16:               : when<binary_expr<detail::modifier_tag, _, Gram>, as_modifier<Gram> >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<detail::lookahead_tag, Dummy>
Chris@16:               : when<
Chris@16:                     unary_expr<detail::lookahead_tag, Gram>
Chris@16:                   , in_sequence<as_lookahead<Gram> >
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<detail::lookbehind_tag, Dummy>
Chris@16:               : when<
Chris@16:                     unary_expr<detail::lookbehind_tag, Gram>
Chris@16:                   , in_sequence<as_lookbehind<Gram> >
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<detail::keeper_tag, Dummy>
Chris@16:               : when<
Chris@16:                     unary_expr<detail::keeper_tag, Gram>
Chris@16:                   , in_sequence<as_keeper<Gram> >
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::comma, Dummy>
Chris@16:               : when<ListSet<Char>, in_sequence<as_list_set_matcher<Char> > >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::assign, Dummy>
Chris@16:               : or_<
Chris@16:                     when<assign<detail::basic_mark_tag, Gram>, call<Gram(as_marker)> >
Chris@16:                   , when<ListSet<Char>, in_sequence<as_list_set_matcher<Char> > >
Chris@16:                 >
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<tag::subscript, Dummy>
Chris@16:               : or_<
Chris@16:                     when<subscript<detail::set_initializer_type, Gram>, in_sequence<call<as_set_matcher<Gram>(_right)> > >
Chris@16:                   , when<subscript<ActionableGrammar<Char>, _>, call<ActionableGrammar<Char>(as_action)> >
Chris@16:                 >
Chris@16:             {};
Chris@16:         };
Chris@16: 
Chris@16:         ///////////////////////////////////////////////////////////////////////////
Chris@16:         // ActionableCases
Chris@16:         template<typename Char, typename Gram>
Chris@16:         struct ActionableCases
Chris@16:         {
Chris@16:             template<typename Tag, typename Dummy = void>
Chris@16:             struct case_
Chris@16:               : Cases<Char, Gram>::template case_<Tag>
Chris@16:             {};
Chris@16: 
Chris@16:             // Only in sub-expressions with actions attached do we allow attribute assignements
Chris@16:             template<typename Dummy>
Chris@16:             struct case_<proto::tag::assign, Dummy>
Chris@16:               : or_<
Chris@16:                     typename Cases<Char, Gram>::template case_<proto::tag::assign>
Chris@16:                   , when<proto::assign<terminal<detail::attribute_placeholder<_> >, _>, in_sequence<as_attr_matcher> >
Chris@16:                 >
Chris@16:             {};
Chris@16:         };
Chris@16: 
Chris@16:     } // namespace detail
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Grammar
Chris@16:     template<typename Char>
Chris@16:     struct Grammar
Chris@16:       : proto::switch_<grammar_detail::Cases<Char, Grammar<Char> > >
Chris@16:     {};
Chris@16: 
Chris@16:     template<typename Char>
Chris@16:     struct ActionableGrammar
Chris@16:       : proto::switch_<grammar_detail::ActionableCases<Char, ActionableGrammar<Char> > >
Chris@16:     {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // INVALID_REGULAR_EXPRESSION
Chris@16:     struct INVALID_REGULAR_EXPRESSION
Chris@16:       : mpl::false_
Chris@16:     {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // is_valid_regex
Chris@16:     template<typename Expr, typename Char>
Chris@16:     struct is_valid_regex
Chris@16:       : proto::matches<Expr, Grammar<Char> >
Chris@16:     {};
Chris@16: 
Chris@16: }} // namespace boost::xpressive
Chris@16: 
Chris@16: #endif