repeat.cpp 8.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259
  1. /*=============================================================================
  2. Copyright (c) 2001-2011 Joel de Guzman
  3. Distributed under the Boost Software License, Version 1.0. (See accompanying
  4. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. =============================================================================*/
  6. #include <string>
  7. #include <vector>
  8. #include <boost/detail/lightweight_test.hpp>
  9. #include <boost/utility/enable_if.hpp>
  10. #include <boost/spirit/include/qi_operator.hpp>
  11. #include <boost/spirit/include/qi_char.hpp>
  12. #include <boost/spirit/include/qi_string.hpp>
  13. #include <boost/spirit/include/qi_numeric.hpp>
  14. #include <boost/spirit/include/qi_directive.hpp>
  15. #include <boost/spirit/include/qi_action.hpp>
  16. #include <boost/spirit/include/support_argument.hpp>
  17. #include <boost/spirit/include/phoenix_core.hpp>
  18. #include <boost/spirit/include/phoenix_operator.hpp>
  19. #include <string>
  20. #include <iostream>
  21. #include "test.hpp"
  22. struct x_attr
  23. {
  24. };
  25. namespace boost { namespace spirit { namespace traits
  26. {
  27. template <>
  28. struct container_value<x_attr>
  29. {
  30. typedef char type; // value type of container
  31. };
  32. template <>
  33. struct push_back_container<x_attr, char>
  34. {
  35. static bool call(x_attr& /*c*/, char /*val*/)
  36. {
  37. // push back value type into container
  38. return true;
  39. }
  40. };
  41. }}}
  42. int
  43. main()
  44. {
  45. using spirit_test::test_attr;
  46. using spirit_test::test;
  47. using namespace boost::spirit::ascii;
  48. using boost::spirit::qi::repeat;
  49. using boost::spirit::qi::inf;
  50. using boost::spirit::qi::omit;
  51. using boost::spirit::qi::int_;
  52. using boost::spirit::qi::_1;
  53. using boost::spirit::qi::lexeme;
  54. {
  55. BOOST_TEST(test("aaaaaaaa", repeat[char_])); // kleene synonym
  56. BOOST_TEST(test("aaaaaaaa", repeat(8)[char_]));
  57. BOOST_TEST(!test("aa", repeat(3)[char_]));
  58. BOOST_TEST(test("aaa", repeat(3, 5)[char_]));
  59. BOOST_TEST(test("aaaaa", repeat(3, 5)[char_]));
  60. BOOST_TEST(!test("aaaaaa", repeat(3, 5)[char_]));
  61. BOOST_TEST(!test("aa", repeat(3, 5)[char_]));
  62. BOOST_TEST(test("aaa", repeat(3, inf)[char_]));
  63. BOOST_TEST(test("aaaaa", repeat(3, inf)[char_]));
  64. BOOST_TEST(test("aaaaaa", repeat(3, inf)[char_]));
  65. BOOST_TEST(!test("aa", repeat(3, inf)[char_]));
  66. }
  67. {
  68. std::string s;
  69. BOOST_TEST(test_attr("aaaaaaaa", repeat[char_ >> char_], s)); // kleene synonym
  70. BOOST_TEST(s == "aaaaaaaa");
  71. s.clear();
  72. BOOST_TEST(test_attr("aaaaaaaa", repeat(4)[char_ >> char_], s));
  73. BOOST_TEST(s == "aaaaaaaa");
  74. BOOST_TEST(!test("aa", repeat(3)[char_ >> char_]));
  75. BOOST_TEST(!test("a", repeat(1)[char_ >> char_]));
  76. s.clear();
  77. BOOST_TEST(test_attr("aa", repeat(1, 3)[char_ >> char_], s));
  78. BOOST_TEST(s == "aa");
  79. s.clear();
  80. BOOST_TEST(test_attr("aaaaaa", repeat(1, 3)[char_ >> char_], s));
  81. BOOST_TEST(s == "aaaaaa");
  82. BOOST_TEST(!test("aaaaaaa", repeat(1, 3)[char_ >> char_]));
  83. BOOST_TEST(!test("a", repeat(1, 3)[char_ >> char_]));
  84. s.clear();
  85. BOOST_TEST(test_attr("aaaa", repeat(2, inf)[char_ >> char_], s));
  86. BOOST_TEST(s == "aaaa");
  87. s.clear();
  88. BOOST_TEST(test_attr("aaaaaa", repeat(2, inf)[char_ >> char_], s));
  89. BOOST_TEST(s == "aaaaaa");
  90. BOOST_TEST(!test("aa", repeat(2, inf)[char_ >> char_]));
  91. }
  92. { // from classic spirit tests
  93. BOOST_TEST(test("", repeat(0, inf)['x']));
  94. // repeat exact 8
  95. #define rep8 repeat(8)[alpha] >> 'X'
  96. BOOST_TEST(!test("abcdefgX", rep8, false));
  97. BOOST_TEST(test("abcdefghX", rep8));
  98. BOOST_TEST(!test("abcdefghiX", rep8, false));
  99. BOOST_TEST(!test("abcdefgX", rep8, false));
  100. BOOST_TEST(!test("aX", rep8, false));
  101. // repeat 2 to 8
  102. #define rep28 repeat(2, 8)[alpha] >> '*'
  103. BOOST_TEST(test("abcdefg*", rep28));
  104. BOOST_TEST(test("abcdefgh*", rep28));
  105. BOOST_TEST(!test("abcdefghi*", rep28, false));
  106. BOOST_TEST(!test("a*", rep28, false));
  107. // repeat 2 or more
  108. #define rep2_ repeat(2, inf)[alpha] >> '+'
  109. BOOST_TEST(test("abcdefg+", rep2_));
  110. BOOST_TEST(test("abcdefgh+", rep2_));
  111. BOOST_TEST(test("abcdefghi+", rep2_));
  112. BOOST_TEST(test("abcdefg+", rep2_));
  113. BOOST_TEST(!test("a+", rep2_, false));
  114. // repeat 0
  115. #define rep0 repeat(0)[alpha] >> '/'
  116. BOOST_TEST(test("/", rep0));
  117. BOOST_TEST(!test("a/", rep0, false));
  118. // repeat 0 or 1
  119. #define rep01 repeat(0, 1)[alpha >> digit] >> '?'
  120. BOOST_TEST(!test("abcdefg?", rep01, false));
  121. BOOST_TEST(!test("a?", rep01, false));
  122. BOOST_TEST(!test("1?", rep01, false));
  123. BOOST_TEST(!test("11?", rep01, false));
  124. BOOST_TEST(!test("aa?", rep01, false));
  125. BOOST_TEST(test("?", rep01));
  126. BOOST_TEST(test("a1?", rep01));
  127. }
  128. {
  129. BOOST_TEST(test(" a a aaa aa", repeat(7)[char_], space));
  130. BOOST_TEST(test("12345 678 9", repeat(9)[digit], space));
  131. }
  132. {
  133. BOOST_TEST(test("aBcdeFGH", no_case[repeat(8)[lower]]));
  134. BOOST_TEST(test("a B cde FGH", no_case[repeat(8)[lower]], space));
  135. }
  136. {
  137. std::vector<std::string> v;
  138. BOOST_TEST(test_attr("a b c d", repeat(4)[lexeme[+alpha]], v, space) && 4 == v.size() &&
  139. v[0] == "a" && v[1] == "b" && v[2] == "c" && v[3] == "d");
  140. }
  141. {
  142. std::string s;
  143. BOOST_TEST(test_attr("bbbb", repeat(4)[char_], s) && s == "bbbb");
  144. s.clear();
  145. BOOST_TEST(test_attr("b b b b", repeat(4)[char_], s, space) && s == "bbbb");
  146. // The following 2 tests show that omit does not inhibit explicit attributes
  147. s.clear();
  148. BOOST_TEST(test_attr("bbbb", omit[repeat(4)[char_('b')]], s) && s == "bbbb");
  149. s.clear();
  150. BOOST_TEST(test_attr("b b b b", omit[repeat(4)[char_('b')]], s, space) && s == "bbbb");
  151. }
  152. {
  153. BOOST_TEST(test("1 2 3", int_ >> repeat(2)[int_], space));
  154. BOOST_TEST(!test("1 2", int_ >> repeat(2)[int_], space));
  155. }
  156. {
  157. std::vector<char> v;
  158. BOOST_TEST(test_attr("1 2 3", int_ >> repeat(2)[int_], v, space));
  159. BOOST_TEST(v.size() == 3 && v[0] == 1 && v[1] == 2 && v[2] == 3);
  160. BOOST_TEST(!test("1 2", int_ >> repeat(2)[int_], space));
  161. }
  162. { // actions
  163. namespace phx = boost::phoenix;
  164. std::vector<char> v;
  165. BOOST_TEST(test("bbbb", repeat(4)[char_][phx::ref(v) = _1]) && 4 == v.size() &&
  166. v[0] == 'b' && v[1] == 'b' && v[2] == 'b' && v[3] == 'b');
  167. }
  168. { // more actions
  169. namespace phx = boost::phoenix;
  170. std::vector<int> v;
  171. BOOST_TEST(test("123 456 789", repeat(3)[int_][phx::ref(v) = _1], space) && 3 == v.size() &&
  172. v[0] == 123 && v[1] == 456 && v[2] == 789);
  173. }
  174. { // lazy repeats
  175. using boost::phoenix::val;
  176. BOOST_TEST(test("aaaaaaaa", repeat(val(8))[char_]));
  177. BOOST_TEST(!test("aa", repeat(val(3))[char_]));
  178. BOOST_TEST(test("aaa", repeat(val(3), val(5))[char_]));
  179. BOOST_TEST(test("aaaaa", repeat(val(3), val(5))[char_]));
  180. BOOST_TEST(!test("aaaaaa", repeat(val(3), val(5))[char_]));
  181. BOOST_TEST(!test("aa", repeat(val(3), val(5))[char_]));
  182. BOOST_TEST(test("aaa", repeat(val(3), val(inf))[char_]));
  183. BOOST_TEST(test("aaaaa", repeat(val(3), val(inf))[char_]));
  184. BOOST_TEST(test("aaaaaa", repeat(val(3), val(inf))[char_]));
  185. BOOST_TEST(!test("aa", repeat(val(3), val(inf))[char_]));
  186. }
  187. { // more lazy repeats
  188. using boost::phoenix::val;
  189. BOOST_TEST(test("aaa", repeat(3, val(5))[char_]));
  190. BOOST_TEST(test("aaaaa", repeat(val(3), 5)[char_]));
  191. BOOST_TEST(!test("aaaaaa", repeat(3, val(5))[char_]));
  192. BOOST_TEST(!test("aa", repeat(val(3), 5)[char_]));
  193. //#warning "testcase commented out"
  194. BOOST_TEST(test("aaa", repeat(val(3), inf)[char_]));
  195. BOOST_TEST(test("aaaaa", repeat(3, val(inf))[char_]));
  196. BOOST_TEST(test("aaaaaa", repeat(val(3), inf)[char_]));
  197. BOOST_TEST(!test("aa", repeat(3, val(inf))[char_]));
  198. }
  199. { // attribute customization
  200. x_attr x;
  201. test_attr("abcde", repeat[char_], x);
  202. test_attr("abcde", repeat(5)[char_], x);
  203. test_attr("abcde", repeat(1, 5)[char_], x);
  204. test_attr("abcde", repeat(1, inf)[char_], x);
  205. }
  206. return boost::report_errors();
  207. }