1 files changed, 14 insertions, 0 deletions

diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketErrorKind.java b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketErrorKind.java
new file mode 100644
index 00000000..66ea227f
--- /dev/null
+++ b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketErrorKind.java
@@ -0,0 +1,14 @@
+package tools.refinery.language.web.xtext.servlet;
+
+import com.google.gson.annotations.SerializedName;
+
+public enum XtextWebSocketErrorKind {
+        @SerializedName("request")
+        REQUEST_ERROR,
+
+        @SerializedName("server")
+        SERVER_ERROR,
+
+        @SerializedName("transaction")
+        TRANSACTION_CANCELLED,
+}