@eclipse-glsp/client 0.9.0-next.c5944e10

package/src/features/validation/validate.ts

@@ -0,0 +1,274 @@
+/********************************************************************************
+ * Copyright (c) 2019-2020 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the Eclipse
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
+ * with the GNU Classpath Exception which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ ********************************************************************************/
+import { inject, injectable, optional } from 'inversify';
+import {
+    Action,
+    Command,
+    CommandExecutionContext,
+    CommandReturn,
+    IActionDispatcher,
+    SIssue,
+    SIssueMarker,
+    SModelElement,
+    SModelRoot,
+    SParentElement,
+    TYPES
+} from 'sprotty';
+
+import { EditorContextService } from '../../base/editor-context';
+import { GLSP_TYPES } from '../../base/types';
+import { Marker } from '../../utils/marker';
+import { removeCssClasses } from '../../utils/smodel-util';
+import { getSeverity } from '../hover/hover';
+import { IFeedbackActionDispatcher, IFeedbackEmitter } from '../tool-feedback/feedback-action-dispatcher';
+import { FeedbackCommand } from '../tool-feedback/model';
+import { createSIssue, getOrCreateSIssueMarker, getSIssueMarker } from './issue-marker';
+
+/**
+ * Feedback emitter sending actions for visualizing model validation feedback and
+ * re-establishing this feedback visualization after the model has been updated.
+ */
+@injectable()
+export class ValidationFeedbackEmitter implements IFeedbackEmitter {
+
+    @inject(GLSP_TYPES.IFeedbackActionDispatcher) protected feedbackActionDispatcher: IFeedbackActionDispatcher;
+
+    @inject(TYPES.IActionDispatcherProvider) protected actionDispatcher: () => Promise<IActionDispatcher>;
+
+    private registeredAction: MarkersAction;
+
+    // eslint-disable-next-line @typescript-eslint/no-empty-function
+    private constructor() { }
+
+    /**
+     * Register the action that should be emitted for visualizing validation feedback.
+     * @param action the action that should be emitted when the model is updated and that will visualize the model validation feedback.
+     */
+    registerValidationFeedbackAction(action: MarkersAction): void {
+        // De-register old action responsible for applying markers and re-applying them when the model is updated
+        this.feedbackActionDispatcher.deregisterFeedback(this, []);
+
+        // Clear existing markers
+        if (this.registeredAction !== undefined) {
+            const deleteMarkersAction = new DeleteMarkersAction(this.registeredAction.markers);
+            this.actionDispatcher().then(dispatcher => dispatcher.dispatch(deleteMarkersAction));
+        }
+
+        // Register new action responsible for applying markers and re-applying them when the model is updated
+        this.feedbackActionDispatcher.registerFeedback(this, [action]);
+        this.registeredAction = action;
+    }
+}
+
+/**
+ * Action to set markers for a model
+ */
+export class SetMarkersAction implements MarkersAction {
+    constructor(public readonly markers: Marker[], public readonly kind = SetMarkersCommand.KIND) { }
+}
+
+export function isSetMarkersAction(action: Action): action is SetMarkersAction {
+    return SetMarkersCommand.KIND === action.kind && ('markers' in action);
+}
+
+/**
+ * Manages current markers for the outside of the GLSP.
+ *
+ * Typically this is rebound by the surrounding tool, e.g. Theia, to be aware of
+ * and propagate current markers.
+ */
+@injectable()
+export abstract class ExternalMarkerManager {
+
+    languageLabel: string;
+
+    protected actionDispatcher?: IActionDispatcher;
+
+    connect(actionDispatcher: IActionDispatcher): void {
+        this.actionDispatcher = actionDispatcher;
+    }
+
+    removeMarkers(markers: Marker[]): void {
+        if (this.actionDispatcher) {
+            this.actionDispatcher.dispatch(new DeleteMarkersAction(markers));
+        }
+    }
+
+    abstract setMarkers(markers: Marker[], sourceUri?: string): void;
+}
+
+/**
+ * Command for handling `SetMarkersAction`
+ */
+@injectable()
+export class SetMarkersCommand extends Command {
+
+    @inject(ValidationFeedbackEmitter) protected validationFeedbackEmitter: ValidationFeedbackEmitter;
+    @inject(ExternalMarkerManager) @optional() protected externalMarkerManager?: ExternalMarkerManager;
+    @inject(EditorContextService) protected editorContextService: EditorContextService;
+
+    static readonly KIND = 'setMarkers';
+
+    constructor(@inject(TYPES.Action) public action: SetMarkersAction) {
+        super();
+    }
+
+    async execute(context: CommandExecutionContext): Promise<SModelRoot> {
+        const markers: Marker[] = this.action.markers;
+        const uri = await this.editorContextService.getSourceUri();
+        if (this.externalMarkerManager) {
+            this.externalMarkerManager.setMarkers(markers, uri);
+        }
+        const applyMarkersAction: ApplyMarkersAction = new ApplyMarkersAction(markers);
+        this.validationFeedbackEmitter.registerValidationFeedbackAction(applyMarkersAction);
+        return context.root;
+    }
+
+    undo(context: CommandExecutionContext): CommandReturn {
+        return context.root;
+    }
+
+    redo(context: CommandExecutionContext): CommandReturn {
+        return this.execute(context);
+    }
+}
+
+/**
+* Action to retrieve markers for a model
+*/
+export class RequestMarkersAction implements Action {
+    static readonly KIND = 'requestMarkers';
+    constructor(public readonly elementsIDs: string[] = [], public readonly kind = RequestMarkersAction.KIND) { }
+}
+
+/**
+ * Interface for actions processing markers
+ */
+export interface MarkersAction extends Action {
+    readonly markers: Marker[];
+}
+
+/**
+ * Action for applying makers to a model
+ */
+@injectable()
+export class ApplyMarkersAction implements MarkersAction {
+    constructor(public readonly markers: Marker[], public readonly kind = ApplyMarkersCommand.KIND) { }
+}
+
+/**
+ * Command for handling `ApplyMarkersAction`
+ */
+@injectable()
+export class ApplyMarkersCommand extends FeedbackCommand {
+    static KIND = 'applyMarkers';
+    readonly priority = 0;
+
+    constructor(@inject(TYPES.Action) protected action: ApplyMarkersAction) {
+        super();
+    }
+
+    execute(context: CommandExecutionContext): CommandReturn {
+        const markers: Marker[] = this.action.markers;
+        for (const marker of markers) {
+            const modelElement: SModelElement | undefined = context.root.index.getById(marker.elementId);
+            if (modelElement instanceof SParentElement) {
+                const issueMarker: SIssueMarker = getOrCreateSIssueMarker(modelElement);
+                const issue: SIssue = createSIssue(marker);
+                issueMarker.issues.push(issue);
+                addMaxSeverityCSSClassToIssueParent(modelElement, issueMarker);
+            }
+        }
+        return context.root;
+    }
+
+    undo(context: CommandExecutionContext): CommandReturn {
+        return context.root;
+    }
+
+    redo(context: CommandExecutionContext): CommandReturn {
+        return this.execute(context);
+    }
+}
+
+function addMaxSeverityCSSClassToIssueParent(modelElement: SParentElement, issueMarker: SIssueMarker): void {
+    const maxSeverityCSSClass = getSeverity(issueMarker);
+
+    if (!modelElement.cssClasses) {
+        modelElement.cssClasses = [maxSeverityCSSClass];
+    } else {
+        modelElement.cssClasses = modelElement.cssClasses.filter((value: string) => !value.match('info|warning|error'));
+        modelElement.cssClasses.push(maxSeverityCSSClass);
+    }
+}
+
+function removeCSSClassFromIssueParent(modelElement: SParentElement, issueMarker: SIssueMarker): void {
+    removeCssClasses(modelElement, [getSeverity(issueMarker)]);
+}
+
+/**
+ * Action for clearing makers of a model
+ */
+@injectable()
+export class DeleteMarkersAction implements MarkersAction {
+    constructor(public readonly markers: Marker[], public readonly kind = DeleteMarkersCommand.KIND) { }
+}
+
+/**
+ * Command for handling `DeleteMarkersAction`
+ */
+@injectable()
+export class DeleteMarkersCommand extends Command {
+    static KIND = 'deleteMarkers';
+
+    constructor(@inject(TYPES.Action) protected action: DeleteMarkersAction) {
+        super();
+    }
+
+    execute(context: CommandExecutionContext): CommandReturn {
+        const markers: Marker[] = this.action.markers;
+        for (const marker of markers) {
+            const modelElement: SModelElement | undefined = context.root.index.getById(marker.elementId);
+            if (modelElement instanceof SParentElement) {
+                const issueMarker: SIssueMarker | undefined = getSIssueMarker(modelElement);
+                if (issueMarker !== undefined) {
+                    removeCSSClassFromIssueParent(modelElement, issueMarker);
+                    for (let index = 0; index < issueMarker.issues.length; ++index) {
+                        const issue: SIssue = issueMarker.issues[index];
+                        if (issue.message === marker.description) {
+                            issueMarker.issues.splice(index--, 1);
+                        }
+                    }
+                    if (issueMarker.issues.length === 0) {
+                        modelElement.remove(issueMarker);
+                    } else {
+                        addMaxSeverityCSSClassToIssueParent(modelElement, issueMarker);
+                    }
+                }
+            }
+        }
+        return context.root;
+    }
+
+    undo(context: CommandExecutionContext): CommandReturn {
+        return context.root;
+    }
+
+    redo(context: CommandExecutionContext): CommandReturn {
+        return this.execute(context);
+    }
+}
+

