// 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 bool operator <=(num other)
/// @description Checks operator <= for two doubles (double special values,
/// adjacent sample doubles).
/// @author pagolubev

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

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

main() {
  for (int i = 0; i < sample_doubles.length; i++) {
    double min = sample_doubles[i];
    Expect.isTrue(min <= min, "Expected $min <= $min");
    for (int j = i + 1; j < sample_doubles.length; j++) {
      double max = sample_doubles[j];
      Expect.isTrue(min <= max, "Expected $min <= $max");
      Expect.isFalse(max <= min, "Expected !($max <= $min)");
    }
  }
}