blob: 938f994058e3edab77073bc9cda39760aea04432 [file] [log] [blame]
/*
* 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 Otherwise, control is transferred to the nearest innermost
* enclosing exception handler.
* @description Checks that the statement of the form "rethrow;" indeed
* transfers control to the nearest enclosing exception handler if there is one,
* leaving the current exception unchanged.
* @note Can not test if the stack trace is unchanged because stack trace
* equality is unspecified in spec (co19 issue 719)
* @author rodionov
*/
import '../../../Utils/expect.dart';
main() {
bool flag = false;
var strace;
var ex = "";
try {
try {
void foo() {
try {
throw ex;
Expect.fail("This code shouldn't be executed");
} on int catch (i) {
} catch (v, st) {
strace = st;
rethrow;
Expect.fail("This code shouldn't be executed");
}
Expect.fail("This code shouldn't be executed");
}
foo();
Expect.fail("This code shouldn't be executed");
} on int catch (i) {}
Expect.fail("This code shouldn't be executed");
} on int catch (i) {
} catch (s, st) {
flag = true;
Expect.isTrue(identical(ex, s));
Expect.isTrue(identical(strace, st)); // see note
}
Expect.isTrue(flag, "The correct exception handler wasn't triggered");
}