case class DiagnosticOptions(identifier: Opt[String], interFileDependencies: Boolean, workspaceDiagnostics: Boolean, workDoneProgress: Opt[Boolean])
Diagnostic options.
- Value parameters:
- identifier
An optional identifier under which the diagnostics are managed by the client.
- interFileDependencies
Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.
- workspaceDiagnostics
The server provides support for workspace diagnostics as well.
- Since:
3.17.0
- Companion:
- object
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any