@designliquido/birl 0.2.22 → 0.3.1

package/analisador-semantico/analisador-semantico-birl.d.ts

@@ -1,29 +1,149 @@
-import { Atribuir, Leia } from '@designliquido/delegua/construtos';
-import { Declaracao, Expressao, Retorna, Var } from '@designliquido/delegua/declaracoes';
-import { DiagnosticoAnalisadorSemantico } from '@designliquido/delegua/interfaces/erros';
+import { Atribuir, Chamada, Leia, Literal, Variavel } from '@designliquido/delegua/construtos';
+import { Declaracao, Const, Enquanto, Escolha, Escreva, Expressao, FuncaoDeclaracao, Retorna, Var } from '@designliquido/delegua/declaracoes';
+import { DiagnosticoAnalisadorSemantico, ParametroInterface, SimboloInterface } from '@designliquido/delegua/interfaces';
 import { RetornoAnalisadorSemantico } from '@designliquido/delegua/interfaces/retornos/retorno-analisador-semantico';
 import { RetornoQuebra } from '@designliquido/delegua/quebras';
 import { AnalisadorSemanticoBase } from '@designliquido/delegua/analisador-semantico/analisador-semantico-base';
 import { PilhaVariaveis } from '@designliquido/delegua/analisador-semantico/pilha-variaveis';
