Refatoração e Expansão de Validações no Analisador Semântico

[Aristidescosta200]

PR: Refatoração e Expansão de Validações no Analisador Semântico

Descrição

Este pull request implementa melhorias significativas no Analisador Semântico, abordando a resolução da issue #37 - Avaliador Sintático: Numa atribuição cujo valor é outra variável, verificar o tipo de valor . As alterações incluem ajustes no código principal, organização dos testes existentes e adição de novos casos para garantir maior robustez e cobertura.

---

Mudanças Realizadas

1. Melhorias no Código Principal

• Adicionada verificação de variáveis não declaradas em declarações e atribuições:

  • Alteração no método visitarDeclaracaoVar para verificar se uma variável usada como inicializador já foi declarada no escopo atual ou superior.
  • Inclusão de diagnóstico apropriado para casos de uso de variáveis não declaradas.

• Validação de tipos em atribuições:

  • Verificação de compatibilidade de tipos em inicializadores de variáveis, com mensagens detalhadas para tipos incompatíveis.
  • Alteração no método visitarExpressaoDeAtribuicao para lidar com validações mais precisas de variáveis referenciadas.

• Reestruturação da lógica de validação de tipos:

  • Criação do método auxiliar validarCompatibilidadeTipos, centralizando a lógica de validação de compatibilidade entre tipos.

2. Organização e Expansão dos Testes

• Casos de Sucesso:

  • Testes para verificar atribuições válidas entre tipos compatíveis.
  • Teste para atribuição válida por índice em arrays.

• Casos de Falha:

  • Verificações para os seguintes cenários:
    • Uso de variáveis não declaradas em atribuições ou chamadas de funções.
    • Atribuições de valores com tipos incompatíveis.
    • Reatribuição de valores a constantes.
    • Chamada de funções inexistentes.
    • Argumentos com tipos incompatíveis em chamadas de funções.

---

[leonelsanchesdasilva]

Excelente trabalho! Obrigado!