| /* |
| * 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 an unconditional ordinary method invocation i of |
| * the form o.m(a1 , ..., an , xn+1 : an+1 , ..., xn+k : an+k) |
| * proceeds as follows: |
| * First, the expression o is evaluated to a value vo. Next, the argument list |
| * (a1, ..., an, xn+1 : an+1, ..., xn+k : an+k) is evaluated yielding actual |
| * argument objects o1, ..., on+k. Let f be the result of looking up method m |
| * in vo 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 named 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 {ph+1 , ..., ph+l} or the method lookup also fails. If vo is an instance |
| * of Type but o is not a constant type literal, then if m is a method that |
| * forwards to a static method, method lookup 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 vo. The value of i is the value returned after f is |
| * executed. |
| * @description Checks that a method body is executed and [:this:] is bound |
| * to o. |
| * @author msyabro |
| */ |
| import '../../../../Utils/expect.dart'; |
| |
| class C { |
| C method() { |
| return this; |
| } |
| } |
| |
| main() { |
| var o = new C(); |
| Expect.equals(o, o.method()); |
| } |