Support runtime check of function types.

sdk/lib/_internal/compiler/implementation/universe/universe.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 universe;
 
 import '../closure.dart';
 import '../elements/elements.dart';
 import '../dart2jslib.dart';
 import '../dart_types.dart';
@@ skipping 31 matching lines @@
    * information. The resolver is too conservative when seeing a
    * getter and only registers an invoked getter.
    */
   final Set<Element> fieldGetters;
 
   /**
    * Fields set. See comment in [fieldGetters].
    */
   final Set<Element> fieldSetters;
   final Set<DartType> isChecks;
+  final Set<Element> callMethods;

[ngeoffray, 2013/03/13 09:30:46]

Please add comments on callMethods and closurizedMembers.

[Johnni Winther, 2013/03/22 07:30:24]

Done.

+  final Set<Element> closurizedMembers;
 
   Universe() : instantiatedClasses = new Set<ClassElement>(),
                instantiatedTypes = new Set<DartType>(),
                staticFunctionsNeedingGetter = new Set<FunctionElement>(),
                invokedNames = new Map<SourceString, Set<Selector>>(),
                invokedGetters = new Map<SourceString, Set<Selector>>(),
                invokedSetters = new Map<SourceString, Set<Selector>>(),
                fieldGetters = new Set<Element>(),
                fieldSetters = new Set<Element>(),
-               isChecks = new Set<DartType>();
+               isChecks = new Set<DartType>(),
+               callMethods = new Set<Element>(),
+               closurizedMembers = new Set<Element>();
 
   bool hasMatchingSelector(Set<Selector> selectors,
                            Element member,
                            Compiler compiler) {
     if (selectors == null) return false;
     for (Selector selector in selectors) {
       if (selector.appliesUnnamed(member, compiler)) return true;
     }
     return false;
   }
@@ skipping 470 matching lines @@
       ClassElement cls = self;
       if (cls.isSubclassOf(other)) {
         // Resolve an invocation of [element.name] on [self]. If it
         // is found, this selector is a candidate.
         return hasElementIn(cls, element) && appliesUntyped(element, compiler);
       }
     }
     return false;
   }
 }