| 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 99 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 110 new KernelWorkItemBuilder(compiler), | 110 new KernelWorkItemBuilder(compiler), |
| 111 'enqueuer from kernel'); | 111 'enqueuer from kernel'); |
| 112 ClosedWorld closedWorld = computeClosedWorld( | 112 ClosedWorld closedWorld = computeClosedWorld( |
| 113 compiler.reporter, enqueuer, compiler.elementEnvironment); | 113 compiler.reporter, enqueuer, compiler.elementEnvironment); |
| 114 BackendUsage backendUsage = backendUsageBuilder.close(); | 114 BackendUsage backendUsage = backendUsageBuilder.close(); |
| 115 checkResolutionEnqueuers( | 115 checkResolutionEnqueuers( |
| 116 backendUsage, backendUsage, compiler.enqueuer.resolution, enqueuer, | 116 backendUsage, backendUsage, compiler.enqueuer.resolution, enqueuer, |
| 117 typeEquivalence: (ResolutionDartType a, ResolutionDartType b) { | 117 typeEquivalence: (ResolutionDartType a, ResolutionDartType b) { |
| 118 return areTypesEquivalent(unalias(a), unalias(b)); | 118 return areTypesEquivalent(unalias(a), unalias(b)); |
| 119 }, elementFilter: elementFilter, verbose: arguments.verbose); | 119 }, elementFilter: elementFilter, verbose: arguments.verbose); |
| 120 checkClosedWorlds(compiler.resolutionWorldBuilder.closedWorldForTesting, | 120 checkClosedWorlds( |
| 121 closedWorld, areElementsEquivalent, | 121 compiler.resolutionWorldBuilder.closedWorldForTesting, closedWorld, |
| 122 verbose: arguments.verbose); | 122 verbose: arguments.verbose); |
| 123 }); | 123 }); |
| 124 } | 124 } |
| 125 | 125 |
| 126 bool elementFilter(Entity element) { | 126 bool elementFilter(Entity element) { |
| 127 if (element is ConstructorElement && element.isRedirectingFactory) { | 127 if (element is ConstructorElement && element.isRedirectingFactory) { |
| 128 // Redirecting factory constructors are skipped in kernel. | 128 // Redirecting factory constructors are skipped in kernel. |
| 129 return false; | 129 return false; |
| 130 } | 130 } |
| 131 if (element is ClassElement) { | 131 if (element is ClassElement) { |
| (...skipping 65 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 197 final MemberElement element; | 197 final MemberElement element; |
| 198 | 198 |
| 199 KernelWorkItem(this._compiler, this._impactTransformer, this.element); | 199 KernelWorkItem(this._compiler, this._impactTransformer, this.element); |
| 200 | 200 |
| 201 @override | 201 @override |
| 202 WorldImpact run() { | 202 WorldImpact run() { |
| 203 ResolutionImpact resolutionImpact = build(_compiler, element.resolvedAst); | 203 ResolutionImpact resolutionImpact = build(_compiler, element.resolvedAst); |
| 204 return _impactTransformer.transformResolutionImpact(resolutionImpact); | 204 return _impactTransformer.transformResolutionImpact(resolutionImpact); |
| 205 } | 205 } |
| 206 } | 206 } |
| OLD | NEW |