View source

typedef WorkspaceUnchangedDocumentDiagnosticReport

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

An unchanged document diagnostic report for a workspace diagnostic result.

Available since

3.17.0

.

Fields

version:Null<Int>

The version number for which the diagnostics are reported. If the document is not marked as open null can be provided.

uri:DocumentUri

The URI for which diagnostic information is reported.

resultId:String

A result id which will be sent on the next diagnostic request for the same document.

kind:DocumentDiagnosticReportUnchangedKind

A document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.