// Copyright (c) 2016, 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.
 *
 * The default behavior for all Objects is to return true if and only if this
 * and other are the same object.
 *
 * Override this method to specify a different equality relation on a class.
 * The overriding method must still be an equivalence relation. That is, it must
 * be:
 * ...
 * Symmetric: For all objects o1 and o2, o1 == o2 and o2 == o1 must either both
 * be true, or both be false.
 * ...
 * @description Checks that for all objects o1 and o2, o1 == o2 and o2 == o1 is
 * either both true, or both false.
 * @author sgrekhov@unipro.ru
 */
import "../../../Utils/expect.dart";

main() {
  const o1 = const Object();
  Object o2 = new Object();
  Object o3 = new Object();
  var o4 = o3;

  Expect.isFalse(o1 == o2);
  Expect.isFalse(o2 == o1);
  Expect.isFalse(o2 == o3);
  Expect.isFalse(o3 == o2);

  Expect.isTrue(o3 == o4);
  Expect.isTrue(o4 == o3);
}