OLD | NEW |
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.generic_f_bounded; | 5 library test.generic_f_bounded; |
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 import 'generics_test.dart'; | 11 import 'generics_helper.dart'; |
12 | 12 |
13 class Magnitude<T> {} | 13 class Magnitude<T> {} |
14 class Real extends Magnitude<Real> {} | 14 class Real extends Magnitude<Real> {} |
15 class Sorter<R extends Magnitude<R>> {} | 15 class Sorter<R extends Magnitude<R>> {} |
16 class RealSorter extends Sorter<Real> {} | 16 class RealSorter extends Sorter<Real> {} |
17 | 17 |
18 main() { | 18 main() { |
19 ClassMirror magnitudeDecl = reflectClass(Magnitude); | 19 ClassMirror magnitudeDecl = reflectClass(Magnitude); |
20 ClassMirror realDecl = reflectClass(Real); | 20 ClassMirror realDecl = reflectClass(Real); |
21 ClassMirror sorterDecl = reflectClass(Sorter); | 21 ClassMirror sorterDecl = reflectClass(Sorter); |
(...skipping 27 matching lines...) Expand all Loading... |
49 typeParameters(magnitudeOfR, [#T]); | 49 typeParameters(magnitudeOfR, [#T]); |
50 | 50 |
51 typeArguments(magnitudeDecl, []); | 51 typeArguments(magnitudeDecl, []); |
52 typeArguments(realDecl, []); | 52 typeArguments(realDecl, []); |
53 typeArguments(sorterDecl, []); | 53 typeArguments(sorterDecl, []); |
54 typeArguments(realSorterDecl, []); | 54 typeArguments(realSorterDecl, []); |
55 typeArguments(magnitudeOfReal, [realDecl]); /// 01: ok | 55 typeArguments(magnitudeOfReal, [realDecl]); /// 01: ok |
56 typeArguments(sorterOfReal, [realDecl]); /// 01: ok | 56 typeArguments(sorterOfReal, [realDecl]); /// 01: ok |
57 typeArguments(magnitudeOfR, [rFromSorter]); | 57 typeArguments(magnitudeOfR, [rFromSorter]); |
58 } | 58 } |
OLD | NEW |