DiagnosticRegistrationOptions

langoustine.lsp.structures.DiagnosticRegistrationOptions
See theDiagnosticRegistrationOptions companion object
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.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product