| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/AnalysisServerDataImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/AnalysisServerDataImpl.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/AnalysisServerDataImpl.java
|
| index 3551257f24c30a2617bde07b5592b87dff07bc4b..2472b4f6c2cfce5e60479e3ac80b9ad6587ef3ea 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/AnalysisServerDataImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/AnalysisServerDataImpl.java
|
| @@ -20,7 +20,6 @@ import com.google.common.collect.Maps;
|
| import com.google.common.collect.Sets;
|
| import com.google.dart.engine.error.ErrorCode;
|
| import com.google.dart.server.AnalysisServer;
|
| -import com.google.dart.server.SearchResult;
|
| import com.google.dart.server.generated.types.AnalysisError;
|
| import com.google.dart.server.generated.types.AnalysisService;
|
| import com.google.dart.server.generated.types.HighlightRegion;
|
| @@ -28,6 +27,7 @@ import com.google.dart.server.generated.types.NavigationRegion;
|
| import com.google.dart.server.generated.types.Occurrences;
|
| import com.google.dart.server.generated.types.Outline;
|
| import com.google.dart.server.generated.types.OverrideMember;
|
| +import com.google.dart.server.generated.types.SearchResult;
|
| import com.google.dart.tools.core.analysis.model.AnalysisServerData;
|
| import com.google.dart.tools.core.analysis.model.AnalysisServerHighlightsListener;
|
| import com.google.dart.tools.core.analysis.model.AnalysisServerOutlineListener;
|
| @@ -266,7 +266,7 @@ public class AnalysisServerDataImpl implements AnalysisServerData {
|
| }
|
| }
|
|
|
| - synchronized void internalComputedSearchResults(String searchId, SearchResult[] results,
|
| + synchronized void internalComputedSearchResults(String searchId, List<SearchResult> results,
|
| boolean last) {
|
| SearchResultsListener listener = searchResultsListeners.get(searchId);
|
| if (listener != null) {
|
|
|