@designliquido/delegua 1.17.2 → 1.18.1

package/avaliador-sintatico/avaliador-sintatico.js

@@ -17,6 +17,7 @@ const informacao_elemento_sintatico_1 = require("../informacao-elemento-sintatic
 const comum_1 = require("./comum");
 const montao_tipos_1 = require("./montao-tipos");
 const elemento_montao_tipos_1 = require("./elemento-montao-tipos");
+const simbolo_1 = require("../lexador/simbolo");
 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"));
@@ -74,7 +75,16 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
     verificarDefinicaoTipoAtual() {
         const tipos = [...Object.values(delegua_1.default)];
         if (this.simbolos[this.atual].lexema in this.tiposDefinidosEmCodigo) {
-            return this.simbolos[this.atual].lexema;
+            const nomeBase = this.simbolos[this.atual].lexema;
+            if (this.verificarTipoProximoSimbolo(delegua_2.default.COLCHETE_ESQUERDO)) {
+                this.avancarEDevolverAnterior(); // avança do tipo 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 de '[' para ']'
+                return `${nomeBase}[]`;
+            }
+            return nomeBase;
         }
         if (this.simbolos[this.atual].lexema in this.interfacesDeclaradas) {
             return this.simbolos[this.atual].lexema;
@@ -175,6 +185,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             case delegua_2.default.EXTENSAO:
                 this.avancarEDevolverAnterior();
                 return new construtos_1.Literal(this.hashArquivo, Number(simboloAtual.linha), 'extensao', 'texto');
+            case delegua_2.default.ASSERCAO:
+                this.avancarEDevolverAnterior();
+                return new construtos_1.Literal(this.hashArquivo, Number(simboloAtual.linha), 'assercao', 'texto');
             default:
                 return undefined;
         }
@@ -1326,6 +1339,38 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         const expressaoFalha = await this.expressao();
         return new declaracoes_1.Falhar(simboloFalha, expressaoFalha);
     }
+    async declaracaoAssercao() {
+        const simboloAssercao = this.simbolos[this.atual - 1];
+        let condicao;
+        let mensagemFalha;
+        if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.PARENTESE_ESQUERDO)) {
+            condicao = await this.expressao();
+            if (this.verificarTipoSimboloAtual(delegua_2.default.VIRGULA)) {
+                this.avancarEDevolverAnterior();
+                mensagemFalha = await this.expressao();
+                if (this.verificarTipoSimboloAtual(delegua_2.default.VIRGULA)) {
+                    throw this.erro(this.simbolos[this.atual], "'asserção' aceita apenas condição obrigatória e mensagem opcional.");
+                }
+            }
+            else {
+                mensagemFalha = new construtos_1.Literal(simboloAssercao.hashArquivo, Number(simboloAssercao.linha), 'A asserção falhou.', 'texto', "'");
+            }
+            this.consumir(delegua_2.default.PARENTESE_DIREITO, "Esperado ')' após argumentos de 'asserção'.");
+        }
+        else {
+            condicao = await this.expressao();
+            if (this.verificarTipoSimboloAtual(delegua_2.default.VIRGULA)) {
+                throw this.erro(this.simbolos[this.atual], "Mensagem em 'asserção' exige uso de parênteses.");
+            }
+            mensagemFalha = new construtos_1.Literal(simboloAssercao.hashArquivo, Number(simboloAssercao.linha), 'A asserção falhou.', 'texto', "'");
+        }
+        this.verificarSeSimboloAtualEIgualA(delegua_2.default.PONTO_E_VIRGULA);
+        const simboloNao = new simbolo_1.Simbolo(delegua_2.default.NEGACAO, 'nao', null, Number(simboloAssercao.linha), simboloAssercao.hashArquivo, simboloAssercao.colunaInicio, simboloAssercao.colunaFim);
+        const condicaoNegada = new construtos_1.Unario(simboloAssercao.hashArquivo, simboloNao, condicao, 'ANTES');
+        const declaracaoFalhar = new declaracoes_1.Falhar(simboloAssercao, mensagemFalha);
+        const blocoFalha = new declaracoes_1.Bloco(simboloAssercao.hashArquivo, Number(simboloAssercao.linha), [declaracaoFalhar]);
+        return new declaracoes_1.Se(condicaoNegada, blocoFalha);
+    }
     async logicaComumFazer() {
         const caminhoFazer = await this.declaracaoBloco();
         this.consumir(delegua_2.default.ENQUANTO, "Esperado declaração do 'enquanto' após o escopo do 'fazer'.");
@@ -2599,14 +2644,14 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
     }
     /**
      * Usado quando há erros na avaliação sintática.
-     * Garante que o código não entre em _loop_ infinito.
+     * Garante que o avaliador sintático não entre em _loop_ infinito.
      * @returns Sempre retorna `void`.
      */
     sincronizar() {
         this.avancarEDevolverAnterior(); // avança além do token com erro
         while (!this.estaNoFinal()) {
             // Um ponto-e-vírgula já consumido indica fronteira limpa entre declarações.
-            if (this.simbolos[this.atual - 1].tipo === delegua_2.default.PONTO_E_VIRGULA)
+            if (this.simbolos[this.atual].tipo === delegua_2.default.PONTO_E_VIRGULA)
                 return;
             // Uma palavra-chave de início de declaração ou fecha-chave à frente:
             // retorna SEM consumir o token, para que o chamador o analise normalmente.
@@ -2638,6 +2683,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         switch (this.simbolos[this.atual].tipo) {
             case delegua_2.default.AJUDA:
                 return await this.declaracaoAjuda();
+            case delegua_2.default.ASSERCAO:
+                this.avancarEDevolverAnterior();
+                return await this.declaracaoAssercao();
             case delegua_2.default.CHAVE_ESQUERDA:
                 return await this.declaracaoBloco();
             case delegua_2.default.COMENTARIO: