Version 0.8.10.9

dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/error/ErrorReporter.java

 /*
  * Copyright (c) 2013, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
  * or implied. See the License for the specific language governing permissions and limitations under
  * the License.
  */
 package com.google.dart.engine.internal.error;
 
 import com.google.dart.engine.ast.ASTNode;
+import com.google.dart.engine.element.Element;
 import com.google.dart.engine.error.AnalysisError;
 import com.google.dart.engine.error.AnalysisErrorListener;
 import com.google.dart.engine.error.AnalysisErrorWithProperties;
 import com.google.dart.engine.error.ErrorCode;
 import com.google.dart.engine.scanner.Token;
 import com.google.dart.engine.source.Source;
 
 /**
  * Instances of the class {@code ErrorReporter} wrap an error listener with utility methods used to
  * create the errors being reported.
@@ skipping 67 matching lines @@
    * @param arguments the arguments to the error, used to compose the error message
    */
   public void reportError(ErrorCode errorCode, ASTNode node, Object... arguments) {
     reportError(errorCode, node.getOffset(), node.getLength(), arguments);
   }
 
   /**
    * Report an error with the given error code and arguments.
    * 
    * @param errorCode the error code of the error to be reported
+   * @param element the element which name should be used as the location of the error
+   * @param arguments the arguments to the error, used to compose the error message
+   */
+  public void reportError(ErrorCode errorCode, Element element, Object... arguments) {
+    reportError(errorCode, element.getNameOffset(), element.getDisplayName().length(), arguments);
+  }
+
+  /**
+   * Report an error with the given error code and arguments.
+   * 
+   * @param errorCode the error code of the error to be reported
    * @param offset the offset of the location of the error
    * @param length the length of the location of the error
    * @param arguments the arguments to the error, used to compose the error message
    */
   public void reportError(ErrorCode errorCode, int offset, int length, Object... arguments) {
     errorListener.onError(new AnalysisError(source, offset, length, errorCode, arguments));
   }
 
   /**
    * Report an error with the given error code and arguments.
    * 
    * @param errorCode the error code of the error to be reported
    * @param token the token specifying the location of the error
    * @param arguments the arguments to the error, used to compose the error message
    */
   public void reportError(ErrorCode errorCode, Token token, Object... arguments) {
     reportError(errorCode, token.getOffset(), token.getLength(), arguments);
   }
 
   /**
    * Set the source to be used when reporting errors. Setting the source to {@code null} will cause
    * the default source to be used.
    * 
    * @param source the source to be used when reporting errors
    */
   public void setSource(Source source) {
     this.source = source == null ? defaultSource : source;
   }
 }