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
190
191
192
193
194
195
196
|
// @TODO:
// - use document IDs instead of strings (also lets us use real document version numbers)
// - document this and lsp.c.
// - maximum queue size for requests/responses just in case?
// - delete old sent requests
// (if the server never sends a response)
// - TESTING: make rust-analyzer-slow (waits 10s before sending response)
typedef enum {
LSP_REQUEST,
LSP_RESPONSE
} LSPMessageType;
typedef struct {
u32 offset;
} LSPString;
typedef struct {
u32 line;
// NOTE: this is the UTF-16 character index!
u32 character;
} LSPPosition;
typedef struct {
LSPPosition start;
LSPPosition end;
} LSPRange;
typedef enum {
LSP_REQUEST_NONE,
// client-to-server
LSP_REQUEST_INITIALIZE,
LSP_REQUEST_INITIALIZED,
LSP_REQUEST_DID_OPEN,
LSP_REQUEST_DID_CHANGE,
LSP_REQUEST_COMPLETION,
LSP_REQUEST_SHUTDOWN,
LSP_REQUEST_EXIT,
// server-to-client
LSP_REQUEST_SHOW_MESSAGE,
LSP_REQUEST_LOG_MESSAGE
} LSPRequestType;
typedef struct {
// buffer language
Language language;
// freed by lsp_request_free
char *document;
// freed by lsp_request_free
char *file_contents;
} LSPRequestDidOpen;
// see TextDocumentContentChangeEvent in the LSP spec
typedef struct {
LSPRange range;
char *text;
} LSPDocumentChangeEvent;
typedef struct {
char *document;
LSPDocumentChangeEvent *changes; // dynamic array
} LSPRequestDidChange;
typedef enum {
ERROR = 1,
WARNING = 2,
INFO = 3,
LOG = 4
} LSPWindowMessageType;
typedef struct {
LSPWindowMessageType type;
// freed by lsp_request_free
char *message;
} LSPRequestMessage;
typedef struct {
// freed by lsp_request_free
char *path;
LSPPosition pos;
} LSPDocumentPosition;
typedef struct {
LSPDocumentPosition position;
} LSPRequestCompletion;
typedef struct {
// id is set by lsp.c; you shouldn't set it.
u32 id;
LSPRequestType type;
union {
LSPRequestDidOpen open;
LSPRequestDidChange change;
LSPRequestCompletion completion;
// for LSP_SHOW_MESSAGE and LSP_LOG_MESSAGE
LSPRequestMessage message;
} data;
} LSPRequest;
// see InsertTextFormat in the LSP spec.
typedef enum {
// plain text
LSP_TEXT_EDIT_PLAIN = 1,
// snippet e.g. "some_method($1, $2)$0"
LSP_TEXT_EDIT_SNIPPET = 2
} LSPTextEditType;
typedef struct {
LSPTextEditType type;
// if set to true, `range` should be ignored
// -- this is a completion which uses insertText.
// how to handle this:
// "VS Code when code complete is requested in this example
// `con<cursor position>` and a completion item with an `insertText` of
// `console` is provided it will only insert `sole`"
bool at_cursor;
LSPRange range;
LSPString new_text;
} LSPTextEdit;
typedef struct {
LSPString label;
LSPTextEdit text_edit;
// note: the items are sorted here in this file,
// so you probably don't need to access this.
LSPString sort_text;
} LSPCompletionItem;
typedef struct {
// dynamic array
LSPCompletionItem *items;
} LSPResponseCompletion;
typedef LSPRequestType LSPResponseType;
typedef struct {
LSPResponseType type;
// LSP responses tend to have a lot of strings.
// to avoid doing a ton of allocations+frees,
// they're all stored here.
char *string_data;
union {
LSPResponseCompletion completion;
} data;
} LSPResponse;
typedef struct {
LSPMessageType type;
union {
LSPRequest request;
LSPResponse response;
} u;
} LSPMessage;
typedef struct LSP {
Process process;
u32 request_id;
LSPMessage *messages;
SDL_mutex *messages_mutex;
LSPRequest *requests_client2server;
LSPRequest *requests_server2client;
// we keep track of client-to-server requests
// so that we can process responses.
// also fucking rust-analyzer gives "waiting for cargo metadata or cargo check"
// WHY NOT JUST WAIT UNTIL YOUVE DONE THAT BEFORE SENDING THE INITIALIZE RESPONSE. YOU HAVE NOT FINISHED INITIALIZATION. YOU ARE LYING.
// YOU GIVE A -32801 ERROR CODE WHICH IS "ContentModified" -- WHAT THE FUCK? THATS JUST COMPLETLY WRONG
// so we need to re-send requests in that case.
LSPRequest *requests_sent;
SDL_mutex *requests_mutex;
bool initialized; // has the response to the initialize request been sent?
SDL_Thread *communication_thread;
SDL_sem *quit_sem;
char *received_data; // dynamic array
SDL_mutex *error_mutex;
char error[256];
} LSP;
// @TODO: function declarations
// returns true if there's an error.
// returns false and sets error to "" if there's no error.
// if clear = true, the error will be cleared.
// you can set error = NULL, error_size = 0, clear = true to just clear the error
bool lsp_get_error(LSP *lsp, char *error, size_t error_size, bool clear);
void lsp_message_free(LSPMessage *message);
void lsp_send_request(LSP *lsp, const LSPRequest *request);
const char *lsp_response_string(const LSPResponse *response, LSPString string);
bool lsp_create(LSP *lsp, const char *analyzer_command);
bool lsp_next_message(LSP *lsp, LSPMessage *message);
void lsp_document_changed(LSP *lsp, const char *document, LSPDocumentChangeEvent change);
void lsp_free(LSP *lsp);
|
