| /* |
| * Copyright (c) 2011, 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 >=(num other) |
| * @description Checks operator >= when 'other' is of type int. |
| * @author pagolubev |
| */ |
| import "../../../Utils/expect.dart"; |
| |
| check(double d, int i, bool greaterThan) { |
| if (greaterThan) |
| Expect.isTrue(d >= i, 'Expected $d > $i'); |
| else |
| Expect.isFalse(d >= i, 'Expected !($d > $i)'); |
| } |
| |
| main() { |
| check(-1/0, -9007199254740991, false); // !(-infinity >= -2^63) |
| check(-1.7976931348623157e308, -9007199254740991, false); // !(-maxdouble >= -2^63) |
| |
| check(-100.00000000000001, -100, false); |
| check(-100.0, -100, true); |
| check(-99.99999999999999, -100, true); |
| |
| check(-1.0000000000000002, -1, false); |
| check(-1.0, -1, true); |
| check(-.9999999999999999, -1, true); |
| |
| check(-4.9406564584124654e-324, 0, false); // !(-mindouble > 0) |
| |
| check(-.0, 0, true); |
| check(.0, 0, true); |
| |
| check(4.9406564584124654e-324, 0, true); // mindouble > 0 |
| |
| check(.9999999999999999, 1, false); |
| check(1.0, 1, true); |
| check(1.0000000000000002, 1, true); |
| |
| check(99.99999999999999, 100, false); |
| check(100.0, 100, true); |
| check(100.00000000000001, 100, true); |
| |
| check(1.7976931348623157e308, 9007199254740991, true); // maxdouble > 2^53 - 1 |
| check(1/0, 9007199254740991, true); // infinity > 2^53 - 1 |
| |
| check(9007199254740991.0, 9007199254740991, true); |
| check(-9007199254740991.0, -9007199254740991, true); |
| } |