zls/src/analysis.zig

308 lines
11 KiB
Zig
Raw Normal View History

2020-05-03 22:27:08 +01:00
const std = @import("std");
const ast = std.zig.ast;
2020-05-03 22:27:08 +01:00
/// REALLY BAD CODE, PLEASE DON'T USE THIS!!!!!!! (only for testing)
pub fn getFunctionByName(tree: *ast.Tree, name: []const u8) ?*ast.Node.FnProto {
2020-05-03 22:27:08 +01:00
var decls = tree.root_node.decls.iterator(0);
while (decls.next()) |decl_ptr| {
var decl = decl_ptr.*;
switch (decl.id) {
.FnProto => {
const func = decl.cast(ast.Node.FnProto).?;
2020-05-03 22:27:08 +01:00
if (std.mem.eql(u8, tree.tokenSlice(func.name_token.?), name)) return func;
},
else => {}
}
}
return null;
}
/// Gets a function's doc comments, caller must free memory when a value is returned
/// Like:
///```zig
///var comments = getFunctionDocComments(allocator, tree, func);
///defer if (comments) |comments_pointer| allocator.free(comments_pointer);
///```
pub fn getDocComments(allocator: *std.mem.Allocator, tree: *ast.Tree, node: *ast.Node) !?[]const u8 {
2020-05-04 03:17:19 +01:00
switch (node.id) {
.FnProto => {
const func = node.cast(ast.Node.FnProto).?;
2020-05-04 03:17:19 +01:00
if (func.doc_comments) |doc_comments| {
var doc_it = doc_comments.lines.iterator(0);
var lines = std.ArrayList([]const u8).init(allocator);
defer lines.deinit();
2020-05-03 22:27:08 +01:00
2020-05-04 03:17:19 +01:00
while (doc_it.next()) |doc_comment| {
_ = try lines.append(std.fmt.trim(tree.tokenSlice(doc_comment.*)[3..]));
}
return try std.mem.join(allocator, "\n", lines.items);
2020-05-04 03:17:19 +01:00
} else {
return null;
}
},
.VarDecl => {
const var_decl = node.cast(ast.Node.VarDecl).?;
2020-05-04 03:17:19 +01:00
if (var_decl.doc_comments) |doc_comments| {
var doc_it = doc_comments.lines.iterator(0);
var lines = std.ArrayList([]const u8).init(allocator);
defer lines.deinit();
2020-05-04 03:17:19 +01:00
while (doc_it.next()) |doc_comment| {
_ = try lines.append(std.fmt.trim(tree.tokenSlice(doc_comment.*)[3..]));
}
2020-05-03 22:27:08 +01:00
return try std.mem.join(allocator, "\n", lines.items);
2020-05-04 03:17:19 +01:00
} else {
return null;
}
},
else => return null
2020-05-03 22:27:08 +01:00
}
}
2020-05-03 22:27:37 +01:00
/// Gets a function signature (keywords, name, return value)
pub fn getFunctionSignature(tree: *ast.Tree, func: *ast.Node.FnProto) []const u8 {
2020-05-04 03:17:19 +01:00
const start = tree.tokens.at(func.firstToken()).start;
const end = tree.tokens.at(switch (func.return_type) {
.Explicit, .InferErrorSet => |node| node.lastToken()
}).end;
2020-05-03 22:27:08 +01:00
return tree.source[start..end];
}
2020-05-04 03:17:19 +01:00
/// Gets a function snippet insert text
pub fn getFunctionSnippet(allocator: *std.mem.Allocator, tree: *ast.Tree, func: *ast.Node.FnProto) ![]const u8 {
const name_tok = func.name_token orelse unreachable;
var buffer = std.ArrayList(u8).init(allocator);
try buffer.ensureCapacity(128);
try buffer.appendSlice(tree.tokenSlice(name_tok));
try buffer.append('(');
var buf_stream = buffer.outStream();
var param_num = @as(usize, 1);
var param_it = func.params.iterator(0);
while (param_it.next()) |param_ptr| : (param_num += 1) {
const param = param_ptr.*;
const param_decl = param.cast(ast.Node.ParamDecl).?;
if (param_num != 1) try buffer.appendSlice(", ${")
else try buffer.appendSlice("${");
try buf_stream.print("{}:", .{param_num});
if (param_decl.comptime_token) |_| {
try buffer.appendSlice("comptime ");
}
if (param_decl.noalias_token) |_| {
try buffer.appendSlice("noalias ");
}
if (param_decl.name_token) |name_token| {
try buffer.appendSlice(tree.tokenSlice(name_token));
try buffer.appendSlice(": ");
}
if (param_decl.var_args_token) |_| {
try buffer.appendSlice("...");
}
var curr_tok = param_decl.type_node.firstToken();
var end_tok = param_decl.type_node.lastToken();
while (curr_tok <= end_tok) : (curr_tok += 1) {
try buffer.appendSlice(tree.tokenSlice(curr_tok));
if (tree.tokens.at(curr_tok).id == .Comma) try buffer.append(' ');
}
try buffer.append('}');
if (param_it.peek() != null) {
try buffer.appendSlice(", ");
}
}
try buffer.append(')');
return buffer.toOwnedSlice();
}
2020-05-04 03:17:19 +01:00
/// Gets a function signature (keywords, name, return value)
pub fn getVariableSignature(tree: *ast.Tree, var_decl: *ast.Node.VarDecl) []const u8 {
2020-05-04 03:17:19 +01:00
const start = tree.tokens.at(var_decl.firstToken()).start;
const end = tree.tokens.at(var_decl.semicolon_token).start;
// var end =
// if (var_decl.init_n) |body| tree.tokens.at(body.firstToken()).start
// else tree.tokens.at(var_decl.name_token).end;
return tree.source[start..end];
}
// STYLE
pub fn isCamelCase(name: []const u8) bool {
return !std.ascii.isUpper(name[0]) and std.mem.indexOf(u8, name, "_") == null;
}
pub fn isPascalCase(name: []const u8) bool {
return std.ascii.isUpper(name[0]) and std.mem.indexOf(u8, name, "_") == null;
}
2020-05-11 13:28:08 +01:00
// ANALYSIS ENGINE
2020-05-13 14:03:33 +01:00
/// Gets the child of node
pub fn getChild(tree: *std.zig.ast.Tree, node: *std.zig.ast.Node, name: []const u8) ?*std.zig.ast.Node {
var index: usize = 0;
while (node.iterate(index)) |child| {
switch (child.id) {
2020-05-11 13:28:08 +01:00
.VarDecl => {
2020-05-13 14:03:33 +01:00
const vari = child.cast(std.zig.ast.Node.VarDecl).?;
if (std.mem.eql(u8, tree.tokenSlice(vari.name_token), name)) return child;
2020-05-11 13:28:08 +01:00
},
.FnProto => {
2020-05-13 14:03:33 +01:00
const func = child.cast(std.zig.ast.Node.FnProto).?;
if (func.name_token != null and std.mem.eql(u8, tree.tokenSlice(func.name_token.?), name)) return child;
2020-05-11 13:28:08 +01:00
},
2020-05-13 14:03:33 +01:00
.ContainerField => {
const field = child.cast(std.zig.ast.Node.ContainerField).?;
if (std.mem.eql(u8, tree.tokenSlice(field.name_token), name)) return child;
2020-05-11 13:28:08 +01:00
},
else => {}
}
2020-05-13 14:03:33 +01:00
index += 1;
2020-05-11 13:28:08 +01:00
}
return null;
}
2020-05-13 14:03:33 +01:00
/// Resolves the type of a node
pub fn resolveTypeOfNode(tree: *std.zig.ast.Tree, node: *std.zig.ast.Node) ?*std.zig.ast.Node {
2020-05-11 13:28:08 +01:00
switch (node.id) {
2020-05-13 14:03:33 +01:00
.VarDecl => {
const vari = node.cast(std.zig.ast.Node.VarDecl).?;
return resolveTypeOfNode(tree, vari.type_node orelse vari.init_node.?) orelse null;
2020-05-11 13:28:08 +01:00
},
2020-05-13 14:03:33 +01:00
.FnProto => {
const func = node.cast(std.zig.ast.Node.FnProto).?;
switch (func.return_type) {
.Explicit, .InferErrorSet => |return_type| {return resolveTypeOfNode(tree, return_type);}
2020-05-11 13:28:08 +01:00
}
},
2020-05-13 14:03:33 +01:00
.Identifier => {
if (getChild(tree, &tree.root_node.base, tree.getNodeSource(node))) |child| {
return resolveTypeOfNode(tree, child);
} else return null;
2020-05-11 13:28:08 +01:00
},
2020-05-13 14:03:33 +01:00
.ContainerDecl => {
return node;
2020-05-11 13:28:08 +01:00
},
2020-05-13 14:03:33 +01:00
.ContainerField => {
const field = node.cast(std.zig.ast.Node.ContainerField).?;
return resolveTypeOfNode(tree, field.type_expr.?);
2020-05-11 13:28:08 +01:00
},
2020-05-13 14:03:33 +01:00
.SuffixOp => {
const suffix_op = node.cast(std.zig.ast.Node.SuffixOp).?;
switch (suffix_op.op) {
.Call => {
return resolveTypeOfNode(tree, suffix_op.lhs.node);
},
else => {}
2020-05-11 13:28:08 +01:00
}
},
.InfixOp => {
2020-05-13 14:03:33 +01:00
const infix_op = node.cast(std.zig.ast.Node.InfixOp).?;
switch (infix_op.op) {
.Period => {
var left = resolveTypeOfNode(tree, infix_op.lhs).?;
return getChild(tree, left, nodeToString(tree, infix_op.rhs));
},
else => {}
}
2020-05-11 13:28:08 +01:00
},
2020-05-13 14:03:33 +01:00
else => {
std.debug.warn("Type resolution case not implemented; {}\n", .{node.id});
}
}
return null;
}
2020-05-11 13:28:08 +01:00
2020-05-13 14:03:33 +01:00
pub fn getNodeFromTokens(tree: *std.zig.ast.Tree, node: *std.zig.ast.Node, tokenizer: *std.zig.Tokenizer) ?*std.zig.ast.Node {
var current_node = node;
2020-05-11 13:28:08 +01:00
2020-05-13 14:03:33 +01:00
while (true) {
var next = tokenizer.next();
switch (next.id) {
.Eof => {
return current_node;
},
.Identifier => {
// var root = current_node.cast(std.zig.ast.Node.Root).?;
// current_node.
if (getChild(tree, current_node, tokenizer.buffer[next.start..next.end])) |child| {
if (resolveTypeOfNode(tree, child)) |node_type| {
2020-05-13 16:43:28 +01:00
if (resolveTypeOfNode(tree, child)) |child_type| {
current_node = child_type;
} else return null;
2020-05-11 13:28:08 +01:00
}
2020-05-13 14:03:33 +01:00
} else return null;
},
.Period => {
var after_period = tokenizer.next();
if (after_period.id == .Eof) {
return current_node;
} else if (after_period.id == .Identifier) {
if (getChild(tree, current_node, tokenizer.buffer[after_period.start..after_period.end])) |child| {
2020-05-13 16:43:28 +01:00
if (resolveTypeOfNode(tree, child)) |child_type| {
current_node = child_type;
} else return null;
2020-05-13 14:03:33 +01:00
} else return null;
}
},
else => {
std.debug.warn("Not implemented; {}\n", .{next.id});
2020-05-11 13:28:08 +01:00
}
2020-05-13 14:03:33 +01:00
}
}
return current_node;
}
pub fn getCompletionsFromNode(allocator: *std.mem.Allocator, tree: *std.zig.ast.Tree, node: *std.zig.ast.Node) ![]*std.zig.ast.Node {
var nodes = std.ArrayList(*std.zig.ast.Node).init(allocator);
var index: usize = 0;
while (node.iterate(index)) |child_node| {
try nodes.append(child_node);
index += 1;
}
return nodes.items;
}
pub fn nodeToString(tree: *std.zig.ast.Tree, node: *std.zig.ast.Node) []const u8 {
switch (node.id) {
.ContainerField => {
const field = node.cast(std.zig.ast.Node.ContainerField).?;
return tree.tokenSlice(field.name_token);
},
.Identifier => {
const field = node.cast(std.zig.ast.Node.Identifier).?;
return tree.tokenSlice(field.token);
2020-05-11 13:28:08 +01:00
},
else => {
2020-05-13 14:03:33 +01:00
std.debug.warn("INVALID: {}\n", .{node.id});
2020-05-11 13:28:08 +01:00
}
}
2020-05-13 14:03:33 +01:00
return "";
}
2020-05-11 13:28:08 +01:00
2020-05-13 14:03:33 +01:00
pub fn nodesToString(tree: *std.zig.ast.Tree, maybe_nodes: ?[]*std.zig.ast.Node) void {
if (maybe_nodes) |nodes| {
for (nodes) |node| {
std.debug.warn("- {}\n", .{nodeToString(tree, node)});
}
} else std.debug.warn("No nodes\n", .{});
2020-05-11 13:28:08 +01:00
}