blob: 8fbe6b43a0027c024e333e6fa1bf3b43e5cf6957 [file] [log] [blame]
// Copyright (c) 2020, 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.
// @dart = 2.9
const a0 = 0 ~/ 0; //# a0: compile-time error
const a1 = 0.0 ~/ 0; //# a1: compile-time error
const a2 = -0.0 ~/ 0; //# a2: compile-time error
const a3 = double.nan ~/ 0; //# a3: compile-time error
const a4 = double.infinity ~/ 0; //# a4: compile-time error
const a5 = double.negativeInfinity ~/ 0; //# a5: compile-time error
const b0 = 0 ~/ 0.0; //# b0: compile-time error
const b1 = 0.0 ~/ 0.0; //# b1: compile-time error
const b2 = -0.0 ~/ 0.0; //# b2: compile-time error
const b3 = double.nan ~/ 0.0; //# b3: compile-time error
const b4 = double.infinity ~/ 0.0; //# b4: compile-time error
const b5 = double.negativeInfinity ~/ 0.0; //# b5: compile-time error
const c0 = 0 ~/ -0.0; //# c0: compile-time error
const c1 = 0.0 ~/ -0.0; //# c1: compile-time error
const c2 = -0.0 ~/ -0.0; //# c2: compile-time error
const c3 = double.nan ~/ -0.0; //# c3: compile-time error
const c4 = double.infinity ~/ -0.0; //# c4: compile-time error
const c5 = double.negativeInfinity ~/ -0.0; //# c5: compile-time error
const d0 = 0 ~/ double.nan; //# d0: compile-time error
const d1 = 0.0 ~/ double.nan; //# d1: compile-time error
const d2 = -0.0 ~/ double.nan; //# d2: compile-time error
const d3 = double.nan ~/ double.nan; //# d3: compile-time error
const d4 = double.infinity ~/ double.nan; //# d4: compile-time error
const d5 = double.negativeInfinity ~/ double.nan; //# d5: compile-time error
const e0 = 0 ~/ double.infinity; //# e0: ok
const e1 = 0.0 ~/ double.infinity; //# e1: ok
const e2 = -0.0 ~/ double.infinity; //# e2: ok
const e3 = double.nan ~/ double.infinity; //# e3: compile-time error
const e4 = double.infinity ~/ double.infinity; //# e4: compile-time error
const e5 = double.negativeInfinity ~/ double.infinity; //# e5: compile-time error
const f0 = 0 ~/ double.negativeInfinity; //# f0: ok
const f1 = 0.0 ~/ double.negativeInfinity; //# f1: ok
const f2 = -0.0 ~/ double.negativeInfinity; //# f2: ok
const f3 = double.nan ~/ double.negativeInfinity; //# f3: compile-time error
const f4 = double.infinity ~/ double.negativeInfinity; //# f4: compile-time error
const f5 = double.negativeInfinity ~/ double.negativeInfinity; //# f5: compile-time error
main() {
test(0, 0, () => a0); //# a0: continued
test(0.0, 0, () => a1); //# a1: continued
test(-0.0, 0, () => a2); //# a2: continued
test(double.nan, 0, () => a3); //# a3: continued
test(double.infinity, 0, () => a4); //# a4: continued
test(double.negativeInfinity, 0, () => a5); //# a5: continued
test(0, 0.0, () => b0); //# b0: continued
test(0.0, 0.0, () => b1); //# b1: continued
test(-0.0, 0.0, () => b2); //# b2: continued
test(double.nan, 0.0, () => b3); //# b3: continued
test(double.infinity, 0.0, () => b4); //# b4: continued
test(double.negativeInfinity, 0.0, () => b5); //# b5: continued
test(0, -0.0, () => c0); //# c0: continued
test(0.0, -0.0, () => c1); //# c1: continued
test(-0.0, -0.0, () => c2); //# c2: continued
test(double.nan, -0.0, () => c3); //# c3: continued
test(double.infinity, -0.0, () => c4); //# c4: continued
test(double.negativeInfinity, -0.0, () => c5); //# c5: continued
test(0, double.nan, () => d0); //# d0: continued
test(0.0, double.nan, () => d1); //# d1: continued
test(-0.0, double.nan, () => d2); //# d2: continued
test(double.nan, double.nan, () => d3); //# d3: continued
test(double.infinity, double.nan, () => d4); //# d4: continued
test(double.negativeInfinity, double.nan, () => d5); //# d5: continued
test(0, double.infinity, () => e0); //# e0: continued
test(0.0, double.infinity, () => e1); //# e1: continued
test(-0.0, double.infinity, () => e2); //# e2: continued
test(double.nan, double.infinity, () => e3); //# e3: continued
test(double.infinity, double.infinity, () => e4); //# e4: continued
test(double.negativeInfinity, double.infinity, () => e5); //# e5: continued
test(0, double.negativeInfinity, () => f0); //# f0: continued
test(0.0, double.negativeInfinity, () => f1); //# f1: continued
test(-0.0, double.negativeInfinity, () => f2); //# f2: continued
test(double.nan, double.negativeInfinity, () => f3); //# f3: continued
test(double.infinity, double.negativeInfinity, () => f4); //# f4: continued
test(double.negativeInfinity, double.negativeInfinity, () => f5); //# f5: continued
}
void test(num a, num b, num Function() f) {
num result;
try {
result = a ~/ b;
print('$a ~/ $b = $result');
} catch (e) {
print('$a ~/ $b throws $e');
throws(f);
return;
}
expect(f(), result);
}
void expect(expected, actual) {
if (expected != actual) {
throw 'Expected $expected, actual $actual';
}
}
void throws(num Function() f) {
try {
f();
} catch (e) {
return;
}
throw 'Expected exception';
}