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

    Constructors

    Accessors

    Methods

    • Create an error metric for requestData.pluginID by attempting to extract the erroring language server method from the requestData.errorContentsOrMethod. If it cannot extract the error language server method from requestData.errorContentsOrMethod then it will not create a metric.

      Parameters

      Returns Promise<void>

    • Update the internal metrics structure for pluginID with method when a request is made

      Parameters

      • requestData: DataFromRequest

        The data from the request that was made

      • isRequestSuccessful: boolean

        If the language server request was successful or not

      Returns Promise<void>