| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/OverrideIndicatorManager.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/OverrideIndicatorManager.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/OverrideIndicatorManager.java
|
| index d7d3a0b643590c632972144f91d4c3e2e16f0b15..0d459d187c85e7f53f208863e835613d40b8cad1 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/OverrideIndicatorManager.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/OverrideIndicatorManager.java
|
| @@ -317,7 +317,8 @@ public class OverrideIndicatorManager {
|
| Map<Annotation, Position> annotationMap = Maps.newHashMap();
|
| for (OverrideMember override : overrides) {
|
| boolean isOverride = true;
|
| - com.google.dart.server.generated.types.Element superElement = override.getSuperclassMember().getElement();
|
| + com.google.dart.server.generated.types.Element superElement = override.getSuperclassMember() != null
|
| + ? override.getSuperclassMember().getElement() : null;
|
| // TODO(scheglov) shouldn't happen, probably because of "implements X"
|
| if (superElement == null) {
|
| continue;
|
|
|