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