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

Unified Diff: test/codegen/lib/mirrors/generics_test.dart

Issue 2265533002: Add mirrors tests (Closed) Base URL: https://github.com/dart-lang/dev_compiler.git@master
Patch Set: Created 4 years, 4 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 side-by-side diff with in-line comments
Download patch
Index: test/codegen/lib/mirrors/generics_test.dart
diff --git a/test/codegen/lib/mirrors/generics_test.dart b/test/codegen/lib/mirrors/generics_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..10fe2e39c3c1af7f090fa06df958aa14321997bb
--- /dev/null
+++ b/test/codegen/lib/mirrors/generics_test.dart
@@ -0,0 +1,162 @@
+// 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 test.type_arguments_test;
+
+import 'dart:mirrors';
+
+import 'package:expect/expect.dart';
+import 'generics_helper.dart';
+
+class A<T> {}
+class Z<T> {}
+class B extends A {}
+class C
+ extends A<num, int> /// 01: static type warning
+ {}
+class D extends A<int> {}
+class E<S> extends A<S> {}
+class F<R> extends A<int> {}
+class G {}
+class H<A,B,C> {}
+class I extends G {}
+
+main() {
+ // Declarations.
+ typeParameters(reflectClass(A), [#T]);
+ typeParameters(reflectClass(G), []);
+ typeParameters(reflectClass(B), []);
+ typeParameters(reflectClass(C), []);
+ typeParameters(reflectClass(D), []);
+ typeParameters(reflectClass(E), [#S]);
+ typeParameters(reflectClass(F), [#R]);
+ typeParameters(reflectClass(G), []);
+ typeParameters(reflectClass(H), [#A, #B, #C]);
+ typeParameters(reflectClass(I), []);
+
+ typeArguments(reflectClass(A), []);
+ typeArguments(reflectClass(B), []);
+ typeArguments(reflectClass(C), []);
+ typeArguments(reflectClass(D), []);
+ typeArguments(reflectClass(E), []);
+ typeArguments(reflectClass(F), []);
+ typeArguments(reflectClass(G), []);
+ typeArguments(reflectClass(H), []);
+ typeArguments(reflectClass(I), []);
+
+ Expect.isTrue(reflectClass(A).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(B).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(C).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(D).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(E).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(F).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(G).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(H).isOriginalDeclaration);
+ Expect.isTrue(reflectClass(I).isOriginalDeclaration);
+
+ Expect.equals(reflectClass(A), reflectClass(A).originalDeclaration);
+ Expect.equals(reflectClass(B), reflectClass(B).originalDeclaration);
+ Expect.equals(reflectClass(C), reflectClass(C).originalDeclaration);
+ Expect.equals(reflectClass(D), reflectClass(D).originalDeclaration);
+ Expect.equals(reflectClass(E), reflectClass(E).originalDeclaration);
+ Expect.equals(reflectClass(F), reflectClass(F).originalDeclaration);
+ Expect.equals(reflectClass(G), reflectClass(G).originalDeclaration);
+ Expect.equals(reflectClass(H), reflectClass(H).originalDeclaration);
+ Expect.equals(reflectClass(I), reflectClass(I).originalDeclaration);
+
+ // Instantiations.
+ typeParameters(reflect(new A<num>()).type, [#T]);
+ typeParameters(reflect(new B()).type, []);
+ typeParameters(reflect(new C()).type, []);
+ typeParameters(reflect(new D()).type, []);
+ typeParameters(reflect(new E()).type, [#S]);
+ typeParameters(reflect(new F<num>()).type, [#R]);
+ typeParameters(reflect(new G()).type, []);
+ typeParameters(reflect(new H()).type, [#A, #B, #C]);
+ typeParameters(reflect(new I()).type, []);
+
+ var numMirror = reflectClass(num);
+ var dynamicMirror = currentMirrorSystem().dynamicType;
+ typeArguments(reflect(new A<num>()).type, [numMirror]);
+ typeArguments(reflect(new A<dynamic>()).type, [dynamicMirror]);
+ typeArguments(reflect(new A()).type, [dynamicMirror]);
+ typeArguments(reflect(new B()).type, []);
+ typeArguments(reflect(new C()).type, []);
+ typeArguments(reflect(new D()).type, []);
+ typeArguments(reflect(new E<num>()).type, [numMirror]);
+ typeArguments(reflect(new E<dynamic>()).type, [dynamicMirror]);
+ typeArguments(reflect(new E()).type, [dynamicMirror]);
+ typeArguments(reflect(new F<num>()).type, [numMirror]);
+ typeArguments(reflect(new F<dynamic>()).type, [dynamicMirror]);
+ typeArguments(reflect(new F()).type, [dynamicMirror]);
+ typeArguments(reflect(new G()).type, []);
+ typeArguments(reflect(new H<dynamic, num, dynamic>()).type,
+ [dynamicMirror, numMirror, dynamicMirror]);
+ typeArguments(reflect(new I()).type, []);
+
+ Expect.isFalse(reflect(new A<num>()).type.isOriginalDeclaration);
+ Expect.isTrue(reflect(new B()).type.isOriginalDeclaration);
+ Expect.isTrue(reflect(new C()).type.isOriginalDeclaration);
+ Expect.isTrue(reflect(new D()).type.isOriginalDeclaration);
+ Expect.isFalse(reflect(new E<num>()).type.isOriginalDeclaration);
+ Expect.isFalse(reflect(new F<num>()).type.isOriginalDeclaration);
+ Expect.isTrue(reflect(new G()).type.isOriginalDeclaration);
+ Expect.isFalse(reflect(new H()).type.isOriginalDeclaration);
+ Expect.isTrue(reflect(new I()).type.isOriginalDeclaration);
+
+ Expect.equals(reflectClass(A),
+ reflect(new A<num>()).type.originalDeclaration);
+ Expect.equals(reflectClass(B),
+ reflect(new B()).type.originalDeclaration);
+ Expect.equals(reflectClass(C),
+ reflect(new C()).type.originalDeclaration);
+ Expect.equals(reflectClass(D),
+ reflect(new D()).type.originalDeclaration);
+ Expect.equals(reflectClass(E),
+ reflect(new E<num>()).type.originalDeclaration);
+ Expect.equals(reflectClass(F),
+ reflect(new F<num>()).type.originalDeclaration);
+ Expect.equals(reflectClass(G),
+ reflect(new G()).type.originalDeclaration);
+ Expect.equals(reflectClass(H),
+ reflect(new H()).type.originalDeclaration);
+ Expect.equals(reflectClass(I),
+ reflect(new I()).type.originalDeclaration);
+
+ Expect.notEquals(reflect(new A<num>()).type,
+ reflect(new A<num>()).type.originalDeclaration);
+ Expect.equals(reflect(new B()).type,
+ reflect(new B()).type.originalDeclaration);
+ Expect.equals(reflect(new C()).type,
+ reflect(new C()).type.originalDeclaration);
+ Expect.equals(reflect(new D()).type,
+ reflect(new D()).type.originalDeclaration);
+ Expect.notEquals(reflect(new E<num>()).type,
+ reflect(new E<num>()).type.originalDeclaration);
+ Expect.notEquals(reflect(new F<num>()).type,
+ reflect(new F<num>()).type.originalDeclaration);
+ Expect.equals(reflect(new G()).type,
+ reflect(new G()).type.originalDeclaration);
+ Expect.notEquals(reflect(new H()).type,
+ reflect(new H()).type.originalDeclaration);
+ Expect.equals(reflect(new I()).type,
+ reflect(new I()).type.originalDeclaration);
+
+ // Library members are all uninstantaited generics or non-generics.
+ currentMirrorSystem().libraries.values.forEach((libraryMirror) {
+ libraryMirror.declarations.values.forEach((declaration) {
+ if (declaration is ClassMirror) {
+ Expect.isTrue(declaration.isOriginalDeclaration);
+ Expect.equals(declaration, declaration.originalDeclaration);
+ }
+ });
+ });
+
+ Expect.equals(reflectClass(A).typeVariables[0].owner, reflectClass(A));
+ Expect.equals(reflectClass(Z).typeVariables[0].owner, reflectClass(Z));
+ Expect.notEquals(reflectClass(A).typeVariables[0],
+ reflectClass(Z).typeVariables[0]);
+ Expect.equals(reflectClass(A).typeVariables[0],
+ reflectClass(A).typeVariables[0]);
+}
« no previous file with comments | « test/codegen/lib/mirrors/generics_substitution_test.dart ('k') | test/codegen/lib/mirrors/get_field_cache_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698