1 /*=============================================================================
2 Copyright (c) 2019 Nikita Kniazev
3
4 Use, modification and distribution is subject to the Boost Software
5 License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
6 http://www.boost.org/LICENSE_1_0.txt)
7 =============================================================================*/
8
9 #include "rule_separate_tu_grammar.hpp"
10
11 #include <boost/core/lightweight_test.hpp>
12
13 #include "test.hpp"
14
15 namespace sem_act {
16
17 namespace x3 = boost::spirit::x3;
18
__anonc465f64a0102(auto const&)19 auto nop = [](auto const&){};
20
21 x3::rule<class used_attr1_r, int> used_attr1;
22 auto const used_attr1_def = used_attr::grammar[nop];
23 BOOST_SPIRIT_DEFINE(used_attr1);
24
25 x3::rule<class used_attr2_r, int> used_attr2;
26 auto const used_attr2_def = unused_attr::grammar[nop];
27 BOOST_SPIRIT_DEFINE(used_attr2);
28
29 x3::rule<class unused_attr1_r> unused_attr1;
30 auto const unused_attr1_def = used_attr::grammar[nop];
31 BOOST_SPIRIT_DEFINE(unused_attr1);
32
33 x3::rule<class unused_attr2_r> unused_attr2;
34 auto const unused_attr2_def = unused_attr::grammar[nop];
35 BOOST_SPIRIT_DEFINE(unused_attr2);
36
37 }
38
main()39 int main()
40 {
41 using spirit_test::test;
42 using spirit_test::test_attr;
43
44 {
45 BOOST_TEST(test("*", unused_attr::skipper));
46 BOOST_TEST(test("#", unused_attr::skipper2));
47 BOOST_TEST(test("==", unused_attr::grammar));
48 BOOST_TEST(test("*=*=", unused_attr::grammar, unused_attr::skipper));
49 BOOST_TEST(test("#=#=", unused_attr::grammar, unused_attr::skipper2));
50 }
51
52 {
53 long i;
54 static_assert(!std::is_same<decltype(i), used_attr::grammar_type::attribute_type>::value,
55 "ensure we have instantiated the rule with a different attribute type");
56 BOOST_TEST(test_attr("123", used_attr::grammar, i));
57 BOOST_TEST_EQ(i, 123);
58 BOOST_TEST(test_attr(" 42", used_attr::grammar, i, used_attr::skipper));
59 BOOST_TEST_EQ(i, 42);
60 }
61
62 {
63 long i;
64 BOOST_TEST(test_attr("123", sem_act::used_attr1, i));
65 BOOST_TEST(test_attr("===", sem_act::used_attr2, i));
66 BOOST_TEST(test("123", sem_act::unused_attr1));
67 BOOST_TEST(test("===", sem_act::unused_attr2));
68 }
69
70 return boost::report_errors();
71 }
72