Chromium Code Reviews| 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 f8f4af93b7ee9e675fdf37a5bb3bfafd21684360..d7d3a0b643590c632972144f91d4c3e2e16f0b15 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 |
| @@ -25,7 +25,7 @@ import com.google.dart.engine.element.ElementKind; |
| import com.google.dart.engine.element.ExecutableElement; |
| import com.google.dart.engine.element.MethodElement; |
| import com.google.dart.engine.type.InterfaceType; |
| -import com.google.dart.server.OverrideMember; |
| +import com.google.dart.server.generated.types.OverrideMember; |
| import com.google.dart.tools.core.DartCore; |
| import com.google.dart.tools.core.DartCoreDebug; |
| import com.google.dart.tools.core.analysis.model.AnalysisServerOverridesListener; |
| @@ -317,7 +317,7 @@ 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.getSuperclassElement(); |
| + com.google.dart.server.generated.types.Element superElement = override.getSuperclassMember().getElement(); |
|
scheglov
2014/08/24 17:18:27
"superclassMember" is optional, so probably we may
|
| // TODO(scheglov) shouldn't happen, probably because of "implements X" |
| if (superElement == null) { |
| continue; |