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
7 //#define KARMA_FAIL_COMPILATION
8
9 #include "real.hpp"
10
11 ///////////////////////////////////////////////////////////////////////////////
main()12 int main()
13 {
14 using namespace boost::spirit;
15
16 {
17 ///////////////////////////////////////////////////////////////////////
18 // use the default real_policies
19 BOOST_TEST(test("0.0", double_, 0.0));
20 BOOST_TEST(test("1.0", double_, 1.0));
21 BOOST_TEST(test("1.0", double_, 1.0001));
22 BOOST_TEST(test("1.001", double_, 1.001));
23 BOOST_TEST(test("1.01", double_, 1.010));
24 BOOST_TEST(test("1.1", double_, 1.100));
25
26 BOOST_TEST(test("1.234e-04", double_, 0.00012345));
27 BOOST_TEST(test("0.001", double_, 0.0012345));
28 BOOST_TEST(test("0.012", double_, 0.012345));
29 BOOST_TEST(test("0.123", double_, 0.12345));
30 BOOST_TEST(test("1.234", double_, 1.2345));
31 BOOST_TEST(test("12.346", double_, 12.346));
32 BOOST_TEST(test("123.46", double_, 123.46));
33 BOOST_TEST(test("1234.5", double_, 1234.5));
34 BOOST_TEST(test("12342.0", double_, 12342.));
35 BOOST_TEST(test("1.234e05", double_, 123420.));
36
37 BOOST_TEST(test("-1.0", double_, -1.0));
38 BOOST_TEST(test("-1.234", double_, -1.2345));
39 BOOST_TEST(test("-1.235", double_, -1.2346));
40 BOOST_TEST(test("-1234.2", double_, -1234.2));
41
42 BOOST_TEST(test("1.0", double_(1.0)));
43 BOOST_TEST(test("1.0", double_(1.0001)));
44 BOOST_TEST(test("1.001", double_(1.001)));
45 BOOST_TEST(test("1.01", double_(1.010)));
46 BOOST_TEST(test("1.1", double_(1.100)));
47
48 BOOST_TEST(test("1.234e-04", double_(0.00012345)));
49 BOOST_TEST(test("0.001", double_(0.0012345)));
50 BOOST_TEST(test("0.012", double_(0.012345)));
51 BOOST_TEST(test("0.123", double_(0.12345)));
52 BOOST_TEST(test("1.234", double_(1.2345)));
53 BOOST_TEST(test("12.346", double_(12.346)));
54 BOOST_TEST(test("123.46", double_(123.46)));
55 BOOST_TEST(test("1234.5", double_(1234.5)));
56 BOOST_TEST(test("12342.0", double_(12342.)));
57 BOOST_TEST(test("1.234e05", double_(123420.)));
58 }
59
60 {
61 ///////////////////////////////////////////////////////////////////////
62 // test NaN and Inf
63 BOOST_TEST(test("nan", double_, std::numeric_limits<double>::quiet_NaN()));
64 BOOST_TEST(test("-nan", double_, -std::numeric_limits<double>::quiet_NaN()));
65 BOOST_TEST(test("inf", double_, std::numeric_limits<double>::infinity()));
66 BOOST_TEST(test("-inf", double_, -std::numeric_limits<double>::infinity()));
67
68 typedef karma::real_generator<double, signed_policy<double> > signed_type;
69 signed_type const signed_ = signed_type();
70
71 BOOST_TEST(test("+nan", signed_, std::numeric_limits<double>::quiet_NaN()));
72 BOOST_TEST(test("-nan", signed_, -std::numeric_limits<double>::quiet_NaN()));
73 BOOST_TEST(test("+inf", signed_, std::numeric_limits<double>::infinity()));
74 BOOST_TEST(test("-inf", signed_, -std::numeric_limits<double>::infinity()));
75 #if defined(BOOST_SPIRIT_ZERO_PROBLEM)
76 BOOST_TEST(test(" 0.0", signed_, 0.0));
77 #endif
78
79 BOOST_TEST(test("+nan", signed_(std::numeric_limits<double>::quiet_NaN())));
80 BOOST_TEST(test("-nan", signed_(-std::numeric_limits<double>::quiet_NaN())));
81 BOOST_TEST(test("+inf", signed_(std::numeric_limits<double>::infinity())));
82 BOOST_TEST(test("-inf", signed_(-std::numeric_limits<double>::infinity())));
83 #if defined(BOOST_SPIRIT_ZERO_PROBLEM)
84 BOOST_TEST(test(" 0.0", signed_(0.0)));
85 #endif
86 }
87
88 {
89 ///////////////////////////////////////////////////////////////////////
90 typedef karma::real_generator<double, statefull_policy<double> >
91 statefull_type;
92
93 statefull_policy<double> policy(5, true);
94 statefull_type const statefull = statefull_type(policy);
95
96 BOOST_TEST(test("0.00000", statefull, 0.0));
97 BOOST_TEST(test("0.00000", statefull(0.0)));
98
99 using namespace boost::phoenix;
100 BOOST_TEST(test("0.00000", statefull(val(0.0))));
101 }
102
103 {
104 ///////////////////////////////////////////////////////////////////////
105 typedef karma::real_generator<double, trailing_zeros_policy<double> >
106 trailing_zeros_type;
107 trailing_zeros_type const trail_zeros = trailing_zeros_type();
108
109 BOOST_TEST(test("0.0000", trail_zeros, 0.0));
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
116 BOOST_TEST(test("1.2345e-04", trail_zeros, 0.00012345));
117 BOOST_TEST(test("0.0012", trail_zeros, 0.0012345));
118 BOOST_TEST(test("0.0123", trail_zeros, 0.012345));
119 BOOST_TEST(test("0.1235", trail_zeros, 0.12345));
120 BOOST_TEST(test("1.2345", trail_zeros, 1.2345));
121 BOOST_TEST(test("12.3460", trail_zeros, 12.346));
122 BOOST_TEST(test("123.4600", trail_zeros, 123.46));
123 BOOST_TEST(test("1234.5000", trail_zeros, 1234.5));
124 BOOST_TEST(test("12342.0000", trail_zeros, 12342.));
125 BOOST_TEST(test("1.2342e05", trail_zeros, 123420.));
126
127 BOOST_TEST(test("-1.0000", trail_zeros, -1.0));
128 BOOST_TEST(test("-1.2345", trail_zeros, -1.2345));
129 BOOST_TEST(test("-1.2346", trail_zeros, -1.2346));
130 BOOST_TEST(test("-1234.2000", trail_zeros, -1234.2));
131
132 BOOST_TEST(test("1.0000", trail_zeros(1.0)));
133 BOOST_TEST(test("1.0001", trail_zeros(1.0001)));
134 BOOST_TEST(test("1.0010", trail_zeros(1.001)));
135 BOOST_TEST(test("1.0100", trail_zeros(1.010)));
136 BOOST_TEST(test("1.1000", trail_zeros(1.100)));
137
138 BOOST_TEST(test("1.2345e-04", trail_zeros(0.00012345)));
139 BOOST_TEST(test("0.0012", trail_zeros(0.0012345)));
140 BOOST_TEST(test("0.0123", trail_zeros(0.012345)));
141 BOOST_TEST(test("0.1235", trail_zeros(0.12345)));
142 BOOST_TEST(test("1.2345", trail_zeros(1.2345)));
143 BOOST_TEST(test("12.3460", trail_zeros(12.346)));
144 BOOST_TEST(test("123.4600", trail_zeros(123.46)));
145 BOOST_TEST(test("1234.5000", trail_zeros(1234.5)));
146 BOOST_TEST(test("12342.0000", trail_zeros(12342.)));
147 BOOST_TEST(test("1.2342e05", trail_zeros(123420.)));
148 }
149
150 {
151 using namespace boost::spirit::ascii;
152
153 ///////////////////////////////////////////////////////////////////////
154 // test NaN and Inf
155 BOOST_TEST(test("NAN", upper[double_],
156 std::numeric_limits<double>::quiet_NaN()));
157 BOOST_TEST(test("-NAN", upper[double_],
158 -std::numeric_limits<double>::quiet_NaN()));
159 BOOST_TEST(test("INF", upper[double_],
160 std::numeric_limits<double>::infinity()));
161 BOOST_TEST(test("-INF", upper[double_],
162 -std::numeric_limits<double>::infinity()));
163
164 typedef karma::real_generator<double, signed_policy<double> > signed_type;
165 signed_type const signed_ = signed_type();
166
167 BOOST_TEST(test("+NAN", upper[signed_],
168 std::numeric_limits<double>::quiet_NaN()));
169 BOOST_TEST(test("-NAN", upper[signed_],
170 -std::numeric_limits<double>::quiet_NaN()));
171 BOOST_TEST(test("+INF", upper[signed_],
172 std::numeric_limits<double>::infinity()));
173 BOOST_TEST(test("-INF", upper[signed_],
174 -std::numeric_limits<double>::infinity()));
175 #if defined(BOOST_SPIRIT_ZERO_PROBLEM)
176 BOOST_TEST(test(" 0.0", upper[signed_], 0.0));
177 #endif
178 }
179
180
181 return boost::report_errors();
182 }
183