@kieler/klighd-core/lib/options/options-registry.d.ts

Core KLighD diagram visualization with Sprotty

import { ActionHandlerRegistry, IActionHandlerInitializer, ICommand } from 'sprotty';
import { Action } from 'sprotty-protocol';
import { Registry } from '../base/registry';
import { Connection } from '../services';
import { DisplayedActionData, LayoutOptionUIData, SynthesisOption } from './option-models';
/**
 * {@link Registry} that stores and manages KLighD options provided by the server.
 *
 * Acts as an action handler that handles UpdateOptionsActions and modifications
 * to the Options. Changes are synchronized with the server.
 */
export declare class OptionsRegistry extends Registry implements IActionHandlerInitializer {
    connection: Connection;
    private _modelUri;
    private _synthesisOptions;
    private _layoutOptions;
    private _displayedActions;
    get modelUri(): string;
    get valuedSynthesisOptions(): SynthesisOption[];
    get layoutOptions(): LayoutOptionUIData[];
    get displayedActions(): DisplayedActionData[];
    /** Returns `true` when the registry contains options and is therefore not empty. */
    hasOptions(): boolean;
    initialize(registry: ActionHandlerRegistry): void;
    handle(action: Action): void | Action | ICommand;
    private handleUpdateOptions;
    private handlePerformOptionsAction;
    private handleSetSynthesisOptions;
    private handleSetLayoutOptions;
    private handleResetSynthesisOptions;
    private handleResetLayoutOptions;
}
//# sourceMappingURL=options-registry.d.ts.map