mirror of
https://github.com/dart-lang/sdk
synced 2024-09-18 22:01:19 +00:00
14531fa62d
Only delta from the original is a bad merge of tests/corelib/list_test.dart
This reverts commit 44d8be0ed3.
BUG=
Review-Url: https://codereview.chromium.org/2774783002 .
56 lines
1.3 KiB
Dart
56 lines
1.3 KiB
Dart
// Copyright (c) 2013, 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.
|
|
|
|
// Test use of @proxy and noSuchMethod in relation to abstract methods in
|
|
// concrete classes.
|
|
|
|
abstract class A {
|
|
method6(); //# 06: static type warning
|
|
method7(); //# 07: static type warning
|
|
method8(); //# 08: ok
|
|
}
|
|
|
|
abstract class I {
|
|
method9(); //# 09: static type warning
|
|
method10(); //# 10: static type warning
|
|
method11(); //# 11: ok
|
|
}
|
|
|
|
@proxy //# 02: static type warning
|
|
@proxy //# 07: continued
|
|
@proxy //# 10: continued
|
|
class Class1 extends A implements I {
|
|
method1(); //# 01: static type warning
|
|
|
|
method2(); //# 02: continued
|
|
|
|
noSuchMethod(_) => null; //# 03: ok
|
|
method3(); //# 03: continued
|
|
|
|
noSuchMethod(_, [__]) => null; //# 04: ok
|
|
method4(); //# 04: continued
|
|
|
|
noSuchMethod(_); //# 05: ok
|
|
method5(); //# 05: continued
|
|
|
|
noSuchMethod(_) => null; //# 08: continued
|
|
|
|
noSuchMethod(_) => null; //# 11: continued
|
|
}
|
|
|
|
@proxy //# 12: static type warning
|
|
class B {
|
|
method12(); //# 12: continued
|
|
|
|
noSuchMethod(_) => null; //# 13: ok
|
|
method13(); //# 13: continued
|
|
}
|
|
|
|
class Class2 extends B {}
|
|
|
|
main() {
|
|
new Class1();
|
|
new Class2();
|
|
}
|