case class WorkspaceFullDocumentDiagnosticReport(uri: DocumentUri, version: Opt[Int], kind: "full", resultId: Opt[String], items: Vector[Diagnostic])
A full document diagnostic report for a workspace diagnostic result.
- Value parameters:
- items
The actual items.
- kind
A full document diagnostic report.
- resultId
An optional result id. If provided it will be sent on the next diagnostic request for the same document.
- uri
The URI for which diagnostic information is reported.
- version
The version number for which the diagnostics are reported. If the document is not marked as open
nullcan be provided.
- Since:
3.17.0
- Companion:
- object
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any