diagnostics property

Stream<PublishDiagnosticsParams> get diagnostics

Server-pushed textDocument/publishDiagnostics notifications.

Implementation

Stream<PublishDiagnosticsParams> get diagnostics => _diagnostics.stream;