// 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. | |

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'; | |

} |