@designliquido/delegua 1.16.3 → 1.17.1

package/avaliador-sintatico/avaliador-sintatico.js

@@ -45,6 +45,14 @@ const primitivas_vetor_1 = __importDefault(require("../bibliotecas/primitivas-ve
 class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBase {
     constructor(performance = false) {
         super();
+        this.pilhaDecoradores = [];
+        this.simbolos = [];
+        this.erros = [];
+        this.tiposDefinidosEmCodigo = {};
+        this.interfacesDeclaradas = {};
+        this.tiposDefinidosPorBibliotecas = {};
+        this.tiposDeFerramentasExternas = {};
+        this.primitivasConhecidas = {};
         this.hashArquivo = 0;
         this.atual = 0;
         this.blocos = 0;
@@ -76,8 +84,33 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         if (!tipoElementarResolvido) {
             throw this.erro(this.simbolos[this.atual], `Tipo de dados desconhecido: '${this.simbolos[this.atual].lexema}'.`);
         }
+        if ((tipoElementarResolvido === 'funcao' || tipoElementarResolvido === 'função') &&
+            this.verificarTipoProximoSimbolo(delegua_2.default.MENOR)) {
+            this.avancarEDevolverAnterior(); // avança por 'funcao'
+            this.avancarEDevolverAnterior(); // avança por '<'
+            const tiposParametros = [];
+            do {
+                tiposParametros.push(this.simbolos[this.atual].lexema);
+                this.avancarEDevolverAnterior();
+            } while (this.verificarSeSimboloAtualEIgualA(delegua_2.default.VIRGULA));
+            // this.atual aponta para '>'
+            const tipoFuncaoGenerico = `${tipoElementarResolvido}<${tiposParametros.join(', ')}>`;
+            if (this.verificarTipoProximoSimbolo(delegua_2.default.COLCHETE_ESQUERDO)) {
+                this.avancarEDevolverAnterior(); // avança por '>'
+                // this.atual aponta para '['
+                if (!this.verificarTipoProximoSimbolo(delegua_2.default.COLCHETE_DIREITO)) {
+                    throw this.erro(this.simbolos[this.atual], `Esperado símbolo de fechamento do vetor: ']'. Atual: ${this.simbolos[this.atual].lexema}`);
+                }
+                this.avancarEDevolverAnterior(); // avança por '['
+                // this.atual aponta para ']'
+                return `${tipoFuncaoGenerico}[]`;
+            }
+            return tipoFuncaoGenerico;
+        }
         if (this.verificarTipoProximoSimbolo(delegua_2.default.COLCHETE_ESQUERDO)) {
             const tiposVetores = [
+                'funcao[]',
+                'função[]',
                 'inteiro[]',
                 'numero[]',
                 'número[]',
@@ -295,7 +328,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         return new construtos_1.ListaCompreensao(Number(this.simbolos[this.atual]), this.hashArquivo, retornoExpressao, vetor, new construtos_1.ParaCadaComoConstruto(retornoExpressao.hashArquivo, retornoExpressao.linha, variavelIteracao, vetor, new declaracoes_1.Bloco(retornoExpressao.hashArquivo, retornoExpressao.linha, [
             new declaracoes_1.Se(condicao, new declaracoes_1.Bloco(retornoExpressao.hashArquivo, retornoExpressao.linha, [
                 new declaracoes_1.Retorna(simboloVariavelIteracao, retornoExpressao),
-            ]), [], null),
+            ]), [], undefined),
         ])), retornoExpressao.tipo ? `${retornoExpressao.tipo}[]` : 'qualquer[]');
     }
     async primario() {
@@ -518,7 +551,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                                 construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaVetorSelecionada.tipoRetorno);
                                 break;
                             default:
-                                if (construtoTipado.tipo in this.tiposDefinidosEmCodigo) {
+                                if (construtoTipado.tipo && construtoTipado.tipo in this.tiposDefinidosEmCodigo) {
                                     const tipoCorrespondente = this.tiposDefinidosEmCodigo[construtoTipado.tipo];
                                     const possivelMetodo = tipoCorrespondente.metodos.filter((m) => m.simbolo.lexema === construtoTipado.simbolo.lexema);
                                     if (possivelMetodo.length > 0) {
@@ -1158,7 +1191,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             if (Array.isArray(retornoDeclaracao)) {
                 declaracoes = declaracoes.concat(retornoDeclaracao);
             }
-            else if (retornoDeclaracao !== null) {
+            else if (retornoDeclaracao != null) {
                 declaracoes.push(retornoDeclaracao);
             }
         }
@@ -1219,7 +1252,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                     const caminhoCondicoes = [await this.expressao()];
                     this.consumir(delegua_2.default.DOIS_PONTOS, "Esperado ':' após o 'caso'.");
                     while (this.verificarTipoSimboloAtual(delegua_2.default.CASO)) {
-                        this.consumir(delegua_2.default.CASO, null);
+                        this.avancarEDevolverAnterior();
                         caminhoCondicoes.push(await this.expressao());
                         this.consumir(delegua_2.default.DOIS_PONTOS, "Esperado ':' após declaração do 'caso'.");
                     }
@@ -1348,6 +1381,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 const identificadorModulo = this.avancarEDevolverAnterior();
                 construtoCaminhoModulo = new construtos_1.Literal(identificadorModulo.hashArquivo, Number(identificadorModulo.linha), identificadorModulo.lexema);
                 break;
+            default:
+                throw this.erro(this.simbolos[this.atual], "Esperado caminho do módulo como texto ou identificador em declaração de importação.");
         }
         const importar = new declaracoes_1.Importar(construtoCaminhoModulo);
         if (identificadorDeTudo !== null) {
@@ -1518,7 +1553,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
     async declaracaoSe() {
         const condicao = await this.expressao();
         const caminhoEntao = (await this.resolverDeclaracao());
-        let caminhoSenao = null;
+        let caminhoSenao = undefined;
         if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.SENAO, delegua_2.default.SENÃO)) {
             caminhoSenao = await this.resolverDeclaracao();
         }
@@ -1635,7 +1670,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         const inicializador = await this.expressao();
         const retornos = [];
         for (let identificador of identificadores) {
-            this.pilhaEscopos.definirInformacoesVariavel(identificador.lexema, new informacao_elemento_sintatico_1.InformacaoElementoSintatico(identificador.lexema, this.logicaComumInferenciaTiposVariaveisEConstantes(inicializador, 'qualquer')));
+            this.pilhaEscopos.definirInformacoesVariavel(identificador.lexema, new informacao_elemento_sintatico_1.InformacaoElementoSintatico(identificador.lexema, this.logicaComumInferenciaTiposVariaveisEConstantes(inicializador, 'qualquer') ?? 'qualquer'));
             const declaracaoVar = new declaracoes_1.Var(identificador, new construtos_1.AcessoMetodoOuPropriedade(this.hashArquivo, inicializador, identificador));
             declaracaoVar.decoradores = Array.from(this.pilhaDecoradores);
             retornos.push(declaracaoVar);
@@ -1686,8 +1721,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 if (entidadeChamadaAcessoIndiceVariavel.constructor === construtos_1.AcessoIndiceVariavel) {
                     return this.logicaComumInferenciaTiposVariaveisEConstantes(entidadeChamadaAcessoIndiceVariavel, tipo);
                 }
-                if (entidadeChamadaAcessoIndiceVariavel.tipo.endsWith('[]')) {
-                    return entidadeChamadaAcessoIndiceVariavel.tipo.slice(0, -2);
+                const tipoEntidadeChamadaAcessoIndiceVariavel = entidadeChamadaAcessoIndiceVariavel.tipo;
+                if (tipoEntidadeChamadaAcessoIndiceVariavel.endsWith('[]')) {
+                    return tipoEntidadeChamadaAcessoIndiceVariavel.slice(0, -2);
                 }
                 // Normalmente, `entidadeChamadaAcessoIndiceVariavel.tipo` aqui será 'vetor'.
                 return 'qualquer';
@@ -1790,7 +1826,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             // Inicialização de variáveis sem valor.
             for (let identificador of identificadores.values()) {
                 this.pilhaEscopos.definirInformacoesVariavel(identificador.lexema, new informacao_elemento_sintatico_1.InformacaoElementoSintatico(identificador.lexema, tipo));
-                retorno.push(new declaracoes_1.Var(identificador, null, tipo, tipoExplicito, Array.from(this.pilhaDecoradores)));
+                retorno.push(new declaracoes_1.Var(identificador, undefined, tipo, tipoExplicito, Array.from(this.pilhaDecoradores)));
             }
             this.verificarSeSimboloAtualEIgualA(delegua_2.default.PONTO_E_VIRGULA);
             this.pilhaDecoradores = [];
@@ -1805,7 +1841,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         }
         for (let [indice, identificador] of identificadores.entries()) {
             const tipoOriginal = tipo; // Preserva o tipo antes da inferência
-            tipo = this.logicaComumInferenciaTiposVariaveisEConstantes(inicializadores[indice], tipo);
+            tipo = this.logicaComumInferenciaTiposVariaveisEConstantes(inicializadores[indice], tipo) ?? tipo;
             if (tipo !== 'dicionário') {
                 this.pilhaEscopos.definirInformacoesVariavel(identificador.lexema, new informacao_elemento_sintatico_1.InformacaoElementoSintatico(identificador.lexema, tipo));
             }
@@ -1873,7 +1909,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         let retorno = [];
         for (let [indice, identificador] of identificadores.entries()) {
             // Se tipo ainda não foi definido, infere.
-            tipo = this.logicaComumInferenciaTiposVariaveisEConstantes(inicializadores[indice], tipo);
+            tipo = this.logicaComumInferenciaTiposVariaveisEConstantes(inicializadores[indice], tipo) ?? tipo;
             if (tipo !== 'dicionário') {
                 this.pilhaEscopos.definirInformacoesVariavel(identificador.lexema, new informacao_elemento_sintatico_1.InformacaoElementoSintatico(identificador.lexema, tipo));
             }
@@ -1913,8 +1949,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         const parametros = [];
         do {
             const parametro = {};
-            if (this.simbolos[this.atual].tipo === delegua_2.default.MULTIPLICACAO) {
-                this.consumir(delegua_2.default.MULTIPLICACAO, null);
+            if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.RETICENCIAS)) {
                 parametro.abrangencia = 'multiplo';
             }
             else {
@@ -2111,7 +2146,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                     continue;
                 }
                 // Documentário (/** ... */)
-                let docAtual = null;
+                let docAtual = undefined;
                 if (this.simbolos[this.atual].tipo === delegua_2.default.DOCUMENTARIO) {
                     const simboloDoc = this.avancarEDevolverAnterior();
                     docAtual = new construtos_1.ComentarioComoConstruto(simboloDoc);
@@ -2514,10 +2549,10 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 await this.resolverDecoradores();
             }
             // Documentário (/** ... */) antes de uma declaração de função.
-            let docTopLevel = null;
+            let documentacaoTopo = undefined;
             if (this.verificarTipoSimboloAtual(delegua_2.default.DOCUMENTARIO)) {
                 const simboloDoc = this.avancarEDevolverAnterior();
-                docTopLevel = new construtos_1.ComentarioComoConstruto(simboloDoc);
+                documentacaoTopo = new construtos_1.ComentarioComoConstruto(simboloDoc);
             }
             // Decoradores podem aparecer após um documentário.
             while (this.verificarTipoSimboloAtual(delegua_2.default.ARROBA)) {
@@ -2534,13 +2569,13 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                     }
                     const declaracaoFuncao = (await this.funcao('funcao'));
                     declaracaoFuncao.eFuncaoDeDecorador = true;
-                    declaracaoFuncao.documentacao = docTopLevel;
+                    declaracaoFuncao.documentacao = documentacaoTopo;
                     return declaracaoFuncao;
                 }
                 if (this.verificarTipoProximoSimbolo(delegua_2.default.IDENTIFICADOR)) {
                     this.avancarEDevolverAnterior();
                     const declaracaoFuncao = (await this.funcao('funcao'));
-                    declaracaoFuncao.documentacao = docTopLevel;
+                    declaracaoFuncao.documentacao = documentacaoTopo;
                     return declaracaoFuncao;
                 }
             }
@@ -2558,7 +2593,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         catch (erro) {
             this.sincronizar();
             this.erros.push(erro);
-            return null;
+            return undefined;
         }
     }
     /**
@@ -2873,7 +2908,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             if (Array.isArray(retornoDeclaracao)) {
                 declaracoes = declaracoes.concat(retornoDeclaracao);
             }
-            else if (retornoDeclaracao !== null) {
+            else if (retornoDeclaracao != null) {
                 declaracoes.push(retornoDeclaracao);
             }
         }