blob: ba1890077c3225900063e2fe1e78bba2aa162871 [file] [log] [blame]
// 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_argument_is_type_variable;
@MirrorsUsed(targets: "test.type_argument_is_type_variable")
import 'dart:mirrors';
import 'package:expect/expect.dart';
import 'generics_helper.dart';
class SuperSuper<SS> {}
class Super<S> extends SuperSuper<S> {}
class Generic<G> extends Super<G> {}
main() {
// Declarations.
ClassMirror generic = reflectClass(Generic);
ClassMirror superOfGeneric = generic.superclass;
ClassMirror superOfSuperOfGeneric = superOfGeneric.superclass;
TypeVariableMirror gFromGeneric = generic.typeVariables.single;
TypeVariableMirror sFromSuper = superOfGeneric.typeVariables.single;
TypeVariableMirror ssFromSuperSuper =
superOfSuperOfGeneric.typeVariables.single;
Expect.equals(#G, gFromGeneric.simpleName);
Expect.equals(#S, sFromSuper.simpleName);
Expect.equals(#SS, ssFromSuperSuper.simpleName);
typeParameters(generic, [#G]);
typeParameters(superOfGeneric, [#S]);
typeParameters(superOfSuperOfGeneric, [#SS]);
typeArguments(generic, []);
typeArguments(superOfGeneric, [gFromGeneric]);
typeArguments(superOfSuperOfGeneric, [gFromGeneric]);
// Instantiations.
ClassMirror genericWithInt = reflect(new Generic<int>()).type;
ClassMirror superOfGenericWithInt = genericWithInt.superclass;
ClassMirror superOfSuperOfGenericWithInt = superOfGenericWithInt.superclass;
typeParameters(genericWithInt, [#G]);
typeParameters(superOfGenericWithInt, [#S]);
typeParameters(superOfSuperOfGenericWithInt, [#SS]);
typeArguments(genericWithInt, [reflectClass(int)]);
typeArguments(superOfGenericWithInt, [reflectClass(int)]);
typeArguments(superOfSuperOfGenericWithInt, [reflectClass(int)]);
}