real2.cpp 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132
  1. /*=============================================================================
  2. Copyright (c) 2001-2015 Joel de Guzman
  3. Copyright (c) 2001-2011 Hartmut Kaiser
  4. Copyright (c) 2011 Bryce Lelbach
  5. Use, modification and distribution is subject to the Boost Software
  6. License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  7. http://www.boost.org/LICENSE_1_0.txt)
  8. =============================================================================*/
  9. #include "real.hpp"
  10. template <typename T, typename P>
  11. void basic_real_parser_test(P parser)
  12. {
  13. using spirit_test::test;
  14. using spirit_test::test_attr;
  15. T attr;
  16. BOOST_TEST(test("-1234", parser));
  17. BOOST_TEST(test_attr("-1234", parser, attr) && compare(attr, T(-1234l)));
  18. BOOST_TEST(test("-1.2e3", parser));
  19. BOOST_TEST(test_attr("-1.2e3", parser, attr) && compare(attr, T(-1.2e3l)));
  20. BOOST_TEST(test("+1.2e3", parser));
  21. BOOST_TEST(test_attr("+1.2e3", parser, attr) && compare(attr, T(1.2e3l)));
  22. BOOST_TEST(test("-0.1", parser));
  23. BOOST_TEST(test_attr("-0.1", parser, attr) && compare(attr, T(-0.1l)));
  24. BOOST_TEST(test("-1.2e-3", parser));
  25. BOOST_TEST(test_attr("-1.2e-3", parser, attr) && compare(attr, T(-1.2e-3l)));
  26. BOOST_TEST(test("-1.e2", parser));
  27. BOOST_TEST(test_attr("-1.e2", parser, attr) && compare(attr, T(-1.e2l)));
  28. BOOST_TEST(test("-.2e3", parser));
  29. BOOST_TEST(test_attr("-.2e3", parser, attr) && compare(attr, T(-.2e3l)));
  30. BOOST_TEST(test("-2e3", parser));
  31. BOOST_TEST(test_attr("-2e3", parser, attr) && compare(attr, T(-2e3l)));
  32. BOOST_TEST(!test("-e3", parser));
  33. BOOST_TEST(!test_attr("-e3", parser, attr));
  34. BOOST_TEST(!test("-1.2e", parser));
  35. BOOST_TEST(!test_attr("-1.2e", parser, attr));
  36. }
  37. int
  38. main()
  39. {
  40. using spirit_test::test;
  41. using spirit_test::test_attr;
  42. ///////////////////////////////////////////////////////////////////////////
  43. // signed real number tests
  44. ///////////////////////////////////////////////////////////////////////////
  45. {
  46. basic_real_parser_test<float>(boost::spirit::x3::float_);
  47. basic_real_parser_test<double>(boost::spirit::x3::double_);
  48. basic_real_parser_test<long double>(boost::spirit::x3::long_double);
  49. }
  50. {
  51. using boost::spirit::x3::double_;
  52. double d;
  53. #if defined(BOOST_SPIRIT_TEST_REAL_PRECISION)
  54. BOOST_TEST(test_attr("-5.7222349715140557e+307", double_, d));
  55. BOOST_TEST(d == -5.7222349715140557e+307); // exact!
  56. BOOST_TEST(test_attr("2.0332938517515416e-308", double_, d));
  57. BOOST_TEST(d == 2.0332938517515416e-308); // exact!
  58. BOOST_TEST(test_attr("20332938517515416e291", double_, d));
  59. BOOST_TEST(d == 20332938517515416e291); // exact!
  60. BOOST_TEST(test_attr("2.0332938517515416e307", double_, d));
  61. BOOST_TEST(d == 2.0332938517515416e307); // exact!
  62. #endif
  63. using boost::math::fpclassify;
  64. using boost::spirit::x3::signbit; // Boost version is broken
  65. BOOST_TEST(test("-inf", double_));
  66. BOOST_TEST(test("-infinity", double_));
  67. BOOST_TEST(test_attr("-inf", double_, d) &&
  68. FP_INFINITE == fpclassify(d) && signbit(d));
  69. BOOST_TEST(test_attr("-infinity", double_, d) &&
  70. FP_INFINITE == fpclassify(d) && signbit(d));
  71. BOOST_TEST(test("-INF", double_));
  72. BOOST_TEST(test("-INFINITY", double_));
  73. BOOST_TEST(test_attr("-INF", double_, d) &&
  74. FP_INFINITE == fpclassify(d) && signbit(d));
  75. BOOST_TEST(test_attr("-INFINITY", double_, d) &&
  76. FP_INFINITE == fpclassify(d) && signbit(d));
  77. BOOST_TEST(test("-nan", double_));
  78. BOOST_TEST(test_attr("-nan", double_, d) &&
  79. FP_NAN == fpclassify(d) && signbit(d));
  80. BOOST_TEST(test("-NAN", double_));
  81. BOOST_TEST(test_attr("-NAN", double_, d) &&
  82. FP_NAN == fpclassify(d) && signbit(d));
  83. BOOST_TEST(test("-nan(...)", double_));
  84. BOOST_TEST(test_attr("-nan(...)", double_, d) &&
  85. FP_NAN == fpclassify(d) && signbit(d));
  86. BOOST_TEST(test("-NAN(...)", double_));
  87. BOOST_TEST(test_attr("-NAN(...)", double_, d) &&
  88. FP_NAN == fpclassify(d) && signbit(d));
  89. BOOST_TEST(!test("1e999", double_));
  90. BOOST_TEST(!test("1e-999", double_));
  91. BOOST_TEST(test_attr("2.1111111e-303", double_, d) &&
  92. compare(d, 2.1111111e-303));
  93. BOOST_TEST(!test_attr("1.1234e", double_, d) && compare(d, 1.1234));
  94. // https://svn.boost.org/trac10/ticket/11608
  95. BOOST_TEST(test_attr("1267650600228229401496703205376", double_, d) &&
  96. compare(d, 1.2676506002282291E+30)); // Note Qi has better precision
  97. BOOST_TEST(test_attr("12676506.00228229401496703205376", double_, d) &&
  98. compare(d, 1.2676506002282292E7)); // Note Qi has better precision
  99. BOOST_TEST(test_attr("12676506.00228229401496703205376E6", double_, d) &&
  100. compare(d, 1.2676506002282291016E13)); // Note Qi has better precision
  101. }
  102. return boost::report_errors();
  103. }