@designliquido/delegua 1.18.0 → 1.18.2

package/umd/delegua.js

@@ -822,6 +822,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
     visitarDeclaracaoEscolha(declaracao) {
         const identificadorOuLiteral = declaracao.identificadorOuLiteral;
         const tipo = identificadorOuLiteral.tipo || 'qualquer';
+        const tiposLiteraisCasos = [];
         for (let caminho of declaracao.caminhos) {
             for (let condicao of caminho.condicoes) {
                 switch (condicao.constructor) {
@@ -830,7 +831,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                         const tiposNumericos = ['inteiro', 'número', 'real'];
                         const ambosSaoNumericos = tiposNumericos.includes(condicaoLiteral.tipo) &&
                             tiposNumericos.includes(tipo);
-                        if (condicaoLiteral.tipo !== tipo && !ambosSaoNumericos) {
+                        if (condicaoLiteral.tipo !== tipo && !ambosSaoNumericos && tipo !== 'qualquer') {
                             this.erro({
                                 lexema: condicaoLiteral.valor,
                                 tipo: condicaoLiteral.tipo,
@@ -838,6 +839,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                                 hashArquivo: condicaoLiteral.hashArquivo,
                             }, `'caso ${condicaoLiteral.valor}:' não é do mesmo tipo esperado em 'escolha' (esperado: ${tipo}, atual: ${condicaoLiteral.tipo}).`);
                         }
+                        tiposLiteraisCasos.push(condicaoLiteral.tipo);
                         break;
                     case construtos_1.Variavel:
                         const condicaoVariavel = condicao;
@@ -850,6 +852,23 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                 }
             }
         }
+        if (tipo === 'qualquer' && tiposLiteraisCasos.length > 0 && identificadorOuLiteral instanceof construtos_1.Variavel) {
+            const tiposUnicos = [...new Set(tiposLiteraisCasos)];
+            if (tiposUnicos.length === 1) {
+                const tipoInferido = tiposUnicos[0];
+                const variavelEscopo = this.gerenciadorEscopos.buscar(identificadorOuLiteral.simbolo.lexema);
+                if (variavelEscopo) {
+                    this.sugestao(identificadorOuLiteral.simbolo, `Um tipo melhor pode ser inferido para '${identificadorOuLiteral.simbolo.lexema}': '${tipoInferido}'`, [{
+                            titulo: `Alterar tipo de '${identificadorOuLiteral.simbolo.lexema}' para '${tipoInferido}'`,
+                            textoOriginal: 'qualquer',
+                            textoSubstituto: tipoInferido,
+                            linha: variavelEscopo.linha,
+                            colunaInicio: 0,
+                            colunaFim: 0,
+                        }]);
+                }
+            }
+        }
         return Promise.resolve();
     }
     async visitarDeclaracaoEnquanto(declaracao) {
@@ -1194,9 +1213,12 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                 ];
                 // Classes/construtores geralmente começam com letra maiúscula
                 const pareceSerClasse = nomeFuncao[0] === nomeFuncao[0].toUpperCase();
+                if (pareceSerClasse) {
+                    this.gerenciadorEscopos.marcarComoUsada(nomeFuncao);
+                    break;
+                }
                 // Só verifica se a função existe se não for embutidas e não parecer ser classe
                 if (!funcoesEmbutidas.includes(nomeFuncao) &&
-                    !pareceSerClasse &&
                     !this.funcoes[nomeFuncao] &&
                     !this.gerenciadorEscopos.buscar(nomeFuncao)) {
                     this.erro(entidadeChamadaVariavel.simbolo, `Chamada da função '${nomeFuncao}' não existe.`);
@@ -1274,7 +1296,7 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                     this.erro(argumento.simbolo, `Variável ou função '${argumento.simbolo.lexema}' não existe.`);
                     continue;
                 }
-                if (possivelVariavel && possivelVariavel.valor === undefined) {
+                if (possivelVariavel && !possivelVariavel.inicializada) {
                     this.aviso(argumento.simbolo, `Variável '${argumento.simbolo.lexema}' não foi inicializada.`);
                 }
             }
@@ -1508,6 +1530,9 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
                 this.gerenciadorEscopos.marcarComoUsada(tipoBase);
         }
         for (const metodo of declaracao.metodos) {
+            const tipoRetorno = metodo.funcao.tipo?.replace('[]', '');
+            if (tipoRetorno)
+                this.gerenciadorEscopos.marcarComoUsada(tipoRetorno);
             for (const parametro of metodo.funcao.parametros) {
                 const tipoBase = parametro.tipoDado?.replace('[]', '');
                 if (tipoBase)
@@ -1523,6 +1548,12 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
             for (const metodo of declaracao.metodos) {
                 if (metodo.abstrato)
                     continue;
+                const tipoRetornoMetodo = metodo.funcao.tipo;
+                if (tipoRetornoMetodo &&
+                    !['vazio', 'qualquer'].includes(tipoRetornoMetodo) &&
+                    metodo.funcao.corpo.length === 0) {
+                    this.aviso(metodo.simbolo, `Método especifica tipo de retorno '${tipoRetornoMetodo}', mas não há qualquer retorno correspondente no corpo do método.`);
+                }
                 for (const stmt of metodo.funcao.corpo) {
                     await stmt.aceitar(this);
                 }
@@ -1539,10 +1570,16 @@ class AnalisadorSemantico extends analisador_semantico_base_1.AnalisadorSemantic
         }
         let tipoRetornoFuncao = declaracao.funcao.tipo;
         if (tipoRetornoFuncao) {
+            this.gerenciadorEscopos.marcarComoUsada(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.`);
+                if (declaracao.funcao.corpo.length === 0) {
+                    this.aviso(declaracao.simbolo, `Método especifica tipo de retorno '${tipoRetornoFuncao}', mas não há qualquer retorno correspondente no corpo do método.`);
+                }
+                else {
+                    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 retornos = [];
@@ -3805,9 +3842,26 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         // Isso ocorre quando a importação é feita de uma biblioteca Node.js.
         // Nesse caso, o tipo de `entidadeChamada.objeto` começa com uma letra maiúscula.
         if (entidadeChamada.objeto.tipo && entidadeChamada.objeto.tipo.match(/^[A-Z]/)) {
-            const tipoCorrespondente = this.tiposDefinidosPorBibliotecas[entidadeChamada.objeto.tipo];
+            const tipoObjeto = entidadeChamada.objeto.tipo;
+            // Classe definida em código (local ou importada de arquivo .delegua) tem precedência.
+            if (tipoObjeto in this.tiposDefinidosEmCodigo) {
+                const classeDefinida = this.tiposDefinidosEmCodigo[tipoObjeto];
+                if (classeDefinida instanceof declaracoes_1.Classe) {
+                    const nomeMembro = entidadeChamada.simbolo.lexema;
+                    const metodo = classeDefinida.metodos?.find(m => m.simbolo.lexema === nomeMembro);
+                    if (metodo) {
+                        return metodo.tipo || 'qualquer';
+                    }
+                    const propriedade = classeDefinida.propriedades?.find(p => p.nome.lexema === nomeMembro);
+                    if (propriedade) {
+                        return propriedade.tipo || 'qualquer';
+                    }
+                    return 'qualquer';
+                }
+            }
+            const tipoCorrespondente = this.tiposDefinidosPorBibliotecas[tipoObjeto];
             if (!tipoCorrespondente) {
-                throw new erro_avaliador_sintatico_1.ErroAvaliadorSintatico(entidadeChamada.simbolo, `Tipo '${entidadeChamada.objeto.tipo}' não foi encontrado entre os tipos definidos por bibliotecas.`);
+                throw new erro_avaliador_sintatico_1.ErroAvaliadorSintatico(entidadeChamada.simbolo, `Tipo '${tipoObjeto}' não foi encontrado entre os tipos definidos por bibliotecas.`);
             }
             if (!(entidadeChamada.simbolo.lexema in tipoCorrespondente.metodos) &&
                 !(entidadeChamada.simbolo.lexema in tipoCorrespondente.propriedades)) {
@@ -5312,7 +5366,7 @@ class AvaliadorSintaticoEguaClassico {
         if (this.verificarSeSimboloAtualEIgualA(egua_classico_1.default.NULO))
             return new construtos_1.Literal(this.hashArquivo, 0, null);
         if (this.verificarSeSimboloAtualEIgualA(egua_classico_1.default.ISTO))
-            return new construtos_1.Isto(this.hashArquivo, Number(this.simboloAnterior()));
+            return new construtos_1.Isto(this.hashArquivo, Number(this.simboloAnterior().linha), this.simboloAnterior());
         if (this.verificarSeSimboloAtualEIgualA(egua_classico_1.default.NUMERO, egua_classico_1.default.TEXTO)) {
             return new construtos_1.Literal(this.hashArquivo, 0, this.simboloAnterior().literal);
         }
@@ -7396,7 +7450,7 @@ class AvaliadorSintaticoPitugues {
         this.pilhaEscopos.empilhar(new informacao_escopo_1.InformacaoEscopo());
         // Funções nativas de Delégua (e de Pituguês também, por enquanto)
         this.pilhaEscopos.definirInformacoesVariavel('aleatorio', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('aleatorio', 'número'));
-        this.pilhaEscopos.definirInformacoesVariavel('aleatorioEntre', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('aleatorioEntre', 'número', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('aleatorio_entre', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('aleatorio_entre', 'número', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('minimo', 'número'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('maximo', 'número'),
         ]));
@@ -7412,19 +7466,19 @@ class AvaliadorSintaticoPitugues {
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
-        this.pilhaEscopos.definirInformacoesVariavel('encontrarIndice', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrarIndice', 'inteiro', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('encontrar_indice', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrar_indice', 'inteiro', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
-        this.pilhaEscopos.definirInformacoesVariavel('encontrarUltimo', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrarUltimo', 'inteiro', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('encontrar_ultimo', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrar_ultimo', 'inteiro', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
-        this.pilhaEscopos.definirInformacoesVariavel('encontrarUltimoIndice', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrarUltimoIndice', 'inteiro', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('encontrar_ultimo_indice', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrar_ultimo_indice', 'inteiro', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
-        this.pilhaEscopos.definirInformacoesVariavel('filtrarPor', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('filtrarPor', 'qualquer[]', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('filtrar_por', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('filtrar_por', 'qualquer[]', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoFiltragem', 'função'),
         ]));
@@ -7463,11 +7517,11 @@ class AvaliadorSintaticoPitugues {
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoOrdenacao', 'função'),
         ]));
-        this.pilhaEscopos.definirInformacoesVariavel('paraCada', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('paraCada', 'qualquer[]', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('para_cada', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('para_cada', 'qualquer[]', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoFiltragem', 'função'),
         ]));
-        this.pilhaEscopos.definirInformacoesVariavel('primeiroEmCondicao', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('primeiroEmCondicao', 'qualquer', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('primeiro_em_condicao', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('primeiro_em_condicao', 'qualquer', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoFiltragem', 'função'),
         ]));
@@ -7494,7 +7548,7 @@ class AvaliadorSintaticoPitugues {
         this.pilhaEscopos.definirInformacoesVariavel('todos', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('todos', 'lógico', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('iteravel', 'qualquer'),
         ]));
-        this.pilhaEscopos.definirInformacoesVariavel('todosEmCondicao', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('todosEmCondicao', 'lógico', true, [
+        this.pilhaEscopos.definirInformacoesVariavel('todos_em_condicao', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('todos_em_condicao', 'lógico', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('iteravel', 'qualquer'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoCondicional', 'função'),
         ]));
@@ -43392,7 +43446,12 @@ ${labelFuncao}:
     }
     traduzirConstrutoLiteral(construto) {
         if (typeof construto.valor === 'string') {
-            return this.criaStringLiteral(construto);
+            return this.criarStringLiteral(construto);
+        }
+        if (typeof construto.valor === 'number' &&
+            Number.isFinite(construto.valor) &&
+            !Number.isInteger(construto.valor)) {
+            return this.criarLiteralPontoFlutuante(construto.valor);
         }
         return String(construto.valor);
     }
@@ -43524,7 +43583,10 @@ ${labelProximo}:`;
     traduzirDeclaracaoExpressao(declaracao) {
         if (declaracao.expressao &&
             this.dicionarioConstrutos[declaracao.expressao.constructor.name]) {
-            this.dicionarioConstrutos[declaracao.expressao.constructor.name](declaracao.expressao);
+            const resultado = this.dicionarioConstrutos[declaracao.expressao.constructor.name](declaracao.expressao);
+            if (typeof resultado === 'string' && resultado && resultado !== 'a0') {
+                this.emitirCarga('a0', resultado);
+            }
         }
     }
     traduzirDeclaracaoFazer(declaracao) {
@@ -43738,19 +43800,24 @@ ${labelSenao}:`;
             }
         }
     }
-    criaStringLiteral(literal) {
+    criarStringLiteral(literal) {
         const varLiteral = `Delegua_${this.gerarDigitoAleatorio()}`;
         this.data += `    ${varLiteral}: .asciz "${literal.valor}"\n`;
         return varLiteral;
     }
-    criaTamanhoNaMemoriaReferenteAVar(nomeStringLiteral) {
+    criarLiteralPontoFlutuante(valor) {
+        const varLiteral = `Delegua_${this.gerarDigitoAleatorio()}`;
+        this.data += `    ${varLiteral}: .double ${valor}\n`;
+        return varLiteral;
+    }
+    criarTamanhoNaMemoriaReferenteAVar(nomeStringLiteral) {
         return `tam_${nomeStringLiteral}`;
     }
     traduzirDeclaracaoEscreva(declaracaoEscreva) {
         let nomeStringLiteral = '';
         let tamanhoString = '';
         if (declaracaoEscreva.argumentos[0] instanceof construtos_1.Literal) {
-            nomeStringLiteral = this.criaStringLiteral(declaracaoEscreva.argumentos[0]);
+            nomeStringLiteral = this.criarStringLiteral(declaracaoEscreva.argumentos[0]);
             const stringValue = declaracaoEscreva.argumentos[0].valor;
             tamanhoString = String(stringValue.length);
         }
@@ -44572,7 +44639,7 @@ class TradutorAssemblyScript {
         this.dicionarioConstrutos = {
             AcessoIndiceVariavel: this.traduzirConstrutoAcessoIndiceVariavel.bind(this),
             AcessoMetodo: this.traduzirConstrutoAcessoMetodo.bind(this),
-            AcessoMetodoOuPropriedade: this.traduzirConstrutoAcessoMetodo.bind(this),
+            AcessoMetodoOuPropriedade: this.traduzirConstrutoAcessoMetodoOuPropriedade.bind(this),
             AcessoPropriedade: this.traduzirConstrutoAcessoPropriedade.bind(this),
             Agrupamento: this.traduzirConstrutoAgrupamento.bind(this),
             ArgumentoReferenciaFuncao: this.traduzirConstrutoArgumentoReferenciaFuncao.bind(this),
@@ -44775,7 +44842,7 @@ class TradutorAssemblyScript {
             case 'aleatorio':
                 return `Math.random()`;
             case 'aleatorioEntre':
-            case 'aleatorioente':
+            case 'aleatorioentre':
                 if (argumentos.length >= 2) {
                     return `(Math.random() * (${argumentos[1]} - ${argumentos[0]}) + ${argumentos[0]})`;
                 }
@@ -45673,11 +45740,20 @@ class TradutorAssemblyScript {
         return resultado;
     }
     traduzirConstrutoAcessoMetodo(acessoMetodo) {
+        const nomeMetodo = acessoMetodo.nomeMetodo;
         if (acessoMetodo.objeto instanceof construtos_1.Variavel) {
             let objetoVariavel = acessoMetodo.objeto;
-            return `${objetoVariavel.simbolo.lexema}.${this.traduzirFuncoesNativas(acessoMetodo.simbolo.lexema)}`;
+            return `${objetoVariavel.simbolo.lexema}.${this.traduzirFuncoesNativas(nomeMetodo)}`;
         }
-        return `this.${acessoMetodo.simbolo.lexema}`;
+        return `this.${nomeMetodo}`;
+    }
+    traduzirConstrutoAcessoMetodoOuPropriedade(acessoMetodoOuPropriedade) {
+        const nomeMetodo = acessoMetodoOuPropriedade.simbolo?.lexema;
+        if (acessoMetodoOuPropriedade.objeto instanceof construtos_1.Variavel) {
+            let objetoVariavel = acessoMetodoOuPropriedade.objeto;
+            return `${objetoVariavel.simbolo.lexema}.${this.traduzirFuncoesNativas(nomeMetodo)}`;
+        }
+        return `this.${nomeMetodo}`;
     }
     traduzirConstrutoAcessoIndiceVariavel(acessoIndiceVariavel) {
         let resultado = '';