blob: d37ffd359e07e93b4a118418002e064442b6bd6d [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 Execution of a finally clause finally s of a try statement
/// proceeds as follows:
/// Let x be the current exception and let t be the active stack trace.Then
/// the current exception and the active stack trace both become undefined. The
/// statement s is executed. Then, if x is defined, it is rethrown as if by a
/// rethrow statement enclosed in a catch clause of the form catch (vx, vt) where
/// vx and vt are fresh variables bound to x and t respectively.
/// @description Explicitly checks that if no matching catch clause was found for
/// the current exception, control is transferred to the nearest dynamically
/// enclosing exception handler.
/// @author rodionov
import '../../../Utils/expect.dart';
void main() {
bool flag1 = false, flag2 = false;
try {
try {
do {
try {
for (int i = 0; i < 10; i++) {
try {
throw new Exception("fail");
} on int catch (e) {
} finally {}
} on String catch (s) {}
} while (false);
} finally {
flag1 = true;
} catch (ok) {
flag2 = true;