/*
 * Copyright (C) 2024 olang maintainers
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
#define MUNIT_ENABLE_ASSERT_ALIASES

#include "arena.h"
#include "ast.h"
#include "lexer.h"
#include "list.h"
#include "munit.h"
#include "parser.h"
#include "string_view.h"

#define ARENA_CAPACITY (1024 * 1024)

static MunitResult
parse_program_test(const MunitParameter params[], void *user_data_or_fixture)
{
    arena_t arena = arena_new(ARENA_CAPACITY);

    char *file_path = "main.0";
    char *source_value = "fn main(): u32 {\n\treturn 69\n}";

    lexer_t lexer;
    string_view_t source = { .chars = source_value, .size = strlen(source_value) };
    lexer_init(&lexer, source);

    parser_t parser;
    parser_init(&parser, &lexer, &arena, file_path);

    ast_node_t *program_node = parser_parse_program(&parser);
    assert_not_null(program_node);
    assert_uint(program_node->kind, ==, AST_NODE_PROGRAM);

    ast_program_t program = program_node->data.as_program;
    assert_not_null(program.fn);
    assert_uint(program.fn->kind, ==, AST_NODE_FN_DEF);

    ast_fn_definition_t fn = program.fn->data.as_fn_def;
    assert_memory_equal(fn.identifier.size, fn.identifier.chars, "main");
    assert_uint(fn.return_type, ==, TYPE_U32);

    ast_node_t *block = fn.block;
    assert_not_null(block);

    assert_uint(block->kind, ==, AST_NODE_BLOCK);
    assert_uint(list_size(block->data.as_block.nodes), ==, 1);
    list_item_t *block_item = list_get(block->data.as_block.nodes, 0);
    assert_not_null(block_item);
    assert_not_null(block_item->value);

    ast_node_t *node = (ast_node_t *)block_item->value;
    assert_not_null(node);
    assert_uint(node->kind, ==, AST_NODE_RETURN_STMT);

    ast_node_t *number_node = node->data.as_return_stmt.data;
    assert_not_null(number_node);
    assert_uint(number_node->kind, ==, AST_NODE_LITERAL);
    assert_uint(number_node->data.as_literal.kind, ==, AST_LITERAL_U32);
    assert_uint(number_node->data.as_literal.as_u32, ==, 69);

    arena_free(&arena);

    return MUNIT_OK;
}

static MunitTest tests[] = { { "/parse_program", parse_program_test, NULL, NULL, MUNIT_TEST_OPTION_NONE, NULL },
                             { NULL, NULL, NULL, NULL, MUNIT_TEST_OPTION_NONE, NULL } };

static const MunitSuite suite = { "/parser", tests, NULL, 1, MUNIT_SUITE_OPTION_NONE };

int
main(int argc, char *argv[])
{
    return munit_suite_main(&suite, NULL, argc, argv);
    return EXIT_SUCCESS;
}