annotate DEPENDENCIES/generic/include/boost/spirit/home/qi/directive/no_skip.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents c530137014c0
children
rev   line source
Chris@16 1 /*=============================================================================
Chris@16 2 Copyright (c) 2001-2011 Joel de Guzman
Chris@16 3 Copyright (c) 2001-2011 Hartmut Kaiser
Chris@16 4
Chris@16 5 Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16 6 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16 7 =============================================================================*/
Chris@16 8 #if !defined(SPIRIT_NO_SKIP_JAN_16_2010_0802PM)
Chris@16 9 #define SPIRIT_NO_SKIP_JAN_16_2010_0802PM
Chris@16 10
Chris@16 11 #if defined(_MSC_VER)
Chris@16 12 #pragma once
Chris@16 13 #endif
Chris@16 14
Chris@16 15 #include <boost/spirit/home/qi/meta_compiler.hpp>
Chris@16 16 #include <boost/spirit/home/qi/skip_over.hpp>
Chris@16 17 #include <boost/spirit/home/qi/parser.hpp>
Chris@16 18 #include <boost/spirit/home/qi/detail/unused_skipper.hpp>
Chris@16 19 #include <boost/spirit/home/support/unused.hpp>
Chris@16 20 #include <boost/spirit/home/support/common_terminals.hpp>
Chris@16 21 #include <boost/spirit/home/support/attributes.hpp>
Chris@16 22 #include <boost/spirit/home/support/info.hpp>
Chris@16 23 #include <boost/spirit/home/support/has_semantic_action.hpp>
Chris@16 24 #include <boost/spirit/home/support/handles_container.hpp>
Chris@101 25 #include <boost/utility/enable_if.hpp>
Chris@16 26
Chris@16 27 namespace boost { namespace spirit
Chris@16 28 {
Chris@16 29 ///////////////////////////////////////////////////////////////////////////
Chris@16 30 // Enablers
Chris@16 31 ///////////////////////////////////////////////////////////////////////////
Chris@16 32 template <>
Chris@16 33 struct use_directive<qi::domain, tag::no_skip> // enables no_skip
Chris@16 34 : mpl::true_ {};
Chris@16 35 }}
Chris@16 36
Chris@16 37 namespace boost { namespace spirit { namespace qi
Chris@16 38 {
Chris@16 39 #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS
Chris@16 40 using spirit::no_skip;
Chris@16 41 #endif
Chris@16 42 using spirit::no_skip_type;
Chris@16 43
Chris@16 44 // same as lexeme[], but does not pre-skip
Chris@16 45 template <typename Subject>
Chris@16 46 struct no_skip_directive : unary_parser<no_skip_directive<Subject> >
Chris@16 47 {
Chris@16 48 typedef Subject subject_type;
Chris@16 49 no_skip_directive(Subject const& subject_)
Chris@16 50 : subject(subject_) {}
Chris@16 51
Chris@16 52 template <typename Context, typename Iterator>
Chris@16 53 struct attribute
Chris@16 54 {
Chris@16 55 typedef typename
Chris@16 56 traits::attribute_of<subject_type, Context, Iterator>::type
Chris@16 57 type;
Chris@16 58 };
Chris@16 59
Chris@16 60 template <typename Iterator, typename Context
Chris@16 61 , typename Skipper, typename Attribute>
Chris@101 62 typename disable_if<detail::is_unused_skipper<Skipper>, bool>::type
Chris@101 63 parse(Iterator& first, Iterator const& last
Chris@16 64 , Context& context, Skipper const& skipper
Chris@16 65 , Attribute& attr_) const
Chris@16 66 {
Chris@16 67 return subject.parse(first, last, context
Chris@16 68 , detail::unused_skipper<Skipper>(skipper), attr_);
Chris@16 69 }
Chris@101 70 template <typename Iterator, typename Context
Chris@101 71 , typename Skipper, typename Attribute>
Chris@101 72 typename enable_if<detail::is_unused_skipper<Skipper>, bool>::type
Chris@101 73 parse(Iterator& first, Iterator const& last
Chris@101 74 , Context& context, Skipper const& skipper
Chris@101 75 , Attribute& attr_) const
Chris@101 76 {
Chris@101 77 return subject.parse(first, last, context
Chris@101 78 , skipper, attr_);
Chris@101 79 }
Chris@16 80
Chris@16 81 template <typename Context>
Chris@16 82 info what(Context& context) const
Chris@16 83 {
Chris@16 84 return info("no_skip", subject.what(context));
Chris@16 85
Chris@16 86 }
Chris@16 87
Chris@16 88 Subject subject;
Chris@16 89 };
Chris@16 90
Chris@16 91 ///////////////////////////////////////////////////////////////////////////
Chris@16 92 // Parser generators: make_xxx function (objects)
Chris@16 93 ///////////////////////////////////////////////////////////////////////////
Chris@16 94 template <typename Subject, typename Modifiers>
Chris@16 95 struct make_directive<tag::no_skip, Subject, Modifiers>
Chris@16 96 {
Chris@16 97 typedef no_skip_directive<Subject> result_type;
Chris@16 98 result_type operator()(unused_type, Subject const& subject, unused_type) const
Chris@16 99 {
Chris@16 100 return result_type(subject);
Chris@16 101 }
Chris@16 102 };
Chris@16 103 }}}
Chris@16 104
Chris@16 105 namespace boost { namespace spirit { namespace traits
Chris@16 106 {
Chris@16 107 ///////////////////////////////////////////////////////////////////////////
Chris@16 108 template <typename Subject>
Chris@16 109 struct has_semantic_action<qi::no_skip_directive<Subject> >
Chris@16 110 : unary_has_semantic_action<Subject> {};
Chris@16 111
Chris@16 112 ///////////////////////////////////////////////////////////////////////////
Chris@16 113 template <typename Subject, typename Attribute, typename Context
Chris@16 114 , typename Iterator>
Chris@16 115 struct handles_container<qi::no_skip_directive<Subject>, Attribute
Chris@16 116 , Context, Iterator>
Chris@16 117 : unary_handles_container<Subject, Attribute, Context, Iterator> {};
Chris@16 118 }}}
Chris@16 119
Chris@16 120 #endif