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 import "package:expect/expect.dart"; | 5 import "package:expect/expect.dart"; |
6 import 'dart:_js_helper' show Creates, setNativeSubclassDispatchRecord; | 6 import 'dart:_js_helper' show Native, Creates, setNativeSubclassDispatchRecord; |
7 import 'dart:_interceptors' show Interceptor, findInterceptorForType; | 7 import 'dart:_interceptors' show Interceptor, findInterceptorForType; |
8 | 8 |
9 // Test type checks. | 9 // Test type checks. |
10 | 10 |
11 class I {} | 11 class I {} |
12 | 12 |
13 class M implements I { | 13 class M implements I { |
14 miz() => 'M'; | 14 miz() => 'M'; |
15 } | 15 } |
16 | 16 |
17 class N native "N" {} | 17 @Native("N") |
| 18 class N {} |
18 | 19 |
19 class A extends N {} | 20 class A extends N {} |
20 | 21 |
21 class B extends A with M { | 22 class B extends A with M { |
22 } | 23 } |
23 | 24 |
24 class Checks<T> { | 25 class Checks<T> { |
25 bool isCheck(x) => x is T; | 26 bool isCheck(x) => x is T; |
26 void assignCheck(x) { | 27 void assignCheck(x) { |
27 T z = x; | 28 T z = x; |
(...skipping 139 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
167 inscrutable(new Checks<M>().assignCheck)(b); | 168 inscrutable(new Checks<M>().assignCheck)(b); |
168 inscrutable(new Checks<I>().assignCheck)(b); | 169 inscrutable(new Checks<I>().assignCheck)(b); |
169 | 170 |
170 inscrutable(new Checks<B>().castCheck)(b); | 171 inscrutable(new Checks<B>().castCheck)(b); |
171 inscrutable(new Checks<A>().castCheck)(b); | 172 inscrutable(new Checks<A>().castCheck)(b); |
172 inscrutable(new Checks<N>().castCheck)(b); | 173 inscrutable(new Checks<N>().castCheck)(b); |
173 inscrutable(new Checks<M>().castCheck)(b); | 174 inscrutable(new Checks<M>().castCheck)(b); |
174 inscrutable(new Checks<I>().castCheck)(b); | 175 inscrutable(new Checks<I>().castCheck)(b); |
175 } | 176 } |
176 } | 177 } |
OLD | NEW |