kleene.cpp 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244
  1. // Copyright (c) 2001-2011 Hartmut Kaiser
  2. //
  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. #include <boost/config/warning_disable.hpp>
  6. #include <boost/detail/lightweight_test.hpp>
  7. #include <boost/assign/std/vector.hpp>
  8. #include <boost/spirit/include/karma_char.hpp>
  9. #include <boost/spirit/include/karma_string.hpp>
  10. #include <boost/spirit/include/karma_numeric.hpp>
  11. #include <boost/spirit/include/karma_generate.hpp>
  12. #include <boost/spirit/include/karma_operator.hpp>
  13. #include <boost/spirit/include/karma_action.hpp>
  14. #include <boost/spirit/include/karma_nonterminal.hpp>
  15. #include <boost/spirit/include/karma_auxiliary.hpp>
  16. #include <boost/spirit/include/karma_directive.hpp>
  17. #include <boost/fusion/include/vector.hpp>
  18. #include <boost/spirit/include/phoenix_core.hpp>
  19. #include <boost/spirit/include/phoenix_operator.hpp>
  20. #include <boost/fusion/include/std_pair.hpp>
  21. #include <boost/assign/std/vector.hpp>
  22. #include "test.hpp"
  23. using namespace spirit_test;
  24. ///////////////////////////////////////////////////////////////////////////////
  25. struct action
  26. {
  27. action (std::vector<char>& vec)
  28. : vec(vec), it(vec.begin())
  29. {}
  30. void operator()(unsigned& value, boost::spirit::unused_type, bool& pass) const
  31. {
  32. pass = (it != vec.end());
  33. if (pass)
  34. value = *it++;
  35. }
  36. std::vector<char>& vec;
  37. mutable std::vector<char>::iterator it;
  38. };
  39. struct A
  40. {
  41. double d1;
  42. double d2;
  43. };
  44. BOOST_FUSION_ADAPT_STRUCT(
  45. A,
  46. (double, d1)
  47. (double, d2)
  48. )
  49. ///////////////////////////////////////////////////////////////////////////////
  50. int main()
  51. {
  52. using namespace boost::spirit;
  53. using namespace boost::spirit::ascii;
  54. namespace fusion = boost::fusion;
  55. {
  56. std::string s1("aaaa");
  57. BOOST_TEST(test("aaaa", *char_, s1));
  58. BOOST_TEST(test_delimited("a a a a ", *char_, s1, ' '));
  59. std::string s2("");
  60. BOOST_TEST(test("", *char_, s2));
  61. BOOST_TEST(test_delimited("", *char_, s2, ' '));
  62. }
  63. {
  64. std::string s1("aaaaa");
  65. BOOST_TEST(test("aaaaa", char_ << *(char_ << char_), s1));
  66. BOOST_TEST(test_delimited("a a a a a ",
  67. char_ << *(char_ << char_), s1, ' '));
  68. s1 = "a";
  69. BOOST_TEST(test("a", char_ << *(char_ << char_), s1));
  70. s1 = "aa";
  71. BOOST_TEST(!test("", char_ << *(char_ << char_), s1));
  72. // BOOST_TEST(test("aa", char_ << *buffer[char_ << char_] << char_, s1));
  73. s1 = "aaaa";
  74. BOOST_TEST(!test("", char_ << *(char_ << char_), s1));
  75. // BOOST_TEST(test("aaaa", char_ << *buffer[char_ << char_] << char_, s1));
  76. }
  77. {
  78. using boost::spirit::karma::strict;
  79. using boost::spirit::karma::relaxed;
  80. using namespace boost::assign;
  81. typedef std::pair<char, char> data;
  82. std::vector<data> v1;
  83. v1 += std::make_pair('a', 'a'),
  84. std::make_pair('b', 'b'),
  85. std::make_pair('c', 'c'),
  86. std::make_pair('d', 'd'),
  87. std::make_pair('e', 'e'),
  88. std::make_pair('f', 'f'),
  89. std::make_pair('g', 'g');
  90. karma::rule<spirit_test::output_iterator<char>::type, data()> r;
  91. r = &char_('a') << char_;
  92. BOOST_TEST(test("a", r << *(r << r), v1));
  93. BOOST_TEST(test("a", relaxed[r << *(r << r)], v1));
  94. BOOST_TEST(!test("", strict[r << *(r << r)], v1));
  95. v1 += std::make_pair('a', 'a');
  96. BOOST_TEST(!test("", r << *(r << r), v1));
  97. BOOST_TEST(!test("", relaxed[r << *(r << r)], v1));
  98. BOOST_TEST(!test("", strict[r << *(r << r)], v1));
  99. v1 += std::make_pair('a', 'a');
  100. BOOST_TEST(test("aaa", r << *(r << r), v1));
  101. BOOST_TEST(test("aaa", relaxed[r << *(r << r)], v1));
  102. BOOST_TEST(!test("", strict[r << *(r << r)], v1));
  103. }
  104. {
  105. using namespace boost::assign;
  106. std::vector<char> v;
  107. v += 'a', 'b', 'c';
  108. BOOST_TEST(test("abc", *char_, v));
  109. BOOST_TEST(test_delimited("a b c ", *char_, v, ' '));
  110. }
  111. {
  112. using namespace boost::assign;
  113. std::vector<int> v;
  114. v += 10, 20, 30;
  115. BOOST_TEST(test("102030", *int_, v));
  116. BOOST_TEST(test_delimited("10, 20, 30, ", *int_, v, lit(", ")));
  117. BOOST_TEST(test("10,20,30,", *(int_ << ','), v));
  118. BOOST_TEST(test_delimited("10 , 20 , 30 , ", *(int_ << ','), v, lit(' ')));
  119. // leads to infinite loops
  120. // fusion::vector<char, char> cc ('a', 'c');
  121. // BOOST_TEST(test("ac", char_ << *(lit(' ') << ',') << char_, cc));
  122. // BOOST_TEST(test_delimited("a c ",
  123. // char_ << *(lit(' ') << ',') << char_, cc, " "));
  124. }
  125. { // actions
  126. using namespace boost::assign;
  127. namespace phx = boost::phoenix;
  128. std::vector<char> v;
  129. v += 'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h';
  130. BOOST_TEST(test("abcdefgh", (*char_)[_1 = phx::ref(v)]));
  131. BOOST_TEST(test_delimited("a b c d e f g h ",
  132. (*char_ )[_1 = phx::ref(v)], space));
  133. }
  134. // failing sub-generators
  135. {
  136. using boost::spirit::karma::strict;
  137. using boost::spirit::karma::relaxed;
  138. using namespace boost::assign;
  139. typedef std::pair<char, char> data;
  140. std::vector<data> v2;
  141. v2 += std::make_pair('a', 'a'),
  142. std::make_pair('b', 'b'),
  143. std::make_pair('c', 'c'),
  144. std::make_pair('d', 'd'),
  145. std::make_pair('e', 'e'),
  146. std::make_pair('f', 'f'),
  147. std::make_pair('g', 'g');
  148. karma::rule<spirit_test::output_iterator<char>::type, data()> r;
  149. r = &char_('d') << char_;
  150. BOOST_TEST(test("d", *r, v2));
  151. BOOST_TEST(test("d", relaxed[*r], v2));
  152. BOOST_TEST(test("", strict[*r], v2));
  153. r = &char_('a') << char_;
  154. BOOST_TEST(test("a", *r, v2));
  155. BOOST_TEST(test("a", relaxed[*r], v2));
  156. BOOST_TEST(test("a", strict[*r], v2));
  157. r = &char_('g') << char_;
  158. BOOST_TEST(test("g", *r, v2));
  159. BOOST_TEST(test("g", relaxed[*r], v2));
  160. BOOST_TEST(test("", strict[*r], v2));
  161. r = !char_('d') << char_;
  162. BOOST_TEST(test("abcefg", *r, v2));
  163. BOOST_TEST(test("abcefg", relaxed[*r], v2));
  164. BOOST_TEST(test("abc", strict[*r], v2));
  165. r = !char_('a') << char_;
  166. BOOST_TEST(test("bcdefg", *r, v2));
  167. BOOST_TEST(test("bcdefg", relaxed[*r], v2));
  168. BOOST_TEST(test("", strict[*r], v2));
  169. r = !char_('g') << char_;
  170. BOOST_TEST(test("abcdef", *r, v2));
  171. BOOST_TEST(test("abcdef", relaxed[*r], v2));
  172. BOOST_TEST(test("abcdef", strict[*r], v2));
  173. r = &char_('A') << char_;
  174. BOOST_TEST(test("", *r, v2));
  175. }
  176. {
  177. // make sure user defined end condition is applied if no attribute
  178. // is passed in
  179. using namespace boost::assign;
  180. std::vector<char> v;
  181. v += 'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h';
  182. BOOST_TEST(test("[6162636465666768]", '[' << *hex[action(v)] << ']'));
  183. }
  184. {
  185. using boost::spirit::karma::double_;
  186. std::vector<A> v(1);
  187. v[0].d1 = 1.0;
  188. v[0].d2 = 2.0;
  189. BOOST_TEST(test("A1.02.0", 'A' << *(double_ << double_), v));
  190. }
  191. return boost::report_errors();
  192. }