| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/PropertyAccessorElementImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/PropertyAccessorElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/PropertyAccessorElementImpl.java
|
| index 141c7a5ae6027fc738af399a55ed1202d4e73c60..365ed10ba2e6223d45abaeee76707cc4ac31a57e 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/PropertyAccessorElementImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/PropertyAccessorElementImpl.java
|
| @@ -205,4 +205,11 @@ public class PropertyAccessorElementImpl extends ExecutableElementImpl implement
|
| builder.append(getVariable().getDisplayName());
|
| super.appendTo(builder);
|
| }
|
| +
|
| + @Override
|
| + protected String getIdentifier() {
|
| + String name = getDisplayName();
|
| + String suffix = isGetter() ? "?" : "=";
|
| + return name + suffix;
|
| + }
|
| }
|
|
|