1 files changed, 16 insertions, 14 deletions

diff --git a/subprojects/frontend/src/xtext/xtextMessages.ts b/subprojects/frontend/src/xtext/xtextMessages.ts
index 4bf49c17..c4d0c676 100644
--- a/subprojects/frontend/src/xtext/xtextMessages.ts
+++ b/subprojects/frontend/src/xtext/xtextMessages.ts
@@ -1,40 +1,42 @@
+/* eslint-disable @typescript-eslint/no-redeclare -- Declare types with their companion objects */
+
 import { z } from 'zod';
 
-export const xtextWebRequest = z.object({
+export const XtextWebRequest = z.object({
   id: z.string().min(1),
   request: z.unknown(),
 });
 
-export type XtextWebRequest = z.infer<typeof xtextWebRequest>;
+export type XtextWebRequest = z.infer<typeof XtextWebRequest>;
 
-export const xtextWebOkResponse = z.object({
+export const XtextWebOkResponse = z.object({
   id: z.string().min(1),
   response: z.unknown(),
 });
 
-export type XtextWebOkResponse = z.infer<typeof xtextWebOkResponse>;
+export type XtextWebOkResponse = z.infer<typeof XtextWebOkResponse>;
 
-export const xtextWebErrorKind = z.enum(['request', 'server']);
+export const XtextWebErrorKind = z.enum(['request', 'server']);
 
-export type XtextWebErrorKind = z.infer<typeof xtextWebErrorKind>;
+export type XtextWebErrorKind = z.infer<typeof XtextWebErrorKind>;
 
-export const xtextWebErrorResponse = z.object({
+export const XtextWebErrorResponse = z.object({
   id: z.string().min(1),
-  error: xtextWebErrorKind,
+  error: XtextWebErrorKind,
   message: z.string(),
 });
 
-export type XtextWebErrorResponse = z.infer<typeof xtextWebErrorResponse>;
+export type XtextWebErrorResponse = z.infer<typeof XtextWebErrorResponse>;
 
-export const xtextWebPushService = z.enum(['highlight', 'validate']);
+export const XtextWebPushService = z.enum(['highlight', 'validate']);
 
-export type XtextWebPushService = z.infer<typeof xtextWebPushService>;
+export type XtextWebPushService = z.infer<typeof XtextWebPushService>;
 
-export const xtextWebPushMessage = z.object({
+export const XtextWebPushMessage = z.object({
   resource: z.string().min(1),
   stateId: z.string().min(1),
-  service: xtextWebPushService,
+  service: XtextWebPushService,
   push: z.unknown(),
 });
 
-export type XtextWebPushMessage = z.infer<typeof xtextWebPushMessage>;
+export type XtextWebPushMessage = z.infer<typeof XtextWebPushMessage>;