plus.cpp 6.9 KB

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