package/src/features/viewport/di.config.ts

@@ -0,0 +1,47 @@
+/********************************************************************************
+ * Copyright (c) 2021 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the Eclipse
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
+ * with the GNU Classpath Exception which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ ********************************************************************************/
+import { ContainerModule } from 'inversify';
+import {
+    CenterCommand,
+    CenterKeyboardListener,
+    configureActionHandler,
+    configureCommand,
+    EnableDefaultToolsAction,
+    EnableToolsAction,
+    FitToScreenCommand,
+    GetViewportCommand,
+    SetViewportCommand,
+    TYPES,
+    ZoomMouseListener
+} from 'sprotty';
+
+import { GLSPScrollMouseListener } from './glsp-scroll-mouse-listener';
+
+const glspViewportModule = new ContainerModule((bind, _unbind, isBound) => {
+    configureCommand({ bind, isBound }, CenterCommand);
+    configureCommand({ bind, isBound }, FitToScreenCommand);
+    configureCommand({ bind, isBound }, GetViewportCommand);
+    configureCommand({ bind, isBound }, SetViewportCommand);
+    bind(TYPES.KeyListener).to(CenterKeyboardListener);
+    bind(TYPES.MouseListener).to(ZoomMouseListener);
+    bind(GLSPScrollMouseListener).toSelf().inSingletonScope();
+    bind(TYPES.MouseListener).toService(GLSPScrollMouseListener);
+
+    configureActionHandler({ bind, isBound }, EnableToolsAction.KIND, GLSPScrollMouseListener);
+    configureActionHandler({ bind, isBound }, EnableDefaultToolsAction.KIND, GLSPScrollMouseListener);
+});
+
+export default glspViewportModule;

