// 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.

/// @assertion double operator *(num other)
/// @description Checks that if one operand is a finite nonzero double and other
/// is infinite the result is infinite. The result is positive when operands
/// have the same sign, negative otherwise.
/// @author pagolubev

import "../../../Utils/expect.dart";

final List<double> values = const [
  4.9406564584124654e-324,
  2.2250738585072014e-308,
  .7,
  .9999999999999999,
  1.0,
  1.0000000000000002,
  10.0,
  99.0,
  99.99999999999999,
  100.0,
  100.00000000000001,
  101.0,
  6031769.5,
  4.2949672959999995E9,
  4.294967296E9,
  4.294967296000001E9,
  4.5035996273704955E15,
  4.503599627370496E15,
  4.503599627370497E15,
  3.273390607896142E150,
  1.7976931348623157e308
];

check(d) {
  Expect.isTrue(d > 0);
  Expect.equals(double.infinity, d * double.infinity);
  Expect.equals(double.negativeInfinity, d * double.negativeInfinity);

  d = -d;
  Expect.equals(double.negativeInfinity, d * double.infinity);
  Expect.equals(double.infinity, d * double.negativeInfinity);
}

main() {
  values.forEach((d) {
    check(d);
  });
}