| 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();
|
| }
|
|
|