123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554 |
- // Copyright (c) Jupyter Development Team.
- // Distributed under the terms of the Modified BSD License.
- import {
- IClientSession
- } from '@jupyterlab/apputils';
- import {
- ModelDB, uuid
- } from '@jupyterlab/coreutils';
- import {
- DocumentRegistry, Context
- } from '@jupyterlab/docregistry';
- import {
- Contents, Kernel, ServiceManager
- } from '@jupyterlab/services';
- import {
- ArrayExt, each, find, map, toArray
- } from '@phosphor/algorithm';
- import {
- Token
- } from '@phosphor/coreutils';
- import {
- IDisposable
- } from '@phosphor/disposable';
- import {
- AttachedProperty
- } from '@phosphor/properties';
- import {
- ISignal, Signal
- } from '@phosphor/signaling';
- import {
- Widget
- } from '@phosphor/widgets';
- import {
- SaveHandler
- } from './savehandler';
- import {
- DocumentWidgetManager
- } from './widgetmanager';
- /* tslint:disable */
- /**
- * The document registry token.
- */
- export
- const IDocumentManager = new Token<IDocumentManager>('@jupyterlab/docmanager:IDocumentManager');
- /* tslint:enable */
- /**
- * The interface for a document manager.
- */
- export
- interface IDocumentManager extends DocumentManager {}
- /**
- * The document manager.
- *
- * #### Notes
- * The document manager is used to register model and widget creators,
- * and the file browser uses the document manager to create widgets. The
- * document manager maintains a context for each path and model type that is
- * open, and a list of widgets for each context. The document manager is in
- * control of the proper closing and disposal of the widgets and contexts.
- */
- export
- class DocumentManager implements IDisposable {
- /**
- * Construct a new document manager.
- */
- constructor(options: DocumentManager.IOptions) {
- this.registry = options.registry;
- this.services = options.manager;
- this._opener = options.opener;
- this._modelDBFactory = options.modelDBFactory || null;
- let widgetManager = new DocumentWidgetManager({ registry: this.registry });
- widgetManager.activateRequested.connect(this._onActivateRequested, this);
- this._widgetManager = widgetManager;
- }
- /**
- * The registry used by the manager.
- */
- readonly registry: DocumentRegistry;
- /**
- * The service manager used by the manager.
- */
- readonly services: ServiceManager.IManager;
- /**
- * A signal emitted when one of the documents is activated.
- */
- get activateRequested(): ISignal<this, string> {
- return this._activateRequested;
- }
- /**
- * Get whether the document manager has been disposed.
- */
- get isDisposed(): boolean {
- return this._isDisposed;
- }
- /**
- * Dispose of the resources held by the document manager.
- */
- dispose(): void {
- if (this.isDisposed) {
- return;
- }
- this._isDisposed = true;
- Signal.clearData(this);
- each(toArray(this._contexts), context => {
- this._widgetManager.closeWidgets(context);
- });
- this._widgetManager.dispose();
- this._contexts.length = 0;
- }
- /**
- * Clone a widget.
- *
- * @param widget - The source widget.
- *
- * @returns A new widget or `undefined`.
- *
- * #### Notes
- * Uses the same widget factory and context as the source, or returns
- * `undefined` if the source widget is not managed by this manager.
- */
- cloneWidget(widget: Widget): Widget | undefined {
- return this._widgetManager.cloneWidget(widget);
- }
- /**
- * Close all of the open documents.
- */
- closeAll(): Promise<void> {
- return Promise.all(
- toArray(map(this._contexts, context => {
- return this._widgetManager.closeWidgets(context);
- }))
- ).then(() => undefined);
- }
- /**
- * Close the widgets associated with a given path.
- *
- * @param path - The target path.
- */
- closeFile(path: string): Promise<void> {
- let context = this._contextForPath(path);
- if (context) {
- return this._widgetManager.closeWidgets(context);
- }
- return Promise.resolve(void 0);
- }
- /**
- * Get the document context for a widget.
- *
- * @param widget - The widget of interest.
- *
- * @returns The context associated with the widget, or `undefined`.
- */
- contextForWidget(widget: Widget): DocumentRegistry.Context | undefined {
- return this._widgetManager.contextForWidget(widget);
- }
- /**
- * Copy a file.
- *
- * @param fromFile - The full path of the original file.
- *
- * @param toDir - The full path to the target directory.
- *
- * @returns A promise which resolves to the contents of the file.
- */
- copy(fromFile: string, toDir: string): Promise<Contents.IModel> {
- return this.services.contents.copy(fromFile, toDir);
- }
- /**
- * Create a new file and return the widget used to view it.
- *
- * @param path - The file path to create.
- *
- * @param widgetName - The name of the widget factory to use. 'default' will use the default widget.
- *
- * @param kernel - An optional kernel name/id to override the default.
- *
- * @returns The created widget, or `undefined`.
- *
- * #### Notes
- * This function will return `undefined` if a valid widget factory
- * cannot be found.
- */
- createNew(path: string, widgetName='default', kernel?: Partial<Kernel.IModel>): Widget {
- return this._createOrOpenDocument('create', path, widgetName, kernel);
- }
- /**
- * Delete a file.
- *
- * @param path - The full path to the file to be deleted.
- *
- * @returns A promise which resolves when the file is deleted.
- *
- * #### Notes
- * If there is a running session associated with the file and no other
- * sessions are using the kernel, the session will be shut down.
- */
- deleteFile(path: string): Promise<void> {
- return this.services.sessions.stopIfNeeded(path).then(() => {
- return this.services.contents.delete(path);
- })
- .then(() => {
- let context = this._contextForPath(path);
- if (context) {
- return this._widgetManager.deleteWidgets(context);
- }
- return Promise.resolve(void 0);
- });
- }
- /**
- * See if a widget already exists for the given path and widget name.
- *
- * @param path - The file path to use.
- *
- * @param widgetName - The name of the widget factory to use. 'default' will use the default widget.
- *
- * @returns The found widget, or `undefined`.
- *
- * #### Notes
- * This can be used to use an existing widget instead of opening
- * a new widget.
- */
- findWidget(path: string, widgetName='default'): Widget | undefined {
- if (widgetName === 'default') {
- let factory = this.registry.defaultWidgetFactory(path);
- if (!factory) {
- return undefined;
- }
- widgetName = factory.name;
- }
- let context = this._contextForPath(path);
- if (context) {
- return this._widgetManager.findWidget(context, widgetName);
- }
- return undefined;
- }
- /**
- * Create a new untitled file.
- *
- * @param options - The file content creation options.
- */
- newUntitled(options: Contents.ICreateOptions): Promise<Contents.IModel> {
- if (options.type === 'file') {
- options.ext = options.ext || '.txt';
- }
- return this.services.contents.newUntitled(options);
- }
- /**
- * Open a file and return the widget used to view it.
- *
- * @param path - The file path to open.
- *
- * @param widgetName - The name of the widget factory to use. 'default' will use the default widget.
- *
- * @param kernel - An optional kernel name/id to override the default.
- *
- * @returns The created widget, or `undefined`.
- *
- * #### Notes
- * This function will return `undefined` if a valid widget factory
- * cannot be found.
- */
- open(path: string, widgetName='default', kernel?: Partial<Kernel.IModel>): Widget | undefined {
- return this._createOrOpenDocument('open', path, widgetName, kernel);
- }
- /**
- * Open a file and return the widget used to view it.
- * Reveals an already existing editor.
- *
- * @param path - The file path to open.
- *
- * @param widgetName - The name of the widget factory to use. 'default' will use the default widget.
- *
- * @param kernel - An optional kernel name/id to override the default.
- *
- * @returns The created widget, or `undefined`.
- *
- * #### Notes
- * This function will return `undefined` if a valid widget factory
- * cannot be found.
- */
- openOrReveal(path: string, widgetName='default', kernel?: Partial<Kernel.IModel>): Widget | undefined {
- let widget = this.findWidget(path, widgetName);
- if (widget) {
- this._opener.open(widget);
- return widget;
- }
- return this.open(path, widgetName, kernel);
- }
- /**
- * Overwrite a file.
- *
- * @param oldPath - The full path to the original file.
- *
- * @param newPath - The full path to the new file.
- *
- * @returns A promise containing the new file contents model.
- */
- overwrite(oldPath: string, newPath: string): Promise<Contents.IModel> {
- // Cleanly overwrite the file by moving it, making sure the original does
- // not exist, and then renaming to the new path.
- const tempPath = `${newPath}.${uuid()}`;
- const cb = () => this.rename(tempPath, newPath);
- return this.rename(oldPath, tempPath).then(() => {
- return this.deleteFile(newPath);
- }).then(cb, cb);
- }
- /**
- * Rename a file or directory.
- *
- * @param oldPath - The full path to the original file.
- *
- * @param newPath - The full path to the new file.
- *
- * @returns A promise containing the new file contents model. The promise
- * will reject if the newPath already exists. Use [[overwrite]] to overwrite
- * a file.
- */
- rename(oldPath: string, newPath: string): Promise<Contents.IModel> {
- return this.services.contents.rename(oldPath, newPath);
- }
- /**
- * Find a context for a given path and factory name.
- */
- private _findContext(path: string, factoryName: string): Private.IContext | undefined {
- return find(this._contexts, context => {
- return context.factoryName === factoryName && context.path === path;
- });
- }
- /**
- * Get a context for a given path.
- */
- private _contextForPath(path: string): Private.IContext | undefined {
- return find(this._contexts, context => context.path === path);
- }
- /**
- * Create a context from a path and a model factory.
- */
- private _createContext(path: string, factory: DocumentRegistry.ModelFactory, kernelPreference: IClientSession.IKernelPreference): Private.IContext {
- let adopter = (widget: Widget) => {
- this._widgetManager.adoptWidget(context, widget);
- this._opener.open(widget);
- };
- let modelDBFactory = this.services.contents.getModelDBFactory(path) || undefined;
- let context = new Context({
- opener: adopter,
- manager: this.services,
- factory,
- path,
- kernelPreference,
- modelDBFactory
- });
- let handler = new SaveHandler({
- context,
- manager: this.services
- });
- Private.saveHandlerProperty.set(context, handler);
- context.ready.then(() => {
- handler.start();
- });
- context.disposed.connect(this._onContextDisposed, this);
- this._contexts.push(context);
- return context;
- }
- /**
- * Handle a context disposal.
- */
- private _onContextDisposed(context: Private.IContext): void {
- ArrayExt.removeFirstOf(this._contexts, context);
- }
- /**
- * Get the widget factory for a given widget name.
- */
- private _widgetFactoryFor(path: string, widgetName: string): DocumentRegistry.WidgetFactory | undefined {
- let { registry } = this;
- if (widgetName === 'default') {
- let factory = registry.defaultWidgetFactory(path);
- if (!factory) {
- return undefined;
- }
- widgetName = factory.name;
- }
- return registry.getWidgetFactory(widgetName);
- }
- /**
- * Creates a new document, or loads one from disk, depending on the `which` argument.
- * If `which==='create'`, then it creates a new document. If `which==='open'`,
- * then it loads the document from disk.
- *
- * The two cases differ in how the document context is handled, but the creation
- * of the widget and launching of the kernel are identical.
- */
- private _createOrOpenDocument(which: 'open'|'create', path: string, widgetName='default', kernel?: Partial<Kernel.IModel>): Widget | undefined {
- let widgetFactory = this._widgetFactoryFor(path, widgetName);
- if (!widgetFactory) {
- return undefined;
- }
- let modelName = widgetFactory.modelName || 'text';
- let factory = this.registry.getModelFactory(modelName);
- if (!factory) {
- return undefined;
- }
- // Handle the kernel pereference.
- let preference = this.registry.getKernelPreference(
- path, widgetFactory.name, kernel
- );
- let context: Private.IContext | null = null;
- // Handle the load-from-disk case
- if (which === 'open') {
- // Use an existing context if available.
- context = this._findContext(path, factory.name) || null;
- if (!context) {
- context = this._createContext(path, factory, preference);
- // Populate the model, either from disk or a
- // model backend.
- context.fromStore();
- }
- } else if (which === 'create') {
- context = this._createContext(path, factory, preference);
- // Immediately save the contents to disk.
- context.save();
- }
- let widget = this._widgetManager.createWidget(widgetFactory, context!);
- this._opener.open(widget);
- return widget;
- }
- /**
- * Handle an activateRequested signal from the widget manager.
- */
- private _onActivateRequested(sender: DocumentWidgetManager, args: string): void {
- this._activateRequested.emit(args);
- }
- private _activateRequested = new Signal<this, string>(this);
- private _contexts: Private.IContext[] = [];
- private _modelDBFactory: ModelDB.IFactory | null = null;
- private _opener: DocumentManager.IWidgetOpener;
- private _widgetManager: DocumentWidgetManager;
- private _isDisposed = false;
- }
- /**
- * A namespace for document manager statics.
- */
- export
- namespace DocumentManager {
- /**
- * The options used to initialize a document manager.
- */
- export
- interface IOptions {
- /**
- * A document registry instance.
- */
- registry: DocumentRegistry;
- /**
- * A service manager instance.
- */
- manager: ServiceManager.IManager;
- /**
- * A widget opener for sibling widgets.
- */
- opener: IWidgetOpener;
- /**
- * An `IModelDB` backend factory method.
- */
- modelDBFactory?: ModelDB.IFactory;
- }
- /**
- * An interface for a widget opener.
- */
- export
- interface IWidgetOpener {
- /**
- * Open the given widget.
- */
- open(widget: Widget): void;
- }
- }
- /**
- * A namespace for private data.
- */
- namespace Private {
- /**
- * An attached property for a context save handler.
- */
- export
- const saveHandlerProperty = new AttachedProperty<DocumentRegistry.Context, SaveHandler | undefined>({
- name: 'saveHandler',
- create: () => undefined
- });
- /**
- * A type alias for a standard context.
- */
- export
- interface IContext extends Context<DocumentRegistry.IModel> {};
- }
|