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

    This class helps resolve language server requests into successes or failures and sends the data to the metricsExtractor

    Index

    Constructors

    Methods

    Constructors

    Methods

    • Resolve a request for pluginID and create a metric based on whether or not the language server errored.

      Parameters

      • pluginID: string

        the ID of the plugin that made the request

      • method: string

        the method that was request

      • request: any

        the result of the language server request

      Returns Promise<any>