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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189 | -- Automatically generated, do not edit.
with Ada.Tags;
with LSP.Generic_Notifications;
with LSP.JSON_Streams;
with LSP.Server_Notification_Receivers;
use LSP.Server_Notification_Receivers;
package LSP.Messages.Server_Notifications is
type Server_Notification is abstract new LSP.Messages.NotificationMessage
with null record;
function Decode
(JS : not null access LSP.JSON_Streams.JSON_Stream)
return Server_Notification is abstract;
procedure Visit
(Self : Server_Notification;
Handler : access Server_Notification_Receiver'Class) is abstract;
function Method_To_Tag
(Method : VSS.Strings.Virtual_String) return Ada.Tags.Tag;
-- For given LSP method return a corresponding message type tag
type Initialized_Notification is new Server_Notification with null record;
overriding function Decode
(JS : not null access LSP.JSON_Streams.JSON_Stream)
return Initialized_Notification;
overriding procedure Visit
(Self : Initialized_Notification;
Handler : access Server_Notification_Receiver'Class);
type Exit_Notification is new Server_Notification with null record;
overriding function Decode
(JS : not null access LSP.JSON_Streams.JSON_Stream)
return Exit_Notification;
overriding procedure Visit
(Self : Exit_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidChangeConfiguration_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DidChangeConfigurationParams,
Server_Notification_Receiver'Class);
type DidChangeConfiguration_Notification is
new DidChangeConfiguration_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidChangeConfiguration_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidChangeWorkspaceFolders_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DidChangeWorkspaceFoldersParams,
Server_Notification_Receiver'Class);
type DidChangeWorkspaceFolders_Notification is
new DidChangeWorkspaceFolders_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidChangeWorkspaceFolders_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidChangeWatchedFiles_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DidChangeWatchedFilesParams,
Server_Notification_Receiver'Class);
type DidChangeWatchedFiles_Notification is
new DidChangeWatchedFiles_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidChangeWatchedFiles_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidCreateFiles_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
CreateFilesParams,
Server_Notification_Receiver'Class);
type DidCreateFiles_Notification is
new DidCreateFiles_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidCreateFiles_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidRenameFiles_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
RenameFilesParams,
Server_Notification_Receiver'Class);
type DidRenameFiles_Notification is
new DidRenameFiles_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidRenameFiles_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidDeleteFiles_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DeleteFilesParams,
Server_Notification_Receiver'Class);
type DidDeleteFiles_Notification is
new DidDeleteFiles_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidDeleteFiles_Notification;
Handler : access Server_Notification_Receiver'Class);
package Cancel_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
CancelParams,
Server_Notification_Receiver'Class);
type Cancel_Notification is
new Cancel_Notifications.Notification with null record;
overriding procedure Visit
(Self : Cancel_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidOpenTextDocument_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DidOpenTextDocumentParams,
Server_Notification_Receiver'Class);
type DidOpenTextDocument_Notification is
new DidOpenTextDocument_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidOpenTextDocument_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidChangeTextDocument_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DidChangeTextDocumentParams,
Server_Notification_Receiver'Class);
type DidChangeTextDocument_Notification is
new DidChangeTextDocument_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidChangeTextDocument_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidSaveTextDocument_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DidSaveTextDocumentParams,
Server_Notification_Receiver'Class);
type DidSaveTextDocument_Notification is
new DidSaveTextDocument_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidSaveTextDocument_Notification;
Handler : access Server_Notification_Receiver'Class);
package DidCloseTextDocument_Notifications is
new LSP.Generic_Notifications
(Server_Notification,
DidCloseTextDocumentParams,
Server_Notification_Receiver'Class);
type DidCloseTextDocument_Notification is
new DidCloseTextDocument_Notifications.Notification with null record;
overriding procedure Visit
(Self : DidCloseTextDocument_Notification;
Handler : access Server_Notification_Receiver'Class);
end LSP.Messages.Server_Notifications;
|