third_party/boost/spirit/test/x3/rule_separate_tu.cpp

/*=============================================================================
    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();
}