View source
typedef DocumentDiagnosticReport
package languageServerProtocol.protocol
import languageServerProtocol.protocol.Diagnostics
The result of a document diagnostic pull request. A report can either be a full report containing all diagnostics for the requested document or a unchanged report indicating that nothing has changed in terms of diagnostics in comparison to the last pull request.
Available since
3.17.0
.