| // 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 Evaluation of i proceeds as follows: |
| * First, the argument list (a1, ..., an, xn+1 : an+1, ..., xn+k : an+k) is |
| * evaluated yielding actual argument objects o1, ..., on+k. Let g be the |
| * method currently executing, and let C be the class in which g was looked |
| * up. Let Sdynamic be the superclass of C, and let f be the result of |
| * looking up method m in Sdynamic with respect to the current library L.Let |
| * p1 ... ph be the required parameters of f, let p1 ... pm be the positional |
| * parameters of f and let ph+1, ..., ph+l be the optional parameters |
| * declared by f. |
| * If n < h, or n > m, the method lookup has failed. Furthermore, each |
| * xi, n+1 ≤ i ≤ n+k, must have a corresponding named parameter in the set |
| * {pm+1, ..., ph+l} or the method lookup also fails. Otherwise method lookup |
| * has succeeded. |
| * If the method lookup succeeded, the body of f is executed with respect to |
| * the bindings that resulted from the evaluation of the argument list, and |
| * with this bound to the current value of this. The value of i is the value |
| * returned after f is executed. |
| * @description Checks that the body of f is executed with respect to the |
| * bindings that resulted from the evaluation of the argument list. |
| * @author msyabro |
| s */ |
| import '../../../../Utils/expect.dart'; |
| |
| class TestException {} |
| |
| class S { |
| f(var exception) { |
| throw exception; |
| } |
| } |
| |
| class A extends S { |
| test() { |
| Expect.throws(() { super.f(new TestException()); }, (e) => e is TestException); |
| } |
| } |
| |
| main() { |
| new A().test(); |
| } |
| |
| |