blob: b9e4f9323a70b04669e92ae87251df5c1c8e5da1 [file] [log] [blame]
/*
* Copyright (c) 2015, 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 a conditional ordinary method invocation e of the
* form o?.m(a1, ..., an, xn+1 : an+1, ..., xn+k : an+k)
* is equivalent to the evaluation of the expression
* ((x) => x == null?null : x.m(a1, ..., an, xn+1 : an+1, ..., xn+k : an+k))(o).
* unless o is a type literal, in which case it is equivalent to
* o.m(a1, ..., an, xn+1 : an+1, ..., xn+k : an+k).
* @description Check that e1?.m() is equivalent to
* ((x) => x == null?null : x.m())(o). Method that invoked is in the superclass
* @author sgrekhov@unipro.ru
*/
import '../../../../Utils/expect.dart';
class A {
String m() => "id";
}
class C extends A {
}
main() {
C c1 = new C();
C c2 = null;
Expect.equals("id", c1?.m());
Expect.isNull(c2?.m());
}