@designliquido/delegua 0.65.0 → 0.67.0

package/analisador-semantico/dialetos/analisador-semantico-pitugues.d.ts

@@ -0,0 +1,83 @@
+import { ArgumentoReferenciaFuncao, Atribuir, Chamada, Construto, FormatacaoEscrita, Literal, ReferenciaFuncao, TipoDe, Variavel } from '../../construtos';
+import { Const, Declaracao, Enquanto, Escolha, Escreva, Expressao, Falhar, FuncaoDeclaracao, Retorna } from '../../declaracoes';
+import { ParametroInterface, SimboloInterface } from '../../interfaces';
+import { DiagnosticoAnalisadorSemantico } from '../../interfaces/erros';
+import { RetornoAnalisadorSemantico } from '../../interfaces/retornos/retorno-analisador-semantico';
+import { RetornoQuebra } from '../../quebras';
+import { AnalisadorSemanticoBase } from '../analisador-semantico-base';
+import { FuncaoHipoteticaInterface } from '../funcao-hipotetica-interface';
+import { PilhaVariaveis } from '../pilha-variaveis';
+/**
+ * O Analisador Semântico de Pituguês.
+ */
+export declare class AnalisadorSemanticoPitugues extends AnalisadorSemanticoBase {
+    pilhaVariaveis: PilhaVariaveis;
+    funcoes: {
+        [nomeFuncao: string]: FuncaoHipoteticaInterface;
+    };
+    atual: number;
+    diagnosticos: DiagnosticoAnalisadorSemantico[];
+    constructor();
+    verificarTipoAtribuido(declaracao: any): void;
+    visitarExpressaoTipoDe(expressao: TipoDe): Promise<any>;
+    private verificarTipoDe;
+    visitarExpressaoFalhar(expressao: Falhar): Promise<any>;
+    private verificarFalhar;
+    protected comparacaoArgumentosContraParametrosFuncao(simboloFuncao: SimboloInterface, parametros: ParametroInterface[], argumentos: Construto[]): void;
+    visitarChamadaPorArgumentoReferenciaFuncao(argumentoReferenciaFuncao: ArgumentoReferenciaFuncao, argumentos: Construto[]): void;
+    visitarChamadaPorReferenciaFuncao(referenciaFuncao: ReferenciaFuncao, argumentos: Construto[]): void;
+    visitarChamadaPorVariavel(entidadeChamadaVariavel: Variavel, argumentos: Construto[]): Promise<void>;
+    visitarExpressaoDeChamada(expressao: Chamada): Promise<void>;
+    visitarExpressaoDeAtribuicao(expressao: Atribuir): Promise<void>;
+    visitarDeclaracaoDeExpressao(declaracao: Expressao): Promise<any>;
+    visitarDeclaracaoEscolha(declaracao: Escolha): Promise<void>;
+    visitarDeclaracaoEnquanto(declaracao: Enquanto): Promise<void>;
+    private verificarCondicao;
+    private verificarVariavelBinaria;
+    private verificarVariavel;
+    private verificarBinario;
+    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;
+    private verificarExistenciaConstruto;
+    private verificarLogico;
+    private verificarChamada;
+    private verificarLadoLogico;
+    /**
+     * Verifica interpolações de texto e marca variáveis como usadas
+     */
+    protected verificarInterpolacaoTexto(texto: string, literal: Literal): void;
+    visitarDeclaracaoEscreva(declaracao: Escreva): Promise<void>;
+    visitarDeclaracaoConst(declaracao: Const): Promise<any>;
+    visitarDeclaracaoVar(declaracao: any): Promise<any>;
+    visitarExpressaoFormatacaoEscrita(expressao: FormatacaoEscrita): Promise<any>;
+    visitarExpressaoRetornar(declaracao: Retorna): Promise<RetornoQuebra>;
+    visitarExpressaoDeVariavel(expressao: Variavel | Construto): Promise<any>;
+    visitarDeclaracaoDefinicaoFuncao(declaracao: FuncaoDeclaracao): Promise<any>;
+    verificarVariaveisNaoUsadas(): void;
+    analisar(declaracoes: Declaracao[]): RetornoAnalisadorSemantico;
+}
+//# sourceMappingURL=analisador-semantico-pitugues.d.ts.map

package/analisador-semantico/dialetos/analisador-semantico-pitugues.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analisador-semantico-pitugues.d.ts","sourceRoot":"","sources":["../../../fontes/analisador-semantico/dialetos/analisador-semantico-pitugues.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,yBAAyB,EACzB,QAAQ,EAER,OAAO,EACP,SAAS,EACT,iBAAiB,EAGjB,OAAO,EAEP,gBAAgB,EAEhB,MAAM,EACN,QAAQ,EAEX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACH,KAAK,EACL,UAAU,EACV,QAAQ,EACR,OAAO,EACP,OAAO,EACP,SAAS,EACT,MAAM,EACN,gBAAgB,EAChB,OAAO,EACV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,8BAA8B,EAAyB,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EAAE,0BAA0B,EAAE,MAAM,wDAAwD,CAAC;AACpG,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE3E,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD;;GAEG;AACH,qBAAa,2BAA4B,SAAQ,uBAAuB;IACpE,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;;IAW/C,sBAAsB,CAAC,UAAU,KAAA;IAoEjC,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC;IAIvD,OAAO,CAAC,eAAe;IAkBvB,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC;IAIvD,OAAO,CAAC,eAAe;IAcvB,SAAS,CAAC,0CAA0C,CAChD,aAAa,EAAE,gBAAgB,EAC/B,UAAU,EAAE,kBAAkB,EAAE,EAChC,UAAU,EAAE,SAAS,EAAE;IAiC3B,0CAA0C,CACtC,yBAAyB,EAAE,yBAAyB,EACpD,UAAU,EAAE,SAAS,EAAE;IAgB3B,iCAAiC,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE,SAAS,EAAE;IAc7F,yBAAyB,CAAC,uBAAuB,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE;IAqBpF,yBAAyB,CAAC,SAAS,EAAE,OAAO;IAiC5C,4BAA4B,CAAC,SAAS,EAAE,QAAQ;IAoG1C,4BAA4B,CAAC,UAAU,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC;IAI9D,wBAAwB,CAAC,UAAU,EAAE,OAAO;IAwC5C,yBAAyB,CAAC,UAAU,EAAE,QAAQ;IAIvD,OAAO,CAAC,iBAAiB;IAwBzB,OAAO,CAAC,wBAAwB;IAahC,OAAO,CAAC,iBAAiB;IAyBzB,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,wBAAwB;IAoBhC;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAmB/B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAQ/B;;;OAGG;IACH,OAAO,CAAC,yBAAyB;IAwCjC;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAiC/B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAsB1B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAmC1B,OAAO,CAAC,4BAA4B;IAmBpC,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,gBAAgB;IAgBxB,OAAO,CAAC,mBAAmB;IAO3B;;OAEG;IACH,SAAS,CAAC,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI;IA4ClE,wBAAwB,CAAC,UAAU,EAAE,OAAO;IA6C5C,sBAAsB,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC;IAmCvD,oBAAoB,CAAC,UAAU,KAAA,GAAG,OAAO,CAAC,GAAG,CAAC;IA0D9C,iCAAiC,CAAC,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC;IAc7E,wBAAwB,CAAC,UAAU,EAAE,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;IAIrE,0BAA0B,CAAC,SAAS,EAAE,QAAQ,GAAG,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC;IAQlF,gCAAgC,CAAC,UAAU,EAAE,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC;IA0D5E,2BAA2B,IAAI,IAAI;IA2BnC,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,0BAA0B;CAiBlE"}