permutation.cpp 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129
  1. /*=============================================================================
  2. Copyright (c) 2001-2010 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 <boost/detail/lightweight_test.hpp>
  7. #include <boost/spirit/include/qi_operator.hpp>
  8. #include <boost/spirit/include/qi_char.hpp>
  9. #include <boost/spirit/include/qi_string.hpp>
  10. #include <boost/spirit/include/qi_numeric.hpp>
  11. #include <boost/spirit/include/qi_action.hpp>
  12. #include <boost/spirit/include/qi_nonterminal.hpp>
  13. #include <boost/spirit/include/support_argument.hpp>
  14. #include <boost/fusion/include/vector.hpp>
  15. #include <boost/fusion/include/at.hpp>
  16. #include <boost/spirit/include/phoenix_core.hpp>
  17. #include <boost/spirit/include/phoenix_operator.hpp>
  18. #include <boost/optional.hpp>
  19. #include <string>
  20. #include <iostream>
  21. #include "test.hpp"
  22. using namespace spirit_test;
  23. int
  24. main()
  25. {
  26. using boost::spirit::qi::int_;
  27. using boost::spirit::qi::_1;
  28. using boost::spirit::qi::_2;
  29. using boost::spirit::qi::rule;
  30. using boost::spirit::ascii::alpha;
  31. using boost::spirit::ascii::char_;
  32. using boost::fusion::vector;
  33. using boost::fusion::at_c;
  34. using boost::optional;
  35. {
  36. BOOST_TEST((test("a", char_('a') ^ char_('b') ^ char_('c'))));
  37. BOOST_TEST((test("b", char_('a') ^ char_('b') ^ char_('c'))));
  38. BOOST_TEST((test("ab", char_('a') ^ char_('b') ^ char_('c'))));
  39. BOOST_TEST((test("ba", char_('a') ^ char_('b') ^ char_('c'))));
  40. BOOST_TEST((test("abc", char_('a') ^ char_('b') ^ char_('c'))));
  41. BOOST_TEST((test("acb", char_('a') ^ char_('b') ^ char_('c'))));
  42. BOOST_TEST((test("bca", char_('a') ^ char_('b') ^ char_('c'))));
  43. BOOST_TEST((test("bac", char_('a') ^ char_('b') ^ char_('c'))));
  44. BOOST_TEST((test("cab", char_('a') ^ char_('b') ^ char_('c'))));
  45. BOOST_TEST((test("cba", char_('a') ^ char_('b') ^ char_('c'))));
  46. BOOST_TEST((!test("cca", char_('a') ^ char_('b') ^ char_('c'))));
  47. }
  48. { // test optional must stay uninitialized
  49. optional<int> i;
  50. BOOST_TEST((test_attr("", -int_ ^ int_, i)));
  51. BOOST_TEST(!i);
  52. }
  53. {
  54. vector<optional<int>, optional<char> > attr;
  55. BOOST_TEST((test_attr("a", int_ ^ alpha, attr)));
  56. BOOST_TEST((!at_c<0>(attr)));
  57. BOOST_TEST((at_c<1>(attr).get() == 'a'));
  58. at_c<1>(attr) = optional<char>(); // clear the optional
  59. BOOST_TEST((test_attr("123", int_ ^ alpha, attr)));
  60. BOOST_TEST((at_c<0>(attr).get() == 123));
  61. BOOST_TEST((!at_c<1>(attr)));
  62. at_c<0>(attr) = optional<int>(); // clear the optional
  63. BOOST_TEST((test_attr("123a", int_ ^ alpha, attr)));
  64. BOOST_TEST((at_c<0>(attr).get() == 123));
  65. BOOST_TEST((at_c<1>(attr).get() == 'a'));
  66. at_c<0>(attr) = optional<int>(); // clear the optional
  67. at_c<1>(attr) = optional<char>(); // clear the optional
  68. BOOST_TEST((test_attr("a123", int_ ^ alpha, attr)));
  69. BOOST_TEST((at_c<0>(attr).get() == 123));
  70. BOOST_TEST((at_c<1>(attr).get() == 'a'));
  71. }
  72. { // test action
  73. using namespace boost::phoenix;
  74. namespace phx = boost::phoenix;
  75. optional<int> i;
  76. optional<char> c;
  77. BOOST_TEST((test("123a", (int_ ^ alpha)[phx::ref(i) = _1, phx::ref(c) = _2])));
  78. BOOST_TEST((i.get() == 123));
  79. BOOST_TEST((c.get() == 'a'));
  80. }
  81. { // test rule %=
  82. typedef vector<optional<int>, optional<char> > attr_type;
  83. attr_type attr;
  84. rule<char const*, attr_type()> r;
  85. r %= int_ ^ alpha;
  86. BOOST_TEST((test_attr("a", r, attr)));
  87. BOOST_TEST((!at_c<0>(attr)));
  88. BOOST_TEST((at_c<1>(attr).get() == 'a'));
  89. at_c<1>(attr) = optional<char>(); // clear the optional
  90. BOOST_TEST((test_attr("123", r, attr)));
  91. BOOST_TEST((at_c<0>(attr).get() == 123));
  92. BOOST_TEST((!at_c<1>(attr)));
  93. at_c<0>(attr) = optional<int>(); // clear the optional
  94. BOOST_TEST((test_attr("123a", r, attr)));
  95. BOOST_TEST((at_c<0>(attr).get() == 123));
  96. BOOST_TEST((at_c<1>(attr).get() == 'a'));
  97. at_c<0>(attr) = optional<int>(); // clear the optional
  98. at_c<1>(attr) = optional<char>(); // clear the optional
  99. BOOST_TEST((test_attr("a123", r, attr)));
  100. BOOST_TEST((at_c<0>(attr).get() == 123));
  101. BOOST_TEST((at_c<1>(attr).get() == 'a'));
  102. }
  103. return boost::report_errors();
  104. }