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:async_helper/async_helper.dart'; | 5 import 'package:async_helper/async_helper.dart'; |
6 import 'package:expect/expect.dart'; | 6 import 'package:expect/expect.dart'; |
7 import 'package:compiler/src/types/types.dart'; | 7 import 'package:compiler/src/types/types.dart'; |
8 | 8 |
9 import 'compiler_helper.dart'; | 9 import 'compiler_helper.dart'; |
10 | 10 |
11 const String CODE = """ | 11 const String CODE = """ |
12 class A {} | 12 class A {} |
13 class B extends A {} | 13 class B extends A {} |
14 class C implements A {} | 14 class C implements A {} |
15 class D implements A {} | 15 class D implements A {} |
16 main() { | 16 main() { |
17 print([new A(), new B(), new C(), new D()]); | 17 print([new A(), new B(), new C(), new D()]); |
18 } | 18 } |
19 """; | 19 """; |
20 | 20 |
21 main() { | 21 main() { |
22 Uri uri = new Uri(scheme: 'source'); | 22 Uri uri = new Uri(scheme: 'source'); |
23 var compiler = compilerFor(CODE, uri); | 23 var compiler = compilerFor(CODE, uri); |
24 var classWorld = compiler.closedWorld; | 24 var classWorld = compiler.openWorld.closeWorld(); |
25 | 25 |
26 asyncTest(() => compiler.run(uri).then((_) { | 26 asyncTest(() => compiler.run(uri).then((_) { |
27 var classA = findElement(compiler, 'A'); | 27 var classA = findElement(compiler, 'A'); |
28 var classB = findElement(compiler, 'B'); | 28 var classB = findElement(compiler, 'B'); |
29 var classC = findElement(compiler, 'C'); | 29 var classC = findElement(compiler, 'C'); |
30 var classD = findElement(compiler, 'D'); | 30 var classD = findElement(compiler, 'D'); |
31 | 31 |
32 var exactA = new TypeMask.nonNullExact(classA, classWorld); | 32 var exactA = new TypeMask.nonNullExact(classA, classWorld); |
33 var exactB = new TypeMask.nonNullExact(classB, classWorld); | 33 var exactB = new TypeMask.nonNullExact(classB, classWorld); |
34 var exactC = new TypeMask.nonNullExact(classC, classWorld); | 34 var exactC = new TypeMask.nonNullExact(classC, classWorld); |
(...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
121 rule(unionABC, unionABnC, true); | 121 rule(unionABC, unionABnC, true); |
122 rule(exactA.nullable(), unionABnC, true); | 122 rule(exactA.nullable(), unionABnC, true); |
123 rule(exactA.nullable(), unionABC, false); | 123 rule(exactA.nullable(), unionABC, false); |
124 rule(exactB, unionABnC, true); | 124 rule(exactB, unionABnC, true); |
125 rule(unionBCDn, unionBCD, false); | 125 rule(unionBCDn, unionBCD, false); |
126 rule(unionBCD, unionBCDn, true); | 126 rule(unionBCD, unionBCDn, true); |
127 rule(exactB.nullable(), unionBCDn, true); | 127 rule(exactB.nullable(), unionBCDn, true); |
128 rule(exactB.nullable(), unionBCD, false); | 128 rule(exactB.nullable(), unionBCD, false); |
129 })); | 129 })); |
130 } | 130 } |
OLD | NEW |