blob: c70b7293a37519d6fed2c6030afd1e10390983ea [file] [log] [blame]
/*
* Copyright (c) 2014, 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)
* A MutableRectangle is only equal to another MutableRectangle with the same coordinates.
* @description checks that this operator uses value comparison rather than identity comparison.
* @needsreview #16170
* @author kaigorodov
*/
import "dart:math";
import "../../../Utils/expect.dart";
const List<num> values = const [
0, -1, 1, 10, -10, 100, -100,
-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
];
Random rand = new Random(6031769);
num randomVal() {
int k = rand.nextInt(values.length);
return values[k];
}
main() {
for(int i = 0; i < 1000; i++) {
num x = randomVal();
num y = randomVal();
num z = randomVal();
num w = randomVal();
MutableRectangle r1=new MutableRectangle(x, y, z, w);
MutableRectangle r2=new MutableRectangle(x, y, z, w);
Expect.isFalse(identical(r1,r2));
Expect.isTrue(r1==r2, "x=$x, y=$y, z=$z, w=$w");
}
}