import { Padding, Rectangle } from "../common/vline"; export declare function setSVGBoxSize(box: SVGSVGElement, w: number, h: number): void; export declare function setSVGBoxSize(box: SVGSVGElement, rect: Rectangle, padding: Padding): void; /** * URLのパラメータを表す連想配列を生成します。 */ export declare function getURLParameters(): { [key: string]: string; }; /** * URLのパラメータをパースしてHTML内の適切な要素に代入します。 */ export declare function setURLParametersToHTMLElements(): void; /** * HTMLTextAreaElementのテキストを取得します。 * @param elementID HTMLTextAreaElementのID */ export declare function getInputText(elementID: string): string; /** * HTMLTextAreaElementを取得します。 * @param id HTMLTextAreaElementのID */ export declare function getNonNullElementById(id: string): HTMLElement; export declare function getClientRectangle(): Rectangle;