OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 // Tests that the closed world computed from [WorldImpact]s derived from kernel | 5 // Tests that the closed world computed from [WorldImpact]s derived from kernel |
6 // is equivalent to the original computed from resolution. | 6 // is equivalent to the original computed from resolution. |
7 library dart2js.kernel.closed_world_test; | 7 library dart2js.kernel.closed_world_test; |
8 | 8 |
9 import 'package:async_helper/async_helper.dart'; | 9 import 'package:async_helper/async_helper.dart'; |
10 import 'package:compiler/src/commandline_options.dart'; | 10 import 'package:compiler/src/commandline_options.dart'; |
(...skipping 118 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
129 for (ConstructorElement constructor in element.constructors) { | 129 for (ConstructorElement constructor in element.constructors) { |
130 if (!constructor.isRedirectingFactory) { | 130 if (!constructor.isRedirectingFactory) { |
131 return true; | 131 return true; |
132 } | 132 } |
133 } | 133 } |
134 // The class cannot itself be instantiated. | 134 // The class cannot itself be instantiated. |
135 return false; | 135 return false; |
136 } | 136 } |
137 return true; | 137 return true; |
138 }, verbose: arguments.verbose); | 138 }, verbose: arguments.verbose); |
139 checkClosedWorlds(compiler.closedWorld, closedWorld, | 139 checkClosedWorlds(compiler.resolverWorld.closedWorldForTesting, closedWorld, |
140 verbose: arguments.verbose); | 140 verbose: arguments.verbose); |
141 }); | 141 }); |
142 } | 142 } |
OLD | NEW |