Added hint to report invocations of members (methods, getters, setters, operators, ...) that are de…

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java
index bea9a2438fc49fdc0339908ccb0c1e1a3bb8fc5e..308e15f7792281066ce8a4dbd51ae5fe111cd383 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java
@@ -175,6 +175,14 @@ public interface Element {
   public boolean isAccessibleIn(LibraryElement library);
 
   /**
+   * Return {@code true} if this element has an annotation of the form '@deprecated' or
+   * '@Deprecated('..')'.
+   * 
+   * @return {@code true} if this element is deprecated
+   */
+  public boolean isDeprecated();
+
+  /**
    * Return {@code true} if this element is synthetic. A synthetic element is an element that is not
    * represented in the source code explicitly, but is implied by the source code, such as the
    * default constructor for a class that does not explicitly define any constructors.