class LSP::DidCloseNotification

Overview

The document close notification is sent from the client to the server when the document got closed in the client. The document’s master now exists where the document’s Uri points to (e.g. if the document’s Uri is a file Uri the master 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:

notifications/text_synchronization/did_close.cr

Constructors

Instance Method Summary

Instance methods inherited from class LSP::NotificationMessage

method : String method, method=(method : String) method=

Constructor methods inherited from class LSP::NotificationMessage

new(pull : JSON::PullParser)
new(**args)
new

Constructor Detail

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

The document close notification is sent from the client to the server when the document got closed in the client. The document’s master now exists where the document’s Uri points to (e.g. if the document’s Uri is a file Uri the master 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.


def self.new(**args) #

Instance Method Detail


def params=(params : DidCloseTextDocumentParams) #