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