Index: dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java |
=================================================================== |
--- dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java (revision 29808) |
+++ dart/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java (working copy) |
@@ -129,6 +129,11 @@ |
} |
@Override |
+ public boolean isDeprecated() { |
+ return baseElement.isDeprecated(); |
+ } |
+ |
+ @Override |
public boolean isSynthetic() { |
return baseElement.isSynthetic(); |
} |