Chris@102: /*=============================================================================
Chris@102:     Copyright (c) 2001-2014 Joel de Guzman
Chris@102: 
Chris@102:     Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@102:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@102: =============================================================================*/
Chris@102: #if !defined(SPIRIT_LEXEME_MARCH_24_2007_0802AM)
Chris@102: #define SPIRIT_LEXEME_MARCH_24_2007_0802AM
Chris@102: 
Chris@102: #if defined(_MSC_VER)
Chris@102: #pragma once
Chris@102: #endif
Chris@102: 
Chris@102: #include <boost/spirit/home/x3/support/context.hpp>
Chris@102: #include <boost/spirit/home/x3/support/unused.hpp>
Chris@102: #include <boost/spirit/home/x3/core/skip_over.hpp>
Chris@102: #include <boost/spirit/home/x3/core/parser.hpp>
Chris@102: #include <boost/type_traits/remove_reference.hpp>
Chris@102: #include <boost/utility/enable_if.hpp>
Chris@102: 
Chris@102: namespace boost { namespace spirit { namespace x3
Chris@102: {
Chris@102:     template <typename Subject>
Chris@102:     struct lexeme_directive : unary_parser<Subject, lexeme_directive<Subject>>
Chris@102:     {
Chris@102:         typedef unary_parser<Subject, lexeme_directive<Subject> > base_type;
Chris@102:         static bool const is_pass_through_unary = true;
Chris@102:         static bool const handles_container = Subject::handles_container;
Chris@102: 
Chris@102:         lexeme_directive(Subject const& subject)
Chris@102:           : base_type(subject) {}
Chris@102:         
Chris@102:         template <typename Iterator, typename Context
Chris@102:           , typename RContext, typename Attribute>
Chris@102:         typename enable_if<has_skipper<Context>, bool>::type
Chris@102:         parse(Iterator& first, Iterator const& last
Chris@102:           , Context const& context, RContext& rcontext, Attribute& attr) const
Chris@102:         {
Chris@102:             x3::skip_over(first, last, context);
Chris@102:             auto const& skipper = x3::get<skipper_tag>(context);
Chris@102: 
Chris@102:             typedef unused_skipper<
Chris@102:                 typename remove_reference<decltype(skipper)>::type>
Chris@102:             unused_skipper_type;
Chris@102:             unused_skipper_type unused_skipper(skipper);
Chris@102: 
Chris@102:             return this->subject.parse(
Chris@102:                 first, last
Chris@102:               , make_context<skipper_tag>(unused_skipper, context)
Chris@102:               , rcontext
Chris@102:               , attr);
Chris@102:         }
Chris@102: 
Chris@102:         template <typename Iterator, typename Context
Chris@102:           , typename RContext, typename Attribute>
Chris@102:         typename disable_if<has_skipper<Context>, bool>::type
Chris@102:         parse(Iterator& first, Iterator const& last
Chris@102:           , Context const& context, RContext& rcontext, Attribute& attr) const
Chris@102:         {
Chris@102:             //  no need to pre-skip if skipper is unused
Chris@102:             //- x3::skip_over(first, last, context);
Chris@102: 
Chris@102:             return this->subject.parse(
Chris@102:                 first, last
Chris@102:               , context
Chris@102:               , rcontext
Chris@102:               , attr);
Chris@102:         }
Chris@102:     };
Chris@102: 
Chris@102:     struct lexeme_gen
Chris@102:     {
Chris@102:         template <typename Subject>
Chris@102:         lexeme_directive<typename extension::as_parser<Subject>::value_type>
Chris@102:         operator[](Subject const& subject) const
Chris@102:         {
Chris@102:             return {as_parser(subject)};
Chris@102:         }
Chris@102:     };
Chris@102: 
Chris@102:     lexeme_gen const lexeme = lexeme_gen();
Chris@102: }}}
Chris@102: 
Chris@102: #endif