OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 // VMOptions=--enable_type_checks | 4 // VMOptions=--enable_type_checks |
5 // | 5 // |
6 // Dart test program testing type checks in map literals. | 6 // Dart test program testing type checks in map literals. |
7 | 7 |
8 import "package:expect/expect.dart"; | 8 import "package:expect/expect.dart"; |
9 | 9 |
10 class MapLiteral4Test<T> { | 10 class MapLiteral4Test<T> { |
11 test() { | 11 test() { |
12 int result = 0; | 12 int result = 0; |
13 try { | 13 try { |
14 var m = <String, String>{"a": 0}; // 0 is not a String. | 14 var m = <String, String>{"a": 0}; // 0 is not a String. |
15 } on TypeError catch (error) { | 15 } on TypeError catch (error) { |
16 result += 1; | 16 result += 1; |
17 } | 17 } |
18 try { | 18 try { |
19 var m = <String, int>{"a": 0}; | 19 var m = <String, int>{"a": 0}; |
20 m[2] = 1; // 2 is not a String. | 20 m[2] = 1; // 2 is not a String. |
21 } on TypeError catch (error) { | 21 } on TypeError catch (error) { |
22 result += 10; | 22 result += 10; |
23 } | 23 } |
24 try { | 24 try { |
25 var m = <String, T>{"a": "b"}; // "b" is not an int. | 25 var m = <String, T>{"a": "b"}; // "b" is not an int. |
26 } on TypeError catch (error) { | 26 } on TypeError catch (error) { |
27 result += 100; | 27 result += 100; |
28 } | 28 } |
29 try { | 29 try { |
30 var m = <String, T>{"a": 0}; // OK. | 30 var m = <String, T>{"a": 0}; // OK. |
31 } on TypeError catch (error) { | 31 } on TypeError catch (error) { |
32 result += 1000; | 32 result += 1000; |
33 } | 33 } |
34 try { | 34 try { |
35 var m = <String, T>{"a": 0}; | 35 var m = <String, T>{"a": 0}; |
36 m[2] = 1; // 2 is not a String. | 36 m[2] = 1; // 2 is not a String. |
37 } on TypeError catch (error) { | 37 } on TypeError catch (error) { |
38 result += 10000; | 38 result += 10000; |
39 } | 39 } |
40 try { | 40 try { |
41 var m = const <String, int>{"a": 0}; | 41 var m = const <String, int>{"a": 0}; |
42 m[2] = 1; // 2 is not a String. | 42 m[2] = 1; // 2 is not a String. |
43 } on TypeError catch (error) { | 43 } on TypeError catch (error) { |
44 result += 100000; | 44 result += 100000; |
45 } | 45 } |
46 return result; | 46 return result; |
47 } | 47 } |
48 } | 48 } |
49 | 49 |
50 main() { | 50 main() { |
51 var t = new MapLiteral4Test<int>(); | 51 var t = new MapLiteral4Test<int>(); |
52 Expect.equals(110111, t.test()); | 52 Expect.equals(110111, t.test()); |
53 } | 53 } |
OLD | NEW |