Remove WorldImpact from caches when no longer needed.

pkg/compiler/lib/src/universe/world_impact.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library dart2js.universe.world_impact;
 
 import '../dart_types.dart' show
     DartType,
     InterfaceType;
 import '../elements/elements.dart' show
@@ skipping 16 matching lines @@
 
   Iterable<StaticUse> get staticUses => const <StaticUse>[];
 
   // TODO(johnniwinther): Replace this by called constructors with type
   // arguments.
   // TODO(johnniwinther): Collect all checked types for checked mode separately
   // to support serialization.
 
   Iterable<TypeUse> get typeUses => const <TypeUse>[];
 
+  void apply(WorldImpactVisitor visitor) {
+    staticUses.forEach(visitor.visitStaticUse);
+    dynamicUses.forEach(visitor.visitDynamicUse);
+    typeUses.forEach(visitor.visitTypeUse);
+  }
+
   String toString() => dump(this);
 
   static String dump(WorldImpact worldImpact) {
     StringBuffer sb = new StringBuffer();
     printOn(sb, worldImpact);
     return sb.toString();
   }
 
   static void printOn(StringBuffer sb, WorldImpact worldImpact) {
     void add(String title, Iterable iterable) {
@@ skipping 100 matching lines @@
       _staticUses.addAll(worldImpact.staticUses);
     }
     _staticUses.add(staticUse);
   }
 
   @override
   Iterable<StaticUse> get staticUses {
     return _staticUses != null ? _staticUses : worldImpact.staticUses;
   }
 
+  void apply(WorldImpactVisitor visitor) {
+    staticUses.forEach(visitor.visitStaticUse);
+    dynamicUses.forEach(visitor.visitDynamicUse);
+    typeUses.forEach(visitor.visitTypeUse);
+  }
+
   String toString() {
     StringBuffer sb = new StringBuffer();
     sb.write('TransformedWorldImpact($worldImpact)');
     WorldImpact.printOn(sb, this);
     return sb.toString();
   }
 }
+
+class ImpactUse {

[sigurdm, 2015/11/20 12:13:19]

dartdoc

[Johnni Winther, 2015/11/20 13:49:36]

Done + Renamed to ImpactUseCase.

+  final String name;
+
+  const ImpactUse(this.name);
+
+  String toString() => 'ImpactUse($name)';
+}
+
+class ImpactStrategy {

[sigurdm, 2015/11/20 12:13:19]

Consider if this can be named more descriptively.

[sigurdm, 2015/11/20 12:13:19]

dartdoc

[Johnni Winther, 2015/11/20 13:49:36]

Acknowledged.

[Johnni Winther, 2015/11/20 13:49:36]

Done.

+  const ImpactStrategy();
+
+  /// Applies [impact] to [visitor] for the [impactUse] of [element].
+  void visitImpact(Element element,
+                   WorldImpact impact,
+                   WorldImpactVisitor visitor,
+                   ImpactUse impactUse) {
+    // Apply unconditionally.
+    impact.apply(visitor);
+  }
+}
+
+abstract class WorldImpactVisitor {

[sigurdm, 2015/11/20 12:13:19]

dartdoc

[Johnni Winther, 2015/11/20 13:49:36]

Done.

+  void visitStaticUse(StaticUse staticUse);
+  void visitDynamicUse(DynamicUse dynamicUse);
+  void visitTypeUse(TypeUse typeUse);
+}
+
+// TODO(johnniwinther): Remove these when we get anonymous local classes.

[sigurdm, 2015/11/20 12:13:19]

Don't hold your breath though ;)

[Johnni Winther, 2015/11/20 13:49:36]

Acknowledged.

+typedef void VisitUse<U>(U use);
+
+class WorldImpactVisitorImpl implements WorldImpactVisitor {
+  final VisitUse<StaticUse> _visitStaticUse;
+  final VisitUse<DynamicUse> _visitDynamicUse;
+  final VisitUse<TypeUse> _visitTypeUse;
+
+  WorldImpactVisitorImpl(
+      {VisitUse<StaticUse> visitStaticUse,
+       VisitUse<DynamicUse> visitDynamicUse,
+       VisitUse<TypeUse> visitTypeUse})
+      : _visitStaticUse = visitStaticUse,
+        _visitDynamicUse = visitDynamicUse,
+        _visitTypeUse = visitTypeUse;
+
+  @override
+  void visitStaticUse(StaticUse use) {
+    if (_visitStaticUse != null) {
+      _visitStaticUse(use);
+    }
+  }
+
+  @override
+  void visitDynamicUse(DynamicUse use) {
+    if (_visitDynamicUse != null) {
+      _visitDynamicUse(use);
+    }
+  }
+
+  @override
+  void visitTypeUse(TypeUse use) {
+    if (_visitTypeUse != null) {
+      _visitTypeUse(use);
+    }
+  }
+}
+