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

    Interface SearchInWorkspaceServer

    interface SearchInWorkspaceServer {
        cancel(searchId: number): Promise<void>;
        dispose(): void;
        getClient?(): undefined | SearchInWorkspaceClient;
        search(
            what: string,
            rootUris: string[],
            opts?: SearchInWorkspaceOptions,
        ): Promise<number>;
        setClient(client: undefined | SearchInWorkspaceClient): void;
    }

    Hierarchy (View Summary)

    Implemented by

    Index

    Methods

    cancel dispose getClient? search setClient

    Methods

    • If this server is a proxy to a remote server then a client is used as a local object to handle RPC messages from the remote server.

      Parameters

      Returns void

    Settings

    Member Visibility

    On This Page

    Methods