@eclipse-glsp/theia-integration
Version:
Glue code to integrate GLSP clients into Eclipse Theia
34 lines • 2.08 kB
TypeScript
/********************************************************************************
* Copyright (c) 2023-2025 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
********************************************************************************/
import { Disposable, EndProgressAction, IActionHandler, ICommand, MessageAction, StartProgressAction, UpdateProgressAction } from '@eclipse-glsp/client';
import { MessageService, Progress } from '@theia/core';
import { Action } from 'sprotty-protocol/lib/actions';
export declare class TheiaGLSPMessageService implements IActionHandler, Disposable {
static readonly SHOW_DETAILS_LABEL = "Show details";
protected messageService: MessageService;
protected progressReporters: Map<string, Progress>;
dispose(): void;
handle(action: Action): void | Action | ICommand;
protected message(action: MessageAction): void;
protected toMessageServiceMethod(severity: string): keyof Pick<MessageService, 'log' | 'info' | 'error' | 'warn'>;
protected shouldShowMessage(action: MessageAction): boolean;
protected showDetailsDialog(title: string, msg: string): Promise<boolean | undefined>;
protected startProgress(action: StartProgressAction): void;
protected progressReporterId(widgetId: string, progressId: string): string;
protected updateProgress(action: UpdateProgressAction): void;
protected endProgress(action: EndProgressAction): void;
}
//# sourceMappingURL=theia-glsp-message-service.d.ts.map