@designliquido/delegua 0.54.2 → 0.54.4

package/umd/delegua.js

@@ -257,13 +257,13 @@ const informacao_escopo_1 = require("./informacao-escopo");
 const informacao_elemento_sintatico_1 = require("../informacao-elemento-sintatico");
 const comum_1 = require("./comum");
 const montao_tipos_1 = require("./montao-tipos");
+const elemento_montao_tipos_1 = require("./elemento-montao-tipos");
 const delegua_1 = __importDefault(require("../tipos-de-dados/delegua"));
 const delegua_2 = __importDefault(require("../tipos-de-simbolos/delegua"));
 const primitivas_dicionario_1 = __importDefault(require("../bibliotecas/primitivas-dicionario"));
 const primitivas_numero_1 = __importDefault(require("../bibliotecas/primitivas-numero"));
 const primitivas_texto_1 = __importDefault(require("../bibliotecas/primitivas-texto"));
 const primitivas_vetor_1 = __importDefault(require("../bibliotecas/primitivas-vetor"));
-const elemento_montao_tipos_1 = require("./elemento-montao-tipos");
 /**
  * O avaliador sintático (_Parser_) é responsável por transformar os símbolos do Lexador em estruturas de alto nível.
  * Essas estruturas de alto nível são as partes que executam lógica de programação de fato.
@@ -790,6 +790,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
      * @returns A entidade chamada resolvida, se as validações passarem.
      */
     resolverEntidadeChamada(entidadeChamada, argumentos, tipoPrimitiva = undefined) {
+        if (entidadeChamada.constructor === construtos_1.AcessoMetodoOuPropriedade) {
+            return this.resolverEntidadeChamadaAcessoMetodoOuPropriedade(entidadeChamada);
+        }
         if (entidadeChamada.constructor === construtos_1.Variavel) {
             const entidadeChamadaResolvidaVariavel = entidadeChamada;
             if (tipoPrimitiva === 'qualquer') {
@@ -822,9 +825,6 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             }
             return new construtos_1.ArgumentoReferenciaFuncao(entidadeChamadaResolvidaVariavel.hashArquivo, entidadeChamadaResolvidaVariavel.linha, entidadeChamadaResolvidaVariavel.simbolo);
         }
-        if (entidadeChamada.constructor === construtos_1.AcessoMetodoOuPropriedade) {
-            return this.resolverEntidadeChamadaAcessoMetodoOuPropriedade(entidadeChamada);
-        }
         return entidadeChamada;
     }
     finalizarChamada(entidadeChamada, tipoPrimitiva = undefined) {
@@ -1232,7 +1232,16 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         if (!this.verificarSeSimboloAtualEIgualA(delegua_2.default.DE, delegua_2.default.EM)) {
             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'.");
         }
-        const vetor = this.expressao();
+        let vetor = this.expressao();
+        if (vetor.constructor === construtos_1.AcessoIndiceVariavel) {
+            const construtoAcessoIndiceVariavel = vetor;
+            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.
+                vetor.tipo = 'vetor';
+            }
+        }
         if (!vetor.hasOwnProperty('tipo')) {
             throw this.erro(simboloPara, `Variável ou constante em 'para cada' não parece possuir um tipo iterável.`);
         }
