123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129 |
- /*=============================================================================
- 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 <string>
- #include <cstring>
- #include <iostream>
- #include "test.hpp"
- int
- main()
- {
- using spirit_test::test_attr;
- using spirit_test::test;
- using namespace boost::spirit::x3::ascii;
- using boost::spirit::x3::rule;
- using boost::spirit::x3::lit;
- using boost::spirit::x3::int_;
- using boost::spirit::x3::unused_type;
- using boost::spirit::x3::phrase_parse;
- using boost::spirit::x3::skip_flag;
- using boost::spirit::x3::traits::has_attribute;
- // check attribute advertising
- static_assert( has_attribute<rule<class r, int>, /*Context=*/unused_type>::value, "");
- static_assert(!has_attribute<rule<class r >, /*Context=*/unused_type>::value, "");
- static_assert( has_attribute<decltype(rule<class r, int>{} = int_), /*Context=*/unused_type>::value, "");
- static_assert(!has_attribute<decltype(rule<class r >{} = int_), /*Context=*/unused_type>::value, "");
- { // basic tests
- auto a = lit('a');
- auto b = lit('b');
- auto c = lit('c');
- rule<class r> r;
- {
- auto start =
- r = *(a | b | c);
- BOOST_TEST(test("abcabcacb", start));
- }
- {
- auto start =
- r = (a | b) >> (r | b);
- BOOST_TEST(test("aaaabababaaabbb", start));
- BOOST_TEST(test("aaaabababaaabba", start, false));
- // ignore the skipper!
- BOOST_TEST(test("aaaabababaaabba", start, space, false));
- }
- }
- { // basic tests w/ skipper
- auto a = lit('a');
- auto b = lit('b');
- auto c = lit('c');
- rule<class r> r;
- {
- auto start =
- r = *(a | b | c);
- BOOST_TEST(test(" a b c a b c a c b ", start, space));
- }
- {
- auto start =
- r = (a | b) >> (r | b);
- BOOST_TEST(test(" a a a a b a b a b a a a b b b ", start, space));
- BOOST_TEST(test(" a a a a b a b a b a a a b b a ", start, space, false));
- }
- }
- { // basic tests w/ skipper but no final post-skip
- auto a = rule<class a>()
- = lit('a');
- auto b = rule<class b>()
- = lit('b');
- auto c = rule<class c>()
- = lit('c');
- {
- auto start = rule<class start>() = *(a | b) >> c;
- char const *s1 = " a b a a b b a c ... "
- , *const e1 = s1 + std::strlen(s1);
- BOOST_TEST(phrase_parse(s1, e1, start, space, skip_flag::dont_post_skip)
- && s1 == e1 - 5);
- }
- {
- rule<class start> start;
- auto p =
- start = (a | b) >> (start | c);
- {
- char const *s1 = " a a a a b a b a b a a a b b b c "
- , *const e1 = s1 + std::strlen(s1);
- BOOST_TEST(phrase_parse(s1, e1, p, space, skip_flag::post_skip)
- && s1 == e1);
- }
- {
- char const *s1 = " a a a a b a b a b a a a b b b c "
- , *const e1 = s1 + std::strlen(s1);
- BOOST_TEST(phrase_parse(s1, e1, p, space, skip_flag::dont_post_skip)
- && s1 == e1 - 1);
- }
- }
- }
- return boost::report_errors();
- }
|