// 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. | |
library subtype_test; | |
import 'package:expect/expect.dart'; | |
import 'type_test_helper.dart'; | |
import '../../../sdk/lib/_internal/compiler/implementation/dart_types.dart'; | |
import "../../../sdk/lib/_internal/compiler/implementation/elements/elements.dart" | |
show Element, ClassElement; | |
void main() { | |
test(); | |
} | |
void test() { | |
var env = new TypeEnvironment(r""" | |
class A<T> { | |
T foo; | |
} | |
class B<S> extends A<A<S>> { | |
S bar; | |
} | |
class C<U> extends B<String> with D<B<U>> { | |
U baz; | |
} | |
class D<V> { | |
V boz; | |
} | |
"""); | |
void expect(DartType receiverType, String memberName, DartType expectedType) { | |
Member member = receiverType.lookupMember(env.sourceString(memberName)); | |
Expect.isNotNull(member); | |
DartType memberType = member.computeType(env.compiler); | |
Expect.equals(expectedType, memberType, | |
'Wrong member type for $receiverType.$memberName.'); | |
} | |
DartType int_ = env['int']; | |
DartType String_ = env['String']; | |
ClassElement A = env.getElement('A'); | |
DartType T = A.typeVariables.head; | |
DartType A_T = A.thisType; | |
expect(A_T, 'foo', T); | |
DartType A_int = instantiate(A, [int_]); | |
expect(A_int, 'foo', int_); | |
ClassElement B = env.getElement('B'); | |
DartType S = B.typeVariables.head; | |
DartType B_S = B.thisType; | |
expect(B_S, 'foo', instantiate(A, [S])); | |
expect(B_S, 'bar', S); | |
DartType B_int = instantiate(B, [int_]); | |
expect(B_int, 'foo', A_int); | |
expect(B_int, 'bar', int_); | |
ClassElement C = env.getElement('C'); | |
DartType U = C.typeVariables.head; | |
DartType C_U = C.thisType; | |
expect(C_U, 'foo', instantiate(A, [String_])); | |
expect(C_U, 'bar', String_); | |
expect(C_U, 'baz', U); | |
expect(C_U, 'boz', instantiate(B, [U])); | |
DartType C_int = instantiate(C, [int_]); | |
expect(C_int, 'foo', instantiate(A, [String_])); | |
expect(C_int, 'bar', String_); | |
expect(C_int, 'baz', int_); | |
expect(C_int, 'boz', instantiate(B, [int_])); | |
} | |