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
|
/*=============================================================================
Copyright (c) 2001-2015 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)
=============================================================================*/
#include <boost/detail/lightweight_test.hpp>
#include <boost/spirit/home/x3.hpp>
#include <cstring>
#include <functional>
#include "test.hpp"
namespace x3 = boost::spirit::x3;
int x = 0;
auto fun1 =
[](auto& ctx)
{
x += x3::_attr(ctx);
}
;
struct fun_action
{
template <typename Context>
void operator()(Context const& ctx) const
{
x += x3::_attr(ctx);
}
};
auto fail =
[](auto& ctx)
{
x3::_pass(ctx) = false;
}
;
struct setnext
{
setnext(char& next) : next(next) {}
template <typename Context>
void operator()(Context const& ctx) const
{
next = x3::_attr(ctx);
}
char& next;
};
struct stationary : boost::noncopyable
{
explicit stationary(int i) : val{i} {}
stationary& operator=(int i) { val = i; return *this; }
int val;
};
int main()
{
using spirit_test::test;
using spirit_test::test_attr;
using x3::int_;
{
char const *s1 = "{42}", *e1 = s1 + std::strlen(s1);
x3::parse(s1, e1, '{' >> int_[fun1] >> '}');
}
{
char const *s1 = "{42}", *e1 = s1 + std::strlen(s1);
x3::parse(s1, e1, '{' >> int_[fun_action()] >> '}');
}
{
using namespace std::placeholders;
char const *s1 = "{42}", *e1 = s1 + std::strlen(s1);
x3::parse(s1, e1, '{' >> int_[std::bind(fun_action(), _1)] >> '}');
}
BOOST_TEST(x == (42*3));
{
std::string input("1234 6543");
char next = '\0';
BOOST_TEST(x3::phrase_parse(input.begin(), input.end(),
x3::int_[fail] | x3::digit[setnext(next)], x3::space));
BOOST_TEST(next == '1');
}
{ // ensure no unneded synthesization, copying and moving occured
auto p = '{' >> int_ >> '}';
stationary st { 0 };
BOOST_TEST(test_attr("{42}", p[([]{})], st));
BOOST_TEST_EQ(st.val, 42);
}
return boost::report_errors();
}
|
