struct

LSP::Message::DidClose

Inherits JSON::Serializable < Struct < Value < Object

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.

Constructors

new(pull : JSON::PullParser)
new(params : LSP::Message::DidClose::Params = Params.new)
Source
new(*, __pull_for_json_serializable pull : JSON::PullParser)

Class methods

method
Source

Instance methods

jsonrpc
jsonrpc=(jsonrpc : String)
method
method=(method : String)
params
params=(params : Params)

Nested types