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

Side by Side Diff: tests/lib/mirrors/generic_bounded_test.dart

Issue 49083004: Re-triage mirror test failures on the analyzer. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 7 years, 1 month 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 unified diff | Download patch | Annotate | Revision Log
OLDNEW
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_bounded; 5 library test.generic_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 Super<T extends num> {} 13 class Super<T extends num> {}
14 14
15 class Fixed extends Super<int> {} 15 class Fixed extends Super<int> {}
16 class Generic<R> extends Super<R> {} 16 class Generic<R> extends Super<R> {} /// 02: static type warning
17 class Malbounded extends Super<String> {} /// 01: static type warning 17 class Malbounded extends Super<String> {} /// 01: static type warning
18 18
19 main() { 19 main() {
20 ClassMirror superDecl = reflectClass(Super); 20 ClassMirror superDecl = reflectClass(Super);
21 ClassMirror superOfInt = reflectClass(Fixed).superclass; 21 ClassMirror superOfInt = reflectClass(Fixed).superclass;
22 ClassMirror genericDecl = reflectClass(Generic); 22 ClassMirror genericDecl = reflectClass(Generic); /// 02: continued
23 ClassMirror superOfR = genericDecl.superclass; 23 ClassMirror superOfR = genericDecl.superclass; /// 02: continued
24 ClassMirror genericOfDouble = reflect(new Generic<double>()).type; 24 ClassMirror genericOfDouble = reflect(new Generic<double>()).type; /// 02: co ntinued
25 ClassMirror superOfDouble = genericOfDouble.superclass; 25 ClassMirror superOfDouble = genericOfDouble.superclass; /// 02: continued
26 ClassMirror genericOfBool = reflect(new Generic<bool>()).type; /// 02: static type warning, dynamic type error 26 ClassMirror genericOfBool = reflect(new Generic<bool>()).type; /// 02: static type warning, dynamic type error
27 ClassMirror superOfBool = genericOfBool.superclass; /// 02: continued 27 ClassMirror superOfBool = genericOfBool.superclass; /// 02: continued
28 ClassMirror superOfString = reflectClass(Malbounded).superclass; /// 01: cont inued 28 ClassMirror superOfString = reflectClass(Malbounded).superclass; /// 01: cont inued
29 29
30 Expect.isTrue(superDecl.isOriginalDeclaration); 30 Expect.isTrue(superDecl.isOriginalDeclaration);
31 Expect.isFalse(superOfInt.isOriginalDeclaration); 31 Expect.isFalse(superOfInt.isOriginalDeclaration);
32 Expect.isTrue(genericDecl.isOriginalDeclaration); 32 Expect.isTrue(genericDecl.isOriginalDeclaration); /// 02: continued
33 Expect.isFalse(superOfR.isOriginalDeclaration); 33 Expect.isFalse(superOfR.isOriginalDeclaration); /// 02: continued
34 Expect.isFalse(genericOfDouble.isOriginalDeclaration); 34 Expect.isFalse(genericOfDouble.isOriginalDeclaration); /// 02: continued
35 Expect.isFalse(superOfDouble.isOriginalDeclaration); 35 Expect.isFalse(superOfDouble.isOriginalDeclaration); /// 02: continued
36 Expect.isFalse(genericOfBool.isOriginalDeclaration); /// 02: continued 36 Expect.isFalse(genericOfBool.isOriginalDeclaration); /// 02: continued
37 Expect.isFalse(superOfBool.isOriginalDeclaration); /// 02: continued 37 Expect.isFalse(superOfBool.isOriginalDeclaration); /// 02: continued
38 Expect.isFalse(superOfString.isOriginalDeclaration); /// 01: continued 38 Expect.isFalse(superOfString.isOriginalDeclaration); /// 01: continued
39 39
40 TypeVariableMirror tFromSuper = superDecl.typeVariables.single; 40 TypeVariableMirror tFromSuper = superDecl.typeVariables.single;
41 TypeVariableMirror rFromGeneric = genericDecl.typeVariables.single; 41 TypeVariableMirror rFromGeneric = genericDecl.typeVariables.single; /// 02: c ontinued
42 42
43 Expect.equals(reflectClass(num), tFromSuper.upperBound); 43 Expect.equals(reflectClass(num), tFromSuper.upperBound);
44 Expect.equals(reflectClass(Object), rFromGeneric.upperBound); 44 Expect.equals(reflectClass(Object), rFromGeneric.upperBound); /// 02: continu ed
45 45
46 typeParameters(superDecl, [#T]); 46 typeParameters(superDecl, [#T]);
47 typeParameters(superOfInt, [#T]); 47 typeParameters(superOfInt, [#T]);
48 typeParameters(genericDecl, [#R]); 48 typeParameters(genericDecl, [#R]); /// 02: continued
49 typeParameters(superOfR, [#T]); 49 typeParameters(superOfR, [#T]); /// 02: continued
50 typeParameters(genericOfDouble, [#R]); 50 typeParameters(genericOfDouble, [#R]); /// 02: continued
51 typeParameters(superOfDouble, [#T]); 51 typeParameters(superOfDouble, [#T]); /// 02: continued
52 typeParameters(genericOfBool, [#R]); /// 02: continued 52 typeParameters(genericOfBool, [#R]); /// 02: continued
53 typeParameters(superOfBool, [#T]); /// 02: continued 53 typeParameters(superOfBool, [#T]); /// 02: continued
54 typeParameters(superOfString, [#T]); /// 01: continued 54 typeParameters(superOfString, [#T]); /// 01: continued
55 55
56 typeArguments(superDecl, []); 56 typeArguments(superDecl, []);
57 typeArguments(superOfInt, [reflectClass(int)]); 57 typeArguments(superOfInt, [reflectClass(int)]);
58 typeArguments(genericDecl, []); 58 typeArguments(genericDecl, []); /// 02: continued
59 typeArguments(superOfR, [rFromGeneric]); 59 typeArguments(superOfR, [rFromGeneric]); /// 02: continued
60 typeArguments(genericOfDouble, [reflectClass(double)]); 60 typeArguments(genericOfDouble, [reflectClass(double)]); /// 02: continued
61 typeArguments(superOfDouble, [reflectClass(double)]); 61 typeArguments(superOfDouble, [reflectClass(double)]); /// 02: continued
62 typeArguments(genericOfBool, [reflectClass(bool)]); /// 02: continued 62 typeArguments(genericOfBool, [reflectClass(bool)]); /// 02: continued
63 typeArguments(superOfBool, [reflectClass(bool)]); /// 02: continued 63 typeArguments(superOfBool, [reflectClass(bool)]); /// 02: continued
64 typeArguments(superOfString, [reflectClass(String)]); /// 01: continued 64 typeArguments(superOfString, [reflectClass(String)]); /// 01: continued
65 } 65 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698