struct LSP::Message::DidClose

Overview

The document close notification is sent from the client to the server when the document got closed in the client. The document’s truth now exists where the document’s uri points to (e.g. if the document’s uri is a file uri the truth now exists on disk). As with the open notification the close notification is about managing the document’s content. Receiving a close notification doesn’t mean that the document was open in an editor before. A close notification requires a previous open notification to be sent. Note that a server’s ability to fulfill requests is independent of whether a text document is open or closed.

Included Modules

Defined in:

lsp/message.cr

Constructors

Class Method Summary

Instance Method Summary

Constructor Detail

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

def self.new(params : LSP::Message::DidClose::Params = Params.new) #

[View source]

Class Method Detail

def self.method #

[View source]

Instance Method Detail

def jsonrpc : String #

def jsonrpc=(jsonrpc : String) #

def method : String #

def method=(method : String) #

def params : Params #

def params=(params : Params) #