1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
/*=============================================================================
Copyright (arg) 2001-2014 Joel de Guzman
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
=============================================================================*/
#if !defined(SPIRIT_ACTION_JANUARY_07_2007_1128AM)
#define SPIRIT_ACTION_JANUARY_07_2007_1128AM
#include <boost/spirit/home/x3/support/context.hpp>
#include <boost/spirit/home/x3/support/traits/attribute_of.hpp>
#include <boost/spirit/home/x3/support/traits/make_attribute.hpp>
#include <boost/spirit/home/x3/core/call.hpp>
#include <boost/spirit/home/x3/nonterminal/detail/transform_attribute.hpp>
#include <boost/range/iterator_range.hpp>
namespace boost { namespace spirit { namespace x3
{
struct raw_attribute_type;
struct parse_pass_context_tag;
template <typename Context>
inline bool& _pass(Context const& context)
{
return x3::get<parse_pass_context_tag>(context);
}
template <typename Subject, typename Action>
struct action : unary_parser<Subject, action<Subject, Action>>
{
typedef unary_parser<Subject, action<Subject, Action>> base_type;
static bool const is_pass_through_unary = true;
static bool const has_action = true;
action(Subject const& subject, Action f)
: base_type(subject), f(f) {}
template <typename Iterator, typename Context, typename RuleContext, typename Attribute>
bool call_action(
Iterator& first, Iterator const& last
, Context const& context, RuleContext& rcontext, Attribute& attr) const
{
bool pass = true;
auto action_context = make_context<parse_pass_context_tag>(pass, context);
call(f, first, last, action_context, rcontext, attr);
return pass;
}
template <typename Iterator, typename Context
, typename RuleContext, typename Attribute>
bool parse_main(Iterator& first, Iterator const& last
, Context const& context, RuleContext& rcontext, Attribute& attr) const
{
Iterator save = first;
if (this->subject.parse(first, last, context, rcontext, attr))
{
if (call_action(first, last, context, rcontext, attr))
return true;
// reset iterators if semantic action failed the match
// retrospectively
first = save;
}
return false;
}
// attr==raw_attribute_type, action wants iterator_range (see raw.hpp)
template <typename Iterator, typename Context, typename RuleContext>
bool parse_main(Iterator& first, Iterator const& last
, Context const& context, RuleContext& rcontext, raw_attribute_type&) const
{
boost::iterator_range<Iterator> rng;
// synthesize the attribute since one is not supplied
return parse_main(first, last, context, rcontext, rng);
}
// attr==unused, action wants attribute
template <typename Iterator, typename Context, typename RuleContext>
bool parse(Iterator& first, Iterator const& last
, Context const& context, RuleContext& rcontext, unused_type) const
{
typedef typename
traits::attribute_of<action<Subject, Action>, Context>::type
attribute_type;
typedef traits::make_attribute<attribute_type, unused_type> make_attribute;
typedef traits::transform_attribute<
typename make_attribute::type, attribute_type, parser_id>
transform;
// synthesize the attribute since one is not supplied
typename make_attribute::type made_attr = make_attribute::call(unused_type());
typename transform::type attr = transform::pre(made_attr);
return parse_main(first, last, context, rcontext, attr);
}
// main parse function
template <typename Iterator, typename Context
, typename RuleContext, typename Attribute>
bool parse(Iterator& first, Iterator const& last
, Context const& context, RuleContext& rcontext, Attribute& attr) const
{
return parse_main(first, last, context, rcontext, attr);
}
Action f;
};
template <typename P, typename Action>
inline action<typename extension::as_parser<P>::value_type, Action>
operator/(P const& p, Action f)
{
return { as_parser(p), f };
}
}}}
#endif
|