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

Side by Side Diff: tests/language/src/FieldOverrideTest.dart

Issue 9649015: Change string used to annotate static type issues to 'static type warning' in multitest (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Merged up to tip Created 8 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 | Annotate | Revision Log
« no previous file with comments | « tests/language/src/FauxverrideTest.dart ('k') | tests/language/src/GettersSetters2Test.dart » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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 // Test overriding of fields. 5 // Test overriding of fields.
6 6
7 7
8 class A {} 8 class A {}
9 class B1 extends A {} 9 class B1 extends A {}
10 class B2 extends A {} 10 class B2 extends A {}
11 11
12 class Super { 12 class Super {
13 Super() : super(); 13 Super() : super();
14 14
15 B1 field; 15 B1 field;
16 } 16 }
17 17
18 class Sub extends Super { 18 class Sub extends Super {
19 Sub() : super(); 19 Sub() : super();
20 20
21 A field; 21 A field;
22 } 22 }
23 23
24 class SubSub extends Super { 24 class SubSub extends Super {
25 SubSub() : super(); 25 SubSub() : super();
26 26
27 // B2 not assignable to B1 27 // B2 not assignable to B1
28 B2 field; /// 01: static type error 28 B2 field; /// 01: static type warning
29 } 29 }
30 30
31 main() { 31 main() {
32 SubSub val1 = new SubSub(); 32 SubSub val1 = new SubSub();
33 val1.field = new B2(); 33 val1.field = new B2();
34 Expect.equals(true, val1.field is B2); 34 Expect.equals(true, val1.field is B2);
35 35
36 Sub val2 = new Sub(); 36 Sub val2 = new Sub();
37 val2.field = new A(); 37 val2.field = new A();
38 Expect.equals(true, val2.field is A); 38 Expect.equals(true, val2.field is A);
39 Expect.equals(false, val2.field is B1); 39 Expect.equals(false, val2.field is B1);
40 Expect.equals(false, val2.field is B2); 40 Expect.equals(false, val2.field is B2);
41 41
42 Super val3 = new Super(); 42 Super val3 = new Super();
43 val3.field = new B1(); 43 val3.field = new B1();
44 Expect.equals(true, val3.field is B1); 44 Expect.equals(true, val3.field is B1);
45 Expect.equals(false, val3.field is B2); 45 Expect.equals(false, val3.field is B2);
46 } 46 }
OLDNEW
« no previous file with comments | « tests/language/src/FauxverrideTest.dart ('k') | tests/language/src/GettersSetters2Test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698