semos/checker.c

#include "compiler.h"
#include <stdlib.h>

size_t common_string_hash_djb2(const unsigned char* value, size_t length)
{
    size_t hash = 5381;
    for (size_t i = 0; i < length && value[i] != '\0'; ++i)
        hash = ((hash << 5) + hash) + value[i];
    return hash;
}

int string_symbol_map_construct(StringSymbolMap* map)
{
    const size_t start_capacity = 4;
    *map = (StringSymbolMap) {
        .data = malloc(sizeof(StringSymbolMap) * start_capacity),
        .length = 0,
        .capacity = start_capacity,
    };
    if (map->data == NULL) {
        return -1;
    }
    return 0;
}

void string_symbol_map_destroy(StringSymbolMap* map)
{
    if (map->data != NULL) {
        free(map->data);
    }
}

Symbol* string_symbol_map_get(const StringSymbolMap* map, size_t key_hash)
{
    for (size_t i = 0; i < map->length; ++i) {
        if (map->data[i].key_hash == key_hash) {
            return &map->data[i].value;
        }
    }
    return NULL;
}

int string_symbol_map_set(StringSymbolMap* map, size_t key_hash, Symbol value)
{
    Symbol* existing = string_symbol_map_get(map, key_hash);
    if (existing != NULL) {
        *existing = value;
        return 0;
    }
    if (map->length + 1 >= map->capacity) {
        map->capacity *= 2;
        StringSymbolMapEntry* data
            = realloc(map->data, sizeof(StringSymbolMapEntry) * map->capacity);
        if (data == NULL) {
            return -1;
        }
        map->data = data;
    }
    map->data[map->length] = (StringSymbolMapEntry) { key_hash, value };
    map->length += 1;
    return 0;
}

int statements_symbols_vec_construct(StatementsSymbolsVec* vec)
{
	const size_t start_capacity = 4;
	StatementsSymbols* data = malloc(start_capacity * sizeof(StatementsSymbols));
	if (data == NULL) {
		return -1;
	}
	*vec = (StatementsSymbolsVec) {
		.data = data,
		.length = 0,
		.capacity = start_capacity,
	};
	return 0;
}

void statements_symbols_vec_destroy(StatementsSymbolsVec* vec)
{
	if (vec->data != NULL) {
		free(vec->data);
	}
}

int statements_symbols_vec_push(StatementsSymbolsVec* vec, StatementsSymbols pair)
{
	if (vec->length + 1 > vec->capacity) {
		StatementsSymbols* new_data = realloc(vec->data, vec->capacity * 2 * sizeof(StatementsSymbols));
		if (new_data == NULL) {
			return -1;
		}
		vec->capacity *= 2;
		vec->data = new_data;
	}
	vec->data[vec->length] = pair;
	vec->length += 1;
	return 0;
}

void symbol_table_construct(SymbolTable* table, SymbolTable* parent)
{
	*table = (SymbolTable) {
		.parent = parent,
		.map = { 0 },
	};
	string_symbol_map_construct(&table->map);
}

void symbol_table_destroy(SymbolTable* table)
{
	string_symbol_map_destroy(&table->map);
}

void checker_construct(Checker* checker)
{
    *checker = (Checker) {
        .failed = false,
		.statements_symbols = { 0 },
    };
	statements_symbols_vec_construct(&checker->statements_symbols);
}

void checker_destroy(Checker* checker)
{
	(void)checker;
}

bool checker_failed(const Checker* checker) { return checker->failed; }

CheckerResult checker_result(Checker* checker)
{
	return (CheckerResult) {
		.head_table = checker->head_table,
		.statements_symbols = checker->statements_symbols,
	};
}

void checker_check_statements(Checker* checker, ASTNode* node)
{
	SymbolTable table;
	symbol_table_construct(&table, &checker->head_table);
    for (size_t i = 0; i < node->statements.length; ++i) {
		checker_check_statement(checker, &table, node->statements.data[i]);
	}
	statements_symbols_vec_push(&checker->statements_symbols, (StatementsSymbols) {
		.table = table,
		.statements = node,
	});
}


void checker_check_statement(Checker* checker, SymbolTable* table, ASTNode* node)
{
	switch (node->node_type) {
            case ASTNodeType_Block:
				checker_check_statements(checker, node);
            case ASTNodeType_If:
            case ASTNodeType_Loop:
            case ASTNodeType_Assign:
            case ASTNodeType_Let:
            case ASTNodeType_Break:
            case ASTNodeType_Fn:
            case ASTNodeType_Return:
                break;
			default:
				break;
        }
}