chore(web): json validation with zod

Use the zod library instead of manually written type assertions for
validating json messages from the server. This makes it easier to add
and handle new messages.

1 files changed, 2 insertions, 5 deletions

diff --git a/language-web/src/main/js/xtext/XtextClient.ts b/language-web/src/main/js/xtext/XtextClient.ts
index 28f3d0cc..3922b230 100644
--- a/language-web/src/main/js/xtext/XtextClient.ts
+++ b/language-web/src/main/js/xtext/XtextClient.ts
@@ -12,6 +12,7 @@ import { UpdateService } from './UpdateService';
 import { getLogger } from '../utils/logger';
 import { ValidationService } from './ValidationService';
 import { XtextWebSocketClient } from './XtextWebSocketClient';
+import { XtextWebPushService } from './xtextMessages';
 
 const log = getLogger('xtext.XtextClient');
 
@@ -52,7 +53,7 @@ export class XtextClient {
     this.occurrencesService.onTransaction(transaction);
   }
 
-  private onPush(resource: string, stateId: string, service: string, 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);
@@ -70,10 +71,6 @@ export class XtextClient {
         return;
       case 'validate':
         this.validationService.onPush(push);
-        return;
-      default:
-        log.error('Unknown push service:', service);
-        break;
     }
   }