blob: e6f94ed7b97374f6a7e5f50db4c60aef0d5f2a48 [file] [log] [blame]
// Copyright (c) 2012, 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() {
/// Test that converting [value] to a string gives [expect].
/// Also test that `-value` gives `"-"+expect`.
test(int value, String expect) {
Expect.equals(expect, value.toString());
Expect.equals(expect, "$value");
Expect.equals(expect, (new StringBuffer()..write(value)).toString());
if (value == 0) return;
expect = "-$expect";
value = -value;
Expect.equals(expect, value.toString());
Expect.equals(expect, "$value");
Expect.equals(expect, (new StringBuffer()..write(value)).toString());
}
// Very simple tests.
test(0, "0");
test(1, "1");
test(2, "2");
test(5, "5");
// Binary special cases.
// ~2^30.
test(0x3fffffff, "1073741823");
test(0x40000000, "1073741824");
test(0x40000001, "1073741825");
// ~2^31.
test(0x7fffffff, "2147483647");
test(0x80000000, "2147483648");
test(0x80000001, "2147483649");
// ~2^32.
test(0xffffffff, "4294967295");
test(0x100000000, "4294967296");
test(0x100000001, "4294967297");
// ~2^51.
test(0x7ffffffffffff, "2251799813685247");
test(0x8000000000000, "2251799813685248");
test(0x8000000000001, "2251799813685249");
// ~2^52.
test(0xfffffffffffff, "4503599627370495");
test(0x10000000000000, "4503599627370496");
test(0x10000000000001, "4503599627370497");
// ~2^53.
test(0x1fffffffffffff, "9007199254740991");
test(0x20000000000000, "9007199254740992");
test(0x20000000000001, "9007199254740993"); /// 01: ok
// ~2^62.
test(0x3fffffffffffffff, "4611686018427387903"); /// 01: continued
test(0x4000000000000000, "4611686018427387904"); /// 01: continued
test(0x4000000000000001, "4611686018427387905"); /// 01: continued
// ~2^63.
test(0x7fffffffffffffff, "9223372036854775807"); /// 01: continued
test(0x8000000000000000, "9223372036854775808"); /// 01: continued
test(0x8000000000000001, "9223372036854775809"); /// 01: continued
// ~2^64.
test(0xffffffffffffffff, "18446744073709551615"); /// 01: continued
test(0x10000000000000000, "18446744073709551616"); /// 01: continued
test(0x10000000000000001, "18446744073709551617"); /// 01: continued
// Big bignum.
test(123456789012345678901234567890, /// 01: continued
"123456789012345678901234567890"); /// 01: continued
// Decimal special cases.
int number = 10;
// Numbers 99..99, 100...00, and 100..01 up to 23 digits.
for (int i = 1; i < 15; i++) { // Works in dart2js up to 10^15.
test(number - 1, "9" * i);
test(number, "1" + "0" * i);
test(number + 1, "1" + "0" * (i - 1) + "1");
number *= 10;
}
// Fails to represent exactly in dart2js.
for (int i = 15; i < 22; i++) { /// 01: continued
test(number - 1, "9" * i); /// 01: continued
test(number, "1" + "0" * i); /// 01: continued
test(number + 1, "1" + "0" * (i - 1) + "1"); /// 01: continued
number *= 10; /// 01: continued
} /// 01: continued
}