@designliquido/delegua 0.64.0 → 0.65.0

package/analisador-semantico/analisador-semantico.js

@@ -5,34 +5,20 @@ const construtos_1 = require("../construtos");
 const declaracoes_1 = require("../declaracoes");
 const erros_1 = require("../interfaces/erros");
 const analisador_semantico_base_1 = require("./analisador-semantico-base");
+const gerenciador_escopos_1 = require("./gerenciador-escopos");
 const pilha_variaveis_1 = require("./pilha-variaveis");
+/**
+ * O Analisador Semântico de Delégua.
+ */
 class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemanticoBase {
     constructor() {
         super();
         this.pilhaVariaveis = new pilha_variaveis_1.PilhaVariaveis();
-        this.variaveis = {};
+        this.gerenciadorEscopos = new gerenciador_escopos_1.GerenciadorEscopos();
         this.funcoes = {};
         this.atual = 0;
         this.diagnosticos = [];
     }
-    erro(simbolo, mensagem) {
-        this.diagnosticos.push({
-            simbolo: simbolo,
-            mensagem: mensagem,
-            hashArquivo: simbolo.hashArquivo,
-            linha: simbolo.linha,
-            severidade: erros_1.DiagnosticoSeveridade.ERRO,
-        });
-    }
-    aviso(simbolo, mensagem) {
-        this.diagnosticos.push({
-            simbolo: simbolo,
-            mensagem: mensagem,
-            hashArquivo: simbolo.hashArquivo,
-            linha: simbolo.linha,
-            severidade: erros_1.DiagnosticoSeveridade.AVISO,
-        });
-    }
     verificarTipoAtribuido(declaracao) {
         if (declaracao.tipo) {
             if (['vetor', 'qualquer[]', 'inteiro[]', 'texto[]'].includes(declaracao.tipo)) {
@@ -131,7 +117,10 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
         }
     }
     visitarChamadaPorArgumentoReferenciaFuncao(argumentoReferenciaFuncao, argumentos) {
-        const variavelCorrespondente = this.variaveis[argumentoReferenciaFuncao.simboloFuncao.lexema].valor;
+        var _a;
+        const variavelCorrespondente = 
+        // this.variaveis[argumentoReferenciaFuncao.simboloFuncao.lexema].valor;
+        (_a = this.gerenciadorEscopos.buscar(argumentoReferenciaFuncao.simboloFuncao.lexema)) === null || _a === void 0 ? void 0 : _a.valor;
         if (!variavelCorrespondente) {
             return;
         }
@@ -146,7 +135,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
     }
     visitarChamadaPorVariavel(entidadeChamadaVariavel, argumentos) {
         const variavel = entidadeChamadaVariavel;
-        const funcaoChamada = this.variaveis[variavel.simbolo.lexema] || this.funcoes[variavel.simbolo.lexema];
+        const funcaoChamada = this.gerenciadorEscopos.buscar(variavel.simbolo.lexema) || this.funcoes[variavel.simbolo.lexema];
         if (!funcaoChamada) {
             this.erro(entidadeChamadaVariavel.simbolo, `Chamada da função '${entidadeChamadaVariavel.simbolo.lexema}' não existe.`);
             return Promise.resolve();
@@ -155,6 +144,11 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
         this.comparacaoArgumentosContraParametrosFuncao(entidadeChamadaVariavel.simbolo, funcao.parametros, argumentos);
     }
     visitarExpressaoDeChamada(expressao) {
+        for (const argumento of expressao.argumentos) {
+            if (argumento instanceof construtos_1.Variavel) {
+                this.gerenciadorEscopos.marcarComoUsada(argumento.simbolo.lexema);
+            }
+        }
         switch (expressao.entidadeChamada.constructor) {
             case construtos_1.ArgumentoReferenciaFuncao:
                 const entidadeChamadaArgumentoReferenciaFuncao = expressao.entidadeChamada;
@@ -172,8 +166,27 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
         return Promise.resolve();
     }
     visitarExpressaoDeAtribuicao(expressao) {
-        // TODO: Readaptar para trabalhar com `expressao.alvo` sendo um construto.
         let simboloAlvo;
+        switch (expressao.alvo.constructor) {
+            case construtos_1.Variavel:
+                const alvoVariavel = expressao.alvo;
+                simboloAlvo = alvoVariavel.simbolo;
+                break;
+            default:
+                return Promise.resolve();
+        }
+        const variavel = this.gerenciadorEscopos.buscar(simboloAlvo.lexema);
+        if (!variavel) {
+            this.erro(simboloAlvo, `Variável '${simboloAlvo.lexema}' ainda não foi declarada até este ponto.`);
+            return Promise.resolve();
+        }
+        if (variavel.imutavel) {
+            this.erro(simboloAlvo, `Constante '${simboloAlvo.lexema}' não pode ser modificada.`);
+            return Promise.resolve();
+        }
+        // Marca como inicializada após atribuição
+        this.gerenciadorEscopos.marcarComoInicializada(simboloAlvo.lexema, expressao.valor);
+        // TODO: Readaptar para trabalhar com `expressao.alvo` sendo um construto.
         switch (expressao.alvo.constructor) {
             case construtos_1.Variavel:
                 const alvoVariavel = expressao.alvo;
@@ -183,7 +196,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                 // throw new Error(`Implementar atribuição para ${expressao.alvo.constructor}.`);
                 return Promise.resolve();
         }
-        let valor = this.variaveis[simboloAlvo.lexema];
+        let valor = this.gerenciadorEscopos.buscar(simboloAlvo.lexema);
         if (!valor) {
             this.erro(simboloAlvo, `Variável ${simboloAlvo.lexema} ainda não foi declarada até este ponto.`);
             return Promise.resolve();
@@ -232,15 +245,14 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                 }
             }
         }
-        if (valor.imutavel) {
+        /* if (valor.imutavel) {
             this.erro(simboloAlvo, `Constante ${simboloAlvo.lexema} não pode ser modificada.`);
             return Promise.resolve();
-        }
-        else {
+        } else {
             if (this.variaveis[simboloAlvo.lexema]) {
                 this.variaveis[simboloAlvo.lexema].valor = expressao.valor;
             }
-        }
+        } */
     }
     async visitarDeclaracaoDeExpressao(declaracao) {
         return await declaracao.expressao.aceitar(this);
@@ -265,7 +277,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                     case construtos_1.Variavel:
                         const condicaoVariavel = condicao;
                         this.verificarVariavel(condicaoVariavel);
-                        const variavelHipotetica = this.variaveis[condicaoVariavel.simbolo.lexema];
+                        const variavelHipotetica = this.gerenciadorEscopos.buscar(condicaoVariavel.simbolo.lexema);
                         if (variavelHipotetica && typeof variavelHipotetica.valor !== tipo) {
                             this.erro(condicaoVariavel.simbolo, `'caso ${condicaoVariavel.simbolo.lexema}:' não é do mesmo tipo esperado em 'escolha'`);
                         }
@@ -298,7 +310,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
     }
     verificarVariavelBinaria(variavel) {
         this.verificarVariavel(variavel);
-        const variavelHipotetica = this.variaveis[variavel.simbolo.lexema];
+        const variavelHipotetica = this.gerenciadorEscopos.buscar(variavel.simbolo.lexema);
         if (variavelHipotetica &&
             !(variavelHipotetica.valor instanceof construtos_1.Binario) &&
             typeof variavelHipotetica.valor !== 'boolean') {
@@ -307,54 +319,200 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
         return Promise.resolve();
     }
     verificarVariavel(variavel) {
-        const variavelHipotetica = this.variaveis[variavel.simbolo.lexema];
-        if (!variavelHipotetica) {
-            this.erro(variavel.simbolo, `Variável ${variavel.simbolo.lexema} ainda não foi declarada até este ponto.`);
+        const variavelEscopo = this.gerenciadorEscopos.buscar(variavel.simbolo.lexema);
+        if (!variavelEscopo) {
+            this.erro(variavel.simbolo, `Variável '${variavel.simbolo.lexema}' ainda não foi declarada até este ponto.`);
+            return Promise.resolve();
+        }
+        // Marca como usada
+        this.gerenciadorEscopos.marcarComoUsada(variavel.simbolo.lexema);
+        // Verifica se foi inicializada
+        if (!variavelEscopo.inicializada) {
+            this.aviso(variavel.simbolo, `Variável '${variavel.simbolo.lexema}' pode não ter sido inicializada antes do uso.`);
         }
         return Promise.resolve();
     }
     verificarBinario(binario) {
-        this.verificarLadoBinario(binario.direita);
-        this.verificarLadoBinario(binario.esquerda);
+        this.verificarExistenciaConstruto(binario.direita);
+        this.verificarExistenciaConstruto(binario.esquerda);
         this.verificarOperadorBinario(binario);
         return Promise.resolve();
     }
     verificarOperadorBinario(binario) {
-        var _a, _b, _c;
+        if (binario.esquerda instanceof construtos_1.Binario) {
+            this.verificarOperadorBinario(binario.esquerda);
+        }
+        if (binario.direita instanceof construtos_1.Binario) {
+            this.verificarOperadorBinario(binario.direita);
+        }
         const operadoresMatematicos = ['ADICAO', 'SUBTRACAO', 'MULTIPLICACAO', 'DIVISAO', 'MODULO'];
         if (operadoresMatematicos.includes(binario.operador.tipo)) {
-            if (binario.direita instanceof construtos_1.Variavel && binario.esquerda instanceof construtos_1.Variavel) {
-                const tipoDireita = typeof ((_a = this.variaveis[binario.direita.simbolo.lexema]) === null || _a === void 0 ? void 0 : _a.valor);
-                const tipoEsquerda = typeof ((_b = this.variaveis[binario.esquerda.simbolo.lexema]) === null || _b === void 0 ? void 0 : _b.valor);
-                if (tipoDireita !== tipoEsquerda) {
-                    this.erro(binario.operador, `Operação inválida, tipos diferentes.`);
-                }
-            }
+            this.verificarTiposOperandos(binario);
         }
         if (binario.operador.tipo === 'DIVISAO') {
-            switch (binario.direita.constructor) {
-                case construtos_1.Variavel:
-                    const operadorDireitoLiteral = binario.direita;
-                    if (((_c = this.variaveis[operadorDireitoLiteral.simbolo.lexema]) === null || _c === void 0 ? void 0 : _c.valor) === 0) {
-                        this.erro(binario.operador, `Divisão por zero.`);
-                    }
-                    break;
+            this.verificarDivisaoPorZero(binario);
+        }
+    }
+    /**
+     * Verifica se os tipos dos operandos são compatíveis
+     */
+    verificarTiposOperandos(binario) {
+        const tipoEsquerda = this.obterTipoExpressao(binario.esquerda);
+        const tipoDireita = this.obterTipoExpressao(binario.direita);
+        if (tipoEsquerda && tipoDireita && tipoEsquerda !== tipoDireita) {
+            // Verificar se são tipos numéricos compatíveis
+            const tiposNumericos = ['inteiro', 'número', 'real'];
+            const ambosNumericos = tiposNumericos.includes(tipoEsquerda) &&
+                tiposNumericos.includes(tipoDireita);
+            if (!ambosNumericos) {
+                this.aviso(binario.operador, `Operação entre tipos diferentes: tipo esquerdo '${tipoEsquerda}' e tipo direito '${tipoDireita}'. O resultado será resolvido implicitamente.`);
             }
         }
     }
-    verificarLadoBinario(lado) {
-        if (lado instanceof construtos_1.Variavel && !this.variaveis[lado.simbolo.lexema]) {
-            this.erro(lado.simbolo, `Variável ${lado.simbolo.lexema} ainda não foi declarada até este ponto.`);
-            return;
+    /**
+     * Verifica divisão por zero recursivamente
+     */
+    verificarDivisaoPorZero(binario) {
+        const valorDireita = this.avaliarExpressaoConstante(binario.direita);
+        if (valorDireita === 0) {
+            this.erro(binario.operador, `Divisão por zero.`);
+        }
+    }
+    /**
+     * Tenta avaliar uma expressão em tempo de compilação para detectar valores constantes
+     * Retorna o valor se puder ser determinado, ou null caso contrário
+     */
+    avaliarExpressaoConstante(expressao) {
+        if (expressao instanceof construtos_1.Literal) {
+            return expressao.valor;
+        }
+        if (expressao instanceof construtos_1.Variavel) {
+            const variavel = this.gerenciadorEscopos.buscar(expressao.simbolo.lexema);
+            if (!variavel) {
+                return null;
+            }
+            if (variavel.imutavel && variavel.inicializada) {
+                return variavel.valor;
+            }
+            if (variavel.inicializada && variavel.valor !== undefined) {
+                return variavel.valor;
+            }
+            return null;
+        }
+        if (expressao instanceof construtos_1.Binario) {
+            const esquerda = this.avaliarExpressaoConstante(expressao.esquerda);
+            const direita = this.avaliarExpressaoConstante(expressao.direita);
+            if (esquerda !== null && direita !== null) {
+                return this.calcularOperacaoBinaria(expressao.operador.tipo, esquerda, direita);
+            }
+        }
+        if (expressao instanceof construtos_1.Agrupamento) {
+            return this.avaliarExpressaoConstante(expressao.expressao);
+        }
+        return null;
+    }
+    /**
+     * Calcula o resultado de uma operação binária em tempo de compilação
+     */
+    calcularOperacaoBinaria(operador, esquerda, direita) {
+        try {
+            switch (operador) {
+                case 'ADICAO':
+                    return esquerda + direita;
+                case 'SUBTRACAO':
+                    return esquerda - direita;
+                case 'MULTIPLICACAO':
+                    return esquerda * direita;
+                case 'DIVISAO':
+                    return esquerda / direita;
+                case 'MODULO':
+                    return esquerda % direita;
+                case 'MAIOR':
+                    return esquerda > direita;
+                case 'MAIOR_IGUAL':
+                    return esquerda >= direita;
+                case 'MENOR':
+                    return esquerda < direita;
+                case 'MENOR_IGUAL':
+                    return esquerda <= direita;
+                case 'IGUAL':
+                    return esquerda === direita;
+                case 'DIFERENTE':
+                    return esquerda !== direita;
+                default:
+                    return null;
+            }
+        }
+        catch (e) {
+            return null;
+        }
+    }
+    /**
+     * Obtém o tipo de uma expressão (pode ser Literal, Variavel, ou Binario)
+     */
+    obterTipoExpressao(expressao) {
+        if (expressao instanceof construtos_1.Literal) {
+            return expressao.tipo;
+        }
+        if (expressao instanceof construtos_1.Variavel) {
+            const variavel = this.gerenciadorEscopos.buscar(expressao.simbolo.lexema);
+            return (variavel === null || variavel === void 0 ? void 0 : variavel.tipo) || null;
+        }
+        if (expressao instanceof construtos_1.Binario) {
+            // Para binários, tentamos inferir o tipo baseado nos operandos
+            return this.inferirTipoBinario(expressao);
+        }
+        if (expressao instanceof construtos_1.Agrupamento) {
+            return this.obterTipoExpressao(expressao.expressao);
+        }
+        return null;
+    }
+    /**
+     * Infere o tipo de resultado de uma operação binária
+     */
+    inferirTipoBinario(binario) {
+        const tipoEsquerda = this.obterTipoExpressao(binario.esquerda);
+        const tipoDireita = this.obterTipoExpressao(binario.direita);
+        if (!tipoEsquerda || !tipoDireita) {
+            return null;
+        }
+        const operadoresMatematicos = ['ADICAO', 'SUBTRACAO', 'MULTIPLICACAO', 'DIVISAO', 'MODULO'];
+        const operadoresComparacao = ['MAIOR', 'MAIOR_IGUAL', 'MENOR', 'MENOR_IGUAL', 'IGUAL', 'DIFERENTE'];
+        if (operadoresComparacao.includes(binario.operador.tipo)) {
+            return 'lógico';
         }
-        if (lado instanceof construtos_1.Binario) {
-            this.verificarBinario(lado);
+        if (operadoresMatematicos.includes(binario.operador.tipo)) {
+            const tiposNumericos = ['inteiro', 'número', 'real'];
+            if (tiposNumericos.includes(tipoEsquerda) && tiposNumericos.includes(tipoDireita)) {
+                // Se um dos lados é 'real', o resultado é 'real'
+                if (tipoEsquerda === 'real' || tipoDireita === 'real') {
+                    return 'real';
+                }
+                return 'número';
+            }
+            // Concatenação de textos
+            if (tipoEsquerda === 'texto' || tipoDireita === 'texto') {
+                return 'texto';
+            }
+        }
+        return 'qualquer';
+    }
+    verificarExistenciaConstruto(construto) {
+        if (construto instanceof construtos_1.Variavel) {
+            if (!this.gerenciadorEscopos.buscar(construto.simbolo.lexema)) {
+                this.erro(construto.simbolo, `Variável ${construto.simbolo.lexema} ainda não foi declarada até este ponto.`);
+                return;
+            }
+            this.gerenciadorEscopos.marcarComoUsada(construto.simbolo.lexema);
             return;
         }
+        if (construto instanceof construtos_1.Binario) {
+            this.verificarBinario(construto);
+        }
     }
-    verificarLogico(logio) {
-        this.verificarLadoLogico(logio.direita);
-        this.verificarLadoLogico(logio.esquerda);
+    verificarLogico(logico) {
+        this.verificarLadoLogico(logico.direita);
+        this.verificarLadoLogico(logico.esquerda);
         return Promise.resolve();
     }
     verificarChamada(chamada) {
@@ -374,6 +532,43 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
             this.verificarVariavelBinaria(variavel);
         }
     }
+    /**
+     * Verifica interpolações de texto e marca variáveis como usadas
+     */
+    verificarInterpolacaoTexto(texto, literal) {
+        // Regex para encontrar ${identificador}
+        const regexInterpolacao = /\$\{([a-zA-Z_][a-zA-Z0-9_]*)\}/g;
+        let match;
+        while ((match = regexInterpolacao.exec(texto)) !== null) {
+            const nomeVariavel = match[1];
+            // Verifica se a variável existe
+            const variavel = this.gerenciadorEscopos.buscar(nomeVariavel);
+            const funcao = this.funcoes[nomeVariavel];
+            if (!variavel && !funcao) {
+                this.erro({
+                    lexema: nomeVariavel,
+                    tipo: 'IDENTIFICADOR',
+                    linha: literal.linha,
+                    hashArquivo: literal.hashArquivo,
+                    literal: null
+                }, `Variável ou função '${nomeVariavel}' usada em interpolação não existe.`);
+            }
+            else if (variavel) {
+                // Marca como usada
+                this.gerenciadorEscopos.marcarComoUsada(nomeVariavel);
+                // Verifica se foi inicializada
+                if (!variavel.inicializada) {
+                    this.aviso({
+                        lexema: nomeVariavel,
+                        tipo: 'IDENTIFICADOR',
+                        linha: literal.linha,
+                        hashArquivo: literal.hashArquivo,
+                        literal: null
+                    }, `Variável '${nomeVariavel}' usada em interpolação pode não ter sido inicializada.`);
+                }
+            }
+        }
+    }
     visitarDeclaracaoEscreva(declaracao) {
         if (declaracao.argumentos.length === 0) {
             const { linha, hashArquivo } = declaracao;
@@ -387,53 +582,53 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
             this.erro(simbolo, `É preciso ter um ou mais parametros para 'escreva(...)'`);
             return Promise.resolve();
         }
-        const variaveis = declaracao.argumentos.filter((arg) => arg instanceof construtos_1.Variavel);
-        for (let variavel of variaveis) {
-            // TODO: Funções também são consideradas "variáveis" até aqui, mas isso deve mudar futuramente.
-            const possivelVariavel = this.variaveis[variavel.simbolo.lexema];
-            const possivelFuncao = this.funcoes[variavel.simbolo.lexema];
-            if (!possivelVariavel && !possivelFuncao) {
-                this.erro(variavel.simbolo, `Variável ou função '${variavel.simbolo.lexema}' não existe.`);
-                continue;
+        for (const argumento of declaracao.argumentos) {
+            this.marcarVariaveisUsadasEmExpressao(argumento);
+            if (argumento instanceof construtos_1.Literal && argumento.tipo === 'texto') {
+                this.verificarInterpolacaoTexto(argumento.valor, argumento);
             }
-            if (possivelVariavel && possivelVariavel.valor === undefined) {
-                this.aviso(variavel.simbolo, `Variável '${variavel.simbolo.lexema}' não foi inicializada.`);
+            if (argumento instanceof construtos_1.Variavel) {
+                const possivelVariavel = this.gerenciadorEscopos.buscar(argumento.simbolo.lexema);
+                const possivelFuncao = this.funcoes[argumento.simbolo.lexema];
+                if (!possivelVariavel && !possivelFuncao) {
+                    this.erro(argumento.simbolo, `Variável ou função '${argumento.simbolo.lexema}' não existe.`);
+                    continue;
+                }
+                if (possivelVariavel && possivelVariavel.valor === undefined) {
+                    this.aviso(argumento.simbolo, `Variável '${argumento.simbolo.lexema}' não foi inicializada.`);
+                }
             }
         }
         return Promise.resolve();
     }
     visitarDeclaracaoConst(declaracao) {
+        var _a;
         this.verificarTipoAtribuido(declaracao);
-        if (this.variaveis.hasOwnProperty(declaracao.simbolo.lexema)) {
-            this.erro(declaracao.simbolo, 'Declaração de constante já feita.');
-        }
-        else {
-            this.variaveis[declaracao.simbolo.lexema] = {
-                imutavel: true,
-                tipo: declaracao.tipo,
-                valor: declaracao.inicializador.valor,
-            };
+        if (declaracao.inicializador) {
+            this.marcarVariaveisUsadasEmExpressao(declaracao.inicializador);
         }
-        this.virificarTipoDeclaracaoConst(declaracao);
-        return Promise.resolve();
-    }
-    virificarTipoDeclaracaoConst(declaracao) {
-        if (declaracao.inicializador instanceof construtos_1.Binario) {
-            // verificar tipos iguais no lado esquerdo e direito
-            const binario = declaracao.inicializador;
-            this.verificarLadoBinario(binario.direita);
-            this.verificarLadoBinario(binario.esquerda);
-            const tipoDireita = typeof binario.direita.valor;
-            const tipoEsquerda = typeof binario.esquerda.valor;
-            if (tipoDireita !== tipoEsquerda) {
-                this.aviso(declaracao.simbolo, 'Declaração de constante com tipos diferentes.');
-            }
+        const constanteCorrespondente = this.gerenciadorEscopos.buscarNoEscopoAtual(declaracao.simbolo.lexema);
+        if (constanteCorrespondente) {
+            this.erro(declaracao.simbolo, 'Declaração de constante já feita.');
+            return Promise.resolve();
         }
+        this.gerenciadorEscopos.declarar(declaracao.simbolo.lexema, {
+            nome: declaracao.simbolo.lexema,
+            tipo: declaracao.tipo || 'qualquer',
+            imutavel: true,
+            valor: (_a = declaracao.inicializador) === null || _a === void 0 ? void 0 : _a.valor,
+            inicializada: true,
+            usada: false,
+            hashArquivo: declaracao.simbolo.hashArquivo,
+            linha: declaracao.simbolo.linha
+        });
+        // TODO: Verificar inicializador.
         return Promise.resolve();
     }
     visitarDeclaracaoVar(declaracao) {
         this.verificarTipoAtribuido(declaracao);
         if (declaracao.inicializador) {
+            this.marcarVariaveisUsadasEmExpressao(declaracao.inicializador);
             switch (declaracao.inicializador.constructor) {
                 case construtos_1.FuncaoConstruto:
                     const funcaoConstruto = declaracao.inicializador;
@@ -443,14 +638,42 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                     break;
             }
         }
-        const valorInicializador = declaracao.inicializador && declaracao.inicializador.valor
-            ? declaracao.inicializador.valor
-            : declaracao.inicializador;
-        this.variaveis[declaracao.simbolo.lexema] = {
+        let valorInicializador = undefined;
+        if (declaracao.inicializador) {
+            if (declaracao.inicializador.hasOwnProperty('valor')) {
+                valorInicializador = declaracao.inicializador.valor;
+            }
+            else {
+                valorInicializador = declaracao.inicializador;
+            }
+        }
+        const variavel = {
+            nome: declaracao.simbolo.lexema,
+            tipo: declaracao.tipo || 'qualquer',
             imutavel: false,
-            tipo: declaracao.tipo,
-            valor: valorInicializador || undefined,
+            valor: valorInicializador,
+            inicializada: declaracao.inicializador !== null && declaracao.inicializador !== undefined,
+            usada: false,
+            hashArquivo: declaracao.simbolo.hashArquivo,
+            linha: declaracao.simbolo.linha
         };
+        const declaradaComSucesso = this.gerenciadorEscopos.declarar(declaracao.simbolo.lexema, variavel);
+        if (!declaradaComSucesso) {
+            const variavelExistente = this.gerenciadorEscopos.buscarNoEscopoAtual(declaracao.simbolo.lexema);
+            this.aviso(declaracao.simbolo, `Variável '${declaracao.simbolo.lexema}' já foi declarada na linha ${variavelExistente === null || variavelExistente === void 0 ? void 0 : variavelExistente.linha}.`);
+        }
+        return Promise.resolve();
+    }
+    visitarExpressaoFormatacaoEscrita(expressao) {
+        if (expressao.expressao) {
+            /* for (const expressao of expressao.expressoes) {
+                if (expressao instanceof Variavel) {
+                    this.gerenciadorEscopos.marcarComoUsada(expressao.simbolo.lexema);
+                }
+                // Recursively check for variables in more complex expressions
+                this.marcarVariaveisUsadasEmExpressao(expressao);
+            } */
+        }
         return Promise.resolve();
     }
     visitarExpressaoRetornar(declaracao) {
@@ -471,45 +694,63 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
         }
         let tipoRetornoFuncao = declaracao.funcao.tipo;
         if (tipoRetornoFuncao) {
+            if (!['vazio', 'qualquer'].includes(tipoRetornoFuncao)) {
+                const todosOsCaminhosRetornam = this.todosOsCaminhosRetornam(declaracao.funcao.corpo);
+                if (!todosOsCaminhosRetornam) {
+                    this.erro(declaracao.simbolo, `Função '${declaracao.simbolo.lexema}' deve retornar '${tipoRetornoFuncao}' em todos os caminhos de execução.`);
+                }
+            }
             let funcaoContemRetorno = declaracao.funcao.corpo.find((c) => c instanceof declaracoes_1.Retorna);
-            if (funcaoContemRetorno) {
+            if (funcaoContemRetorno && funcaoContemRetorno.valor) {
                 if (tipoRetornoFuncao === 'vazio') {
                     this.erro(declaracao.simbolo, `A função não pode ter nenhum tipo de retorno.`);
                 }
-                const tipoValor = typeof funcaoContemRetorno.valor.valor;
-                if (!['qualquer'].includes(tipoRetornoFuncao)) {
-                    if (tipoValor === 'string') {
-                        if (tipoRetornoFuncao != 'texto') {
+                else {
+                    const tipoValor = typeof funcaoContemRetorno.valor.valor;
+                    if (!['qualquer'].includes(tipoRetornoFuncao)) {
+                        if (tipoValor === 'string' && tipoRetornoFuncao !== 'texto') {
                             this.erro(declaracao.simbolo, `Esperado retorno do tipo '${tipoRetornoFuncao}' dentro da função.`);
                         }
-                    }
-                    if (tipoValor === 'number') {
-                        if (!['inteiro', 'real'].includes(tipoRetornoFuncao)) {
+                        if (tipoValor === 'number' && !['inteiro', 'real', 'número'].includes(tipoRetornoFuncao)) {
                             this.erro(declaracao.simbolo, `Esperado retorno do tipo '${tipoRetornoFuncao}' dentro da função.`);
                         }
                     }
                 }
             }
-            else {
-                if (declaracao.funcao.tipoExplicito &&
-                    !['vazio', 'qualquer'].includes(tipoRetornoFuncao)) {
-                    this.erro(declaracao.simbolo, `Esperado retorno do tipo '${tipoRetornoFuncao}' dentro da função.`);
-                }
-            }
         }
         this.funcoes[declaracao.simbolo.lexema] = {
             valor: declaracao.funcao,
         };
         return Promise.resolve();
     }
+    verificarVariaveisNaoUsadas() {
+        const naoUsadas = this.gerenciadorEscopos.obterVariaveisNaoUsadas();
+        for (let variavel of naoUsadas) {
+            // Verifica se já existe um erro associado à variável.
+            const temErro = this.diagnosticos.some(d => d.severidade === erros_1.DiagnosticoSeveridade.ERRO &&
+                d.simbolo.lexema === variavel.nome);
+            // Se a variável já tem um erro associado, não emitir aviso de não usada.
+            if (temErro) {
+                continue;
+            }
+            this.aviso({
+                lexema: variavel.nome,
+                linha: variavel.linha,
+                tipo: variavel.tipo,
+                hashArquivo: variavel.hashArquivo
+            }, `Variável '${variavel.nome}' foi declarada mas nunca usada.`);
+        }
+    }
     analisar(declaracoes) {
-        this.variaveis = {};
+        this.gerenciadorEscopos = new gerenciador_escopos_1.GerenciadorEscopos();
         this.atual = 0;
         this.diagnosticos = [];
         while (this.atual < declaracoes.length) {
             declaracoes[this.atual].aceitar(this);
             this.atual++;
         }
+        // Verifica variáveis não usadas ao final
+        this.verificarVariaveisNaoUsadas();
         return {
             diagnosticos: this.diagnosticos,
         };