// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

class Double implements double {
  factory Double.fromInteger(int value)
      native "Double_doubleFromInteger";
  int hashCode() {
    try {
      return toInt();
    } catch (BadNumberFormatException e) {
      return 0;
    }
  }
  double operator +(num other) {
    return add_(other.toDouble());
  }
  double add_(double other) native "Double_add";

  double operator -(num other) {
    return sub_(other.toDouble());
  }
  double sub_(double other) native "Double_sub";

  double operator *(num other) {
    return mul_(other.toDouble());
  }
  double mul_(double other) native "Double_mul";

  double operator ~/(num other) {
    return trunc_div_(other.toDouble());
  }
  double trunc_div_(double other) native "Double_trunc_div";

  double operator /(num other) {
    return div_(other.toDouble());
  }
  double div_(double other) native "Double_div";

  double operator %(num other) {
    return modulo_(other.toDouble());
  }
  double modulo_(double other) native "Double_modulo";

  double remainder(num other) {
    return remainder_(other.toDouble());
  }
  double remainder_(double other) native "Double_remainder";

  double operator negate() {
    return 0.0 - this;
  }
  bool operator ==(other) {
    if (!(other is num)) return false;
    return equal_(other.toDouble());
  }
  bool equal_(double other)native "Double_equal";
  bool equalToInteger(int other) native "Double_equalToInteger";
  bool operator <(num other) {
    return other > this;
  }
  bool operator >(num other) {
    return greaterThan_(other.toDouble());
  }
  bool greaterThan_(double other) native "Double_greaterThan";
  bool operator >=(num other) {
    return (this == other) ||  (this > other);
  }
  bool operator <=(num other) {
    return (this == other) ||  (this < other);
  }
  double addFromInteger(int other) {
    return new Double.fromInteger(other) + this;
  }
  double subFromInteger(int other) {
    return new Double.fromInteger(other) - this;
  }
  double mulFromInteger(int other) {
    return new Double.fromInteger(other) * this;
  }
  double truncDivFromInteger(int other) {
    return new Double.fromInteger(other) ~/ this;
  }
  double moduloFromInteger(int other) {
    return new Double.fromInteger(other) % this;
  }
  double remainderFromInteger(int other) {
    return new Double.fromInteger(other).remainder(this);
  }

  bool greaterThanFromInteger(int other) native "Double_greaterThanFromInteger";

  bool isEven() {
    // TODO(floitsch): find more efficient way to implement Double.isEven.
    return this % 2.0 == 0.0;
  }
  bool isOdd() {
    // TODO(floitsch): find more efficient way to implement Double.isOdd.
    return this % 2.0 == 1.0;
  }
  bool isNegative() native "Double_isNegative";
  bool isInfinite() native "Double_isInfinite";
  bool isNaN() native "Double_isNaN";

  double abs() {
    return this < 0.0 ? -this : this;
  }

  double round() native "Double_round";
  double floor() native "Double_floor";
  double ceil () native "Double_ceil";
  double truncate() native "Double_truncate";
  int toInt() native "Double_toInt";
  double toDouble() { return this; }

  double pow(num exponent) {
    return pow_(exponent.toDouble());
  }
  double pow_(double exponent) native "Double_pow";

  String toStringAsFixed(int fractionDigits) {
    // See ECMAScript-262, 15.7.4.5 for details.

    // Step 2.
    if (fractionDigits < 0 || fractionDigits > 20) {
      // TODO(antonm): should be proper RangeError or Dart counterpart.
      throw "Range error";
    }

    // Step 3.
    double x = this;

    // Step 4.
    if (x.isNaN()) {
      return "NaN";
    }

    // Step 5.
    String s = "";

    // Step 6.
    if (x.isNegative()) {
      s = "-";
      x = -x;
    }

    // Step 7.
    String m;
    if (x > 10e21) {
      m = x.toString();
    } else {
      // Step 8.

      // Step 8.a.
      // This is an approximation for n from the standard.
      int n = (x * (10.0).pow(fractionDigits)).round().toInt();

      // Step 8.b.
      m = n.toString();

      // Step 8.c.
      if (fractionDigits != 0) {
        // Step 8.c.i.
        int k = m.length;
        // Step 8.c.ii.
        if (k <= fractionDigits) {
          StringBuffer sb = new StringBuffer();
          for (int i = 0; i < fractionDigits + 1 - k; i++) {
            sb.add("0");
          }
          String z = sb.toString();
          m = z + m;
          k = fractionDigits + 1;
        }
        // Step 8.c.iii.
        String a = m.substring(0, k - fractionDigits);
        String b = m.substringToEnd(k - fractionDigits);
        // Step 8.c.iv.
        m = a + "." + b;
      }
    }

    // Step 9.
    return s + m;
  }
  String toStringAsExponential(int fractionDigits) {
    throw "Double.toStringAsExponential unimplemented.";
  }
  String toStringAsPrecision(int precision) {
    throw "Double.toStringAsPrecision unimplemented.";
  }
  String toRadixString(int radix) {
    throw "Double.toRadixString unimplemented.";
  }
  int compareTo(Comparable other) {
    if (this == other) return 0;
    if (this < other) return -1;
    return 1;
  }
}
