mirror of
https://github.com/dart-lang/sdk
synced 2024-09-20 07:31:33 +00:00
b091570a09
This reverts commit f58517a87a
.
Bug:
Change-Id: I1da91b30499a768aee7521c16a8ce2fc79604b15
Reviewed-on: https://dart-review.googlesource.com/6169
Reviewed-by: Phil Quitslund <pquitslund@google.com>
81 lines
1.5 KiB
Dart
81 lines
1.5 KiB
Dart
// Copyright (c) 2012, 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.
|
|
|
|
import "package:expect/expect.dart";
|
|
|
|
// Tests classes with getters and setters that do not have the same type.
|
|
|
|
class A {
|
|
int a() {
|
|
return 37;
|
|
}
|
|
}
|
|
|
|
class B extends A {
|
|
int b() {
|
|
return 38;
|
|
}
|
|
}
|
|
|
|
class C {}
|
|
|
|
class T1 {
|
|
A getterField;
|
|
A get field {
|
|
return getterField;
|
|
}
|
|
|
|
// OK, B is assignable to A
|
|
void set field(B arg) {
|
|
getterField = arg;
|
|
}
|
|
}
|
|
|
|
class T2 {
|
|
A getterField;
|
|
C setterField;
|
|
A get field {
|
|
return getterField;
|
|
}
|
|
|
|
// Type C is not assignable to A
|
|
void set field(C arg) { setterField = arg; } //# 01: static type warning
|
|
}
|
|
|
|
class T3 {
|
|
B getterField;
|
|
B get field {
|
|
return getterField;
|
|
}
|
|
|
|
// OK, A is assignable to B
|
|
void set field(A arg) {
|
|
getterField = arg;
|
|
}
|
|
}
|
|
|
|
main() {
|
|
T1 instance1 = new T1();
|
|
T2 instance2 = new T2(); //# 01: continued
|
|
T3 instance3 = new T3();
|
|
|
|
instance1.field = new B();
|
|
A resultA = instance1.field;
|
|
Expect.throwsTypeError(() => instance1.field = new A() as dynamic);
|
|
B resultB = instance1.field;
|
|
|
|
int result;
|
|
result = instance1.field.a();
|
|
Expect.equals(37, result);
|
|
|
|
// Type 'A' has no method named 'b'
|
|
instance1.field.b(); //# 02: compile-time error
|
|
|
|
instance3.field = new B();
|
|
result = instance3.field.a();
|
|
Expect.equals(37, result);
|
|
result = instance3.field.b();
|
|
Expect.equals(38, result);
|
|
}
|