| // Copyright (c) 2013, 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. |
| |
| import "package:expect/expect.dart"; |
| |
| main() { |
| Expect.equals(-0x80000001, (-0x80000001).toInt()); |
| Expect.equals(-0x80000000, (-0x80000000 - 0.7).toInt()); |
| Expect.equals(-0x80000000, (-0x80000000 - 0.3).toInt()); |
| Expect.equals(-0x7FFFFFFF, (-0x80000000 + 0.3).toInt()); |
| Expect.equals(-0x7FFFFFFF, (-0x80000000 + 0.7).toInt()); |
| Expect.equals(-0x7FFFFFFF, (-0x7FFFFFFF).toInt()); |
| Expect.equals(0x7FFFFFFE, (0x7FFFFFFE).toInt()); |
| Expect.equals(0x7FFFFFFE, (0x7FFFFFFF - 0.7).toInt()); |
| Expect.equals(0x7FFFFFFE, (0x7FFFFFFF - 0.3).toInt()); |
| Expect.equals(0x7FFFFFFF, (0x7FFFFFFF + 0.3).toInt()); |
| Expect.equals(0x7FFFFFFF, (0x7FFFFFFF + 0.7).toInt()); |
| Expect.equals(0x80000000, 0x80000000.toInt()); |
| } |