| 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 6123970f70f623524dc150f42decbc56ff737c3f..4e9fd1c374860aac95f332615941eb4e35d01f94 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
|
| @@ -49,6 +49,8 @@ public class ElementKind {
|
|
|
| public static final String PARAMETER = "PARAMETER";
|
|
|
| + public static final String PREFIX = "PREFIX";
|
| +
|
| public static final String SETTER = "SETTER";
|
|
|
| public static final String TOP_LEVEL_VARIABLE = "TOP_LEVEL_VARIABLE";
|
|
|