@designliquido/delegua 1.9.0 → 1.11.0

package/avaliador-sintatico/avaliador-sintatico.js

@@ -68,6 +68,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         if (this.simbolos[this.atual].lexema in this.tiposDefinidosEmCodigo) {
             return this.simbolos[this.atual].lexema;
         }
+        if (this.simbolos[this.atual].lexema in this.interfacesDeclaradas) {
+            return this.simbolos[this.atual].lexema;
+        }
         const lexemaElementar = this.simbolos[this.atual].lexema.toLowerCase();
         const tipoElementarResolvido = tipos.find((tipo) => tipo === lexemaElementar);
         if (!tipoElementarResolvido) {
@@ -436,55 +439,61 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 }
                 if (construto.constructor === construtos_1.AcessoMetodoOuPropriedade) {
                     const construtoTipado = construto;
-                    switch (construtoTipado.tipo) {
-                        case delegua_1.default.DICIONARIO:
-                        case delegua_1.default.DICIONÁRIO:
-                            if (!(construtoTipado.simbolo.lexema in primitivas_dicionario_1.default)) {
-                                throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de dicionário.`);
-                            }
-                            const primitivaDicionarioSelecionada = primitivas_dicionario_1.default[construtoTipado.simbolo.lexema];
-                            construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaDicionarioSelecionada.tipoRetorno);
-                            break;
-                        case delegua_1.default.INTEIRO:
-                        case delegua_1.default.NUMERO:
-                        case delegua_1.default.NÚMERO:
-                            if (!(construtoTipado.simbolo.lexema in primitivas_numero_1.default)) {
-                                throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de número.`);
-                            }
-                            const primitivaNumeroSelecionada = primitivas_numero_1.default[construtoTipado.simbolo.lexema];
-                            construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaNumeroSelecionada.tipoRetorno);
-                            break;
-                        case delegua_1.default.TEXTO:
-                            if (!(construtoTipado.simbolo.lexema in primitivas_texto_1.default)) {
-                                throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de texto.`);
-                            }
-                            const primitivaTextoSelecionada = primitivas_texto_1.default[construtoTipado.simbolo.lexema];
-                            construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaTextoSelecionada.tipoRetorno);
-                            break;
-                        case delegua_1.default.VETOR:
-                        case delegua_1.default.VETOR_NUMERO:
-                        case delegua_1.default.VETOR_NÚMERO:
-                        case delegua_1.default.VETOR_TEXTO:
-                            if (!(construtoTipado.simbolo.lexema in primitivas_vetor_1.default)) {
-                                throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de vetor.`);
-                            }
-                            const primitivaVetorSelecionada = primitivas_vetor_1.default[construtoTipado.simbolo.lexema];
-                            construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaVetorSelecionada.tipoRetorno);
-                            break;
-                        default:
-                            if (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) {
-                                    construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, possivelMetodo[0].tipo);
-                                    break;
+                    const acessoMetodoConhecido = this.resolverAcessoMetodoConhecido(construtoTipado);
+                    if (acessoMetodoConhecido) {
+                        construto = acessoMetodoConhecido;
+                    }
+                    else {
+                        switch (construtoTipado.tipo) {
+                            case delegua_1.default.DICIONARIO:
+                            case delegua_1.default.DICIONÁRIO:
+                                if (!(construtoTipado.simbolo.lexema in primitivas_dicionario_1.default)) {
+                                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de dicionário.`);
                                 }
-                                const possivelPropriedade = tipoCorrespondente.propriedades.filter((p) => p.nome.lexema === construtoTipado.simbolo.lexema);
-                                if (possivelPropriedade.length > 0) {
-                                    construto = new construtos_1.AcessoPropriedade(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, possivelPropriedade[0].tipo);
-                                    break;
+                                const primitivaDicionarioSelecionada = primitivas_dicionario_1.default[construtoTipado.simbolo.lexema];
+                                construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaDicionarioSelecionada.tipoRetorno);
+                                break;
+                            case delegua_1.default.INTEIRO:
+                            case delegua_1.default.NUMERO:
+                            case delegua_1.default.NÚMERO:
+                                if (!(construtoTipado.simbolo.lexema in primitivas_numero_1.default)) {
+                                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de número.`);
                                 }
-                            }
+                                const primitivaNumeroSelecionada = primitivas_numero_1.default[construtoTipado.simbolo.lexema];
+                                construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaNumeroSelecionada.tipoRetorno);
+                                break;
+                            case delegua_1.default.TEXTO:
+                                if (!(construtoTipado.simbolo.lexema in primitivas_texto_1.default)) {
+                                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de texto.`);
+                                }
+                                const primitivaTextoSelecionada = primitivas_texto_1.default[construtoTipado.simbolo.lexema];
+                                construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaTextoSelecionada.tipoRetorno);
+                                break;
+                            case delegua_1.default.VETOR:
+                            case delegua_1.default.VETOR_NUMERO:
+                            case delegua_1.default.VETOR_NÚMERO:
+                            case delegua_1.default.VETOR_TEXTO:
+                                if (!(construtoTipado.simbolo.lexema in primitivas_vetor_1.default)) {
+                                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de vetor.`);
+                                }
+                                const primitivaVetorSelecionada = primitivas_vetor_1.default[construtoTipado.simbolo.lexema];
+                                construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaVetorSelecionada.tipoRetorno);
+                                break;
+                            default:
+                                if (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) {
+                                        construto = new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, possivelMetodo[0].tipo);
+                                        break;
+                                    }
+                                    const possivelPropriedade = tipoCorrespondente.propriedades.filter((p) => p.nome.lexema === construtoTipado.simbolo.lexema);
+                                    if (possivelPropriedade.length > 0) {
+                                        construto = new construtos_1.AcessoPropriedade(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, possivelPropriedade[0].tipo);
+                                        break;
+                                    }
+                                }
+                        }
                     }
                 }
                 return new construtos_1.TipoDe(this.hashArquivo, simboloAtual, construto);
