Version 0.8.10.4

dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ElementHandle.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
@@ skipping 205 matching lines @@
   public int hashCode() {
     return location.hashCode();
   }
 
   @Override
   public boolean isAccessibleIn(LibraryElement library) {
     return getActualElement().isAccessibleIn(library);
   }
 
   @Override
+  public boolean isDeprecated() {
+    return getActualElement().isDeprecated();
+  }
+
+  @Override
   public boolean isSynthetic() {
     return getActualElement().isSynthetic();
   }
 
   @Override
   public void visitChildren(ElementVisitor<?> visitor) {
     getActualElement().visitChildren(visitor);
   }
 
   /**
    * Return the element being represented by this handle, reconstituting the element if the
    * reference has been set to {@code null}.
    * 
    * @return the element being represented by this handle
    */
   protected Element getActualElement() {
     Element element = elementReference.get();
     if (element == null) {
       element = context.getElement(location);
       elementReference = new WeakReference<Element>(element);
     }
     return element;
   }
 }