| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java
|
| index f2b2b9dcb3ecc0204c2ea0b49507f810e5763c2d..949bbdfe94f6153964de16599349873e80c6adeb 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/member/Member.java
|
| @@ -129,6 +129,11 @@ public abstract class Member implements Element {
|
| }
|
|
|
| @Override
|
| + public boolean isDeprecated() {
|
| + return baseElement.isDeprecated();
|
| + }
|
| +
|
| + @Override
|
| public boolean isSynthetic() {
|
| return baseElement.isSynthetic();
|
| }
|
|
|