@designliquido/potigol 0.4.5 → 0.4.7

package/avaliador-sintatico/avaliador-sintatico-potigol.d.ts

@@ -1,4 +1,4 @@
-import { Chamada, Constante, Construto, FuncaoConstruto, Leia, Variavel } from '@designliquido/delegua/construtos';
+import { Chamada, Constante, Construto, FuncaoConstruto, Leia, Tupla, Variavel } from '@designliquido/delegua/construtos';
 import { Escreva, Declaracao, Se, Enquanto, Para, Escolha, Fazer, EscrevaMesmaLinha, Const, Var, FuncaoDeclaracao, Classe, ConstMultiplo } from '@designliquido/delegua/declaracoes';
 import { RetornoLexador, RetornoAvaliadorSintatico } from '@designliquido/delegua/interfaces/retornos';
 import { AvaliadorSintaticoBase } from '@designliquido/delegua/avaliador-sintatico/avaliador-sintatico-base';
@@ -7,11 +7,11 @@ import { ConstanteOuVariavel, LeiaInteiros, LeiaReais, LeiaTextos } from '../con
 import { MicroAvaliadorSintaticoPotigol } from './micro-avaliador-sintatico-potigol';
 import { PilhaEscoposVariaveisConhecidas } from './pilha-escopos-variaveis-conhecidas';
 /**
+ *
  * TODO: Pensar numa forma de avaliar múltiplas constantes sem
  * transformar o retorno de `primario()` em um vetor.
  */
 export declare class AvaliadorSintaticoPotigol extends AvaliadorSintaticoBase {
-    protected expressaoLeia(): Leia;
     microAvaliadorSintatico: MicroAvaliadorSintaticoPotigol;
     tiposPotigolParaDelegua: {
         Caractere: string;
@@ -40,26 +40,35 @@ export declare class AvaliadorSintaticoPotigol extends AvaliadorSintaticoBase {
      */
     protected testePrimeiroParametro(simbolos: SimboloInterface[]): boolean;
     /**
-     * Retorna uma declaração de função iniciada por igual,
+     * Retorna uma declaração de função iniciada por igual ou seta,
      * ou seja, com apenas uma instrução.
      * @param simboloPrimario O símbolo que identifica a função (nome),
-     *                        também usado para fins de pragma.
+     *                        também usado para fins de localização.
      * @param parametros A lista de parâmetros da função.
      * @param tipoRetorno O tipo de retorno da função.
      * @returns Um construto do tipo `FuncaoDeclaracao`.
      */
-    protected declaracaoFuncaoPotigolIniciadaPorIgual(simboloPrimario: SimboloInterface, parametros: ParametroInterface[], tipoRetorno?: SimboloInterface): FuncaoDeclaracao;
+    protected declaracaoFuncaoPotigolIniciadaPorIgualOuSeta(simboloPrimario: SimboloInterface, parametros: ParametroInterface[], tipoRetorno?: SimboloInterface): FuncaoDeclaracao;
     /**
-     * Retorna uma declaração de função terminada por fim,
+     * Retorna uma declaração de função terminada por `fim`,
      * ou seja, com mais de uma instrução.
      * @param simboloPrimario O símbolo que identifica a função (nome).
-     * @param parenteseEsquerdo O parêntese esquerdo, usado para fins de pragma.
+     * @param parenteseEsquerdo O parêntese esquerdo, usado para fins de localização.
      * @param parametros A lista de parâmetros da função.
      * @param tipoRetorno O tipo de retorno da função.
      * @returns Um construto do tipo `FuncaoDeclaracao`.
      */
     protected declaracaoFuncaoPotigolTerminadaPorFim(simboloPrimario: SimboloInterface, parenteseEsquerdo: SimboloInterface, parametros: ParametroInterface[], tipoRetorno?: SimboloInterface): FuncaoDeclaracao;
-    corpoDaFuncao(nomeFuncao: string, simboloPragma?: SimboloInterface, parametros?: any[]): FuncaoConstruto;
+    corpoDaFuncao(nomeFuncao: string, simboloLocalizacao?: SimboloInterface, parametros?: any[]): FuncaoConstruto;
+    /**
+     * Ponto comum entre declarações de funções com nome. Em Potigol, usar `def` para definir
+     * uma função é opcional. Essa lógica serve tanto para quando a palavra `def` é usada,
+     * como para casos em que a função começa pelo seu nome, seguida de parênteses.
+     * @param {SimboloInterface} simboloNomeFuncao Normalmente um `Simbolo` do tipo `IDENTIFICADOR`.
+     * @returns
+     */
+    protected logicaComumDefinicaoFuncaoComNome(simboloNomeFuncao: SimboloInterface<string>): FuncaoDeclaracao;
+    protected declaracaoDeFuncaoComDef(): FuncaoDeclaracao;
     protected declaracaoDeFuncaoOuMetodo(construtoPrimario: ConstanteOuVariavel): FuncaoDeclaracao;
     finalizarChamada(entidadeChamada: Construto): Chamada;
     /**
@@ -74,6 +83,13 @@ export declare class AvaliadorSintaticoPotigol extends AvaliadorSintaticoBase {
         tipagemDefinida: boolean;
     };
     protected logicaLeiaMultiplo(): LeiaInteiros | LeiaReais | LeiaTextos;
+    /**
+     * Lógica para leitura de argumentos tipados de função. Ocorre em casos de leitura
+     * de funções anônimas.
+     * @param primeiroArgumento O primeiro argumento, já resolvido como construto.
+     */
+    protected logicaArgumentosTipados(primeiroArgumento: Construto): void;
+    protected logicaFuncaoAnonimaOuTupla(primeiroConstruto: Construto): FuncaoDeclaracao | Tupla;
     primario(): Construto;
     protected formato(): Construto;
     /**
@@ -92,6 +108,26 @@ export declare class AvaliadorSintaticoPotigol extends AvaliadorSintaticoBase {
      */
     chamar(): Construto;
     comparacaoIgualdade(): Construto;
+    protected verificarDefinicaoTipoAtual(): string;
+    protected logicaComumInicializadorLeia(inicializador: Construto, identificadores: SimboloInterface<string>[]): LeiaInteiros | LeiaReais | LeiaTextos;
+    protected logicaComumInferenciaTiposLeia(inicializador: Construto): "inteiro" | "inteiro[]" | "qualquer" | "real" | "real[]" | "texto" | "texto[]";
+    /**
+     * Em Potigol, a palavra reservada `val` indica uma constante.
+     */
+    protected declaracaoDeConstanteExplicita(): Const;
+    protected declaracaoDeConstantes(primeiroIdentificador: Constante): ConstMultiplo | Const[];
+    /**
+     * Este método contempla dois cenários:
+     *
+     * - A atribuição de variáveis em si (o primeiro símbolo é a palavra reservada `var`);
+     * - Uma reatribuição de uma ou mais variáveis (o primeiro símbolo a ser lido é uma
+     * vírgula, e o primeiro identificador é passado como argumento). Neste caso, não há
+     * a palavra reservada `var`.
+     * @param primeiroIdentificador Um construto de variável. É defiido em reatribuições.
+     * @returns Um vetor de declarações `Var`.
+     */
+    declaracaoDeVariaveisPotigol(primeiroIdentificador?: Variavel): Var[];
+    protected logicaAtribuicaoComDicaDeTipo(expressao: Constante): SimboloInterface<string>;
     /**
      * Em Potigol, `escreva` aceita apenas um argumento.
      * @returns Uma declaração `Escreva`.
@@ -119,19 +155,6 @@ export declare class AvaliadorSintaticoPotigol extends AvaliadorSintaticoBase {
     declaracaoEnquanto(): Enquanto;
     declaracaoPara(): Para;
     declaracaoEscolha(): Escolha;
-    protected declaracaoDeConstantes(primeiroIdentificador: Constante): ConstMultiplo | Const[];
-    /**
-     * Este método contempla dois cenários:
-     *
-     * - A atribuição de variáveis em si (o primeiro símbolo é a palavra reservada `var`);
-     * - Uma reatribuição de uma ou mais variáveis (o primeiro símbolo a ser lido é uma
-     * vírgula, e o primeiro identificador é passado como argumento). Neste caso, não há
-     * a palavra reservada `var`.
-     * @param primeiroIdentificador Um construto de variável. É defiido em reatribuições.
-     * @returns Um vetor de declarações `Var`.
-     */
-    declaracaoDeVariaveisPotigol(primeiroIdentificador?: Variavel): Var[];
-    protected logicaAtribuicaoComDicaDeTipo(expressao: Constante): SimboloInterface<string>;
     declaracaoFazer(): Fazer;
     /**
      * Uma declaração de tipo nada mais é do que um declaração de classe.
@@ -142,7 +165,13 @@ export declare class AvaliadorSintaticoPotigol extends AvaliadorSintaticoBase {
     protected declaracaoTipo(): Classe;
     atribuir(): any | any[];
     /**
-     * Em Potigol, uma definição de função normalmente começa com um
+     * Potigol não possui simplesmente um `leia`. Seus comandos `leia` são todos tipados.
+     * São eles: `leia_inteiro`, `leia_inteiros`, `leia_real`, `leia_reais`, `leia_texto` e
+     * `leia_textos`.
+     */
+    protected expressaoLeia(): Leia;
+    /**
+     * Em Potigol, uma definição de função pode simplesmente começar com um
      * identificador - que não é uma palavra reservada - seguido de parênteses.
      * Este ponto de entrada verifica o símbolo atual e o próximo.
      *

package/avaliador-sintatico/avaliador-sintatico-potigol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"avaliador-sintatico-potigol.d.ts","sourceRoot":"","sources":["../../fontes/avaliador-sintatico/avaliador-sintatico-potigol.ts"],"names":[],"mappings":"AAAA,OAAO,EAMH,OAAO,EACP,SAAS,EACT,SAAS,EAGT,eAAe,EAEf,IAAI,EAKJ,QAAQ,EAEX,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACH,OAAO,EACP,UAAU,EACV,EAAE,EACF,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,KAAK,EACL,iBAAiB,EACjB,KAAK,EACL,GAAG,EAGH,gBAAgB,EAChB,MAAM,EAEN,aAAa,EAEhB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvG,OAAO,EAAE,sBAAsB,EAAE,MAAM,qEAAqE,CAAC;AAE7G,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAMzF,OAAO,EACH,mBAAmB,EAEnB,YAAY,EACZ,SAAS,EAGT,UAAU,EACb,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAAE,+BAA+B,EAAE,MAAM,sCAAsC,CAAC;AAIvF;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,sBAAsB;IACjE,SAAS,CAAC,aAAa,IAAI,IAAI;IAI/B,uBAAuB,EAAE,8BAA8B,CAAC;IAExD,uBAAuB;;;;;;;;MAQrB;IAEF,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,+BAA+B,EAAE,+BAA+B,CAAC;;IAQjE;;;;OAIG;IACH,SAAS,CAAC,cAAc,IAAI,IAAI;IAIhC;;;;;;OAMG;IACH,SAAS,CAAC,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,EAAE;IAuB7D;;;;;;;;OAQG;IACH,SAAS,CAAC,uCAAuC,CAC7C,eAAe,EAAE,gBAAgB,EACjC,UAAU,EAAE,kBAAkB,EAAE,EAChC,WAAW,CAAC,EAAE,gBAAgB,GAC/B,gBAAgB;IAYnB;;;;;;;;OAQG;IACH,SAAS,CAAC,sCAAsC,CAC5C,eAAe,EAAE,gBAAgB,EACjC,iBAAiB,EAAE,gBAAgB,EACnC,UAAU,EAAE,kBAAkB,EAAE,EAChC,WAAW,CAAC,EAAE,gBAAgB,GAC/B,gBAAgB;IAUnB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,eAAe;IAMxG,SAAS,CAAC,0BAA0B,CAAC,iBAAiB,EAAE,mBAAmB,GAAG,gBAAgB;IA4C9F,gBAAgB,CAAC,eAAe,EAAE,SAAS,GAAG,OAAO;IAoBrD;;;;;OAKG;IACH,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM;IAUzE,SAAS,CAAC,4BAA4B,CAAC,QAAQ,EAAE,gBAAgB,EAAE,GAAG;QAClE,UAAU,EAAE,kBAAkB,EAAE,CAAC;QACjC,eAAe,EAAE,OAAO,CAAC;KAC5B;IA+DD,SAAS,CAAC,kBAAkB;IAwB5B,QAAQ,IAAI,SAAS;IAuFrB,SAAS,CAAC,OAAO,IAAI,SAAS;IA2B9B;;;;OAIG;IACH,SAAS,CAAC,iBAAiB,IAAI,SAAS;IAwCxC;;;;;;;OAOG;IACH,MAAM,IAAI,SAAS;IAuDnB,mBAAmB,IAAI,SAAS;IAYhC;;;OAGG;IACH,iBAAiB,IAAI,OAAO;IAO5B;;;;;OAKG;IACH,iBAAiB,IAAI,iBAAiB;IAOtC;;;;;;;;;OASG;IACH,WAAW,IAAI,KAAK,CAAC,UAAU,CAAC;IAiBhC,YAAY,IAAI,EAAE;IA0ClB,kBAAkB,IAAI,QAAQ;IA2B9B,cAAc,IAAI,IAAI;IAmJtB,iBAAiB,IAAI,OAAO;IAwD5B,SAAS,CAAC,sBAAsB,CAAC,qBAAqB,EAAE,SAAS,GAAG,aAAa,GAAG,KAAK,EAAE;IA2H3F;;;;;;;;;OASG;IACH,4BAA4B,CAAC,qBAAqB,CAAC,EAAE,QAAQ,GAAG,GAAG,EAAE;IAyCrE,SAAS,CAAC,6BAA6B,CAAC,SAAS,EAAE,SAAS;IAqB5D,eAAe,IAAI,KAAK;IAIxB;;;;;OAKG;IACH,SAAS,CAAC,cAAc,IAAI,MAAM;IAqGlC,QAAQ,IAAI,GAAG,GAAG,GAAG,EAAE;IAmDvB;;;;;;;;;;;;OAYG;IACH,0BAA0B;IAc1B,6BAA6B,IAAI,UAAU,GAAG,UAAU,EAAE,GAAG,SAAS,GAAG,SAAS,EAAE,GAAG,GAAG;IAwB1F,QAAQ,CACJ,cAAc,EAAE,cAAc,CAAC,gBAAgB,CAAC,EAChD,WAAW,EAAE,MAAM,GACpB,yBAAyB,CAAC,UAAU,CAAC;CA0B3C"}
+{"version":3,"file":"avaliador-sintatico-potigol.d.ts","sourceRoot":"","sources":["../../fontes/avaliador-sintatico/avaliador-sintatico-potigol.ts"],"names":[],"mappings":"AAAA,OAAO,EAMH,OAAO,EACP,SAAS,EACT,SAAS,EAGT,eAAe,EAEf,IAAI,EAGJ,KAAK,EAEL,QAAQ,EAEX,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACH,OAAO,EACP,UAAU,EACV,EAAE,EACF,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,KAAK,EACL,iBAAiB,EACjB,KAAK,EACL,GAAG,EAGH,gBAAgB,EAChB,MAAM,EAEN,aAAa,EAEhB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvG,OAAO,EAAE,sBAAsB,EAAE,MAAM,qEAAqE,CAAC;AAE7G,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAMzF,OAAO,EACH,mBAAmB,EAEnB,YAAY,EACZ,SAAS,EAGT,UAAU,EACb,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAAE,+BAA+B,EAAE,MAAM,sCAAsC,CAAC;AAKvF;;;;GAIG;AACH,qBAAa,yBAA0B,SAAQ,sBAAsB;IAEjE,uBAAuB,EAAE,8BAA8B,CAAC;IAExD,uBAAuB;;;;;;;;MAQrB;IAEF,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,+BAA+B,EAAE,+BAA+B,CAAC;;IAQjE;;;;OAIG;IACH,SAAS,CAAC,cAAc,IAAI,IAAI;IAIhC;;;;;;OAMG;IACH,SAAS,CAAC,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,EAAE;IAuB7D;;;;;;;;OAQG;IACH,SAAS,CAAC,6CAA6C,CACnD,eAAe,EAAE,gBAAgB,EACjC,UAAU,EAAE,kBAAkB,EAAE,EAChC,WAAW,CAAC,EAAE,gBAAgB,GAC/B,gBAAgB;IAYnB;;;;;;;;OAQG;IACH,SAAS,CAAC,sCAAsC,CAC5C,eAAe,EAAE,gBAAgB,EACjC,iBAAiB,EAAE,gBAAgB,EACnC,UAAU,EAAE,kBAAkB,EAAE,EAChC,WAAW,CAAC,EAAE,gBAAgB,GAC/B,gBAAgB;IAUnB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,eAAe;IAM7G;;;;;;OAMG;IACH,SAAS,CAAC,iCAAiC,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,MAAM,CAAC,GAAG,gBAAgB;IA4C1G,SAAS,CAAC,wBAAwB,IAAI,gBAAgB;IAUtD,SAAS,CAAC,0BAA0B,CAAC,iBAAiB,EAAE,mBAAmB,GAAG,gBAAgB;IAI9F,gBAAgB,CAAC,eAAe,EAAE,SAAS,GAAG,OAAO;IAoBrD;;;;;OAKG;IACH,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM;IAUzE,SAAS,CAAC,4BAA4B,CAAC,QAAQ,EAAE,gBAAgB,EAAE,GAAG;QAClE,UAAU,EAAE,kBAAkB,EAAE,CAAC;QACjC,eAAe,EAAE,OAAO,CAAC;KAC5B;IAgED,SAAS,CAAC,kBAAkB;IAwB5B;;;;OAIG;IACH,SAAS,CAAC,uBAAuB,CAAC,iBAAiB,EAAE,SAAS;IAM9D,SAAS,CAAC,0BAA0B,CAAC,iBAAiB,EAAE,SAAS;IAyEjE,QAAQ,IAAI,SAAS;IAmFrB,SAAS,CAAC,OAAO,IAAI,SAAS;IA2B9B;;;;OAIG;IACH,SAAS,CAAC,iBAAiB,IAAI,SAAS;IAwCxC;;;;;;;OAOG;IACH,MAAM,IAAI,SAAS;IAuDnB,mBAAmB,IAAI,SAAS;IAYhC,SAAS,CAAC,2BAA2B,IAAI,MAAM;IA4C/C,SAAS,CAAC,4BAA4B,CAAC,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE;IAsC5G,SAAS,CAAC,8BAA8B,CAAC,aAAa,EAAE,SAAS;IAqBjE;;OAEG;IACH,SAAS,CAAC,8BAA8B,IAAI,KAAK;IAwBjD,SAAS,CAAC,sBAAsB,CAAC,qBAAqB,EAAE,SAAS,GAAG,aAAa,GAAG,KAAK,EAAE;IAiE3F;;;;;;;;;OASG;IACH,4BAA4B,CAAC,qBAAqB,CAAC,EAAE,QAAQ,GAAG,GAAG,EAAE;IAyCrE,SAAS,CAAC,6BAA6B,CAAC,SAAS,EAAE,SAAS;IAqB5D;;;OAGG;IACH,iBAAiB,IAAI,OAAO;IAO5B;;;;;OAKG;IACH,iBAAiB,IAAI,iBAAiB;IAOtC;;;;;;;;;OASG;IACH,WAAW,IAAI,KAAK,CAAC,UAAU,CAAC;IAiBhC,YAAY,IAAI,EAAE;IA0ClB,kBAAkB,IAAI,QAAQ;IA2B9B,cAAc,IAAI,IAAI;IAmJtB,iBAAiB,IAAI,OAAO;IAwD5B,eAAe,IAAI,KAAK;IAIxB;;;;;OAKG;IACH,SAAS,CAAC,cAAc,IAAI,MAAM;IAqGlC,QAAQ,IAAI,GAAG,GAAG,GAAG,EAAE;IAmDvB;;;;OAIG;IACH,SAAS,CAAC,aAAa,IAAI,IAAI;IAI/B;;;;;;;;;;;;OAYG;IACH,0BAA0B;IAc1B,6BAA6B,IAAI,UAAU,GAAG,UAAU,EAAE,GAAG,SAAS,GAAG,SAAS,EAAE,GAAG,GAAG;IA4B1F,QAAQ,CACJ,cAAc,EAAE,cAAc,CAAC,gBAAgB,CAAC,EAChD,WAAW,EAAE,MAAM,GACpB,yBAAyB,CAAC,UAAU,CAAC;CA0B3C"}