blob: 47fceb62cc03c2551755e69acd9e1afdce207429 [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 const Rectangle(T left, T top, T width, T height)
/// Create a rectangle spanned by (left, top) and (left+width, top+height).
/// @description Checks that coordinate properties of the created object
/// are equal to the constructor arguments.
/// @author kaigorodov
import "dart:math";
import "../../../Utils/expect.dart";
const List<num> values = const [
0, 1, 1, 10, 10, 100, 100,
1.7976931348623157e150, 3.273390607896142E15, 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-150, 4.9406564584124654e-150,
.0, 4.9406564584124654e-150, 2.2250738585072014e-150, .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.273390607896142E10, 1.7976931348623157e150
];
const EPS = 1.0e-10;
Random rand = new Random(2051);
num randomVal() {
int k = rand.nextInt(values.length);
return values[k];
}
void check(num x, num y, num z, num w) {
Rectangle r = new Rectangle(x, y, z, w);
Expect.equals(x, r.left);
Expect.equals(y, r.top);
Expect.equals(z, r.width);
Expect.equals(w, r.height);
// in order not to do separate tests against right and bottom properties
Expect.equals(y + w, r.bottom);
Expect.equals(x + z, r.right);
}
main() {
for (int i = 0; i < 1000; i++) {
num x = randomVal();
num y = randomVal();
num z = randomVal();
num w = randomVal();
check(x, y, z, w);
}
}