Version 0.8.10.4

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

Index: dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java
===================================================================
--- dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java	(revision 29808)
+++ dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/Element.java	(working copy)
@@ -175,6 +175,14 @@
   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.