130 lines
3.6 KiB
C++
130 lines
3.6 KiB
C++
/*=============================================================================
|
|
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();
|
|
}
|