| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ElementKind.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ElementKind.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ElementKind.java
|
| index 4e9fd1c374860aac95f332615941eb4e35d01f94..ff0b4ee8b592f99857893da9382e9694bb5b63b1 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ElementKind.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ElementKind.java
|
| @@ -31,6 +31,10 @@ public class ElementKind {
|
|
|
| public static final String CONSTRUCTOR = "CONSTRUCTOR";
|
|
|
| + public static final String ENUM = "ENUM";
|
| +
|
| + public static final String ENUM_CONSTANT = "ENUM_CONSTANT";
|
| +
|
| public static final String FIELD = "FIELD";
|
|
|
| public static final String FUNCTION = "FUNCTION";
|
|
|