spirit/test/x3/rule_separate_tu.cpp
Nikita Kniazev 10d027fd5c X3: Fix parse_rule definition check
Regressed in #457
2019-10-18 21:43:06 +03:00

72 lines
2.2 KiB
C++

/*=============================================================================
Copyright (c) 2019 Nikita Kniazev
Use, modification and distribution is subject to 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 "rule_separate_tu_grammar.hpp"
#include <boost/core/lightweight_test.hpp>
#include "test.hpp"
namespace sem_act {
namespace x3 = boost::spirit::x3;
auto nop = [](auto const&){};
x3::rule<class used_attr1_r, int> used_attr1;
auto const used_attr1_def = used_attr::grammar[nop];
BOOST_SPIRIT_DEFINE(used_attr1);
x3::rule<class used_attr2_r, int> used_attr2;
auto const used_attr2_def = unused_attr::grammar[nop];
BOOST_SPIRIT_DEFINE(used_attr2);
x3::rule<class unused_attr1_r> unused_attr1;
auto const unused_attr1_def = used_attr::grammar[nop];
BOOST_SPIRIT_DEFINE(unused_attr1);
x3::rule<class unused_attr2_r> unused_attr2;
auto const unused_attr2_def = unused_attr::grammar[nop];
BOOST_SPIRIT_DEFINE(unused_attr2);
}
int main()
{
using spirit_test::test;
using spirit_test::test_attr;
{
BOOST_TEST(test("*", unused_attr::skipper));
BOOST_TEST(test("#", unused_attr::skipper2));
BOOST_TEST(test("==", unused_attr::grammar));
BOOST_TEST(test("*=*=", unused_attr::grammar, unused_attr::skipper));
BOOST_TEST(test("#=#=", unused_attr::grammar, unused_attr::skipper2));
}
{
long i;
static_assert(!std::is_same<decltype(i), used_attr::grammar_type::attribute_type>::value,
"ensure we have instantiated the rule with a different attribute type");
BOOST_TEST(test_attr("123", used_attr::grammar, i));
BOOST_TEST_EQ(i, 123);
BOOST_TEST(test_attr(" 42", used_attr::grammar, i, used_attr::skipper));
BOOST_TEST_EQ(i, 42);
}
{
long i;
BOOST_TEST(test_attr("123", sem_act::used_attr1, i));
BOOST_TEST(test_attr("===", sem_act::used_attr2, i));
BOOST_TEST(test("123", sem_act::unused_attr1));
BOOST_TEST(test("===", sem_act::unused_attr2));
}
return boost::report_errors();
}