| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResultKind.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResultKind.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResultKind.java
|
| index 4136b408d5f9fe405208e13282992f636160a7bb..5c2a4a39bc05f0bcbdb9421a1ada8ee484ef64bc 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResultKind.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResultKind.java
|
| @@ -49,6 +49,11 @@ public class SearchResultKind {
|
| public static final String REFERENCE = "REFERENCE";
|
|
|
| /**
|
| + * Some other kind of search result.
|
| + */
|
| + public static final String UNKNOWN = "UNKNOWN";
|
| +
|
| + /**
|
| * A reference to a field, parameter or variable where it is being written.
|
| */
|
| public static final String WRITE = "WRITE";
|
|
|