| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableKind.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableKind.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableKind.java
|
| index bfdee8d1c330c215e47bdb2063e6c8c7e4fd804d..a206c9c05cd07968e99a2d1b0badd20738a91ee5 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableKind.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableKind.java
|
| @@ -27,6 +27,8 @@ public class ExecutableKind {
|
|
|
| public static final String EITHER = "EITHER";
|
|
|
| + public static final String NOT_EXECUTABLE = "NOT_EXECUTABLE";
|
| +
|
| public static final String SERVER = "SERVER";
|
|
|
| }
|
|
|