@designliquido/delegua 1.24.1 → 1.24.3

package/avaliador-sintatico/avaliador-sintatico.js

@@ -630,10 +630,11 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 }
                 return new construtos_1.TipoDe(this.hashArquivo, simboloAtual, construto);
         }
-        // TODO: O correto seria emitir algum aviso aqui que este avaliador sintático não consegue
-        // lidar com tópicos de ajuda neste ponto.
         if (this.emAjuda) {
-            console.log(this.simbolos[this.atual]);
+            const simboloNaoTratado = this.simbolos[this.atual];
+            this.erros.push(this.erro(simboloNaoTratado, `Avaliador sintático não consegue lidar com o tópico de ajuda '${simboloNaoTratado.lexema}'.`));
+            this.avancarEDevolverAnterior();
+            return new construtos_1.Literal(this.hashArquivo, Number(simboloNaoTratado.linha), null, 'nulo');
         }
         throw this.erro(this.simbolos[this.atual], 'Esperado expressão.');
     }
@@ -981,7 +982,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         }
         if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.NAO, delegua_2.default.NEGACAO, delegua_2.default.ADICAO, delegua_2.default.SUBTRACAO, delegua_2.default.BIT_NOT, delegua_2.default.INCREMENTAR, delegua_2.default.DECREMENTAR)) {
             const operador = this.simbolos[this.atual - 1];
-            const direito = await this.unario();
+            const direito = await this.exponenciacao();
             if (operador.tipo === delegua_2.default.NEGACAO ||
                 operador.tipo === delegua_2.default.NAO) {
                 this.verificarOperandoNegacao(operador, direito);
@@ -1584,16 +1585,16 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             throw this.erro(this.simbolos[this.atual], "Esperado palavras reservadas 'em' ou 'de' após variável de iteração em instrução 'para cada'.");
         }
         let vetorOuDicionario = await this.expressao();
-        if (vetorOuDicionario.constructor === construtos_1.AcessoIndiceVariavel) {
-            const construtoAcessoIndiceVariavel = vetorOuDicionario;
-            if (construtoAcessoIndiceVariavel.entidadeChamada.tipo === 'dicionário') {
-                // A avaliação sintática não deve verificar valores de dicionários.
-                // Aqui se supõe que o programador sabe o que está fazendo.
-                // TODO: Talvez pensar numa forma melhor de fazer isso.
-                vetorOuDicionario.tipo = 'vetor';
-            }
+        // Quando o iterável é um acesso a índice de dicionário, o tipo dos elementos
+        // não é determinável estaticamente — assume-se 'qualquer[]' para não bloquear a iteração.
+        let tipoVetor;
+        if (vetorOuDicionario.constructor === construtos_1.AcessoIndiceVariavel &&
+            vetorOuDicionario.entidadeChamada.tipo === 'dicionário') {
+            tipoVetor = 'qualquer[]';
+        }
+        else {
+            tipoVetor = vetorOuDicionario.tipo;
         }
-        const tipoVetor = vetorOuDicionario.tipo;
         if (!tipoVetor.endsWith('[]') &&
             !['dicionário', 'qualquer', 'texto', 'vetor'].includes(tipoVetor)) {
             throw this.erro(simboloPara, `Variável ou constante em 'para cada' não é iterável. Tipo resolvido: ${tipoVetor}.`);
@@ -1770,12 +1771,29 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                         const entidadeChamadaVariavel = construtoChamada.entidadeChamada;
                         tipoInicializacao = entidadeChamadaVariavel.tipo;
                         break;
-                    // TODO: Demais casos
+                    case construtos_1.ReferenciaFuncao:
+                        const entidadeChamadaReferenciaFuncao = construtoChamada.entidadeChamada;
+                        tipoInicializacao = entidadeChamadaReferenciaFuncao.tipo;
+                        break;
+                    case construtos_1.ArgumentoReferenciaFuncao:
+                        tipoInicializacao = 'qualquer';
+                        break;
                     default:
                         break;
                 }
                 break;
-            // TODO: Demais casos
+            case construtos_1.Variavel:
+                tipoInicializacao = expressaoInicializacao.tipo;
+                break;
+            case construtos_1.Literal:
+                tipoInicializacao = expressaoInicializacao.tipo;
+                break;
+            case construtos_1.FuncaoConstruto:
+                tipoInicializacao = `função<${expressaoInicializacao.tipo}>`;
+                break;
+            case construtos_1.AcessoIndiceVariavel:
+                tipoInicializacao = expressaoInicializacao.tipo;
+                break;
             default:
                 break;
         }
@@ -1904,7 +1922,11 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                         const entidadeChamadaAcessoPropriedade = entidadeChamadaChamada;
                         return entidadeChamadaAcessoPropriedade.tipoRetornoPropriedade;
                     case construtos_1.ArgumentoReferenciaFuncao:
-                        // TODO: Voltar aqui se necessário.
+                        const entidadeChamadaArgumentoReferencia = entidadeChamadaChamada;
+                        const referenciaFuncaoArgumentada = this.pilhaEscopos.obterReferenciaFuncao(entidadeChamadaArgumentoReferencia.simboloFuncao.lexema);
+                        if (referenciaFuncaoArgumentada) {
+                            return referenciaFuncaoArgumentada.tipo;
+                        }
                         return 'qualquer';
                     case construtos_1.ReferenciaFuncao:
                         const entidadeChamadaReferenciaFuncao = entidadeChamadaChamada;
@@ -2961,6 +2983,10 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('arredondar', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('arredondar', 'número', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('numero', 'número'),
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('casasDecimais', 'número'),
+        ]));
         this.pilhaEscopos.definirInformacoesVariavel('clonar', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('clonar', 'qualquer', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valor', 'qualquer'),
         ]));
@@ -3061,6 +3087,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoReducao', 'função'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valorInicial', 'qualquer'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('somar', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('somar', 'número', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
+        ]));
         this.pilhaEscopos.definirInformacoesVariavel('tamanho', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('tamanho', 'inteiro', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('objeto', 'qualquer'),
         ]));
@@ -3081,11 +3110,20 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         this.pilhaEscopos.definirInformacoesVariavel('tupla', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('tupla', 'tupla', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('vetor', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('tupla', 'qualquer'),
+        ]));
         // Classe base global `Objeto`, registrada pelo interpretador em tempo de execução.
         this.pilhaEscopos.definirInformacoesVariavel('Objeto', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('Objeto', 'qualquer'));
-        // TODO: Escrever algum tipo de validação aqui.
         for (const tipos of Object.values(this.tiposDeFerramentasExternas)) {
             for (const [nomeTipo, tipo] of Object.entries(tipos)) {
+                if (!nomeTipo || !tipo) {
+                    continue;
+                }
+                if (nomeTipo in this.tiposDefinidosEmCodigo) {
+                    this.erros.push(new erro_avaliador_sintatico_1.ErroAvaliadorSintatico(new simbolo_1.Simbolo(delegua_2.default.IDENTIFICADOR, nomeTipo, nomeTipo, 0, 0), `Tipo '${nomeTipo}' de ferramenta externa conflita com tipo já definido em código.`));
+                    continue;
+                }
                 this.pilhaEscopos.definirInformacoesVariavel(nomeTipo, new informacao_elemento_sintatico_1.InformacaoElementoSintatico(nomeTipo, tipo));
             }
         }