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
|
module LanguageServer
module Protocol
module Interface
#
# Diagnostic options.
#
class DiagnosticOptions
def initialize(work_done_progress: nil, identifier: nil, inter_file_dependencies:, workspace_diagnostics:)
@attributes = {}
@attributes[:workDoneProgress] = work_done_progress if work_done_progress
@attributes[:identifier] = identifier if identifier
@attributes[:interFileDependencies] = inter_file_dependencies
@attributes[:workspaceDiagnostics] = workspace_diagnostics
@attributes.freeze
end
# @return [boolean]
def work_done_progress
attributes.fetch(:workDoneProgress)
end
#
# An optional identifier under which the diagnostics are
# managed by the client.
#
# @return [string]
def identifier
attributes.fetch(:identifier)
end
#
# Whether the language has inter file dependencies meaning that
# editing code in one file can result in a different diagnostic
# set in another file. Inter file dependencies are common for
# most programming languages and typically uncommon for linters.
#
# @return [boolean]
def inter_file_dependencies
attributes.fetch(:interFileDependencies)
end
#
# The server provides support for workspace diagnostics as well.
#
# @return [boolean]
def workspace_diagnostics
attributes.fetch(:workspaceDiagnostics)
end
attr_reader :attributes
def to_hash
attributes
end
def to_json(*args)
to_hash.to_json(*args)
end
end
end
end
end
|
