Support getters and setters.

frog/leg/resolver.dart

 // Copyright (c) 2011, 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.
 
 interface TreeElements {
   Element operator[](Node node);
   Selector getSelector(Send send);
 }
 
 class TreeElementMapping implements TreeElements {
@@ skipping 592 matching lines @@
       } else {
         visit(node.argumentsNode);
         mapping.setSelector(node, Selector.BINARY_OPERATOR);
       }
     } else if (node.isIndex) {
       visit(node.argumentsNode);
       assert(node.arguments.tail.isEmpty());
       mapping.setSelector(node, Selector.INDEX);
     } else if (node.isPropertyAccess) {
       mapping.setSelector(node, Selector.GETTER);
+      if (target != null && target.kind == ElementKind.ABSTRACT_FIELD) {
+        AbstractFieldElement field = target;
+        target = field.getter;
+      }
     } else {
       int count = 0;
       List<SourceString> namedArguments = <SourceString>[];
       for (Link<Node> link = node.argumentsNode.nodes;
            !link.isEmpty();
            link = link.tail) {
         count++;
         Expression argument = link.head;
         visit(argument);
         if (argument.asNamedArgument() != null) {
           NamedArgument named = argument;
           namedArguments.add(named.name.source);
         }
       }
       mapping.setSelector(node, new Invocation(count, namedArguments));
     }
-    // TODO(ngeoffray): If target is a field, check that there's a
-    // getter.
+    // TODO(ngeoffray): Warn if target is null and the send is
+    // unqualified.
     return useElement(node, target);
   }
 
   visitSendSet(SendSet node) {
     Element target = resolveSend(node);
-    visit(node.argumentsNode);
-    // TODO(ngeoffray): If target is a field, check that there's a
-    // setter.
+    Element setter = null;
+    Element getter = null;
+    if (target != null && target.kind == ElementKind.ABSTRACT_FIELD) {
+      AbstractFieldElement field = target;
+      setter = field.setter;
+      getter = field.getter;
+    } else {
+      setter = target;
+      getter = target;
+    }
     // TODO(ngeoffray): Check if the target can be assigned.
     Identifier op = node.assignmentOperator;
     bool needsGetter = op.source.stringValue !== '=';
     Selector selector;
     if (needsGetter) {
-      // Resolve the getter for the lhs (receiver+selector).
-      // Currently this is the same as the setter.
-      // TODO(ngeoffray): Adapt for fields.
-      Element getter;
       if (node.isIndex) {
         selector = Selector.INDEX_AND_INDEX_SET;
-        getter = target;
       } else {
         selector = Selector.GETTER_AND_SETTER;
-        // TODO(ngeoffray): Find the getter from the setter.
-        getter = target;
       }
       useElement(node.selector, getter);
     } else if (node.isIndex) {
       selector = Selector.INDEX_SET;
     } else {
       selector = Selector.SETTER;
     }
+    visit(node.argumentsNode);
     mapping.setSelector(node, selector);
-    return useElement(node, target);
+    // TODO(ngeoffray): Warn if target is null and the send is
+    // unqualified.
+    return useElement(node, setter);
   }
 
   visitLiteralInt(LiteralInt node) {
   }
 
   visitLiteralDouble(LiteralDouble node) {
   }
 
   visitLiteralBool(LiteralBool node) {
   }
@@ skipping 448 matching lines @@
 class TopScope extends Scope {
   Universe universe;
 
   TopScope(Universe this.universe) : super(null, null);
   Element lookup(SourceString name) => universe.find(name);
 
   Element add(Element element) {
     throw "Cannot add an element in the top scope";
   }
 }