| /* |
| * 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 an on-catch clause on T catch (p1, p2) s of a try |
| * statement t proceeds as follows: The statement s is executed in the dynamic |
| * scope of the exception handler defined by the finally clause of t. Then, the |
| * current exception and active stack trace both become undefined. |
| * @description Checks that the statement s is executed in the dynamic scope of |
| * the exception handler defined by the finally clause by checking that the two |
| * arguments of a catch clause are indeed available within it along with all |
| * those declared in the enclosing scopes. |
| * @author kaigorodov |
| */ |
| import '../../../Utils/expect.dart'; |
| |
| void main() { |
| int executed = 0; |
| var ex = new Exception("fail"); |
| try { |
| throw ex; |
| } on Exception catch (e, st) { |
| executed += 1; |
| Expect.identical(ex, e); |
| Expect.isTrue(st != null); |
| } finally { |
| executed += 2; |
| } |
| Expect.equals(3, executed); |
| } |