| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/computer/SearchResultConverter.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/computer/SearchResultConverter.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/computer/SearchResultConverter.java
|
| index 67c425f5c70d4e5ff1adb5bb5fb9d3c095a74b82..a2f66ee69420ebadff0dd8c145b474b4ef4a87f4 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/computer/SearchResultConverter.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/local/computer/SearchResultConverter.java
|
| @@ -22,6 +22,7 @@ import com.google.dart.engine.element.Element;
|
| import com.google.dart.engine.search.MatchKind;
|
| import com.google.dart.engine.search.SearchMatch;
|
| import com.google.dart.engine.utilities.source.SourceRange;
|
| +import com.google.dart.engine.utilities.translation.DartOmit;
|
| import com.google.dart.server.SearchResult;
|
| import com.google.dart.server.SearchResultKind;
|
|
|
| @@ -32,6 +33,7 @@ import java.util.List;
|
| *
|
| * @coverage dart.server.local
|
| */
|
| +@DartOmit
|
| public class SearchResultConverter {
|
| /**
|
| * This is used only for testing purposes and allows tests to check the behavior in case an
|
|
|