]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
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 | ||
92f5a8d4 TL |
13 | template <typename T, typename P> |
14 | void basic_real_parser_test(P parser) | |
7c673cae FG |
15 | { |
16 | using spirit_test::test; | |
17 | using spirit_test::test_attr; | |
7c673cae | 18 | |
92f5a8d4 | 19 | T attr; |
7c673cae | 20 | |
92f5a8d4 TL |
21 | BOOST_TEST(test("-1234", parser)); |
22 | BOOST_TEST(test_attr("-1234", parser, attr) && compare(attr, T(-1234l))); | |
7c673cae | 23 | |
92f5a8d4 TL |
24 | BOOST_TEST(test("-1.2e3", parser)); |
25 | BOOST_TEST(test_attr("-1.2e3", parser, attr) && compare(attr, T(-1.2e3l))); | |
7c673cae | 26 | |
92f5a8d4 TL |
27 | BOOST_TEST(test("+1.2e3", parser)); |
28 | BOOST_TEST(test_attr("+1.2e3", parser, attr) && compare(attr, T(1.2e3l))); | |
7c673cae | 29 | |
92f5a8d4 TL |
30 | BOOST_TEST(test("-0.1", parser)); |
31 | BOOST_TEST(test_attr("-0.1", parser, attr) && compare(attr, T(-0.1l))); | |
7c673cae | 32 | |
92f5a8d4 TL |
33 | BOOST_TEST(test("-1.2e-3", parser)); |
34 | BOOST_TEST(test_attr("-1.2e-3", parser, attr) && compare(attr, T(-1.2e-3l))); | |
7c673cae | 35 | |
92f5a8d4 TL |
36 | BOOST_TEST(test("-1.e2", parser)); |
37 | BOOST_TEST(test_attr("-1.e2", parser, attr) && compare(attr, T(-1.e2l))); | |
7c673cae | 38 | |
92f5a8d4 TL |
39 | BOOST_TEST(test("-.2e3", parser)); |
40 | BOOST_TEST(test_attr("-.2e3", parser, attr) && compare(attr, T(-.2e3l))); | |
7c673cae | 41 | |
92f5a8d4 TL |
42 | BOOST_TEST(test("-2e3", parser)); |
43 | BOOST_TEST(test_attr("-2e3", parser, attr) && compare(attr, T(-2e3l))); | |
7c673cae | 44 | |
92f5a8d4 TL |
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 | |
53 | main() | |
54 | { | |
55 | using spirit_test::test; | |
56 | using spirit_test::test_attr; | |
57 | /////////////////////////////////////////////////////////////////////////// | |
58 | // signed real number tests | |
59 | /////////////////////////////////////////////////////////////////////////// | |
60 | { | |
61 | basic_real_parser_test<float>(boost::spirit::x3::float_); | |
62 | basic_real_parser_test<double>(boost::spirit::x3::double_); | |
63 | basic_real_parser_test<long double>(boost::spirit::x3::long_double); | |
64 | } | |
65 | ||
66 | { | |
67 | using boost::spirit::x3::double_; | |
68 | double d; | |
7c673cae FG |
69 | |
70 | #if defined(BOOST_SPIRIT_TEST_REAL_PRECISION) | |
71 | BOOST_TEST(test_attr("-5.7222349715140557e+307", double_, d)); | |
72 | BOOST_TEST(d == -5.7222349715140557e+307); // exact! | |
73 | ||
74 | BOOST_TEST(test_attr("2.0332938517515416e-308", double_, d)); | |
75 | BOOST_TEST(d == 2.0332938517515416e-308); // exact! | |
76 | ||
77 | BOOST_TEST(test_attr("20332938517515416e291", double_, d)); | |
78 | BOOST_TEST(d == 20332938517515416e291); // exact! | |
79 | ||
80 | BOOST_TEST(test_attr("2.0332938517515416e307", double_, d)); | |
81 | BOOST_TEST(d == 2.0332938517515416e307); // exact! | |
82 | #endif | |
83 | ||
84 | using boost::math::fpclassify; | |
85 | using boost::spirit::x3::signbit; // Boost version is broken | |
86 | ||
87 | BOOST_TEST(test("-inf", double_)); | |
88 | BOOST_TEST(test("-infinity", double_)); | |
89 | BOOST_TEST(test_attr("-inf", double_, d) && | |
90 | FP_INFINITE == fpclassify(d) && signbit(d)); | |
91 | BOOST_TEST(test_attr("-infinity", double_, d) && | |
92 | FP_INFINITE == fpclassify(d) && signbit(d)); | |
93 | BOOST_TEST(test("-INF", double_)); | |
94 | BOOST_TEST(test("-INFINITY", double_)); | |
95 | BOOST_TEST(test_attr("-INF", double_, d) && | |
96 | FP_INFINITE == fpclassify(d) && signbit(d)); | |
97 | BOOST_TEST(test_attr("-INFINITY", double_, d) && | |
98 | FP_INFINITE == fpclassify(d) && signbit(d)); | |
99 | ||
100 | BOOST_TEST(test("-nan", double_)); | |
101 | BOOST_TEST(test_attr("-nan", double_, d) && | |
102 | FP_NAN == fpclassify(d) && signbit(d)); | |
103 | BOOST_TEST(test("-NAN", double_)); | |
104 | BOOST_TEST(test_attr("-NAN", double_, d) && | |
105 | FP_NAN == fpclassify(d) && signbit(d)); | |
106 | ||
107 | BOOST_TEST(test("-nan(...)", double_)); | |
108 | BOOST_TEST(test_attr("-nan(...)", double_, d) && | |
109 | FP_NAN == fpclassify(d) && signbit(d)); | |
110 | BOOST_TEST(test("-NAN(...)", double_)); | |
111 | BOOST_TEST(test_attr("-NAN(...)", double_, d) && | |
112 | FP_NAN == fpclassify(d) && signbit(d)); | |
92f5a8d4 TL |
113 | |
114 | BOOST_TEST(!test("1e999", double_)); | |
115 | BOOST_TEST(!test("1e-999", double_)); | |
116 | BOOST_TEST(test_attr("2.1111111e-303", double_, d) && | |
117 | compare(d, 2.1111111e-303)); | |
118 | BOOST_TEST(!test_attr("1.1234e", double_, d) && compare(d, 1.1234)); | |
119 | ||
120 | // https://svn.boost.org/trac10/ticket/11608 | |
121 | BOOST_TEST(test_attr("1267650600228229401496703205376", double_, d) && | |
122 | compare(d, 1.2676506002282291E+30)); // Note Qi has better precision | |
123 | ||
124 | BOOST_TEST(test_attr("12676506.00228229401496703205376", double_, d) && | |
125 | compare(d, 1.2676506002282292E7)); // Note Qi has better precision | |
126 | ||
127 | BOOST_TEST(test_attr("12676506.00228229401496703205376E6", double_, d) && | |
128 | compare(d, 1.2676506002282291016E13)); // Note Qi has better precision | |
7c673cae FG |
129 | } |
130 | ||
131 | return boost::report_errors(); | |
132 | } |