| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ElementHandle.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ElementHandle.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ElementHandle.java
|
| index dadb7ff9dcedbac7866f4fc5f6fa5b4534730081..fb4512028a8575bf3721fc2e029c84f8ed64297d 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ElementHandle.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ElementHandle.java
|
| @@ -223,6 +223,11 @@ public abstract class ElementHandle implements Element {
|
| }
|
|
|
| @Override
|
| + public boolean isDeprecated() {
|
| + return getActualElement().isDeprecated();
|
| + }
|
| +
|
| + @Override
|
| public boolean isSynthetic() {
|
| return getActualElement().isSynthetic();
|
| }
|
|
|