View source

typedef UnchangedDocumentDiagnosticReport

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

A diagnostic report indicating that the last returned report is still accurate.

Available since

3.17.0

.

Fields

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.