Support getters and setters.

frog/leg/elements/elements.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.
 
 #library('elements');
 
 #import('../tree/tree.dart');
 #import('../scanner/scannerlib.dart');
 #import('../leg.dart');  // TODO(karlklose): we only need type.
 #import('../util/util.dart');
@@ skipping 12 matching lines @@
       const ElementKind('generative_constructor');
   static final ElementKind FIELD = const ElementKind('field');
   static final ElementKind VARIABLE_LIST = const ElementKind('variable_list');
   static final ElementKind FIELD_LIST = const ElementKind('field_list');
   static final ElementKind GENERATIVE_CONSTRUCTOR_BODY =
       const ElementKind('generative_constructor_body');
   static final ElementKind COMPILATION_UNIT =
       const ElementKind('compilation_unit');
   static final ElementKind GETTER = const ElementKind('getter');
   static final ElementKind SETTER = const ElementKind('setter');
+  static final ElementKind ABSTRACT_FIELD = const ElementKind('abstract_field');
 
   toString() => id;
 }
 
 class Element implements Hashable {
   final SourceString name;
   final ElementKind kind;
   final Element enclosingElement;
   Modifiers get modifiers() => null;
 
@@ skipping 157 matching lines @@
 
   Type computeType(Compiler compiler) {
     return compiler.types.dynamicType;
   }
 
   parseNode(DiagnosticListener listener) {
     throw "internal error: ForeignElement has no node";
   }
 }
 
+class AbstractFieldElement extends Element {
+  FunctionElement getter;
+  FunctionElement setter;
+  AbstractFieldElement(SourceString name, Element enclosing)
+      : super(name, ElementKind.ABSTRACT_FIELD, enclosing);
+
+  Type computeType(Compiler compiler) {
+    throw "internal error: AbstractFieldElement has no type";
+  }
+
+  Node parseNode(DiagnosticListener listener) {
+    throw "internal error: AbstractFieldElement has no node";
+  }
+}
+
 /**
  * TODO(ngeoffray): Remove this method in favor of using the universe.
  *
  * Return the type referred to by the type annotation. This method
  * accepts annotations with 'typeName == null' to indicate a missing
  * annotation.
  */
 Type getType(TypeAnnotation typeAnnotation, compiler, types) {
   if (typeAnnotation == null || typeAnnotation.typeName == null) {
     return types.dynamicType;
@@ skipping 178 matching lines @@
   ClassElement(SourceString name, CompilationUnitElement enclosing)
     : localMembers = new Map<SourceString, Element>(),
       constructors = new Map<SourceString, Element>(),
       super(name, ElementKind.CLASS, enclosing);
 
   void addMember(Element element, DiagnosticListener listener) {
     members = members.prepend(element);
     if (element.kind == ElementKind.GENERATIVE_CONSTRUCTOR ||
         element.modifiers.isFactory()) {
       constructors[element.name] = element;
+    } else if (element.kind == ElementKind.GETTER
+               || element.kind == ElementKind.SETTER) {
+      Element existing = localMembers[element.name];
+      if (existing != null) {
+        if (existing.kind !== ElementKind.ABSTRACT_FIELD) {
+          listener.cancel('duplicate definition of $name', element: element);
+          listener.cancel('existing definition', element: existing);
+        } else {
+          AbstractFieldElement field = existing;
+          if (element.kind == ElementKind.GETTER) {
+            if (field.getter != null) {
+              listener.cancel('duplicate definition of getter ${element.name}',
+                  element: element);
+              listener.cancel('existing definition', element: field.getter);
+            } else {
+              field.getter = element;
+            }
+          } else {
+            if (field.setter != null) {
+              listener.cancel('duplicate definition of setter ${element.name}',
+                  element: element);
+              listener.cancel('existing definition', element: field.setter);
+            } else {
+              field.setter = element;
+            }
+          }
+        }
+      } else {
+        AbstractFieldElement field =
+            new AbstractFieldElement(element.name, this);
+        localMembers[element.name] = field;
+        if (element.kind == ElementKind.GETTER) {
+          field.getter = element;
+        } else {
+          field.setter = element;
+        }
+      }
     } else {
       localMembers[element.name] = element;
     }
   }
 
   Type computeType(compiler) {
     if (type === null) {
       type = new SimpleType(name, this);
     }
     return type;
@@ skipping 47 matching lines @@
   ClassElement get superclass() {
     assert(isResolved);
     return supertype === null ? null : supertype.element;
   }
 }
 
 class Elements {
   static bool isInstanceField(Element element) {
     return (element !== null)
            && element.isInstanceMember()
-           && (element.kind === ElementKind.FIELD);
+           && (element.kind === ElementKind.FIELD
+               || element.kind === ElementKind.GETTER
+               || element.kind === ElementKind.SETTER);
   }
 
   static bool isStaticOrTopLevelField(Element element) {
     return (element != null)
            && !element.isInstanceMember()
-           && (element.kind === ElementKind.FIELD);
+           && (element.kind === ElementKind.FIELD
+               || element.kind === ElementKind.GETTER
+               || element.kind === ElementKind.SETTER);
   }
 
   static bool isInstanceMethod(Element element) {
     return (element != null)
            && element.isInstanceMember()
            && (element.kind === ElementKind.FUNCTION);
   }
 
   static bool isClosureSend(Send send, TreeElements elements) {
     if (send.isPropertyAccess) return false;
@@ skipping 32 matching lines @@
     else if (str === '>=') str = 'ge';
     else if (str === '>') str = 'gt';
     else if (str === '<=') str = 'le';
     else if (str === '<') str = 'lt';
     else if (str === '&' || str === '&=') str = 'and';
     else if (str === '^' || str === '^=') str = 'xor';
     else if (str === '|' || str === '|=') str = 'or';
     return new SourceString('$receiver\$$str');
   }
 }