@eclipse-glsp/protocol/lib/action-protocol/viewport.js

The protocol definition for client-server communication in GLSP

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.MoveViewportAction = exports.FitToScreenAction = exports.CenterAction = void 0;
const type_util_1 = require("../utils/type-util");
const base_protocol_1 = require("./base-protocol");
var CenterAction;
(function (CenterAction) {
    CenterAction.KIND = 'center';
    function is(object) {
        return base_protocol_1.Action.hasKind(object, CenterAction.KIND) && (0, type_util_1.hasBooleanProp)(object, 'animate') && (0, type_util_1.hasBooleanProp)(object, 'retainZoom');
    }
    CenterAction.is = is;
    function create(elementIds, options = {}) {
        return {
            kind: CenterAction.KIND,
            animate: true,
            retainZoom: false,
            elementIds,
            ...options
        };
    }
    CenterAction.create = create;
})(CenterAction || (exports.CenterAction = CenterAction = {}));
var FitToScreenAction;
(function (FitToScreenAction) {
    FitToScreenAction.KIND = 'fit';
    function is(object) {
        return base_protocol_1.Action.hasKind(object, FitToScreenAction.KIND) && (0, type_util_1.hasArrayProp)(object, 'elementIds') && (0, type_util_1.hasBooleanProp)(object, 'animate');
    }
    FitToScreenAction.is = is;
    function create(elementIds, options = {}) {
        return {
            kind: FitToScreenAction.KIND,
            animate: true,
            elementIds,
            ...options
        };
    }
    FitToScreenAction.create = create;
})(FitToScreenAction || (exports.FitToScreenAction = FitToScreenAction = {}));
var MoveViewportAction;
(function (MoveViewportAction) {
    MoveViewportAction.KIND = 'moveViewport';
    function is(object) {
        return base_protocol_1.Action.hasKind(object, MoveViewportAction.KIND);
    }
    MoveViewportAction.is = is;
    function create(options) {
        return { kind: MoveViewportAction.KIND, ...options };
    }
    MoveViewportAction.create = create;
})(MoveViewportAction || (exports.MoveViewportAction = MoveViewportAction = {}));
//# sourceMappingURL=viewport.js.map