| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/WorkspaceAnalysisServerListener.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/WorkspaceAnalysisServerListener.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/WorkspaceAnalysisServerListener.java
|
| index 5cdb48afc3fddc0fbc9c15c92a7210007071ed2b..6369c98ba83c7676511b21f78ad271176a734172 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/WorkspaceAnalysisServerListener.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/WorkspaceAnalysisServerListener.java
|
| @@ -17,10 +17,10 @@ package com.google.dart.tools.core.internal.analysis.model;
|
| import com.google.dart.server.AnalysisError;
|
| import com.google.dart.server.AnalysisServerError;
|
| import com.google.dart.server.AnalysisServerListener;
|
| -import com.google.dart.server.AnalysisStatus;
|
| import com.google.dart.server.HighlightRegion;
|
| import com.google.dart.server.NavigationRegion;
|
| import com.google.dart.server.Outline;
|
| +import com.google.dart.server.ServerStatus;
|
| import com.google.dart.tools.core.internal.builder.AnalysisMarkerManager_NEW;
|
| import com.google.dart.tools.core.internal.util.ResourceUtil;
|
|
|
| @@ -77,7 +77,7 @@ public class WorkspaceAnalysisServerListener implements AnalysisServerListener {
|
| }
|
|
|
| @Override
|
| - public void serverStatus(AnalysisStatus analysis) {
|
| + public void serverStatus(ServerStatus status) {
|
| // TODO(scheglov) Analysis Server
|
| }
|
| }
|
|
|