123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259 |
- /*=============================================================================
- Copyright (c) 2001-2011 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 <string>
- #include <vector>
- #include <boost/detail/lightweight_test.hpp>
- #include <boost/utility/enable_if.hpp>
- #include <boost/spirit/include/qi_operator.hpp>
- #include <boost/spirit/include/qi_char.hpp>
- #include <boost/spirit/include/qi_string.hpp>
- #include <boost/spirit/include/qi_numeric.hpp>
- #include <boost/spirit/include/qi_directive.hpp>
- #include <boost/spirit/include/qi_action.hpp>
- #include <boost/spirit/include/support_argument.hpp>
- #include <boost/spirit/include/phoenix_core.hpp>
- #include <boost/spirit/include/phoenix_operator.hpp>
- #include <string>
- #include <iostream>
- #include "test.hpp"
- struct x_attr
- {
- };
- namespace boost { namespace spirit { namespace traits
- {
- template <>
- struct container_value<x_attr>
- {
- typedef char type; // value type of container
- };
- template <>
- struct push_back_container<x_attr, char>
- {
- static bool call(x_attr& /*c*/, char /*val*/)
- {
- // push back value type into container
- return true;
- }
- };
- }}}
- int
- main()
- {
- using spirit_test::test_attr;
- using spirit_test::test;
- using namespace boost::spirit::ascii;
- using boost::spirit::qi::repeat;
- using boost::spirit::qi::inf;
- using boost::spirit::qi::omit;
- using boost::spirit::qi::int_;
- using boost::spirit::qi::_1;
- using boost::spirit::qi::lexeme;
- {
- BOOST_TEST(test("aaaaaaaa", repeat[char_])); // kleene synonym
- BOOST_TEST(test("aaaaaaaa", repeat(8)[char_]));
- BOOST_TEST(!test("aa", repeat(3)[char_]));
- BOOST_TEST(test("aaa", repeat(3, 5)[char_]));
- BOOST_TEST(test("aaaaa", repeat(3, 5)[char_]));
- BOOST_TEST(!test("aaaaaa", repeat(3, 5)[char_]));
- BOOST_TEST(!test("aa", repeat(3, 5)[char_]));
- BOOST_TEST(test("aaa", repeat(3, inf)[char_]));
- BOOST_TEST(test("aaaaa", repeat(3, inf)[char_]));
- BOOST_TEST(test("aaaaaa", repeat(3, inf)[char_]));
- BOOST_TEST(!test("aa", repeat(3, inf)[char_]));
- }
- {
- std::string s;
- BOOST_TEST(test_attr("aaaaaaaa", repeat[char_ >> char_], s)); // kleene synonym
- BOOST_TEST(s == "aaaaaaaa");
- s.clear();
- BOOST_TEST(test_attr("aaaaaaaa", repeat(4)[char_ >> char_], s));
- BOOST_TEST(s == "aaaaaaaa");
- BOOST_TEST(!test("aa", repeat(3)[char_ >> char_]));
- BOOST_TEST(!test("a", repeat(1)[char_ >> char_]));
- s.clear();
- BOOST_TEST(test_attr("aa", repeat(1, 3)[char_ >> char_], s));
- BOOST_TEST(s == "aa");
- s.clear();
- BOOST_TEST(test_attr("aaaaaa", repeat(1, 3)[char_ >> char_], s));
- BOOST_TEST(s == "aaaaaa");
- BOOST_TEST(!test("aaaaaaa", repeat(1, 3)[char_ >> char_]));
- BOOST_TEST(!test("a", repeat(1, 3)[char_ >> char_]));
- s.clear();
- BOOST_TEST(test_attr("aaaa", repeat(2, inf)[char_ >> char_], s));
- BOOST_TEST(s == "aaaa");
- s.clear();
- BOOST_TEST(test_attr("aaaaaa", repeat(2, inf)[char_ >> char_], s));
- BOOST_TEST(s == "aaaaaa");
- BOOST_TEST(!test("aa", repeat(2, inf)[char_ >> char_]));
- }
- { // from classic spirit tests
- BOOST_TEST(test("", repeat(0, inf)['x']));
- // repeat exact 8
- #define rep8 repeat(8)[alpha] >> 'X'
- BOOST_TEST(!test("abcdefgX", rep8, false));
- BOOST_TEST(test("abcdefghX", rep8));
- BOOST_TEST(!test("abcdefghiX", rep8, false));
- BOOST_TEST(!test("abcdefgX", rep8, false));
- BOOST_TEST(!test("aX", rep8, false));
- // repeat 2 to 8
- #define rep28 repeat(2, 8)[alpha] >> '*'
- BOOST_TEST(test("abcdefg*", rep28));
- BOOST_TEST(test("abcdefgh*", rep28));
- BOOST_TEST(!test("abcdefghi*", rep28, false));
- BOOST_TEST(!test("a*", rep28, false));
- // repeat 2 or more
- #define rep2_ repeat(2, inf)[alpha] >> '+'
- BOOST_TEST(test("abcdefg+", rep2_));
- BOOST_TEST(test("abcdefgh+", rep2_));
- BOOST_TEST(test("abcdefghi+", rep2_));
- BOOST_TEST(test("abcdefg+", rep2_));
- BOOST_TEST(!test("a+", rep2_, false));
- // repeat 0
- #define rep0 repeat(0)[alpha] >> '/'
- BOOST_TEST(test("/", rep0));
- BOOST_TEST(!test("a/", rep0, false));
- // repeat 0 or 1
- #define rep01 repeat(0, 1)[alpha >> digit] >> '?'
- BOOST_TEST(!test("abcdefg?", rep01, false));
- BOOST_TEST(!test("a?", rep01, false));
- BOOST_TEST(!test("1?", rep01, false));
- BOOST_TEST(!test("11?", rep01, false));
- BOOST_TEST(!test("aa?", rep01, false));
- BOOST_TEST(test("?", rep01));
- BOOST_TEST(test("a1?", rep01));
- }
- {
- BOOST_TEST(test(" a a aaa aa", repeat(7)[char_], space));
- BOOST_TEST(test("12345 678 9", repeat(9)[digit], space));
- }
- {
- BOOST_TEST(test("aBcdeFGH", no_case[repeat(8)[lower]]));
- BOOST_TEST(test("a B cde FGH", no_case[repeat(8)[lower]], space));
- }
- {
- std::vector<std::string> v;
- BOOST_TEST(test_attr("a b c d", repeat(4)[lexeme[+alpha]], v, space) && 4 == v.size() &&
- v[0] == "a" && v[1] == "b" && v[2] == "c" && v[3] == "d");
- }
-
- {
- std::string s;
- BOOST_TEST(test_attr("bbbb", repeat(4)[char_], s) && s == "bbbb");
- s.clear();
- BOOST_TEST(test_attr("b b b b", repeat(4)[char_], s, space) && s == "bbbb");
- // The following 2 tests show that omit does not inhibit explicit attributes
- s.clear();
- BOOST_TEST(test_attr("bbbb", omit[repeat(4)[char_('b')]], s) && s == "bbbb");
- s.clear();
- BOOST_TEST(test_attr("b b b b", omit[repeat(4)[char_('b')]], s, space) && s == "bbbb");
- }
- {
- BOOST_TEST(test("1 2 3", int_ >> repeat(2)[int_], space));
- BOOST_TEST(!test("1 2", int_ >> repeat(2)[int_], space));
- }
- {
- std::vector<char> v;
- BOOST_TEST(test_attr("1 2 3", int_ >> repeat(2)[int_], v, space));
- BOOST_TEST(v.size() == 3 && v[0] == 1 && v[1] == 2 && v[2] == 3);
- BOOST_TEST(!test("1 2", int_ >> repeat(2)[int_], space));
- }
- { // actions
- namespace phx = boost::phoenix;
- std::vector<char> v;
- BOOST_TEST(test("bbbb", repeat(4)[char_][phx::ref(v) = _1]) && 4 == v.size() &&
- v[0] == 'b' && v[1] == 'b' && v[2] == 'b' && v[3] == 'b');
- }
- { // more actions
- namespace phx = boost::phoenix;
- std::vector<int> v;
- BOOST_TEST(test("123 456 789", repeat(3)[int_][phx::ref(v) = _1], space) && 3 == v.size() &&
- v[0] == 123 && v[1] == 456 && v[2] == 789);
- }
- { // lazy repeats
- using boost::phoenix::val;
- BOOST_TEST(test("aaaaaaaa", repeat(val(8))[char_]));
- BOOST_TEST(!test("aa", repeat(val(3))[char_]));
- BOOST_TEST(test("aaa", repeat(val(3), val(5))[char_]));
- BOOST_TEST(test("aaaaa", repeat(val(3), val(5))[char_]));
- BOOST_TEST(!test("aaaaaa", repeat(val(3), val(5))[char_]));
- BOOST_TEST(!test("aa", repeat(val(3), val(5))[char_]));
- BOOST_TEST(test("aaa", repeat(val(3), val(inf))[char_]));
- BOOST_TEST(test("aaaaa", repeat(val(3), val(inf))[char_]));
- BOOST_TEST(test("aaaaaa", repeat(val(3), val(inf))[char_]));
- BOOST_TEST(!test("aa", repeat(val(3), val(inf))[char_]));
- }
- { // more lazy repeats
- using boost::phoenix::val;
- BOOST_TEST(test("aaa", repeat(3, val(5))[char_]));
- BOOST_TEST(test("aaaaa", repeat(val(3), 5)[char_]));
- BOOST_TEST(!test("aaaaaa", repeat(3, val(5))[char_]));
- BOOST_TEST(!test("aa", repeat(val(3), 5)[char_]));
- //#warning "testcase commented out"
- BOOST_TEST(test("aaa", repeat(val(3), inf)[char_]));
- BOOST_TEST(test("aaaaa", repeat(3, val(inf))[char_]));
- BOOST_TEST(test("aaaaaa", repeat(val(3), inf)[char_]));
- BOOST_TEST(!test("aa", repeat(3, val(inf))[char_]));
- }
-
- { // attribute customization
-
- x_attr x;
- test_attr("abcde", repeat[char_], x);
- test_attr("abcde", repeat(5)[char_], x);
- test_attr("abcde", repeat(1, 5)[char_], x);
- test_attr("abcde", repeat(1, inf)[char_], x);
- }
- return boost::report_errors();
- }
|