Apply suggestions from code review

Co-authored-by: Tobias Ortmayr <[email protected]>
eclipse-glsp · May 3, 2023 · 07c94a5 · 07c94a5
1 parent e67d502
commit 07c94a5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/packages/server/src/common/features/model/model-submission-handler.ts b/packages/server/src/common/features/model/model-submission-handler.ts
@@ -58,7 +58,7 @@ export class ModelSubmissionHandler {
 
     @inject(ModelValidator)
     @optional()
-    protected validator: ModelValidator;
+    protected validator?: ModelValidator;
 
     /**
      * Returns a list of actions to update the client-side model, based on the specified <code>modelState</code>.

diff --git a/packages/server/src/common/features/validation/request-markers-handler.ts b/packages/server/src/common/features/validation/request-markers-handler.ts
@@ -37,7 +37,7 @@ export class RequestMarkersHandler implements ActionHandler {
             elementIDs = [this.modelState.root.id];
         }
 
-        const modelElements = elementIDs.flatMap(elementId => this.modelState.index.get(elementId));
+        const modelElements = this.modelState.index.getAll(elementIDs);
         const markers = await this.validator.validate(modelElements, action.reason ?? MarkersReason.BATCH);
 
         return [SetMarkersAction.create(markers)];