static bool analyzer_populate_symbol_table_typeleaf(struct analyzer_traversal_ctx *ctx,
struct ast_node *n)
{
const struct ast_node *search_node;
bool symbol_found_at_first_st;
const struct RFstring *id_name;
struct ast_node *left;
AST_NODE_ASSERT_TYPE(n, AST_TYPE_LEAF);
left = ast_typeleaf_left(n);
id_name = ast_identifier_str(left);
search_node = symbol_table_lookup_node(ctx->current_st,
id_name,
&symbol_found_at_first_st);
if (search_node && symbol_found_at_first_st) {
analyzer_err(ctx->m, ast_node_startmark(n),
ast_node_endmark(n),
"Identifier \""RF_STR_PF_FMT"\" was already used in scope "
"at "INPLOCATION_FMT,
RF_STR_PF_ARG(id_name),
INPLOCATION_ARG(module_get_file(ctx->m),
ast_node_location(search_node)));
return false;
}
if (!symbol_table_add_node(ctx->current_st, ctx->m, id_name, n)) {
RF_ERROR("Could not add a type leaf's node to a symbol table");
return false;
}
return true;
}
static bool analyzer_populate_symbol_table_typedecl(struct analyzer_traversal_ctx *ctx,
struct ast_node *n)
{
const struct ast_node *search_node;
bool symbol_found_at_first_st;
const struct RFstring *type_name;
AST_NODE_ASSERT_TYPE(n, AST_TYPE_DECLARATION);
type_name = ast_typedecl_name_str(n);
search_node = symbol_table_lookup_node(ctx->current_st,
type_name,
&symbol_found_at_first_st);
if (search_node && symbol_found_at_first_st) {
analyzer_err(ctx->m, ast_node_startmark(n),
ast_node_endmark(n),
"Type \""RF_STR_PF_FMT"\" was already declared in scope "
"at "INPLOCATION_FMT,
RF_STR_PF_ARG(type_name),
INPLOCATION_ARG(module_get_file(ctx->m),
ast_node_location(search_node)));
return false;
}
if (!symbol_table_add_node(ctx->current_st, ctx->m, type_name, n)) {
if (!module_have_errors(ctx->m)) {
RF_ERROR("Could not add a typedecl node to a symbol table");
}
return false;
}
return true;
}
static bool analyzer_create_symbol_table_fndecl(struct analyzer_traversal_ctx *ctx,
struct ast_node *n)
{
AST_NODE_ASSERT_TYPE(n, AST_FUNCTION_DECLARATION);
if (!ast_fndecl_symbol_table_init(n, ctx->m)) {
RF_ERROR("Could not initialize symbol table for function declaration node");
return false;
}
// add function to the symbol table
return analyzer_symbol_table_add_fndecl(ctx, n);
}
struct ast_node *ast_typeinstance_create(const struct inplocation_mark *start,
const struct inplocation_mark *end,
struct ast_node *class_name,
struct ast_node *type_name,
struct ast_node *genr)
{
struct ast_node *ret;
AST_NODE_ASSERT_TYPE(class_name, AST_IDENTIFIER);
AST_NODE_ASSERT_TYPE(type_name, AST_IDENTIFIER);
ret = ast_node_create_marks(AST_TYPECLASS_INSTANCE, start, end);
if (!ret) {
RF_ERRNOMEM();
return NULL;
}
ast_node_register_child(ret, class_name, typeinstance.class_name);
ast_node_register_child(ret, type_name, typeinstance.type_name);
ast_node_register_child(ret, genr, typeinstance.generics);
return ret;
}
struct ast_node *ast_typeclass_create(const struct inplocation_mark *start,
const struct inplocation_mark *end,
struct ast_node *name,
struct ast_node *genr)
{
struct ast_node *ret;
AST_NODE_ASSERT_TYPE(name, AST_IDENTIFIER);
ret = ast_node_create_marks(AST_TYPECLASS_DECLARATION, start, end);
if (!ret) {
RF_ERRNOMEM();
return NULL;
}
ast_node_register_child(ret, name, typeclass.name);
ast_node_register_child(ret, genr, typeclass.generics);
return ret;
}
static bool analyzer_populate_symbol_table_vardecl(struct analyzer_traversal_ctx *ctx,
struct ast_node *n)
{
struct ast_node *left;
struct ast_node *desc;
AST_NODE_ASSERT_TYPE(n, AST_VARIABLE_DECLARATION);
desc = ast_vardecl_desc_get(n);
left = ast_typeleaf_left(desc);
if (left->type != AST_IDENTIFIER) {
analyzer_err(ctx->m, ast_node_startmark(left),
ast_node_endmark(left),
"Expected an identifier in the left side of a variable's "
"type description node but "
"found a \""RF_STR_PF_FMT"\"",
RF_STR_PF_ARG(ast_node_str(left)));
return false;
}
return analyzer_populate_symbol_table_typeleaf(ctx, desc);
}
bool ast_identifier_is_wildcard(const struct ast_node *n)
{
AST_NODE_ASSERT_TYPE(n, AST_IDENTIFIER);
return string_is_wildcard(&n->identifier.string);
}
void ast_identifier_print(struct ast_node *n, int depth)
{
AST_NODE_ASSERT_TYPE(n, AST_IDENTIFIER);
printf("%*s", depth * AST_PRINT_DEPTHMUL, " ");
printf("Value: \""RFS_PF"\"\n", RFS_PA(&n->identifier.string));
}
