case class WorkspaceUnchangedDocumentDiagnosticReport(uri: DocumentUri, version: Opt[Int], kind: "unchanged", resultId: String)
An unchanged document diagnostic report for a workspace diagnostic result.
- Value parameters:
- kind
A document diagnostic report indicating no changes to the last result. A server can only return
unchanged
if result ids are provided.- resultId
A result id which 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
null
can be provided.
- Since:
3.17.0
- Companion:
- object
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any