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