Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(225)

Side by Side Diff: third_party/WebKit/Source/wtf/dtoa/double-conversion.h

Issue 2764243002: Move files in wtf/ to platform/wtf/ (Part 9). (Closed)
Patch Set: Rebase. Created 3 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 // Copyright 2010 the V8 project authors. All rights reserved. 1 // Copyright 2017 The Chromium Authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Use of this source code is governed by a BSD-style license that can be
3 // modification, are permitted provided that the following conditions are 3 // found in the LICENSE file.
4 // met:
5 //
6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided
11 // with the distribution.
12 // * Neither the name of Google Inc. nor the names of its
13 // contributors may be used to endorse or promote products derived
14 // from this software without specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 4
28 #ifndef DOUBLE_CONVERSION_DOUBLE_CONVERSION_H_ 5 #include "platform/wtf/dtoa/double-conversion.h"
29 #define DOUBLE_CONVERSION_DOUBLE_CONVERSION_H_
30 6
31 #include "wtf/dtoa/utils.h" 7 // The contents of this header was moved to platform/wtf as part of
32 8 // WTF migration project. See the following post for details:
33 namespace WTF { 9 // https://groups.google.com/a/chromium.org/d/msg/blink-dev/tLdAZCTlcAA/bYXVT8gY CAAJ
34
35 namespace double_conversion {
36
37 class DoubleToStringConverter {
38 public:
39 // When calling ToFixed with a double > 10^kMaxFixedDigitsBeforePoint
40 // or a requested_digits parameter > kMaxFixedDigitsAfterPoint then the
41 // function returns false.
42 static const int kMaxFixedDigitsBeforePoint = 60;
43 static const int kMaxFixedDigitsAfterPoint = 60;
44
45 // When calling ToExponential with a requested_digits
46 // parameter > kMaxExponentialDigits then the function returns false.
47 static const int kMaxExponentialDigits = 120;
48
49 // When calling ToPrecision with a requested_digits
50 // parameter < kMinPrecisionDigits or requested_digits > kMaxPrecisionDigits
51 // then the function returns false.
52 static const int kMinPrecisionDigits = 1;
53 static const int kMaxPrecisionDigits = 120;
54
55 enum Flags {
56 NO_FLAGS = 0,
57 EMIT_POSITIVE_EXPONENT_SIGN = 1,
58 EMIT_TRAILING_DECIMAL_POINT = 2,
59 EMIT_TRAILING_ZERO_AFTER_POINT = 4,
60 UNIQUE_ZERO = 8
61 };
62
63 // Flags should be a bit-or combination of the possible Flags-enum.
64 // - NO_FLAGS: no special flags.
65 // - EMIT_POSITIVE_EXPONENT_SIGN: when the number is converted into exponent
66 // form, emits a '+' for positive exponents. Example: 1.2e+2.
67 // - EMIT_TRAILING_DECIMAL_POINT: when the input number is an integer and is
68 // converted into decimal format then a trailing decimal point is appended.
69 // Example: 2345.0 is converted to "2345.".
70 // - EMIT_TRAILING_ZERO_AFTER_POINT: in addition to a trailing decimal point
71 // emits a trailing '0'-character. This flag requires the
72 // EXMIT_TRAILING_DECIMAL_POINT flag.
73 // Example: 2345.0 is converted to "2345.0".
74 // - UNIQUE_ZERO: "-0.0" is converted to "0.0".
75 //
76 // Infinity symbol and nan_symbol provide the string representation for these
77 // special values. If the string is NULL and the special value is encountered
78 // then the conversion functions return false.
79 //
80 // The exponent_character is used in exponential representations. It is
81 // usually 'e' or 'E'.
82 //
83 // When converting to the shortest representation the converter will
84 // represent input numbers in decimal format if they are in the interval
85 // [10^decimal_in_shortest_low; 10^decimal_in_shortest_high[
86 // (lower boundary included, greater boundary excluded).
87 // Example: with decimal_in_shortest_low = -6 and
88 // decimal_in_shortest_high = 21:
89 // ToShortest(0.000001) -> "0.000001"
90 // ToShortest(0.0000001) -> "1e-7"
91 // ToShortest(111111111111111111111.0) -> "111111111111111110000"
92 // ToShortest(100000000000000000000.0) -> "100000000000000000000"
93 // ToShortest(1111111111111111111111.0) -> "1.1111111111111111e+21"
94 //
95 // When converting to precision mode the converter may add
96 // max_leading_padding_zeroes before returning the number in exponential
97 // format.
98 // Example with max_leading_padding_zeroes_in_precision_mode = 6.
99 // ToPrecision(0.0000012345, 2) -> "0.0000012"
100 // ToPrecision(0.00000012345, 2) -> "1.2e-7"
101 // Similarily the converter may add up to
102 // max_trailing_padding_zeroes_in_precision_mode in precision mode to avoid
103 // returning an exponential representation. A zero added by the
104 // EMIT_TRAILING_ZERO_AFTER_POINT flag is counted for this limit.
105 // Examples for max_trailing_padding_zeroes_in_precision_mode = 1:
106 // ToPrecision(230.0, 2) -> "230"
107 // ToPrecision(230.0, 2) -> "230." with EMIT_TRAILING_DECIMAL_POINT.
108 // ToPrecision(230.0, 2) -> "2.3e2" with EMIT_TRAILING_ZERO_AFTER_POINT.
109 DoubleToStringConverter(int flags,
110 const char* infinity_symbol,
111 const char* nan_symbol,
112 char exponent_character,
113 int decimal_in_shortest_low,
114 int decimal_in_shortest_high,
115 int max_leading_padding_zeroes_in_precision_mode,
116 int max_trailing_padding_zeroes_in_precision_mode)
117 : flags_(flags),
118 infinity_symbol_(infinity_symbol),
119 nan_symbol_(nan_symbol),
120 exponent_character_(exponent_character),
121 decimal_in_shortest_low_(decimal_in_shortest_low),
122 decimal_in_shortest_high_(decimal_in_shortest_high),
123 max_leading_padding_zeroes_in_precision_mode_(
124 max_leading_padding_zeroes_in_precision_mode),
125 max_trailing_padding_zeroes_in_precision_mode_(
126 max_trailing_padding_zeroes_in_precision_mode) {
127 // When 'trailing zero after the point' is set, then 'trailing point'
128 // must be set too.
129 DCHECK(((flags & EMIT_TRAILING_DECIMAL_POINT) != 0) ||
130 !((flags & EMIT_TRAILING_ZERO_AFTER_POINT) != 0));
131 }
132
133 // Returns a converter following the EcmaScript specification.
134 static const DoubleToStringConverter& EcmaScriptConverter();
135
136 // Computes the shortest string of digits that correctly represent the input
137 // number. Depending on decimal_in_shortest_low and decimal_in_shortest_high
138 // (see constructor) it then either returns a decimal representation, or an
139 // exponential representation.
140 // Example with decimal_in_shortest_low = -6,
141 // decimal_in_shortest_high = 21,
142 // EMIT_POSITIVE_EXPONENT_SIGN activated, and
143 // EMIT_TRAILING_DECIMAL_POINT deactived:
144 // ToShortest(0.000001) -> "0.000001"
145 // ToShortest(0.0000001) -> "1e-7"
146 // ToShortest(111111111111111111111.0) -> "111111111111111110000"
147 // ToShortest(100000000000000000000.0) -> "100000000000000000000"
148 // ToShortest(1111111111111111111111.0) -> "1.1111111111111111e+21"
149 //
150 // Note: the conversion may round the output if the returned string
151 // is accurate enough to uniquely identify the input-number.
152 // For example the most precise representation of the double 9e59 equals
153 // "899999999999999918767229449717619953810131273674690656206848", but
154 // the converter will return the shorter (but still correct) "9e59".
155 //
156 // Returns true if the conversion succeeds. The conversion always succeeds
157 // except when the input value is special and no infinity_symbol or
158 // nan_symbol has been given to the constructor.
159 bool ToShortest(double value, StringBuilder* result_builder) const;
160
161 // Computes a decimal representation with a fixed number of digits after the
162 // decimal point. The last emitted digit is rounded.
163 //
164 // Examples:
165 // ToFixed(3.12, 1) -> "3.1"
166 // ToFixed(3.1415, 3) -> "3.142"
167 // ToFixed(1234.56789, 4) -> "1234.5679"
168 // ToFixed(1.23, 5) -> "1.23000"
169 // ToFixed(0.1, 4) -> "0.1000"
170 // ToFixed(1e30, 2) -> "1000000000000000019884624838656.00"
171 // ToFixed(0.1, 30) -> "0.100000000000000005551115123126"
172 // ToFixed(0.1, 17) -> "0.10000000000000001"
173 //
174 // If requested_digits equals 0, then the tail of the result depends on
175 // the EMIT_TRAILING_DECIMAL_POINT and EMIT_TRAILING_ZERO_AFTER_POINT.
176 // Examples, for requested_digits == 0,
177 // let EMIT_TRAILING_DECIMAL_POINT and EMIT_TRAILING_ZERO_AFTER_POINT be
178 // - false and false: then 123.45 -> 123
179 // 0.678 -> 1
180 // - true and false: then 123.45 -> 123.
181 // 0.678 -> 1.
182 // - true and true: then 123.45 -> 123.0
183 // 0.678 -> 1.0
184 //
185 // Returns true if the conversion succeeds. The conversion always succeeds
186 // except for the following cases:
187 // - the input value is special and no infinity_symbol or nan_symbol has
188 // been provided to the constructor,
189 // - 'value' > 10^kMaxFixedDigitsBeforePoint, or
190 // - 'requested_digits' > kMaxFixedDigitsAfterPoint.
191 // The last two conditions imply that the result will never contain more than
192 // 1 + kMaxFixedDigitsBeforePoint + 1 + kMaxFixedDigitsAfterPoint characters
193 // (one additional character for the sign, and one for the decimal point).
194 bool ToFixed(double value,
195 int requested_digits,
196 StringBuilder* result_builder) const;
197
198 // Computes a representation in exponential format with requested_digits
199 // after the decimal point. The last emitted digit is rounded.
200 // If requested_digits equals -1, then the shortest exponential representation
201 // is computed.
202 //
203 // Examples with EMIT_POSITIVE_EXPONENT_SIGN deactivated, and
204 // exponent_character set to 'e'.
205 // ToExponential(3.12, 1) -> "3.1e0"
206 // ToExponential(5.0, 3) -> "5.000e0"
207 // ToExponential(0.001, 2) -> "1.00e-3"
208 // ToExponential(3.1415, -1) -> "3.1415e0"
209 // ToExponential(3.1415, 4) -> "3.1415e0"
210 // ToExponential(3.1415, 3) -> "3.142e0"
211 // ToExponential(123456789000000, 3) -> "1.235e14"
212 // ToExponential(1000000000000000019884624838656.0, -1) -> "1e30"
213 // ToExponential(1000000000000000019884624838656.0, 32) ->
214 // "1.00000000000000001988462483865600e30"
215 // ToExponential(1234, 0) -> "1e3"
216 //
217 // Returns true if the conversion succeeds. The conversion always succeeds
218 // except for the following cases:
219 // - the input value is special and no infinity_symbol or nan_symbol has
220 // been provided to the constructor,
221 // - 'requested_digits' > kMaxExponentialDigits.
222 // The last condition implies that the result will never contain more than
223 // kMaxExponentialDigits + 8 characters (the sign, the digit before the
224 // decimal point, the decimal point, the exponent character, the
225 // exponent's sign, and at most 3 exponent digits).
226 bool ToExponential(double value,
227 int requested_digits,
228 StringBuilder* result_builder) const;
229
230 // Computes 'precision' leading digits of the given 'value' and returns them
231 // either in exponential or decimal format, depending on
232 // max_{leading|trailing}_padding_zeroes_in_precision_mode (given to the
233 // constructor).
234 // The last computed digit is rounded.
235 //
236 // Example with max_leading_padding_zeroes_in_precision_mode = 6.
237 // ToPrecision(0.0000012345, 2) -> "0.0000012"
238 // ToPrecision(0.00000012345, 2) -> "1.2e-7"
239 // Similarily the converter may add up to
240 // max_trailing_padding_zeroes_in_precision_mode in precision mode to avoid
241 // returning an exponential representation. A zero added by the
242 // EMIT_TRAILING_ZERO_AFTER_POINT flag is counted for this limit.
243 // Examples for max_trailing_padding_zeroes_in_precision_mode = 1:
244 // ToPrecision(230.0, 2) -> "230"
245 // ToPrecision(230.0, 2) -> "230." with EMIT_TRAILING_DECIMAL_POINT.
246 // ToPrecision(230.0, 2) -> "2.3e2" with EMIT_TRAILING_ZERO_AFTER_POINT.
247 // Examples for max_trailing_padding_zeroes_in_precision_mode = 3, and no
248 // EMIT_TRAILING_ZERO_AFTER_POINT:
249 // ToPrecision(123450.0, 6) -> "123450"
250 // ToPrecision(123450.0, 5) -> "123450"
251 // ToPrecision(123450.0, 4) -> "123500"
252 // ToPrecision(123450.0, 3) -> "123000"
253 // ToPrecision(123450.0, 2) -> "1.2e5"
254 //
255 // Returns true if the conversion succeeds. The conversion always succeeds
256 // except for the following cases:
257 // - the input value is special and no infinity_symbol or nan_symbol has
258 // been provided to the constructor,
259 // - precision < kMinPericisionDigits
260 // - precision > kMaxPrecisionDigits
261 // The last condition implies that the result will never contain more than
262 // kMaxPrecisionDigits + 7 characters (the sign, the decimal point, the
263 // exponent character, the exponent's sign, and at most 3 exponent digits).
264 bool ToPrecision(double value,
265 int precision,
266 StringBuilder* result_builder) const;
267
268 enum DtoaMode {
269 // Produce the shortest correct representation.
270 // For example the output of 0.299999999999999988897 is (the less accurate
271 // but correct) 0.3.
272 SHORTEST,
273 // Produce a fixed number of digits after the decimal point.
274 // For instance fixed(0.1, 4) becomes 0.1000
275 // If the input number is big, the output will be big.
276 FIXED,
277 // Fixed number of digits (independent of the decimal point).
278 PRECISION
279 };
280
281 // The maximal number of digits that are needed to emit a double in base 10.
282 // A higher precision can be achieved by using more digits, but the shortest
283 // accurate representation of any double will never use more digits than
284 // kBase10MaximalLength.
285 // Note that DoubleToAscii null-terminates its input. So the given buffer
286 // should be at least kBase10MaximalLength + 1 characters long.
287 static const int kBase10MaximalLength = 17;
288
289 // Converts the given double 'v' to ascii.
290 // The result should be interpreted as buffer * 10^(point-length).
291 //
292 // The output depends on the given mode:
293 // - SHORTEST: produce the least amount of digits for which the internal
294 // identity requirement is still satisfied. If the digits are printed
295 // (together with the correct exponent) then reading this number will give
296 // 'v' again. The buffer will choose the representation that is closest to
297 // 'v'. If there are two at the same distance, than the one farther away
298 // from 0 is chosen (halfway cases - ending with 5 - are rounded up).
299 // In this mode the 'requested_digits' parameter is ignored.
300 // - FIXED: produces digits necessary to print a given number with
301 // 'requested_digits' digits after the decimal point. The produced digits
302 // might be too short in which case the caller has to fill the remainder
303 // with '0's.
304 // Example: toFixed(0.001, 5) is allowed to return buffer="1", point=-2.
305 // Halfway cases are rounded towards +/-Infinity (away from 0). The call
306 // toFixed(0.15, 2) thus returns buffer="2", point=0.
307 // The returned buffer may contain digits that would be truncated from the
308 // shortest representation of the input.
309 // - PRECISION: produces 'requested_digits' where the first digit is not '0'.
310 // Even though the length of produced digits usually equals
311 // 'requested_digits', the function is allowed to return fewer digits, in
312 // which case the caller has to fill the missing digits with '0's.
313 // Halfway cases are again rounded away from 0.
314 // DoubleToAscii expects the given buffer to be big enough to hold all
315 // digits and a terminating null-character. In SHORTEST-mode it expects a
316 // buffer of at least kBase10MaximalLength + 1. In all other modes the
317 // requested_digits parameter (+ 1 for the null-character) limits the size of
318 // the output. The given length is only used in debug mode to ensure the
319 // buffer is big enough.
320 static void DoubleToAscii(double v,
321 DtoaMode mode,
322 int requested_digits,
323 char* buffer,
324 int buffer_length,
325 bool* sign,
326 int* length,
327 int* point);
328
329 private:
330 // If the value is a special value (NaN or Infinity) constructs the
331 // corresponding string using the configured infinity/nan-symbol.
332 // If either of them is NULL or the value is not special then the
333 // function returns false.
334 bool HandleSpecialValues(double value, StringBuilder* result_builder) const;
335 // Constructs an exponential representation (i.e. 1.234e56).
336 // The given exponent assumes a decimal point after the first decimal digit.
337 void CreateExponentialRepresentation(const char* decimal_digits,
338 int length,
339 int exponent,
340 StringBuilder* result_builder) const;
341 // Creates a decimal representation (i.e 1234.5678).
342 void CreateDecimalRepresentation(const char* decimal_digits,
343 int length,
344 int decimal_point,
345 int digits_after_point,
346 StringBuilder* result_builder) const;
347
348 const int flags_;
349 const char* const infinity_symbol_;
350 const char* const nan_symbol_;
351 const char exponent_character_;
352 const int decimal_in_shortest_low_;
353 const int decimal_in_shortest_high_;
354 const int max_leading_padding_zeroes_in_precision_mode_;
355 const int max_trailing_padding_zeroes_in_precision_mode_;
356
357 DISALLOW_IMPLICIT_CONSTRUCTORS(DoubleToStringConverter);
358 };
359
360 class StringToDoubleConverter {
361 public:
362 // Performs the conversion.
363 // The output parameter 'processed_characters_count' is set to the number
364 // of characters that have been processed to read the number.
365 static double StringToDouble(const char* buffer,
366 size_t length,
367 size_t* processed_characters_count);
368
369 private:
370 DISALLOW_IMPLICIT_CONSTRUCTORS(StringToDoubleConverter);
371 };
372
373 } // namespace double_conversion
374
375 } // namespace WTF
376
377 #endif // DOUBLE_CONVERSION_DOUBLE_CONVERSION_H_
OLDNEW
« no previous file with comments | « third_party/WebKit/Source/wtf/dtoa/double.h ('k') | third_party/WebKit/Source/wtf/dtoa/double-conversion.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698