1 files changed, 11 insertions, 0 deletions

diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketResponse.java b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketResponse.java
new file mode 100644
index 00000000..2e7cfbbb
--- /dev/null
+++ b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketResponse.java
@@ -0,0 +1,11 @@
+package tools.refinery.language.web.xtext.servlet;
+
+public sealed interface XtextWebSocketResponse permits XtextWebSocketOkResponse,XtextWebSocketErrorResponse {
+        public String getId();
+
+        public void setId(String id);
+
+        public int getIndex();
+
+        public void setIndex(int index);
+}