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
|
/*=============================================================================
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 <boost/fusion/include/vector.hpp>
#include <boost/fusion/include/at.hpp>
#include <string>
#include <iostream>
#include "test.hpp"
int
main()
{
using namespace boost::spirit::x3::ascii;
using boost::spirit::x3::omit;
using boost::spirit::x3::unused_type;
using boost::spirit::x3::unused;
using boost::spirit::x3::int_;
using boost::fusion::vector;
using boost::fusion::at_c;
using spirit_test::test;
using spirit_test::test_attr;
{
BOOST_TEST(test("a", omit['a']));
}
{
// omit[] means we don't receive the attribute
char attr;
BOOST_TEST((test_attr("abc", omit[char_] >> omit['b'] >> char_, attr)));
BOOST_TEST((attr == 'c'));
}
{
// If all elements except 1 is omitted, the attribute is
// a single-element sequence. For this case alone, we allow
// naked attributes (unwrapped in a fusion sequence).
char attr;
BOOST_TEST((test_attr("abc", omit[char_] >> 'b' >> char_, attr)));
BOOST_TEST((attr == 'c'));
}
{
// omit[] means we don't receive the attribute
vector<> attr;
BOOST_TEST((test_attr("abc", omit[char_] >> omit['b'] >> omit[char_], attr)));
}
{
// omit[] means we don't receive the attribute
// this test is merely a compile test, because using a unused as the
// explicit attribute doesn't make any sense
unused_type attr;
BOOST_TEST((test_attr("abc", omit[char_ >> 'b' >> char_], attr)));
}
{
// omit[] means we don't receive the attribute, if all elements of a
// sequence have unused attributes, the whole sequence has an unused
// attribute as well
vector<char, char> attr;
BOOST_TEST((test_attr("abcde",
char_ >> (omit[char_] >> omit['c'] >> omit[char_]) >> char_, attr)));
BOOST_TEST((at_c<0>(attr) == 'a'));
BOOST_TEST((at_c<1>(attr) == 'e'));
}
{
// "hello" has an unused_type. unused attrubutes are not part of the sequence
vector<char, char> attr;
BOOST_TEST((test_attr("a hello c", char_ >> "hello" >> char_, attr, space)));
BOOST_TEST((at_c<0>(attr) == 'a'));
BOOST_TEST((at_c<1>(attr) == 'c'));
}
{
// if only one node in a sequence is left (all the others are omitted),
// then we need "naked" attributes (not wraped in a tuple)
int attr;
BOOST_TEST((test_attr("a 123 c", omit['a'] >> int_ >> omit['c'], attr, space)));
BOOST_TEST((attr == 123));
}
{
// unused means we don't care about the attribute
BOOST_TEST((test_attr("abc", char_ >> 'b' >> char_, unused)));
}
{ // test action with omitted attribute
char c = 0;
auto f = [&](auto& ctx){ c = _attr(ctx); };
BOOST_TEST(test("x123\"a string\"", (char_ >> omit[int_] >> "\"a string\"")[f]));
BOOST_TEST(c == 'x');
}
{ // test action with omitted attribute
int n = 0;
auto f = [&](auto& ctx){ n = _attr(ctx); };
BOOST_TEST(test("x 123 \"a string\"", (omit[char_] >> int_ >> "\"a string\"")[f], space));
BOOST_TEST(n == 123);
}
return boost::report_errors();
}
|
