Interface ILSPDocumentConnectionManagerAlpha

The LSP connection state manager

interface ILSPDocumentConnectionManager {
    adapters: Map<
        string,
        WidgetLSPAdapter<IDocumentWidget<Widget, DocumentRegistry.IModel>>,
    >;
    closed: ISignal<ILSPDocumentConnectionManager, IDocumentConnectionData>;
    connected: ISignal<ILSPDocumentConnectionManager, IDocumentConnectionData>;
    connections: Map<string, ILSPConnection>;
    disconnected: ISignal<
        ILSPDocumentConnectionManager,
        IDocumentConnectionData,
    >;
    documents: Map<string, VirtualDocument>;
    documentsChanged: ISignal<
        ILSPDocumentConnectionManager,
        Map<string, VirtualDocument>,
    >;
    initialConfigurations: Partial<Record<TLanguageServerId, LanguageServer1>>;
    initialized: ISignal<
        ILSPDocumentConnectionManager,
        IDocumentConnectionData,
    >;
    languageServerManager: ILanguageServerManager;
    ready: Promise<void>;
    connect(
        options: ISocketConnectionOptions,
        firstTimeoutSeconds?: number,
        secondTimeoutMinute?: number,
    ): Promise<undefined | ILSPConnection>;
    disconnect(languageId: TLanguageServerId): void;
    registerAdapter(
        path: string,
        adapter: WidgetLSPAdapter<
            IDocumentWidget<Widget, DocumentRegistry.IModel>,
        >,
    ): void;
    retryToConnect(
        options: ISocketConnectionOptions,
        reconnectDelay: number,
        retrialsLeft: number,
    ): Promise<void>;
    unregisterDocument(uri: string): void;
    updateConfiguration(
        allServerSettings: Partial<Record<TLanguageServerId, LanguageServer1>>,
    ): void;
    updateLogging(logAllCommunication: boolean, setTrace: TraceValues): void;
    updateServerConfigurations(
        allServerSettings: Partial<Record<TLanguageServerId, LanguageServer1>>,
    ): void;
}

Implemented by

Properties

adapters: Map<
    string,
    WidgetLSPAdapter<IDocumentWidget<Widget, DocumentRegistry.IModel>>,
>

The mapping of document uri to the widget adapter.

Signal emitted when a virtual document is closed.

Signal emitted when a connection is connected.

connections: Map<string, ILSPConnection>

The mapping of document uri to the connection to language server.

Signal emitted when a connection is disconnected.

documents: Map<string, VirtualDocument>

The mapping of document uri to the virtual document.

documentsChanged: ISignal<
    ILSPDocumentConnectionManager,
    Map<string, VirtualDocument>,
>

Signal emitted when the content of a virtual document is changed.

Initial configuration for the language servers.

Signal emitted when the language server is initialized.

languageServerManager: ILanguageServerManager

The language server manager instance.

ready: Promise<void>

A promise that is fulfilled when the connection manager is ready.

Methods

  • Alpha

    Disconnect the signals of requested virtual document uri.

    Parameters

    • uri: string

    Returns void

  • Alpha

    Enable or disable the logging of language server communication.

    Parameters

    • logAllCommunication: boolean
    • setTrace: TraceValues

    Returns void