Version 0.8.10.4

dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.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 111 matching lines @@
   public Source getSource() {
     return baseElement.getSource();
   }
 
   @Override
   public boolean isAccessibleIn(LibraryElement library) {
     return baseElement.isAccessibleIn(library);
   }
 
   @Override
+  public boolean isDeprecated() {
+    return baseElement.isDeprecated();
+  }
+
+  @Override
   public boolean isSynthetic() {
     return baseElement.isSynthetic();
   }
 
   @Override
   public void visitChildren(ElementVisitor<?> visitor) {
     // There are no children to visit
   }
 
   /**
@@ skipping 54 matching lines @@
    */
   protected InterfaceType[] substituteFor(InterfaceType[] types) {
     int count = types.length;
     InterfaceType[] substitutedTypes = new InterfaceType[count];
     for (int i = 0; i < count; i++) {
       substitutedTypes[i] = substituteFor(types[i]);
     }
     return substitutedTypes;
   }
 }