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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
module LanguageServer
module Protocol
module Interface
#
# Parameters of the document diagnostic request.
#
class DocumentDiagnosticParams
def initialize(work_done_token: nil, partial_result_token: nil, text_document:, identifier: nil, previous_result_id: nil)
@attributes = {}
@attributes[:workDoneToken] = work_done_token if work_done_token
@attributes[:partialResultToken] = partial_result_token if partial_result_token
@attributes[:textDocument] = text_document
@attributes[:identifier] = identifier if identifier
@attributes[:previousResultId] = previous_result_id if previous_result_id
@attributes.freeze
end
#
# An optional token that a server can use to report work done progress.
#
# @return [ProgressToken]
def work_done_token
attributes.fetch(:workDoneToken)
end
#
# An optional token that a server can use to report partial results (e.g.
# streaming) to the client.
#
# @return [ProgressToken]
def partial_result_token
attributes.fetch(:partialResultToken)
end
#
# The text document.
#
# @return [TextDocumentIdentifier]
def text_document
attributes.fetch(:textDocument)
end
#
# The additional identifier provided during registration.
#
# @return [string]
def identifier
attributes.fetch(:identifier)
end
#
# The result id of a previous response if provided.
#
# @return [string]
def previous_result_id
attributes.fetch(:previousResultId)
end
attr_reader :attributes
def to_hash
attributes
end
def to_json(*args)
to_hash.to_json(*args)
end
end
end
end
end
|
