Generate a warning and a runtime error for calls to nonexistent static calls, getters and setters.

lib/compiler/implementation/resolver.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.
 
 interface TreeElements {
   Element operator[](Node node);
   Selector getSelector(Send send);
   DartType getType(TypeAnnotation annotation);
   bool isParameterChecked(Element element);
 }
@@ skipping 1006 matching lines @@
       return null;
     } else if (node.isSuper()) {
       if (!inInstanceContext) error(node, MessageKind.NO_SUPER_IN_STATIC);
       if ((ElementCategory.SUPER & allowedCategory) == 0) {
         error(node, MessageKind.INVALID_USE_OF_SUPER);
       }
       return null;
     } else {
       Element element = lookup(node, node.source);
       if (element === null) {
-        if (!inInstanceContext) error(node, MessageKind.CANNOT_RESOLVE, [node]);
+        if (!inInstanceContext) {
+          ResolutionWarning warning =
+              new ResolutionWarning(MessageKind.CANNOT_RESOLVE, [node]);
+          compiler.reportWarning(node, warning);
+          element = new ErroneousElement(warning.message, enclosingElement);
+        }
       } else {
         if ((element.kind.category & allowedCategory) == 0) {
           // TODO(ahe): Improve error message. Need UX input.
           error(node, MessageKind.GENERIC, ["is not an expression $element"]);
         }
       }
       return useElement(node, element);
     }
   }
 
@@ skipping 291 matching lines @@
       }
     }
   }
 
   visitSend(Send node) {
     Element target = resolveSend(node);
     if (!Element.isInvalid(target)
         && target.kind == ElementKind.ABSTRACT_FIELD) {
       AbstractFieldElement field = target;
       target = field.getter;
-      if (Element.isInvalid(target) && !inInstanceContext) {
-        // TODO(karlklose): make this a runtime error.
-        error(node.selector, MessageKind.CANNOT_RESOLVE_GETTER);
+      if (target == null && !inInstanceContext) {
+        ResolutionWarning warning =
+            new ResolutionWarning(MessageKind.CANNOT_RESOLVE_GETTER,
+                                  [node.selector]);
+        compiler.reportWarning(node.selector, warning);
+        target = new ErroneousElement(warning.message, enclosingElement);
       }
     }
 
     bool resolvedArguments = false;
     if (node.isOperator) {
       String operatorString = node.selector.asOperator().source.stringValue;
       if (operatorString === 'is' || operatorString === 'as') {
         assert(node.arguments.tail.isEmpty());
         resolveTypeTest(node.arguments.head);
         resolvedArguments = true;
@@ skipping 43 matching lines @@
     registerSend(selector, target);
     return node.isPropertyAccess ? target : null;
   }
 
   visitSendSet(SendSet node) {
     Element target = resolveSend(node);
     Element setter = target;
     Element getter = target;
     String source = node.assignmentOperator.source.stringValue;
     bool isComplex = source !== '=';
-    if (target != null && target.kind == ElementKind.ABSTRACT_FIELD) {
+    if (!Element.isInvalid(target)
+        && target.kind == ElementKind.ABSTRACT_FIELD) {
       AbstractFieldElement field = target;
       setter = field.setter;
       getter = field.getter;
-      if (Element.isInvalid(setter) && !inInstanceContext) {
-        // TODO(karlklose): make this a runtime error.
-        error(node.selector, MessageKind.CANNOT_RESOLVE_SETTER);
+      if (setter == null && !inInstanceContext) {
+        ResolutionWarning warning =

[kasperl, 2012/09/05 09:29:45]

This looks ripe for refactoring. Couldn't we share the code that creates a new
resolution warning, reports it and returns a new fake, erroneous element?

[karlklose, 2012/09/05 11:10:47]

Done.

+            new ResolutionWarning(MessageKind.CANNOT_RESOLVE_GETTER,
+                                  [node.selector]);
+        compiler.reportWarning(node.selector, warning);
+        setter = new ErroneousElement(warning.message, enclosingElement);
       }
-      if (isComplex && Element.isInvalid(getter) && !inInstanceContext) {
-        // TODO(karlklose): make this a runtime error.
-        error(node.selector, MessageKind.CANNOT_RESOLVE_GETTER);
+      if (isComplex && getter == null && !inInstanceContext) {
+        ResolutionWarning warning =
+            new ResolutionWarning(MessageKind.CANNOT_RESOLVE_GETTER,
+                                  [node.selector]);
+        compiler.reportWarning(node.selector, warning);
+        getter = new ErroneousElement(warning.message, enclosingElement);
       }
     }
 
     visit(node.argumentsNode);
 
     // TODO(ngeoffray): Check if the target can be assigned.
     // TODO(ngeoffray): Warn if target is null and the send is
     // unqualified.
 
     Selector selector = mapping.getSelector(node);
@@ skipping 1240 matching lines @@
   TopScope(LibraryElement library) : super(null, library);
   Element lookup(SourceString name) {
     return library.find(name);
   }
 
   Element add(Element newElement) {
     throw "Cannot add an element in the top scope";
   }
   String toString() => '$element';
 }