Feature/test infastructure (Resposta ao Issue "Review the implementation of the Testing Infrastructure")

[The3rdMega]

Este Pull Request corresponde a entrega do Projeto final da Matéria de Técnicas de Programação 2 com o Professor Rodrigo Bonifácio, no semestre de 2025.1.

Membros do Grupo:

• Arthur Luiz Lima de Araújo - 232000472,
• Michele Nakagomi Lebarbenchon - 232029078,
• Carlos Victor Albuquerque Oliveira - 232009558,
• Pedro Augusto Machado Cardoso - 222011580,
• Erica Martins Feitosa - 231003470.

Modificações Feitas

Environment:

• Escopo do Environment agora armazena Definições de Testes no IndexMap "tests";
• Implementadas funções scrape_tests, lookup_test e map_test para interagir com os Testes no Escopo;
• Criado a estrutura TestResult, que contém (name: Name, result: bool, error: Option), representando resultados da execução de uma função de teste.

Parser:

• Suporta Escrita de Definição de testes:
• Testes são escritos com o formato "test nome_do_teste(): corpo_do_teste; end";
• Não é permitido declarar tipo de retorno ou argumentos para o teste;
• Suporta Escrita de Asserts (assert, asserttrue, assertfalse, asserteq, assertneq):
• Parser garante que o número de argumentos do respectivo assert seja correto, e que todos os campos estejam preenchidos;

TypeChecker:

• Suporta Checagem de Definição de testes:
• Testes devem ter tipo de retorno TVoid, não podem ter o mesmo nome que um teste já declarado e não devem possuir parâmetros, além de que o corpo do teste é checado pela função padrão do TypeChecker;
• Suporta Checagem de Asserts (assert, asserttrue, assertfalse, asserteq, assertneq):
• Primeiros Argumentos de Asserts devem ser do tipo TBool, e o último argumento (mensagem de erro) deve ser TString;

Interpreter:

• Suporta Definição de Testes (Mapeia o teste no escopo correto);
• Suporta Execução de Asserts(assert, asserttrue, assertfalse, asserteq, assertneq):
• Asserts que passam continuam a execução sem alterar nada;
• Asserts que falham retornam um erro em tempo de execução com a mensagem de erro inserida em seus argumentos;
• Suporta Execução de Testes:
• A função run_tests executa o programa inteiro e depois executa todos os testes declarados no programa em um escopo separado criado em cima do environment gerado pelo programa, assim armazenando todos os resultados em um vetor de TestResult.

Testes Unitários:

• Criados múltiplos testes unitários em cada módulo para confirmar a funcionalidade de todas as features implementadas acima.

Novas Dependências

• IndexMap

Quality of Life:

• Estrutura ModTests na AST.rs não foi removida, para talvez futura implementação.