| // 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 the order of evaluating a static method invocation |
| * expression. |
| * @author msyabro |
| */ |
| import "../../../../Utils/expect.dart"; |
| |
| StringBuffer buffer = new StringBuffer(); |
| |
| class A { |
| operator +(otherOperand) { |
| buffer.write(2); |
| } |
| |
| operator -(otherOperand) { |
| buffer.write(3); |
| } |
| } |
| |
| class C { |
| static get m { |
| buffer.write(1); |
| return func; |
| } |
| |
| static func(arg1, arg2) { |
| buffer.write(4); |
| } |
| } |
| |
| main() { |
| C.m(new A() + 1, new A() - 1); |
| Expect.equals("1234", buffer.toString()); |
| } |