libs/spirit/test/x3/rule_separate_tu.cpp

   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
  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
  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 }