@jupyterlab/services
Version:
Client APIs for the Jupyter services REST APIs
117 lines (100 loc) • 2.62 kB
text/typescript
// Copyright (c) Jupyter Development Team.
// Distributed under the terms of the Modified BSD License.
import { IObservableDisposable } from '@lumino/disposable';
import { ISignal, Signal } from '@lumino/signaling';
import { ServerConnection } from './serverconnection';
/**
* Object which manages kernel instances for a given base url.
*
* #### Notes
* The manager is responsible for maintaining the state of kernel specs.
*/
export interface IManager extends IObservableDisposable {
/**
* A signal emitted when there is a connection failure.
*/
connectionFailure: ISignal<IManager, ServerConnection.NetworkError>;
/**
* The server settings for the manager.
*/
readonly serverSettings: ServerConnection.ISettings;
/**
* Whether the manager is ready.
*/
readonly isReady: boolean;
/**
* A promise that resolves when the manager is initially ready.
*/
readonly ready: Promise<void>;
/**
* Whether the manager is active.
*/
readonly isActive: boolean;
}
export abstract class BaseManager implements IManager {
constructor(options: BaseManager.IOptions) {
this.serverSettings =
options.serverSettings ?? ServerConnection.makeSettings();
}
/**
* A signal emitted when the delegate is disposed.
*/
get disposed(): ISignal<this, void> {
return this._disposed;
}
/**
* A signal emitted when there is a connection failure.
*/
abstract connectionFailure: ISignal<this, Error>;
/**
* Test whether the delegate has been disposed.
*/
get isDisposed(): boolean {
return this._isDisposed;
}
/**
* Test whether the manager is ready.
*/
abstract isReady: boolean;
/**
* A promise that fulfills when the manager is ready.
*/
abstract ready: Promise<void>;
/**
* Whether the manager is active.
*/
get isActive(): boolean {
return true;
}
/**
* Dispose of the delegate and invoke the callback function.
*/
dispose(): void {
if (this.isDisposed) {
return;
}
this._isDisposed = true;
this._disposed.emit(undefined);
Signal.clearData(this);
}
/**
* The server settings of the manager.
*/
readonly serverSettings: ServerConnection.ISettings;
private _isDisposed = false;
private _disposed = new Signal<this, void>(this);
}
/**
* The namespace for `BaseManager` class statics.
*/
export namespace BaseManager {
/**
* The options used to initialize a SessionManager.
*/
export interface IOptions {
/**
* The server settings for the manager.
*/
serverSettings?: ServerConnection.ISettings;
}
}