sprotty
Version:
A next-gen framework for graphical views
59 lines • 2.75 kB
JavaScript
;
/********************************************************************************
* Copyright (c) 2017-2018 TypeFox 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
********************************************************************************/
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
return c > 3 && r && Object.defineProperty(target, key, r), r;
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.WebSocketDiagramServerProxy = void 0;
const inversify_1 = require("inversify");
const diagram_server_1 = require("./diagram-server");
/**
* An external ModelSource that connects to the model provider using a websocket.
*/
let WebSocketDiagramServerProxy = class WebSocketDiagramServerProxy extends diagram_server_1.DiagramServerProxy {
listen(webSocket) {
webSocket.addEventListener('message', event => {
this.messageReceived(event.data);
});
webSocket.addEventListener('error', event => {
this.logger.error(this, 'error event received', event);
});
this.webSocket = webSocket;
}
disconnect() {
if (this.webSocket) {
this.webSocket.close();
this.webSocket = undefined;
}
}
sendMessage(message) {
if (this.webSocket) {
this.webSocket.send(JSON.stringify(message));
}
else {
throw new Error('WebSocket is not connected');
}
}
};
exports.WebSocketDiagramServerProxy = WebSocketDiagramServerProxy;
exports.WebSocketDiagramServerProxy = WebSocketDiagramServerProxy = __decorate([
(0, inversify_1.injectable)()
], WebSocketDiagramServerProxy);
//# sourceMappingURL=websocket.js.map