Use entities in native_emitter.dart

pkg/compiler/lib/src/js_emitter/native_emitter.dart

 // Copyright (c) 2012, 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.js_emitter.native_emitter;
 
 import '../common.dart';
 import '../compiler.dart' show Compiler;
-import '../elements/resolution_types.dart'
-    show ResolutionDartType, ResolutionFunctionType;
-import '../elements/elements.dart'
-    show
-        ClassElement,
-        Element,
-        FunctionElement,
-        FunctionSignature,
-        MethodElement,
-        ParameterElement;
+import '../elements/types.dart' show DartType, FunctionType;
+import '../elements/entities.dart';
 import '../js/js.dart' as jsAst;
 import '../js/js.dart' show js;
 import '../js_backend/backend_helpers.dart' show BackendHelpers;
 import '../js_backend/js_backend.dart' show JavaScriptBackend;
-import 'full_emitter/emitter.dart' as full_js_emitter;
+import '../universe/world_builder.dart' show CodegenWorldBuilder;
 
 import 'code_emitter_task.dart' show CodeEmitterTask;
 import 'model.dart';
 
 class NativeEmitter {
-  // TODO(floitsch): the native-emitter should not know about ClassBuilders.
-  final Map<Element, full_js_emitter.ClassBuilder> cachedBuilders;
-
   final CodeEmitterTask emitterTask;
 
   // Whether the application contains native classes.
   bool hasNativeClasses = false;
 
   // Caches the native subtypes of a native class.
-  Map<ClassElement, List<ClassElement>> subtypes;
+  Map<ClassEntity, List<ClassEntity>> subtypes =
+      <ClassEntity, List<ClassEntity>>{};
 
   // Caches the direct native subtypes of a native class.
-  Map<ClassElement, List<ClassElement>> directSubtypes;
+  Map<ClassEntity, List<ClassEntity>> directSubtypes =
+      <ClassEntity, List<ClassEntity>>{};
 
   // Caches the methods that have a native body.
-  Set<FunctionElement> nativeMethods;
+  Set<FunctionEntity> nativeMethods = new Set<FunctionEntity>();
 
-  NativeEmitter(CodeEmitterTask emitterTask)
-      : this.emitterTask = emitterTask,
-        subtypes = new Map<ClassElement, List<ClassElement>>(),
-        directSubtypes = new Map<ClassElement, List<ClassElement>>(),
-        nativeMethods = new Set<FunctionElement>(),
-        cachedBuilders = emitterTask.compiler.cacheStrategy.newMap();
+  NativeEmitter(CodeEmitterTask emitterTask) : this.emitterTask = emitterTask;
 
   Compiler get compiler => emitterTask.compiler;
 
   JavaScriptBackend get backend => compiler.backend;
 
   BackendHelpers get helpers => backend.helpers;
 
+  CodegenWorldBuilder get worldBuilder => compiler.codegenWorldBuilder;
+
   /**
    * Prepares native classes for emission. Returns the unneeded classes.
    *
    * Removes trivial classes (that can be represented by a super type) and
    * generates properties that have to be added to classes (native or not).
    *
    * Updates the `nativeLeafTags`, `nativeNonLeafTags` and `nativeExtensions`
    * fields of the given classes. This data must be emitted with the
    * corresponding classes.
    *
@@ skipping 12 matching lines @@
    * of native classes.
    *
    * [interceptorClassesNeededByConstants] contains the interceptors that are
    * referenced by constants.
    *
    * [classesModifiedByEmitRTISupport] contains the list of classes that must
    * exist, because runtime-type support adds information to the class.
    */
   Set<Class> prepareNativeClasses(
       List<Class> classes,
-      Set<ClassElement> interceptorClassesNeededByConstants,
-      Set<ClassElement> classesModifiedByEmitRTISupport) {
+      Set<ClassEntity> interceptorClassesNeededByConstants,
+      Set<ClassEntity> classesModifiedByEmitRTISupport) {
     assert(classes.every((Class cls) => cls != null));
 
     hasNativeClasses = classes.isNotEmpty;
 
     // Compute a pre-order traversal of the subclass forest.  We actually want a
     // post-order traversal but it is easier to compute the pre-order and use it
     // in reverse.
     List<Class> preOrder = <Class>[];
     Set<Class> seen = new Set<Class>();
 
@@ skipping 22 matching lines @@
     // needed class.
 
     Set<Class> neededClasses = new Set<Class>();
     Set<Class> nonLeafClasses = new Set<Class>();
 
     Map<Class, List<Class>> extensionPoints = computeExtensionPoints(preOrder);
 
     neededClasses.add(objectClass);
 
     for (Class cls in preOrder.reversed) {
-      ClassElement classElement = cls.element;
+      ClassEntity classElement = cls.element;
       // Post-order traversal ensures we visit the subclasses before their
       // superclass.  This makes it easy to tell if a class is needed because a
       // subclass is needed.
       bool needed = false;
       if (!cls.isNative) {
         // Mixin applications (native+mixin) are non-native, so [classElement]
         // has already been emitted as a regular class.  Mark [classElement] as
         // 'needed' to ensure the native superclass is needed.
         needed = true;
       } else if (!isTrivialClass(cls)) {
         needed = true;
       } else if (interceptorClassesNeededByConstants.contains(classElement)) {
         needed = true;
       } else if (classesModifiedByEmitRTISupport.contains(classElement)) {
         // TODO(9556): Remove this test when [emitRuntimeTypeSupport] no longer
         // adds information to a class prototype or constructor.
         needed = true;
       } else if (extensionPoints.containsKey(cls)) {
         needed = true;
       }
-      if (backend.isJsInterop(classElement)) {
+      if (backend.isJsInteropClass(classElement)) {
         needed = true; // TODO(jacobr): we don't need all interop classes.
       } else if (cls.isNative &&
           backend.nativeData.hasNativeTagsForcedNonLeaf(classElement)) {
         needed = true;
         nonLeafClasses.add(cls);
       }
 
       if (needed || neededClasses.contains(cls)) {
         neededClasses.add(cls);
         neededClasses.add(cls.superclass);
         nonLeafClasses.add(cls.superclass);
       }
     }
 
     // Collect all the tags that map to each native class.
 
     Map<Class, Set<String>> leafTags = new Map<Class, Set<String>>();
     Map<Class, Set<String>> nonleafTags = new Map<Class, Set<String>>();
 
     for (Class cls in classes) {
       if (!cls.isNative) continue;
-      ClassElement element = cls.element;
-      if (backend.isJsInterop(element)) continue;
+      ClassEntity element = cls.element;
+      if (backend.isJsInteropClass(element)) continue;
       List<String> nativeTags =
           backend.nativeData.getNativeTagsOfClass(cls.element);
 
       if (nonLeafClasses.contains(cls) || extensionPoints.containsKey(cls)) {
         nonleafTags
             .putIfAbsent(cls, () => new Set<String>())
             .addAll(nativeTags);
       } else {
         Class sufficingInterceptor = cls;
         while (!neededClasses.contains(sufficingInterceptor)) {
@@ skipping 78 matching lines @@
     }
 
     return cls.methods.isEmpty &&
         cls.isChecks.isEmpty &&
         cls.callStubs.isEmpty &&
         !cls.superclass.isMixinApplication &&
         !cls.fields.any(needsAccessor);
   }
 
   void potentiallyConvertDartClosuresToJs(List<jsAst.Statement> statements,
-      FunctionElement member, List<jsAst.Parameter> stubParameters) {
-    FunctionSignature parameters = member.functionSignature;
-    MethodElement converter = helpers.closureConverter;
+      FunctionEntity member, List<jsAst.Parameter> stubParameters) {
+    FunctionEntity converter = helpers.closureConverter;
     jsAst.Expression closureConverter =
         emitterTask.staticFunctionAccess(converter);
-    parameters.forEachParameter((ParameterElement parameter) {
-      String name = parameter.name;
+    worldBuilder.forEachParameter(member, (DartType type, String name) {
       // If [name] is not in [stubParameters], then the parameter is an optional
       // parameter that was not provided for this stub.
       for (jsAst.Parameter stubParameter in stubParameters) {
         if (stubParameter.name == name) {
-          ResolutionDartType type = parameter.type.unaliased;
-          if (type is ResolutionFunctionType) {
+          type = type.unaliased;
+          if (type.isFunctionType) {
             // The parameter type is a function type either directly or through
             // typedef(s).
-            ResolutionFunctionType functionType = type;
-            int arity = functionType.computeArity();
+            FunctionType functionType = type;
+            int arity = functionType.parameterTypes.length;
             statements.add(js
                 .statement('# = #(#, $arity)', [name, closureConverter, name]));
             break;
           }
         }
       }
     });
   }
 
   List<jsAst.Statement> generateParameterStubStatements(
-      FunctionElement member,
+      FunctionEntity member,
       bool isInterceptedMethod,
       jsAst.Name invocationName,
       List<jsAst.Parameter> stubParameters,
       List<jsAst.Expression> argumentsBuffer,
       int indexOfLastOptionalArgumentInParameters) {
     // The target JS function may check arguments.length so we need to
     // make sure not to pass any unspecified optional arguments to it.
     // For example, for the following Dart method:
     //   foo({x, y, z});
     // The call:
@@ skipping 15 matching lines @@
 
     if (isInterceptedMethod) {
       receiver = argumentsBuffer[0];
       arguments = argumentsBuffer.sublist(
           1, indexOfLastOptionalArgumentInParameters + 1);
     } else {
       // Native methods that are not intercepted must be static.
       assert(invariant(member, member.isStatic));
       arguments = argumentsBuffer.sublist(
           0, indexOfLastOptionalArgumentInParameters + 1);
-      if (backend.isJsInterop(member)) {
+      if (backend.isJsInteropMethod(member)) {
         // fixedBackendPath is allowed to have the form foo.bar.baz for
         // interop. This template is uncached to avoid possibly running out of
         // memory when Dart2Js is run in server mode. In reality the risk of
         // caching these templates causing an issue  is very low as each class
         // and library that uses typed JavaScript interop will create only 1
         // unique template.
         receiver = js
-            .uncachedExpressionTemplate(backend.namer.fixedBackendPath(member))
+            .uncachedExpressionTemplate(
+                backend.namer.fixedBackendMethodPath(member))
             .instantiate([]);
       } else {
         receiver = js('this');
       }
     }
     statements
         .add(js.statement('return #.#(#)', [receiver, target, arguments]));
 
     return statements;
   }
 
-  bool isSupertypeOfNativeClass(ClassElement element) {
+  bool isSupertypeOfNativeClass(ClassEntity element) {
     if (backend.classesMixedIntoInterceptedClasses.contains(element)) {
       return true;
     }
 
     return subtypes[element] != null;
   }
 
-  bool requiresNativeIsCheck(Element element) {
+  bool requiresNativeIsCheck(ClassEntity element) {
     // TODO(sra): Remove this function.  It determines if a native type may
     // satisfy a check against [element], in which case an interceptor must be
     // used.  We should also use an interceptor if the check can't be satisfied
     // by a native class in case we get a native instance that tries to spoof
     // the type info.  i.e the criteria for whether or not to use an interceptor
     // is whether the receiver can be native, not the type of the test.
-    if (element == null || !element.isClass) return false;
-    ClassElement cls = element;
+    //if (element == null || !element.isClass) return false;

[Siggi Cherem (dart-lang), 2017/01/20 17:00:15]

uncomment?

[Johnni Winther, 2017/01/23 10:00:09]

Removed. The test is moot.

+    ClassEntity cls = element;
     if (backend.isNativeOrExtendsNative(cls)) return true;
     return isSupertypeOfNativeClass(element);
   }
 }