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