Files
vscode-extension-samples/fsprovider-sample/src/fileSystemProvider.ts

223 lines
7.1 KiB
TypeScript
Raw Normal View History

/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
'use strict';
import * as vscode from 'vscode';
import * as fs from 'fs';
import * as path from 'path';
import { workspace } from 'vscode';
2018-04-24 15:57:12 +02:00
export class File implements vscode.FileStat {
2018-04-25 17:21:40 +02:00
type: vscode.FileType;
ctime: number;
mtime: number;
size: number;
2018-04-24 15:57:12 +02:00
name: string;
2018-04-24 15:57:12 +02:00
data: Uint8Array;
constructor(name: string) {
2018-04-25 17:21:40 +02:00
this.type = vscode.FileType.File;
this.ctime = Date.now();
this.mtime = Date.now();
this.size = 0;
this.name = name;
}
}
2018-04-24 15:57:12 +02:00
export class Directory implements vscode.FileStat {
2018-04-25 17:21:40 +02:00
type: vscode.FileType;
ctime: number;
mtime: number;
size: number;
2018-04-24 15:57:12 +02:00
name: string;
2018-04-24 15:57:12 +02:00
entries: Map<string, File | Directory>;
constructor(name: string) {
2018-04-25 17:21:40 +02:00
this.type = vscode.FileType.Directory;
this.ctime = Date.now();
this.mtime = Date.now();
this.size = 0;
this.name = name;
this.entries = new Map();
}
}
2018-04-24 15:57:12 +02:00
export type Entry = File | Directory;
2018-04-23 15:49:57 +02:00
export class MemFS implements vscode.FileSystemProvider {
2018-04-24 15:57:12 +02:00
root = new Directory('');
2018-04-24 15:57:12 +02:00
// --- manage file metadata
2018-04-23 15:49:57 +02:00
stat(uri: vscode.Uri): vscode.FileStat {
2018-04-24 15:57:12 +02:00
return this._lookup(uri, false);
}
2018-04-25 17:21:40 +02:00
readDirectory(uri: vscode.Uri): [string, vscode.FileType][] {
2018-04-24 15:57:12 +02:00
const entry = this._lookupAsDirectory(uri, false);
2018-04-25 17:21:40 +02:00
let result: [string, vscode.FileType][] = [];
for (const [name, child] of entry.entries) {
2018-04-25 17:21:40 +02:00
result.push([name, child.type]);
}
return result;
}
2018-04-24 15:57:12 +02:00
// --- manage file contents
2018-04-26 12:11:17 +02:00
readFile(uri: vscode.Uri): Uint8Array {
return this._lookupAsFile(uri, false).data;
}
2018-04-26 12:11:17 +02:00
writeFile(uri: vscode.Uri, content: Uint8Array, options: { create: boolean, overwrite: boolean }): void {
let basename = path.posix.basename(uri.path);
2018-04-24 15:57:12 +02:00
let parent = this._lookupParentDirectory(uri);
let entry = parent.entries.get(basename);
2018-04-24 15:57:12 +02:00
if (entry instanceof Directory) {
throw vscode.FileSystemError.FileIsADirectory(uri);
}
2018-04-20 18:27:44 +02:00
if (!entry && !options.create) {
2018-04-23 17:58:10 +02:00
throw vscode.FileSystemError.FileNotFound(uri);
2018-04-20 18:27:44 +02:00
}
2018-04-26 12:11:17 +02:00
if (entry && options.create && !options.overwrite) {
2018-04-23 17:58:10 +02:00
throw vscode.FileSystemError.FileExists(uri);
2018-04-20 18:27:44 +02:00
}
if (!entry) {
entry = new File(basename);
parent.entries.set(basename, entry);
2018-04-23 15:49:57 +02:00
this._fireSoon({ type: vscode.FileChangeType.Created, uri });
}
entry.mtime = Date.now();
entry.size = content.byteLength;
2018-04-24 15:57:12 +02:00
entry.data = content;
2018-04-23 15:49:57 +02:00
this._fireSoon({ type: vscode.FileChangeType.Changed, uri });
}
2018-04-24 15:57:12 +02:00
// --- manage files/folders
2018-04-26 14:50:15 +02:00
rename(oldUri: vscode.Uri, newUri: vscode.Uri, options: { overwrite: boolean }): void {
2018-04-26 12:11:17 +02:00
if (!options.overwrite && this._lookup(newUri, true)) {
throw vscode.FileSystemError.FileExists(newUri);
}
2018-04-24 15:57:12 +02:00
let entry = this._lookup(oldUri, false);
let oldParent = this._lookupParentDirectory(oldUri);
2018-04-24 15:57:12 +02:00
let newParent = this._lookupParentDirectory(newUri);
let newName = path.posix.basename(newUri.path);
oldParent.entries.delete(entry.name);
entry.name = newName;
newParent.entries.set(newName, entry);
this._fireSoon(
2018-04-23 15:49:57 +02:00
{ type: vscode.FileChangeType.Deleted, uri: oldUri },
{ type: vscode.FileChangeType.Created, uri: newUri }
);
}
delete(uri: vscode.Uri): void {
let dirname = uri.with({ path: path.posix.dirname(uri.path) });
let basename = path.posix.basename(uri.path);
2018-04-24 15:57:12 +02:00
let parent = this._lookupAsDirectory(dirname, false);
if (!parent.entries.has(basename)) {
2018-04-23 17:58:10 +02:00
throw vscode.FileSystemError.FileNotFound(uri);
}
parent.entries.delete(basename);
parent.mtime = Date.now();
parent.size -= 1;
2018-04-23 15:49:57 +02:00
this._fireSoon({ type: vscode.FileChangeType.Changed, uri: dirname }, { uri, type: vscode.FileChangeType.Deleted });
}
2018-04-26 14:50:15 +02:00
createDirectory(uri: vscode.Uri): void {
let basename = path.posix.basename(uri.path);
2018-04-17 11:10:44 +02:00
let dirname = uri.with({ path: path.posix.dirname(uri.path) });
2018-04-24 15:57:12 +02:00
let parent = this._lookupAsDirectory(dirname, false);
2018-04-17 11:10:44 +02:00
let entry = new Directory(basename);
parent.entries.set(entry.name, entry);
parent.mtime = Date.now();
parent.size += 1;
2018-04-23 15:49:57 +02:00
this._fireSoon({ type: vscode.FileChangeType.Changed, uri: dirname }, { type: vscode.FileChangeType.Created, uri });
}
// --- lookup
2018-04-26 15:00:43 +02:00
private _lookup(uri: vscode.Uri, silent: false): Entry;
private _lookup(uri: vscode.Uri, silent: boolean): Entry | undefined;
private _lookup(uri: vscode.Uri, silent: boolean): Entry | undefined {
let parts = uri.path.split('/');
2018-04-24 15:57:12 +02:00
let entry: Entry = this.root;
for (const part of parts) {
if (!part) {
continue;
}
2018-04-26 15:00:43 +02:00
let child: Entry | undefined;
if (entry instanceof Directory) {
child = entry.entries.get(part);
}
if (!child) {
2018-04-24 15:57:12 +02:00
if (!silent) {
throw vscode.FileSystemError.FileNotFound(uri);
} else {
return undefined;
}
}
entry = child;
}
return entry;
}
2018-04-24 15:57:12 +02:00
private _lookupAsDirectory(uri: vscode.Uri, silent: boolean): Directory {
let entry = this._lookup(uri, silent);
if (entry instanceof Directory) {
return entry;
}
2018-04-24 15:57:12 +02:00
throw vscode.FileSystemError.FileNotADirectory(uri);
}
2018-04-24 15:57:12 +02:00
private _lookupAsFile(uri: vscode.Uri, silent: boolean): File {
let entry = this._lookup(uri, silent);
if (entry instanceof File) {
return entry;
}
throw vscode.FileSystemError.FileIsADirectory(uri);
}
private _lookupParentDirectory(uri: vscode.Uri): Directory {
const dirname = uri.with({ path: path.posix.dirname(uri.path) });
2018-04-24 15:57:12 +02:00
return this._lookupAsDirectory(dirname, false);
}
2018-04-24 15:57:12 +02:00
// --- manage file events
2018-04-24 15:57:12 +02:00
private _emitter = new vscode.EventEmitter<vscode.FileChangeEvent[]>();
2018-04-23 15:49:57 +02:00
private _bufferedEvents: vscode.FileChangeEvent[] = [];
private _fireSoonHandle: NodeJS.Timer;
2018-04-24 15:57:12 +02:00
readonly onDidChangeFile: vscode.Event<vscode.FileChangeEvent[]> = this._emitter.event;
watch(resource: vscode.Uri, opts): vscode.Disposable {
// ignore, fires for all changes...
return new vscode.Disposable(() => { });
}
2018-04-23 15:49:57 +02:00
private _fireSoon(...events: vscode.FileChangeEvent[]): void {
this._bufferedEvents.push(...events);
clearTimeout(this._fireSoonHandle);
this._fireSoonHandle = setTimeout(() => {
this._emitter.fire(this._bufferedEvents);
this._bufferedEvents.length = 0;
2018-04-23 15:49:57 +02:00
}, 5);
}
}