publishDiagnostics

fun publishDiagnostics(uri: String, diagnostics: List<Diagnostic>)

Publishes diagnostics to the client.

Parameters

uri

the document URI

diagnostics

the list of diagnostics