| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library test.type_arguments_test; | 5 library test.type_arguments_test; |
| 6 | 6 |
| 7 import 'dart:mirrors'; | 7 import 'dart:mirrors'; |
| 8 | 8 |
| 9 import 'package:expect/expect.dart'; | 9 import 'package:expect/expect.dart'; |
| 10 | 10 |
| 11 class A<T> {} | 11 class A<T> {} |
| 12 class Z<T> {} | 12 class Z<T> {} |
| 13 class B extends A {} // Same as class B extends A<dynamic>. | 13 class B extends A {} // Same as class B extends A<dynamic>. |
| 14 class C extends A | 14 class C extends A |
| 15 <num, int> // TODO(zarah): Should be "01: static warning". | 15 <num, int> // TODO(zarah): Should be "01: static warning". |
| 16 {} // Same as class C extends A<dynamic>. | 16 {} // Same as class C extends A<dynamic>. |
| 17 class D extends A<int> {} | 17 class D extends A<int> {} |
| 18 class E<S> extends A<S> {} | 18 class E<S> extends A<S> {} |
| 19 class F<R> extends A<int> {} | 19 class F<R> extends A<int> {} |
| 20 class G {} | 20 class G {} |
| 21 class H<A,B,C> {} | 21 class H<A,B,C> {} |
| 22 class I extends G {} | 22 class I extends G {} |
| 23 | 23 |
| 24 typeParameters(mirror, parameterNames) { | 24 typeParameters(mirror, parameterNames) { |
| 25 Expect.listEquals(parameterNames.map((n) => new Symbol(n)).toList(), | 25 Expect.listEquals(parameterNames, |
| 26 mirror.typeVariables.map((v) => v.simpleName).toList()); | 26 mirror.typeVariables.map((v) => v.simpleName).toList()); |
| 27 } | 27 } |
| 28 | 28 |
| 29 typeArguments(mirror, argumentMirrors) { | 29 typeArguments(mirror, argumentMirrors) { |
| 30 Expect.listEquals(argumentMirrors, mirror.typeArguments); | 30 Expect.listEquals(argumentMirrors, mirror.typeArguments); |
| 31 } | 31 } |
| 32 | 32 |
| 33 main() { | 33 main() { |
| 34 // Declarations. | 34 // Declarations. |
| 35 typeParameters(reflectClass(A), ['T']); | 35 typeParameters(reflectClass(A), [#T]); |
| 36 typeParameters(reflectClass(G), []); | 36 typeParameters(reflectClass(G), []); |
| 37 typeParameters(reflectClass(B), []); | 37 typeParameters(reflectClass(B), []); |
| 38 typeParameters(reflectClass(C), []); | 38 typeParameters(reflectClass(C), []); |
| 39 typeParameters(reflectClass(D), []); | 39 typeParameters(reflectClass(D), []); |
| 40 typeParameters(reflectClass(E), ['S']); | 40 typeParameters(reflectClass(E), [#S]); |
| 41 typeParameters(reflectClass(F), ['R']); | 41 typeParameters(reflectClass(F), [#R]); |
| 42 typeParameters(reflectClass(G), []); | 42 typeParameters(reflectClass(G), []); |
| 43 typeParameters(reflectClass(H), ['A', 'B', 'C']); | 43 typeParameters(reflectClass(H), [#A, #B, #C]); |
| 44 typeParameters(reflectClass(I), []); | 44 typeParameters(reflectClass(I), []); |
| 45 | 45 |
| 46 typeArguments(reflectClass(A), []); | 46 typeArguments(reflectClass(A), []); |
| 47 typeArguments(reflectClass(B), []); | 47 typeArguments(reflectClass(B), []); |
| 48 typeArguments(reflectClass(C), []); | 48 typeArguments(reflectClass(C), []); |
| 49 typeArguments(reflectClass(D), []); | 49 typeArguments(reflectClass(D), []); |
| 50 typeArguments(reflectClass(E), []); | 50 typeArguments(reflectClass(E), []); |
| 51 typeArguments(reflectClass(F), []); | 51 typeArguments(reflectClass(F), []); |
| 52 typeArguments(reflectClass(G), []); | 52 typeArguments(reflectClass(G), []); |
| 53 typeArguments(reflectClass(H), []); | 53 typeArguments(reflectClass(H), []); |
| (...skipping 13 matching lines...) Expand all Loading... |
| 67 Expect.equals(reflectClass(B), reflectClass(B).originalDeclaration); | 67 Expect.equals(reflectClass(B), reflectClass(B).originalDeclaration); |
| 68 Expect.equals(reflectClass(C), reflectClass(C).originalDeclaration); | 68 Expect.equals(reflectClass(C), reflectClass(C).originalDeclaration); |
| 69 Expect.equals(reflectClass(D), reflectClass(D).originalDeclaration); | 69 Expect.equals(reflectClass(D), reflectClass(D).originalDeclaration); |
| 70 Expect.equals(reflectClass(E), reflectClass(E).originalDeclaration); | 70 Expect.equals(reflectClass(E), reflectClass(E).originalDeclaration); |
| 71 Expect.equals(reflectClass(F), reflectClass(F).originalDeclaration); | 71 Expect.equals(reflectClass(F), reflectClass(F).originalDeclaration); |
| 72 Expect.equals(reflectClass(G), reflectClass(G).originalDeclaration); | 72 Expect.equals(reflectClass(G), reflectClass(G).originalDeclaration); |
| 73 Expect.equals(reflectClass(H), reflectClass(H).originalDeclaration); | 73 Expect.equals(reflectClass(H), reflectClass(H).originalDeclaration); |
| 74 Expect.equals(reflectClass(I), reflectClass(I).originalDeclaration); | 74 Expect.equals(reflectClass(I), reflectClass(I).originalDeclaration); |
| 75 | 75 |
| 76 // Instantiations. | 76 // Instantiations. |
| 77 typeParameters(reflect(new A<num>()).type, ['T']); | 77 typeParameters(reflect(new A<num>()).type, [#T]); |
| 78 typeParameters(reflect(new B<num>()).type, []); | 78 typeParameters(reflect(new B<num>()).type, []); |
| 79 typeParameters(reflect(new C()).type, []); | 79 typeParameters(reflect(new C()).type, []); |
| 80 typeParameters(reflect(new D()).type, []); | 80 typeParameters(reflect(new D()).type, []); |
| 81 typeParameters(reflect(new E()).type, ['S']); | 81 typeParameters(reflect(new E()).type, [#S]); |
| 82 typeParameters(reflect(new F<num>()).type, ['R']); | 82 typeParameters(reflect(new F<num>()).type, [#R]); |
| 83 typeParameters(reflect(new G()).type, []); | 83 typeParameters(reflect(new G()).type, []); |
| 84 typeParameters(reflect(new H()).type, ['A', 'B', 'C']); | 84 typeParameters(reflect(new H()).type, [#A, #B, #C]); |
| 85 typeParameters(reflect(new I()).type, []); | 85 typeParameters(reflect(new I()).type, []); |
| 86 | 86 |
| 87 var numMirror = reflectClass(num); | 87 var numMirror = reflectClass(num); |
| 88 var dynamicMirror = currentMirrorSystem().dynamicType; | 88 var dynamicMirror = currentMirrorSystem().dynamicType; |
| 89 typeArguments(reflect(new A<num>()).type, [numMirror]); | 89 typeArguments(reflect(new A<num>()).type, [numMirror]); |
| 90 typeArguments(reflect(new A<dynamic>()).type, [dynamicMirror]); /// 01: ok | 90 typeArguments(reflect(new A<dynamic>()).type, [dynamicMirror]); /// 01: ok |
| 91 typeArguments(reflect(new A()).type, [dynamicMirror]); /// 01: ok | 91 typeArguments(reflect(new A()).type, [dynamicMirror]); /// 01: ok |
| 92 typeArguments(reflect(new B()).type, []); | 92 typeArguments(reflect(new B()).type, []); |
| 93 typeArguments(reflect(new C()).type, []); | 93 typeArguments(reflect(new C()).type, []); |
| 94 typeArguments(reflect(new D()).type, []); | 94 typeArguments(reflect(new D()).type, []); |
| (...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 147 Expect.equals(reflect(new G()).type, | 147 Expect.equals(reflect(new G()).type, |
| 148 reflect(new G()).type.originalDeclaration); | 148 reflect(new G()).type.originalDeclaration); |
| 149 Expect.notEquals(reflect(new H()).type, /// 01: ok | 149 Expect.notEquals(reflect(new H()).type, /// 01: ok |
| 150 reflect(new H()).type.originalDeclaration); /// 01: ok | 150 reflect(new H()).type.originalDeclaration); /// 01: ok |
| 151 Expect.equals(reflect(new I()).type, | 151 Expect.equals(reflect(new I()).type, |
| 152 reflect(new I()).type.originalDeclaration); | 152 reflect(new I()).type.originalDeclaration); |
| 153 | 153 |
| 154 // Library members are all uninstantaited generics or non-generics. | 154 // Library members are all uninstantaited generics or non-generics. |
| 155 currentMirrorSystem().libraries.values.forEach((libraryMirror) { | 155 currentMirrorSystem().libraries.values.forEach((libraryMirror) { |
| 156 libraryMirror.classes.values.forEach((classMirror) { | 156 libraryMirror.classes.values.forEach((classMirror) { |
| 157 // TODO(12282): Deal with generic typedefs. | 157 // Generic typedefs are considered in a separate test. |
| 158 if (classMirror is! TypedefMirror) { | 158 if (classMirror is! TypedefMirror) { |
| 159 Expect.isTrue(classMirror.isOriginalDeclaration); | 159 Expect.isTrue(classMirror.isOriginalDeclaration); |
| 160 Expect.equals(classMirror, classMirror.originalDeclaration); | 160 Expect.equals(classMirror, classMirror.originalDeclaration); |
| 161 } | 161 } |
| 162 }); | 162 }); |
| 163 }); | 163 }); |
| 164 | 164 |
| 165 Expect.equals(reflectClass(A).typeVariables[0].owner, reflectClass(A)); | 165 Expect.equals(reflectClass(A).typeVariables[0].owner, reflectClass(A)); |
| 166 Expect.equals(reflectClass(Z).typeVariables[0].owner, reflectClass(Z)); | 166 Expect.equals(reflectClass(Z).typeVariables[0].owner, reflectClass(Z)); |
| 167 Expect.notEquals(reflectClass(A).typeVariables[0], | 167 Expect.notEquals(reflectClass(A).typeVariables[0], |
| 168 reflectClass(Z).typeVariables[0]); | 168 reflectClass(Z).typeVariables[0]); |
| 169 Expect.equals(reflectClass(A).typeVariables[0], | 169 Expect.equals(reflectClass(A).typeVariables[0], |
| 170 reflectClass(A).typeVariables[0]); | 170 reflectClass(A).typeVariables[0]); |
| 171 } | 171 } |
| OLD | NEW |