More mirror tests: initializing formals and substituted types in instantiated generics.

tests/lib/mirrors/generics_substitution_test.dart

Index: tests/lib/mirrors/generics_substitution_test.dart
diff --git a/tests/lib/mirrors/generics_substitution_test.dart b/tests/lib/mirrors/generics_substitution_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..044854663226e0e9cab82c38f2f0a3bc5a865744
--- /dev/null
+++ b/tests/lib/mirrors/generics_substitution_test.dart
@@ -0,0 +1,52 @@
+// 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.generics_substitution;
+
+import 'dart:mirrors';
+import 'package:expect/expect.dart';
+
+class SuperGeneric<R, S> {
+  R r;
+  s(S s) {}
+}
+
+class Generic<T> extends SuperGeneric<T, int> {
+  T t() {}
+}
+
+main() {
+  ClassMirror genericDecl = reflectClass(Generic);
+  ClassMirror genericOfString = reflect(new Generic<String>()).type;
+  ClassMirror superGenericDecl = reflectClass(SuperGeneric);
+  ClassMirror superOfTAndInt = genericDecl.superclass;
+  ClassMirror superOfStringAndInt = genericOfString.superclass;
+
+  Expect.isTrue(genericDecl.isOriginalDeclaration);
+  Expect.isFalse(genericOfString.isOriginalDeclaration);
+  Expect.isTrue(superGenericDecl.isOriginalDeclaration);
+  Expect.isFalse(superOfTAndInt.isOriginalDeclaration);
+  Expect.isFalse(superOfStringAndInt.isOriginalDeclaration);
+
+  Symbol r(ClassMirror cm) => cm.variables[#r].type.simpleName;
+  Symbol s(ClassMirror cm) => cm.methods[#s].parameters[0].type.simpleName;
+  Symbol t(ClassMirror cm) => cm.methods[#t].returnType.simpleName;
+  
+  Expect.equals(#R, r(genericDecl.superclass));
+  Expect.equals(#S, s(genericDecl.superclass));

[gbracha, 2013/10/03 23:20:01]

These two are wrong. The first is T, the second is int

[rmacnak, 2013/10/04 01:17:36]

Done.

+  Expect.equals(#T, t(genericDecl));
+
+  Expect.equals(#String, r(genericOfString.superclass));
+  Expect.equals(#int, s(genericOfString.superclass));
+  Expect.equals(#T, t(genericOfString));

[gbracha, 2013/10/03 23:20:01]

Should be string

[rmacnak, 2013/10/04 01:17:36]

Done.

+
+  Expect.equals(#R, r(superGenericDecl));
+  Expect.equals(#S, s(superGenericDecl));
+
+  Expect.equals(#T, r(superOfTAndInt));
+  Expect.equals(#int, s(superOfTAndInt));
+
+  Expect.equals(#String, r(superOfStringAndInt));
+  Expect.equals(#int, t(superOfStringAndInt));
+}