Move remaining functionality from ClassWorld to ClosedWorld

pkg/compiler/lib/src/ssa/interceptor_simplifier.dart

 // Copyright (c) 2013, 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.
 
 import '../common/codegen.dart' show CodegenWorkItem;
 import '../compiler.dart' show Compiler;
 import '../constants/constant_system.dart';
 import '../constants/values.dart';
 import '../elements/elements.dart';
 import '../js_backend/backend_helpers.dart' show BackendHelpers;
 import '../js_backend/js_backend.dart';
 import '../types/types.dart';
 import '../universe/selector.dart' show Selector;
-import '../world.dart' show ClassWorld;
+import '../world.dart' show ClosedWorld;
 import 'nodes.dart';
 import 'optimize.dart';
 
 /**
  * This phase simplifies interceptors in multiple ways:
  *
  * 1) If the interceptor is for an object whose type is known, it
  * tries to use a constant interceptor instead.
  *
  * 2) Interceptors are specialized based on the selector it is used with.
@@ skipping 17 matching lines @@
   final Compiler compiler;
   final Element element;
   HGraph graph;
 
   SsaSimplifyInterceptors(this.compiler, this.constantSystem, this.element);
 
   JavaScriptBackend get backend => compiler.backend;
 
   BackendHelpers get helpers => backend.helpers;
 
-  ClassWorld get classWorld => compiler.closedWorld;
+  ClosedWorld get closedWorld => compiler.closedWorld;
 
   void visitGraph(HGraph graph) {
     this.graph = graph;
     visitDominatorTree(graph);
   }
 
   void visitBasicBlock(HBasicBlock node) {
     currentBlock = node;
 
     HInstruction instruction = node.first;
@@ skipping 39 matching lines @@
       return false;
     }
     if (receiver.canBeNull() &&
         interceptedClasses.contains(helpers.jsNullClass)) {
       // Need the JSNull interceptor.
       return false;
     }
 
     // All intercepted classes extend `Interceptor`, so if the receiver can't be
     // a class extending `Interceptor` then it can be called directly.
-    return new TypeMask.nonNullSubclass(helpers.jsInterceptorClass, classWorld)
-        .isDisjoint(receiver.instructionType, classWorld);
+    return new TypeMask.nonNullSubclass(helpers.jsInterceptorClass, closedWorld)
+        .isDisjoint(receiver.instructionType, closedWorld);
   }
 
   HInstruction tryComputeConstantInterceptor(
       HInstruction input, Set<ClassElement> interceptedClasses) {
     if (input == graph.explicitReceiverParameter) {
       // If `explicitReceiverParameter` is set it means the current method is an
       // interceptor method, and `this` is the interceptor.  The caller just did
       // `getInterceptor(foo).currentMethod(foo)` to enter the current method.
       return graph.thisInstruction;
     }
@@ skipping 14 matching lines @@
         new InterceptorConstantValue(constantInterceptor.thisType);
     return graph.addConstant(constant, compiler);
   }
 
   ClassElement tryComputeConstantInterceptorFromType(
       TypeMask type, Set<ClassElement> interceptedClasses) {
     if (type.isNullable) {
       if (type.isNull) {
         return helpers.jsNullClass;
       }
-    } else if (type.containsOnlyInt(classWorld)) {
+    } else if (type.containsOnlyInt(closedWorld)) {
       return helpers.jsIntClass;
-    } else if (type.containsOnlyDouble(classWorld)) {
+    } else if (type.containsOnlyDouble(closedWorld)) {
       return helpers.jsDoubleClass;
-    } else if (type.containsOnlyBool(classWorld)) {
+    } else if (type.containsOnlyBool(closedWorld)) {
       return helpers.jsBoolClass;
-    } else if (type.containsOnlyString(classWorld)) {
+    } else if (type.containsOnlyString(closedWorld)) {
       return helpers.jsStringClass;
-    } else if (type.satisfies(helpers.jsArrayClass, classWorld)) {
+    } else if (type.satisfies(helpers.jsArrayClass, closedWorld)) {
       return helpers.jsArrayClass;
-    } else if (type.containsOnlyNum(classWorld) &&
+    } else if (type.containsOnlyNum(closedWorld) &&
         !interceptedClasses.contains(helpers.jsIntClass) &&
         !interceptedClasses.contains(helpers.jsDoubleClass)) {
       // If the method being intercepted is not defined in [int] or [double] we
       // can safely use the number interceptor.  This is because none of the
       // [int] or [double] methods are called from a method defined on [num].
       return helpers.jsNumberClass;
     } else {
       // Try to find constant interceptor for a native class.  If the receiver
       // is constrained to a leaf native class, we can use the class's
       // interceptor directly.
 
       // TODO(sra): Key DOM classes like Node, Element and Event are not leaf
       // classes.  When the receiver type is not a leaf class, we might still be
       // able to use the receiver class as a constant interceptor.  It is
       // usually the case that methods defined on a non-leaf class don't test
       // for a subclass or call methods defined on a subclass.  Provided the
       // code is completely insensitive to the specific instance subclasses, we
       // can use the non-leaf class directly.
-      ClassElement element = type.singleClass(classWorld);
+      ClassElement element = type.singleClass(closedWorld);
       if (element != null && backend.isNative(element)) {
         return element;
       }
     }
 
     return null;
   }
 
   HInstruction findDominator(Iterable<HInstruction> instructions) {
     HInstruction result;
@@ skipping 231 matching lines @@
       instruction = new HInvokeDynamicMethod(
           selector, mask, inputs, node.instructionType, true);
     }
 
     HBasicBlock block = node.block;
     block.addAfter(node, instruction);
     block.rewrite(node, instruction);
     return true;
   }
 }