Interface HostedInstanceManager

Is responsible for running and handling separate Theia instance with given plugin.

interface HostedInstanceManager {
    debug(pluginUri, debugConfig): Promise<URI>;
    getInstanceURI(): URI;
    getPluginURI(): URI;
    isPluginValid(uri): Promise<boolean>;
    isRunning(): boolean;
    run(pluginUri, port?): Promise<URI>;
    terminate(): void;
}

Implemented by

Methods

debug getInstanceURI getPluginURI isPluginValid isRunning run terminate

Methods

debug

getInstanceURI

getPluginURI

isPluginValid

isRunning

run

  • run(pluginUri, port?): Promise<URI>

  • Runs specified by the given uri plugin in separate Theia instance.

    Parameters

    • pluginUri: URI

      uri to the plugin source location

    • Optional port: number

      port on which new instance of Theia should be run. Optional.

    Returns Promise<URI>

    uri where new Theia instance is run

terminate

Settings

Member Visibility

Theme

On This Page

debuggetInstanceURIgetPluginURIisPluginValidisRunningrunterminate