1 /*============================================================================= 2 Copyright (c) 2001-2011 Hartmut Kaiser 3 4 Distributed under the Boost Software License, Version 1.0. (See accompanying 5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) 6 =============================================================================*/ 7 #ifndef BOOST_SPIRIT_QI_DIRECTIVE_MATCHES_HPP 8 #define BOOST_SPIRIT_QI_DIRECTIVE_MATCHES_HPP 9 10 #if defined(_MSC_VER) 11 #pragma once 12 #endif 13 14 #include <boost/spirit/home/qi/meta_compiler.hpp> 15 #include <boost/spirit/home/qi/parser.hpp> 16 #include <boost/spirit/home/qi/detail/assign_to.hpp> 17 #include <boost/spirit/home/support/unused.hpp> 18 #include <boost/spirit/home/support/info.hpp> 19 #include <boost/spirit/home/support/common_terminals.hpp> 20 #include <boost/spirit/home/support/has_semantic_action.hpp> 21 #include <boost/spirit/home/support/handles_container.hpp> 22 23 namespace boost { namespace spirit 24 { 25 /////////////////////////////////////////////////////////////////////////// 26 // Enablers 27 /////////////////////////////////////////////////////////////////////////// 28 template <> 29 struct use_directive<qi::domain, tag::matches> // enables matches 30 : mpl::true_ {}; 31 }} 32 33 namespace boost { namespace spirit { namespace qi 34 { 35 #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS 36 using spirit::matches; 37 #endif 38 using spirit::matches_type; 39 40 /////////////////////////////////////////////////////////////////////////// 41 // matches_directive returns whether the embedded parser matched 42 /////////////////////////////////////////////////////////////////////////// 43 template <typename Subject> 44 struct matches_directive : unary_parser<matches_directive<Subject> > 45 { 46 typedef Subject subject_type; matches_directiveboost::spirit::qi::matches_directive47 matches_directive(Subject const& subject_) 48 : subject(subject_) {} 49 50 template <typename Context, typename Iterator> 51 struct attribute 52 { 53 typedef bool type; 54 }; 55 56 template <typename Iterator, typename Context 57 , typename Skipper, typename Attribute> parseboost::spirit::qi::matches_directive58 bool parse(Iterator& first, Iterator const& last 59 , Context& context, Skipper const& skipper, Attribute& attr_) const 60 { 61 bool result = subject.parse(first, last, context, skipper, unused); 62 spirit::traits::assign_to(result, attr_); 63 return true; 64 } 65 66 template <typename Context> whatboost::spirit::qi::matches_directive67 info what(Context& context) const 68 { 69 return info("matches", subject.what(context)); 70 } 71 72 Subject subject; 73 74 // silence MSVC warning C4512: assignment operator could not be generated 75 BOOST_DELETED_FUNCTION(matches_directive& operator= (matches_directive const&)) 76 }; 77 78 /////////////////////////////////////////////////////////////////////////// 79 // Parser generators: make_xxx function (objects) 80 /////////////////////////////////////////////////////////////////////////// 81 template <typename Subject, typename Modifiers> 82 struct make_directive<tag::matches, Subject, Modifiers> 83 { 84 typedef matches_directive<Subject> result_type; operator ()boost::spirit::qi::make_directive85 result_type operator()(unused_type, Subject const& subject, unused_type) const 86 { 87 return result_type(subject); 88 } 89 }; 90 }}} 91 92 namespace boost { namespace spirit { namespace traits 93 { 94 /////////////////////////////////////////////////////////////////////////// 95 template <typename Subject> 96 struct has_semantic_action<qi::matches_directive<Subject> > 97 : unary_has_semantic_action<Subject> {}; 98 99 /////////////////////////////////////////////////////////////////////////// 100 template <typename Subject, typename Attribute, typename Context 101 , typename Iterator> 102 struct handles_container<qi::matches_directive<Subject>, Attribute 103 , Context, Iterator> 104 : unary_handles_container<Subject, Attribute, Context, Iterator> {}; 105 }}} 106 107 #endif 108