Language/Expressions/Method_Invocation/Ordinary_Invocation/evaluation_t01.dart

// 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 first the expression o is evaluated and then
/// expressions in the argument list in order from left to right.
/// @author msyabro

import '../../../../Utils/expect.dart';

StringBuffer buffer = StringBuffer();

class A {
  operator +(otherOperand) {
    buffer.write(2);
    return null;
  }
  operator -(otherOperand) {
    buffer.write(3);
    return null;
  }
}

class B {
  B() {
    buffer.write(5);
  }
}

class C {
  C() {
    buffer.write(4);
  }
}

class O {
  operator +(otherOperand) {
    buffer.write(1);
    return new O();
  }
  method(var a, var b, {var c: null, var d: null}) {}
}

main() {
  var o = new O();
  (o + 1).method(new A() + 1, new A() - 2, d: new C(), c: new B());
  Expect.equals("12345", buffer.toString());
}