View source

typedef DocumentDiagnosticParams

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

Parameters of the document diagnostic request.

Available since

3.17.0

.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

An optional token that a server can use to report work done progress.

textDocument:TextDocumentIdentifier

The text document.

@:optionaloptionalpreviousResultId:Null<String>

The result id of a previous response if provided.

@:optionaloptionalpartialResultToken:Null<ProgressToken>

An optional token that a server can use to report partial results (e.g. streaming) to the client.

@:optionaloptionalidentifier:Null<String>

The additional identifier provided during registration.