case class DiagnosticRegistrationOptions(documentSelector: Opt[DocumentSelector], identifier: Opt[String], interFileDependencies: Boolean, workspaceDiagnostics: Boolean, id: Opt[String])
Diagnostic registration options.
- Value parameters:
- documentSelector
A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.
- id
The id used to register the request. The id can be used to deregister the request again. See also Registration#id.
- 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