| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/SearchResultsListener.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/SearchResultsListener.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/SearchResultsListener.java
|
| index ba9e88e9b91d4f6a3b34a87d23c4f4a8e0b1cd93..e65ac33afd28e3431fe9ee7071ce72935caf2edd 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/SearchResultsListener.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/SearchResultsListener.java
|
| @@ -14,7 +14,9 @@
|
|
|
| package com.google.dart.tools.core.analysis.model;
|
|
|
| -import com.google.dart.server.SearchResult;
|
| +import com.google.dart.server.generated.types.SearchResult;
|
| +
|
| +import java.util.List;
|
|
|
| /**
|
| * Used by {@link AnalysisServerData} to notify clients that new {@link SearchResult}s are ready.
|
| @@ -25,5 +27,5 @@ public interface SearchResultsListener {
|
| /**
|
| * Called when {@link SearchResult}s for a particular search request are ready.
|
| */
|
| - void computedSearchResults(SearchResult[] results, boolean last);
|
| + void computedSearchResults(List<SearchResult> results, boolean last);
|
| }
|
|
|