blob: ae32293821359a0465b771b0a208f43cd56a7597 [file] [log] [blame]
// 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
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);