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
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any