class LSProtocol::DiagnosticRegistrationOptions

Overview

Diagnostic registration options.

@since 3.17.0

Included Modules

Defined in:

lsprotocol/types.cr

Constructors

Instance Method Summary

Constructor Detail

def self.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) #

[View source]
def self.new(pull : JSON::PullParser) #

[View source]

Instance Method Detail

def document_selector : DocumentSelector | Nil #

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.


[View source]
def id : String | Nil #

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


[View source]
def identifier : String | Nil #

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


[View source]
def inter_file_dependencies : Bool #

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.


[View source]
def work_done_progress : Bool | Nil #

[View source]
def workspace_diagnostics : Bool #

The server provides support for workspace diagnostics as well.


[View source]