Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface HostedInstanceManager

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

Hierarchy

  • HostedInstanceManager

Index

Methods

Methods

debug

  • debug(pluginUri: default, debugConfig: DebugPluginConfiguration): Promise<default>

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

    Parameters

    • pluginUri: default

      uri to the plugin source location

    • debugConfig: DebugPluginConfiguration

      debug configuration

    Returns Promise<default>

    uri where new Theia instance is run

getInstanceURI

  • getInstanceURI(): default

getPluginURI

  • getPluginURI(): default

isPluginValid

  • isPluginValid(uri: default): boolean

isRunning

  • isRunning(): boolean

run

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

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

    Parameters

    • pluginUri: default

      uri to the plugin source location

    • Optional port: number

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

    Returns Promise<default>

    uri where new Theia instance is run

terminate

  • terminate(): void