CJ van den Berg
9eb6dd3be4
Not all language servers willingly exit if we just close stdin. Eventually we will follow the protocol's shutdown process, but for now we just send a sigterm.
780 lines
31 KiB
Zig
780 lines
31 KiB
Zig
const std = @import("std");
|
|
const tp = @import("thespian");
|
|
const cbor = @import("cbor");
|
|
const root = @import("root");
|
|
const dizzy = @import("dizzy");
|
|
const Buffer = @import("Buffer");
|
|
const fuzzig = @import("fuzzig");
|
|
const builtin = @import("builtin");
|
|
|
|
const LSP = @import("LSP.zig");
|
|
|
|
a: std.mem.Allocator,
|
|
name: []const u8,
|
|
files: std.ArrayList(File),
|
|
open_time: i64,
|
|
language_servers: std.StringHashMap(LSP),
|
|
file_language_server: std.StringHashMap(LSP),
|
|
|
|
const Self = @This();
|
|
|
|
const File = struct {
|
|
path: []const u8,
|
|
mtime: i128,
|
|
row: usize = 0,
|
|
col: usize = 0,
|
|
visited: bool = false,
|
|
};
|
|
|
|
pub fn init(a: std.mem.Allocator, name: []const u8) error{OutOfMemory}!Self {
|
|
return .{
|
|
.a = a,
|
|
.name = try a.dupe(u8, name),
|
|
.files = std.ArrayList(File).init(a),
|
|
.open_time = std.time.milliTimestamp(),
|
|
.language_servers = std.StringHashMap(LSP).init(a),
|
|
.file_language_server = std.StringHashMap(LSP).init(a),
|
|
};
|
|
}
|
|
|
|
pub fn deinit(self: *Self) void {
|
|
var i_ = self.file_language_server.iterator();
|
|
while (i_.next()) |p| {
|
|
self.a.free(p.key_ptr.*);
|
|
}
|
|
var i = self.language_servers.iterator();
|
|
while (i.next()) |p| {
|
|
self.a.free(p.key_ptr.*);
|
|
p.value_ptr.*.term();
|
|
}
|
|
for (self.files.items) |file| self.a.free(file.path);
|
|
self.files.deinit();
|
|
self.a.free(self.name);
|
|
}
|
|
|
|
pub fn write_state(self: *Self, writer: anytype) !void {
|
|
for (self.files.items) |file| {
|
|
if (!file.visited) continue;
|
|
try cbor.writeArrayHeader(writer, 4);
|
|
try cbor.writeValue(writer, file.path);
|
|
try cbor.writeValue(writer, file.mtime);
|
|
try cbor.writeValue(writer, file.row);
|
|
try cbor.writeValue(writer, file.col);
|
|
}
|
|
}
|
|
|
|
pub fn restore_state(self: *Self, data: []const u8) !void {
|
|
var path: []const u8 = undefined;
|
|
var mtime: i128 = undefined;
|
|
var row: usize = undefined;
|
|
var col: usize = undefined;
|
|
defer self.sort_files_by_mtime();
|
|
var iter: []const u8 = data;
|
|
while (try cbor.matchValue(&iter, .{
|
|
tp.extract(&path),
|
|
tp.extract(&mtime),
|
|
tp.extract(&row),
|
|
tp.extract(&col),
|
|
})) {
|
|
try self.update_mru_internal(path, mtime, row, col);
|
|
}
|
|
}
|
|
|
|
fn get_lsp(self: *Self, language_server: []const u8) !LSP {
|
|
if (self.language_servers.get(language_server)) |lsp| return lsp;
|
|
const lsp = try LSP.open(self.a, .{ .buf = language_server });
|
|
try self.language_servers.put(try self.a.dupe(u8, language_server), lsp);
|
|
const uri = try self.make_URI(null);
|
|
defer self.a.free(uri);
|
|
const basename_begin = std.mem.lastIndexOfScalar(u8, self.name, std.fs.path.sep);
|
|
const basename = if (basename_begin) |begin| self.name[begin + 1 ..] else self.name;
|
|
const response = try self.send_lsp_init_request(lsp, self.name, basename, uri);
|
|
defer self.a.free(response.buf);
|
|
try lsp.send_notification("initialized", .{});
|
|
return lsp;
|
|
}
|
|
|
|
fn get_file_lsp(self: *Self, file_path: []const u8) !LSP {
|
|
const lsp = self.file_language_server.get(file_path) orelse return tp.exit("no language server");
|
|
if (lsp.pid.expired()) return tp.exit("no language server");
|
|
return lsp;
|
|
}
|
|
|
|
fn make_URI(self: *Self, file_path: ?[]const u8) ![]const u8 {
|
|
var buf = std.ArrayList(u8).init(self.a);
|
|
if (file_path) |path|
|
|
try buf.writer().print("file://{s}/{s}", .{ self.name, path })
|
|
else
|
|
try buf.writer().print("file://{s}", .{self.name});
|
|
return buf.toOwnedSlice();
|
|
}
|
|
|
|
pub fn add_file(self: *Self, path: []const u8, mtime: i128) error{OutOfMemory}!void {
|
|
(try self.files.addOne()).* = .{ .path = try self.a.dupe(u8, path), .mtime = mtime };
|
|
}
|
|
|
|
pub fn sort_files_by_mtime(self: *Self) void {
|
|
const less_fn = struct {
|
|
fn less_fn(_: void, lhs: File, rhs: File) bool {
|
|
return lhs.mtime > rhs.mtime;
|
|
}
|
|
}.less_fn;
|
|
std.mem.sort(File, self.files.items, {}, less_fn);
|
|
}
|
|
|
|
pub fn request_recent_files(self: *Self, from: tp.pid_ref, max: usize) error{ OutOfMemory, Exit }!void {
|
|
defer from.send(.{ "PRJ", "recent_done", "" }) catch {};
|
|
for (self.files.items, 0..) |file, i| {
|
|
try from.send(.{ "PRJ", "recent", file.path });
|
|
if (i >= max) return;
|
|
}
|
|
}
|
|
|
|
fn simple_query_recent_files(self: *Self, from: tp.pid_ref, max: usize, query: []const u8) error{ OutOfMemory, Exit }!usize {
|
|
var i: usize = 0;
|
|
defer from.send(.{ "PRJ", "recent_done", query }) catch {};
|
|
for (self.files.items) |file| {
|
|
if (file.path.len < query.len) continue;
|
|
if (std.mem.indexOf(u8, file.path, query)) |idx| {
|
|
switch (query.len) {
|
|
1 => try from.send(.{ "PRJ", "recent", file.path, .{idx} }),
|
|
2 => try from.send(.{ "PRJ", "recent", file.path, .{ idx, idx + 1 } }),
|
|
else => try from.send(.{ "PRJ", "recent", file.path }),
|
|
}
|
|
i += 1;
|
|
if (i >= max) return i;
|
|
}
|
|
}
|
|
return i;
|
|
}
|
|
|
|
pub fn query_recent_files(self: *Self, from: tp.pid_ref, max: usize, query: []const u8) error{ OutOfMemory, Exit }!usize {
|
|
if (query.len < 3)
|
|
return self.simple_query_recent_files(from, max, query);
|
|
defer from.send(.{ "PRJ", "recent_done", query }) catch {};
|
|
|
|
var searcher = try fuzzig.Ascii.init(
|
|
self.a,
|
|
std.fs.max_path_bytes, // haystack max size
|
|
std.fs.max_path_bytes, // needle max size
|
|
.{ .case_sensitive = false },
|
|
);
|
|
defer searcher.deinit();
|
|
|
|
const Match = struct {
|
|
path: []const u8,
|
|
score: i32,
|
|
matches: []const usize,
|
|
};
|
|
var matches = std.ArrayList(Match).init(self.a);
|
|
|
|
for (self.files.items) |file| {
|
|
const match = searcher.scoreMatches(file.path, query);
|
|
if (match.score) |score| {
|
|
(try matches.addOne()).* = .{
|
|
.path = file.path,
|
|
.score = score,
|
|
.matches = try self.a.dupe(usize, match.matches),
|
|
};
|
|
}
|
|
}
|
|
if (matches.items.len == 0) return 0;
|
|
|
|
const less_fn = struct {
|
|
fn less_fn(_: void, lhs: Match, rhs: Match) bool {
|
|
return lhs.score > rhs.score;
|
|
}
|
|
}.less_fn;
|
|
std.mem.sort(Match, matches.items, {}, less_fn);
|
|
|
|
for (matches.items[0..@min(max, matches.items.len)]) |match|
|
|
try from.send(.{ "PRJ", "recent", match.path, match.matches });
|
|
return @min(max, matches.items.len);
|
|
}
|
|
|
|
pub fn update_mru(self: *Self, file_path: []const u8, row: usize, col: usize) !void {
|
|
defer self.sort_files_by_mtime();
|
|
try self.update_mru_internal(file_path, std.time.nanoTimestamp(), row, col);
|
|
}
|
|
|
|
fn update_mru_internal(self: *Self, file_path: []const u8, mtime: i128, row: usize, col: usize) !void {
|
|
defer self.sort_files_by_mtime();
|
|
for (self.files.items) |*file| {
|
|
if (!std.mem.eql(u8, file.path, file_path)) continue;
|
|
file.mtime = mtime;
|
|
if (row != 0) {
|
|
file.row = row;
|
|
file.col = col;
|
|
file.visited = true;
|
|
}
|
|
return;
|
|
}
|
|
return self.add_file(file_path, std.time.nanoTimestamp());
|
|
}
|
|
|
|
pub fn get_mru_position(self: *Self, from: tp.pid_ref, file_path: []const u8) !void {
|
|
for (self.files.items) |*file| {
|
|
if (!std.mem.eql(u8, file.path, file_path)) continue;
|
|
if (file.row != 0)
|
|
try from.send(.{ "cmd", "goto", .{ file.row + 1, file.col + 1 } });
|
|
return;
|
|
}
|
|
}
|
|
|
|
pub fn did_open(self: *Self, file_path: []const u8, file_type: []const u8, language_server: []const u8, version: usize, text: []const u8) tp.result {
|
|
self.update_mru(file_path, 0, 0) catch {};
|
|
const lsp = self.get_lsp(language_server) catch |e| return tp.exit_error(e);
|
|
if (!self.file_language_server.contains(file_path)) {
|
|
const key = self.a.dupe(u8, file_path) catch |e| return tp.exit_error(e);
|
|
self.file_language_server.put(key, lsp) catch |e| return tp.exit_error(e);
|
|
}
|
|
const uri = self.make_URI(file_path) catch |e| return tp.exit_error(e);
|
|
defer self.a.free(uri);
|
|
try lsp.send_notification("textDocument/didOpen", .{
|
|
.textDocument = .{ .uri = uri, .languageId = file_type, .version = version, .text = text },
|
|
});
|
|
}
|
|
|
|
pub fn did_change(self: *Self, file_path: []const u8, version: usize, root_dst_addr: usize, root_src_addr: usize) !void {
|
|
const lsp = try self.get_file_lsp(file_path);
|
|
const uri = self.make_URI(file_path) catch |e| return tp.exit_error(e);
|
|
defer self.a.free(uri);
|
|
|
|
const root_dst: Buffer.Root = if (root_dst_addr == 0) return else @ptrFromInt(root_dst_addr);
|
|
const root_src: Buffer.Root = if (root_src_addr == 0) return else @ptrFromInt(root_src_addr);
|
|
|
|
var dizzy_edits = std.ArrayListUnmanaged(dizzy.Edit){};
|
|
var dst = std.ArrayList(u8).init(self.a);
|
|
var src = std.ArrayList(u8).init(self.a);
|
|
var scratch = std.ArrayListUnmanaged(u32){};
|
|
var edits_cb = std.ArrayList(u8).init(self.a);
|
|
const writer = edits_cb.writer();
|
|
|
|
defer {
|
|
edits_cb.deinit();
|
|
dst.deinit();
|
|
src.deinit();
|
|
scratch.deinit(self.a);
|
|
dizzy_edits.deinit(self.a);
|
|
}
|
|
|
|
try root_dst.store(dst.writer());
|
|
try root_src.store(src.writer());
|
|
|
|
const scratch_len = 4 * (dst.items.len + src.items.len) + 2;
|
|
try scratch.ensureTotalCapacity(self.a, scratch_len);
|
|
scratch.items.len = scratch_len;
|
|
|
|
try dizzy.PrimitiveSliceDiffer(u8).diff(self.a, &dizzy_edits, src.items, dst.items, scratch.items);
|
|
|
|
var lines_dst: usize = 0;
|
|
var pos_src: usize = 0;
|
|
var pos_dst: usize = 0;
|
|
var last_offset: usize = 0;
|
|
var edits_count: usize = 0;
|
|
|
|
for (dizzy_edits.items) |dizzy_edit| {
|
|
switch (dizzy_edit.kind) {
|
|
.equal => {
|
|
const dist = dizzy_edit.range.end - dizzy_edit.range.start;
|
|
pos_src += dist;
|
|
pos_dst += dist;
|
|
scan_char(src.items[dizzy_edit.range.start..dizzy_edit.range.end], &lines_dst, '\n', &last_offset);
|
|
},
|
|
.insert => {
|
|
const dist = dizzy_edit.range.end - dizzy_edit.range.start;
|
|
pos_src += 0;
|
|
pos_dst += dist;
|
|
const line_start_dst: usize = lines_dst;
|
|
scan_char(dst.items[dizzy_edit.range.start..dizzy_edit.range.end], &lines_dst, '\n', null);
|
|
try cbor.writeValue(writer, .{
|
|
.range = .{
|
|
.start = .{ .line = line_start_dst, .character = last_offset },
|
|
.end = .{ .line = line_start_dst, .character = last_offset },
|
|
},
|
|
.text = dst.items[dizzy_edit.range.start..dizzy_edit.range.end],
|
|
});
|
|
edits_count += 1;
|
|
},
|
|
.delete => {
|
|
const dist = dizzy_edit.range.end - dizzy_edit.range.start;
|
|
pos_src += dist;
|
|
pos_dst += 0;
|
|
var line_end_dst: usize = lines_dst;
|
|
var offset_end_dst: usize = last_offset;
|
|
scan_char(src.items[dizzy_edit.range.start..dizzy_edit.range.end], &line_end_dst, '\n', &offset_end_dst);
|
|
if (lines_dst == line_end_dst) offset_end_dst = last_offset + dist;
|
|
try cbor.writeValue(writer, .{
|
|
.range = .{
|
|
.start = .{ .line = lines_dst, .character = last_offset },
|
|
.end = .{ .line = line_end_dst, .character = offset_end_dst },
|
|
},
|
|
.text = "",
|
|
});
|
|
edits_count += 1;
|
|
},
|
|
}
|
|
}
|
|
|
|
var msg = std.ArrayList(u8).init(self.a);
|
|
defer msg.deinit();
|
|
const msg_writer = msg.writer();
|
|
try cbor.writeMapHeader(msg_writer, 2);
|
|
try cbor.writeValue(msg_writer, "textDocument");
|
|
try cbor.writeValue(msg_writer, .{ .uri = uri, .version = version });
|
|
try cbor.writeValue(msg_writer, "contentChanges");
|
|
try cbor.writeArrayHeader(msg_writer, edits_count);
|
|
_ = try msg_writer.write(edits_cb.items);
|
|
|
|
try lsp.send_notification_raw("textDocument/didChange", msg.items);
|
|
}
|
|
|
|
fn scan_char(chars: []const u8, lines: *usize, char: u8, last_offset: ?*usize) void {
|
|
var pos = chars;
|
|
while (pos.len > 0) {
|
|
if (pos[0] == char) {
|
|
if (last_offset) |off| off.* = pos.len - 1;
|
|
lines.* += 1;
|
|
}
|
|
pos = pos[1..];
|
|
}
|
|
}
|
|
|
|
pub fn did_save(self: *Self, file_path: []const u8) tp.result {
|
|
const lsp = try self.get_file_lsp(file_path);
|
|
const uri = self.make_URI(file_path) catch |e| return tp.exit_error(e);
|
|
defer self.a.free(uri);
|
|
try lsp.send_notification("textDocument/didSave", .{
|
|
.textDocument = .{ .uri = uri },
|
|
});
|
|
}
|
|
|
|
pub fn did_close(self: *Self, file_path: []const u8) tp.result {
|
|
const lsp = try self.get_file_lsp(file_path);
|
|
const uri = self.make_URI(file_path) catch |e| return tp.exit_error(e);
|
|
defer self.a.free(uri);
|
|
try lsp.send_notification("textDocument/didClose", .{
|
|
.textDocument = .{ .uri = uri },
|
|
});
|
|
}
|
|
|
|
pub fn goto_definition(self: *Self, from: tp.pid_ref, file_path: []const u8, row: usize, col: usize) !void {
|
|
const lsp = try self.get_file_lsp(file_path);
|
|
const uri = self.make_URI(file_path) catch |e| return tp.exit_error(e);
|
|
defer self.a.free(uri);
|
|
const response = try lsp.send_request(self.a, "textDocument/definition", .{
|
|
.textDocument = .{ .uri = uri },
|
|
.position = .{ .line = row, .character = col },
|
|
});
|
|
defer self.a.free(response.buf);
|
|
var link: []const u8 = undefined;
|
|
if (try response.match(.{ "child", tp.string, "result", tp.array })) {
|
|
if (try response.match(.{ tp.any, tp.any, tp.any, .{ tp.extract_cbor(&link), tp.more } })) {
|
|
try self.navigate_to_location_link(from, link);
|
|
} else if (try response.match(.{ tp.any, tp.any, tp.any, .{tp.extract_cbor(&link)} })) {
|
|
try self.navigate_to_location_link(from, link);
|
|
}
|
|
} else if (try response.match(.{ "child", tp.string, "result", tp.null_ })) {
|
|
return;
|
|
} else if (try response.match(.{ "child", tp.string, "result", tp.extract_cbor(&link) })) {
|
|
try self.navigate_to_location_link(from, link);
|
|
}
|
|
}
|
|
|
|
fn navigate_to_location_link(self: *Self, from: tp.pid_ref, location_link: []const u8) !void {
|
|
var iter = location_link;
|
|
var targetUri: ?[]const u8 = null;
|
|
var targetRange: ?Range = null;
|
|
var targetSelectionRange: ?Range = null;
|
|
var len = try cbor.decodeMapHeader(&iter);
|
|
while (len > 0) : (len -= 1) {
|
|
var field_name: []const u8 = undefined;
|
|
if (!(try cbor.matchString(&iter, &field_name))) return error.InvalidMessage;
|
|
if (std.mem.eql(u8, field_name, "targetUri") or std.mem.eql(u8, field_name, "uri")) {
|
|
var value: []const u8 = undefined;
|
|
if (!(try cbor.matchValue(&iter, cbor.extract(&value)))) return error.InvalidMessageField;
|
|
targetUri = value;
|
|
} else if (std.mem.eql(u8, field_name, "targetRange") or std.mem.eql(u8, field_name, "range")) {
|
|
var range: []const u8 = undefined;
|
|
if (!(try cbor.matchValue(&iter, cbor.extract_cbor(&range)))) return error.InvalidMessageField;
|
|
targetRange = try read_range(range);
|
|
} else if (std.mem.eql(u8, field_name, "targetSelectionRange")) {
|
|
var range: []const u8 = undefined;
|
|
if (!(try cbor.matchValue(&iter, cbor.extract_cbor(&range)))) return error.InvalidMessageField;
|
|
targetSelectionRange = try read_range(range);
|
|
} else {
|
|
try cbor.skipValue(&iter);
|
|
}
|
|
}
|
|
if (targetUri == null or targetRange == null) return error.InvalidMessageField;
|
|
if (!std.mem.eql(u8, targetUri.?[0..7], "file://")) return error.InvalidTargetURI;
|
|
const file_path = try std.Uri.unescapeString(self.a, targetUri.?[7..]);
|
|
defer self.a.free(file_path);
|
|
if (targetSelectionRange) |sel| {
|
|
try from.send(.{ "cmd", "navigate", .{
|
|
.file = file_path,
|
|
.goto = .{
|
|
targetRange.?.start.line + 1,
|
|
targetRange.?.start.character + 1,
|
|
sel.start.line,
|
|
sel.start.character,
|
|
sel.end.line,
|
|
sel.end.character,
|
|
},
|
|
} });
|
|
} else {
|
|
try from.send(.{ "cmd", "navigate", .{
|
|
.file = file_path,
|
|
.goto = .{
|
|
targetRange.?.start.line + 1,
|
|
targetRange.?.start.character + 1,
|
|
},
|
|
} });
|
|
}
|
|
}
|
|
|
|
const Range = struct { start: Position, end: Position };
|
|
fn read_range(range: []const u8) !Range {
|
|
var iter = range;
|
|
var start: ?Position = null;
|
|
var end: ?Position = null;
|
|
var len = try cbor.decodeMapHeader(&iter);
|
|
while (len > 0) : (len -= 1) {
|
|
var field_name: []const u8 = undefined;
|
|
if (!(try cbor.matchString(&iter, &field_name))) return error.InvalidMessage;
|
|
if (std.mem.eql(u8, field_name, "start")) {
|
|
var position: []const u8 = undefined;
|
|
if (!(try cbor.matchValue(&iter, cbor.extract_cbor(&position)))) return error.InvalidMessageField;
|
|
start = try read_position(position);
|
|
} else if (std.mem.eql(u8, field_name, "end")) {
|
|
var position: []const u8 = undefined;
|
|
if (!(try cbor.matchValue(&iter, cbor.extract_cbor(&position)))) return error.InvalidMessageField;
|
|
end = try read_position(position);
|
|
} else {
|
|
try cbor.skipValue(&iter);
|
|
}
|
|
}
|
|
if (start == null or end == null) return error.InvalidMessageField;
|
|
return .{ .start = start.?, .end = end.? };
|
|
}
|
|
|
|
const Position = struct { line: usize, character: usize };
|
|
fn read_position(position: []const u8) !Position {
|
|
var iter = position;
|
|
var line: ?usize = 0;
|
|
var character: ?usize = 0;
|
|
var len = try cbor.decodeMapHeader(&iter);
|
|
while (len > 0) : (len -= 1) {
|
|
var field_name: []const u8 = undefined;
|
|
if (!(try cbor.matchString(&iter, &field_name))) return error.InvalidMessage;
|
|
if (std.mem.eql(u8, field_name, "line")) {
|
|
if (!(try cbor.matchValue(&iter, cbor.extract(&line)))) return error.InvalidMessageField;
|
|
} else if (std.mem.eql(u8, field_name, "character")) {
|
|
if (!(try cbor.matchValue(&iter, cbor.extract(&character)))) return error.InvalidMessageField;
|
|
} else {
|
|
try cbor.skipValue(&iter);
|
|
}
|
|
}
|
|
if (line == null or character == null) return error.InvalidMessageField;
|
|
return .{ .line = line.?, .character = character.? };
|
|
}
|
|
|
|
fn send_lsp_init_request(self: *Self, lsp: LSP, project_path: []const u8, project_basename: []const u8, project_uri: []const u8) error{Exit}!tp.message {
|
|
return lsp.send_request(self.a, "initialize", .{
|
|
.processId = if (builtin.os.tag == .linux) std.os.linux.getpid() else null,
|
|
.rootPath = project_path,
|
|
.rootUri = project_uri,
|
|
.workspaceFolders = .{
|
|
.{
|
|
.uri = project_uri,
|
|
.name = project_basename,
|
|
},
|
|
},
|
|
.trace = "verbose",
|
|
.locale = "en-us",
|
|
.clientInfo = .{
|
|
.name = root.application_name,
|
|
.version = "0.0.1",
|
|
},
|
|
.capabilities = .{
|
|
.workspace = .{
|
|
.applyEdit = true,
|
|
.workspaceEdit = .{
|
|
.documentChanges = true,
|
|
.resourceOperations = .{
|
|
"create",
|
|
"rename",
|
|
"delete",
|
|
},
|
|
.failureHandling = "textOnlyTransactional",
|
|
.normalizesLineEndings = true,
|
|
.changeAnnotationSupport = .{ .groupsOnLabel = true },
|
|
},
|
|
// .configuration = true,
|
|
.didChangeWatchedFiles = .{
|
|
.dynamicRegistration = true,
|
|
.relativePatternSupport = true,
|
|
},
|
|
.symbol = .{
|
|
.dynamicRegistration = true,
|
|
.symbolKind = .{
|
|
.valueSet = .{ 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 },
|
|
},
|
|
.tagSupport = .{ .valueSet = .{1} },
|
|
.resolveSupport = .{ .properties = .{"location.range"} },
|
|
},
|
|
.codeLens = .{ .refreshSupport = true },
|
|
.executeCommand = .{ .dynamicRegistration = true },
|
|
// .didChangeConfiguration = .{ .dynamicRegistration = true },
|
|
.workspaceFolders = true,
|
|
.semanticTokens = .{ .refreshSupport = true },
|
|
.fileOperations = .{
|
|
.dynamicRegistration = true,
|
|
.didCreate = true,
|
|
.didRename = true,
|
|
.didDelete = true,
|
|
.willCreate = true,
|
|
.willRename = true,
|
|
.willDelete = true,
|
|
},
|
|
.inlineValue = .{ .refreshSupport = true },
|
|
.inlayHint = .{ .refreshSupport = true },
|
|
.diagnostics = .{ .refreshSupport = true },
|
|
},
|
|
.textDocument = .{
|
|
.publishDiagnostics = .{
|
|
.relatedInformation = true,
|
|
.versionSupport = false,
|
|
.tagSupport = .{ .valueSet = .{ 1, 2 } },
|
|
.codeDescriptionSupport = true,
|
|
.dataSupport = true,
|
|
},
|
|
.synchronization = .{
|
|
.dynamicRegistration = true,
|
|
.willSave = true,
|
|
.willSaveWaitUntil = true,
|
|
.didSave = true,
|
|
},
|
|
.completion = .{
|
|
.dynamicRegistration = true,
|
|
.contextSupport = true,
|
|
.completionItem = .{
|
|
.snippetSupport = true,
|
|
.commitCharactersSupport = true,
|
|
.documentationFormat = .{
|
|
"markdown",
|
|
"plaintext",
|
|
},
|
|
.deprecatedSupport = true,
|
|
.preselectSupport = true,
|
|
.tagSupport = .{ .valueSet = .{1} },
|
|
.insertReplaceSupport = true,
|
|
.resolveSupport = .{ .properties = .{
|
|
"documentation",
|
|
"detail",
|
|
"additionalTextEdits",
|
|
} },
|
|
.insertTextModeSupport = .{ .valueSet = .{ 1, 2 } },
|
|
.labelDetailsSupport = true,
|
|
},
|
|
.insertTextMode = 2,
|
|
.completionItemKind = .{
|
|
.valueSet = .{ 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 },
|
|
},
|
|
.completionList = .{ .itemDefaults = .{
|
|
"commitCharacters",
|
|
"editRange",
|
|
"insertTextFormat",
|
|
"insertTextMode",
|
|
} },
|
|
},
|
|
.hover = .{
|
|
.dynamicRegistration = true,
|
|
.contentFormat = .{ "markdown", "plaintext" },
|
|
},
|
|
.signatureHelp = .{
|
|
.dynamicRegistration = true,
|
|
.signatureInformation = .{
|
|
.documentationFormat = .{ "markdown", "plaintext" },
|
|
.parameterInformation = .{ .labelOffsetSupport = true },
|
|
.activeParameterSupport = true,
|
|
},
|
|
.contextSupport = true,
|
|
},
|
|
.definition = .{
|
|
.dynamicRegistration = true,
|
|
.linkSupport = true,
|
|
},
|
|
.references = .{ .dynamicRegistration = true },
|
|
.documentHighlight = .{ .dynamicRegistration = true },
|
|
.documentSymbol = .{
|
|
.dynamicRegistration = true,
|
|
.symbolKind = .{
|
|
.valueSet = .{ 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 },
|
|
},
|
|
.hierarchicalDocumentSymbolSupport = true,
|
|
.tagSupport = .{ .valueSet = .{1} },
|
|
.labelSupport = true,
|
|
},
|
|
.codeAction = .{
|
|
.dynamicRegistration = true,
|
|
.isPreferredSupport = true,
|
|
.disabledSupport = true,
|
|
.dataSupport = true,
|
|
.resolveSupport = .{ .properties = .{"edit"} },
|
|
.codeActionLiteralSupport = .{
|
|
.codeActionKind = .{
|
|
.valueSet = .{
|
|
"",
|
|
"quickfix",
|
|
"refactor",
|
|
"refactor.extract",
|
|
"refactor.inline",
|
|
"refactor.rewrite",
|
|
"source",
|
|
"source.organizeImports",
|
|
},
|
|
},
|
|
},
|
|
.honorsChangeAnnotations = false,
|
|
},
|
|
.codeLens = .{ .dynamicRegistration = true },
|
|
.formatting = .{ .dynamicRegistration = true },
|
|
.rangeFormatting = .{ .dynamicRegistration = true },
|
|
.onTypeFormatting = .{ .dynamicRegistration = true },
|
|
.rename = .{
|
|
.dynamicRegistration = true,
|
|
.prepareSupport = true,
|
|
.prepareSupportDefaultBehavior = 1,
|
|
.honorsChangeAnnotations = true,
|
|
},
|
|
.documentLink = .{
|
|
.dynamicRegistration = true,
|
|
.tooltipSupport = true,
|
|
},
|
|
.typeDefinition = .{
|
|
.dynamicRegistration = true,
|
|
.linkSupport = true,
|
|
},
|
|
.implementation = .{
|
|
.dynamicRegistration = true,
|
|
.linkSupport = true,
|
|
},
|
|
.colorProvider = .{ .dynamicRegistration = true },
|
|
.foldingRange = .{
|
|
.dynamicRegistration = true,
|
|
.rangeLimit = 5000,
|
|
.lineFoldingOnly = true,
|
|
.foldingRangeKind = .{ .valueSet = .{ "comment", "imports", "region" } },
|
|
.foldingRange = .{ .collapsedText = false },
|
|
},
|
|
.declaration = .{
|
|
.dynamicRegistration = true,
|
|
.linkSupport = true,
|
|
},
|
|
.selectionRange = .{ .dynamicRegistration = true },
|
|
.callHierarchy = .{ .dynamicRegistration = true },
|
|
.semanticTokens = .{
|
|
.dynamicRegistration = true,
|
|
.tokenTypes = .{
|
|
"namespace",
|
|
"type",
|
|
"class",
|
|
"enum",
|
|
"interface",
|
|
"struct",
|
|
"typeParameter",
|
|
"parameter",
|
|
"variable",
|
|
"property",
|
|
"enumMember",
|
|
"event",
|
|
"function",
|
|
"method",
|
|
"macro",
|
|
"keyword",
|
|
"modifier",
|
|
"comment",
|
|
"string",
|
|
"number",
|
|
"regexp",
|
|
"operator",
|
|
"decorator",
|
|
},
|
|
.tokenModifiers = .{
|
|
"declaration",
|
|
"definition",
|
|
"readonly",
|
|
"static",
|
|
"deprecated",
|
|
"abstract",
|
|
"async",
|
|
"modification",
|
|
"documentation",
|
|
"defaultLibrary",
|
|
},
|
|
.formats = .{"relative"},
|
|
.requests = .{
|
|
.range = true,
|
|
.full = .{ .delta = true },
|
|
},
|
|
.multilineTokenSupport = false,
|
|
.overlappingTokenSupport = false,
|
|
.serverCancelSupport = true,
|
|
.augmentsSyntaxTokens = true,
|
|
},
|
|
.linkedEditingRange = .{ .dynamicRegistration = true },
|
|
.typeHierarchy = .{ .dynamicRegistration = true },
|
|
.inlineValue = .{ .dynamicRegistration = true },
|
|
.inlayHint = .{
|
|
.dynamicRegistration = true,
|
|
.resolveSupport = .{
|
|
.properties = .{
|
|
"tooltip",
|
|
"textEdits",
|
|
"label.tooltip",
|
|
"label.location",
|
|
"label.command",
|
|
},
|
|
},
|
|
},
|
|
.diagnostic = .{
|
|
.dynamicRegistration = true,
|
|
.relatedDocumentSupport = false,
|
|
},
|
|
},
|
|
.window = .{
|
|
.showMessage = .{
|
|
.messageActionItem = .{ .additionalPropertiesSupport = true },
|
|
},
|
|
.showDocument = .{ .support = true },
|
|
.workDoneProgress = true,
|
|
},
|
|
.general = .{
|
|
.staleRequestSupport = .{
|
|
.cancel = true,
|
|
.retryOnContentModified = .{
|
|
"textDocument/semanticTokens/full",
|
|
"textDocument/semanticTokens/range",
|
|
"textDocument/semanticTokens/full/delta",
|
|
},
|
|
},
|
|
.regularExpressions = .{
|
|
.engine = "ECMAScript",
|
|
.version = "ES2020",
|
|
},
|
|
.markdown = .{
|
|
.parser = "marked",
|
|
.version = "1.1.0",
|
|
},
|
|
.positionEncodings = .{"utf-8"},
|
|
},
|
|
.notebookDocument = .{
|
|
.synchronization = .{
|
|
.dynamicRegistration = true,
|
|
.executionSummarySupport = true,
|
|
},
|
|
},
|
|
},
|
|
});
|
|
}
|