class

LSProtocol::DiagnosticRegistrationOptions

Inherits JSON::Serializable / Reference / Object

Diagnostic registration options.

@since 3.17.0

Constructors

new(document_selector : DocumentSelector | Nil, inter_file_dependencies : Bool | Nil, workspace_diagnostics : Bool | Nil, id : String | Nil = nil, identifier : String | Nil = nil, work_done_progress : Bool | Nil = nil)
Source
new(pull : JSON::PullParser)
Source
new(*, __pull_for_json_serializable pull : JSON::PullParser)
Source

Instance methods

document_selector

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.

Source
id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Source
identifier

An optional identifier under which the diagnostics are managed by the client.

Source
inter_file_dependencies

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.

Source
work_done_progress
Source
workspace_diagnostics

The server provides support for workspace diagnostics as well.

Source