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

Constructors

Properties

metricsCreator: PluginMetricsCreator

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>