Implement Double.{toString, toStringAsExponential, toStringAsPrecision}

runtime/vm/double_conversion.cc

Index: runtime/vm/double_conversion.cc
diff --git a/runtime/vm/double_conversion.cc b/runtime/vm/double_conversion.cc
index 41cec22002d9df43d1da768f9391c86c30901a9e..6bb7a982641910ba47f0c5b81c93041d0be79892 100644
--- a/runtime/vm/double_conversion.cc
+++ b/runtime/vm/double_conversion.cc
@@ -16,24 +16,26 @@ static const char kDoubleToStringCommonExponentChar = 'e';
 static const char* kDoubleToStringCommonInfinitySymbol = "Infinity";
 static const char* kDoubleToStringCommonNaNSymbol = "NaN";
 
-bool DoubleToString(double d, String& result) {
+bool DoubleToCString(double d, char* buffer, int buffer_size,
+                     int* result_length) {
   static const int kDecimalLow = -6;
   static const int kDecimalHigh = 21;
-  static const int kConversionFlags =
-      double_conversion::DoubleToStringConverter::EMIT_POSITIVE_EXPONENT_SIGN |
-      double_conversion::DoubleToStringConverter::EMIT_TRAILING_DECIMAL_POINT |
-     double_conversion::DoubleToStringConverter::EMIT_TRAILING_ZERO_AFTER_POINT;
-  const int kBufferSize = 128;
+
   // The output contains the sign, at most kDecimalHigh - 1 digits,
   // the decimal point followed by a 0 plus the \0.
-  ASSERT(kBufferSize >= 1 + (kDecimalHigh - 1) + 1 + 1 + 1);
+  ASSERT(buffer_size >= 1 + (kDecimalHigh - 1) + 1 + 1 + 1);
   // Or it contains the sign, a 0, the decimal point, kDecimalLow '0's,
   // 17 digits (the precision needed for doubles), plus the \0.
-  ASSERT(kBufferSize >= 1 + 1 + 1 + kDecimalLow + 17 + 1);
+  ASSERT(buffer_size >= 1 + 1 + 1 + kDecimalLow + 17 + 1);
   // Alternatively it contains a sign, at most 17 digits (precision needed for
   // any double), the decimal point, the exponent character, the exponent's
   // sign, at most three exponent digits, plus the \0.
-  ASSERT(kBufferSize >= 1 + 17 + 1 + 1 + 1 + 3 + 1);
+  ASSERT(buffer_size >= 1 + 17 + 1 + 1 + 1 + 3 + 1);
+
+  static const int kConversionFlags =
+      double_conversion::DoubleToStringConverter::EMIT_POSITIVE_EXPONENT_SIGN |
+      double_conversion::DoubleToStringConverter::EMIT_TRAILING_DECIMAL_POINT |
+     double_conversion::DoubleToStringConverter::EMIT_TRAILING_ZERO_AFTER_POINT;
 
   const double_conversion::DoubleToStringConverter converter(
       kConversionFlags,
@@ -44,11 +46,16 @@ bool DoubleToString(double d, String& result) {
       kDecimalHigh,
       0, 0);  // Last two values are ignored in shortest mode.
 
-  UNIMPLEMENTED();
-  return false;
+  double_conversion::StringBuilder builder(buffer, buffer_size);
+  bool status = converter.ToShortest(d, &builder);
+  if (!status) return false;
+  *result_length = builder.position() + 1;  // Include trailing \0 character.
+  char* result = builder.Finalize();
+  ASSERT(result == buffer);
+  return true;
 }
 
-bool DoubleToStringAsFixed(double d, int fraction_digits, String& result) {
+RawString* DoubleToStringAsFixed(double d, int fraction_digits) {
   static const int kMinFractionDigits = 0;
   static const int kMaxFractionDigits = 20;
   static const int kMaxDigitsBeforePoint = 20;
@@ -57,19 +64,22 @@ bool DoubleToStringAsFixed(double d, int fraction_digits, String& result) {
   static const double kUpperBoundary = 1e21;
   // TODO(floitsch): remove the UNIQUE_ZERO flag when the test is updated.
   static const int kConversionFlags =
-      double_conversion::DoubleToStringConverter::UNIQUE_ZERO;
+      double_conversion::DoubleToStringConverter::NO_FLAGS;
   const int kBufferSize = 128;
+
+  USE(kMaxDigitsBeforePoint);
+  USE(kMaxFractionDigits);
+  USE(kMinFractionDigits);
+  USE(kMaxFractionDigits);
   // The output contains the sign, at most kMaxDigitsBeforePoint digits,
   // the decimal point followed by at most fraction_digits digits plus the \0.
   ASSERT(kBufferSize >= 1 + kMaxDigitsBeforePoint + 1 + kMaxFractionDigits + 1);
 
   if (d <= kLowerBoundary || d >= kUpperBoundary) {
-    return false;
-  }
-  if (fraction_digits < kMinFractionDigits ||
-      fraction_digits > kMaxFractionDigits) {
-    return false;
+    return NULL;
   }
+  assert(kMinFractionDigits <= fraction_digits &&
+         fraction_digits <= kMaxFractionDigits);
 
   const double_conversion::DoubleToStringConverter converter(
       kConversionFlags,
@@ -81,30 +91,28 @@ bool DoubleToStringAsFixed(double d, int fraction_digits, String& result) {
   char buffer[kBufferSize];
   double_conversion::StringBuilder builder(buffer, kBufferSize);
   bool status = converter.ToFixed(d, fraction_digits, &builder);
-  if (!status) return false;
+  if (!status) return NULL;
   int length = builder.position();
-  result ^= String::New(reinterpret_cast<uint8_t*>(builder.Finalize()), length);
-  return true;
+  return String::New(reinterpret_cast<uint8_t*>(builder.Finalize()), length);
 }
 
 
-bool DoubleToStringAsExponential(double d,
-                                 int fraction_digits,
-                                 String& result) {
-  static const int kMinFractionDigits = 0;
+RawString* DoubleToStringAsExponential(double d, int fraction_digits) {
+  static const int kMinFractionDigits = -1;  // -1 represents shortest mode.
   static const int kMaxFractionDigits = 20;
   static const int kConversionFlags =
       double_conversion::DoubleToStringConverter::EMIT_POSITIVE_EXPONENT_SIGN;
   const int kBufferSize = 128;
+
+  USE(kMinFractionDigits);
+  USE(kMaxFractionDigits);
   // The output contains the sign, at most 1 digits, the decimal point followed
   // by at most kMaxFractionDigits digits, the exponent-character, the
   // exponent-sign and three exponent digits plus \0.
   ASSERT(kBufferSize >= 1 + 1 + kMaxFractionDigits + 1 + 1 + 3 + 1);
 
-  if (!(kMinFractionDigits <= fraction_digits &&
-        fraction_digits <= kMaxFractionDigits)) {
-    return false;
-  }
+  assert(kMinFractionDigits <= fraction_digits &&
+         fraction_digits <= kMaxFractionDigits);
 
   const double_conversion::DoubleToStringConverter converter(
       kConversionFlags,
@@ -113,12 +121,16 @@ bool DoubleToStringAsExponential(double d,
       kDoubleToStringCommonExponentChar,
       0, 0, 0, 0);  // Last four values are ignored in exponential mode.
 
-  UNIMPLEMENTED();
-  return false;
+  char buffer[kBufferSize];
+  double_conversion::StringBuilder builder(buffer, kBufferSize);
+  bool status = converter.ToExponential(d, fraction_digits, &builder);
+  if (!status) return NULL;
+  int length = builder.position();
+  return String::New(reinterpret_cast<uint8_t*>(builder.Finalize()), length);
 }
 
 
-bool DoubleToStringAsPrecision(double d, int precision, String& result) {
+RawString* DoubleToStringAsPrecision(double d, int precision) {
   static const int kMinPrecisionDigits = 1;
   static const int kMaxPrecisionDigits = 21;
   static const int kMaxLeadingPaddingZeroes = 6;
@@ -126,14 +138,15 @@ bool DoubleToStringAsPrecision(double d, int precision, String& result) {
   static const int kConversionFlags =
       double_conversion::DoubleToStringConverter::EMIT_POSITIVE_EXPONENT_SIGN;
   const int kBufferSize = 128;
+
+  USE(kMinPrecisionDigits);
+  USE(kMaxPrecisionDigits);
   // The output contains the sign, the decimal point, precision digits,
   // the exponent-character, the exponent-sign, three exponent digits
   // plus the \0.
   ASSERT(kBufferSize >= 1 + 1 + kMaxPrecisionDigits + 1 + 1 + 3 + 1);
 
-  if (!(kMinPrecisionDigits <= precision && precision <= kMaxPrecisionDigits)) {
-    return false;
-  }
+  assert(kMinPrecisionDigits <= precision && precision <= kMaxPrecisionDigits);
 
   const double_conversion::DoubleToStringConverter converter(
       kConversionFlags,
@@ -144,8 +157,12 @@ bool DoubleToStringAsPrecision(double d, int precision, String& result) {
       kMaxLeadingPaddingZeroes,
       kMaxTrailingPaddingZeroes);
 
-  UNIMPLEMENTED();
-  return false;
+  char buffer[kBufferSize];
+  double_conversion::StringBuilder builder(buffer, kBufferSize);
+  bool status = converter.ToPrecision(d, precision, &builder);
+  if (!status) return NULL;
+  int length = builder.position();
+  return String::New(reinterpret_cast<uint8_t*>(builder.Finalize()), length);
 }
 
 }  // namespace dart