class LSProtocol::DiagnosticWorkspaceClientCapabilities

Overview

Workspace client capabilities specific to diagnostic pull requests.

@since 3.17.0

Included Modules

Defined in:

lsprotocol/types.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(pull : JSON::PullParser) #

[View source]
def self.new(refresh_support : Bool | Nil = nil) #

[View source]

Instance Method Detail

def refresh_support : Bool | Nil #

Whether the client implementation supports a refresh request sent from the server to the client.

Note that this event is global and will force the client to refresh all pulled diagnostics currently shown. It should be used with absolute care and is useful for situation where a server for example detects a project wide change that requires such a calculation.


[View source]