Class: LanguageServer::Protocol::Interface::DidCloseNotebookDocumentParams

Inherits:
Object
  • Object
show all
Defined in:
lib/language_server/protocol/interface/did_close_notebook_document_params.rb

Overview

The params sent in a close notebook document notification.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(notebook_document:, cell_text_documents:) ⇒ DidCloseNotebookDocumentParams

Returns a new instance of DidCloseNotebookDocumentParams.



8
9
10
11
12
13
14
15
 
# File 'lib/language_server/protocol/interface/did_close_notebook_document_params.rb', line 8

def initialize(notebook_document:, cell_text_documents:)
  @attributes = {}

  @attributes[:notebookDocument] = notebook_document
  @attributes[:cellTextDocuments] = cell_text_documents

  @attributes.freeze
end

Instance Attribute Details

#attributes ⇒ Object (readonly)

Returns the value of attribute attributes.



34
35
36
 
# File 'lib/language_server/protocol/interface/did_close_notebook_document_params.rb', line 34

def attributes
  @attributes
end

Instance Method Details

#cell_text_documents ⇒ TextDocumentIdentifier[]

The text documents that represent the content of a notebook cell that got closed.

Returns:



30
31
32
 
# File 'lib/language_server/protocol/interface/did_close_notebook_document_params.rb', line 30

def cell_text_documents
  attributes.fetch(:cellTextDocuments)
end

#notebook_document ⇒ NotebookDocumentIdentifier

The notebook document that got closed.

Returns:



21
22
23
 
# File 'lib/language_server/protocol/interface/did_close_notebook_document_params.rb', line 21

def notebook_document
  attributes.fetch(:notebookDocument)
end

#to_hash ⇒ Object 



36
37
38
 
# File 'lib/language_server/protocol/interface/did_close_notebook_document_params.rb', line 36

def to_hash
  attributes
end

#to_json(*args) ⇒ Object 



40
41
42
 
# File 'lib/language_server/protocol/interface/did_close_notebook_document_params.rb', line 40

def to_json(*args)
  to_hash.to_json(*args)
end