Interface FileSystemMain

interface FileSystemMain {
    $copy(
        resource: UriComponents,
        target: UriComponents,
        opts: FileOverwriteOptions,
    ): Promise<void>;
    $delete(resource: UriComponents, opts: FileDeleteOptions): Promise<void>;
    $mkdir(resource: UriComponents): Promise<void>;
    $onFileSystemChange(handle: number, resource: IFileChangeDto[]): void;
    $readdir(resource: UriComponents): Promise<[string, FileType][]>;
    $readFile(resource: UriComponents): Promise<BinaryBuffer>;
    $registerFileSystemProvider(
        handle: number,
        scheme: string,
        capabilities: FileSystemProviderCapabilities,
        readonlyMessage?: MarkdownString,
    ): void;
    $rename(
        resource: UriComponents,
        target: UriComponents,
        opts: FileOverwriteOptions,
    ): Promise<void>;
    $stat(uri: UriComponents): Promise<Stat>;
    $unregisterProvider(handle: number): void;
    $writeFile(resource: UriComponents, content: BinaryBuffer): Promise<void>;
}