@eclipse-glsp/graph
Version:
The typescript implementation of the GLSP graphical model (GModel)
54 lines • 2.58 kB
JavaScript
;
/********************************************************************************
* Copyright (c) 2024 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
********************************************************************************/
Object.defineProperty(exports, "__esModule", { value: true });
exports.GResizeLocation = exports.GResizableBuilder = exports.isGResizable = exports.GResizable = void 0;
exports.GResizable = Symbol('GResizable');
function isGResizable(element) {
return exports.GResizable in element && element[exports.GResizable] === true;
}
exports.isGResizable = isGResizable;
var GResizableBuilder;
(function (GResizableBuilder) {
function resizeLocations(builder, resizeLocations) {
const proxy = builder['proxy'];
proxy.resizeLocations = resizeLocations;
return builder;
}
GResizableBuilder.resizeLocations = resizeLocations;
})(GResizableBuilder || (exports.GResizableBuilder = GResizableBuilder = {}));
var GResizeLocation;
(function (GResizeLocation) {
GResizeLocation["TopLeft"] = "top-left";
GResizeLocation["Top"] = "top";
GResizeLocation["TopRight"] = "top-right";
GResizeLocation["Right"] = "right";
GResizeLocation["BottomRight"] = "bottom-right";
GResizeLocation["Bottom"] = "bottom";
GResizeLocation["BottomLeft"] = "bottom-left";
GResizeLocation["Left"] = "left";
})(GResizeLocation || (exports.GResizeLocation = GResizeLocation = {}));
(function (GResizeLocation) {
GResizeLocation.CORNERS = [
GResizeLocation.TopLeft,
GResizeLocation.TopRight,
GResizeLocation.BottomRight,
GResizeLocation.BottomLeft
];
GResizeLocation.CROSS = [GResizeLocation.Top, GResizeLocation.Right, GResizeLocation.Bottom, GResizeLocation.Left];
GResizeLocation.ALL = [...GResizeLocation.CORNERS, ...GResizeLocation.CROSS];
})(GResizeLocation || (exports.GResizeLocation = GResizeLocation = {}));
//# sourceMappingURL=gresizable.js.map