| 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 closedWorld = compiler.openWorld.closeWorld(); | 24 var closedWorld = compiler.openWorld.closeWorld(compiler.reporter); |
| 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, closedWorld); | 32 var exactA = new TypeMask.nonNullExact(classA, closedWorld); |
| 33 var exactB = new TypeMask.nonNullExact(classB, closedWorld); | 33 var exactB = new TypeMask.nonNullExact(classB, closedWorld); |
| 34 var exactC = new TypeMask.nonNullExact(classC, closedWorld); | 34 var exactC = new TypeMask.nonNullExact(classC, closedWorld); |
| (...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 |