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
|
module LanguageServer
module Protocol
module Interface
class DocumentHighlightRegistrationOptions
def initialize(document_selector:, work_done_progress: nil)
@attributes = {}
@attributes[:documentSelector] = document_selector
@attributes[:workDoneProgress] = work_done_progress if work_done_progress
@attributes.freeze
end
#
# A document selector to identify the scope of the registration. If set to
# null the document selector provided on the client side will be used.
#
# @return [DocumentSelector]
def document_selector
attributes.fetch(:documentSelector)
end
# @return [boolean]
def work_done_progress
attributes.fetch(:workDoneProgress)
end
attr_reader :attributes
def to_hash
attributes
end
def to_json(*args)
to_hash.to_json(*args)
end
end
end
end
end
|
