annotate DEPENDENCIES/generic/include/boost/spirit/home/qi/directive/as.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 2665513ce2d3
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 Copyright (c) 2010 Bryce Lelbach
Chris@16 5
Chris@16 6 Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16 7 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16 8 =============================================================================*/
Chris@16 9 #if !defined(SPIRIT_AS_DECEMBER_6_2010_1013AM)
Chris@16 10 #define SPIRIT_AS_DECEMBER_6_2010_1013AM
Chris@16 11
Chris@16 12 #if defined(_MSC_VER)
Chris@16 13 #pragma once
Chris@16 14 #endif
Chris@16 15
Chris@16 16 #include <boost/spirit/home/qi/meta_compiler.hpp>
Chris@16 17 #include <boost/spirit/home/qi/skip_over.hpp>
Chris@16 18 #include <boost/spirit/home/qi/parser.hpp>
Chris@16 19 #include <boost/spirit/home/qi/detail/assign_to.hpp>
Chris@16 20 #include <boost/spirit/home/support/unused.hpp>
Chris@16 21 #include <boost/spirit/home/support/info.hpp>
Chris@16 22 #include <boost/spirit/home/support/common_terminals.hpp>
Chris@16 23 #include <boost/spirit/home/support/unused.hpp>
Chris@16 24 #include <boost/spirit/home/support/has_semantic_action.hpp>
Chris@16 25 #include <boost/spirit/home/support/handles_container.hpp>
Chris@16 26 #include <boost/spirit/home/support/assert_msg.hpp>
Chris@16 27 #include <boost/spirit/home/support/container.hpp>
Chris@16 28 #include <boost/range/iterator_range.hpp>
Chris@16 29 #include <string>
Chris@16 30
Chris@16 31 namespace boost { namespace spirit { namespace qi
Chris@16 32 {
Chris@16 33 template <typename T>
Chris@16 34 struct as
Chris@16 35 : stateful_tag_type<T, tag::as>
Chris@16 36 {
Chris@16 37 //~ BOOST_SPIRIT_ASSERT_MSG(
Chris@16 38 //~ (traits::is_container<T>::type::value),
Chris@16 39 //~ error_type_must_be_a_container,
Chris@16 40 //~ (T));
Chris@16 41 };
Chris@16 42 }}}
Chris@16 43
Chris@16 44 namespace boost { namespace spirit
Chris@16 45 {
Chris@16 46 ///////////////////////////////////////////////////////////////////////////
Chris@16 47 // Enablers
Chris@16 48 ///////////////////////////////////////////////////////////////////////////
Chris@16 49 // enables as_string[...]
Chris@16 50 template <>
Chris@16 51 struct use_directive<qi::domain, tag::as_string>
Chris@16 52 : mpl::true_ {};
Chris@16 53
Chris@16 54 // enables as_wstring[...]
Chris@16 55 template <>
Chris@16 56 struct use_directive<qi::domain, tag::as_wstring>
Chris@16 57 : mpl::true_ {};
Chris@16 58
Chris@16 59 // enables as<T>[...]
Chris@16 60 template <typename T>
Chris@16 61 struct use_directive<qi::domain, tag::stateful_tag<T, tag::as> >
Chris@16 62 : mpl::true_
Chris@16 63 {};
Chris@16 64 }}
Chris@16 65
Chris@16 66 namespace boost { namespace spirit { namespace qi
Chris@16 67 {
Chris@16 68 #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS
Chris@16 69 using spirit::as_string;
Chris@16 70 using spirit::as_wstring;
Chris@16 71 #endif
Chris@16 72 using spirit::as_string_type;
Chris@16 73 using spirit::as_wstring_type;
Chris@16 74
Chris@16 75 template <typename Subject, typename T>
Chris@16 76 struct as_directive : unary_parser<as_directive<Subject, T> >
Chris@16 77 {
Chris@16 78 typedef Subject subject_type;
Chris@16 79 as_directive(Subject const& subject_)
Chris@16 80 : subject(subject_) {}
Chris@16 81
Chris@16 82 template <typename Context, typename Iterator>
Chris@16 83 struct attribute
Chris@16 84 {
Chris@16 85 typedef T type;
Chris@16 86 };
Chris@16 87
Chris@16 88 template <typename Iterator, typename Context
Chris@16 89 , typename Skipper, typename Attribute>
Chris@16 90 bool parse(Iterator& first, Iterator const& last
Chris@16 91 , Context& context, Skipper const& skipper, Attribute& attr_) const
Chris@16 92 {
Chris@16 93 Iterator i = first;
Chris@16 94 T as_attr;
Chris@16 95 if (subject.parse(i, last, context, skipper, as_attr))
Chris@16 96 {
Chris@16 97 spirit::traits::assign_to(as_attr, attr_);
Chris@16 98 first = i;
Chris@16 99 return true;
Chris@16 100 }
Chris@16 101 return false;
Chris@16 102 }
Chris@16 103
Chris@16 104 template <typename Iterator, typename Context, typename Skipper>
Chris@16 105 bool parse(Iterator& first, Iterator const& last
Chris@16 106 , Context& context, Skipper const& skipper, T& attr_) const
Chris@16 107 {
Chris@16 108 Iterator i = first;
Chris@16 109 if (subject.parse(i, last, context, skipper, attr_))
Chris@16 110 {
Chris@16 111 first = i;
Chris@16 112 return true;
Chris@16 113 }
Chris@16 114 return false;
Chris@16 115 }
Chris@16 116
Chris@16 117 template <typename Context>
Chris@16 118 info what(Context& context) const
Chris@16 119 {
Chris@16 120 return info("as", subject.what(context));
Chris@16 121 }
Chris@16 122
Chris@16 123 Subject subject;
Chris@16 124 };
Chris@16 125
Chris@16 126 ///////////////////////////////////////////////////////////////////////////
Chris@16 127 // Parser generators: make_xxx function (objects)
Chris@16 128 ///////////////////////////////////////////////////////////////////////////
Chris@16 129 template <typename Subject, typename Modifiers>
Chris@16 130 struct make_directive<tag::as_string, Subject, Modifiers>
Chris@16 131 {
Chris@16 132 typedef as_directive<Subject, std::string> result_type;
Chris@16 133 result_type operator()(unused_type, Subject const& subject
Chris@16 134 , unused_type) const
Chris@16 135 {
Chris@16 136 return result_type(subject);
Chris@16 137 }
Chris@16 138 };
Chris@16 139
Chris@16 140 template <typename Subject, typename Modifiers>
Chris@16 141 struct make_directive<tag::as_wstring, Subject, Modifiers>
Chris@16 142 {
Chris@16 143 typedef as_directive<Subject, std::basic_string<wchar_t> > result_type;
Chris@16 144 result_type operator()(unused_type, Subject const& subject
Chris@16 145 , unused_type) const
Chris@16 146 {
Chris@16 147 return result_type(subject);
Chris@16 148 }
Chris@16 149 };
Chris@16 150
Chris@16 151 template <typename T, typename Subject, typename Modifiers>
Chris@16 152 struct make_directive<tag::stateful_tag<T, tag::as>, Subject, Modifiers>
Chris@16 153 {
Chris@16 154 typedef as_directive<Subject, T> result_type;
Chris@16 155 result_type operator()(unused_type, Subject const& subject
Chris@16 156 , unused_type) const
Chris@16 157 {
Chris@16 158 return result_type(subject);
Chris@16 159 }
Chris@16 160 };
Chris@16 161 }}}
Chris@16 162
Chris@16 163 namespace boost { namespace spirit { namespace traits
Chris@16 164 {
Chris@16 165 ///////////////////////////////////////////////////////////////////////////
Chris@16 166 template <typename Subject, typename T>
Chris@16 167 struct has_semantic_action<qi::as_directive<Subject, T> >
Chris@16 168 : unary_has_semantic_action<Subject> {};
Chris@16 169
Chris@16 170 ///////////////////////////////////////////////////////////////////////////
Chris@16 171 template <typename Subject, typename T, typename Attribute
Chris@16 172 , typename Context, typename Iterator>
Chris@16 173 struct handles_container<qi::as_directive<Subject, T>, Attribute
Chris@16 174 , Context, Iterator>
Chris@16 175 : mpl::false_ {};
Chris@16 176 }}}
Chris@16 177
Chris@16 178 #endif