| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/SearchResultsSet.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/SearchResultsSet.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/SearchResultsSet.java
|
| index cc58e1857af5c5f2001edd216a9f076deeb18926..d3b1e6a1acd2ea438315b5e39bcb535200c30934 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/SearchResultsSet.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/SearchResultsSet.java
|
| @@ -14,16 +14,18 @@
|
|
|
| package com.google.dart.tools.core.internal.analysis.model;
|
|
|
| -import com.google.dart.server.SearchResult;
|
| +import com.google.dart.server.generated.types.SearchResult;
|
| +
|
| +import java.util.List;
|
|
|
| /**
|
| * A set of {@link SearchResult}s.
|
| */
|
| class SearchResultsSet {
|
| - final SearchResult[] results;
|
| + final List<SearchResult> results;
|
| final boolean last;
|
|
|
| - public SearchResultsSet(SearchResult[] results, boolean last) {
|
| + public SearchResultsSet(List<SearchResult> results, boolean last) {
|
| this.results = results;
|
| this.last = last;
|
| }
|
|
|