@@ -1553,7 +1562,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 switch (entidadeChamadaChamada.constructor) {
                     case construtos_1.AcessoMetodo:
                         const entidadeChamadaAcessoMetodo = entidadeChamadaChamada;
-                        return entidadeChamadaAcessoMetodo.tipoRetornoMetodo;
+                        const tipoRetornoAcessoMetodoResolvido = entidadeChamadaAcessoMetodo.tipoRetornoMetodo.replace('<T>', entidadeChamadaAcessoMetodo.objeto.tipo);
+                        return tipoRetornoAcessoMetodoResolvido;
                     case construtos_1.AcessoMetodoOuPropriedade:
                         // Este caso ocorre quando a variável/constante é do tipo 'qualquer',
                         // e a chamada normalmente é feita para uma primitiva.
@@ -2178,8 +2188,8 @@ function logicaDescobertaRetornoFuncao(avaliadorSintatico, declaracoesDaFuncao,
 }
 function registrarPrimitiva(primitivasConhecidas, tipo, catalogoPrimitivas) {
     primitivasConhecidas[tipo] = {};
-    for (const [nomePrimitivaDicionario, dadosPrimitiva] of Object.entries(catalogoPrimitivas)) {
-        primitivasConhecidas[tipo][nomePrimitivaDicionario] = new informacao_elemento_sintatico_1.InformacaoElementoSintatico(nomePrimitivaDicionario, tipo, true, dadosPrimitiva.argumentos);
+    for (const [nomePrimitiva, dadosPrimitiva] of Object.entries(catalogoPrimitivas)) {
+        primitivasConhecidas[tipo][nomePrimitiva] = new informacao_elemento_sintatico_1.InformacaoElementoSintatico(nomePrimitiva, dadosPrimitiva.tipoRetorno, true, dadosPrimitiva.argumentos);
     }
 }
 
@@ -6317,7 +6327,7 @@ exports.default = {
         assinaturaFormato: `dicionário.remover(chave: qualquer)`,
     },
     valores: {
-        tipoRetorno: 'qualquer[]',
+        tipoRetorno: '<T>[]',
         argumentos: [],
         implementacao: (interpretador, nomePrimitiva, valor) => {
             return Promise.resolve(Object.values(valor));
@@ -11288,7 +11298,7 @@ class InterpretadorBase {
         for (const elemento of interpolacoes) {
             // TODO: Há alguma chance de `elemento` ser `undefined` aqui?
             let valor = elemento === null || elemento === void 0 ? void 0 : elemento.valor;
-            if (valor.hasOwnProperty('valorRetornado')) {
+            if (valor.hasOwnProperty && valor.hasOwnProperty('valorRetornado')) {
                 valor = valor.valorRetornado;
             }
             if (valor.tipo === delegua_2.default.LOGICO) {
@@ -12541,6 +12551,7 @@ const estruturas_1 = require("./estruturas");
 const interpretador_base_1 = require("./interpretador-base");
 const inferenciador_1 = require("../inferenciador");
 const excecoes_1 = require("../excecoes");
+const declaracoes_1 = require("../declaracoes");
 const quebras_1 = require("../quebras");
 const montao_1 = require("./montao");
 const primitivas_dicionario_1 = __importDefault(require("../bibliotecas/primitivas-dicionario"));
@@ -12582,17 +12593,19 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
         if (objeto instanceof quebras_1.RetornoQuebra) {
             return this.resolverValor(objeto.valor);
         }
-        if (objeto.hasOwnProperty && objeto.hasOwnProperty('valorRetornado')) {
-            return this.resolverValor(objeto.valorRetornado);
-        }
-        if (objeto.hasOwnProperty('valor')) {
-            if (Array.isArray(objeto.valor)) {
-                return this.resolverValor(objeto.valor);
+        if (objeto.hasOwnProperty) {
+            if (objeto.hasOwnProperty('valorRetornado')) {
+                return this.resolverValor(objeto.valorRetornado);
             }
-            if (objeto.valor instanceof estruturas_1.ReferenciaMontao) {
-                return this.resolverReferenciaMontao(objeto.valor);
+            if (objeto.hasOwnProperty('valor')) {
+                if (Array.isArray(objeto.valor)) {
+                    return this.resolverValor(objeto.valor);
+                }
+                if (objeto.valor instanceof estruturas_1.ReferenciaMontao) {
+                    return this.resolverReferenciaMontao(objeto.valor);
+                }
+                return objeto.valor;
             }
-            return objeto.valor;
         }
         return objeto;
     }
@@ -12604,7 +12617,8 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
         }
         if (objeto.valor instanceof estruturas_1.ObjetoPadrao)
             return objeto.valor.paraTexto();
-        if (objeto instanceof estruturas_1.ObjetoDeleguaClasse || objeto instanceof estruturas_1.DeleguaFuncao)
+        if (objeto instanceof estruturas_1.ObjetoDeleguaClasse ||
+            objeto instanceof estruturas_1.DeleguaFuncao)
             return objeto.paraTexto();
         if (objeto instanceof quebras_1.RetornoQuebra) {
             if (typeof objeto.valor === 'boolean')
@@ -12642,7 +12656,7 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
                 if (typeof valor === primitivos_1.default.BOOLEANO) {
                     valor = valor ? 'verdadeiro' : 'falso';
                 }
-                if (valor instanceof estruturas_1.ReferenciaMontao) {
+                if (valor instanceof estruturas_1.ReferenciaMontao || ((valor === null || valor === void 0 ? void 0 : valor.hasOwnProperty) && (valor === null || valor === void 0 ? void 0 : valor.hasOwnProperty('tipo')))) {
                     valor = this.resolverValor(valor);
                 }
                 objetoEscrita[propriedade] = valor;
@@ -13035,6 +13049,9 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
         // Objeto simples do JavaScript, ou dicionário de Delégua.
         if (objeto.constructor === Object) {
             if (expressao.simbolo.lexema in primitivas_dicionario_1.default) {
+                if (!(expressao.simbolo.lexema in primitivas_numero_1.default)) {
+                    throw new excecoes_1.ErroEmTempoDeExecucao(expressao.simbolo, `Método de primitiva '${expressao.simbolo.lexema}' não existe para o tipo dicionário.`);
+                }
                 const metodoDePrimitivaDicionario = primitivas_dicionario_1.default[expressao.simbolo.lexema].implementacao;
                 return new estruturas_1.MetodoPrimitiva(nomeObjeto, objeto, metodoDePrimitivaDicionario);
             }
@@ -13056,12 +13073,18 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
             case delegua_1.default.INTEIRO:
             case delegua_1.default.NUMERO:
             case delegua_1.default.NÚMERO:
+                if (!(expressao.simbolo.lexema in primitivas_numero_1.default)) {
+                    throw new excecoes_1.ErroEmTempoDeExecucao(expressao.simbolo, `Método de primitiva '${expressao.simbolo.lexema}' não existe para o tipo ${tipoObjeto}.`);
+                }
                 const metodoDePrimitivaNumero = primitivas_numero_1.default[expressao.simbolo.lexema].implementacao;
                 if (metodoDePrimitivaNumero) {
                     return new estruturas_1.MetodoPrimitiva(nomeObjeto, objeto, metodoDePrimitivaNumero);
                 }
                 break;
             case delegua_1.default.TEXTO:
+                if (!(expressao.simbolo.lexema in primitivas_texto_1.default)) {
+                    throw new excecoes_1.ErroEmTempoDeExecucao(expressao.simbolo, `Método de primitiva '${expressao.simbolo.lexema}' não existe para o tipo ${tipoObjeto}.`);
+                }
                 const metodoDePrimitivaTexto = primitivas_texto_1.default[expressao.simbolo.lexema].implementacao;
                 if (metodoDePrimitivaTexto) {
                     return new estruturas_1.MetodoPrimitiva(nomeObjeto, objeto, metodoDePrimitivaTexto);
@@ -13075,6 +13098,9 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
             case delegua_1.default.VETOR_NÚMERO:
             case delegua_1.default.VETOR_QUALQUER:
             case delegua_1.default.VETOR_TEXTO:
+                if (!(expressao.simbolo.lexema in primitivas_vetor_1.default)) {
+                    throw new excecoes_1.ErroEmTempoDeExecucao(expressao.simbolo, `Método de primitiva '${expressao.simbolo.lexema}' não existe para o tipo ${tipoObjeto}.`);
+                }
                 const metodoDePrimitivaVetor = primitivas_vetor_1.default[expressao.simbolo.lexema].implementacao;
                 if (metodoDePrimitivaVetor) {
                     return new estruturas_1.MetodoPrimitiva(nomeObjeto, objeto, metodoDePrimitivaVetor);
@@ -13326,41 +13352,42 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
     }
     async visitarExpressaoTipoDe(expressao) {
         let valorTipoDe = expressao.valor;
-        switch (valorTipoDe.constructor.name) {
-            case 'AcessoIndiceVariavel':
-            case 'Agrupamento':
-            case 'Binario':
-            case 'Chamada':
-            case 'Dicionario':
-            case 'Unario':
+        switch (valorTipoDe.constructor) {
+            case construtos_1.AcessoIndiceVariavel:
+            case construtos_1.Agrupamento:
+            case construtos_1.Binario:
+            case construtos_1.Chamada:
+            case construtos_1.Dicionario:
+            case construtos_1.Unario:
                 valorTipoDe = await this.avaliar(valorTipoDe);
                 if (valorTipoDe instanceof estruturas_1.ReferenciaMontao) {
                     valorTipoDe = this.montao.obterReferencia(this.hashArquivoDeclaracaoAtual, this.linhaDeclaracaoAtual, valorTipoDe.endereco);
                 }
                 return valorTipoDe.tipo || (0, inferenciador_1.inferirTipoVariavel)(valorTipoDe);
-            case 'AcessoMetodo':
+            case construtos_1.AcessoMetodo:
                 const acessoMetodo = valorTipoDe;
-                return `método<${acessoMetodo.tipoRetornoMetodo}>`;
-            case 'AcessoPropriedade':
+                const tipoRetornoMetodoResolvido = acessoMetodo.tipoRetornoMetodo.replace('<T>', acessoMetodo.objeto.tipo);
+                return `método<${tipoRetornoMetodoResolvido}>`;
+            case construtos_1.AcessoPropriedade:
                 const acessoPropriedade = valorTipoDe;
                 return acessoPropriedade.tipoRetornoPropriedade;
-            case 'AcessoMetodoOuPropriedade':
+            case construtos_1.AcessoMetodoOuPropriedade:
                 // TODO: Deve ser removido mais futuramente.
                 // Apenas `AcessoMetodo` e `AcessoPropriedade` devem funcionar aqui.
                 throw new excecoes_1.ErroEmTempoDeExecucao(expressao.simbolo, 'Não deveria cair aqui.');
-            case 'Escreva':
+            case declaracoes_1.Escreva:
                 return 'função<vazio>';
-            case 'Leia':
+            case construtos_1.Leia:
                 return 'função<texto>';
-            case 'Literal':
+            case construtos_1.Literal:
                 const tipoLiteral = valorTipoDe;
                 return tipoLiteral.tipo;
-            case 'TipoDe':
+            case construtos_1.TipoDe:
                 const alvoTipoDe = await this.avaliar(valorTipoDe);
                 return `tipo de<${alvoTipoDe}>`;
-            case 'Variavel':
+            case construtos_1.Variavel:
                 return valorTipoDe.tipo;
-            case 'Vetor':
+            case construtos_1.Vetor:
                 const vetor = valorTipoDe;
                 const apenasValores = vetor.valores.filter((v) => !['ComentarioComoConstruto', 'Separador'].includes(v.constructor.name));
                 return (0, inferenciador_1.inferirTipoVariavel)(apenasValores);
@@ -13442,7 +13469,7 @@ class Interpretador extends interpretador_base_1.InterpretadorBase {
 }
 exports.Interpretador = Interpretador;
 
-},{"../bibliotecas/primitivas-dicionario":20,"../bibliotecas/primitivas-numero":21,"../bibliotecas/primitivas-texto":22,"../bibliotecas/primitivas-vetor":23,"../construtos":49,"../excecoes":106,"../inferenciador":112,"../quebras":176,"../tipos-de-dados/delegua":177,"../tipos-de-dados/primitivos":179,"./estruturas":145,"./interpretador-base":152,"./montao":154}],154:[function(require,module,exports){
+},{"../bibliotecas/primitivas-dicionario":20,"../bibliotecas/primitivas-numero":21,"../bibliotecas/primitivas-texto":22,"../bibliotecas/primitivas-vetor":23,"../construtos":49,"../declaracoes":93,"../excecoes":106,"../inferenciador":112,"../quebras":176,"../tipos-de-dados/delegua":177,"../tipos-de-dados/primitivos":179,"./estruturas":145,"./interpretador-base":152,"./montao":154}],154:[function(require,module,exports){
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Montao = void 0;