| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 library dart2js.enqueue; | 5 library dart2js.enqueue; |
| 6 | 6 |
| 7 import 'dart:collection' show Queue; | 7 import 'dart:collection' show Queue; |
| 8 | 8 |
| 9 import 'common/codegen.dart' show CodegenWorkItem; | 9 import 'common/codegen.dart' show CodegenWorkItem; |
| 10 import 'common/names.dart' show Identifiers; | 10 import 'common/names.dart' show Identifiers; |
| 11 import 'common/resolution.dart' show Resolution; | 11 import 'common/resolution.dart' show Resolution; |
| 12 import 'common/resolution.dart' show ResolutionWorkItem; | 12 import 'common/resolution.dart' show ResolutionWorkItem; |
| 13 import 'common/tasks.dart' show CompilerTask, DeferredAction, DeferredTask; | 13 import 'common/tasks.dart' show CompilerTask; |
| 14 import 'common/work.dart' show ItemCompilationContext, WorkItem; | 14 import 'common/work.dart' show ItemCompilationContext, WorkItem; |
| 15 import 'common.dart'; | 15 import 'common.dart'; |
| 16 import 'compiler.dart' show Compiler; | 16 import 'compiler.dart' show Compiler; |
| 17 import 'dart_types.dart' show DartType, InterfaceType; | 17 import 'dart_types.dart' show DartType, InterfaceType; |
| 18 import 'elements/elements.dart' | 18 import 'elements/elements.dart' |
| 19 show | 19 show |
| 20 AnalyzableElement, | 20 AnalyzableElement, |
| 21 AstElement, | 21 AstElement, |
| 22 ClassElement, | 22 ClassElement, |
| 23 ConstructorElement, | 23 ConstructorElement, |
| (...skipping 15 matching lines...) Expand all Loading... |
| 39 show DynamicUse, StaticUse, StaticUseKind, TypeUse, TypeUseKind; | 39 show DynamicUse, StaticUse, StaticUseKind, TypeUse, TypeUseKind; |
| 40 import 'universe/world_impact.dart' | 40 import 'universe/world_impact.dart' |
| 41 show ImpactUseCase, WorldImpact, WorldImpactVisitor; | 41 show ImpactUseCase, WorldImpact, WorldImpactVisitor; |
| 42 import 'util/util.dart' show Setlet; | 42 import 'util/util.dart' show Setlet; |
| 43 | 43 |
| 44 typedef ItemCompilationContext ItemCompilationContextCreator(); | 44 typedef ItemCompilationContext ItemCompilationContextCreator(); |
| 45 | 45 |
| 46 class EnqueueTask extends CompilerTask { | 46 class EnqueueTask extends CompilerTask { |
| 47 final ResolutionEnqueuer resolution; | 47 final ResolutionEnqueuer resolution; |
| 48 final CodegenEnqueuer codegen; | 48 final CodegenEnqueuer codegen; |
| 49 final Compiler compiler; |
| 49 | 50 |
| 50 String get name => 'Enqueue'; | 51 String get name => 'Enqueue'; |
| 51 | 52 |
| 52 EnqueueTask(Compiler compiler) | 53 EnqueueTask(Compiler compiler) |
| 53 : resolution = new ResolutionEnqueuer( | 54 : compiler = compiler, |
| 55 resolution = new ResolutionEnqueuer( |
| 54 compiler, | 56 compiler, |
| 55 compiler.backend.createItemCompilationContext, | 57 compiler.backend.createItemCompilationContext, |
| 56 compiler.options.analyzeOnly && compiler.options.analyzeMain | 58 compiler.options.analyzeOnly && compiler.options.analyzeMain |
| 57 ? const EnqueuerStrategy() | 59 ? const EnqueuerStrategy() |
| 58 : const TreeShakingEnqueuerStrategy()), | 60 : const TreeShakingEnqueuerStrategy()), |
| 59 codegen = new CodegenEnqueuer( | 61 codegen = new CodegenEnqueuer( |
| 60 compiler, | 62 compiler, |
| 61 compiler.backend.createItemCompilationContext, | 63 compiler.backend.createItemCompilationContext, |
| 62 const TreeShakingEnqueuerStrategy()), | 64 const TreeShakingEnqueuerStrategy()), |
| 63 super(compiler) { | 65 super(compiler.measurer) { |
| 64 codegen.task = this; | 66 codegen.task = this; |
| 65 resolution.task = this; | 67 resolution.task = this; |
| 66 | 68 |
| 67 codegen.nativeEnqueuer = compiler.backend.nativeCodegenEnqueuer(codegen); | 69 codegen.nativeEnqueuer = compiler.backend.nativeCodegenEnqueuer(codegen); |
| 68 resolution.nativeEnqueuer = | 70 resolution.nativeEnqueuer = |
| 69 compiler.backend.nativeResolutionEnqueuer(resolution); | 71 compiler.backend.nativeResolutionEnqueuer(resolution); |
| 70 } | 72 } |
| 71 | 73 |
| 72 void forgetElement(Element element) { | 74 void forgetElement(Element element) { |
| 73 resolution.forgetElement(element); | 75 resolution.forgetElement(element); |
| (...skipping 633 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 707 } | 709 } |
| 708 } | 710 } |
| 709 | 711 |
| 710 /// [Enqueuer] which is specific to resolution. | 712 /// [Enqueuer] which is specific to resolution. |
| 711 class ResolutionEnqueuer extends Enqueuer { | 713 class ResolutionEnqueuer extends Enqueuer { |
| 712 /// All declaration elements that have been processed by the resolver. | 714 /// All declaration elements that have been processed by the resolver. |
| 713 final Set<AstElement> processedElements; | 715 final Set<AstElement> processedElements; |
| 714 | 716 |
| 715 final Queue<ResolutionWorkItem> queue; | 717 final Queue<ResolutionWorkItem> queue; |
| 716 | 718 |
| 717 /** | 719 /// Queue of deferred resolution actions to execute when the resolution queue |
| 718 * A deferred task queue for the resolution phase which is processed | 720 /// has been emptied. |
| 719 * when the resolution queue has been emptied. | 721 final Queue<_DeferredAction> deferredQueue; |
| 720 */ | |
| 721 final Queue<DeferredTask> deferredTaskQueue; | |
| 722 | 722 |
| 723 static const ImpactUseCase IMPACT_USE = | 723 static const ImpactUseCase IMPACT_USE = |
| 724 const ImpactUseCase('ResolutionEnqueuer'); | 724 const ImpactUseCase('ResolutionEnqueuer'); |
| 725 | 725 |
| 726 ImpactUseCase get impactUse => IMPACT_USE; | 726 ImpactUseCase get impactUse => IMPACT_USE; |
| 727 | 727 |
| 728 ResolutionEnqueuer( | 728 ResolutionEnqueuer( |
| 729 Compiler compiler, | 729 Compiler compiler, |
| 730 ItemCompilationContext itemCompilationContextCreator(), | 730 ItemCompilationContext itemCompilationContextCreator(), |
| 731 EnqueuerStrategy strategy) | 731 EnqueuerStrategy strategy) |
| 732 : super('resolution enqueuer', compiler, itemCompilationContextCreator, | 732 : super('resolution enqueuer', compiler, itemCompilationContextCreator, |
| 733 strategy), | 733 strategy), |
| 734 processedElements = new Set<AstElement>(), | 734 processedElements = new Set<AstElement>(), |
| 735 queue = new Queue<ResolutionWorkItem>(), | 735 queue = new Queue<ResolutionWorkItem>(), |
| 736 deferredTaskQueue = new Queue<DeferredTask>(); | 736 deferredQueue = new Queue<_DeferredAction>(); |
| 737 | 737 |
| 738 bool get isResolutionQueue => true; | 738 bool get isResolutionQueue => true; |
| 739 | 739 |
| 740 bool isProcessed(Element member) => processedElements.contains(member); | 740 bool isProcessed(Element member) => processedElements.contains(member); |
| 741 | 741 |
| 742 /// Returns `true` if [element] has been processed by the resolution enqueuer. | 742 /// Returns `true` if [element] has been processed by the resolution enqueuer. |
| 743 bool hasBeenProcessed(Element element) { | 743 bool hasBeenProcessed(Element element) { |
| 744 return processedElements.contains(element.analyzableElement.declaration); | 744 return processedElements.contains(element.analyzableElement.declaration); |
| 745 } | 745 } |
| 746 | 746 |
| (...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 824 } | 824 } |
| 825 | 825 |
| 826 /** | 826 /** |
| 827 * Adds an action to the deferred task queue. | 827 * Adds an action to the deferred task queue. |
| 828 * | 828 * |
| 829 * The action is performed the next time the resolution queue has been | 829 * The action is performed the next time the resolution queue has been |
| 830 * emptied. | 830 * emptied. |
| 831 * | 831 * |
| 832 * The queue is processed in FIFO order. | 832 * The queue is processed in FIFO order. |
| 833 */ | 833 */ |
| 834 void addDeferredAction(Element element, DeferredAction action) { | 834 void addDeferredAction(Element element, void action()) { |
| 835 if (queueIsClosed) { | 835 if (queueIsClosed) { |
| 836 throw new SpannableAssertionFailure( | 836 throw new SpannableAssertionFailure( |
| 837 element, | 837 element, |
| 838 "Resolution work list is closed. " | 838 "Resolution work list is closed. " |
| 839 "Trying to add deferred action for $element"); | 839 "Trying to add deferred action for $element"); |
| 840 } | 840 } |
| 841 deferredTaskQueue.add(new DeferredTask(element, action)); | 841 deferredQueue.add(new _DeferredAction(element, action)); |
| 842 } | 842 } |
| 843 | 843 |
| 844 bool onQueueEmpty(Iterable<ClassElement> recentClasses) { | 844 bool onQueueEmpty(Iterable<ClassElement> recentClasses) { |
| 845 emptyDeferredTaskQueue(); | 845 _emptyDeferredQueue(); |
| 846 return super.onQueueEmpty(recentClasses); | 846 return super.onQueueEmpty(recentClasses); |
| 847 } | 847 } |
| 848 | 848 |
| 849 void emptyDeferredTaskQueue() { | 849 void emptyDeferredQueueForTesting() => _emptyDeferredQueue(); |
| 850 while (!deferredTaskQueue.isEmpty) { | 850 |
| 851 DeferredTask task = deferredTaskQueue.removeFirst(); | 851 void _emptyDeferredQueue() { |
| 852 while (!deferredQueue.isEmpty) { |
| 853 _DeferredAction task = deferredQueue.removeFirst(); |
| 852 reporter.withCurrentElement(task.element, task.action); | 854 reporter.withCurrentElement(task.element, task.action); |
| 853 } | 855 } |
| 854 } | 856 } |
| 855 | 857 |
| 856 void _logSpecificSummary(log(message)) { | 858 void _logSpecificSummary(log(message)) { |
| 857 log('Resolved ${processedElements.length} elements.'); | 859 log('Resolved ${processedElements.length} elements.'); |
| 858 } | 860 } |
| 859 | 861 |
| 860 void forgetElement(Element element) { | 862 void forgetElement(Element element) { |
| 861 super.forgetElement(element); | 863 super.forgetElement(element); |
| (...skipping 175 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1037 @override | 1039 @override |
| 1038 void visitStaticUse(StaticUse staticUse) { | 1040 void visitStaticUse(StaticUse staticUse) { |
| 1039 enqueuer.registerStaticUse(staticUse); | 1041 enqueuer.registerStaticUse(staticUse); |
| 1040 } | 1042 } |
| 1041 | 1043 |
| 1042 @override | 1044 @override |
| 1043 void visitTypeUse(TypeUse typeUse) { | 1045 void visitTypeUse(TypeUse typeUse) { |
| 1044 enqueuer.registerTypeUse(typeUse); | 1046 enqueuer.registerTypeUse(typeUse); |
| 1045 } | 1047 } |
| 1046 } | 1048 } |
| 1049 |
| 1050 typedef void _DeferredActionFunction(); |
| 1051 |
| 1052 class _DeferredAction { |
| 1053 final Element element; |
| 1054 final _DeferredActionFunction action; |
| 1055 |
| 1056 _DeferredAction(this.element, this.action); |
| 1057 } |
| OLD | NEW |