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
23namespace 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
33namespace 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;
47 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>
58 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>
67 info what(Context& context) const
68 {
69 return info("matches", subject.what(context));
70 }
71
72 Subject subject;
73 };
74
75 ///////////////////////////////////////////////////////////////////////////
76 // Parser generators: make_xxx function (objects)
77 ///////////////////////////////////////////////////////////////////////////
78 template <typename Subject, typename Modifiers>
79 struct make_directive<tag::matches, Subject, Modifiers>
80 {
81 typedef matches_directive<Subject> result_type;
82 result_type operator()(unused_type, Subject const& subject, unused_type) const
83 {
84 return result_type(subject);
85 }
86 };
87}}}
88
89namespace boost { namespace spirit { namespace traits
90{
91 ///////////////////////////////////////////////////////////////////////////
92 template <typename Subject>
93 struct has_semantic_action<qi::matches_directive<Subject> >
94 : unary_has_semantic_action<Subject> {};
95
96 ///////////////////////////////////////////////////////////////////////////
97 template <typename Subject, typename Attribute, typename Context
98 , typename Iterator>
99 struct handles_container<qi::matches_directive<Subject>, Attribute
100 , Context, Iterator>
101 : unary_handles_container<Subject, Attribute, Context, Iterator> {};
102}}}
103
104#endif
105

source code of boost/libs/spirit/include/boost/spirit/home/qi/directive/matches.hpp