package/src/features/viewport/glsp-scroll-mouse-listener.ts

@@ -0,0 +1,50 @@
+/********************************************************************************
+ * Copyright (c) 2021 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the Eclipse
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
+ * with the GNU Classpath Exception which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ ********************************************************************************/
+import { injectable } from 'inversify';
+import {
+    Action,
+    EnableDefaultToolsAction,
+    EnableToolsAction,
+    IActionHandler,
+    ICommand,
+    ScrollMouseListener,
+    SModelElement
+} from 'sprotty';
+
+import { MarqueeMouseTool } from '../tools/marquee-mouse-tool';
+
+@injectable()
+export class GLSPScrollMouseListener extends ScrollMouseListener implements IActionHandler {
+
+    preventScrolling = false;
+
+    handle(action: Action): void | Action | ICommand {
+        if (action instanceof EnableToolsAction) {
+            if (action.toolIds.includes(MarqueeMouseTool.ID)) {
+                this.preventScrolling = true;
+            }
+        } else if (action instanceof EnableDefaultToolsAction) {
+            this.preventScrolling = false;
+        }
+    }
+
+    mouseDown(target: SModelElement, event: MouseEvent): Action[] {
+        if (this.preventScrolling) {
+            return [];
+        }
+        return super.mouseDown(target, event);
+    }
+}

