@eclipse-glsp/theia-integration
Version:
Glue code to integrate GLSP clients into Eclipse Theia
31 lines • 1.59 kB
TypeScript
/********************************************************************************
* Copyright (c) 2020-2026 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 { BaseJsonrpcGLSPClient, JsonrpcGLSPClient } from '@eclipse-glsp/client';
import { MessageService } from '@theia/core/';
import { Message } from 'vscode-jsonrpc';
export declare class TheiaJsonrpcGLSPClient extends BaseJsonrpcGLSPClient {
protected messageService: MessageService;
constructor(options: TheiaJsonrpcGLSPClient.Options);
protected handleConnectionError(error: Error, message: Message, count: number): void;
protected handleConnectionClosed(): void;
}
export declare namespace TheiaJsonrpcGLSPClient {
interface Options extends JsonrpcGLSPClient.Options {
messageService: MessageService;
}
function isOptions(object: any): object is Options;
}
//# sourceMappingURL=theia-jsonrpc-glsp-client.d.ts.map