Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
microsoft
GitHub Repository: microsoft/vscode
Path: blob/main/src/vs/platform/files/browser/htmlFileSystemProvider.ts
3296 views
1
/*---------------------------------------------------------------------------------------------
2
* Copyright (c) Microsoft Corporation. All rights reserved.
3
* Licensed under the MIT License. See License.txt in the project root for license information.
4
*--------------------------------------------------------------------------------------------*/
5
6
import { localize } from '../../../nls.js';
7
import { URI } from '../../../base/common/uri.js';
8
import { VSBuffer } from '../../../base/common/buffer.js';
9
import { CancellationToken } from '../../../base/common/cancellation.js';
10
import { Emitter, Event } from '../../../base/common/event.js';
11
import { Disposable, DisposableStore, IDisposable, toDisposable } from '../../../base/common/lifecycle.js';
12
import { Schemas } from '../../../base/common/network.js';
13
import { basename, extname, normalize } from '../../../base/common/path.js';
14
import { isLinux } from '../../../base/common/platform.js';
15
import { extUri, extUriIgnorePathCase, joinPath } from '../../../base/common/resources.js';
16
import { newWriteableStream, ReadableStreamEvents } from '../../../base/common/stream.js';
17
import { createFileSystemProviderError, IFileDeleteOptions, IFileOverwriteOptions, IFileReadStreamOptions, FileSystemProviderCapabilities, FileSystemProviderError, FileSystemProviderErrorCode, FileType, IFileWriteOptions, IFileSystemProviderWithFileReadStreamCapability, IFileSystemProviderWithFileReadWriteCapability, IStat, IWatchOptions, IFileChange, FileChangeType } from '../common/files.js';
18
import { FileSystemObserverRecord, WebFileSystemAccess, WebFileSystemObserver } from './webFileSystemAccess.js';
19
import { IndexedDB } from '../../../base/browser/indexedDB.js';
20
import { ILogService, LogLevel } from '../../log/common/log.js';
21
22
export class HTMLFileSystemProvider extends Disposable implements IFileSystemProviderWithFileReadWriteCapability, IFileSystemProviderWithFileReadStreamCapability {
23
24
//#region Events (unsupported)
25
26
readonly onDidChangeCapabilities = Event.None;
27
28
//#endregion
29
30
//#region File Capabilities
31
32
private extUri = isLinux ? extUri : extUriIgnorePathCase;
33
34
private _capabilities: FileSystemProviderCapabilities | undefined;
35
get capabilities(): FileSystemProviderCapabilities {
36
if (!this._capabilities) {
37
this._capabilities =
38
FileSystemProviderCapabilities.FileReadWrite |
39
FileSystemProviderCapabilities.FileReadStream;
40
41
if (isLinux) {
42
this._capabilities |= FileSystemProviderCapabilities.PathCaseSensitive;
43
}
44
}
45
46
return this._capabilities;
47
}
48
49
//#endregion
50
51
52
constructor(
53
private indexedDB: IndexedDB | undefined,
54
private readonly store: string,
55
private logService: ILogService
56
) {
57
super();
58
}
59
60
//#region File Metadata Resolving
61
62
async stat(resource: URI): Promise<IStat> {
63
try {
64
const handle = await this.getHandle(resource);
65
if (!handle) {
66
throw this.createFileSystemProviderError(resource, 'No such file or directory, stat', FileSystemProviderErrorCode.FileNotFound);
67
}
68
69
if (WebFileSystemAccess.isFileSystemFileHandle(handle)) {
70
const file = await handle.getFile();
71
72
return {
73
type: FileType.File,
74
mtime: file.lastModified,
75
ctime: 0,
76
size: file.size
77
};
78
}
79
80
return {
81
type: FileType.Directory,
82
mtime: 0,
83
ctime: 0,
84
size: 0
85
};
86
} catch (error) {
87
throw this.toFileSystemProviderError(error);
88
}
89
}
90
91
async readdir(resource: URI): Promise<[string, FileType][]> {
92
try {
93
const handle = await this.getDirectoryHandle(resource);
94
if (!handle) {
95
throw this.createFileSystemProviderError(resource, 'No such file or directory, readdir', FileSystemProviderErrorCode.FileNotFound);
96
}
97
98
const result: [string, FileType][] = [];
99
100
for await (const [name, child] of handle) {
101
result.push([name, WebFileSystemAccess.isFileSystemFileHandle(child) ? FileType.File : FileType.Directory]);
102
}
103
104
return result;
105
} catch (error) {
106
throw this.toFileSystemProviderError(error);
107
}
108
}
109
110
//#endregion
111
112
//#region File Reading/Writing
113
114
readFileStream(resource: URI, opts: IFileReadStreamOptions, token: CancellationToken): ReadableStreamEvents<Uint8Array> {
115
const stream = newWriteableStream<Uint8Array>(data => VSBuffer.concat(data.map(data => VSBuffer.wrap(data))).buffer, {
116
// Set a highWaterMark to prevent the stream
117
// for file upload to produce large buffers
118
// in-memory
119
highWaterMark: 10
120
});
121
122
(async () => {
123
try {
124
const handle = await this.getFileHandle(resource);
125
if (!handle) {
126
throw this.createFileSystemProviderError(resource, 'No such file or directory, readFile', FileSystemProviderErrorCode.FileNotFound);
127
}
128
129
const file = await handle.getFile();
130
131
// Partial file: implemented simply via `readFile`
132
if (typeof opts.length === 'number' || typeof opts.position === 'number') {
133
let buffer = new Uint8Array(await file.arrayBuffer());
134
135
if (typeof opts?.position === 'number') {
136
buffer = buffer.slice(opts.position);
137
}
138
139
if (typeof opts?.length === 'number') {
140
buffer = buffer.slice(0, opts.length);
141
}
142
143
stream.end(buffer);
144
}
145
146
// Entire file
147
else {
148
const reader: ReadableStreamDefaultReader<Uint8Array> = file.stream().getReader();
149
150
let res = await reader.read();
151
while (!res.done) {
152
if (token.isCancellationRequested) {
153
break;
154
}
155
156
// Write buffer into stream but make sure to wait
157
// in case the `highWaterMark` is reached
158
await stream.write(res.value);
159
160
if (token.isCancellationRequested) {
161
break;
162
}
163
164
res = await reader.read();
165
}
166
stream.end(undefined);
167
}
168
} catch (error) {
169
stream.error(this.toFileSystemProviderError(error));
170
stream.end();
171
}
172
})();
173
174
return stream;
175
}
176
177
async readFile(resource: URI): Promise<Uint8Array> {
178
try {
179
const handle = await this.getFileHandle(resource);
180
if (!handle) {
181
throw this.createFileSystemProviderError(resource, 'No such file or directory, readFile', FileSystemProviderErrorCode.FileNotFound);
182
}
183
184
const file = await handle.getFile();
185
186
return new Uint8Array(await file.arrayBuffer());
187
} catch (error) {
188
throw this.toFileSystemProviderError(error);
189
}
190
}
191
192
async writeFile(resource: URI, content: Uint8Array, opts: IFileWriteOptions): Promise<void> {
193
try {
194
let handle = await this.getFileHandle(resource);
195
196
// Validate target unless { create: true, overwrite: true }
197
if (!opts.create || !opts.overwrite) {
198
if (handle) {
199
if (!opts.overwrite) {
200
throw this.createFileSystemProviderError(resource, 'File already exists, writeFile', FileSystemProviderErrorCode.FileExists);
201
}
202
} else {
203
if (!opts.create) {
204
throw this.createFileSystemProviderError(resource, 'No such file, writeFile', FileSystemProviderErrorCode.FileNotFound);
205
}
206
}
207
}
208
209
// Create target as needed
210
if (!handle) {
211
const parent = await this.getDirectoryHandle(this.extUri.dirname(resource));
212
if (!parent) {
213
throw this.createFileSystemProviderError(resource, 'No such parent directory, writeFile', FileSystemProviderErrorCode.FileNotFound);
214
}
215
216
handle = await parent.getFileHandle(this.extUri.basename(resource), { create: true });
217
if (!handle) {
218
throw this.createFileSystemProviderError(resource, 'Unable to create file , writeFile', FileSystemProviderErrorCode.Unknown);
219
}
220
}
221
222
// Write to target overwriting any existing contents
223
const writable = await handle.createWritable();
224
await writable.write(content as Uint8Array<ArrayBuffer>);
225
await writable.close();
226
} catch (error) {
227
throw this.toFileSystemProviderError(error);
228
}
229
}
230
231
//#endregion
232
233
//#region Move/Copy/Delete/Create Folder
234
235
async mkdir(resource: URI): Promise<void> {
236
try {
237
const parent = await this.getDirectoryHandle(this.extUri.dirname(resource));
238
if (!parent) {
239
throw this.createFileSystemProviderError(resource, 'No such parent directory, mkdir', FileSystemProviderErrorCode.FileNotFound);
240
}
241
242
await parent.getDirectoryHandle(this.extUri.basename(resource), { create: true });
243
} catch (error) {
244
throw this.toFileSystemProviderError(error);
245
}
246
}
247
248
async delete(resource: URI, opts: IFileDeleteOptions): Promise<void> {
249
try {
250
const parent = await this.getDirectoryHandle(this.extUri.dirname(resource));
251
if (!parent) {
252
throw this.createFileSystemProviderError(resource, 'No such parent directory, delete', FileSystemProviderErrorCode.FileNotFound);
253
}
254
255
return parent.removeEntry(this.extUri.basename(resource), { recursive: opts.recursive });
256
} catch (error) {
257
throw this.toFileSystemProviderError(error);
258
}
259
}
260
261
async rename(from: URI, to: URI, opts: IFileOverwriteOptions): Promise<void> {
262
try {
263
if (this.extUri.isEqual(from, to)) {
264
return; // no-op if the paths are the same
265
}
266
267
// Implement file rename by write + delete
268
const fileHandle = await this.getFileHandle(from);
269
if (fileHandle) {
270
const file = await fileHandle.getFile();
271
const contents = new Uint8Array(await file.arrayBuffer());
272
273
await this.writeFile(to, contents, { create: true, overwrite: opts.overwrite, unlock: false, atomic: false });
274
await this.delete(from, { recursive: false, useTrash: false, atomic: false });
275
}
276
277
// File API does not support any real rename otherwise
278
else {
279
throw this.createFileSystemProviderError(from, localize('fileSystemRenameError', "Rename is only supported for files."), FileSystemProviderErrorCode.Unavailable);
280
}
281
} catch (error) {
282
throw this.toFileSystemProviderError(error);
283
}
284
}
285
286
//#endregion
287
288
//#region File Watching (unsupported)
289
290
private readonly _onDidChangeFileEmitter = this._register(new Emitter<readonly IFileChange[]>());
291
readonly onDidChangeFile = this._onDidChangeFileEmitter.event;
292
293
watch(resource: URI, opts: IWatchOptions): IDisposable {
294
const disposables = new DisposableStore();
295
296
this.doWatch(resource, opts, disposables).catch(error => this.logService.error(`[File Watcher ('FileSystemObserver')] Error: ${error} (${resource})`));
297
298
return disposables;
299
}
300
301
private async doWatch(resource: URI, opts: IWatchOptions, disposables: DisposableStore): Promise<void> {
302
if (!WebFileSystemObserver.supported(globalThis)) {
303
return;
304
}
305
306
const handle = await this.getHandle(resource);
307
if (!handle || disposables.isDisposed) {
308
return;
309
}
310
311
const observer = new (globalThis as any).FileSystemObserver((records: FileSystemObserverRecord[]) => {
312
if (disposables.isDisposed) {
313
return;
314
}
315
316
const events: IFileChange[] = [];
317
for (const record of records) {
318
if (this.logService.getLevel() === LogLevel.Trace) {
319
this.logService.trace(`[File Watcher ('FileSystemObserver')] [${record.type}] ${joinPath(resource, ...record.relativePathComponents)}`);
320
}
321
322
switch (record.type) {
323
case 'appeared':
324
events.push({ resource: joinPath(resource, ...record.relativePathComponents), type: FileChangeType.ADDED });
325
break;
326
case 'disappeared':
327
events.push({ resource: joinPath(resource, ...record.relativePathComponents), type: FileChangeType.DELETED });
328
break;
329
case 'modified':
330
events.push({ resource: joinPath(resource, ...record.relativePathComponents), type: FileChangeType.UPDATED });
331
break;
332
case 'errored':
333
this.logService.trace(`[File Watcher ('FileSystemObserver')] errored, disposing observer (${resource})`);
334
disposables.dispose();
335
}
336
}
337
338
if (events.length) {
339
this._onDidChangeFileEmitter.fire(events);
340
}
341
});
342
343
try {
344
await observer.observe(handle, opts.recursive ? { recursive: true } : undefined);
345
} finally {
346
if (disposables.isDisposed) {
347
observer.disconnect();
348
} else {
349
disposables.add(toDisposable(() => observer.disconnect()));
350
}
351
}
352
}
353
354
//#endregion
355
356
//#region File/Directoy Handle Registry
357
358
private readonly _files = new Map<string, FileSystemFileHandle>();
359
private readonly _directories = new Map<string, FileSystemDirectoryHandle>();
360
361
registerFileHandle(handle: FileSystemFileHandle): Promise<URI> {
362
return this.registerHandle(handle, this._files);
363
}
364
365
registerDirectoryHandle(handle: FileSystemDirectoryHandle): Promise<URI> {
366
return this.registerHandle(handle, this._directories);
367
}
368
369
get directories(): Iterable<FileSystemDirectoryHandle> {
370
return this._directories.values();
371
}
372
373
private async registerHandle(handle: FileSystemHandle, map: Map<string, FileSystemHandle>): Promise<URI> {
374
let handleId = `/${handle.name}`;
375
376
// Compute a valid handle ID in case this exists already
377
if (map.has(handleId) && !await map.get(handleId)?.isSameEntry(handle)) {
378
const fileExt = extname(handle.name);
379
const fileName = basename(handle.name, fileExt);
380
381
let handleIdCounter = 1;
382
do {
383
handleId = `/${fileName}-${handleIdCounter++}${fileExt}`;
384
} while (map.has(handleId) && !await map.get(handleId)?.isSameEntry(handle));
385
}
386
387
map.set(handleId, handle);
388
389
// Remember in IndexDB for future lookup
390
try {
391
await this.indexedDB?.runInTransaction(this.store, 'readwrite', objectStore => objectStore.put(handle, handleId));
392
} catch (error) {
393
this.logService.error(error);
394
}
395
396
return URI.from({ scheme: Schemas.file, path: handleId });
397
}
398
399
async getHandle(resource: URI): Promise<FileSystemHandle | undefined> {
400
401
// First: try to find a well known handle first
402
let handle = await this.doGetHandle(resource);
403
404
// Second: walk up parent directories and resolve handle if possible
405
if (!handle) {
406
const parent = await this.getDirectoryHandle(this.extUri.dirname(resource));
407
if (parent) {
408
const name = extUri.basename(resource);
409
try {
410
handle = await parent.getFileHandle(name);
411
} catch (error) {
412
try {
413
handle = await parent.getDirectoryHandle(name);
414
} catch (error) {
415
// Ignore
416
}
417
}
418
}
419
}
420
421
return handle;
422
}
423
424
private async getFileHandle(resource: URI): Promise<FileSystemFileHandle | undefined> {
425
const handle = await this.doGetHandle(resource);
426
if (handle instanceof FileSystemFileHandle) {
427
return handle;
428
}
429
430
const parent = await this.getDirectoryHandle(this.extUri.dirname(resource));
431
432
try {
433
return await parent?.getFileHandle(extUri.basename(resource));
434
} catch (error) {
435
return undefined; // guard against possible DOMException
436
}
437
}
438
439
private async getDirectoryHandle(resource: URI): Promise<FileSystemDirectoryHandle | undefined> {
440
const handle = await this.doGetHandle(resource);
441
if (handle instanceof FileSystemDirectoryHandle) {
442
return handle;
443
}
444
445
const parentUri = this.extUri.dirname(resource);
446
if (this.extUri.isEqual(parentUri, resource)) {
447
return undefined; // return when root is reached to prevent infinite recursion
448
}
449
450
const parent = await this.getDirectoryHandle(parentUri);
451
452
try {
453
return await parent?.getDirectoryHandle(extUri.basename(resource));
454
} catch (error) {
455
return undefined; // guard against possible DOMException
456
}
457
}
458
459
private async doGetHandle(resource: URI): Promise<FileSystemHandle | undefined> {
460
461
// We store file system handles with the `handle.name`
462
// and as such require the resource to be on the root
463
if (this.extUri.dirname(resource).path !== '/') {
464
return undefined;
465
}
466
467
const handleId = resource.path.replace(/\/$/, ''); // remove potential slash from the end of the path
468
469
// First: check if we have a known handle stored in memory
470
const inMemoryHandle = this._files.get(handleId) ?? this._directories.get(handleId);
471
if (inMemoryHandle) {
472
return inMemoryHandle;
473
}
474
475
// Second: check if we have a persisted handle in IndexedDB
476
const persistedHandle = await this.indexedDB?.runInTransaction(this.store, 'readonly', store => store.get(handleId));
477
if (WebFileSystemAccess.isFileSystemHandle(persistedHandle)) {
478
let hasPermissions = await persistedHandle.queryPermission() === 'granted';
479
try {
480
if (!hasPermissions) {
481
hasPermissions = await persistedHandle.requestPermission() === 'granted';
482
}
483
} catch (error) {
484
this.logService.error(error); // this can fail with a DOMException
485
}
486
487
if (hasPermissions) {
488
if (WebFileSystemAccess.isFileSystemFileHandle(persistedHandle)) {
489
this._files.set(handleId, persistedHandle);
490
} else if (WebFileSystemAccess.isFileSystemDirectoryHandle(persistedHandle)) {
491
this._directories.set(handleId, persistedHandle);
492
}
493
494
return persistedHandle;
495
}
496
}
497
498
// Third: fail with an error
499
throw this.createFileSystemProviderError(resource, 'No file system handle registered', FileSystemProviderErrorCode.Unavailable);
500
}
501
502
//#endregion
503
504
private toFileSystemProviderError(error: Error): FileSystemProviderError {
505
if (error instanceof FileSystemProviderError) {
506
return error; // avoid double conversion
507
}
508
509
let code = FileSystemProviderErrorCode.Unknown;
510
if (error.name === 'NotAllowedError') {
511
error = new Error(localize('fileSystemNotAllowedError', "Insufficient permissions. Please retry and allow the operation."));
512
code = FileSystemProviderErrorCode.Unavailable;
513
}
514
515
return createFileSystemProviderError(error, code);
516
}
517
518
private createFileSystemProviderError(resource: URI, msg: string, code: FileSystemProviderErrorCode): FileSystemProviderError {
519
return createFileSystemProviderError(new Error(`${msg} (${normalize(resource.path)})`), code);
520
}
521
}
522
523