@@ -620,22 +629,26 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
      */
     resolverEntidadeChamadaAcessoMetodoOuPropriedade(entidadeChamadaResolvida) {
         const construtoTipado = entidadeChamadaResolvida;
+        const acessoMetodoConhecido = this.resolverAcessoMetodoConhecido(construtoTipado);
+        if (acessoMetodoConhecido) {
+            return acessoMetodoConhecido;
+        }
         switch (entidadeChamadaResolvida.tipo) {
             case delegua_1.default.DICIONARIO:
             case delegua_1.default.DICIONÁRIO:
-                if (!(construtoTipado.simbolo.lexema in primitivas_dicionario_1.default)) {
-                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de dicionário.`);
+                if (construtoTipado.simbolo.lexema in primitivas_dicionario_1.default) {
+                    const primitivaDicionarioSelecionada = primitivas_dicionario_1.default[construtoTipado.simbolo.lexema];
+                    return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaDicionarioSelecionada.tipoRetorno);
                 }
-                const primitivaDicionarioSelecionada = primitivas_dicionario_1.default[construtoTipado.simbolo.lexema];
-                return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaDicionarioSelecionada.tipoRetorno);
+                break;
             case delegua_1.default.INTEIRO:
             case delegua_1.default.NUMERO:
             case delegua_1.default.NÚMERO:
-                if (!(construtoTipado.simbolo.lexema in primitivas_numero_1.default)) {
-                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de número.`);
+                if (construtoTipado.simbolo.lexema in primitivas_numero_1.default) {
+                    const primitivaNumeroSelecionada = primitivas_numero_1.default[construtoTipado.simbolo.lexema];
+                    return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaNumeroSelecionada.tipoRetorno);
                 }
-                const primitivaNumeroSelecionada = primitivas_numero_1.default[construtoTipado.simbolo.lexema];
-                return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaNumeroSelecionada.tipoRetorno);
+                break;
             case delegua_1.default.MODULO:
             case delegua_1.default.MÓDULO:
                 // Há dois casos para resolução de módulo:
@@ -648,23 +661,62 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 }
                 return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema);
             case delegua_1.default.TEXTO:
