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
|
module LanguageServer
module Protocol
module Interface
#
# A previous result id in a workspace pull request.
#
class PreviousResultId
def initialize(uri:, value:)
@attributes = {}
@attributes[:uri] = uri
@attributes[:value] = value
@attributes.freeze
end
#
# The URI for which the client knows a
# result id.
#
# @return [string]
def uri
attributes.fetch(:uri)
end
#
# The value of the previous result id.
#
# @return [string]
def value
attributes.fetch(:value)
end
attr_reader :attributes
def to_hash
attributes
end
def to_json(*args)
to_hash.to_json(*args)
end
end
end
end
end
|
