Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(77)

Side by Side Diff: tests/lib/mirrors/generics_test.dart

Issue 25609003: Add missing test coverage for constructor kinds, generic function typedefs and generic mixin applic… (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: rebase Created 7 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
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
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
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 }
OLDNEW
« no previous file with comments | « tests/lib/mirrors/generic_mixin_applications_test.dart ('k') | tests/lib/mirrors/type_argument_is_type_variable_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698