@designliquido/delegua 1.11.0 → 1.12.0

package/avaliador-sintatico/avaliador-sintatico.js

@@ -97,7 +97,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
     }
     async construtoAjuda() {
         const simboloAjuda = this.avancarEDevolverAnterior();
-        if (this.estaNoFinal() || this.simbolos[this.atual].tipo !== delegua_2.default.PARENTESE_ESQUERDO) {
+        if (this.estaNoFinal() ||
+            this.simbolos[this.atual].tipo !== delegua_2.default.PARENTESE_ESQUERDO) {
             return new construtos_1.AjudaComoConstruto(simboloAjuda.hashArquivo, simboloAjuda.linha, undefined, false);
         }
         this.avancarEDevolverAnterior(); // parêntese esquerdo
@@ -524,7 +525,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             // o analisador semântico emitir o diagnóstico quando apropriado.
             tipoIdentificadorCorrespondente = 'qualquer';
         }
-        if (!tipoIdentificadorCorrespondente.endsWith('[]') && !['dicionário', 'qualquer', 'texto', 'tupla', 'vetor'].includes(tipoIdentificadorCorrespondente)) {
+        if (!tipoIdentificadorCorrespondente.endsWith('[]') &&
+            !['dicionário', 'qualquer', 'texto', 'tupla', 'vetor'].includes(tipoIdentificadorCorrespondente)) {
             throw this.erro(this.simbolos[this.atual], `Tipo ${tipoIdentificadorCorrespondente} não suporta acesso por índice.`);
         }
         let tipoAcesso = 'qualquer';
@@ -598,8 +600,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 if (expressaoAnterior.tipo === 'dicionário' &&
                     expressaoAnterior.constructor !== construtos_1.Dicionario) {
                     const elementoMontaoTipos = this.resolverElementoMontao(expressaoAnterior);
-                    if (elementoMontaoTipos &&
-                        nome.lexema in elementoMontaoTipos.subElementos) {
+                    if (elementoMontaoTipos && nome.lexema in elementoMontaoTipos.subElementos) {
                         tipoInferido = elementoMontaoTipos.subElementos[nome.lexema].tipo;
                     }
                 }
@@ -856,7 +857,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         if (construto instanceof construtos_1.Unario) {
             const operando = construto.operando;
             // Verifica se o operando é um vetor
-            if (operando instanceof construtos_1.Vetor || operando.tipo === 'vetor' || operando.tipo.endsWith('[]')) {
+            if (operando instanceof construtos_1.Vetor ||
+                operando.tipo === 'vetor' ||
+                operando.tipo.endsWith('[]')) {
                 return true;
             }
             // Verifica recursivamente para casos como !![]
@@ -1467,7 +1470,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
     }
     async declaracaoSe() {
         const condicao = await this.expressao();
-        const caminhoEntao = await this.resolverDeclaracao();
+        const caminhoEntao = (await this.resolverDeclaracao());
         let caminhoSenao = null;
         if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.SENAO, delegua_2.default.SENÃO)) {
             caminhoSenao = await this.resolverDeclaracao();
@@ -1598,20 +1601,16 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         // Uma delas é a variável/constante ser uma classe padrão.
         // 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]/)) {
+        if (entidadeChamada.objeto.tipo && entidadeChamada.objeto.tipo.match(/^[A-Z]/)) {
             const tipoCorrespondente = this.tiposDefinidosPorBibliotecas[entidadeChamada.objeto.tipo];
             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.`);
             }
-            if (!(entidadeChamada.simbolo.lexema in
-                tipoCorrespondente.metodos) &&
-                !(entidadeChamada.simbolo.lexema in
-                    tipoCorrespondente.propriedades)) {
+            if (!(entidadeChamada.simbolo.lexema in tipoCorrespondente.metodos) &&
+                !(entidadeChamada.simbolo.lexema in tipoCorrespondente.propriedades)) {
                 throw new erro_avaliador_sintatico_1.ErroAvaliadorSintatico(entidadeChamada.simbolo, `Membro '${entidadeChamada.simbolo.lexema}' não existe no tipo '${entidadeChamada.objeto.tipo}'.`);
             }
-            if (entidadeChamada.simbolo.lexema in
-                tipoCorrespondente.metodos) {
+            if (entidadeChamada.simbolo.lexema in tipoCorrespondente.metodos) {
                 const metodoCorrespondente = tipoCorrespondente.metodos[entidadeChamada.simbolo.lexema];
                 return metodoCorrespondente.tipoRetorno || 'qualquer';
             }
@@ -1964,7 +1963,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         this.consumir(delegua_2.default.CHAVE_ESQUERDA, "Esperado '{' antes do corpo da interface.");
         const metodos = [];
         const propriedades = [];
-        while (!this.verificarTipoSimboloAtual(delegua_2.default.CHAVE_DIREITA) && !this.estaNoFinal()) {
+        while (!this.verificarTipoSimboloAtual(delegua_2.default.CHAVE_DIREITA) &&
+            !this.estaNoFinal()) {
             this.verificarSeSimboloAtualEIgualA(delegua_2.default.PONTO_E_VIRGULA);
             if (this.verificarTipoSimboloAtual(delegua_2.default.CHAVE_DIREITA))
                 break;
@@ -2015,7 +2015,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         const simbolo = this.consumir(delegua_2.default.IDENTIFICADOR, 'Esperado nome da classe.');
         // Pré-registro para permitir auto-referência no corpo da própria classe,
         // como em `MinhaClasse.propriedadeEstatica` dentro de métodos.
-        this.tiposDefinidosEmCodigo[simbolo.lexema] = (_a = this.tiposDefinidosEmCodigo[simbolo.lexema]) !== null && _a !== void 0 ? _a : {};
+        this.tiposDefinidosEmCodigo[simbolo.lexema] =
+            (_a = this.tiposDefinidosEmCodigo[simbolo.lexema]) !== null && _a !== void 0 ? _a : {};
         const pilhaDecoradoresClasse = Array.from(this.pilhaDecoradores);
         // Verificar `herda SuperclasseA, SuperclasseB`
         const superClasses = [];
@@ -2053,7 +2054,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
          */
         const compreenderMembros = async (acessoPadrao, ehEstaticoPadrao, ehAbstratoPadrao = false) => {
             var _a;
-            while (!this.verificarTipoSimboloAtual(delegua_2.default.CHAVE_DIREITA) && !this.estaNoFinal()) {
+            while (!this.verificarTipoSimboloAtual(delegua_2.default.CHAVE_DIREITA) &&
+                !this.estaNoFinal()) {
                 // Pular comentários normais dentro do corpo da classe.
                 if (this.simbolos[this.atual].tipo === delegua_2.default.COMENTARIO ||
                     this.simbolos[this.atual].tipo === delegua_2.default.LINHA_COMENTARIO) {
@@ -2074,12 +2076,12 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 // Detecção de bloco de contexto: modificador seguido de '{'
                 const tipoAtual = this.simbolos[this.atual].tipo;
                 const tipoProximo = (_a = this.simbolos[this.atual + 1]) === null || _a === void 0 ? void 0 : _a.tipo;
-                const ehBlocoAcesso = [delegua_2.default.PRIVADO, delegua_2.default.PROTEGIDO].includes(tipoAtual)
-                    && tipoProximo === delegua_2.default.CHAVE_ESQUERDA;
-                const ehBlocoEstatico = tipoAtual === delegua_2.default.ESTATICO
-                    && tipoProximo === delegua_2.default.CHAVE_ESQUERDA;
-                const ehBlocoAbstrato = tipoAtual === delegua_2.default.ABSTRATO
-                    && tipoProximo === delegua_2.default.CHAVE_ESQUERDA;
+                const ehBlocoAcesso = [delegua_2.default.PRIVADO, delegua_2.default.PROTEGIDO].includes(tipoAtual) &&
+                    tipoProximo === delegua_2.default.CHAVE_ESQUERDA;
+                const ehBlocoEstatico = tipoAtual === delegua_2.default.ESTATICO &&
+                    tipoProximo === delegua_2.default.CHAVE_ESQUERDA;
+                const ehBlocoAbstrato = tipoAtual === delegua_2.default.ABSTRATO &&
+                    tipoProximo === delegua_2.default.CHAVE_ESQUERDA;
                 if (ehBlocoAcesso) {
                     const novoAcesso = tipoAtual === delegua_2.default.PRIVADO ? 'privado' : 'protegido';
                     this.avancarEDevolverAnterior(); // consume modificador de acesso
@@ -2176,14 +2178,17 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                             for (const declaracao of corpo) {
                                 expressoesRetorna = expressoesRetorna.concat((0, comum_1.buscarRetornos)(declaracao));
                             }
-                            const tiposRetornos = new Set(expressoesRetorna.filter((e) => e.tipo !== 'qualquer').map((e) => e.tipo));
+                            const tiposRetornos = new Set(expressoesRetorna
+                                .filter((e) => e.tipo !== 'qualquer')
+                                .map((e) => e.tipo));
                             const retornaChamadoExplicitamente = tiposRetornos.size > 0;
                             tiposRetornos.delete('qualquer');
                             if (tipoRetorno === 'qualquer') {
                                 if (tiposRetornos.size > 0) {
                                     tipoRetorno = tiposRetornos.values().next().value;
                                 }
-                                else if (!retornaChamadoExplicitamente && !definicaoExplicitaDeTipo) {
+                                else if (!retornaChamadoExplicitamente &&
+                                    !definicaoExplicitaDeTipo) {
                                     tipoRetorno = 'vazio';
                                 }
                             }
@@ -2239,13 +2244,18 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                                         let tipoAcessor = 'qualquer';
                                         let expressoesRetornaAcessor = [];
                                         for (const declaracao of corpoAcessor) {
-                                            expressoesRetornaAcessor = expressoesRetornaAcessor.concat((0, comum_1.buscarRetornos)(declaracao));
+                                            expressoesRetornaAcessor =
+                                                expressoesRetornaAcessor.concat((0, comum_1.buscarRetornos)(declaracao));
                                         }
-                                        const tiposRetornosAcessor = new Set(expressoesRetornaAcessor.filter((e) => e.tipo !== 'qualquer').map((e) => e.tipo));
+                                        const tiposRetornosAcessor = new Set(expressoesRetornaAcessor
+                                            .filter((e) => e.tipo !== 'qualquer')
+                                            .map((e) => e.tipo));
                                         const retornaExplicitamenteAcessor = tiposRetornosAcessor.size > 0;
                                         tiposRetornosAcessor.delete('qualquer');
                                         if (tiposRetornosAcessor.size > 0) {
-                                            tipoAcessor = tiposRetornosAcessor.values().next().value;
+                                            tipoAcessor = tiposRetornosAcessor
+                                                .values()
+                                                .next().value;
                                         }
                                         else if (!retornaExplicitamenteAcessor) {
                                             tipoAcessor = 'vazio';
@@ -2297,24 +2307,55 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         await compreenderMembros('publico', false);
         this.consumir(delegua_2.default.CHAVE_DIREITA, "Esperado '}' após o escopo da classe.");
         // Verificação em tempo de análise: classe deve implementar todos os contratos das interfaces.
+        const linhaFinalClasse = this.simbolos[this.atual - 1].linha;
         for (const nomeInterface of implementaInterfaces) {
             const interfaceDecl = this.interfacesDeclaradas[nomeInterface.lexema];
             if (!interfaceDecl) {
                 this.erros.push(this.erro(nomeInterface, `Interface '${nomeInterface.lexema}' não foi declarada antes da classe '${simbolo.lexema}'.`));
                 continue;
             }
+            const membrosFaltando = [];
             for (const assinatura of interfaceDecl.metodos) {
                 const nomeMetodo = assinatura.nome.lexema;
                 const implementado = metodos.some((m) => m.simbolo.lexema === nomeMetodo);
                 if (!implementado) {
-                    this.erros.push(this.erro(simbolo, `Classe '${simbolo.lexema}' não implementa o método '${nomeMetodo}' exigido pela interface '${nomeInterface.lexema}'.`));
+                    membrosFaltando.push({
+                        tipo: 'metodo',
+                        nome: nomeMetodo,
+                        parametros: assinatura.parametros.map((p) => ({
+                            nome: p.nome.lexema,
+                            tipoDado: p.tipoDado,
+                        })),
+                        tipoRetorno: assinatura.tipoRetorno,
+                    });
                 }
             }
             for (const prop of interfaceDecl.propriedades) {
                 const nomeProp = prop.nome.lexema;
                 const implementada = propriedades.some((p) => p.nome.lexema === nomeProp);
                 if (!implementada) {
-                    this.erros.push(this.erro(simbolo, `Classe '${simbolo.lexema}' não declara a propriedade '${nomeProp}' exigida pela interface '${nomeInterface.lexema}'.`));
+                    membrosFaltando.push({
+                        tipo: 'propriedade',
+                        nome: nomeProp,
+                        tipoPropriedade: prop.tipo,
+                    });
+                }
+            }
+            if (membrosFaltando.length > 0) {
+                const correcaoSugerida = {
+                    tipo: 'implementar-interface',
+                    nomeInterface: nomeInterface.lexema,
+                    nomeClasse: simbolo.lexema,
+                    membrosFaltando,
+                    linhaFinalClasse,
+                };
+                for (const membro of membrosFaltando) {
+                    const mensagem = membro.tipo === 'metodo'
+                        ? `Classe '${simbolo.lexema}' não implementa o método '${membro.nome}' exigido pela interface '${nomeInterface.lexema}'.`
+                        : `Classe '${simbolo.lexema}' não declara a propriedade '${membro.nome}' exigida pela interface '${nomeInterface.lexema}'.`;
+                    const erro = this.erro(simbolo, mensagem);
+                    erro.correcaoSugerida = correcaoSugerida;
+                    this.erros.push(erro);
                 }
             }
         }
@@ -2342,7 +2383,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         if (!this.primitivasConhecidas[nomeTipo]) {
             this.primitivasConhecidas[nomeTipo] = {};
         }
-        while (!this.verificarTipoSimboloAtual(delegua_2.default.CHAVE_DIREITA) && !this.estaNoFinal()) {
+        while (!this.verificarTipoSimboloAtual(delegua_2.default.CHAVE_DIREITA) &&
+            !this.estaNoFinal()) {
             // Pular comentários dentro do corpo da extensão.
             if (this.simbolos[this.atual].tipo === delegua_2.default.COMENTARIO ||
                 this.simbolos[this.atual].tipo === delegua_2.default.LINHA_COMENTARIO) {
@@ -2390,7 +2432,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             const metodo = new declaracoes_1.FuncaoDeclaracao(nomeMetodo, corpoFuncao, tipoDaFuncao);
             metodos.push(metodo);
             const argumentos = params.map((parametro) => new informacao_elemento_sintatico_1.InformacaoElementoSintatico(parametro.nome.lexema, parametro.tipoDado || 'qualquer', parametro.valorPadrao === undefined));
-            this.primitivasConhecidas[nomeTipo][nomeMetodo.lexema] = new informacao_elemento_sintatico_1.InformacaoElementoSintatico(nomeMetodo.lexema, tipoRetorno, true, argumentos);
+            this.primitivasConhecidas[nomeTipo][nomeMetodo.lexema] =
+                new informacao_elemento_sintatico_1.InformacaoElementoSintatico(nomeMetodo.lexema, tipoRetorno, true, argumentos);
         }
         this.consumir(delegua_2.default.CHAVE_DIREITA, "Esperado '}' ao final da extensão.");
         return new declaracoes_1.Extensao(simboloTipo, metodos, ehGlobal, this.hashArquivo);
@@ -2418,13 +2461,26 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 const simboloDoc = this.avancarEDevolverAnterior();
                 docTopLevel = new construtos_1.ComentarioComoConstruto(simboloDoc);
             }
-            if ((this.verificarTipoSimboloAtual(delegua_2.default.FUNCAO) ||
-                this.verificarTipoSimboloAtual(delegua_2.default.FUNÇÃO)) &&
-                this.verificarTipoProximoSimbolo(delegua_2.default.IDENTIFICADOR)) {
-                this.avancarEDevolverAnterior();
-                const declaracaoFuncao = await this.funcao('funcao');
-                declaracaoFuncao.documentacao = docTopLevel;
-                return declaracaoFuncao;
+            if (this.verificarTipoSimboloAtual(delegua_2.default.FUNCAO) ||
+                this.verificarTipoSimboloAtual(delegua_2.default.FUNÇÃO)) {
+                if (this.verificarTipoProximoSimbolo(delegua_2.default.DE)) {
+                    this.avancarEDevolverAnterior(); // `função`
+                    this.avancarEDevolverAnterior(); // `de`
+                    const simboloDecorador = this.consumir(delegua_2.default.IDENTIFICADOR, "Esperado 'decorador' após 'função de'.");
+                    if (simboloDecorador.lexema !== 'decorador') {
+                        throw this.erro(simboloDecorador, "Esperado 'decorador' após 'função de'.");
+                    }
+                    const declaracaoFuncao = (await this.funcao('funcao'));
+                    declaracaoFuncao.eFuncaoDeDecorador = true;
+                    declaracaoFuncao.documentacao = docTopLevel;
+                    return declaracaoFuncao;
+                }
+                if (this.verificarTipoProximoSimbolo(delegua_2.default.IDENTIFICADOR)) {
+                    this.avancarEDevolverAnterior();
+                    const declaracaoFuncao = (await this.funcao('funcao'));
+                    declaracaoFuncao.documentacao = docTopLevel;
+                    return declaracaoFuncao;
+                }
             }
             if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.CLASSE)) {
                 return await this.declaracaoDeClasse();
@@ -2496,7 +2552,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                     this.verificarTipoSimboloAtual(delegua_2.default.FUNÇÃO)) &&
                     this.verificarTipoProximoSimbolo(delegua_2.default.IDENTIFICADOR)) {
                     this.avancarEDevolverAnterior();
-                    const declaracaoFuncao = await this.funcao('funcao');
+                    const declaracaoFuncao = (await this.funcao('funcao'));
                     declaracaoFuncao.documentacao = new construtos_1.ComentarioComoConstruto(simboloDoc);
                     return declaracaoFuncao;
                 }
@@ -2566,7 +2622,8 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
     }
     async declaracaoAjuda() {
         const simboloAjuda = this.avancarEDevolverAnterior();
-        if (this.estaNoFinal() || this.simbolos[this.atual].tipo !== delegua_2.default.PARENTESE_ESQUERDO) {
+        if (this.estaNoFinal() ||
+            this.simbolos[this.atual].tipo !== delegua_2.default.PARENTESE_ESQUERDO) {
             return new declaracoes_1.Ajuda(simboloAjuda.hashArquivo, simboloAjuda.linha, undefined, false);
         }
         this.avancarEDevolverAnterior(); // parêntese esquerdo
@@ -2708,7 +2765,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valorParaConverter', 'qualquer'),
         ]));
         this.pilhaEscopos.definirInformacoesVariavel('todos', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('todos', 'lógico', true, [
-            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('iteravel', 'qualquer')
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('iteravel', 'qualquer'),
         ]));
         this.pilhaEscopos.definirInformacoesVariavel('todosEmCondicao', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('todosEmCondicao', 'lógico', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('iteravel', 'qualquer'),