UNPKG

@eclipse-glsp/graph

Version:

The typescript implementation of the GLSP graphical model (GModel)

43 lines 2.27 kB
/******************************************************************************** * Copyright (c) 2022 STMicroelectronics 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 { Dimension, Point } from '@eclipse-glsp/protocol'; import { GAlignable } from './galignable'; import { GBoundsAware } from './gbounds-aware'; import { GModelElementBuilder } from './gmodel-element'; import { GPreRenderedElement } from './gpre-rendered-element'; /** * Pre-rendered elements contain HTML or SVG code to be transferred to the DOM. This can be useful to * render complex figures or to compute the view on the server instead of the client code. * Pre rendered elements are often used for the popup model that is created by a `PopupModelFactory`. * A popup model is rendered when hovering over a element and for many common use cases e.g rendering a tooltip * this model can be computed entirely on the server side. */ export declare class GShapedPreRenderedElement extends GPreRenderedElement implements GBoundsAware, GAlignable { static builder(): GShapePreRenderedElementBuilder; position: Point; size: Dimension; alignment: Point; [GBoundsAware]: boolean; [GAlignable]: boolean; } export declare class GShapePreRenderedElementBuilder<G extends GShapedPreRenderedElement = GShapedPreRenderedElement> extends GModelElementBuilder<G> { code(code: string): this; position(x: number, y: number): this; position(position: Point): this; size(width: number, height: number): this; size(size: Dimension): this; } //# sourceMappingURL=gshaped-prerendered-element.d.ts.map