UNPKG

@eclipse-glsp/protocol

Version:

The protocol definition for client-server communication in GLSP

69 lines 2.71 kB
"use strict"; Object.defineProperty(exports, "__esModule", { value: true }); exports.MoveViewportAction = exports.OriginViewportAction = 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 OriginViewportAction; (function (OriginViewportAction) { OriginViewportAction.KIND = 'originViewport'; function is(object) { return base_protocol_1.Action.hasKind(object, OriginViewportAction.KIND) && (0, type_util_1.hasBooleanProp)(object, 'animate'); } OriginViewportAction.is = is; function create(options = {}) { return { kind: OriginViewportAction.KIND, animate: true, ...options }; } OriginViewportAction.create = create; })(OriginViewportAction || (exports.OriginViewportAction = OriginViewportAction = {})); 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