-interface VariavelHipoteticaBirlInterface {
-    tipo: 'texto' | 'número' | 'longo' | 'vetor' | 'dicionário' | 'nulo' | 'lógico' | 'função' | 'símbolo' | 'objeto' | 'módulo';
-    subtipo?: 'texto' | 'número' | 'longo' | 'lógico';
-    imutavel: boolean;
-}
+import { FuncaoHipoteticaInterface } from '@designliquido/delegua/analisador-semantico/funcao-hipotetica-interface';
 export declare class AnalisadorSemanticoBirl extends AnalisadorSemanticoBase {
     pilhaVariaveis: PilhaVariaveis;
-    variaveis: {
-        [nomeVariavel: string]: VariavelHipoteticaBirlInterface;
+    funcoes: {
+        [nomeFuncao: string]: FuncaoHipoteticaInterface;
     };
     atual: number;
     diagnosticos: DiagnosticoAnalisadorSemantico[];
     constructor();
+    /**
+     * Verifica se o tipo atribuído é compatível com a declaração
+     */
+    verificarTipoAtribuido(declaracao: Var | Const): void;
+    /**
+     * Compara argumentos de chamada contra parâmetros da função
+     */
+    protected comparacaoArgumentosContraParametrosFuncao(simboloFuncao: SimboloInterface, parametros: ParametroInterface[], argumentos: any[]): void;
+    /**
+     * Visita expressão de chamada de função
+     */
+    visitarExpressaoDeChamada(expressao: Chamada): Promise<void>;
+    /**
+     * Visita expressão de atribuição
+     */
     visitarExpressaoDeAtribuicao(expressao: Atribuir): Promise<void>;
+    /**
+     * Visita declaração de expressão
+     */
     visitarDeclaracaoDeExpressao(declaracao: Expressao): Promise<any>;
+    /**
+     * Visita declaração escolha (switch)
+     */
+    visitarDeclaracaoEscolha(declaracao: Escolha): Promise<void>;
+    /**
+     * Visita declaração enquanto (while)
+     */
+    visitarDeclaracaoEnquanto(declaracao: Enquanto): Promise<void>;
+    /**
+     * Verifica uma condição (usada em enquanto, se, etc)
+     */
+    private verificarCondicao;
+    /**
+     * Verifica variável em contexto binário
+     */
+    private verificarVariavelBinaria;
+    /**
+     * Verifica se variável existe, está inicializada e marca como usada
+     */
+    private verificarVariavel;
+    /**
+     * Verifica operação binária
+     */
+    private verificarBinario;
+    /**
+     * Verifica operador binário recursivamente
+     */
+    private verificarOperadorBinario;
+    /**
+     * Verifica se os tipos dos operandos são compatíveis
+     */
+    private verificarTiposOperandos;
+    /**
+     * Verifica divisão por zero recursivamente
+     */
+    private verificarDivisaoPorZero;
+    /**
+     * Tenta avaliar uma expressão em tempo de compilação para detectar valores constantes
+     * Retorna o valor se puder ser determinado, ou null caso contrário
+     */
+    private avaliarExpressaoConstante;
+    /**
+     * Calcula o resultado de uma operação binária em tempo de compilação
+     */
+    private calcularOperacaoBinaria;
+    /**
+     * Obtém o tipo de uma expressão (pode ser Literal, Variavel, ou Binario)
+     */
+    private obterTipoExpressao;
+    /**
+     * Infere o tipo de resultado de uma operação binária
+     */
+    private inferirTipoBinario;
+    /**
+     * Verifica existência de construto (variável ou binário)
+     */
+    private verificarExistenciaConstruto;
+    /**
+     * Verifica expressão lógica
+     */
+    private verificarLogico;
+    /**
+     * Verifica chamada de função
+     */
+    private verificarChamada;
+    /**
+     * Verifica lado de expressão lógica
+     */
+    private verificarLadoLogico;
+    /**
+     * Verifica interpolações de texto e marca variáveis como usadas
+     */
+    protected verificarInterpolacaoTexto(texto: string, literal: Literal): void;
+    /**
+     * Visita declaração escreva (print/write)
+     */
+    visitarDeclaracaoEscreva(declaracao: Escreva): Promise<void>;
+    /**
+     * Visita declaração de constante
+     */
+    visitarDeclaracaoConst(declaracao: Const): Promise<any>;
+    /**
+     * Visita declaração de variável
+     */
     visitarDeclaracaoVar(declaracao: Var): Promise<any>;
-    visitarExpressaoLeia(expressao: Leia): Promise<void>;
+    /**
+     * Visita declaração de definição de função
+     */
+    visitarDeclaracaoDefinicaoFuncao(declaracao: FuncaoDeclaracao): Promise<any>;
+    /**
+     * Visita expressão leia
+     * Mapeia o formato de leitura para o tipo esperado
+     * Nota: argumentos[0] = variável, argumentos[1] = formato
+     */
+    visitarExpressaoLeia(expressao: Leia): Promise<any>;
+    /**
+     * Visita expressão de variável
+     */
+    visitarExpressaoDeVariavel(expressao: Variavel): Promise<any>;
+    /**
+     * Visita expressão retornar
+     */
     visitarExpressaoRetornar(declaracao: Retorna): Promise<RetornoQuebra>;
+    /**
+     * Verifica variáveis não usadas
+     */
+    verificarVariaveisNaoUsadas(): void;
+    /**
+     * Analisa as declarações e retorna os diagnósticos
+     */
     analisar(declaracoes: Declaracao[]): RetornoAnalisadorSemantico;
 }
-export {};
 //# sourceMappingURL=analisador-semantico-birl.d.ts.map

package/analisador-semantico/analisador-semantico-birl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analisador-semantico-birl.d.ts","sourceRoot":"","sources":["../../fontes/analisador-semantico/analisador-semantico-birl.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,QAAQ,EACR,IAAI,EAEP,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACH,UAAU,EACV,SAAS,EACT,OAAO,EACP,GAAG,EACN,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,8BAA8B,EAAyB,MAAM,yCAAyC,CAAC;AAChH,OAAO,EAAE,0BAA0B,EAAE,MAAM,yEAAyE,CAAC;AACrH,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uEAAuE,CAAC;AAChH,OAAO,EAAE,cAAc,EAAE,MAAM,6DAA6D,CAAC;AAE7F,UAAU,+BAA+B;IACrC,IAAI,EACE,OAAO,GACP,QAAQ,GACR,OAAO,GACP,OAAO,GACP,YAAY,GACZ,MAAM,GACN,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,QAAQ,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,QAAQ,CAAC;IAClD,QAAQ,EAAE,OAAO,CAAC;CACrB;AAED,qBAAa,uBAAwB,SAAQ,uBAAuB;IAChE,cAAc,EAAE,cAAc,CAAC;IAC/B,SAAS,EAAE;QAAE,CAAC,YAAY,EAAE,MAAM,GAAG,+BAA+B,CAAA;KAAE,CAAC;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,8BAA8B,EAAE,CAAC;;IAU/C,4BAA4B,CAAC,SAAS,EAAE,QAAQ;IAiBhD,4BAA4B,CAAC,UAAU,EAAE,SAAS;IAIlD,oBAAoB,CAAC,UAAU,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IASnD,oBAAoB,CAAC,SAAS,EAAE,IAAI;IA8BpC,wBAAwB,CAAC,UAAU,EAAE,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;IAIrE,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,0BAA0B;CAclE"}
+{"version":3,"file":"analisador-semantico-birl.d.ts","sourceRoot":"","sources":["../../fontes/analisador-semantico/analisador-semantico-birl.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,QAAQ,EAER,OAAO,EACP,IAAI,EACJ,OAAO,EAGP,QAAQ,EAEX,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACH,UAAU,EACV,KAAK,EACL,QAAQ,EACR,OAAO,EACP,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,OAAO,EACP,GAAG,EACN,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,8BAA8B,EAAyB,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAChJ,OAAO,EAAE,0BAA0B,EAAE,MAAM,yEAAyE,CAAC;AACrH,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uEAAuE,CAAC;AAChH,OAAO,EAAE,cAAc,EAAE,MAAM,6DAA6D,CAAC;AAC7F,OAAO,EAAE,yBAAyB,EAAE,MAAM,yEAAyE,CAAC;AAoBpH,qBAAa,uBAAwB,SAAQ,uBAAuB;IAChE,cAAc,EAAE,cAAc,CAAC;IAC/B,OAAO,EAAE;QAAE,CAAC,UAAU,EAAE,MAAM,GAAG,yBAAyB,CAAA;KAAE,CAAC;IAC7D,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,8BAA8B,EAAE,CAAC;;IAU/C;;OAEG;IACH,sBAAsB,CAAC,UAAU,EAAE,GAAG,GAAG,KAAK,GAAG,IAAI;IA0ErD;;OAEG;IACH,SAAS,CAAC,0CAA0C,CAChD,aAAa,EAAE,gBAAgB,EAC/B,UAAU,EAAE,kBAAkB,EAAE,EAChC,UAAU,EAAE,GAAG,EAAE,GAClB,IAAI;IA6BP;;OAEG;IACH,yBAAyB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAkC5D;;OAEG;IACH,4BAA4B,CAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAiGhE;;OAEG;IACG,4BAA4B,CAAC,UAAU,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC;IAIvE;;OAEG;IACH,wBAAwB,CAAC,UAAU,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAsC5D;;OAEG;IACH,yBAAyB,CAAC,UAAU,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAI9D;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAwBzB;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAehC;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAyBzB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAOxB;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAmBhC;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAmB/B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAQ/B;;;OAGG;IACH,OAAO,CAAC,yBAAyB;IAsCjC;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAiC/B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAsB1B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAyC1B;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAkBpC;;OAEG;IACH,OAAO,CAAC,eAAe;IAMvB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAaxB;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAO3B;;OAEG;IACH,SAAS,CAAC,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI;IA4C3E;;OAEG;IACH,wBAAwB,CAAC,UAAU,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IA6C5D;;OAEG;IACH,sBAAsB,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC;IA6BvD;;OAEG;IACH,oBAAoB,CAAC,UAAU,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IA6CnD;;OAEG;IACH,gCAAgC,CAAC,UAAU,EAAE,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC;IA0D5E;;;;OAIG;IACH,oBAAoB,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC;IAsDnD;;OAEG;IACH,0BAA0B,CAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC;IAO7D;;OAEG;IACH,wBAAwB,CAAC,UAAU,EAAE,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;IAIrE;;OAEG;IACH,2BAA2B,IAAI,IAAI;IA2BnC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,0BAA0B;CAkBlE"}

package/analisador-semantico/analisador-semantico-birl.js

@@ -1,76 +1,767 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.AnalisadorSemanticoBirl = void 0;
-const erros_1 = require("@designliquido/delegua/interfaces/erros");
+const construtos_1 = require("@designliquido/delegua/construtos");
+const declaracoes_1 = require("@designliquido/delegua/declaracoes");
+const interfaces_1 = require("@designliquido/delegua/interfaces");
 const analisador_semantico_base_1 = require("@designliquido/delegua/analisador-semantico/analisador-semantico-base");
 const pilha_variaveis_1 = require("@designliquido/delegua/analisador-semantico/pilha-variaveis");
+const gerenciador_escopos_1 = require("@designliquido/delegua/analisador-semantico/gerenciador-escopos");
 class AnalisadorSemanticoBirl extends analisador_semantico_base_1.AnalisadorSemanticoBase {
     constructor() {
         super();
         this.pilhaVariaveis = new pilha_variaveis_1.PilhaVariaveis();
-        this.variaveis = {};
+        this.funcoes = {};
         this.atual = 0;
         this.diagnosticos = [];
     }
+    /**
+     * Verifica se o tipo atribuído é compatível com a declaração
+     */
+    verificarTipoAtribuido(declaracao) {
+        if (declaracao.tipo) {
+            // Verifica vetores
+            if (['vetor', 'qualquer[]', 'inteiro[]', 'texto[]'].includes(declaracao.tipo)) {
+                if (declaracao.inicializador instanceof construtos_1.Vetor) {
+                    const vetor = declaracao.inicializador;
+                    const vetorSemSeparadores = vetor.valores.filter((v) => v.constructor !== construtos_1.Separador);
+                    if (declaracao.tipo === 'inteiro[]') {
+                        const apenasValores = vetorSemSeparadores.find((v) => typeof (v === null || v === void 0 ? void 0 : v.valor) !== 'number');
+                        if (apenasValores) {
+                            this.erro(declaracao.simbolo, `Atribuição inválida para '${declaracao.simbolo.lexema}': é esperado um valor do tipo vetor de inteiro ou real. Atual: ${vetor.tipo}.`);
+                        }
+                    }
+                    if (declaracao.tipo === 'texto[]') {
+                        const apenasValores = vetorSemSeparadores.find((v) => typeof (v === null || v === void 0 ? void 0 : v.valor) !== 'string');
+                        if (apenasValores) {
+                            this.erro(declaracao.simbolo, `Atribuição inválida para '${declaracao.simbolo.lexema}': é esperado um valor do tipo vetor de texto. Atual: ${vetor.tipo}.`);
+                        }
+                    }
+                }
+                else {
+                    this.erro(declaracao.simbolo, `Atribuição inválida para '${declaracao.simbolo.lexema}': é esperado um vetor de elementos.`);
+                }
+            }
+            // Verifica literais
+            if (declaracao.inicializador instanceof construtos_1.Literal) {
+                const literal = declaracao.inicializador;
+                if (declaracao.tipo === 'texto' && literal.tipo !== 'texto') {
+                    this.erro(declaracao.simbolo, `Atribuição inválida para '${declaracao.simbolo.lexema}': é esperado um valor do tipo texto. Atual: ${literal.tipo}.`);
+                }
+                if (['inteiro', 'número', 'real'].includes(declaracao.tipo) &&
+                    !['inteiro', 'número', 'real'].includes(literal.tipo)) {
+                    this.erro(declaracao.simbolo, `Atribuição inválida para '${declaracao.simbolo.lexema}': é esperado um valor do tipo número. Atual: ${literal.tipo}.`);
+                }
+            }
+            // Verifica leia()
+            if (declaracao.inicializador instanceof construtos_1.Leia) {
+                if (!['qualquer', 'texto'].includes(declaracao.tipo)) {
+                    this.erro(declaracao.simbolo, `Atribuição inválida para '${declaracao.simbolo.lexema}', Função 'leia()' sempre retorna 'texto'.`);
+                }
+            }
+        }
+    }
+    /**
+     * Compara argumentos de chamada contra parâmetros da função
+     */
+    comparacaoArgumentosContraParametrosFuncao(simboloFuncao, parametros, argumentos) {
+        if (parametros.length !== argumentos.length) {
+            this.erro(simboloFuncao, `Função '${simboloFuncao.lexema}' espera ${parametros.length} parâmetros. Atual: ${argumentos.length}.`);
+        }
+        for (let [indice, parametro] of parametros.entries()) {
+            const argumento = argumentos[indice];
+            if (argumento) {
+                if (parametro.tipoDado === 'texto' && argumento.tipo !== 'texto') {
+                    this.erro(simboloFuncao, `O valor passado para o parâmetro '${parametro.nome.lexema}' (${parametro.tipoDado}) é diferente do esperado pela função (${argumento.tipo}).`);
+                }
+                else if (['inteiro', 'número', 'real'].includes(parametro.tipoDado)) {
+                    // Delégua pode trabalhar com conversões implícitas entre tipos numéricos
+                    if (!['inteiro', 'número', 'real'].includes(argumento.tipo)) {
+                        this.erro(simboloFuncao, `O valor passado para o parâmetro '${parametro.nome.lexema}' (${parametro.tipoDado}) é diferente do esperado pela função (${argumento.tipo}).`);
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Visita expressão de chamada de função
+     */
+    visitarExpressaoDeChamada(expressao) {
+        // Marca argumentos que são variáveis como usadas
+        for (const argumento of expressao.argumentos) {
+            if (argumento instanceof construtos_1.Variavel) {
+                this.gerenciadorEscopos.marcarComoUsada(argumento.simbolo.lexema);
+            }
+        }
+        // Verifica se é uma chamada por variável
+        if (expressao.entidadeChamada instanceof construtos_1.Variavel) {
+            const entidadeChamadaVariavel = expressao.entidadeChamada;
+            const funcaoChamada = this.gerenciadorEscopos.buscar(entidadeChamadaVariavel.simbolo.lexema) ||
+                this.funcoes[entidadeChamadaVariavel.simbolo.lexema];
+            if (!funcaoChamada) {
+                this.erro(entidadeChamadaVariavel.simbolo, `Chamada da função '${entidadeChamadaVariavel.simbolo.lexema}' não existe.`);
+                return Promise.resolve();
+            }
+            const funcao = funcaoChamada.valor;
+            this.comparacaoArgumentosContraParametrosFuncao(entidadeChamadaVariavel.simbolo, funcao.parametros, expressao.argumentos);
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Visita expressão de atribuição
+     */
     visitarExpressaoDeAtribuicao(expressao) {
-        const { alvo, valor } = expressao;
-        // Provavelmente o alvo é sempre `Variavel`
-        const alvoVariavel = alvo;
-        let variavel = this.variaveis[alvoVariavel.simbolo.lexema];
+        let simboloAlvo;
+        // Obtém o símbolo do alvo
+        if (expressao.alvo instanceof construtos_1.Variavel) {
+            const alvoVariavel = expressao.alvo;
+            simboloAlvo = alvoVariavel.simbolo;
+        }
+        else {
+            return Promise.resolve();
+        }
+        // Busca a variável no escopo
+        const variavel = this.gerenciadorEscopos.buscar(simboloAlvo.lexema);
         if (!variavel) {
-            this.adicionarDiagnostico(alvoVariavel.simbolo, `Variável ${alvoVariavel.simbolo.lexema} ainda não foi declarada.`);
+            this.erro(simboloAlvo, `Variável '${simboloAlvo.lexema}' ainda não foi declarada até este ponto.`);
             return Promise.resolve();
         }
+        // Verifica se é constante
         if (variavel.imutavel) {
-            this.adicionarDiagnostico(alvoVariavel.simbolo, `Constante ${alvoVariavel.simbolo.lexema} não pode ser modificada.`);
+            this.erro(simboloAlvo, `Constante '${simboloAlvo.lexema}' não pode ser modificada.`);
+            return Promise.resolve();
+        }
+        // Marca como inicializada após atribuição
+        this.gerenciadorEscopos.marcarComoInicializada(simboloAlvo.lexema, expressao.valor);
+        // Verifica tipos se a variável tem tipo definido
+        if (variavel.tipo) {
+            if (expressao.valor instanceof construtos_1.Literal && variavel.tipo.includes('[]')) {
+                this.erro(simboloAlvo, `Atribuição inválida, esperado tipo '${variavel.tipo}' na atribuição.`);
+                return Promise.resolve();
+            }
+            if (expressao.valor instanceof construtos_1.Vetor && !variavel.tipo.includes('[]')) {
+                this.erro(simboloAlvo, `Atribuição inválida, esperado tipo '${variavel.tipo}' na atribuição.`);
+                return Promise.resolve();
+            }
+            if (expressao.valor instanceof construtos_1.Literal) {
+                let valorLiteral = typeof expressao.valor.valor;
+                if (!['qualquer'].includes(variavel.tipo)) {
+                    if (valorLiteral === 'string' && variavel.tipo !== 'texto') {
+                        this.erro(simboloAlvo, `Esperado tipo '${variavel.tipo}' na atribuição.`);
+                        return Promise.resolve();
+                    }
+                    if (valorLiteral === 'number' &&
+                        !['inteiro', 'número', 'real'].includes(variavel.tipo)) {
+                        this.erro(simboloAlvo, `Esperado tipo '${variavel.tipo}' na atribuição.`);
+                        return Promise.resolve();
+                    }
+                }
+            }
+            if (expressao.valor instanceof construtos_1.Vetor) {
+                let valoresSemSeparador = expressao.valor.valores.filter((v) => v.constructor !== construtos_1.Separador);
+                if (!['qualquer[]'].includes(variavel.tipo)) {
+                    if (variavel.tipo === 'texto[]') {
+                        if (!valoresSemSeparador.every((v) => typeof v.valor === 'string')) {
+                            this.erro(simboloAlvo, `Esperado tipo '${variavel.tipo}' na atribuição.`);
+                            return Promise.resolve();
+                        }
+                    }
+                    if (['inteiro[]', 'numero[]'].includes(variavel.tipo)) {
+                        if (!valoresSemSeparador.every((v) => typeof v.valor === 'number')) {
+                            this.erro(simboloAlvo, `Esperado tipo '${variavel.tipo}' na atribuição.`);
+                            return Promise.resolve();
+                        }
+                    }
+                }
+            }
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Visita declaração de expressão
+     */
+    async visitarDeclaracaoDeExpressao(declaracao) {
+        return await declaracao.expressao.aceitar(this);
+    }
+    /**
+     * Visita declaração escolha (switch)
+     */
+    visitarDeclaracaoEscolha(declaracao) {
+        const identificadorOuLiteral = declaracao.identificadorOuLiteral;
+        const tipo = identificadorOuLiteral.tipo;
+        for (let caminho of declaracao.caminhos) {
+            for (let condicao of caminho.condicoes) {
+                if (condicao instanceof construtos_1.Literal) {
+                    const condicaoLiteral = condicao;
+                    if (condicaoLiteral.tipo !== tipo) {
+                        this.erro({
+                            lexema: condicaoLiteral.valor,
+                            tipo: condicaoLiteral.tipo,
+                            linha: condicaoLiteral.linha,
+                            hashArquivo: condicaoLiteral.hashArquivo,
+                        }, `'caso ${condicaoLiteral.valor}:' não é do mesmo tipo esperado em 'escolha' (esperado: ${tipo}, atual: ${condicaoLiteral.tipo}).`);
+                    }
+                }
+                else if (condicao instanceof construtos_1.Variavel) {
+                    const condicaoVariavel = condicao;
+                    this.verificarVariavel(condicaoVariavel);
+                    const variavelHipotetica = this.gerenciadorEscopos.buscar(condicaoVariavel.simbolo.lexema);
+                    if (variavelHipotetica && typeof variavelHipotetica.valor !== tipo) {
+                        this.erro(condicaoVariavel.simbolo, `'caso ${condicaoVariavel.simbolo.lexema}:' não é do mesmo tipo esperado em 'escolha'`);
+                    }
+                }
+            }
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Visita declaração enquanto (while)
+     */
+    visitarDeclaracaoEnquanto(declaracao) {
+        return this.verificarCondicao(declaracao.condicao);
+    }
+    /**
+     * Verifica uma condição (usada em enquanto, se, etc)
+     */
+    verificarCondicao(condicao) {
+        if (condicao instanceof construtos_1.Agrupamento) {
+            return this.verificarCondicao(condicao.expressao);
+        }
+        if (condicao instanceof construtos_1.Variavel) {
+            return this.verificarVariavelBinaria(condicao);
+        }
+        if (condicao instanceof construtos_1.Binario) {
+            return this.verificarBinario(condicao);
+        }
+        if (condicao instanceof construtos_1.Logico) {
+            return this.verificarLogico(condicao);
+        }
+        if (condicao instanceof construtos_1.Chamada) {
+            return this.verificarChamada(condicao);
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Verifica variável em contexto binário
+     */
+    verificarVariavelBinaria(variavel) {
+        this.verificarVariavel(variavel);
+        const variavelHipotetica = this.gerenciadorEscopos.buscar(variavel.simbolo.lexema);
+        if (variavelHipotetica &&
+            !(variavelHipotetica.valor instanceof construtos_1.Binario) &&
+            typeof variavelHipotetica.valor !== 'boolean') {
+            this.erro(variavel.simbolo, `Esperado tipo 'lógico' na condição do 'enquanto'.`);
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Verifica se variável existe, está inicializada e marca como usada
+     */
+    verificarVariavel(variavel) {
+        const variavelEscopo = this.gerenciadorEscopos.buscar(variavel.simbolo.lexema);
+        if (!variavelEscopo) {
+            this.erro(variavel.simbolo, `Variável '${variavel.simbolo.lexema}' ainda não foi declarada até este ponto.`);
             return Promise.resolve();
         }
+        // Marca como usada
+        this.gerenciadorEscopos.marcarComoUsada(variavel.simbolo.lexema);
+        // Verifica se foi inicializada
+        if (!variavelEscopo.inicializada) {
+            this.aviso(variavel.simbolo, `Variável '${variavel.simbolo.lexema}' pode não ter sido inicializada antes do uso.`);
+        }
+        return Promise.resolve();
     }
-    visitarDeclaracaoDeExpressao(declaracao) {
-        return declaracao.expressao.aceitar(this);
+    /**
+     * Verifica operação binária
+     */
+    verificarBinario(binario) {
+        this.verificarExistenciaConstruto(binario.direita);
+        this.verificarExistenciaConstruto(binario.esquerda);
+        this.verificarOperadorBinario(binario);
+        return Promise.resolve();
     }
+    /**
+     * Verifica operador binário recursivamente
+     */
+    verificarOperadorBinario(binario) {
+        if (binario.esquerda instanceof construtos_1.Binario) {
+            this.verificarOperadorBinario(binario.esquerda);
+        }
+        if (binario.direita instanceof construtos_1.Binario) {
+            this.verificarOperadorBinario(binario.direita);
+        }
+        const operadoresMatematicos = ['ADICAO', 'SUBTRACAO', 'MULTIPLICACAO', 'DIVISAO', 'MODULO'];
+        if (operadoresMatematicos.includes(binario.operador.tipo)) {
+            this.verificarTiposOperandos(binario);
+        }
+        if (binario.operador.tipo === 'DIVISAO') {
+            this.verificarDivisaoPorZero(binario);
+        }
+    }
+    /**
+     * Verifica se os tipos dos operandos são compatíveis
+     */
+    verificarTiposOperandos(binario) {
+        const tipoEsquerda = this.obterTipoExpressao(binario.esquerda);
+        const tipoDireita = this.obterTipoExpressao(binario.direita);
+        if (tipoEsquerda && tipoDireita && tipoEsquerda !== tipoDireita) {
+            // Verificar se são tipos numéricos compatíveis
+            const tiposNumericos = ['inteiro', 'número', 'real'];
+            const ambosNumericos = tiposNumericos.includes(tipoEsquerda) && tiposNumericos.includes(tipoDireita);
+            if (!ambosNumericos) {
+                this.aviso(binario.operador, `Operação entre tipos diferentes: tipo esquerdo '${tipoEsquerda}' e tipo direito '${tipoDireita}'. O resultado será resolvido implicitamente.`);
+            }
+        }
+    }
+    /**
+     * Verifica divisão por zero recursivamente
+     */
+    verificarDivisaoPorZero(binario) {
+        const valorDireita = this.avaliarExpressaoConstante(binario.direita);
+        if (valorDireita === 0) {
+            this.erro(binario.operador, `Divisão por zero.`);
+        }
+    }
+    /**
+     * Tenta avaliar uma expressão em tempo de compilação para detectar valores constantes
+     * Retorna o valor se puder ser determinado, ou null caso contrário
+     */
+    avaliarExpressaoConstante(expressao) {
+        if (expressao instanceof construtos_1.Literal) {
+            return expressao.valor;
+        }
+        if (expressao instanceof construtos_1.Variavel) {
+            const variavel = this.gerenciadorEscopos.buscar(expressao.simbolo.lexema);
+            if (!variavel) {
+                return null;
+            }
+            if (variavel.imutavel && variavel.inicializada) {
+                return variavel.valor;
+            }
+            if (variavel.inicializada && variavel.valor !== undefined) {
+                return variavel.valor;
+            }
+            return null;
+        }
+        if (expressao instanceof construtos_1.Binario) {
+            const esquerda = this.avaliarExpressaoConstante(expressao.esquerda);
+            const direita = this.avaliarExpressaoConstante(expressao.direita);
+            if (esquerda !== null && direita !== null) {
+                return this.calcularOperacaoBinaria(expressao.operador.tipo, esquerda, direita);
+            }
+        }
+        if (expressao instanceof construtos_1.Agrupamento) {
+            return this.avaliarExpressaoConstante(expressao.expressao);
+        }
+        return null;
+    }
+    /**
+     * Calcula o resultado de uma operação binária em tempo de compilação
+     */
+    calcularOperacaoBinaria(operador, esquerda, direita) {
+        try {
+            switch (operador) {
+                case 'ADICAO':
+                    return esquerda + direita;
+                case 'SUBTRACAO':
+                    return esquerda - direita;
+                case 'MULTIPLICACAO':
+                    return esquerda * direita;
+                case 'DIVISAO':
+                    return esquerda / direita;
+                case 'MODULO':
+                    return esquerda % direita;
+                case 'MAIOR':
+                    return esquerda > direita;
+                case 'MAIOR_IGUAL':
+                    return esquerda >= direita;
+                case 'MENOR':
+                    return esquerda < direita;
+                case 'MENOR_IGUAL':
+                    return esquerda <= direita;
+                case 'IGUAL':
+                    return esquerda === direita;
+                case 'DIFERENTE':
+                    return esquerda !== direita;
+                default:
+                    return null;
+            }
+        }
+        catch (e) {
+            return null;
+        }
+    }
+    /**
+     * Obtém o tipo de uma expressão (pode ser Literal, Variavel, ou Binario)
+     */
+    obterTipoExpressao(expressao) {
+        if (expressao instanceof construtos_1.Literal) {
+            return expressao.tipo;
+        }
+        if (expressao instanceof construtos_1.Variavel) {
+            const variavel = this.gerenciadorEscopos.buscar(expressao.simbolo.lexema);
+            return (variavel === null || variavel === void 0 ? void 0 : variavel.tipo) || null;
+        }
+        if (expressao instanceof construtos_1.Binario) {
+            // Para binários, tentamos inferir o tipo baseado nos operandos
+            return this.inferirTipoBinario(expressao);
+        }
+        if (expressao instanceof construtos_1.Agrupamento) {
+            return this.obterTipoExpressao(expressao.expressao);
+        }
+        return null;
+    }
+    /**
+     * Infere o tipo de resultado de uma operação binária
+     */
+    inferirTipoBinario(binario) {
+        const tipoEsquerda = this.obterTipoExpressao(binario.esquerda);
+        const tipoDireita = this.obterTipoExpressao(binario.direita);
+        if (!tipoEsquerda || !tipoDireita) {
+            return null;
+        }
+        const operadoresMatematicos = ['ADICAO', 'SUBTRACAO', 'MULTIPLICACAO', 'DIVISAO', 'MODULO'];
+        const operadoresComparacao = [
+            'MAIOR',
+            'MAIOR_IGUAL',
+            'MENOR',
+            'MENOR_IGUAL',
+            'IGUAL',
+            'DIFERENTE',
+        ];
+        if (operadoresComparacao.includes(binario.operador.tipo)) {
+            return 'lógico';
+        }
+        if (operadoresMatematicos.includes(binario.operador.tipo)) {
+            const tiposNumericos = ['inteiro', 'número', 'real'];
+            if (tiposNumericos.includes(tipoEsquerda) && tiposNumericos.includes(tipoDireita)) {
+                // Se um dos lados é 'real', o resultado é 'real'
+                if (tipoEsquerda === 'real' || tipoDireita === 'real') {
+                    return 'real';
+                }
+                return 'número';
+            }
+            // Concatenação de textos
+            if (tipoEsquerda === 'texto' || tipoDireita === 'texto') {
+                return 'texto';
+            }
+        }
+        return 'qualquer';
+    }
+    /**
+     * Verifica existência de construto (variável ou binário)
+     */
+    verificarExistenciaConstruto(construto) {
+        if (construto instanceof construtos_1.Variavel) {
+            if (!this.gerenciadorEscopos.buscar(construto.simbolo.lexema)) {
+                this.erro(construto.simbolo, `Variável ${construto.simbolo.lexema} ainda não foi declarada até este ponto.`);
+                return;
+            }
+            this.gerenciadorEscopos.marcarComoUsada(construto.simbolo.lexema);
+            return;
+        }
+        if (construto instanceof construtos_1.Binario) {
+            this.verificarBinario(construto);
+        }
+    }
+    /**
+     * Verifica expressão lógica
+     */
+    verificarLogico(logico) {
+        this.verificarLadoLogico(logico.direita);
+        this.verificarLadoLogico(logico.esquerda);
+        return Promise.resolve();
+    }
+    /**
+     * Verifica chamada de função
+     */
+    verificarChamada(chamada) {
+        if (chamada.entidadeChamada instanceof construtos_1.Variavel) {
+            let entidadeChamadaVariavel = chamada.entidadeChamada;
+            if (!this.funcoes[entidadeChamadaVariavel.simbolo.lexema]) {
+                this.erro(entidadeChamadaVariavel.simbolo, `Chamada da função '${entidadeChamadaVariavel.simbolo.lexema}' não existe.`);
+            }
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Verifica lado de expressão lógica
+     */
+    verificarLadoLogico(lado) {
+        if (lado instanceof construtos_1.Variavel) {
+            let variavel = lado;
+            this.verificarVariavelBinaria(variavel);
+        }
+    }
+    /**
+     * Verifica interpolações de texto e marca variáveis como usadas
+     */
+    verificarInterpolacaoTexto(texto, literal) {
+        // Regex para encontrar ${identificador}
+        const regexInterpolacao = /\$\{([a-zA-Z_][a-zA-Z0-9_]*)\}/g;
+        let match;
+        while ((match = regexInterpolacao.exec(texto)) !== null) {
+            const nomeVariavel = match[1];
+            // Verifica se a variável existe
+            const variavel = this.gerenciadorEscopos.buscar(nomeVariavel);
+            const funcao = this.funcoes[nomeVariavel];
+            if (!variavel && !funcao) {
+                this.erro({
+                    lexema: nomeVariavel,
+                    tipo: 'IDENTIFICADOR',
+                    linha: literal.linha,
+                    hashArquivo: literal.hashArquivo,
+                    literal: null,
+                }, `Variável ou função '${nomeVariavel}' usada em interpolação não existe.`);
+            }
+            else if (variavel) {
+                // Marca como usada
+                this.gerenciadorEscopos.marcarComoUsada(nomeVariavel);
+                // Verifica se foi inicializada
+                if (!variavel.inicializada) {
+                    this.aviso({
+                        lexema: nomeVariavel,
+                        tipo: 'IDENTIFICADOR',
+                        linha: literal.linha,
+                        hashArquivo: literal.hashArquivo,
+                        literal: null,
+                    }, `Variável '${nomeVariavel}' usada em interpolação pode não ter sido inicializada.`);
+                }
+            }
+        }
+    }
+    /**
+     * Visita declaração escreva (print/write)
+     */
+    visitarDeclaracaoEscreva(declaracao) {
+        if (declaracao.argumentos.length === 0) {
+            const { linha, hashArquivo } = declaracao;
+            const simbolo = {
+                literal: '',
+                tipo: '',
+                lexema: 'escreva',
+                linha,
+                hashArquivo,
+            };
+            this.erro(simbolo, `É preciso ter um ou mais parametros para 'escreva(...)'`);
+            return Promise.resolve();
+        }
+        for (const argumento of declaracao.argumentos) {
+            this.marcarVariaveisUsadasEmExpressao(argumento);
+            if (argumento instanceof construtos_1.Literal && argumento.tipo === 'texto') {
+                this.verificarInterpolacaoTexto(argumento.valor, argumento);
+            }
+            if (argumento instanceof construtos_1.Variavel) {
+                const possivelVariavel = this.gerenciadorEscopos.buscar(argumento.simbolo.lexema);
+                const possivelFuncao = this.funcoes[argumento.simbolo.lexema];
+                if (!possivelVariavel && !possivelFuncao) {
+                    this.erro(argumento.simbolo, `Variável ou função '${argumento.simbolo.lexema}' não existe.`);
+                    continue;
+                }
+                if (possivelVariavel && possivelVariavel.valor === undefined) {
+                    this.aviso(argumento.simbolo, `Variável '${argumento.simbolo.lexema}' não foi inicializada.`);
+                }
+            }
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Visita declaração de constante
+     */
+    visitarDeclaracaoConst(declaracao) {
+        var _a;
+        this.verificarTipoAtribuido(declaracao);
+        if (declaracao.inicializador) {
+            this.marcarVariaveisUsadasEmExpressao(declaracao.inicializador);
+        }
+        const constanteCorrespondente = this.gerenciadorEscopos.buscarNoEscopoAtual(declaracao.simbolo.lexema);
+        if (constanteCorrespondente) {
+            this.erro(declaracao.simbolo, 'Declaração de constante já feita.');
+            return Promise.resolve();
+        }
+        this.gerenciadorEscopos.declarar(declaracao.simbolo.lexema, {
+            nome: declaracao.simbolo.lexema,
+            tipo: declaracao.tipo || 'qualquer',
+            imutavel: true,
+            valor: (_a = declaracao.inicializador) === null || _a === void 0 ? void 0 : _a.valor,
+            inicializada: true,
+            usada: false,
+            hashArquivo: declaracao.simbolo.hashArquivo,
+            linha: declaracao.simbolo.linha,
+        });
+        return Promise.resolve();
+    }
+    /**
+     * Visita declaração de variável
+     */
     visitarDeclaracaoVar(declaracao) {
-        this.variaveis[declaracao.simbolo.lexema] = {
+        this.verificarTipoAtribuido(declaracao);
+        if (declaracao.inicializador) {
+            this.marcarVariaveisUsadasEmExpressao(declaracao.inicializador);
+        }
+        let valorInicializador = undefined;
+        if (declaracao.inicializador) {
+            if (declaracao.inicializador.hasOwnProperty('valor')) {
+                valorInicializador = declaracao.inicializador.valor;
+            }
+            else {
+                valorInicializador = declaracao.inicializador;
+            }
+        }
+        const variavel = {
+            nome: declaracao.simbolo.lexema,
+            tipo: declaracao.tipo || 'qualquer',
             imutavel: false,
-            tipo: 'número',
+            valor: valorInicializador,
+            inicializada: declaracao.inicializador !== null && declaracao.inicializador !== undefined,
+            usada: false,
+            hashArquivo: declaracao.simbolo.hashArquivo,
+            linha: declaracao.simbolo.linha,
+        };
+        const declaradaComSucesso = this.gerenciadorEscopos.declarar(declaracao.simbolo.lexema, variavel);
+        if (!declaradaComSucesso) {
+            const variavelExistente = this.gerenciadorEscopos.buscarNoEscopoAtual(declaracao.simbolo.lexema);
+            this.aviso(declaracao.simbolo, `Variável '${declaracao.simbolo.lexema}' já foi declarada na linha ${variavelExistente === null || variavelExistente === void 0 ? void 0 : variavelExistente.linha}.`);
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Visita declaração de definição de função
+     */
+    visitarDeclaracaoDefinicaoFuncao(declaracao) {
+        if (declaracao.funcao.tipo === undefined) {
+            this.erro(declaracao.simbolo, `Declaração de retorno da função é inválido.`);
+        }
+        if (declaracao.funcao.parametros.length >= 255) {
+            this.erro(declaracao.simbolo, 'Função não pode ter mais de 255 parâmetros.');
+        }
+        let tipoRetornoFuncao = declaracao.funcao.tipo;
+        if (tipoRetornoFuncao) {
+            if (!['vazio', 'qualquer'].includes(tipoRetornoFuncao)) {
+                const todosOsCaminhosRetornam = this.todosOsCaminhosRetornam(declaracao.funcao.corpo);
+                if (!todosOsCaminhosRetornam) {
+                    this.erro(declaracao.simbolo, `Função '${declaracao.simbolo.lexema}' deve retornar '${tipoRetornoFuncao}' em todos os caminhos de execução.`);
+                }
+            }
+            let funcaoContemRetorno = declaracao.funcao.corpo.find((c) => c instanceof declaracoes_1.Retorna);
+            if (funcaoContemRetorno && funcaoContemRetorno.valor) {
+                if (tipoRetornoFuncao === 'vazio') {
+                    this.erro(declaracao.simbolo, `A função não pode ter nenhum tipo de retorno.`);
+                }
+                else {
+                    const tipoValor = typeof funcaoContemRetorno.valor.valor;
+                    if (!['qualquer'].includes(tipoRetornoFuncao)) {
+                        if (tipoValor === 'string' && tipoRetornoFuncao !== 'texto') {
+                            this.erro(declaracao.simbolo, `Esperado retorno do tipo '${tipoRetornoFuncao}' dentro da função.`);
+                        }
+                        if (tipoValor === 'number' &&
+                            !['inteiro', 'real', 'número'].includes(tipoRetornoFuncao)) {
+                            this.erro(declaracao.simbolo, `Esperado retorno do tipo '${tipoRetornoFuncao}' dentro da função.`);
+                        }
+                    }
+                }
+            }
+        }
+        this.funcoes[declaracao.simbolo.lexema] = {
+            valor: declaracao.funcao,
         };
         return Promise.resolve();
     }
+    /**
+     * Visita expressão leia
+     * Mapeia o formato de leitura para o tipo esperado
+     * Nota: argumentos[0] = variável, argumentos[1] = formato
+     */
     visitarExpressaoLeia(expressao) {
-        if (!this.variaveis.hasOwnProperty(expressao.argumentos[0].simbolo.lexema)) {
+        const nomeVariavel = expressao.argumentos[0].simbolo.lexema;
+        // Verifica se a variável foi declarada
+        if (!this.gerenciadorEscopos.buscar(nomeVariavel)) {
             this.diagnosticos.push({
                 simbolo: expressao.argumentos[0].simbolo,
-                mensagem: `A variável ${expressao.argumentos[0].simbolo.lexema} não foi declarada.`,
+                mensagem: `A variável ${nomeVariavel} não foi declarada.`,
                 hashArquivo: expressao.hashArquivo,
                 linha: expressao.linha,
-                severidade: erros_1.DiagnosticoSeveridade.ERRO,
+                severidade: interfaces_1.DiagnosticoSeveridade.ERRO,
             });
             return Promise.resolve();
         }
-        const tipoVariavelExpressão = this.variaveis[expressao.argumentos[0].simbolo.lexema].tipo;
-        const tipoVariavelArgumento = expressao.argumentos[1].valor;
-        if (tipoVariavelExpressão !== tipoVariavelArgumento) {
+        // Marca a variável como usada (ela está sendo lida)
+        this.gerenciadorEscopos.marcarComoUsada(nomeVariavel);
+        const variavelEscopo = this.gerenciadorEscopos.buscar(expressao.argumentos[0].simbolo.lexema);
+        const tipoVariavelExpressao = variavelEscopo === null || variavelEscopo === void 0 ? void 0 : variavelEscopo.tipo;
+        // Em BIRL, o analisador sintático já converte o formato para o tipo
+        // Por exemplo: "%d" vira "número", "%s" vira "texto"
+        const tipoEsperado = expressao.argumentos[1].valor;
+        // Verifica compatibilidade de tipos numéricos
+        // "numero" (sem acento) e "número" (com acento) são equivalentes
+        const tiposNumericos = ['numero', 'número', 'inteiro', 'real', 'qualquer'];
+        const tipoVariavelEhNumerico = tiposNumericos.includes(tipoVariavelExpressao || '');
+        const tipoEsperadoEhNumerico = tiposNumericos.includes(tipoEsperado || '');
+        // Se ambos são numéricos, aceita (permite compatibilidade entre "numero" e "número")
+        if (tipoVariavelEhNumerico && tipoEsperadoEhNumerico) {
+            return Promise.resolve();
+        }
+        // Para tipos não numéricos, precisa ser exatamente igual
+        if (tipoVariavelExpressao !== tipoEsperado) {
             this.diagnosticos.push({
                 simbolo: expressao.argumentos[0].simbolo,
-                mensagem: `A variável ${expressao.argumentos[0].simbolo.lexema} não é do tipo ${tipoVariavelArgumento}.`,
+                mensagem: `A variável ${expressao.argumentos[0].simbolo.lexema} não é do tipo ${tipoEsperado}.`,
                 hashArquivo: expressao.hashArquivo,
                 linha: expressao.linha,
-                severidade: erros_1.DiagnosticoSeveridade.ERRO,
+                severidade: interfaces_1.DiagnosticoSeveridade.ERRO,
             });
         }
         return Promise.resolve();
     }
+    /**
+     * Visita expressão de variável
+     */
+    visitarExpressaoDeVariavel(expressao) {
+        if (expressao instanceof construtos_1.Variavel) {
+            return this.verificarVariavel(expressao);
+        }
+        return Promise.resolve();
+    }
+    /**
+     * Visita expressão retornar
+     */
     visitarExpressaoRetornar(declaracao) {
         return Promise.resolve(null);
     }
+    /**
+     * Verifica variáveis não usadas
+     */
+    verificarVariaveisNaoUsadas() {
+        const naoUsadas = this.gerenciadorEscopos.obterVariaveisNaoUsadas();
+        for (let variavel of naoUsadas) {
+            // Verifica se já existe um erro associado à variável
+            const temErro = this.diagnosticos.some((d) => d.severidade === interfaces_1.DiagnosticoSeveridade.ERRO && d.simbolo.lexema === variavel.nome);
+            // Se a variável já tem um erro associado, não emitir aviso de não usada
+            if (temErro) {
+                continue;
+            }
+            this.aviso({
+                lexema: variavel.nome,
+                linha: variavel.linha,
+                tipo: variavel.tipo,
+                hashArquivo: variavel.hashArquivo,
+            }, `Variável '${variavel.nome}' foi declarada mas nunca usada.`);
+        }
+    }
+    /**
+     * Analisa as declarações e retorna os diagnósticos
+     */
     analisar(declaracoes) {
-        this.variaveis = {};
+        // Inicializa o gerenciador de escopos
+        this.gerenciadorEscopos = new gerenciador_escopos_1.GerenciadorEscopos();
         this.atual = 0;
         this.diagnosticos = [];
         while (this.atual < declaracoes.length) {
             declaracoes[this.atual].aceitar(this);
             this.atual++;
         }
+        // Verifica variáveis não usadas ao final
+        this.verificarVariaveisNaoUsadas();
         return {
             diagnosticos: this.diagnosticos,
         };

package/analisador-semantico/analisador-semantico-birl.js.map

@@ -1 +1 @@
-{"version":3,"file":"analisador-semantico-birl.js","sourceRoot":"","sources":["../../fontes/analisador-semantico/analisador-semantico-birl.ts"],"names":[],"mappings":";;;AAWA,mEAAgH;AAGhH,qHAAgH;AAChH,iGAA6F;AAmB7F,MAAa,uBAAwB,SAAQ,mDAAuB;IAMhE;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,cAAc,GAAG,IAAI,gCAAc,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;IAC3B,CAAC;IAED,4BAA4B,CAAC,SAAmB;QAC5C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;QAClC,2CAA2C;QAC3C,MAAM,YAAY,GAAa,IAAgB,CAAC;QAEhD,IAAI,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,YAAY,CAAC,OAAO,CAAC,MAAM,2BAA2B,CAAC,CAAC;YACpH,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACpB,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC,OAAO,EAAE,aAAa,YAAY,CAAC,OAAO,CAAC,MAAM,2BAA2B,CAAC,CAAC;YACrH,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;IACL,CAAC;IAED,4BAA4B,CAAC,UAAqB;QAC9C,OAAO,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,oBAAoB,CAAC,UAAe;QAChC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG;YACxC,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,QAAQ;SACjB,CAAC;QAEF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED,oBAAoB,CAAC,SAAe;QAChC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACvF,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO;gBACtD,QAAQ,EAAE,cAAe,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO,CAAC,MAAM,qBAAqB;gBACjG,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,UAAU,EAAE,6BAAqB,CAAC,IAAI;aACzC,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,MAAM,qBAAqB,GAAG,IAAI,CAAC,SAAS,CAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;QACxG,MAAM,qBAAqB,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAE5D,IAAI,qBAAqB,KAAK,qBAAqB,EAAE,CAAC;YAClD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO;gBACtD,QAAQ,EAAE,cACL,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO,CAAC,MAClD,kBAAkB,qBAAqB,GAAG;gBAC1C,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,UAAU,EAAE,6BAAqB,CAAC,IAAI;aACzC,CAAC,CAAC;QACP,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED,wBAAwB,CAAC,UAAmB;QACxC,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ,CAAC,WAAyB;QAC9B,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QAEvB,OAAO,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YACrC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC;QAED,OAAO;YACH,YAAY,EAAE,IAAI,CAAC,YAAY;SACJ,CAAC;IACpC,CAAC;CACJ;AA5FD,0DA4FC"}
+{"version":3,"file":"analisador-semantico-birl.js","sourceRoot":"","sources":["../../fontes/analisador-semantico/analisador-semantico-birl.ts"],"names":[],"mappings":";;;AAAA,kEAW2C;AAC3C,oEAU4C;AAC5C,kEAAgJ;AAGhJ,qHAAgH;AAChH,iGAA6F;AAE7F,yGAAqG;AAmBrG,MAAa,uBAAwB,SAAQ,mDAAuB;IAMhE;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,cAAc,GAAG,IAAI,gCAAc,EAAE,CAAC;QAC3C,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,sBAAsB,CAAC,UAAuB;QAC1C,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClB,mBAAmB;YACnB,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5E,IAAI,UAAU,CAAC,aAAa,YAAY,kBAAK,EAAE,CAAC;oBAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,CAAC;oBACvC,MAAM,mBAAmB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,sBAAS,CACrC,CAAC;oBAEF,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;wBAClC,MAAM,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAC1C,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,KAAK,CAAA,KAAK,QAAQ,CAC3C,CAAC;wBACF,IAAI,aAAa,EAAE,CAAC;4BAChB,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,UAAU,CAAC,OAAO,CAAC,MAAM,mEAAmE,KAAK,CAAC,IAAI,GAAG,CACzI,CAAC;wBACN,CAAC;oBACL,CAAC;oBAED,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;wBAChC,MAAM,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAC1C,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,KAAK,CAAA,KAAK,QAAQ,CAC3C,CAAC;wBACF,IAAI,aAAa,EAAE,CAAC;4BAChB,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,UAAU,CAAC,OAAO,CAAC,MAAM,yDAAyD,KAAK,CAAC,IAAI,GAAG,CAC/H,CAAC;wBACN,CAAC;oBACL,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,UAAU,CAAC,OAAO,CAAC,MAAM,sCAAsC,CAC/F,CAAC;gBACN,CAAC;YACL,CAAC;YAED,oBAAoB;YACpB,IAAI,UAAU,CAAC,aAAa,YAAY,oBAAO,EAAE,CAAC;gBAC9C,MAAM,OAAO,GAAG,UAAU,CAAC,aAAa,CAAC;gBACzC,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC1D,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,UAAU,CAAC,OAAO,CAAC,MAAM,gDAAgD,OAAO,CAAC,IAAI,GAAG,CACxH,CAAC;gBACN,CAAC;gBAED,IACI,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;oBACvD,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EACvD,CAAC;oBACC,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,UAAU,CAAC,OAAO,CAAC,MAAM,iDAAiD,OAAO,CAAC,IAAI,GAAG,CACzH,CAAC;gBACN,CAAC;YACL,CAAC;YAED,kBAAkB;YAClB,IAAI,UAAU,CAAC,aAAa,YAAY,iBAAI,EAAE,CAAC;gBAC3C,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnD,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,UAAU,CAAC,OAAO,CAAC,MAAM,4CAA4C,CACrG,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACO,0CAA0C,CAChD,aAA+B,EAC/B,UAAgC,EAChC,UAAiB;QAEjB,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CACL,aAAa,EACb,WAAW,aAAa,CAAC,MAAM,YAAY,UAAU,CAAC,MAAM,uBAAuB,UAAU,CAAC,MAAM,GAAG,CAC1G,CAAC;QACN,CAAC;QAED,KAAK,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,SAAS,EAAE,CAAC;gBACZ,IAAI,SAAS,CAAC,QAAQ,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC/D,IAAI,CAAC,IAAI,CACL,aAAa,EACb,qCAAqC,SAAS,CAAC,IAAI,CAAC,MAAM,MAAM,SAAS,CAAC,QAAQ,0CAA0C,SAAS,CAAC,IAAI,IAAI,CACjJ,CAAC;gBACN,CAAC;qBAAM,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACpE,yEAAyE;oBACzE,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1D,IAAI,CAAC,IAAI,CACL,aAAa,EACb,qCAAqC,SAAS,CAAC,IAAI,CAAC,MAAM,MAAM,SAAS,CAAC,QAAQ,0CAA0C,SAAS,CAAC,IAAI,IAAI,CACjJ,CAAC;oBACN,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACH,yBAAyB,CAAC,SAAkB;QACxC,iDAAiD;QACjD,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YAC3C,IAAI,SAAS,YAAY,qBAAQ,EAAE,CAAC;gBAChC,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACtE,CAAC;QACL,CAAC;QAED,yCAAyC;QACzC,IAAI,SAAS,CAAC,eAAe,YAAY,qBAAQ,EAAE,CAAC;YAChD,MAAM,uBAAuB,GAAG,SAAS,CAAC,eAAe,CAAC;YAC1D,MAAM,aAAa,GACf,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,MAAM,CAAC;gBACtE,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAEzD,IAAI,CAAC,aAAa,EAAE,CAAC;gBACjB,IAAI,CAAC,IAAI,CACL,uBAAuB,CAAC,OAAO,EAC/B,sBAAsB,uBAAuB,CAAC,OAAO,CAAC,MAAM,eAAe,CAC9E,CAAC;gBACF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;YAC7B,CAAC;YAED,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC;YACnC,IAAI,CAAC,0CAA0C,CAC3C,uBAAuB,CAAC,OAAO,EAC/B,MAAM,CAAC,UAAU,EACjB,SAAS,CAAC,UAAU,CACvB,CAAC;QACN,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,4BAA4B,CAAC,SAAmB;QAC5C,IAAI,WAA6B,CAAC;QAElC,0BAA0B;QAC1B,IAAI,SAAS,CAAC,IAAI,YAAY,qBAAQ,EAAE,CAAC;YACrC,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC;YACpC,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC;QACvC,CAAC;aAAM,CAAC;YACJ,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,6BAA6B;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,IAAI,CAAC,IAAI,CACL,WAAW,EACX,aAAa,WAAW,CAAC,MAAM,2CAA2C,CAC7E,CAAC;YACF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,0BAA0B;QAC1B,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,WAAW,CAAC,MAAM,4BAA4B,CAAC,CAAC;YACrF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,0CAA0C;QAC1C,IAAI,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QAEpF,iDAAiD;QACjD,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAChB,IAAI,SAAS,CAAC,KAAK,YAAY,oBAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrE,IAAI,CAAC,IAAI,CACL,WAAW,EACX,uCAAuC,QAAQ,CAAC,IAAI,kBAAkB,CACzE,CAAC;gBACF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;YAC7B,CAAC;YAED,IAAI,SAAS,CAAC,KAAK,YAAY,kBAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpE,IAAI,CAAC,IAAI,CACL,WAAW,EACX,uCAAuC,QAAQ,CAAC,IAAI,kBAAkB,CACzE,CAAC;gBACF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;YAC7B,CAAC;YAED,IAAI,SAAS,CAAC,KAAK,YAAY,oBAAO,EAAE,CAAC;gBACrC,IAAI,YAAY,GAAG,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;gBAChD,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxC,IAAI,YAAY,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBACzD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,kBAAkB,QAAQ,CAAC,IAAI,kBAAkB,CAAC,CAAC;wBAC1E,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;oBAC7B,CAAC;oBAED,IACI,YAAY,KAAK,QAAQ;wBACzB,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EACxD,CAAC;wBACC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,kBAAkB,QAAQ,CAAC,IAAI,kBAAkB,CAAC,CAAC;wBAC1E,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;oBAC7B,CAAC;gBACL,CAAC;YACL,CAAC;YAED,IAAI,SAAS,CAAC,KAAK,YAAY,kBAAK,EAAE,CAAC;gBACnC,IAAI,mBAAmB,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CACpD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,sBAAS,CACrC,CAAC;gBACF,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;wBAC9B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;4BACtE,IAAI,CAAC,IAAI,CACL,WAAW,EACX,kBAAkB,QAAQ,CAAC,IAAI,kBAAkB,CACpD,CAAC;4BACF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;wBAC7B,CAAC;oBACL,CAAC;oBAED,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;wBACpD,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;4BACtE,IAAI,CAAC,IAAI,CACL,WAAW,EACX,kBAAkB,QAAQ,CAAC,IAAI,kBAAkB,CACpD,CAAC;4BACF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;wBAC7B,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,4BAA4B,CAAC,UAAqB;QACpD,OAAO,MAAM,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,UAAmB;QACxC,MAAM,sBAAsB,GAAG,UAAU,CAAC,sBAA6B,CAAC;QACxE,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC;QAEzC,KAAK,IAAI,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACtC,KAAK,IAAI,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACrC,IAAI,QAAQ,YAAY,oBAAO,EAAE,CAAC;oBAC9B,MAAM,eAAe,GAAG,QAAQ,CAAC;oBACjC,IAAI,eAAe,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;wBAChC,IAAI,CAAC,IAAI,CACL;4BACI,MAAM,EAAE,eAAe,CAAC,KAAK;4BAC7B,IAAI,EAAE,eAAe,CAAC,IAAI;4BAC1B,KAAK,EAAE,eAAe,CAAC,KAAK;4BAC5B,WAAW,EAAE,eAAe,CAAC,WAAW;yBACvB,EACrB,SAAS,eAAe,CAAC,KAAK,2DAA2D,IAAI,YAAY,eAAe,CAAC,IAAI,IAAI,CACpI,CAAC;oBACN,CAAC;gBACL,CAAC;qBAAM,IAAI,QAAQ,YAAY,qBAAQ,EAAE,CAAC;oBACtC,MAAM,gBAAgB,GAAG,QAAQ,CAAC;oBAClC,IAAI,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;oBACzC,MAAM,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CACrD,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAClC,CAAC;oBACF,IAAI,kBAAkB,IAAI,OAAO,kBAAkB,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;wBACjE,IAAI,CAAC,IAAI,CACL,gBAAgB,CAAC,OAAO,EACxB,SAAS,gBAAgB,CAAC,OAAO,CAAC,MAAM,8CAA8C,CACzF,CAAC;oBACN,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,yBAAyB,CAAC,UAAoB;QAC1C,OAAO,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,QAAa;QACnC,IAAI,QAAQ,YAAY,wBAAW,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtD,CAAC;QAED,IAAI,QAAQ,YAAY,qBAAQ,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,QAAQ,YAAY,oBAAO,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC3C,CAAC;QAED,IAAI,QAAQ,YAAY,mBAAM,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,QAAQ,YAAY,oBAAO,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACK,wBAAwB,CAAC,QAAkB;QAC/C,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAEnF,IACI,kBAAkB;YAClB,CAAC,CAAC,kBAAkB,CAAC,KAAK,YAAY,oBAAO,CAAC;YAC9C,OAAO,kBAAkB,CAAC,KAAK,KAAK,SAAS,EAC/C,CAAC;YACC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,mDAAmD,CAAC,CAAC;QACrF,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,QAAkB;QACxC,MAAM,cAAc,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAE/E,IAAI,CAAC,cAAc,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,CACL,QAAQ,CAAC,OAAO,EAChB,aAAa,QAAQ,CAAC,OAAO,CAAC,MAAM,2CAA2C,CAClF,CAAC;YACF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,mBAAmB;QACnB,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAEjE,+BAA+B;QAC/B,IAAI,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CACN,QAAQ,CAAC,OAAO,EAChB,aAAa,QAAQ,CAAC,OAAO,CAAC,MAAM,gDAAgD,CACvF,CAAC;QACN,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,OAAgB;QACrC,IAAI,CAAC,4BAA4B,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,CAAC,4BAA4B,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACvC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACK,wBAAwB,CAAC,OAAgB;QAC7C,IAAI,OAAO,CAAC,QAAQ,YAAY,oBAAO,EAAE,CAAC;YACtC,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,OAAO,CAAC,OAAO,YAAY,oBAAO,EAAE,CAAC;YACrC,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,qBAAqB,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC5F,IAAI,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACL,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,OAAgB;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAE7D,IAAI,YAAY,IAAI,WAAW,IAAI,YAAY,KAAK,WAAW,EAAE,CAAC;YAC9D,+CAA+C;YAC/C,MAAM,cAAc,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAChB,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;YAElF,IAAI,CAAC,cAAc,EAAE,CAAC;gBAClB,IAAI,CAAC,KAAK,CACN,OAAO,CAAC,QAAQ,EAChB,mDAAmD,YAAY,qBAAqB,WAAW,+CAA+C,CACjJ,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,OAAgB;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAErE,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QACrD,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,yBAAyB,CAAC,SAAc;QAC5C,IAAI,SAAS,YAAY,oBAAO,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC,KAAK,CAAC;QAC3B,CAAC;QAED,IAAI,SAAS,YAAY,qBAAQ,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1E,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBAC7C,OAAO,QAAQ,CAAC,KAAK,CAAC;YAC1B,CAAC;YAED,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxD,OAAO,QAAQ,CAAC,KAAK,CAAC;YAC1B,CAAC;YAED,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,SAAS,YAAY,oBAAO,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACpE,MAAM,OAAO,GAAG,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAElE,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YACpF,CAAC;QACL,CAAC;QAED,IAAI,SAAS,YAAY,wBAAW,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/D,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,QAAgB,EAAE,QAAa,EAAE,OAAY;QACzE,IAAI,CAAC;YACD,QAAQ,QAAQ,EAAE,CAAC;gBACf,KAAK,QAAQ;oBACT,OAAO,QAAQ,GAAG,OAAO,CAAC;gBAC9B,KAAK,WAAW;oBACZ,OAAO,QAAQ,GAAG,OAAO,CAAC;gBAC9B,KAAK,eAAe;oBAChB,OAAO,QAAQ,GAAG,OAAO,CAAC;gBAC9B,KAAK,SAAS;oBACV,OAAO,QAAQ,GAAG,OAAO,CAAC;gBAC9B,KAAK,QAAQ;oBACT,OAAO,QAAQ,GAAG,OAAO,CAAC;gBAC9B,KAAK,OAAO;oBACR,OAAO,QAAQ,GAAG,OAAO,CAAC;gBAC9B,KAAK,aAAa;oBACd,OAAO,QAAQ,IAAI,OAAO,CAAC;gBAC/B,KAAK,OAAO;oBACR,OAAO,QAAQ,GAAG,OAAO,CAAC;gBAC9B,KAAK,aAAa;oBACd,OAAO,QAAQ,IAAI,OAAO,CAAC;gBAC/B,KAAK,OAAO;oBACR,OAAO,QAAQ,KAAK,OAAO,CAAC;gBAChC,KAAK,WAAW;oBACZ,OAAO,QAAQ,KAAK,OAAO,CAAC;gBAChC;oBACI,OAAO,IAAI,CAAC;YACpB,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,SAAc;QACrC,IAAI,SAAS,YAAY,oBAAO,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC,IAAI,CAAC;QAC1B,CAAC;QAED,IAAI,SAAS,YAAY,qBAAQ,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1E,OAAO,CAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,IAAI,KAAI,IAAI,CAAC;QAClC,CAAC;QAED,IAAI,SAAS,YAAY,oBAAO,EAAE,CAAC;YAC/B,+DAA+D;YAC/D,OAAO,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,SAAS,YAAY,wBAAW,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,OAAgB;QACvC,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAE7D,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,qBAAqB,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC5F,MAAM,oBAAoB,GAAG;YACzB,OAAO;YACP,aAAa;YACb,OAAO;YACP,aAAa;YACb,OAAO;YACP,WAAW;SACd,CAAC;QAEF,IAAI,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,OAAO,QAAQ,CAAC;QACpB,CAAC;QAED,IAAI,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,MAAM,cAAc,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACrD,IAAI,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAChF,iDAAiD;gBACjD,IAAI,YAAY,KAAK,MAAM,IAAI,WAAW,KAAK,MAAM,EAAE,CAAC;oBACpD,OAAO,MAAM,CAAC;gBAClB,CAAC;gBACD,OAAO,QAAQ,CAAC;YACpB,CAAC;YAED,yBAAyB;YACzB,IAAI,YAAY,KAAK,OAAO,IAAI,WAAW,KAAK,OAAO,EAAE,CAAC;gBACtD,OAAO,OAAO,CAAC;YACnB,CAAC;QACL,CAAC;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,4BAA4B,CAAC,SAAc;QAC/C,IAAI,SAAS,YAAY,qBAAQ,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5D,IAAI,CAAC,IAAI,CACL,SAAS,CAAC,OAAO,EACjB,YAAY,SAAS,CAAC,OAAO,CAAC,MAAM,0CAA0C,CACjF,CAAC;gBACF,OAAO;YACX,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAClE,OAAO;QACX,CAAC;QAED,IAAI,SAAS,YAAY,oBAAO,EAAE,CAAC;YAC/B,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,MAAc;QAClC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,OAAgB;QACrC,IAAI,OAAO,CAAC,eAAe,YAAY,qBAAQ,EAAE,CAAC;YAC9C,IAAI,uBAAuB,GAAG,OAAO,CAAC,eAAe,CAAC;YACtD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,IAAI,CAAC,IAAI,CACL,uBAAuB,CAAC,OAAO,EAC/B,sBAAsB,uBAAuB,CAAC,OAAO,CAAC,MAAM,eAAe,CAC9E,CAAC;YACN,CAAC;QACL,CAAC;QACD,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,IAAS;QACjC,IAAI,IAAI,YAAY,qBAAQ,EAAE,CAAC;YAC3B,IAAI,QAAQ,GAAG,IAAI,CAAC;YACpB,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QAC5C,CAAC;IACL,CAAC;IAED;;OAEG;IACO,0BAA0B,CAAC,KAAa,EAAE,OAAgB;QAChE,wCAAwC;QACxC,MAAM,iBAAiB,GAAG,iCAAiC,CAAC;QAC5D,IAAI,KAAK,CAAC;QAEV,OAAO,CAAC,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAE9B,gCAAgC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAE1C,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvB,IAAI,CAAC,IAAI,CACL;oBACI,MAAM,EAAE,YAAY;oBACpB,IAAI,EAAE,eAAe;oBACrB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,OAAO,EAAE,IAAI;iBACI,EACrB,uBAAuB,YAAY,qCAAqC,CAC3E,CAAC;YACN,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBAClB,mBAAmB;gBACnB,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;gBAEtD,+BAA+B;gBAC/B,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;oBACzB,IAAI,CAAC,KAAK,CACN;wBACI,MAAM,EAAE,YAAY;wBACpB,IAAI,EAAE,eAAe;wBACrB,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,OAAO,EAAE,IAAI;qBACI,EACrB,aAAa,YAAY,yDAAyD,CACrF,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,UAAmB;QACxC,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC;YAC1C,MAAM,OAAO,GAAqB;gBAC9B,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,EAAE;gBACR,MAAM,EAAE,SAAS;gBACjB,KAAK;gBACL,WAAW;aACd,CAAC;YACF,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,yDAAyD,CAAC,CAAC;YAC9E,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC5C,IAAI,CAAC,gCAAgC,CAAC,SAAS,CAAC,CAAC;YAEjD,IAAI,SAAS,YAAY,oBAAO,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7D,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAChE,CAAC;YAED,IAAI,SAAS,YAAY,qBAAQ,EAAE,CAAC;gBAChC,MAAM,gBAAgB,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAClF,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAE9D,IAAI,CAAC,gBAAgB,IAAI,CAAC,cAAc,EAAE,CAAC;oBACvC,IAAI,CAAC,IAAI,CACL,SAAS,CAAC,OAAO,EACjB,uBAAuB,SAAS,CAAC,OAAO,CAAC,MAAM,eAAe,CACjE,CAAC;oBACF,SAAS;gBACb,CAAC;gBAED,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC3D,IAAI,CAAC,KAAK,CACN,SAAS,CAAC,OAAO,EACjB,aAAa,SAAS,CAAC,OAAO,CAAC,MAAM,yBAAyB,CACjE,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,sBAAsB,CAAC,UAAiB;;QACpC,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAExC,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;YAC3B,IAAI,CAAC,gCAAgC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACpE,CAAC;QAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,kBAAkB,CAAC,mBAAmB,CACvE,UAAU,CAAC,OAAO,CAAC,MAAM,CAC5B,CAAC;QACF,IAAI,uBAAuB,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,mCAAmC,CAAC,CAAC;YACnE,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE;YACxD,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM;YAC/B,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,UAAU;YACnC,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,MAAA,UAAU,CAAC,aAAa,0CAAE,KAAK;YACtC,YAAY,EAAE,IAAI;YAClB,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW;YAC3C,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK;SAClC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,UAAe;QAChC,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAExC,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;YAC3B,IAAI,CAAC,gCAAgC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,kBAAkB,GAAQ,SAAS,CAAC;QACxC,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;YAC3B,IAAI,UAAU,CAAC,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnD,kBAAkB,GAAI,UAAU,CAAC,aAAqB,CAAC,KAAK,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACJ,kBAAkB,GAAG,UAAU,CAAC,aAAa,CAAC;YAClD,CAAC;QACL,CAAC;QAED,MAAM,QAAQ,GAAG;YACb,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM;YAC/B,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,UAAU;YACnC,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,kBAAkB;YACzB,YAAY,EAAE,UAAU,CAAC,aAAa,KAAK,IAAI,IAAI,UAAU,CAAC,aAAa,KAAK,SAAS;YACzF,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW;YAC3C,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK;SAClC,CAAC;QAEF,MAAM,mBAAmB,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CACxD,UAAU,CAAC,OAAO,CAAC,MAAM,EACzB,QAAQ,CACX,CAAC;QAEF,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACvB,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB,CAAC,mBAAmB,CACjE,UAAU,CAAC,OAAO,CAAC,MAAM,CAC5B,CAAC;YACF,IAAI,CAAC,KAAK,CACN,UAAU,CAAC,OAAO,EAClB,aAAa,UAAU,CAAC,OAAO,CAAC,MAAM,+BAA+B,iBAAiB,aAAjB,iBAAiB,uBAAjB,iBAAiB,CAAE,KAAK,GAAG,CACnG,CAAC;QACN,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,gCAAgC,CAAC,UAA4B;QACzD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,6CAA6C,CAAC,CAAC;QACjF,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,6CAA6C,CAAC,CAAC;QACjF,CAAC;QAED,IAAI,iBAAiB,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/C,IAAI,iBAAiB,EAAE,CAAC;YACpB,IAAI,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACrD,MAAM,uBAAuB,GAAG,IAAI,CAAC,uBAAuB,CACxD,UAAU,CAAC,MAAM,CAAC,KAAK,CAC1B,CAAC;gBACF,IAAI,CAAC,uBAAuB,EAAE,CAAC;oBAC3B,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,WAAW,UAAU,CAAC,OAAO,CAAC,MAAM,oBAAoB,iBAAiB,qCAAqC,CACjH,CAAC;gBACN,CAAC;YACL,CAAC;YAED,IAAI,mBAAmB,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,qBAAO,CAAC,CAAC;YACpF,IAAI,mBAAmB,IAAK,mBAA+B,CAAC,KAAK,EAAE,CAAC;gBAChE,IAAI,iBAAiB,KAAK,OAAO,EAAE,CAAC;oBAChC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,+CAA+C,CAAC,CAAC;gBACnF,CAAC;qBAAM,CAAC;oBACJ,MAAM,SAAS,GAAG,OAAQ,mBAA2B,CAAC,KAAK,CAAC,KAAK,CAAC;oBAClE,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;wBAC5C,IAAI,SAAS,KAAK,QAAQ,IAAI,iBAAiB,KAAK,OAAO,EAAE,CAAC;4BAC1D,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,iBAAiB,qBAAqB,CACtE,CAAC;wBACN,CAAC;wBAED,IACI,SAAS,KAAK,QAAQ;4BACtB,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAC5D,CAAC;4BACC,IAAI,CAAC,IAAI,CACL,UAAU,CAAC,OAAO,EAClB,6BAA6B,iBAAiB,qBAAqB,CACtE,CAAC;wBACN,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG;YACtC,KAAK,EAAE,UAAU,CAAC,MAAM;SAC3B,CAAC;QAEF,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;;;OAIG;IACH,oBAAoB,CAAC,SAAe;QAChC,MAAM,YAAY,GAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO,CAAC,MAAM,CAAC;QAE1E,uCAAuC;QACvC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO;gBACtD,QAAQ,EAAE,cAAc,YAAY,qBAAqB;gBACzD,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,UAAU,EAAE,kCAAqB,CAAC,IAAI;aACzC,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,oDAAoD;QACpD,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;QAEtD,MAAM,cAAc,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAChD,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO,CAAC,MAAM,CACvD,CAAC;QACF,MAAM,qBAAqB,GAAG,cAAc,aAAd,cAAc,uBAAd,cAAc,CAAE,IAAI,CAAC;QAEnD,oEAAoE;QACpE,qDAAqD;QACrD,MAAM,YAAY,GAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,KAAK,CAAC;QAE5D,8CAA8C;QAC9C,iEAAiE;QACjE,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAC3E,MAAM,sBAAsB,GAAG,cAAc,CAAC,QAAQ,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC;QACpF,MAAM,sBAAsB,GAAG,cAAc,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QAE3E,qFAAqF;QACrF,IAAI,sBAAsB,IAAI,sBAAsB,EAAE,CAAC;YACnD,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAED,yDAAyD;QACzD,IAAI,qBAAqB,KAAK,YAAY,EAAE,CAAC;YACzC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO;gBACtD,QAAQ,EAAE,cACL,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC,OAAO,CAAC,MAClD,kBAAkB,YAAY,GAAG;gBACjC,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,UAAU,EAAE,kCAAqB,CAAC,IAAI;aACzC,CAAC,CAAC;QACP,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,0BAA0B,CAAC,SAAmB;QAC1C,IAAI,SAAS,YAAY,qBAAQ,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,UAAmB;QACxC,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,2BAA2B;QACvB,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,CAAC,uBAAuB,EAAE,CAAC;QAEpE,KAAK,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;YAC7B,qDAAqD;YACrD,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,CAAC,UAAU,KAAK,kCAAqB,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,CACxF,CAAC;YAEF,wEAAwE;YACxE,IAAI,OAAO,EAAE,CAAC;gBACV,SAAS;YACb,CAAC;YAED,IAAI,CAAC,KAAK,CACN;gBACI,MAAM,EAAE,QAAQ,CAAC,IAAI;gBACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,WAAW,EAAE,QAAQ,CAAC,WAAW;aAChB,EACrB,aAAa,QAAQ,CAAC,IAAI,kCAAkC,CAC/D,CAAC;QACN,CAAC;IACL,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,WAAyB;QAC9B,sCAAsC;QACtC,IAAI,CAAC,kBAAkB,GAAG,IAAI,wCAAkB,EAAE,CAAC;QACnD,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QAEvB,OAAO,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YACrC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC;QAED,yCAAyC;QACzC,IAAI,CAAC,2BAA2B,EAAE,CAAC;QAEnC,OAAO;YACH,YAAY,EAAE,IAAI,CAAC,YAAY;SACJ,CAAC;IACpC,CAAC;CACJ;AA//BD,0DA+/BC"}

package/package.json

@@ -1,7 +1,7 @@
 {
     "name": "@designliquido/birl",
     "description": "Dialeto de BIRL baseado em Delégua e TypeScript",
-    "version": "0.2.22",
+    "version": "0.3.1",
     "license": "MIT",
     "bugs": {
         "url": "https://github.com/DesignLiquido/birl/issues"
@@ -37,7 +37,7 @@
         "typescript": "^5.8.3"
     },
     "dependencies": {
-        "@designliquido/delegua": "^0.64.1",
+        "@designliquido/delegua": "^0.66.0",
         "lodash": "^4.17.21"
     }
 }