// Copyright (c) 2017, 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 ==(other)
 * The equality operator.
 * ...
 * Transitive: For all objects o1, o2, and o3, if o1 == o2 and o2 == o3 are
 * true, then o1 == o3 must be true.
 * @description Checks that the equality operator is transitive.
 * @author ngl@unipru.ru
 */
import "dart:math";
import "../../../Utils/expect.dart";

const List<num> values = const [
  0, -1, 1, 10, -10, 0.0, -1.0, 1.0, 10.0, -10.0,
  double.infinity, double.maxFinite, double.minPositive, -double.maxFinite,
  -double.minPositive, double.nan, double.negativeInfinity
];
 
main() {
  for (int i = 0; i < values.length; i++) {
    for (int j = 0; j < values.length; j++) {
      for (int k = 0; k < values.length; k++) {
        for (int l = 0; l < values.length; l++) {
          Rectangle r1 =
              new Rectangle(values[i], values[j], values[k], values[l]);
          Rectangle r2 =
              new Rectangle(values[k], values[l], values[i], values[j]);
          Rectangle r3 =
              new Rectangle(values[j], values[k], values[l], values[i]);
          var res1 = (r1 == r2);
          var res2 = (r2 == r3);
          var res3 = (r1 == r3);
          if (res1 && res2) {
            Expect.isTrue(res3);
          }
        }
      }
    }
  }
}