1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
module LanguageServer
module Protocol
module Interface
#
# Registration options specific to a notebook.
#
class NotebookDocumentSyncRegistrationOptions
def initialize(notebook_selector:, save: nil, id: nil)
@attributes = {}
@attributes[:notebookSelector] = notebook_selector
@attributes[:save] = save if save
@attributes[:id] = id if id
@attributes.freeze
end
#
# The notebooks to be synced
#
# @return [({ notebook: string | NotebookDocumentFilter; cells?: { language: string; }[]; } | { notebook?: string | NotebookDocumentFilter; cells: { ...; }[]; })[]]
def notebook_selector
attributes.fetch(:notebookSelector)
end
#
# Whether save notification should be forwarded to
# the server. Will only be honored if mode === `notebook`.
#
# @return [boolean]
def save
attributes.fetch(:save)
end
#
# The id used to register the request. The id can be used to deregister
# the request again. See also Registration#id.
#
# @return [string]
def id
attributes.fetch(:id)
end
attr_reader :attributes
def to_hash
attributes
end
def to_json(*args)
to_hash.to_json(*args)
end
end
end
end
end
|
