case class PublishDiagnosticsParams(uri: DocumentUri, version: Opt[Int], diagnostics: Vector[Diagnostic])
The publish diagnostic notification's parameters.
- Value parameters:
- diagnostics
An array of diagnostic information items.
- uri
The URI for which diagnostic information is reported.
- version
Optional the version number of the document the diagnostics are published for. since 3.15.0
- Companion:
- object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any