View source

typedef WorkspaceFullDocumentDiagnosticReport

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

A full 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.

@:optionaloptionalresultId:Null<String>

An optional result id. If provided it will be sent on the next diagnostic request for the same document.

kind:DocumentDiagnosticReportFullKind

A full document diagnostic report.

items:Array<Diagnostic>

The actual items.