Theia API Documentation v1.65.0
    Preparing search index...

    provide file access to local files while connected to a remote workspace or dev container.

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    onDidChangeCapabilities: Event<void>
    • Event that is fired if the capabilities of this provider have changed.
    onDidChangeFile: Event<readonly FileChange[]>

    Event that is fired if a (watched) file in the filesystem of this provider has changed.

    onDidChangeReadOnlyMessage: Event<undefined | MarkdownString>
    onFileWatchError: Event<void>

    Event that is fired if an error occurred when watching files in the filesystem of this provider.

    ready: Promise<void>
    readyDeferred: Deferred<void>

    Wrapped remote filesystem.

    streamHandleSeq: number
    watcherSequence: number
    watchOptions: Map<number, { options: WatchOptions; uri: string }>

    We'll track the currently allocated watchers, in order to re-allocate them with the same options once we reconnect to the backend after a disconnection.

    Accessors

    • get readOnlyMessage(): undefined | MarkdownString

      Returns undefined | MarkdownString

    Methods

    • Delete the given resource.

      Parameters

      • resource: URI

        The URI of the resource to delete.

      • opts: FileDeleteOptions

        Options to define if files should be deleted recursively and if the trash should be used.

      Returns Promise<void>

    • Dispose this object.

      Returns void

    • Returns void

    • Create a new directory using the given resource uri.

      Parameters

      • resource: URI

        The URI of the new folder.

      Returns Promise<void>

    • Retrieve the content of a given directory.

      Parameters

      • resource: URI

        The URI of the directory.

      Returns Promise<[string, FileType][]>

      A map containing the FileType for each child resource, identified by name.

    • When a frontend disconnects (e.g. bad connection) the backend resources will be cleared.

      This means that we need to re-allocate the watchers when a frontend reconnects.

      Returns void

    • Retrieve metadata about a given file.

      Parameters

      Returns Promise<Stat>

      A promise of the metadata about the resource.