mirror of
https://github.com/dart-lang/sdk
synced 2024-09-19 15:11:35 +00:00
b101a7d002
Change-Id: Ib33169c3e0ffc870915c189404074a1dea472546 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/196548 Reviewed-by: Bob Nystrom <rnystrom@google.com> Commit-Queue: Leaf Petersen <leafp@google.com>
108 lines
4.9 KiB
Dart
108 lines
4.9 KiB
Dart
// 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.
|
|
|
|
// @dart = 2.9
|
|
|
|
library test.generic_mixin_applications;
|
|
|
|
import 'dart:mirrors';
|
|
|
|
import 'package:expect/expect.dart';
|
|
|
|
import 'generics_helper.dart';
|
|
|
|
class Super<S> {}
|
|
|
|
class Mixin<M> {}
|
|
|
|
class Nixim<N> {}
|
|
|
|
class NonGenericMixinApplication1 = Super with Mixin;
|
|
class NonGenericMixinApplication2 = Super<num> with Mixin<String>;
|
|
|
|
class GenericMixinApplication1<MA> = Super<MA> with Mixin<MA>;
|
|
class GenericMixinApplication2<MA> = Super<num> with Mixin<String>;
|
|
|
|
class NonGenericClass1 extends Super with Mixin {}
|
|
|
|
class NonGenericClass2 extends Super<num> with Mixin<String> {}
|
|
|
|
class GenericClass1<C> extends Super<C> with Mixin<C> {}
|
|
|
|
class GenericClass2<C> extends Super<num> with Mixin<String> {}
|
|
|
|
class GenericMultipleMixins<A, B, C> extends Super<A> with Mixin<B>, Nixim<C> {}
|
|
|
|
main() {
|
|
TypeMirror dynamicMirror = currentMirrorSystem().dynamicType;
|
|
|
|
// Declarations.
|
|
typeParameters(reflectClass(NonGenericMixinApplication1), []);
|
|
typeParameters(reflectClass(NonGenericMixinApplication2), []);
|
|
typeParameters(reflectClass(GenericMixinApplication1), [#MA]);
|
|
typeParameters(reflectClass(GenericMixinApplication2), [#MA]);
|
|
typeParameters(reflectClass(NonGenericClass1), []);
|
|
typeParameters(reflectClass(NonGenericClass2), []);
|
|
typeParameters(reflectClass(GenericClass1), [#C]);
|
|
typeParameters(reflectClass(GenericClass2), [#C]);
|
|
typeParameters(reflectClass(GenericMultipleMixins), [#A, #B, #C]);
|
|
// Anonymous mixin applications have no type parameters or type arguments.
|
|
typeParameters(reflectClass(NonGenericClass1).superclass, []);
|
|
typeParameters(reflectClass(NonGenericClass2).superclass, []);
|
|
typeParameters(reflectClass(GenericClass1).superclass, []);
|
|
typeParameters(reflectClass(GenericClass2).superclass, []);
|
|
|
|
typeArguments(reflectClass(NonGenericMixinApplication1), []);
|
|
typeArguments(reflectClass(NonGenericMixinApplication2), []);
|
|
typeArguments(reflectClass(GenericMixinApplication1), []);
|
|
typeArguments(reflectClass(GenericMixinApplication2), []);
|
|
typeArguments(reflectClass(NonGenericClass1), []);
|
|
typeArguments(reflectClass(NonGenericClass2), []);
|
|
typeArguments(reflectClass(GenericClass1), []);
|
|
typeArguments(reflectClass(GenericClass2), []);
|
|
typeArguments(reflectClass(GenericMultipleMixins), []);
|
|
// Anonymous mixin applications have no type parameters or type arguments.
|
|
typeArguments(
|
|
reflectClass(NonGenericClass1).superclass.originalDeclaration, []);
|
|
typeArguments(
|
|
reflectClass(NonGenericClass2).superclass.originalDeclaration, []);
|
|
typeArguments(reflectClass(GenericClass1).superclass.originalDeclaration, []);
|
|
typeArguments(reflectClass(GenericClass2).superclass.originalDeclaration, []);
|
|
|
|
// Instantiations.
|
|
typeParameters(reflect(new NonGenericMixinApplication1()).type, []);
|
|
typeParameters(reflect(new NonGenericMixinApplication2()).type, []);
|
|
typeParameters(reflect(new GenericMixinApplication1<bool>()).type, [#MA]);
|
|
typeParameters(reflect(new GenericMixinApplication2<bool>()).type, [#MA]);
|
|
typeParameters(reflect(new NonGenericClass1()).type, []);
|
|
typeParameters(reflect(new NonGenericClass2()).type, []);
|
|
typeParameters(reflect(new GenericClass1<bool>()).type, [#C]);
|
|
typeParameters(reflect(new GenericClass2<bool>()).type, [#C]);
|
|
typeParameters(reflect(new GenericMultipleMixins<bool, String, int>()).type,
|
|
[#A, #B, #C]);
|
|
// Anonymous mixin applications have no type parameters or type arguments.
|
|
typeParameters(reflect(new NonGenericClass1()).type.superclass, []);
|
|
typeParameters(reflect(new NonGenericClass2()).type.superclass, []);
|
|
typeParameters(reflect(new GenericClass1<bool>()).type.superclass, []);
|
|
typeParameters(reflect(new GenericClass2<bool>()).type.superclass, []);
|
|
|
|
typeArguments(reflect(new NonGenericMixinApplication1()).type, []);
|
|
typeArguments(reflect(new NonGenericMixinApplication2()).type, []);
|
|
typeArguments(
|
|
reflect(new GenericMixinApplication1<bool>()).type, [reflectClass(bool)]);
|
|
typeArguments(
|
|
reflect(new GenericMixinApplication2<bool>()).type, [reflectClass(bool)]);
|
|
typeArguments(reflect(new NonGenericClass1()).type, []);
|
|
typeArguments(reflect(new NonGenericClass2()).type, []);
|
|
typeArguments(reflect(new GenericClass1<bool>()).type, [reflectClass(bool)]);
|
|
typeArguments(reflect(new GenericClass2<bool>()).type, [reflectClass(bool)]);
|
|
typeArguments(reflect(new GenericMultipleMixins<bool, String, int>()).type,
|
|
[reflectClass(bool), reflectClass(String), reflectClass(int)]);
|
|
// Anonymous mixin applications have no type parameters or type arguments.
|
|
typeArguments(reflect(new NonGenericClass1()).type.superclass, []);
|
|
typeArguments(reflect(new NonGenericClass2()).type.superclass, []);
|
|
typeArguments(reflect(new GenericClass1<bool>()).type.superclass, []);
|
|
typeArguments(reflect(new GenericClass2<bool>()).type.superclass, []);
|
|
}
|