Language/Expressions/Method_Invocation/Super_Invocation/evaluation_t03.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 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 value of an expression is the value returned
/// after f is executed.
/// @author msyabro

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

class S {
  m1() => "v";
  m2() => false;
  m3() => 1;
  m4() => null;
}

class A extends S {
  test() {
    Expect.equals("v", super.m1());
    Expect.equals(false, super.m2());
    Expect.equals(1, super.m3());
    Expect.isNull(super.m4());
  }
}

main()  {
  new A().test();
}