Interface FileSystemExt

interface FileSystemExt {
    $acceptProviderInfos(
        scheme: string,
        capabilities?: FileSystemProviderCapabilities,
    ): void;
    $close(handle: number, fd: number): Promise<void>;
    $copy(
        handle: number,
        resource: UriComponents,
        target: UriComponents,
        opts: FileOverwriteOptions,
    ): Promise<void>;
    $delete(
        handle: number,
        resource: UriComponents,
        opts: FileDeleteOptions,
    ): Promise<void>;
    $mkdir(handle: number, resource: UriComponents): Promise<void>;
    $open(
        handle: number,
        resource: UriComponents,
        opts: FileOpenOptions,
    ): Promise<number>;
    $read(
        handle: number,
        fd: number,
        pos: number,
        length: number,
    ): Promise<BinaryBuffer>;
    $readdir(
        handle: number,
        resource: UriComponents,
    ): Promise<[string, FileType][]>;
    $readFile(handle: number, resource: UriComponents): Promise<BinaryBuffer>;
    $rename(
        handle: number,
        resource: UriComponents,
        target: UriComponents,
        opts: FileOverwriteOptions,
    ): Promise<void>;
    $stat(handle: number, resource: UriComponents): Promise<Stat>;
    $unwatch(handle: number, session: number): void;
    $watch(
        handle: number,
        session: number,
        resource: UriComponents,
        opts: WatchOptions,
    ): void;
    $write(
        handle: number,
        fd: number,
        pos: number,
        data: BinaryBuffer,
    ): Promise<number>;
    $writeFile(
        handle: number,
        resource: UriComponents,
        content: BinaryBuffer,
        opts: FileWriteOptions,
    ): Promise<void>;
}