real1.cpp 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180
  1. // Copyright (c) 2001-2011 Hartmut Kaiser
  2. // Copyright (c) 2011 Bryce Lelbach
  3. //
  4. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. #include "real.hpp"
  7. ///////////////////////////////////////////////////////////////////////////////
  8. int main()
  9. {
  10. using namespace boost::spirit;
  11. {
  12. ///////////////////////////////////////////////////////////////////////
  13. // use the default real_policies
  14. BOOST_TEST(test("0.0", double_, 0.0));
  15. BOOST_TEST(test("1.0", double_, 1.0));
  16. BOOST_TEST(test("1.0", double_, 1.0001));
  17. BOOST_TEST(test("1.001", double_, 1.001));
  18. BOOST_TEST(test("1.01", double_, 1.010));
  19. BOOST_TEST(test("1.1", double_, 1.100));
  20. BOOST_TEST(test("1.234e-04", double_, 0.00012345));
  21. BOOST_TEST(test("0.001", double_, 0.0012345));
  22. BOOST_TEST(test("0.012", double_, 0.012345));
  23. BOOST_TEST(test("0.123", double_, 0.12345));
  24. BOOST_TEST(test("1.234", double_, 1.2345));
  25. BOOST_TEST(test("12.346", double_, 12.346));
  26. BOOST_TEST(test("123.46", double_, 123.46));
  27. BOOST_TEST(test("1234.5", double_, 1234.5));
  28. BOOST_TEST(test("12342.0", double_, 12342.));
  29. BOOST_TEST(test("1.234e05", double_, 123420.));
  30. BOOST_TEST(test("-1.0", double_, -1.0));
  31. BOOST_TEST(test("-1.234", double_, -1.2345));
  32. BOOST_TEST(test("-1.235", double_, -1.2346));
  33. BOOST_TEST(test("-1234.2", double_, -1234.2));
  34. BOOST_TEST(test("1.0", double_(1.0)));
  35. BOOST_TEST(test("1.0", double_(1.0001)));
  36. BOOST_TEST(test("1.001", double_(1.001)));
  37. BOOST_TEST(test("1.01", double_(1.010)));
  38. BOOST_TEST(test("1.1", double_(1.100)));
  39. BOOST_TEST(test("1.234e-04", double_(0.00012345)));
  40. BOOST_TEST(test("0.001", double_(0.0012345)));
  41. BOOST_TEST(test("0.012", double_(0.012345)));
  42. BOOST_TEST(test("0.123", double_(0.12345)));
  43. BOOST_TEST(test("1.234", double_(1.2345)));
  44. BOOST_TEST(test("12.346", double_(12.346)));
  45. BOOST_TEST(test("123.46", double_(123.46)));
  46. BOOST_TEST(test("1234.5", double_(1234.5)));
  47. BOOST_TEST(test("12342.0", double_(12342.)));
  48. BOOST_TEST(test("1.234e05", double_(123420.)));
  49. }
  50. {
  51. ///////////////////////////////////////////////////////////////////////
  52. // test NaN and Inf
  53. BOOST_TEST(test("nan", double_, std::numeric_limits<double>::quiet_NaN()));
  54. BOOST_TEST(test("-nan", double_, -std::numeric_limits<double>::quiet_NaN()));
  55. BOOST_TEST(test("inf", double_, std::numeric_limits<double>::infinity()));
  56. BOOST_TEST(test("-inf", double_, -std::numeric_limits<double>::infinity()));
  57. typedef karma::real_generator<double, signed_policy<double> > signed_type;
  58. signed_type const signed_ = signed_type();
  59. BOOST_TEST(test("+nan", signed_, std::numeric_limits<double>::quiet_NaN()));
  60. BOOST_TEST(test("-nan", signed_, -std::numeric_limits<double>::quiet_NaN()));
  61. BOOST_TEST(test("+inf", signed_, std::numeric_limits<double>::infinity()));
  62. BOOST_TEST(test("-inf", signed_, -std::numeric_limits<double>::infinity()));
  63. #if defined(BOOST_SPIRIT_ZERO_PROBLEM)
  64. BOOST_TEST(test(" 0.0", signed_, 0.0));
  65. #endif
  66. BOOST_TEST(test("+nan", signed_(std::numeric_limits<double>::quiet_NaN())));
  67. BOOST_TEST(test("-nan", signed_(-std::numeric_limits<double>::quiet_NaN())));
  68. BOOST_TEST(test("+inf", signed_(std::numeric_limits<double>::infinity())));
  69. BOOST_TEST(test("-inf", signed_(-std::numeric_limits<double>::infinity())));
  70. #if defined(BOOST_SPIRIT_ZERO_PROBLEM)
  71. BOOST_TEST(test(" 0.0", signed_(0.0)));
  72. #endif
  73. }
  74. {
  75. ///////////////////////////////////////////////////////////////////////
  76. typedef karma::real_generator<double, statefull_policy<double> >
  77. statefull_type;
  78. statefull_policy<double> policy(5, true);
  79. statefull_type const statefull = statefull_type(policy);
  80. BOOST_TEST(test("0.00000", statefull, 0.0));
  81. BOOST_TEST(test("0.00000", statefull(0.0)));
  82. using namespace boost::phoenix;
  83. BOOST_TEST(test("0.00000", statefull(val(0.0))));
  84. }
  85. {
  86. ///////////////////////////////////////////////////////////////////////
  87. typedef karma::real_generator<double, trailing_zeros_policy<double> >
  88. trailing_zeros_type;
  89. trailing_zeros_type const trail_zeros = trailing_zeros_type();
  90. BOOST_TEST(test("0.0000", trail_zeros, 0.0));
  91. BOOST_TEST(test("1.0000", trail_zeros, 1.0));
  92. BOOST_TEST(test("1.0001", trail_zeros, 1.0001));
  93. BOOST_TEST(test("1.0010", trail_zeros, 1.001));
  94. BOOST_TEST(test("1.0100", trail_zeros, 1.010));
  95. BOOST_TEST(test("1.1000", trail_zeros, 1.100));
  96. BOOST_TEST(test("1.2345e-04", trail_zeros, 0.00012345));
  97. BOOST_TEST(test("0.0012", trail_zeros, 0.0012345));
  98. BOOST_TEST(test("0.0123", trail_zeros, 0.012345));
  99. BOOST_TEST(test("0.1235", trail_zeros, 0.12345));
  100. BOOST_TEST(test("1.2345", trail_zeros, 1.2345));
  101. BOOST_TEST(test("12.3460", trail_zeros, 12.346));
  102. BOOST_TEST(test("123.4600", trail_zeros, 123.46));
  103. BOOST_TEST(test("1234.5000", trail_zeros, 1234.5));
  104. BOOST_TEST(test("12342.0000", trail_zeros, 12342.));
  105. BOOST_TEST(test("1.2342e05", trail_zeros, 123420.));
  106. BOOST_TEST(test("-1.0000", trail_zeros, -1.0));
  107. BOOST_TEST(test("-1.2345", trail_zeros, -1.2345));
  108. BOOST_TEST(test("-1.2346", trail_zeros, -1.2346));
  109. BOOST_TEST(test("-1234.2000", trail_zeros, -1234.2));
  110. BOOST_TEST(test("1.0000", trail_zeros(1.0)));
  111. BOOST_TEST(test("1.0001", trail_zeros(1.0001)));
  112. BOOST_TEST(test("1.0010", trail_zeros(1.001)));
  113. BOOST_TEST(test("1.0100", trail_zeros(1.010)));
  114. BOOST_TEST(test("1.1000", trail_zeros(1.100)));
  115. BOOST_TEST(test("1.2345e-04", trail_zeros(0.00012345)));
  116. BOOST_TEST(test("0.0012", trail_zeros(0.0012345)));
  117. BOOST_TEST(test("0.0123", trail_zeros(0.012345)));
  118. BOOST_TEST(test("0.1235", trail_zeros(0.12345)));
  119. BOOST_TEST(test("1.2345", trail_zeros(1.2345)));
  120. BOOST_TEST(test("12.3460", trail_zeros(12.346)));
  121. BOOST_TEST(test("123.4600", trail_zeros(123.46)));
  122. BOOST_TEST(test("1234.5000", trail_zeros(1234.5)));
  123. BOOST_TEST(test("12342.0000", trail_zeros(12342.)));
  124. BOOST_TEST(test("1.2342e05", trail_zeros(123420.)));
  125. }
  126. {
  127. using namespace boost::spirit::ascii;
  128. ///////////////////////////////////////////////////////////////////////
  129. // test NaN and Inf
  130. BOOST_TEST(test("NAN", upper[double_],
  131. std::numeric_limits<double>::quiet_NaN()));
  132. BOOST_TEST(test("-NAN", upper[double_],
  133. -std::numeric_limits<double>::quiet_NaN()));
  134. BOOST_TEST(test("INF", upper[double_],
  135. std::numeric_limits<double>::infinity()));
  136. BOOST_TEST(test("-INF", upper[double_],
  137. -std::numeric_limits<double>::infinity()));
  138. typedef karma::real_generator<double, signed_policy<double> > signed_type;
  139. signed_type const signed_ = signed_type();
  140. BOOST_TEST(test("+NAN", upper[signed_],
  141. std::numeric_limits<double>::quiet_NaN()));
  142. BOOST_TEST(test("-NAN", upper[signed_],
  143. -std::numeric_limits<double>::quiet_NaN()));
  144. BOOST_TEST(test("+INF", upper[signed_],
  145. std::numeric_limits<double>::infinity()));
  146. BOOST_TEST(test("-INF", upper[signed_],
  147. -std::numeric_limits<double>::infinity()));
  148. #if defined(BOOST_SPIRIT_ZERO_PROBLEM)
  149. BOOST_TEST(test(" 0.0", upper[signed_], 0.0));
  150. #endif
  151. }
  152. return boost::report_errors();
  153. }