-                if (!(construtoTipado.simbolo.lexema in primitivas_texto_1.default)) {
-                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de texto.`);
+                if (construtoTipado.simbolo.lexema in primitivas_texto_1.default) {
+                    const primitivaTextoSelecionada = primitivas_texto_1.default[construtoTipado.simbolo.lexema];
+                    return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaTextoSelecionada.tipoRetorno);
                 }
-                const primitivaTextoSelecionada = primitivas_texto_1.default[construtoTipado.simbolo.lexema];
-                return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaTextoSelecionada.tipoRetorno);
+                break;
             case delegua_1.default.VETOR:
             case delegua_1.default.VETOR_NUMERO:
             case delegua_1.default.VETOR_NÚMERO:
             case delegua_1.default.VETOR_TEXTO:
-                if (!(construtoTipado.simbolo.lexema in primitivas_vetor_1.default)) {
-                    throw this.erro(construtoTipado.simbolo, `${construtoTipado.simbolo.lexema} não é uma primitiva de vetor.`);
+                if (construtoTipado.simbolo.lexema in primitivas_vetor_1.default) {
+                    const primitivaVetorSelecionada = primitivas_vetor_1.default[construtoTipado.simbolo.lexema];
+                    return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaVetorSelecionada.tipoRetorno);
                 }
-                const primitivaVetorSelecionada = primitivas_vetor_1.default[construtoTipado.simbolo.lexema];
-                return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, primitivaVetorSelecionada.tipoRetorno);
+                break;
         }
         return entidadeChamadaResolvida;
     }
+    obterTiposParaConsultaPrimitiva(tipo) {
+        switch (tipo) {
+            case delegua_1.default.DICIONARIO:
+            case delegua_1.default.DICIONÁRIO:
+                return ['dicionário'];
+            case delegua_1.default.INTEIRO:
+            case delegua_1.default.NUMERO:
+            case delegua_1.default.NÚMERO:
+            case delegua_1.default.REAL:
+                return ['número'];
+            case delegua_1.default.TEXTO:
+                return ['texto'];
+            case delegua_1.default.VETOR:
+            case delegua_1.default.VETOR_INTEIRO:
+            case delegua_1.default.VETOR_LOGICO:
+            case delegua_1.default.VETOR_LÓGICO:
+            case delegua_1.default.VETOR_NUMERO:
+            case delegua_1.default.VETOR_NÚMERO:
+            case delegua_1.default.VETOR_QUALQUER:
+            case delegua_1.default.VETOR_TEXTO:
+                return ['vetor'];
+            default:
+                return [tipo];
+        }
+    }
+    resolverAcessoMetodoConhecido(construtoTipado) {
+        const tiposParaConsulta = this.obterTiposParaConsultaPrimitiva(construtoTipado.tipo);
+        for (const tipoConsulta of tiposParaConsulta) {
+            const primitivasPorTipo = this.primitivasConhecidas[tipoConsulta];
+            if (!primitivasPorTipo) {
+                continue;
+            }
+            const informacoesPrimitiva = primitivasPorTipo[construtoTipado.simbolo.lexema];
+            if (informacoesPrimitiva) {
+                return new construtos_1.AcessoMetodo(construtoTipado.hashArquivo, construtoTipado.objeto, construtoTipado.simbolo.lexema, informacoesPrimitiva.tipo);
+            }
+        }
+        return null;
+    }
     validarArgumentosEntidadeChamada(argumentosEntidadeChamada, argumentosUtilizados) {
         if (argumentosEntidadeChamada.length === 0) {
             return [];
@@ -1965,11 +2017,16 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         // como em `MinhaClasse.propriedadeEstatica` dentro de métodos.
         this.tiposDefinidosEmCodigo[simbolo.lexema] = (_a = this.tiposDefinidosEmCodigo[simbolo.lexema]) !== null && _a !== void 0 ? _a : {};
         const pilhaDecoradoresClasse = Array.from(this.pilhaDecoradores);
-        let superClasse = null;
+        // Verificar `herda SuperclasseA, SuperclasseB`
+        const superClasses = [];
         if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.HERDA)) {
-            const simboloSuperclasse = this.consumir(delegua_2.default.IDENTIFICADOR, 'Esperado nome da Superclasse.');
-            this.superclasseAtual = simboloSuperclasse.lexema;
-            superClasse = new construtos_1.Variavel(this.hashArquivo, this.simbolos[this.atual - 1], simboloSuperclasse.lexema);
+            do {
+                const simboloSuperclasse = this.consumir(delegua_2.default.IDENTIFICADOR, 'Esperado nome da Superclasse.');
+                if (superClasses.length === 0) {
+                    this.superclasseAtual = simboloSuperclasse.lexema;
+                }
+                superClasses.push(new construtos_1.Variavel(this.hashArquivo, this.simbolos[this.atual - 1], simboloSuperclasse.lexema));
+            } while (this.verificarSeSimboloAtualEIgualA(delegua_2.default.VIRGULA));
         }
         // Verificar `implementa InterfaceA, InterfaceB`
         const implementaInterfaces = [];
@@ -1978,16 +2035,24 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 implementaInterfaces.push(this.consumir(delegua_2.default.IDENTIFICADOR, 'Esperado nome de interface após "implementa".'));
             } while (this.verificarSeSimboloAtualEIgualA(delegua_2.default.VIRGULA));
         }
+        // Verificar `mescla MisturávelA, MisturávelB`
+        const mesclas = [];
+        if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.MESCLA)) {
+            do {
+                const simboloMisturavel = this.consumir(delegua_2.default.IDENTIFICADOR, 'Esperado nome de classe após "mescla".');
+                mesclas.push(new construtos_1.Variavel(this.hashArquivo, this.simbolos[this.atual - 1], simboloMisturavel.lexema));
+            } while (this.verificarSeSimboloAtualEIgualA(delegua_2.default.VIRGULA));
+        }
         this.consumir(delegua_2.default.CHAVE_ESQUERDA, "Esperado '{' antes do escopo da classe.");
         this.pilhaDecoradores = [];
         const metodos = [];
         const propriedades = [];
         /**
          * Analisa membros do corpo da classe com um contexto de acesso e estático padrão.
-         * Suporta blocos de contexto aninhados: `estático { }`, `privado { }`, `protegido { }`, `publico { }`.
+         * Suporta blocos de contexto aninhados: `estático { }`, `abstrato { }`, `privado { }`, `protegido { }`, `publico { }`.
          */
-        const compreenderMembros = async (acessoPadrao, ehEstaticoPadrao) => {
-            var _a, _b;
+        const compreenderMembros = async (acessoPadrao, ehEstaticoPadrao, ehAbstratoPadrao = false) => {
+            var _a;
             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 ||
@@ -2009,57 +2074,36 @@ 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, delegua_2.default.PUBLICO].includes(tipoAtual)
+                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' :
-                        tipoAtual === delegua_2.default.PROTEGIDO ? 'protegido' : 'publico';
+                    const novoAcesso = tipoAtual === delegua_2.default.PRIVADO ? 'privado' : 'protegido';
                     this.avancarEDevolverAnterior(); // consume modificador de acesso
                     this.consumir(delegua_2.default.CHAVE_ESQUERDA, "Esperado '{' após modificador de acesso de bloco.");
-                    await compreenderMembros(novoAcesso, ehEstaticoPadrao);
+                    await compreenderMembros(novoAcesso, ehEstaticoPadrao, ehAbstratoPadrao);
                     this.consumir(delegua_2.default.CHAVE_DIREITA, "Esperado '}' para fechar bloco de modificador de acesso.");
                     continue;
                 }
                 if (ehBlocoEstatico) {
                     this.avancarEDevolverAnterior(); // consume 'estático'
                     this.consumir(delegua_2.default.CHAVE_ESQUERDA, "Esperado '{' após 'estático'.");
-                    await compreenderMembros(acessoPadrao, true);
+                    await compreenderMembros(acessoPadrao, true, ehAbstratoPadrao);
                     this.consumir(delegua_2.default.CHAVE_DIREITA, "Esperado '}' para fechar bloco estático.");
                     continue;
                 }
-                // Modificador de acesso por membro (somente quando NÃO seguido de '{')
-                let modificadorAcesso = acessoPadrao;
-                if (this.simbolos[this.atual].tipo === delegua_2.default.PRIVADO) {
-                    this.avancarEDevolverAnterior();
-                    modificadorAcesso = 'privado';
-                }
-                else if (this.simbolos[this.atual].tipo === delegua_2.default.PROTEGIDO) {
-                    this.avancarEDevolverAnterior();
-                    modificadorAcesso = 'protegido';
-                }
-                else if (this.simbolos[this.atual].tipo === delegua_2.default.PUBLICO) {
-                    this.avancarEDevolverAnterior();
-                    modificadorAcesso = 'publico';
-                }
-                // Modificador estático por membro (somente quando NÃO seguido de '{')
-                let ehEstatico = ehEstaticoPadrao;
-                if (this.simbolos[this.atual].tipo === delegua_2.default.ESTATICO &&
-                    ((_b = this.simbolos[this.atual + 1]) === null || _b === void 0 ? void 0 : _b.tipo) !== delegua_2.default.CHAVE_ESQUERDA) {
-                    this.avancarEDevolverAnterior();
-                    ehEstatico = true;
-                }
-                // Palavras-chave de acessor (obter/definir)
-                let eObtenedor = false;
-                let eDefinidor = false;
-                if (this.simbolos[this.atual].tipo === delegua_2.default.IDENTIFICADOR &&
-                    ['obter', 'definir', 'obtenedor', 'definidor', 'get', 'set'].includes(String(this.simbolos[this.atual].lexema || '').toLowerCase())) {
-                    const palavraAcessor = String(this.simbolos[this.atual].lexema || '').toLowerCase();
-                    this.avancarEDevolverAnterior();
-                    eObtenedor = palavraAcessor === 'obter' || palavraAcessor === 'obtenedor' || palavraAcessor === 'get';
-                    eDefinidor = palavraAcessor === 'definir' || palavraAcessor === 'definidor' || palavraAcessor === 'set';
+                if (ehBlocoAbstrato) {
+                    this.avancarEDevolverAnterior(); // consume 'abstrato'
+                    this.consumir(delegua_2.default.CHAVE_ESQUERDA, "Esperado '{' após 'abstrato'.");
+                    await compreenderMembros(acessoPadrao, ehEstaticoPadrao, true);
+                    this.consumir(delegua_2.default.CHAVE_DIREITA, "Esperado '}' para fechar bloco abstrato.");
+                    continue;
                 }
+                const modificadorAcesso = acessoPadrao;
+                const ehEstatico = ehEstaticoPadrao;
                 // Método operador sobrecarregado: `operador+ (outro) { ... }`
                 if (this.simbolos[this.atual].tipo === delegua_2.default.OPERADOR) {
                     const simboloOperadorKeyword = this.avancarEDevolverAnterior();
@@ -2103,12 +2147,7 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                             params = await this.logicaComumParametros();
                         }
                         this.consumir(delegua_2.default.PARENTESE_DIREITO, "Esperado ')' após parâmetros do método.");
-                        // O modificador `abstrato` vem APÓS o fechamento dos parâmetros.
-                        // Sintaxe: `area() abstrato: numero`
-                        let ehAbstrato = false;
-                        if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.ABSTRATO)) {
-                            ehAbstrato = true;
-                        }
+                        const ehAbstrato = ehAbstratoPadrao;
                         // Tipo de retorno opcional (igual a corpoDaFuncao())
                         let tipoRetorno = 'qualquer';
                         let definicaoExplicitaDeTipo = false;
@@ -2152,8 +2191,6 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                             const tipoDaFuncao = `função<${tipoRetorno}>`;
                             const metodo = new declaracoes_1.FuncaoDeclaracao(nomeMetodo, corpoFuncao, tipoDaFuncao);
                             metodo.estatico = ehEstatico;
-                            metodo.eObtenedor = eObtenedor;
-                            metodo.eDefinidor = eDefinidor;
                             metodo.acesso = modificadorAcesso;
                             metodo.decoradores = Array.from(this.pilhaDecoradores);
                             metodo.documentacao = docAtual;
@@ -2168,7 +2205,13 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                         const nomePropriedade = this.consumir(delegua_2.default.IDENTIFICADOR, 'Esperado identificador para nome de propriedade.');
                         this.consumir(delegua_2.default.DOIS_PONTOS, 'Esperado dois-pontos após nome de propriedade.');
                         const tipoPropriedade = this.avancarEDevolverAnterior();
-                        const prop = new declaracoes_1.PropriedadeClasse(nomePropriedade, tipoPropriedade.lexema, Array.from(this.pilhaDecoradores), modificadorAcesso, ehEstatico);
+                        let nomeTipoPropriedade = tipoPropriedade.lexema;
+                        if (this.verificarTipoSimboloAtual(delegua_2.default.COLCHETE_ESQUERDO)) {
+                            this.avancarEDevolverAnterior(); // consume '['
+                            this.consumir(delegua_2.default.COLCHETE_DIREITO, "Esperado ']' após '[' na definição do tipo de propriedade.");
+                            nomeTipoPropriedade = `${nomeTipoPropriedade}[]`;
+                        }
+                        const prop = new declaracoes_1.PropriedadeClasse(nomePropriedade, nomeTipoPropriedade, Array.from(this.pilhaDecoradores), modificadorAcesso, ehEstatico);
                         prop.documentacao = docAtual;
                         // Auto-propriedade: `nome: tipo { obter; definir; }`
                         // Ou corpo personalizado: `nome: tipo { obter() { ... } definir(valor) { ... } }`
@@ -2275,11 +2318,83 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
                 }
             }
         }
-        const definicaoClasse = new declaracoes_1.Classe(simbolo, superClasse, metodos, propriedades, pilhaDecoradoresClasse, ehAbstrata, ehEstatica, implementaInterfaces);
+        const definicaoClasse = new declaracoes_1.Classe(simbolo, superClasses, metodos, propriedades, pilhaDecoradoresClasse, ehAbstrata, ehEstatica, implementaInterfaces, mesclas);
         this.tiposDefinidosEmCodigo[definicaoClasse.simbolo.lexema] = definicaoClasse;
         this.superclasseAtual = undefined;
         return definicaoClasse;
     }
+    /**
+     * Analisa uma declaração de extensão:
+     * `extensão [global] de <tipo> { <métodos> }`
+     */
+    async declaracaoDeExtensao() {
+        let ehGlobal = false;
+        if (this.simbolos[this.atual].tipo === delegua_2.default.IDENTIFICADOR &&
+            this.simbolos[this.atual].lexema === 'global') {
+            this.avancarEDevolverAnterior();
+            ehGlobal = true;
+        }
+        this.consumir(delegua_2.default.DE, "Esperado 'de' após 'extensão'.");
+        const simboloTipo = this.consumir(delegua_2.default.IDENTIFICADOR, "Esperado nome do tipo após 'de'.");
+        this.consumir(delegua_2.default.CHAVE_ESQUERDA, "Esperado '{' após o nome do tipo.");
+        const metodos = [];
+        const nomeTipo = simboloTipo.lexema;
+        if (!this.primitivasConhecidas[nomeTipo]) {
+            this.primitivasConhecidas[nomeTipo] = {};
+        }
+        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) {
+                this.avancarEDevolverAnterior();
+                continue;
+            }
+            // Apenas métodos são suportados em extensões.
+            const proximoSimbolo = this.simbolos[this.atual + 1];
+            if ((proximoSimbolo === null || proximoSimbolo === void 0 ? void 0 : proximoSimbolo.tipo) !== delegua_2.default.PARENTESE_ESQUERDO) {
+                throw this.erro(this.simbolos[this.atual], 'Esperado declaração de método na extensão.');
+            }
+            const nomeMetodo = this.avancarEDevolverAnterior();
+            this.consumir(delegua_2.default.PARENTESE_ESQUERDO, "Esperado '(' após nome do método.");
+            let params = [];
+            if (!this.verificarTipoSimboloAtual(delegua_2.default.PARENTESE_DIREITO)) {
+                params = await this.logicaComumParametros();
+            }
+            this.consumir(delegua_2.default.PARENTESE_DIREITO, "Esperado ')' após parâmetros do método.");
+            let tipoRetorno = 'qualquer';
+            let definicaoExplicitaDeTipo = false;
+            if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.DOIS_PONTOS)) {
+                tipoRetorno = this.verificarDefinicaoTipoAtual();
+                this.avancarEDevolverAnterior();
+                definicaoExplicitaDeTipo = true;
+            }
+            this.consumir(delegua_2.default.CHAVE_ESQUERDA, "Esperado '{' antes do corpo do método.");
+            const corpo = await this.blocoEscopo();
+            let expressoesRetorna = [];
+            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 retornaChamadoExplicitamente = tiposRetornos.size > 0;
+            tiposRetornos.delete('qualquer');
+            if (tipoRetorno === 'qualquer') {
+                if (tiposRetornos.size > 0) {
+                    tipoRetorno = tiposRetornos.values().next().value;
+                }
+                else if (!retornaChamadoExplicitamente && !definicaoExplicitaDeTipo) {
+                    tipoRetorno = 'vazio';
+                }
+            }
+            const corpoFuncao = new construtos_1.FuncaoConstruto(this.hashArquivo, nomeMetodo.linha, params, corpo, tipoRetorno);
+            const tipoDaFuncao = `função<${tipoRetorno}>`;
+            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.consumir(delegua_2.default.CHAVE_DIREITA, "Esperado '}' ao final da extensão.");
+        return new declaracoes_1.Extensao(simboloTipo, metodos, ehGlobal, this.hashArquivo);
+    }
     /**
      * Declarações fora de bloco precisam ser verificadas primeiro por
      * uma série de motivos, como, por exemplo:
@@ -2317,6 +2432,9 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.INTERFACE)) {
                 return await this.declaracaoDeInterface();
             }
+            if (this.verificarSeSimboloAtualEIgualA(delegua_2.default.EXTENSAO)) {
+                return await this.declaracaoDeExtensao();
+            }
             return await this.resolverDeclaracao();
         }
         catch (erro) {
@@ -2470,10 +2588,15 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
         this.pilhaEscopos.empilhar(new informacao_escopo_1.InformacaoEscopo());
         // Funções nativas de Delégua
         this.pilhaEscopos.definirInformacoesVariavel('aleatorio', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('aleatorio', 'número'));
+        this.pilhaEscopos.definirInformacoesVariavel('aleatório', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('aleatório', 'número'));
         this.pilhaEscopos.definirInformacoesVariavel('aleatorioEntre', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('aleatorioEntre', 'número', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('minimo', 'número'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('maximo', 'número'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('aleatórioEntre', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('aleatórioEntre', 'número', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('minimo', 'número'),
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('maximo', 'número'),
+        ]));
         this.pilhaEscopos.definirInformacoesVariavel('algum', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('algum', 'lógico', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
@@ -2489,14 +2612,26 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('encontrarÍndice', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrarÍndice', '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, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('encontrarÚltimo', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrarÚltimo', '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, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoPesquisa', 'função'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('encontrarÚltimoÍndice', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('encontrarÚltimoÍndice', '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, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoFiltragem', 'função'),
@@ -2505,6 +2640,10 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valor', 'qualquer'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('incluído', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('incluído', 'lógico', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valor', 'qualquer'),
+        ]));
         this.pilhaEscopos.definirInformacoesVariavel('inteiro', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('inteiro', 'inteiro', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valor', 'qualquer'),
         ]));
@@ -2520,6 +2659,18 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoMapeamento', 'função'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('maximo', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('maximo', 'qualquer', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
+        ]));
+        this.pilhaEscopos.definirInformacoesVariavel('máximo', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('máximo', 'qualquer', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
+        ]));
+        this.pilhaEscopos.definirInformacoesVariavel('minimo', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('minimo', 'qualquer', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
+        ]));
+        this.pilhaEscopos.definirInformacoesVariavel('mínimo', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('mínimo', 'qualquer', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
+        ]));
         this.pilhaEscopos.definirInformacoesVariavel('numero', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('número', 'número', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valorParaConverter', 'qualquer'),
         ]));
@@ -2538,6 +2689,10 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoFiltragem', 'função'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('primeiroEmCondição', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('primeiroEmCondição', 'qualquer', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoFiltragem', 'função'),
+        ]));
         this.pilhaEscopos.definirInformacoesVariavel('real', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('real', 'número', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('valorParaConverter', 'qualquer'),
         ]));
@@ -2559,6 +2714,10 @@ class AvaliadorSintatico extends avaliador_sintatico_base_1.AvaliadorSintaticoBa
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('iteravel', 'qualquer'),
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoCondicional', 'função'),
         ]));
+        this.pilhaEscopos.definirInformacoesVariavel('todosEmCondição', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('todosEmCondição', 'lógico', true, [
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('iteravel', 'qualquer'),
+            new informacao_elemento_sintatico_1.InformacaoElementoSintatico('funcaoCondicional', 'função'),
+        ]));
         this.pilhaEscopos.definirInformacoesVariavel('tupla', new informacao_elemento_sintatico_1.InformacaoElementoSintatico('tupla', 'tupla', true, [
             new informacao_elemento_sintatico_1.InformacaoElementoSintatico('vetor', 'qualquer[]'),
         ]));