| 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 class S { } | 5 class S { } |
| 6 class M1 { } | 6 class M1 { } |
| 7 class M2 { } | 7 class M2 { } |
| 8 | 8 |
| 9 typedef C = S with M1; | 9 class C extends S with M1 { } |
| 10 typedef D = S with M1, M2; | 10 class D extends S with M1, M2 { } |
| 11 typedef E = S with M2, M1; | 11 class E extends S with M2, M1 { } |
| 12 class F extends E { } | 12 class F extends E { } |
| 13 | 13 |
| 14 typedef C_ = S with M1; | 14 class C_ extends S with M1 { } |
| 15 typedef D_ = S with M1, M2; | 15 class D_ extends S with M1, M2 { } |
| 16 typedef E_ = S with M2, M1; | 16 class E_ extends S with M2, M1 { } |
| 17 class F_ extends E_ { } | 17 class F_ extends E_ { } |
| 18 | 18 |
| 19 main() { | 19 main() { |
| 20 var c = new C(); | 20 var c = new C(); |
| 21 Expect.isTrue(c is C); | 21 Expect.isTrue(c is C); |
| 22 Expect.isFalse(c is D); | 22 Expect.isFalse(c is D); |
| 23 Expect.isFalse(c is E); | 23 Expect.isFalse(c is E); |
| 24 Expect.isFalse(c is F); | 24 Expect.isFalse(c is F); |
| 25 Expect.isTrue(c is S); | 25 Expect.isTrue(c is S); |
| 26 Expect.isTrue(c is M1); | 26 Expect.isTrue(c is M1); |
| (...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 68 Expect.isFalse(e is C_); | 68 Expect.isFalse(e is C_); |
| 69 Expect.isFalse(e is D_); | 69 Expect.isFalse(e is D_); |
| 70 Expect.isFalse(e is E_); | 70 Expect.isFalse(e is E_); |
| 71 Expect.isFalse(e is F_); | 71 Expect.isFalse(e is F_); |
| 72 | 72 |
| 73 Expect.isFalse(f is C_); | 73 Expect.isFalse(f is C_); |
| 74 Expect.isFalse(f is D_); | 74 Expect.isFalse(f is D_); |
| 75 Expect.isFalse(f is E_); | 75 Expect.isFalse(f is E_); |
| 76 Expect.isFalse(f is F_); | 76 Expect.isFalse(f is F_); |
| 77 } | 77 } |
| OLD | NEW |