Introduce typed selectors for getters and setters also for better tree shaking.

lib/compiler/implementation/enqueue.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.
 
 class EnqueueTask extends CompilerTask {
   final Map<String, Link<Element>> instanceMembersByName;
   final Set<ClassElement> seenClasses;
 
   String get name() => 'Enqueue';
 
@@ skipping 34 matching lines @@
           for (Selector selector in invokedSelectors) {
             compiler.registerDynamicInvocation(Namer.CLOSURE_INVOCATION_NAME,
                                                selector);
           }
         }
       }
     });
   }
 
   void processInstantiatedClassMember(Element member) {
-    if (compiler.universe.generatedCode.containsKey(member)) return;
+    Universe universe = compiler.universe;
+    if (universe.generatedCode.containsKey(member)) return;
 
     if (!member.isInstanceMember()) return;
+    if (member.isField()) return;
 
     String memberName = member.name.slowToString();
     Link<Element> members = instanceMembersByName.putIfAbsent(
         memberName, () => const EmptyLink<Element>());
     instanceMembersByName[memberName] = members.prepend(member);
 
     if (member.kind === ElementKind.GETTER ||
         member.kind === ElementKind.FIELD) {
-      compiler.universe.instantiatedClassInstanceFields.add(member.name);
+      universe.instantiatedClassInstanceFields.add(member.name);
     }
 
+    

[kasperl, 2012/04/25 14:14:54]

Why some many newlines?

[ngeoffray, 2012/04/26 09:31:51]

Done.

     if (member.kind == ElementKind.FUNCTION) {
       if (member.name == Compiler.NO_SUCH_METHOD) {
         compiler.enableNoSuchMethod(member);
       }
-      Set<Selector> selectors = compiler.universe.invokedNames[member.name];
-      if (selectors != null) {
-        for (Selector selector in selectors) {
-          if (selector.applies(member, compiler)) {
-            return compiler.addToWorkList(member);
-          }
-        }
+      if (universe.hasInvocation(member, compiler)) {
+        return compiler.addToWorkList(member);
       }
       // If there is a property access with the same name as a method we
       // need to emit the method.
-      if (compiler.universe.invokedGetters.contains(member.name)) {
+      if (universe.hasGetter(member, compiler)) {
         // We will emit a closure, so make sure the closure class is
         // generated.
         compiler.closureClass.ensureResolved(compiler);
         compiler.registerInstantiatedClass(compiler.closureClass);
         return compiler.addToWorkList(member);
       }
     } else if (member.kind == ElementKind.GETTER) {
-      if (compiler.universe.invokedGetters.contains(member.name)) {
+      if (universe.hasGetter(member, compiler)) {
         return compiler.addToWorkList(member);
       }
-      // A method invocation like in o.foo(x, y) might actually be an
-      // invocation of the getter foo followed by an invocation of the
-      // returned closure.
-      Set<Selector> invokedSelectors =
-        compiler.universe.invokedNames[member.name];
       // We don't know what selectors the returned closure accepts. If
       // the set contains any selector we have to assume that it matches.
-      if (invokedSelectors !== null && !invokedSelectors.isEmpty()) {
+      if (universe.hasInvocation(member, compiler)) {
         return compiler.addToWorkList(member);
       }
     } else if (member.kind === ElementKind.SETTER) {
-      if (compiler.universe.invokedSetters.contains(member.name)) {
+      if (universe.hasSetter(member, compiler)) {
         return compiler.addToWorkList(member);
       }
     }
   }
 
   void onRegisterInstantiatedClass(ClassElement cls) {
     measure(() {
       while (cls !== null) {
         if (seenClasses.contains(cls)) return;
         seenClasses.add(cls);
         // TODO(ahe): Don't call resolveType, instead, call this method
         // when resolveType is called.
         compiler.resolveClass(cls);
         cls.members.forEach(processInstantiatedClassMember);
         cls = cls.superclass;
       }
     });
   }
 
   void registerInvocation(SourceString methodName, Selector selector) {
     measure(() {
       Map<SourceString, Set<Selector>> invokedNames =
         compiler.universe.invokedNames;
       Set<Selector> selectors =
         invokedNames.putIfAbsent(methodName, () => new Set<Selector>());
       if (!selectors.contains(selector)) {
         selectors.add(selector);
-        handleUnseenInvocation(methodName, selector);
+        handleUnseenSelector(methodName, selector);
       }
     });
   }
 
-  void registerGetter(SourceString methodName) {
+  void registerGetter(SourceString methodName, Selector selector) {
     measure(() {
-      if (!compiler.universe.invokedGetters.contains(methodName)) {
-        compiler.universe.invokedGetters.add(methodName);
-        handleUnseenGetter(methodName);
+      Map<SourceString, Set<Selector>> invokedGetters =

[kasperl, 2012/04/25 14:14:54]

This shares a ton of code with registerSetter and registerInvocation. Refactor
ala:

  registerInvocation(...) => 
     registerSelector(compiler.universe.invokedNames,
                      methodName,
                      selector);

Why do you pass both a method name and the selector? Somehow it smells like a
selector should have a name.

[ngeoffray, 2012/04/26 09:31:51]

Done.

+        compiler.universe.invokedGetters;

[kasperl, 2012/04/25 14:14:54]

More indentation.

[ngeoffray, 2012/04/26 09:31:51]

Done.

+      Set<Selector> selectors =
+        invokedGetters.putIfAbsent(methodName, () => new Set<Selector>());
+      if (!selectors.contains(selector)) {
+        selectors.add(selector);
+        handleUnseenSelector(methodName, selector);
       }
     });
   }
 
-  void registerSetter(SourceString methodName) {
+  void registerSetter(SourceString methodName, Selector selector) {
     measure(() {
-      if (!compiler.universe.invokedSetters.contains(methodName)) {
-        compiler.universe.invokedSetters.add(methodName);
-        handleUnseenSetter(methodName);
+      Map<SourceString, Set<Selector>> invokedSetters =
+        compiler.universe.invokedSetters;
+      Set<Selector> selectors =
+        invokedSetters.putIfAbsent(methodName, () => new Set<Selector>());
+      if (!selectors.contains(selector)) {
+        selectors.add(selector);
+        handleUnseenSelector(methodName, selector);
       }
     });
   }
 
   processInstanceMembers(SourceString n, bool f(Element e)) {
     String memberName = n.slowToString();
     Link<Element> members = instanceMembersByName[memberName];
     if (members !== null) {
       LinkBuilder<Element> remaining = new LinkBuilder<Element>();
       for (; !members.isEmpty(); members = members.tail) {
         if (!f(members.head)) remaining.addLast(members.head);
       }
       instanceMembersByName[memberName] = remaining.toLink();
     }
   }
 
-  void handleUnseenInvocation(SourceString methodName, Selector selector) {
+  void handleUnseenSelector(SourceString methodName, Selector selector) {
     processInstanceMembers(methodName, (Element member) {
-      if (member.isGetter()) {
+      if (selector.applies(member, compiler)) {
         compiler.addToWorkList(member);
         return true;
-      } else if (member.isFunction()) {
-        if (selector.applies(member, compiler)) {
-          compiler.addToWorkList(member);
-          return true;
-        }
       }
       return false;
     });
   }
-
-  void handleUnseenGetter(SourceString methodName) {
-    processInstanceMembers(methodName, (Element member) {
-      if (member.isGetter() || member.isFunction()) {
-        compiler.addToWorkList(member);
-        return true;
-      } else {
-        return false;
-      }
-    });
-  }
-
-  void handleUnseenSetter(SourceString methodName) {
-    processInstanceMembers(methodName, (Element member) {
-      if (member.isSetter()) {
-        compiler.addToWorkList(member);
-        return true;
-      } else {
-        return false;
-      }
-    });
-  }
 }