publish_diagnostics


Description:

public virtual signal void publish_diagnostics (Uri uri, int64? version, Diagnostic[] diagnostics)

Emitted when we receive a `textDocument/publishDiagnostics` notification

Parameters:

uri

the URI for which diagnostic information is reported

version

(optional, since 3.15.0) the version number of the document the diagnostics are published for

diagnostics

an array of diagnostic information items