Defer addStubs to class instantiation time.

pkg/compiler/lib/src/js_emitter/old_emitter/reflection_data_parser.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.
 
 part of dart2js.js_emitter;
 
 // TODO(ahe): Share these with js_helper.dart.
 const FUNCTION_INDEX = 0;
 const NAME_INDEX = 1;
 const CALL_NAME_INDEX = 2;
 const REQUIRED_PARAMETER_INDEX = 3;
 const OPTIONAL_PARAMETER_INDEX = 4;
 const DEFAULT_ARGUMENTS_INDEX = 5;
 
 const bool VALIDATE_DATA = false;
 
 // TODO(zarah): Rename this when renaming this file.
 String get parseReflectionDataName => 'parseReflectionData';
 
-jsAst.Expression getReflectionDataParser(OldEmitter oldEmitter,
-                                         JavaScriptBackend backend,
-                                         bool needsNativeSupport) {
+jsAst.Statement getReflectionDataParser(OldEmitter oldEmitter,
+                                        JavaScriptBackend backend,
+                                        bool needsNativeSupport) {
   Namer namer = backend.namer;
   Compiler compiler = backend.compiler;
   CodeEmitterTask emitter = backend.emitter;
 
   String reflectableField = namer.reflectableField;
   String reflectionInfoField = namer.reflectionInfoField;
   String reflectionNameField = namer.reflectionNameField;
   String metadataIndexField = namer.metadataIndexField;
   String defaultValuesField = namer.defaultValuesField;
   String methodsWithOptionalArgumentsField =
@@ skipping 13 matching lines @@
       emitter.generateEmbeddedGlobalAccess(embeddedNames.INTERCEPTED_NAMES);
   jsAst.Expression mangledGlobalNamesAccess =
       emitter.generateEmbeddedGlobalAccess(embeddedNames.MANGLED_GLOBAL_NAMES);
   jsAst.Expression mangledNamesAccess =
       emitter.generateEmbeddedGlobalAccess(embeddedNames.MANGLED_NAMES);
   jsAst.Expression librariesAccess =
       emitter.generateEmbeddedGlobalAccess(embeddedNames.LIBRARIES);
   jsAst.Expression typesAccess =
       emitter.generateEmbeddedGlobalAccess(embeddedNames.TYPES);
 
+
   jsAst.Statement processClassData = js.statement('''{
+  // For convenience, this method can be called with a prototype as argument
+  // or, if it was bound to an object, by invoking it as a method. Therefore, 
+  // if prototype is undefined, this is used as prototype.
+  function finishAddStubsHelper(prototype) {
+    var prototype = prototype || this;
+    var object;
+    while (prototype.#deferredAction != #markerFun) {
+      if (prototype.hasOwnProperty(#deferredActionString)) {
+        delete prototype.#deferredAction; // Intended to make it slow, too.
+        var properties = Object.keys(prototype);
+        for (var index = 0; index < properties.length; index++) {
+          var property = properties[index];
+          var firstChar = property.charCodeAt(0);
+          var elem;
+          // We have to filter out some special properties that are used for
+          // metadata in descriptors. Currently, we filter everything that 
+          // starts with + or *. This has to stay in sync with the special
+          // properties that are used by processClassData below.
+          if (property !== "${namer.classDescriptorProperty}" &&
+              property !== "$reflectableField" &&
+              firstChar !== 43 && // 43 is aka "+".
+              firstChar !== 42 && // 42 is aka "*"
+              (elem = prototype[property]) != null &&
+              elem.constructor === Array &&
+              property !== "<>") {
+            addStubs(prototype, elem, property, false, []);
+          }
+        }
+        convertToFastObject(prototype);
+      }
+      prototype = prototype.__proto__;
+    }
+  }
+
   function processClassData(cls, descriptor, processedClasses) {
     descriptor = convertToSlowObject(descriptor); // Use a slow object.
     var previousProperty;
     var properties = Object.keys(descriptor);
+    var hasDeferredWork = false;
+    var shouldDeferWork = supportsDirectProtoAccess && cls != #objectClassName;
     for (var i = 0; i < properties.length; i++) {
       var property = properties[i];
       var firstChar = property.charCodeAt(0);
       if (property === "static") {
         processStatics(#embeddedStatics[cls] = descriptor.static,
                        processedClasses);
+        delete descriptor.static;
       } else if (firstChar === 43) { // 43 is "+".
         mangledNames[previousProperty] = property.substring(1);
         var flag = descriptor[property];
         if (flag > 0)
           descriptor[previousProperty].$reflectableField = flag;
       } else if (firstChar === 42) { // 42 is "*"
         descriptor[previousProperty].$defaultValuesField = descriptor[property];
         var optionalMethods = descriptor.$methodsWithOptionalArgumentsField;
         if (!optionalMethods) {
           descriptor.$methodsWithOptionalArgumentsField = optionalMethods={}
         }
         optionalMethods[property] = previousProperty;
       } else {
         var elem = descriptor[property];
         if (property !== "${namer.classDescriptorProperty}" &&
             elem != null &&
             elem.constructor === Array &&
             property !== "<>") {
-          addStubs(descriptor, elem, property, false, []);
+          if (shouldDeferWork) {
+            hasDeferredWork = true;
+          } else {
+            addStubs(descriptor, elem, property, false, []);
+          }
         } else {
           previousProperty = property;
         }
       }
     }
+    
+    if (hasDeferredWork)
+      descriptor.#deferredAction = finishAddStubsHelper;
 
     /* The 'fields' are either a constructor function or a
      * string encoding fields, constructor and superclass. Gets the
      * superclass and fields in the format
      *   'Super;field1,field2'
      * from the CLASS_DESCRIPTOR_PROPERTY property on the descriptor.
      */
     var classData = descriptor["${namer.classDescriptorProperty}"],
         split, supr, fields = classData;
 
@@ skipping 20 matching lines @@
     }
 
     if (supr) processedClasses.pending[cls] = supr;
     if (#notInCspMode) {
       processedClasses.combinedConstructorFunction += defineClass(cls, fields);
       processedClasses.constructorsList.push(cls);
     }
     processedClasses.collected[cls] = [globalObject, descriptor];
     classes.push(cls);
   }
-}''', {'embeddedStatics': staticsAccess,
+}''', {'deferredAction': namer.deferredAction,
+       'deferredActionString': js.string(namer.deferredAction),
+       'embeddedStatics': staticsAccess,
        'hasRetainedMetadata': backend.hasRetainedMetadata,
+       'markerFun': oldEmitter.markerFun,
        'types': typesAccess,
-       'notInCspMode': !compiler.useContentSecurityPolicy});
+       'notInCspMode': !compiler.useContentSecurityPolicy,
+       'objectClassName':
+         js.string(namer.runtimeTypeName(compiler.objectClass))});
 
   // TODO(zarah): Remove empty else branches in output when if(#hole) is false.
   jsAst.Statement processStatics = js.statement('''
     function processStatics(descriptor, processedClasses) {
       var properties = Object.keys(descriptor);
       for (var i = 0; i < properties.length; i++) {
         var property = properties[i];
         if (property === "${namer.classDescriptorProperty}") continue;
         var element = descriptor[property];
         var firstChar = property.charCodeAt(0);
@@ skipping 33 matching lines @@
       'globalFunctions': globalFunctionsAccess,
       'hasClasses': oldEmitter.needsClassSupport,
       'needsStructuredMemberInfo': oldEmitter.needsStructuredMemberInfo});
 
 
   /**
    * See [dart2js.js_emitter.ContainerBuilder.addMemberMethod] for format of
    * [array].
    */
   jsAst.Statement addStubs = js.statement('''
-  function addStubs(descriptor, array, name, isStatic, functions) {
+  // Processes the stub declaration given by [array] and stores the results
+  // in the corresponding [prototype]. [name] is the property name in
+  // [prototype] that the stub declaration belongs to.
+  // If [isStatic] is true, the property being processed belongs to a static 
+  // function and thus is stored as a global. In that case we also add all
+  // generated functions to the [functions] array, which is used by the mirrors
+  // system to enumerate all static functions of a library. For non-static
+  // functions we might still add some functions to [functions] but the
+  // information is thrown away at the call site. This is to avoid conditionals. 
+  function addStubs(prototype, array, name, isStatic, functions) {
     var index = $FUNCTION_INDEX, alias = array[index], f;
     if (typeof alias == "string") {
       f = array[++index];
     } else {
       f = alias;
       alias = name;
     }
-    var funcs = [descriptor[name] = descriptor[alias] = f];
+    var funcs = [prototype[name] = prototype[alias] = f];
     f.\$stubName = name;
     functions.push(name);
     for (; index < array.length; index += 2) {
       f = array[index + 1];
       if (typeof f != "function") break;
       f.\$stubName = ${readString("array", "index + 2")};
       funcs.push(f);
       if (f.\$stubName) {
-        descriptor[f.\$stubName] = f;
+        prototype[f.\$stubName] = f;
         functions.push(f.\$stubName);
       }
     }
     index++;
     for (var i = 0; i < funcs.length; index++, i++) {
       funcs[i].\$callName = ${readString("array", "index")};
     }
     var getterStubName = ${readString("array", "index")};
     array = array.slice(++index);
     var requiredParameterInfo = ${readInt("array", "0")};
     var requiredParameterCount = requiredParameterInfo >> 1;
     var isAccessor = (requiredParameterInfo & 1) === 1;
     var isSetter = requiredParameterInfo === 3;
     var isGetter = requiredParameterInfo === 1;
     var optionalParameterInfo = ${readInt("array", "1")};
     var optionalParameterCount = optionalParameterInfo >> 1;
     var optionalParametersAreNamed = (optionalParameterInfo & 1) === 1;
     var isIntercepted =
            requiredParameterCount + optionalParameterCount != funcs[0].length;
     var functionTypeIndex = ${readFunctionType("array", "2")};
     var unmangledNameIndex = $unmangledNameIndex;
 
     if (getterStubName) {
       f = tearOff(funcs, array, isStatic, name, isIntercepted);
-      descriptor[name].\$getter = f;
+      prototype[name].\$getter = f;
       f.\$getterStub = true;
       // Used to create an isolate using spawnFunction.
-      if (isStatic) #globalFunctions[name] = f;
-      descriptor[getterStubName] = f;
+      if (isStatic) {
+        #globalFunctions[name] = f;
+        functions.push(getterStubName);
+      }
+      prototype[getterStubName] = f;
       funcs.push(f);
-      if (getterStubName) functions.push(getterStubName);
       f.\$stubName = getterStubName;
       f.\$callName = null;
       // Update the interceptedNames map (which only exists if `invokeOn` was
       // enabled).
       if (#enabledInvokeOn)
         if (isIntercepted) #interceptedNames[getterStubName] = 1;
     }
 
     if (#usesMangledNames) {
       var isReflectable = array.length > unmangledNameIndex;
@@ skipping 11 matching lines @@
         if (getterStubName) mangledNames[getterStubName] = reflectionName;
         if (isSetter) {
           reflectionName += "=";
         } else if (!isGetter) {
           reflectionName += ":" + requiredParameterCount +
             ":" + optionalParameterCount;
         }
         mangledNames[name] = reflectionName;
         funcs[0].$reflectionNameField = reflectionName;
         funcs[0].$metadataIndexField = unmangledNameIndex + 1;
-        if (optionalParameterCount) descriptor[unmangledName + "*"] = funcs[0];
+        if (optionalParameterCount) prototype[unmangledName + "*"] = funcs[0];
       }
     }
   }
 ''', {'globalFunctions': globalFunctionsAccess,
       'enabledInvokeOn': compiler.enabledInvokeOn,
       'interceptedNames': interceptedNamesAccess,
       'usesMangledNames':
           compiler.mirrorsLibrary != null || compiler.enabledFunctionApply,
       'mangledGlobalNames': mangledGlobalNamesAccess,
       'mangledNames': mangledNamesAccess});
@@ skipping 141 matching lines @@
        'precompiled': oldEmitter
            .generateEmbeddedGlobalAccess(embeddedNames.PRECOMPILED)});
 
   List<jsAst.Statement> incrementalSupport = <jsAst.Statement>[];
   if (compiler.hasIncrementalSupport) {
     incrementalSupport.add(
         js.statement(
             '#.addStubs = addStubs;', [namer.accessIncrementalHelper]));
   }
 
-  return js('''
+  return js.statement('''
 function $parseReflectionDataName(reflectionData) {
   "use strict";
   if (#needsClassSupport) {
     #defineClass;
     #inheritFrom;
     #finishClasses;
     #processClassData;
   }
   #processStatics;
   if (#needsStructuredMemberInfo) {
@@ skipping 43 matching lines @@
 (function() {
   var result = $array[$index];
   if ($check) {
     throw new Error(
         name + ": expected value of type \'$type\' at index " + ($index) +
         " but got " + (typeof result));
   }
   return result;
 })()''';
 }