package/src/index.ts

@@ -0,0 +1,115 @@
+/********************************************************************************
+ * Copyright (c) 2019-2021 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the Eclipse
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
+ * with the GNU Classpath Exception which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ ********************************************************************************/
+import defaultGLSPModule from './base/di.config';
+import glspCommandPaletteModule from './features/command-palette/di.config';
+import glspContextMenuModule from './features/context-menu/di.config';
+import { copyPasteContextMenuModule, glspServerCopyPasteModule } from './features/copy-paste/di.config';
+import glspDecorationModule from './features/decoration/di.config';
+import glspEditLabelModule from './features/edit-label/di.config';
+import modelHintsModule from './features/hints/di.config';
+import glspHoverModule from './features/hover/di.config';
+import layoutCommandsModule from './features/layout/di.config';
+import modelSourceWatcherModule from './features/model-source-watcher/di.config';
+import glspMouseToolModule from './features/mouse-tool/di.config';
+import { navigationModule } from './features/navigation/di.config';
+import saveModule from './features/save/di.config';
+import glspSelectModule from './features/select/di.config';
+import toolFeedbackModule from './features/tool-feedback/di.config';
+import paletteModule from './features/tool-palette/di.config';
+import toolsModule from './features/tools/di.config';
+import { markerNavigatorModule, validationModule } from './features/validation/di.config';
+import glspViewportModule from './features/viewport/di.config';
+
+export * from 'sprotty';
+export * from './base/action-dispatcher';
+export * from './base/actions/context-actions';
+export * from './base/actions/edit-mode-action';
+export * from './base/actions/edit-validation-actions';
+export * from './base/actions/focus-change-action';
+export * from './base/args';
+export * from './base/auto-complete/auto-complete-actions';
+export * from './base/auto-complete/auto-complete-widget';
+export * from './base/auto-complete/validation-decorator';
+export * from './base/command-stack';
+export { configureServerActions } from './base/di.config';
+export * from './base/drag-aware-mouse-listener';
+export * from './base/editor-context';
+export * from './base/focus-tracker';
+export * from './base/model-initialization-constraint';
+export * from './base/model/model-registry';
+export * from './base/model/update-model-command';
+export * from './base/operations/operation';
+export * from './base/selection-clearing-mouse-listener';
+export * from './base/source-uri-aware';
+export * from './base/types';
+export * from './base/view/view-registry';
+export * from './features/change-bounds/model';
+export * from './features/change-bounds/movement-restrictor';
+export * from './features/change-bounds/snap';
+export * from './features/command-palette/server-command-palette-provider';
+export * from './features/context-menu/delete-element-context-menu';
+export * from './features/copy-paste/copy-paste-handler';
+export * from './features/decoration/decoration-placer';
+export * from './features/edit-label/edit-label-tool';
+export * from './features/edit-label/edit-label-validator';
+export * from './features/hints/model';
+export * from './features/hints/request-type-hints-action';
+export * from './features/hints/type-hints';
+export * from './features/hover/hover';
+export * from './features/layout/layout-commands';
+export * from './features/model-source-watcher/model-source-changed-action';
+export * from './features/model-source-watcher/model-source-changed-action-handler';
+export * from './features/mouse-tool/mouse-tool';
+export * from './features/navigation/navigation-action-handler';
+export * from './features/navigation/navigation-target-resolver';
+export * from './features/rank/model';
+export * from './features/reconnect/model';
+export * from './features/save/model';
+export * from './features/save/save';
+export * from './features/tool-feedback/change-bounds-tool-feedback';
+export * from './features/tool-feedback/creation-tool-feedback';
+export * from './features/tool-feedback/css-feedback';
+export * from './features/tool-feedback/edge-edit-tool-feedback';
+export * from './features/tool-feedback/feedback-action-dispatcher';
+export * from './features/tool-feedback/model';
+export * from './features/tool-palette/palette-item';
+export * from './features/tool-palette/tool-palette';
+export * from './features/tools/base-glsp-tool';
+export * from './features/tools/change-bounds-tool';
+export * from './features/tools/delete-tool';
+export * from './features/tools/edge-creation-tool';
+export * from './features/tools/edge-edit-tool';
+export * from './features/tools/node-creation-tool';
+export * from './features/undo-redo/model';
+export * from './features/validation/issue-marker';
+export * from './features/validation/marker-navigator';
+export * from './features/validation/validate';
+export * from './features/viewport/glsp-scroll-mouse-listener';
+export * from './lib/model';
+export * from './model-source/glsp-diagram-server';
+export * from './model-source/glsp-server-status';
+export * from './utils/argument-utils';
+export * from './utils/array-utils';
+export * from './utils/marker';
+export * from './utils/smodel-util';
+export * from './utils/viewpoint-util';
+export * from './views';
+export {
+    validationModule, saveModule, paletteModule, toolFeedbackModule, defaultGLSPModule, modelHintsModule, glspCommandPaletteModule,
+    glspContextMenuModule, glspServerCopyPasteModule, copyPasteContextMenuModule, glspSelectModule, glspMouseToolModule, layoutCommandsModule, glspEditLabelModule,
+    glspHoverModule, toolsModule, navigationModule, markerNavigatorModule, glspDecorationModule, modelSourceWatcherModule, glspViewportModule
+};
+

