Changeset 69959 in webkit

Timestamp:

Oct 18, 2010 8:24:18 AM (14 years ago)

Author:

loislo@chromium.org

Message:

2010-10-18 Ilya Tikhonovsky <​loislo@chromium.org>

Reviewed by Yury Semikhatsky.

Web Inspector: toJSON serialization for Numbers should be fixed.
DecimalNumber is used instead of printf.

​https://bugs.webkit.org/show_bug.cgi?id=43832

• inspector/InspectorValues.cpp: (WebCore::InspectorBasicValue::writeJSON):

Location:

trunk/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/InspectorValues.cpp (modified) (2 diffs)

trunk/WebCore/ChangeLog

@@ +1 @@
+2010-10-18  Ilya Tikhonovsky  <loislo@chromium.org>
+
+        Reviewed by Yury Semikhatsky.
+
+        Web Inspector: toJSON serialization for Numbers should be fixed.
+        DecimalNumber is used instead of printf.
+
+        https://bugs.webkit.org/show_bug.cgi?id=43832
+
+        * inspector/InspectorValues.cpp:
+        (WebCore::InspectorBasicValue::writeJSON):
+
 2010-10-18  Ilya Tikhonovsky  <loislo@chromium.org>
 

trunk/WebCore/inspector/InspectorValues.cpp

@@ -33 +33 @@
 
 #if ENABLE(INSPECTOR)
+
+#include <wtf/DecimalNumber.h>
 
 namespace WebCore {
@@ -605 +607 @@
             output->append(falseString, 5);
     } else if (type() == TypeNumber) {
-        String value = String::format("%f", m_doubleValue);
-        value.replace(',', '.');
-        output->append(value.characters(), value.length());
+        NumberToStringBuffer buffer;
+        unsigned length = DecimalNumber(m_doubleValue).toStringDecimal(buffer);
+        output->append(buffer, length);
     }
 }