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

Side by Side Diff: tests/language/generic_methods_type_expression_test.dart

Issue 2765693002: Update all tests (Closed)
Patch Set: Created 3 years, 9 months 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
OLDNEW
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2016, 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 // VMOptions=--generic-method-syntax 5 // VMOptions=--generic-method-syntax
6 6
7 /// Dart test on the usage of method type arguments in type expressions. With 7 /// Dart test on the usage of method type arguments in type expressions. With
8 /// '--generic-method-syntax', the type argument is available at runtime, 8 /// '--generic-method-syntax', the type argument is available at runtime,
9 /// but erased to `dynamic`. 9 /// but erased to `dynamic`.
10 10
11 library generic_methods_type_expression_test; 11 library generic_methods_type_expression_test;
12 12
13 import "package:expect/expect.dart"; 13 import "package:expect/expect.dart";
14 14
15 bool f1<T>(Object o) => o is T; /// 01: static type warning 15 bool f1<T>(Object o) => o is T; //# 01: static type warning
16 16
17 bool f2<T>(Object o) => o is List<T>; 17 bool f2<T>(Object o) => o is List<T>;
18 18
19 bool f3<T>(Object o) => o is! T; /// 03: static type warning 19 bool f3<T>(Object o) => o is! T; //# 03: static type warning
20 20
21 bool f4<T>(Object o) => o is! List<T>; 21 bool f4<T>(Object o) => o is! List<T>;
22 22
23 T f5<T>(Object o) => o as T; 23 T f5<T>(Object o) => o as T;
24 24
25 List<T> f6<T>(Object o) => o as List<T>; 25 List<T> f6<T>(Object o) => o as List<T>;
26 26
27 Type f7<T>() => T; 27 Type f7<T>() => T;
28 28
29 class TypeValue<X> { 29 class TypeValue<X> {
30 Type get value => X; 30 Type get value => X;
31 } 31 }
32 32
33 Type f8<T>() => new TypeValue<List<T>>().value; 33 Type f8<T>() => new TypeValue<List<T>>().value;
34 34
35 bool f9<T>(Object o) => o is Map<T, String>; 35 bool f9<T>(Object o) => o is Map<T, String>;
36 36
37 class IsMap<A> { 37 class IsMap<A> {
38 @NoInline() 38 @NoInline()
39 bool check<B>(o) => o is Map<A, B>; 39 bool check<B>(o) => o is Map<A, B>;
40 } 40 }
41 41
42 main() { 42 main() {
43 String s = "Hello!"; 43 String s = "Hello!";
44 List<String> ss = <String>[s]; 44 List<String> ss = <String>[s];
45 Expect.throws(() => f1<int>(42), (e) => e is TypeError); /// 01: continued 45 Expect.throws(() => f1<int>(42), (e) => e is TypeError); //# 01: continued
46 Expect.throws(() => f1<String>(42), (e) => e is TypeError); /// 01: continued 46 Expect.throws(() => f1<String>(42), (e) => e is TypeError); //# 01: continued
47 Expect.equals(f2<int>(<int>[42]), true); 47 Expect.equals(f2<int>(<int>[42]), true);
48 Expect.equals(f2<String>(<int>[42]), true); // `is List<dynamic>` is true. 48 Expect.equals(f2<String>(<int>[42]), true); // `is List<dynamic>` is true.
49 Expect.throws(() => f3<int>(42), (e) => e is TypeError); /// 03: continued 49 Expect.throws(() => f3<int>(42), (e) => e is TypeError); //# 03: continued
50 Expect.throws(() => f3<String>(42), (e) => e is TypeError); /// 03: continued 50 Expect.throws(() => f3<String>(42), (e) => e is TypeError); //# 03: continued
51 Expect.equals(f4<int>(<int>[42]), false); 51 Expect.equals(f4<int>(<int>[42]), false);
52 Expect.equals(f4<String>(<int>[42]), false); // `is! List<dynamic>` is false. 52 Expect.equals(f4<String>(<int>[42]), false); // `is! List<dynamic>` is false.
53 Expect.equals(f5<String>(s), s); // `s as dynamic == s` 53 Expect.equals(f5<String>(s), s); // `s as dynamic == s`
54 Expect.equals(f5<int>(s), s); // `s as dynamic == s` 54 Expect.equals(f5<int>(s), s); // `s as dynamic == s`
55 Expect.equals(f6<String>(ss), ss); 55 Expect.equals(f6<String>(ss), ss);
56 Expect.equals(f6<int>(ss), ss); // `as List<dynamic>` succeeds. 56 Expect.equals(f6<int>(ss), ss); // `as List<dynamic>` succeeds.
57 Expect.throws(() => f7<int>(), (e) => e is TypeError); 57 Expect.throws(() => f7<int>(), (e) => e is TypeError);
58 Expect.equals(f8<int>(), List); // Returns `List<dynamic>`. 58 Expect.equals(f8<int>(), List); // Returns `List<dynamic>`.
59 59
60 Expect.isTrue(f9<int>(<int,String>{})); 60 Expect.isTrue(f9<int>(<int,String>{}));
61 Expect.isTrue(f9<int>(<bool,String>{})); // `is Map<dynamic, String>` is true. 61 Expect.isTrue(f9<int>(<bool,String>{})); // `is Map<dynamic, String>` is true.
62 Expect.isFalse(f9<int>(<int,int>{})); 62 Expect.isFalse(f9<int>(<int,int>{}));
63 63
64 Expect.isTrue(new IsMap<int>().check<String>(<int,String>{})); 64 Expect.isTrue(new IsMap<int>().check<String>(<int,String>{}));
65 Expect.isTrue(new IsMap<int>().check<int>(<int,String>{})); 65 Expect.isTrue(new IsMap<int>().check<int>(<int,String>{}));
66 } 66 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698