package/src/lib/model.ts

@@ -0,0 +1,27 @@
+/********************************************************************************
+ * Copyright (c) 2019 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the Eclipse
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
+ * with the GNU Classpath Exception which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ ********************************************************************************/
+import { exportFeature, SGraph, SModelElement, SModelElementSchema, viewportFeature } from 'sprotty/lib';
+
+import { Containable, containerFeature } from '../features/hints/model';
+import { Saveable, saveFeature } from '../features/save/model';
+
+export class GLSPGraph extends SGraph implements Saveable, Containable {
+    static readonly DEFAULT_FEATURES = [viewportFeature, exportFeature, saveFeature, containerFeature];
+    dirty = false;
+    isContainableElement(input: string | SModelElement | SModelElementSchema): boolean {
+        return true;
+    }
+}

package/src/model-source/glsp-diagram-server.ts

@@ -0,0 +1,114 @@
+/********************************************************************************
+ * Copyright (c) 2019-2021 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the Eclipse
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
+ * with the GNU Classpath Exception which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ ********************************************************************************/
+import { GLSPClient } from '@eclipse-glsp/protocol';
+import { injectable } from 'inversify';
+import {
+    Action,
+    ActionHandlerRegistry,
+    ActionMessage,
+    ComputedBoundsAction,
+    DiagramServer,
+    ICommand,
+    RequestModelAction,
+    ServerStatusAction,
+    SwitchEditModeCommand
+} from 'sprotty';
+
+import { isSetEditModeAction, SetEditModeAction } from '../base/actions/edit-mode-action';
+import { SourceUriAware } from '../base/source-uri-aware';
+import { isServerMessageAction, ServerMessageAction } from './glsp-server-status';
+
+const receivedFromServerProperty = '__receivedFromServer';
+
+@injectable()
+export class GLSPDiagramServer extends DiagramServer implements SourceUriAware {
+    protected _sourceUri: string;
+    protected _glspClient?: GLSPClient;
+    protected ready = false;
+
+    async connect(client: GLSPClient): Promise<GLSPClient> {
+        await client.start();
+        client.onActionMessage(message => this.messageReceived(message));
+        this._glspClient = client;
+        return this._glspClient;
+    }
+
+    public get glspClient(): GLSPClient | undefined {
+        return this._glspClient;
+    }
+
+    protected sendMessage(message: ActionMessage): void {
+        if (this.glspClient) {
+            this.glspClient.sendActionMessage(message);
+        } else {
+            throw new Error('GLSPClient is not connected');
+        }
+    }
+
+    initialize(registry: ActionHandlerRegistry): void {
+        registerDefaultGLSPServerActions(registry, this);
+        if (!this.clientId) {
+            this.clientId = this.viewerOptions.baseDiv;
+        }
+    }
+
+    handle(action: Action): void | ICommand | Action {
+        if (action instanceof RequestModelAction && action.options !== undefined) {
+            this._sourceUri = action.options.sourceUri as string;
+        }
+        return super.handle(action);
+    }
+
+    handleLocally(action: Action): boolean {
+        if (isServerMessageAction(action)) {
+            return this.handleServerMessageAction(action);
+        }
+        if (isSetEditModeAction(action)) {
+            return this.handleSetEditModeAction(action);
+        }
+        return super.handleLocally(action);
+    }
+
+    protected handleServerMessageAction(action: ServerMessageAction): boolean {
+        this.logger.log('GLSPDiagramServer', `[${action.severity}] -${action.message}`);
+        return false;
+    }
+
+    protected handleComputedBounds(_action: ComputedBoundsAction): boolean {
+        return true;
+    }
+
+    protected handleSetEditModeAction(action: SetEditModeAction): boolean {
+        return !isReceivedFromServer(action);
+    }
+
+    public getSourceURI(): string {
+        return this._sourceUri;
+    }
+}
+
+export function isReceivedFromServer(action: Action): boolean {
+    return (action as any)[receivedFromServerProperty] === true;
+}
+
+export function registerDefaultGLSPServerActions(registry: ActionHandlerRegistry, diagramServer: DiagramServer): void {
+    registry.register(ServerMessageAction.KIND, diagramServer);
+    registry.register(ServerStatusAction.KIND, diagramServer);
+
+    // Register an empty handler for SwitchEditMode, to avoid runtime exceptions.
+    // We don't support SwitchEditMode, but Sprotty still sends those actions, so ignore them.
+    registry.register(SwitchEditModeCommand.KIND, { handle: action => undefined });
+}

package/src/model-source/glsp-server-status.ts

@@ -0,0 +1,38 @@
+/********************************************************************************
+ * Copyright (c) 2020 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the Eclipse
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
+ * with the GNU Classpath Exception which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ ********************************************************************************/
+import { Action, ServerStatusAction as SprottyServerStatusAction } from 'sprotty';
+
+export class GLSPServerStatusAction extends SprottyServerStatusAction {
+    timeout = -1;
+}
+
+export function isGLSPServerStatusAction(serverStatusAction: SprottyServerStatusAction): serverStatusAction is GLSPServerStatusAction {
+    return (serverStatusAction as GLSPServerStatusAction).timeout !== undefined;
+}
+
+export class ServerMessageAction implements Action {
+    static KIND = 'serverMessage';
+
+    kind = ServerMessageAction.KIND;
+    severity: 'NONE' | 'INFO' | 'WARNING' | 'ERROR' | 'FATAL';
+    message: string;
+    details = '';
+    timeout = -1;
+}
+
+export function isServerMessageAction(action: Action): action is ServerMessageAction {
+    return ServerMessageAction.KIND === action.kind && 'severity' in action && 'message' in action;
+}