Language/Statements/Try/execution_finally_t01.dart

/*
 * 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;
  }

  Expect.isTrue(flag1);
  Expect.isTrue(flag2);
}