| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServerListener.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServerListener.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServerListener.java
|
| index 568904637882e801df634d2f93a5bb3a5d8b75a8..f55127f8c30dd1b00f9662af74cc11aa00912b72 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServerListener.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServerListener.java
|
| @@ -21,6 +21,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 java.util.List;
|
|
|
| @@ -114,7 +115,7 @@ public interface AnalysisServerListener {
|
| * @param last {@code true} if this is the last set of results that will be returned for the
|
| * indicated search
|
| */
|
| - public void computedSearchResults(String searchId, SearchResult[] results, boolean last);
|
| + public void computedSearchResults(String searchId, List<SearchResult> results, boolean last);
|
|
|
| /**
|
| * Reports that any analysis results that were previously associated with the given files should
|
|
|