@theia/filesystem 1.45.1 → 1.46.0-next.72

package/src/browser/file-resource.ts

@@ -1,361 +1,373 @@
-// *****************************************************************************
-// Copyright (C) 2018 TypeFox 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-only WITH Classpath-exception-2.0
-// *****************************************************************************
-
-import { injectable, inject } from '@theia/core/shared/inversify';
-import { Resource, ResourceVersion, ResourceResolver, ResourceError, ResourceSaveOptions } from '@theia/core/lib/common/resource';
-import { DisposableCollection } from '@theia/core/lib/common/disposable';
-import { Emitter, Event } from '@theia/core/lib/common/event';
-import { Readable, ReadableStream } from '@theia/core/lib/common/stream';
-import URI from '@theia/core/lib/common/uri';
-import { FileOperation, FileOperationError, FileOperationResult, ETAG_DISABLED, FileSystemProviderCapabilities, FileReadStreamOptions, BinarySize } from '../common/files';
-import { FileService, TextFileOperationError, TextFileOperationResult } from './file-service';
-import { ConfirmDialog, Dialog } from '@theia/core/lib/browser/dialogs';
-import { LabelProvider } from '@theia/core/lib/browser/label-provider';
-import { GENERAL_MAX_FILE_SIZE_MB } from './filesystem-preferences';
-import { FrontendApplicationStateService } from '@theia/core/lib/browser/frontend-application-state';
-import { nls } from '@theia/core';
-
-export interface FileResourceVersion extends ResourceVersion {
-    readonly encoding: string;
-    readonly mtime: number;
-    readonly etag: string;
-}
-export namespace FileResourceVersion {
-    export function is(version: ResourceVersion | undefined): version is FileResourceVersion {
-        return !!version && 'encoding' in version && 'mtime' in version && 'etag' in version;
-    }
-}
-
-export interface FileResourceOptions {
-    isReadonly: boolean
-    shouldOverwrite: () => Promise<boolean>
-    shouldOpenAsText: (error: string) => Promise<boolean>
-}
-
-export class FileResource implements Resource {
-
-    protected acceptTextOnly = true;
-    protected limits: FileReadStreamOptions['limits'];
-
-    protected readonly toDispose = new DisposableCollection();
-    protected readonly onDidChangeContentsEmitter = new Emitter<void>();
-    readonly onDidChangeContents: Event<void> = this.onDidChangeContentsEmitter.event;
-
-    protected _version: FileResourceVersion | undefined;
-    get version(): FileResourceVersion | undefined {
-        return this._version;
-    }
-    get encoding(): string | undefined {
-        return this._version?.encoding;
-    }
-    get isReadonly(): boolean {
-        return this.options.isReadonly || this.fileService.hasCapability(this.uri, FileSystemProviderCapabilities.Readonly);
-    }
-
-    constructor(
-        readonly uri: URI,
-        protected readonly fileService: FileService,
-        protected readonly options: FileResourceOptions
-    ) {
-        this.toDispose.push(this.onDidChangeContentsEmitter);
-        this.toDispose.push(this.fileService.onDidFilesChange(event => {
-            if (event.contains(this.uri)) {
-                this.sync();
-            }
-        }));
-        this.toDispose.push(this.fileService.onDidRunOperation(e => {
-            if ((e.isOperation(FileOperation.DELETE) || e.isOperation(FileOperation.MOVE)) && e.resource.isEqualOrParent(this.uri)) {
-                this.sync();
-            }
-        }));
-        try {
-            this.toDispose.push(this.fileService.watch(this.uri));
-        } catch (e) {
-            console.error(e);
-        }
-        this.updateSavingContentChanges();
-        this.toDispose.push(this.fileService.onDidChangeFileSystemProviderCapabilities(e => {
-            if (e.scheme === this.uri.scheme) {
-                this.updateSavingContentChanges();
-            }
-        }));
-    }
-
-    dispose(): void {
-        this.toDispose.dispose();
-    }
-
-    async readContents(options?: { encoding?: string }): Promise<string> {
-        try {
-            const encoding = options?.encoding || this.version?.encoding;
-            const stat = await this.fileService.read(this.uri, {
-                encoding,
-                etag: ETAG_DISABLED,
-                acceptTextOnly: this.acceptTextOnly,
-                limits: this.limits
-            });
-            this._version = {
-                encoding: stat.encoding,
-                etag: stat.etag,
-                mtime: stat.mtime
-            };
-            return stat.value;
-        } catch (e) {
-            if (e instanceof TextFileOperationError && e.textFileOperationResult === TextFileOperationResult.FILE_IS_BINARY) {
-                if (await this.shouldOpenAsText(nls.localize('theia/filesystem/fileResource/binaryTitle', 'The file is either binary or uses an unsupported text encoding.'))) {
-                    this.acceptTextOnly = false;
-                    return this.readContents(options);
-                }
-            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_TOO_LARGE) {
-                const stat = await this.fileService.resolve(this.uri, { resolveMetadata: true });
-                const maxFileSize = GENERAL_MAX_FILE_SIZE_MB * 1024 * 1024;
-                if (this.limits?.size !== maxFileSize && await this.shouldOpenAsText(nls.localize(
-                    'theia/filesystem/fileResource/largeFileTitle', 'The file is too large ({0}).', BinarySize.formatSize(stat.size)))) {
-                    this.limits = {
-                        size: maxFileSize
-                    };
-                    return this.readContents(options);
-                }
-            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND) {
-                this._version = undefined;
-                const { message, stack } = e;
-                throw ResourceError.NotFound({
-                    message, stack,
-                    data: {
-                        uri: this.uri
-                    }
-                });
-            }
-            throw e;
-        }
-    }
-
-    async readStream(options?: { encoding?: string }): Promise<ReadableStream<string>> {
-        try {
-            const encoding = options?.encoding || this.version?.encoding;
-            const stat = await this.fileService.readStream(this.uri, {
-                encoding,
-                etag: ETAG_DISABLED,
-                acceptTextOnly: this.acceptTextOnly,
-                limits: this.limits
-            });
-            this._version = {
-                encoding: stat.encoding,
-                etag: stat.etag,
-                mtime: stat.mtime
-            };
-            return stat.value;
-        } catch (e) {
-            if (e instanceof TextFileOperationError && e.textFileOperationResult === TextFileOperationResult.FILE_IS_BINARY) {
-                if (await this.shouldOpenAsText(nls.localize('theia/filesystem/fileResource/binaryTitle', 'The file is either binary or uses an unsupported text encoding.'))) {
-                    this.acceptTextOnly = false;
-                    return this.readStream(options);
-                }
-            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_TOO_LARGE) {
-                const stat = await this.fileService.resolve(this.uri, { resolveMetadata: true });
-                const maxFileSize = GENERAL_MAX_FILE_SIZE_MB * 1024 * 1024;
-                if (this.limits?.size !== maxFileSize && await this.shouldOpenAsText(nls.localize(
-                    'theia/filesystem/fileResource/largeFileTitle', 'The file is too large ({0}).', BinarySize.formatSize(stat.size)))) {
-                    this.limits = {
-                        size: maxFileSize
-                    };
-                    return this.readStream(options);
-                }
-            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND) {
-                this._version = undefined;
-                const { message, stack } = e;
-                throw ResourceError.NotFound({
-                    message, stack,
-                    data: {
-                        uri: this.uri
-                    }
-                });
-            }
-            throw e;
-        }
-    }
-
-    protected doWrite = async (content: string | Readable<string>, options?: ResourceSaveOptions): Promise<void> => {
-        const version = options?.version || this._version;
-        const current = FileResourceVersion.is(version) ? version : undefined;
-        const etag = current?.etag;
-        try {
-            const stat = await this.fileService.write(this.uri, content, {
-                encoding: options?.encoding,
-                overwriteEncoding: options?.overwriteEncoding,
-                etag,
-                mtime: current?.mtime
-            });
-            this._version = {
-                etag: stat.etag,
-                mtime: stat.mtime,
-                encoding: stat.encoding
-            };
-        } catch (e) {
-            if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_MODIFIED_SINCE) {
-                if (etag !== ETAG_DISABLED && await this.shouldOverwrite()) {
-                    return this.doWrite(content, { ...options, version: { stat: { ...current, etag: ETAG_DISABLED } } });
-                }
-                const { message, stack } = e;
-                throw ResourceError.OutOfSync({ message, stack, data: { uri: this.uri } });
-            }
-            throw e;
-        }
-    };
-
-    saveStream?: Resource['saveStream'];
-    saveContents?: Resource['saveContents'];
-    saveContentChanges?: Resource['saveContentChanges'];
-    protected updateSavingContentChanges(): void {
-        if (this.isReadonly) {
-            delete this.saveContentChanges;
-            delete this.saveContents;
-            delete this.saveStream;
-        } else {
-            this.saveContents = this.doWrite;
-            this.saveStream = this.doWrite;
-            if (this.fileService.hasCapability(this.uri, FileSystemProviderCapabilities.Update)) {
-                this.saveContentChanges = this.doSaveContentChanges;
-            }
-        }
-    }
-    protected doSaveContentChanges: Resource['saveContentChanges'] = async (changes, options) => {
-        const version = options?.version || this._version;
-        const current = FileResourceVersion.is(version) ? version : undefined;
-        if (!current) {
-            throw ResourceError.NotFound({ message: 'has not been read yet', data: { uri: this.uri } });
-        }
-        const etag = current?.etag;
-        try {
-            const stat = await this.fileService.update(this.uri, changes, {
-                readEncoding: current.encoding,
-                encoding: options?.encoding,
-                overwriteEncoding: options?.overwriteEncoding,
-                etag,
-                mtime: current?.mtime
-            });
-            this._version = {
-                etag: stat.etag,
-                mtime: stat.mtime,
-                encoding: stat.encoding
-            };
-        } catch (e) {
-            if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND) {
-                const { message, stack } = e;
-                throw ResourceError.NotFound({ message, stack, data: { uri: this.uri } });
-            }
-            if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_MODIFIED_SINCE) {
-                const { message, stack } = e;
-                throw ResourceError.OutOfSync({ message, stack, data: { uri: this.uri } });
-            }
-            throw e;
-        }
-    };
-
-    async guessEncoding(): Promise<string> {
-        // TODO limit size
-        const content = await this.fileService.read(this.uri, { autoGuessEncoding: true });
-        return content.encoding;
-    }
-
-    protected async sync(): Promise<void> {
-        if (await this.isInSync()) {
-            return;
-        }
-        this.onDidChangeContentsEmitter.fire(undefined);
-    }
-    protected async isInSync(): Promise<boolean> {
-        try {
-            const stat = await this.fileService.resolve(this.uri, { resolveMetadata: true });
-            return !!this.version && this.version.mtime >= stat.mtime;
-        } catch {
-            return !this.version;
-        }
-    }
-
-    protected async shouldOverwrite(): Promise<boolean> {
-        return this.options.shouldOverwrite();
-    }
-
-    protected async shouldOpenAsText(error: string): Promise<boolean> {
-        return this.options.shouldOpenAsText(error);
-    }
-
-}
-
-@injectable()
-export class FileResourceResolver implements ResourceResolver {
-
-    @inject(FileService)
-    protected readonly fileService: FileService;
-
-    @inject(LabelProvider)
-    protected readonly labelProvider: LabelProvider;
-
-    @inject(FrontendApplicationStateService)
-    protected readonly applicationState: FrontendApplicationStateService;
-
-    async resolve(uri: URI): Promise<FileResource> {
-        let stat;
-        try {
-            stat = await this.fileService.resolve(uri);
-        } catch (e) {
-            if (!(e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND)) {
-                throw e;
-            }
-        }
-        if (stat && stat.isDirectory) {
-            throw new Error('The given uri is a directory: ' + this.labelProvider.getLongName(uri));
-        }
-        return new FileResource(uri, this.fileService, {
-            isReadonly: stat?.isReadonly ?? false,
-            shouldOverwrite: () => this.shouldOverwrite(uri),
-            shouldOpenAsText: error => this.shouldOpenAsText(uri, error)
-        });
-    }
-
-    protected async shouldOverwrite(uri: URI): Promise<boolean> {
-        const dialog = new ConfirmDialog({
-            title: nls.localize('theia/filesystem/fileResource/overwriteTitle', "The file '{0}' has been changed on the file system.", this.labelProvider.getName(uri)),
-            msg: nls.localize('theia/fileSystem/fileResource/overWriteBody',
-                "Do you want to overwrite the changes made to '{0}' on the file system?", this.labelProvider.getLongName(uri)),
-            ok: Dialog.YES,
-            cancel: Dialog.NO,
-        });
-        return !!await dialog.open();
-    }
-
-    protected async shouldOpenAsText(uri: URI, error: string): Promise<boolean> {
-        switch (this.applicationState.state) {
-            case 'init':
-            case 'started_contributions':
-            case 'attached_shell':
-                return true; // We're restoring state - assume that we should open files that were previously open.
-            default: {
-                const dialog = new ConfirmDialog({
-                    title: error,
-                    msg: nls.localize('theia/filesystem/fileResource/binaryFileQuery',
-                        "Opening it might take some time and might make the IDE unresponsive. Do you want to open '{0}' anyway?", this.labelProvider.getLongName(uri)
-                    ),
-                    ok: Dialog.YES,
-                    cancel: Dialog.NO,
-                });
-                return !!await dialog.open();
-            }
-        }
-    }
-
-}
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox 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-only WITH Classpath-exception-2.0
+// *****************************************************************************
+
+import { injectable, inject } from '@theia/core/shared/inversify';
+import { Resource, ResourceVersion, ResourceResolver, ResourceError, ResourceSaveOptions } from '@theia/core/lib/common/resource';
+import { DisposableCollection } from '@theia/core/lib/common/disposable';
+import { Emitter, Event } from '@theia/core/lib/common/event';
+import { Readable, ReadableStream } from '@theia/core/lib/common/stream';
+import URI from '@theia/core/lib/common/uri';
+import { FileOperation, FileOperationError, FileOperationResult, ETAG_DISABLED, FileSystemProviderCapabilities, FileReadStreamOptions, BinarySize } from '../common/files';
+import { FileService, TextFileOperationError, TextFileOperationResult } from './file-service';
+import { ConfirmDialog, Dialog } from '@theia/core/lib/browser/dialogs';
+import { LabelProvider } from '@theia/core/lib/browser/label-provider';
+import { GENERAL_MAX_FILE_SIZE_MB } from './filesystem-preferences';
+import { FrontendApplicationStateService } from '@theia/core/lib/browser/frontend-application-state';
+import { nls } from '@theia/core';
+import { MarkdownString } from '@theia/core/lib/common/markdown-rendering';
+
+export interface FileResourceVersion extends ResourceVersion {
+    readonly encoding: string;
+    readonly mtime: number;
+    readonly etag: string;
+}
+export namespace FileResourceVersion {
+    export function is(version: ResourceVersion | undefined): version is FileResourceVersion {
+        return !!version && 'encoding' in version && 'mtime' in version && 'etag' in version;
+    }
+}
+
+export interface FileResourceOptions {
+    isReadonly: boolean
+    shouldOverwrite: () => Promise<boolean>
+    shouldOpenAsText: (error: string) => Promise<boolean>
+}
+
+export class FileResource implements Resource {
+
+    protected acceptTextOnly = true;
+    protected limits: FileReadStreamOptions['limits'];
+
+    protected readonly toDispose = new DisposableCollection();
+    protected readonly onDidChangeContentsEmitter = new Emitter<void>();
+    readonly onDidChangeContents: Event<void> = this.onDidChangeContentsEmitter.event;
+
+    protected readonly onDidChangeReadOnlyEmitter = new Emitter<boolean | MarkdownString>();
+    readonly onDidChangeReadOnly: Event<boolean | MarkdownString> = this.onDidChangeReadOnlyEmitter.event;
+
+    protected _version: FileResourceVersion | undefined;
+    get version(): FileResourceVersion | undefined {
+        return this._version;
+    }
+    get encoding(): string | undefined {
+        return this._version?.encoding;
+    }
+    get readOnly(): boolean {
+        return this.options.isReadonly || this.fileService.hasCapability(this.uri, FileSystemProviderCapabilities.Readonly);
+    }
+
+    constructor(
+        readonly uri: URI,
+        protected readonly fileService: FileService,
+        protected readonly options: FileResourceOptions
+    ) {
+        this.toDispose.push(this.onDidChangeContentsEmitter);
+        this.toDispose.push(this.onDidChangeReadOnlyEmitter);
+        this.toDispose.push(this.fileService.onDidFilesChange(event => {
+            if (event.contains(this.uri)) {
+                this.sync();
+            }
+        }));
+        this.toDispose.push(this.fileService.onDidRunOperation(e => {
+            if ((e.isOperation(FileOperation.DELETE) || e.isOperation(FileOperation.MOVE)) && e.resource.isEqualOrParent(this.uri)) {
+                this.sync();
+            }
+        }));
+        try {
+            this.toDispose.push(this.fileService.watch(this.uri));
+        } catch (e) {
+            console.error(e);
+        }
+        this.updateSavingContentChanges();
+        this.toDispose.push(this.fileService.onDidChangeFileSystemProviderCapabilities(e => {
+            if (e.scheme === this.uri.scheme) {
+                this.updateSavingContentChanges();
+            }
+        }));
+    }
+
+    dispose(): void {
+        this.toDispose.dispose();
+    }
+
+    async readContents(options?: { encoding?: string }): Promise<string> {
+        try {
+            const encoding = options?.encoding || this.version?.encoding;
+            const stat = await this.fileService.read(this.uri, {
+                encoding,
+                etag: ETAG_DISABLED,
+                acceptTextOnly: this.acceptTextOnly,
+                limits: this.limits
+            });
+            this._version = {
+                encoding: stat.encoding,
+                etag: stat.etag,
+                mtime: stat.mtime
+            };
+            return stat.value;
+        } catch (e) {
+            if (e instanceof TextFileOperationError && e.textFileOperationResult === TextFileOperationResult.FILE_IS_BINARY) {
+                if (await this.shouldOpenAsText(nls.localize('theia/filesystem/fileResource/binaryTitle', 'The file is either binary or uses an unsupported text encoding.'))) {
+                    this.acceptTextOnly = false;
+                    return this.readContents(options);
+                }
+            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_TOO_LARGE) {
+                const stat = await this.fileService.resolve(this.uri, { resolveMetadata: true });
+                const maxFileSize = GENERAL_MAX_FILE_SIZE_MB * 1024 * 1024;
+                if (this.limits?.size !== maxFileSize && await this.shouldOpenAsText(nls.localize(
+                    'theia/filesystem/fileResource/largeFileTitle', 'The file is too large ({0}).', BinarySize.formatSize(stat.size)))) {
+                    this.limits = {
+                        size: maxFileSize
+                    };
+                    return this.readContents(options);
+                }
+            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND) {
+                this._version = undefined;
+                const { message, stack } = e;
+                throw ResourceError.NotFound({
+                    message, stack,
+                    data: {
+                        uri: this.uri
+                    }
+                });
+            }
+            throw e;
+        }
+    }
+
+    async readStream(options?: { encoding?: string }): Promise<ReadableStream<string>> {
+        try {
+            const encoding = options?.encoding || this.version?.encoding;
+            const stat = await this.fileService.readStream(this.uri, {
+                encoding,
+                etag: ETAG_DISABLED,
+                acceptTextOnly: this.acceptTextOnly,
+                limits: this.limits
+            });
+            this._version = {
+                encoding: stat.encoding,
+                etag: stat.etag,
+                mtime: stat.mtime
+            };
+            return stat.value;
+        } catch (e) {
+            if (e instanceof TextFileOperationError && e.textFileOperationResult === TextFileOperationResult.FILE_IS_BINARY) {
+                if (await this.shouldOpenAsText(nls.localize('theia/filesystem/fileResource/binaryTitle', 'The file is either binary or uses an unsupported text encoding.'))) {
+                    this.acceptTextOnly = false;
+                    return this.readStream(options);
+                }
+            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_TOO_LARGE) {
+                const stat = await this.fileService.resolve(this.uri, { resolveMetadata: true });
+                const maxFileSize = GENERAL_MAX_FILE_SIZE_MB * 1024 * 1024;
+                if (this.limits?.size !== maxFileSize && await this.shouldOpenAsText(nls.localize(
+                    'theia/filesystem/fileResource/largeFileTitle', 'The file is too large ({0}).', BinarySize.formatSize(stat.size)))) {
+                    this.limits = {
+                        size: maxFileSize
+                    };
+                    return this.readStream(options);
+                }
+            } else if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND) {
+                this._version = undefined;
+                const { message, stack } = e;
+                throw ResourceError.NotFound({
+                    message, stack,
+                    data: {
+                        uri: this.uri
+                    }
+                });
+            }
+            throw e;
+        }
+    }
+
+    protected doWrite = async (content: string | Readable<string>, options?: ResourceSaveOptions): Promise<void> => {
+        const version = options?.version || this._version;
+        const current = FileResourceVersion.is(version) ? version : undefined;
+        const etag = current?.etag;
+        try {
+            const stat = await this.fileService.write(this.uri, content, {
+                encoding: options?.encoding,
+                overwriteEncoding: options?.overwriteEncoding,
+                etag,
+                mtime: current?.mtime
+            });
+            this._version = {
+                etag: stat.etag,
+                mtime: stat.mtime,
+                encoding: stat.encoding
+            };
+        } catch (e) {
+            if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_MODIFIED_SINCE) {
+                if (etag !== ETAG_DISABLED && await this.shouldOverwrite()) {
+                    return this.doWrite(content, { ...options, version: { stat: { ...current, etag: ETAG_DISABLED } } });
+                }
+                const { message, stack } = e;
+                throw ResourceError.OutOfSync({ message, stack, data: { uri: this.uri } });
+            }
+            throw e;
+        }
+    };
+
+    saveStream?: Resource['saveStream'];
+    saveContents?: Resource['saveContents'];
+    saveContentChanges?: Resource['saveContentChanges'];
+    protected updateSavingContentChanges(): void {
+        let changed = false;
+        if (this.readOnly) {
+            changed = Boolean(this.saveContents);
+            delete this.saveContentChanges;
+            delete this.saveContents;
+            delete this.saveStream;
+        } else {
+            changed = !Boolean(this.saveContents);
+            this.saveContents = this.doWrite;
+            this.saveStream = this.doWrite;
+            if (this.fileService.hasCapability(this.uri, FileSystemProviderCapabilities.Update)) {
+                this.saveContentChanges = this.doSaveContentChanges;
+            }
+        }
+        if (changed) {
+            // Only actually bother to call the event if the value has changed.
+            this.onDidChangeReadOnlyEmitter.fire(this.readOnly);
+        }
+    }
+    protected doSaveContentChanges: Resource['saveContentChanges'] = async (changes, options) => {
+        const version = options?.version || this._version;
+        const current = FileResourceVersion.is(version) ? version : undefined;
+        if (!current) {
+            throw ResourceError.NotFound({ message: 'has not been read yet', data: { uri: this.uri } });
+        }
+        const etag = current?.etag;
+        try {
+            const stat = await this.fileService.update(this.uri, changes, {
+                readEncoding: current.encoding,
+                encoding: options?.encoding,
+                overwriteEncoding: options?.overwriteEncoding,
+                etag,
+                mtime: current?.mtime
+            });
+            this._version = {
+                etag: stat.etag,
+                mtime: stat.mtime,
+                encoding: stat.encoding
+            };
+        } catch (e) {
+            if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND) {
+                const { message, stack } = e;
+                throw ResourceError.NotFound({ message, stack, data: { uri: this.uri } });
+            }
+            if (e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_MODIFIED_SINCE) {
+                const { message, stack } = e;
+                throw ResourceError.OutOfSync({ message, stack, data: { uri: this.uri } });
+            }
+            throw e;
+        }
+    };
+
+    async guessEncoding(): Promise<string> {
+        // TODO limit size
+        const content = await this.fileService.read(this.uri, { autoGuessEncoding: true });
+        return content.encoding;
+    }
+
+    protected async sync(): Promise<void> {
+        if (await this.isInSync()) {
+            return;
+        }
+        this.onDidChangeContentsEmitter.fire(undefined);
+    }
+    protected async isInSync(): Promise<boolean> {
+        try {
+            const stat = await this.fileService.resolve(this.uri, { resolveMetadata: true });
+            return !!this.version && this.version.mtime >= stat.mtime;
+        } catch {
+            return !this.version;
+        }
+    }
+
+    protected async shouldOverwrite(): Promise<boolean> {
+        return this.options.shouldOverwrite();
+    }
+
+    protected async shouldOpenAsText(error: string): Promise<boolean> {
+        return this.options.shouldOpenAsText(error);
+    }
+
+}
+
+@injectable()
+export class FileResourceResolver implements ResourceResolver {
+
+    @inject(FileService)
+    protected readonly fileService: FileService;
+
+    @inject(LabelProvider)
+    protected readonly labelProvider: LabelProvider;
+
+    @inject(FrontendApplicationStateService)
+    protected readonly applicationState: FrontendApplicationStateService;
+
+    async resolve(uri: URI): Promise<FileResource> {
+        let stat;
+        try {
+            stat = await this.fileService.resolve(uri);
+        } catch (e) {
+            if (!(e instanceof FileOperationError && e.fileOperationResult === FileOperationResult.FILE_NOT_FOUND)) {
+                throw e;
+            }
+        }
+        if (stat && stat.isDirectory) {
+            throw new Error('The given uri is a directory: ' + this.labelProvider.getLongName(uri));
+        }
+        return new FileResource(uri, this.fileService, {
+            isReadonly: stat?.isReadonly ?? false,
+            shouldOverwrite: () => this.shouldOverwrite(uri),
+            shouldOpenAsText: error => this.shouldOpenAsText(uri, error)
+        });
+    }
+
+    protected async shouldOverwrite(uri: URI): Promise<boolean> {
+        const dialog = new ConfirmDialog({
+            title: nls.localize('theia/filesystem/fileResource/overwriteTitle', "The file '{0}' has been changed on the file system.", this.labelProvider.getName(uri)),
+            msg: nls.localize('theia/fileSystem/fileResource/overWriteBody',
+                "Do you want to overwrite the changes made to '{0}' on the file system?", this.labelProvider.getLongName(uri)),
+            ok: Dialog.YES,
+            cancel: Dialog.NO,
+        });
+        return !!await dialog.open();
+    }
+
+    protected async shouldOpenAsText(uri: URI, error: string): Promise<boolean> {
+        switch (this.applicationState.state) {
+            case 'init':
+            case 'started_contributions':
+            case 'attached_shell':
+                return true; // We're restoring state - assume that we should open files that were previously open.
+            default: {
+                const dialog = new ConfirmDialog({
+                    title: error,
+                    msg: nls.localize('theia/filesystem/fileResource/binaryFileQuery',
+                        "Opening it might take some time and might make the IDE unresponsive. Do you want to open '{0}' anyway?", this.labelProvider.getLongName(uri)
+                    ),
+                    ok: Dialog.YES,
+                    cancel: Dialog.NO,
+                });
+                return !!await dialog.open();
+            }
+        }
+    }
+
+}