struct

LSP::DiagnosticOptions

Inherits JSON::Serializable < Struct < Value < Object

Constructors

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

Instance methods

identifier

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

Source
identifier=(identifier : String | Nil)

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
inter_file_dependencies=(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.

Source
workspace_diagnostics

The server provides support for workspace diagnostics as well.

Source
workspace_diagnostics=(workspace_diagnostics : Bool)

The server provides support for workspace diagnostics as well.

Source