1 files changed, 38 insertions, 15 deletions

diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts
index 0898e725..7297c674 100644
--- a/subprojects/frontend/src/xtext/XtextClient.ts
+++ b/subprojects/frontend/src/xtext/XtextClient.ts
@@ -4,19 +4,20 @@ import type {
 } from '@codemirror/autocomplete';
 import type { Transaction } from '@codemirror/state';
 
-import type { EditorStore } from '../editor/EditorStore';
-import { ContentAssistService } from './ContentAssistService';
-import { HighlightingService } from './HighlightingService';
-import { OccurrencesService } from './OccurrencesService';
-import { UpdateService } from './UpdateService';
-import { getLogger } from '../utils/logger';
-import { ValidationService } from './ValidationService';
-import { XtextWebSocketClient } from './XtextWebSocketClient';
-import { XtextWebPushService } from './xtextMessages';
+import type EditorStore from '../editor/EditorStore';
+import getLogger from '../utils/getLogger';
+
+import ContentAssistService from './ContentAssistService';
+import HighlightingService from './HighlightingService';
+import OccurrencesService from './OccurrencesService';
+import UpdateService from './UpdateService';
+import ValidationService from './ValidationService';
+import XtextWebSocketClient from './XtextWebSocketClient';
+import type { XtextWebPushService } from './xtextMessages';
 
 const log = getLogger('xtext.XtextClient');
 
-export class XtextClient {
+export default class XtextClient {
   private readonly webSocketClient: XtextWebSocketClient;
 
   private readonly updateService: UpdateService;
@@ -32,11 +33,15 @@ export class XtextClient {
   constructor(store: EditorStore) {
     this.webSocketClient = new XtextWebSocketClient(
       () => this.updateService.onReconnect(),
-      (resource, stateId, service, push) => this.onPush(resource, stateId, service, push),
+      (resource, stateId, service, push) =>
+        this.onPush(resource, stateId, service, push),
     );
     this.updateService = new UpdateService(store, this.webSocketClient);
     this.contentAssistService = new ContentAssistService(this.updateService);
-    this.highlightingService = new HighlightingService(store, this.updateService);
+    this.highlightingService = new HighlightingService(
+      store,
+      this.updateService,
+    );
     this.validationService = new ValidationService(store, this.updateService);
     this.occurrencesService = new OccurrencesService(
       store,
@@ -53,14 +58,29 @@ export class XtextClient {
     this.occurrencesService.onTransaction(transaction);
   }
 
-  private onPush(resource: string, stateId: string, service: XtextWebPushService, push: unknown) {
+  private onPush(
+    resource: string,
+    stateId: string,
+    service: XtextWebPushService,
+    push: unknown,
+  ) {
     const { resourceName, xtextStateId } = this.updateService;
     if (resource !== resourceName) {
-      log.error('Unknown resource name: expected:', resourceName, 'got:', resource);
+      log.error(
+        'Unknown resource name: expected:',
+        resourceName,
+        'got:',
+        resource,
+      );
       return;
     }
     if (stateId !== xtextStateId) {
-      log.error('Unexpected xtext state id: expected:', xtextStateId, 'got:', stateId);
+      log.error(
+        'Unexpected xtext state id: expected:',
+        xtextStateId,
+        'got:',
+        stateId,
+      );
       // The current push message might be stale (referring to a previous state),
       // so this is not neccessarily an error and there is no need to force-reconnect.
       return;
@@ -71,6 +91,9 @@ export class XtextClient {
         return;
       case 'validate':
         this.validationService.onPush(push);
+        return;
+      default:
+        throw new Error('Unknown service');
     }
   }