2020-05-03 22:27:08 +01:00
|
|
|
const std = @import("std");
|
2020-05-14 10:23:20 +01:00
|
|
|
const AnalysisContext = @import("document_store.zig").AnalysisContext;
|
2020-05-09 03:38:08 +01:00
|
|
|
const ast = std.zig.ast;
|
|
|
|
|
2020-05-03 22:27:08 +01:00
|
|
|
/// REALLY BAD CODE, PLEASE DON'T USE THIS!!!!!!! (only for testing)
|
2020-05-09 03:38:08 +01:00
|
|
|
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 => {
|
2020-05-09 03:38:08 +01:00
|
|
|
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;
|
|
|
|
},
|
2020-05-16 16:30:16 +01:00
|
|
|
else => {},
|
2020-05-03 22:27:08 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
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);
|
|
|
|
///```
|
2020-05-09 03:38:08 +01:00
|
|
|
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 => {
|
2020-05-09 03:38:08 +01:00
|
|
|
const func = node.cast(ast.Node.FnProto).?;
|
2020-05-04 03:17:19 +01:00
|
|
|
if (func.doc_comments) |doc_comments| {
|
2020-05-14 17:07:46 +01:00
|
|
|
return try collectDocComments(allocator, tree, doc_comments);
|
2020-05-04 03:17:19 +01:00
|
|
|
}
|
|
|
|
},
|
|
|
|
.VarDecl => {
|
2020-05-09 03:38:08 +01:00
|
|
|
const var_decl = node.cast(ast.Node.VarDecl).?;
|
2020-05-04 03:17:19 +01:00
|
|
|
if (var_decl.doc_comments) |doc_comments| {
|
2020-05-14 17:07:46 +01:00
|
|
|
return try collectDocComments(allocator, tree, doc_comments);
|
|
|
|
}
|
|
|
|
},
|
|
|
|
.ContainerField => {
|
|
|
|
const field = node.cast(ast.Node.ContainerField).?;
|
|
|
|
if (field.doc_comments) |doc_comments| {
|
|
|
|
return try collectDocComments(allocator, tree, doc_comments);
|
|
|
|
}
|
|
|
|
},
|
|
|
|
.ErrorTag => {
|
|
|
|
const tag = node.cast(ast.Node.ErrorTag).?;
|
|
|
|
if (tag.doc_comments) |doc_comments| {
|
|
|
|
return try collectDocComments(allocator, tree, doc_comments);
|
2020-05-04 03:17:19 +01:00
|
|
|
}
|
|
|
|
},
|
2020-05-14 17:07:46 +01:00
|
|
|
.ParamDecl => {
|
|
|
|
const param = node.cast(ast.Node.ParamDecl).?;
|
|
|
|
if (param.doc_comments) |doc_comments| {
|
|
|
|
return try collectDocComments(allocator, tree, doc_comments);
|
2020-05-16 16:30:16 +01:00
|
|
|
}
|
2020-05-14 17:07:46 +01:00
|
|
|
},
|
2020-05-16 16:30:16 +01:00
|
|
|
else => {},
|
2020-05-03 22:27:08 +01:00
|
|
|
}
|
2020-05-14 17:07:46 +01:00
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn collectDocComments(allocator: *std.mem.Allocator, tree: *ast.Tree, doc_comments: *ast.Node.DocComment) ![]const u8 {
|
|
|
|
var doc_it = doc_comments.lines.iterator(0);
|
|
|
|
var lines = std.ArrayList([]const u8).init(allocator);
|
|
|
|
defer lines.deinit();
|
|
|
|
|
|
|
|
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-03 22:27:08 +01:00
|
|
|
}
|
|
|
|
|
2020-05-03 22:27:37 +01:00
|
|
|
/// Gets a function signature (keywords, name, return value)
|
2020-05-09 03:38:08 +01:00
|
|
|
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;
|
2020-05-09 03:38:08 +01:00
|
|
|
const end = tree.tokens.at(switch (func.return_type) {
|
2020-05-16 16:30:16 +01:00
|
|
|
.Explicit, .InferErrorSet => |node| node.lastToken(),
|
2020-05-14 15:22:15 +01:00
|
|
|
.Invalid => |r_paren| r_paren,
|
2020-05-09 03:38:08 +01:00
|
|
|
}).end;
|
2020-05-03 22:27:08 +01:00
|
|
|
return tree.source[start..end];
|
|
|
|
}
|
2020-05-04 03:17:19 +01:00
|
|
|
|
2020-05-09 03:38:08 +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.*;
|
2020-05-12 17:59:16 +01:00
|
|
|
const param_decl = param.cast(ast.Node.ParamDecl).?;
|
2020-05-09 03:38:08 +01:00
|
|
|
|
2020-05-16 16:30:16 +01:00
|
|
|
if (param_num != 1) try buffer.appendSlice(", ${") else try buffer.appendSlice("${");
|
2020-05-09 03:38:08 +01:00
|
|
|
|
|
|
|
try buf_stream.print("{}:", .{param_num});
|
|
|
|
|
2020-05-12 17:59:16 +01:00
|
|
|
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(": ");
|
|
|
|
}
|
|
|
|
|
2020-05-16 15:21:42 +01:00
|
|
|
switch (param_decl.param_type) {
|
|
|
|
.var_args => try buffer.appendSlice("..."),
|
|
|
|
.var_type => try buffer.appendSlice("var"),
|
|
|
|
.type_expr => |type_expr| {
|
|
|
|
var curr_tok = type_expr.firstToken();
|
2020-05-16 15:24:41 +01:00
|
|
|
var end_tok = type_expr.lastToken();
|
2020-05-16 15:21:42 +01:00
|
|
|
while (curr_tok <= end_tok) : (curr_tok += 1) {
|
|
|
|
const id = tree.tokens.at(curr_tok).id;
|
|
|
|
const is_comma = tree.tokens.at(curr_tok).id == .Comma;
|
2020-05-13 18:30:57 +01:00
|
|
|
|
2020-05-16 15:21:42 +01:00
|
|
|
if (curr_tok == end_tok and is_comma) continue;
|
2020-05-13 18:30:57 +01:00
|
|
|
|
2020-05-16 15:21:42 +01:00
|
|
|
try buffer.appendSlice(tree.tokenSlice(curr_tok));
|
|
|
|
if (is_comma or id == .Keyword_const) try buffer.append(' ');
|
|
|
|
}
|
2020-05-17 15:23:04 +01:00
|
|
|
},
|
2020-05-09 03:38:08 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
try buffer.append('}');
|
|
|
|
}
|
|
|
|
try buffer.append(')');
|
|
|
|
|
|
|
|
return buffer.toOwnedSlice();
|
|
|
|
}
|
|
|
|
|
2020-05-04 03:17:19 +01:00
|
|
|
/// Gets a function signature (keywords, name, return value)
|
2020-05-09 03:38:08 +01:00
|
|
|
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;
|
|
|
|
return tree.source[start..end];
|
|
|
|
}
|
|
|
|
|
2020-05-16 19:06:48 +01:00
|
|
|
/// Gets a param signature
|
|
|
|
pub fn getParamSignature(tree: *ast.Tree, param: *ast.Node.ParamDecl) []const u8 {
|
|
|
|
const start = tree.tokens.at(param.firstToken()).start;
|
|
|
|
const end = tree.tokens.at(param.lastToken()).end;
|
2020-05-04 03:17:19 +01:00
|
|
|
return tree.source[start..end];
|
|
|
|
}
|
|
|
|
|
2020-05-17 15:23:04 +01:00
|
|
|
pub fn isTypeFunction(tree: *ast.Tree, func: *ast.Node.FnProto) bool {
|
|
|
|
switch (func.return_type) {
|
|
|
|
.Explicit => |node| return if (node.cast(std.zig.ast.Node.Identifier)) |ident|
|
|
|
|
std.mem.eql(u8, tree.tokenSlice(ident.token), "type")
|
|
|
|
else
|
|
|
|
false,
|
|
|
|
.InferErrorSet, .Invalid => return false,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-04 03:17:19 +01:00
|
|
|
// STYLE
|
|
|
|
|
|
|
|
pub fn isCamelCase(name: []const u8) bool {
|
|
|
|
return !std.ascii.isUpper(name[0]) and std.mem.indexOf(u8, name, "_") == null;
|
|
|
|
}
|
2020-05-08 16:01:34 +01:00
|
|
|
|
|
|
|
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-18 21:19:23 +01:00
|
|
|
pub fn getDeclNameToken(tree: *ast.Tree, node: *ast.Node) ?ast.TokenIndex {
|
|
|
|
switch (node.id) {
|
|
|
|
.VarDecl => {
|
|
|
|
const vari = node.cast(ast.Node.VarDecl).?;
|
|
|
|
return vari.name_token;
|
|
|
|
},
|
|
|
|
.ParamDecl => {
|
|
|
|
const decl = node.cast(ast.Node.ParamDecl).?;
|
|
|
|
if (decl.name_token == null) return null;
|
|
|
|
return decl.name_token.?;
|
|
|
|
},
|
|
|
|
.FnProto => {
|
|
|
|
const func = node.cast(ast.Node.FnProto).?;
|
|
|
|
if (func.name_token == null) return null;
|
|
|
|
return func.name_token.?;
|
|
|
|
},
|
|
|
|
.ContainerField => {
|
|
|
|
const field = node.cast(ast.Node.ContainerField).?;
|
|
|
|
return field.name_token;
|
|
|
|
},
|
|
|
|
else => {},
|
|
|
|
}
|
|
|
|
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn getDeclName(tree: *ast.Tree, node: *ast.Node) ?[]const u8 {
|
|
|
|
return tree.tokenSlice(getDeclNameToken(tree, node) orelse return null);
|
|
|
|
}
|
|
|
|
|
2020-05-13 14:03:33 +01:00
|
|
|
/// Gets the child of node
|
2020-05-14 00:10:41 +01:00
|
|
|
pub fn getChild(tree: *ast.Tree, node: *ast.Node, name: []const u8) ?*ast.Node {
|
2020-05-13 14:03:33 +01:00
|
|
|
var index: usize = 0;
|
2020-05-18 21:19:23 +01:00
|
|
|
while (node.iterate(index)) |child| : (index += 1) {
|
|
|
|
const child_name = getDeclName(tree, child) orelse continue;
|
|
|
|
if (std.mem.eql(u8, child_name, name)) return child;
|
2020-05-11 13:28:08 +01:00
|
|
|
}
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2020-05-16 19:06:48 +01:00
|
|
|
/// Gets the child of slice
|
|
|
|
pub fn getChildOfSlice(tree: *ast.Tree, nodes: []*ast.Node, name: []const u8) ?*ast.Node {
|
|
|
|
for (nodes) |child| {
|
2020-05-18 21:19:23 +01:00
|
|
|
const child_name = getDeclName(tree, child) orelse continue;
|
|
|
|
if (std.mem.eql(u8, child_name, name)) return child;
|
2020-05-16 19:06:48 +01:00
|
|
|
}
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2020-05-19 14:42:36 +01:00
|
|
|
fn findReturnStatementInternal(base_node: *ast.Node, already_found: *bool) ?*ast.Node.ControlFlowExpression {
|
|
|
|
var result: ?*ast.Node.ControlFlowExpression = null;
|
|
|
|
var idx: usize = 0;
|
|
|
|
while (base_node.iterate(idx)) |child_node| : (idx += 1) {
|
|
|
|
switch (child_node.id) {
|
|
|
|
.ControlFlowExpression => {
|
|
|
|
const cfe = child_node.cast(ast.Node.ControlFlowExpression).?;
|
|
|
|
if (cfe.kind == .Return) {
|
|
|
|
if (already_found.*) return null;
|
|
|
|
already_found.* = true;
|
|
|
|
result = cfe;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
},
|
|
|
|
else => {},
|
|
|
|
}
|
|
|
|
|
|
|
|
result = findReturnStatementInternal(child_node, already_found);
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn findReturnStatement(base_node: *ast.Node) ?*ast.Node.ControlFlowExpression {
|
|
|
|
var already_found = false;
|
|
|
|
return findReturnStatementInternal(base_node, &already_found);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Resolves the return type of a function
|
2020-05-19 14:47:30 +01:00
|
|
|
fn resolveReturnType(analysis_ctx: *AnalysisContext, fn_decl: *ast.Node.FnProto) ?*ast.Node {
|
2020-05-19 14:42:36 +01:00
|
|
|
if (isTypeFunction(analysis_ctx.tree, fn_decl) and fn_decl.body_node != null) {
|
|
|
|
// If this is a type function and it only contains a single return statement that returns
|
|
|
|
// a container declaration, we will return that declaration.
|
|
|
|
const ret = findReturnStatement(fn_decl.body_node.?) orelse return null;
|
|
|
|
if (ret.rhs) |rhs| if (resolveTypeOfNode(analysis_ctx, rhs)) |res_rhs| switch(res_rhs.id) {
|
2020-05-19 16:53:01 +01:00
|
|
|
.ContainerDecl => {
|
|
|
|
analysis_ctx.onContainer(res_rhs.cast(ast.Node.ContainerDecl).?) catch return null;
|
|
|
|
return res_rhs;
|
|
|
|
},
|
2020-05-19 14:42:36 +01:00
|
|
|
else => return null,
|
|
|
|
};
|
|
|
|
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
|
|
|
return switch (fn_decl.return_type) {
|
|
|
|
.Explicit, .InferErrorSet => |return_type| resolveTypeOfNode(analysis_ctx, return_type),
|
|
|
|
.Invalid => null,
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2020-05-13 14:03:33 +01:00
|
|
|
/// Resolves the type of a node
|
2020-05-14 10:23:20 +01:00
|
|
|
pub fn resolveTypeOfNode(analysis_ctx: *AnalysisContext, node: *ast.Node) ?*ast.Node {
|
2020-05-11 13:28:08 +01:00
|
|
|
switch (node.id) {
|
2020-05-13 14:03:33 +01:00
|
|
|
.VarDecl => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const vari = node.cast(ast.Node.VarDecl).?;
|
2020-05-18 08:28:36 +01:00
|
|
|
|
2020-05-14 10:23:20 +01:00
|
|
|
return resolveTypeOfNode(analysis_ctx, vari.type_node orelse vari.init_node.?) orelse null;
|
2020-05-11 13:28:08 +01:00
|
|
|
},
|
2020-05-16 19:06:48 +01:00
|
|
|
.ParamDecl => {
|
|
|
|
const decl = node.cast(ast.Node.ParamDecl).?;
|
|
|
|
switch (decl.param_type) {
|
|
|
|
.var_type, .type_expr => |var_type| {
|
|
|
|
return resolveTypeOfNode(analysis_ctx, var_type) orelse null;
|
|
|
|
},
|
2020-05-17 15:23:04 +01:00
|
|
|
else => {},
|
2020-05-16 19:06:48 +01:00
|
|
|
}
|
|
|
|
},
|
2020-05-13 14:03:33 +01:00
|
|
|
.Identifier => {
|
2020-05-16 19:06:48 +01:00
|
|
|
if (getChildOfSlice(analysis_ctx.tree, analysis_ctx.scope_nodes, analysis_ctx.tree.getNodeSource(node))) |child| {
|
2020-05-14 10:23:20 +01:00
|
|
|
return resolveTypeOfNode(analysis_ctx, child);
|
2020-05-13 14:03:33 +01:00
|
|
|
} else return null;
|
2020-05-11 13:28:08 +01:00
|
|
|
},
|
2020-05-13 14:03:33 +01:00
|
|
|
.ContainerField => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const field = node.cast(ast.Node.ContainerField).?;
|
2020-05-14 13:15:27 +01:00
|
|
|
return resolveTypeOfNode(analysis_ctx, field.type_expr orelse return null);
|
2020-05-11 13:28:08 +01:00
|
|
|
},
|
2020-05-13 14:03:33 +01:00
|
|
|
.SuffixOp => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const suffix_op = node.cast(ast.Node.SuffixOp).?;
|
2020-05-13 14:03:33 +01:00
|
|
|
switch (suffix_op.op) {
|
2020-05-17 14:40:20 +01:00
|
|
|
.Call, .StructInitializer => {
|
2020-05-19 14:42:36 +01:00
|
|
|
const decl = resolveTypeOfNode(analysis_ctx, suffix_op.lhs.node) orelse return null;
|
|
|
|
return switch (decl.id) {
|
2020-05-19 14:47:30 +01:00
|
|
|
.FnProto => resolveReturnType(analysis_ctx, decl.cast(ast.Node.FnProto).?),
|
2020-05-19 14:42:36 +01:00
|
|
|
else => decl,
|
|
|
|
};
|
2020-05-13 14:03:33 +01:00
|
|
|
},
|
2020-05-16 16:30:16 +01:00
|
|
|
else => {},
|
2020-05-11 13:28:08 +01:00
|
|
|
}
|
|
|
|
},
|
|
|
|
.InfixOp => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const infix_op = node.cast(ast.Node.InfixOp).?;
|
2020-05-13 14:03:33 +01:00
|
|
|
switch (infix_op.op) {
|
|
|
|
.Period => {
|
2020-05-14 10:12:04 +01:00
|
|
|
// Save the child string from this tree since the tree may switch when processing
|
|
|
|
// an import lhs.
|
2020-05-14 10:23:20 +01:00
|
|
|
var rhs_str = nodeToString(analysis_ctx.tree, infix_op.rhs) orelse return null;
|
|
|
|
// Use the analysis context temporary arena to store the rhs string.
|
|
|
|
rhs_str = std.mem.dupe(&analysis_ctx.arena.allocator, u8, rhs_str) catch return null;
|
|
|
|
const left = resolveTypeOfNode(analysis_ctx, infix_op.lhs) orelse return null;
|
2020-05-16 23:30:59 +01:00
|
|
|
return resolveTypeOfNode(analysis_ctx, getChild(analysis_ctx.tree, left, rhs_str) orelse return null);
|
2020-05-13 14:03:33 +01:00
|
|
|
},
|
2020-05-16 16:30:16 +01:00
|
|
|
else => {},
|
2020-05-13 14:03:33 +01:00
|
|
|
}
|
2020-05-11 13:28:08 +01:00
|
|
|
},
|
2020-05-13 20:35:14 +01:00
|
|
|
.PrefixOp => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const prefix_op = node.cast(ast.Node.PrefixOp).?;
|
2020-05-13 20:35:14 +01:00
|
|
|
switch (prefix_op.op) {
|
2020-05-17 15:23:04 +01:00
|
|
|
.SliceType, .ArrayType => return node,
|
2020-05-13 20:35:14 +01:00
|
|
|
.PtrType => {
|
2020-05-17 15:23:04 +01:00
|
|
|
const op_token = analysis_ctx.tree.tokens.at(prefix_op.op_token);
|
|
|
|
switch (op_token.id) {
|
|
|
|
.Asterisk => return resolveTypeOfNode(analysis_ctx, prefix_op.rhs),
|
|
|
|
.LBracket, .AsteriskAsterisk => return null,
|
|
|
|
else => unreachable,
|
|
|
|
}
|
2020-05-13 20:35:14 +01:00
|
|
|
},
|
2020-05-16 16:30:16 +01:00
|
|
|
else => {},
|
2020-05-13 20:35:14 +01:00
|
|
|
}
|
|
|
|
},
|
2020-05-14 00:10:41 +01:00
|
|
|
.BuiltinCall => {
|
|
|
|
const builtin_call = node.cast(ast.Node.BuiltinCall).?;
|
2020-05-19 16:53:01 +01:00
|
|
|
const call_name = analysis_ctx.tree.tokenSlice(builtin_call.builtin_token);
|
|
|
|
if (std.mem.eql(u8, call_name, "@This")) {
|
|
|
|
if (builtin_call.params.len != 0) return null;
|
|
|
|
return analysis_ctx.last_this_node;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!std.mem.eql(u8, call_name, "@import")) return null;
|
2020-05-14 00:10:41 +01:00
|
|
|
if (builtin_call.params.len > 1) return null;
|
|
|
|
|
|
|
|
const import_param = builtin_call.params.at(0).*;
|
|
|
|
if (import_param.id != .StringLiteral) return null;
|
|
|
|
|
2020-05-14 10:23:20 +01:00
|
|
|
const import_str = analysis_ctx.tree.tokenSlice(import_param.cast(ast.Node.StringLiteral).?.token);
|
|
|
|
return analysis_ctx.onImport(import_str[1 .. import_str.len - 1]) catch |err| block: {
|
2020-05-17 15:23:04 +01:00
|
|
|
std.debug.warn("Error {} while processing import {}\n", .{ err, import_str });
|
2020-05-14 10:12:04 +01:00
|
|
|
break :block null;
|
|
|
|
};
|
2020-05-14 00:10:41 +01:00
|
|
|
},
|
2020-05-19 16:53:01 +01:00
|
|
|
.ContainerDecl => {
|
|
|
|
analysis_ctx.onContainer(node.cast(ast.Node.ContainerDecl).?) catch return null;
|
|
|
|
return node;
|
|
|
|
},
|
|
|
|
.MultilineStringLiteral, .StringLiteral, .ErrorSetDecl, .FnProto => return node,
|
2020-05-18 13:46:17 +01:00
|
|
|
else => std.debug.warn("Type resolution case not implemented; {}\n", .{node.id}),
|
2020-05-13 14:03:33 +01:00
|
|
|
}
|
|
|
|
return null;
|
|
|
|
}
|
2020-05-11 13:28:08 +01:00
|
|
|
|
2020-05-14 12:51:07 +01:00
|
|
|
fn maybeCollectImport(tree: *ast.Tree, builtin_call: *ast.Node.BuiltinCall, arr: *std.ArrayList([]const u8)) !void {
|
|
|
|
if (!std.mem.eql(u8, tree.tokenSlice(builtin_call.builtin_token), "@import")) return;
|
|
|
|
if (builtin_call.params.len > 1) return;
|
|
|
|
|
|
|
|
const import_param = builtin_call.params.at(0).*;
|
|
|
|
if (import_param.id != .StringLiteral) return;
|
|
|
|
|
|
|
|
const import_str = tree.tokenSlice(import_param.cast(ast.Node.StringLiteral).?.token);
|
|
|
|
try arr.append(import_str[1 .. import_str.len - 1]);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Collects all imports we can find into a slice of import paths (without quotes).
|
|
|
|
/// The import paths are valid as long as the tree is.
|
2020-05-18 13:14:16 +01:00
|
|
|
pub fn collectImports(import_arr: *std.ArrayList([]const u8), tree: *ast.Tree) !void {
|
2020-05-18 13:46:17 +01:00
|
|
|
// TODO: Currently only detects `const smth = @import("string literal")<.SomeThing>;`
|
2020-05-14 12:51:07 +01:00
|
|
|
var idx: usize = 0;
|
|
|
|
while (tree.root_node.iterate(idx)) |decl| : (idx += 1) {
|
|
|
|
if (decl.id != .VarDecl) continue;
|
|
|
|
const var_decl = decl.cast(ast.Node.VarDecl).?;
|
|
|
|
if (var_decl.init_node == null) continue;
|
2020-05-16 16:30:16 +01:00
|
|
|
|
|
|
|
switch (var_decl.init_node.?.id) {
|
2020-05-14 12:51:07 +01:00
|
|
|
.BuiltinCall => {
|
|
|
|
const builtin_call = var_decl.init_node.?.cast(ast.Node.BuiltinCall).?;
|
2020-05-18 13:14:16 +01:00
|
|
|
try maybeCollectImport(tree, builtin_call, import_arr);
|
2020-05-14 12:51:07 +01:00
|
|
|
},
|
|
|
|
.InfixOp => {
|
|
|
|
const infix_op = var_decl.init_node.?.cast(ast.Node.InfixOp).?;
|
2020-05-16 16:30:16 +01:00
|
|
|
|
|
|
|
switch (infix_op.op) {
|
2020-05-14 12:51:07 +01:00
|
|
|
.Period => {},
|
|
|
|
else => continue,
|
|
|
|
}
|
|
|
|
if (infix_op.lhs.id != .BuiltinCall) continue;
|
2020-05-18 13:14:16 +01:00
|
|
|
try maybeCollectImport(tree, infix_op.lhs.cast(ast.Node.BuiltinCall).?, import_arr);
|
2020-05-14 12:51:07 +01:00
|
|
|
},
|
|
|
|
else => {},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-18 14:21:16 +01:00
|
|
|
pub fn getFieldAccessTypeNode(
|
|
|
|
analysis_ctx: *AnalysisContext,
|
|
|
|
tokenizer: *std.zig.Tokenizer,
|
|
|
|
line_length: usize,
|
|
|
|
) ?*ast.Node {
|
2020-05-14 10:23:20 +01:00
|
|
|
var current_node = &analysis_ctx.tree.root_node.base;
|
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) {
|
2020-05-18 12:53:40 +01:00
|
|
|
.Eof => return current_node,
|
2020-05-13 14:03:33 +01:00
|
|
|
.Identifier => {
|
2020-05-16 19:06:48 +01:00
|
|
|
if (getChildOfSlice(analysis_ctx.tree, analysis_ctx.scope_nodes, tokenizer.buffer[next.start..next.end])) |child| {
|
2020-05-14 10:23:20 +01:00
|
|
|
if (resolveTypeOfNode(analysis_ctx, child)) |node_type| {
|
2020-05-14 00:10:41 +01:00
|
|
|
current_node = node_type;
|
2020-05-13 20:35:14 +01:00
|
|
|
} else return null;
|
2020-05-13 14:03:33 +01:00
|
|
|
} else return null;
|
|
|
|
},
|
|
|
|
.Period => {
|
|
|
|
var after_period = tokenizer.next();
|
2020-05-18 19:59:44 +01:00
|
|
|
if (after_period.id == .Eof or after_period.id == .Comma) {
|
2020-05-13 14:03:33 +01:00
|
|
|
return current_node;
|
|
|
|
} else if (after_period.id == .Identifier) {
|
2020-05-18 14:22:10 +01:00
|
|
|
// TODO: This works for now, maybe we should filter based on the partial identifier ourselves?
|
2020-05-18 14:21:16 +01:00
|
|
|
if (after_period.end == line_length) return current_node;
|
|
|
|
|
2020-05-14 10:23:20 +01:00
|
|
|
if (getChild(analysis_ctx.tree, current_node, tokenizer.buffer[after_period.start..after_period.end])) |child| {
|
|
|
|
if (resolveTypeOfNode(analysis_ctx, child)) |child_type| {
|
2020-05-13 16:43:28 +01:00
|
|
|
current_node = child_type;
|
|
|
|
} else return null;
|
2020-05-13 14:03:33 +01:00
|
|
|
} else return null;
|
|
|
|
}
|
|
|
|
},
|
2020-05-18 12:53:40 +01:00
|
|
|
else => std.debug.warn("Not implemented; {}\n", .{next.id}),
|
2020-05-13 14:03:33 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return current_node;
|
|
|
|
}
|
|
|
|
|
2020-05-14 17:23:26 +01:00
|
|
|
pub fn isNodePublic(tree: *ast.Tree, node: *ast.Node) bool {
|
2020-05-14 17:14:35 +01:00
|
|
|
switch (node.id) {
|
|
|
|
.VarDecl => {
|
|
|
|
const var_decl = node.cast(ast.Node.VarDecl).?;
|
2020-05-14 15:22:15 +01:00
|
|
|
return var_decl.visib_token != null;
|
2020-05-14 17:14:35 +01:00
|
|
|
},
|
|
|
|
.FnProto => {
|
|
|
|
const func = node.cast(ast.Node.FnProto).?;
|
2020-05-14 15:22:15 +01:00
|
|
|
return func.visib_token != null;
|
2020-05-16 16:30:16 +01:00
|
|
|
},
|
2020-05-17 15:23:04 +01:00
|
|
|
else => return true,
|
2020-05-14 17:14:35 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-14 00:10:41 +01:00
|
|
|
pub fn nodeToString(tree: *ast.Tree, node: *ast.Node) ?[]const u8 {
|
2020-05-13 14:03:33 +01:00
|
|
|
switch (node.id) {
|
|
|
|
.ContainerField => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const field = node.cast(ast.Node.ContainerField).?;
|
2020-05-13 14:03:33 +01:00
|
|
|
return tree.tokenSlice(field.name_token);
|
|
|
|
},
|
2020-05-14 17:11:03 +01:00
|
|
|
.ErrorTag => {
|
|
|
|
const tag = node.cast(ast.Node.ErrorTag).?;
|
|
|
|
return tree.tokenSlice(tag.name_token);
|
|
|
|
},
|
2020-05-13 14:03:33 +01:00
|
|
|
.Identifier => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const field = node.cast(ast.Node.Identifier).?;
|
2020-05-13 14:03:33 +01:00
|
|
|
return tree.tokenSlice(field.token);
|
2020-05-11 13:28:08 +01:00
|
|
|
},
|
2020-05-13 16:59:44 +01:00
|
|
|
.FnProto => {
|
2020-05-14 00:10:41 +01:00
|
|
|
const func = node.cast(ast.Node.FnProto).?;
|
2020-05-13 16:59:44 +01:00
|
|
|
if (func.name_token) |name_token| {
|
|
|
|
return tree.tokenSlice(name_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-16 16:30:16 +01:00
|
|
|
},
|
2020-05-11 13:28:08 +01:00
|
|
|
}
|
2020-05-16 16:30:16 +01:00
|
|
|
|
2020-05-13 16:59:44 +01:00
|
|
|
return null;
|
2020-05-13 14:03:33 +01:00
|
|
|
}
|
2020-05-16 19:06:48 +01:00
|
|
|
|
2020-05-18 12:26:52 +01:00
|
|
|
pub fn declsFromIndexInternal(decls: *std.ArrayList(*ast.Node), tree: *ast.Tree, node: *ast.Node) anyerror!void {
|
2020-05-16 19:06:48 +01:00
|
|
|
switch (node.id) {
|
|
|
|
.FnProto => {
|
|
|
|
const func = node.cast(ast.Node.FnProto).?;
|
|
|
|
|
|
|
|
var param_index: usize = 0;
|
|
|
|
while (param_index < func.params.len) : (param_index += 1)
|
2020-05-18 12:26:52 +01:00
|
|
|
try declsFromIndexInternal(decls, tree, func.params.at(param_index).*);
|
2020-05-16 19:06:48 +01:00
|
|
|
|
|
|
|
if (func.body_node) |body_node|
|
2020-05-18 12:26:52 +01:00
|
|
|
try declsFromIndexInternal(decls, tree, body_node);
|
2020-05-16 19:06:48 +01:00
|
|
|
},
|
|
|
|
.Block => {
|
|
|
|
var index: usize = 0;
|
2020-05-18 13:46:17 +01:00
|
|
|
while (node.iterate(index)) |inode| : (index += 1) {
|
2020-05-18 12:26:52 +01:00
|
|
|
try declsFromIndexInternal(decls, tree, inode);
|
2020-05-16 19:06:48 +01:00
|
|
|
}
|
|
|
|
},
|
2020-05-18 12:26:52 +01:00
|
|
|
.VarDecl, .ParamDecl => try decls.append(node),
|
2020-05-18 12:53:40 +01:00
|
|
|
else => try addChildrenNodes(decls, tree, node),
|
2020-05-16 19:06:48 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-18 12:53:40 +01:00
|
|
|
pub fn addChildrenNodes(decls: *std.ArrayList(*ast.Node), tree: *ast.Tree, node: *ast.Node) !void {
|
2020-05-16 19:06:48 +01:00
|
|
|
var index: usize = 0;
|
2020-05-18 12:26:52 +01:00
|
|
|
while (node.iterate(index)) |child_node| : (index += 1) {
|
|
|
|
try decls.append(child_node);
|
2020-05-16 19:06:48 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-18 12:26:52 +01:00
|
|
|
pub fn declsFromIndex(decls: *std.ArrayList(*ast.Node), tree: *ast.Tree, index: usize) !void {
|
2020-05-16 19:06:48 +01:00
|
|
|
var node = &tree.root_node.base;
|
|
|
|
|
2020-05-18 12:53:40 +01:00
|
|
|
try addChildrenNodes(decls, tree, node);
|
2020-05-18 12:26:52 +01:00
|
|
|
var node_index: usize = 0;
|
|
|
|
while (node.iterate(node_index)) |inode| : (node_index += 1) {
|
|
|
|
if (tree.tokens.at(inode.firstToken()).start < index and index < tree.tokens.at(inode.lastToken()).end) {
|
|
|
|
try declsFromIndexInternal(decls, tree, inode);
|
2020-05-16 19:06:48 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|