@semacode/cli 0.8.2

package/node_modules/@sema/nucleo/dist/lexer/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/lexer/lexer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAuC,MAAM,0BAA0B,CAAC;AACjG,OAAO,EAAE,cAAc,EAA8B,MAAM,aAAa,CAAC;AAOzE,SAAS,OAAO,CAAC,OAAqB,EAAE,SAAiB;IACvD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,UAAU,CAAC,IAAe,EAAE,KAAa,EAAE,MAAoB,EAAE,GAAiB,EAAE,OAAgB;IAC3G,OAAO;QACL,IAAI;QACJ,KAAK;QACL,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,OAAgB;IACxD,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,IAAI,OAAO,GAAiB,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAE/D,OAAO,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAE,CAAC;QAEtC,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACxD,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;gBACvE,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC/B,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAE,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YACtE,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACrC,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,OAAO,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBACrC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAE,CAAC;gBACzC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACvB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBAC1C,IAAI,OAAO,EAAE,CAAC;wBACZ,KAAK,IAAI,SAAS,GAAG,OAAO,CAAC;wBAC7B,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;wBACtD,SAAS;oBACX,CAAC;gBACH,CAAC;gBACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACvB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;oBACpC,MAAM;gBACR,CAAC;gBACD,KAAK,IAAI,SAAS,CAAC;gBACnB,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACtC,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,kCAAkC,EAClC,MAAM,EACN,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,EAChC,kCAAkC,CACnC,CACF,CAAC;gBACF,OAAO,GAAG,MAAM,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YACjE,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAE,CAAC,EAAE,CAAC;gBAC9E,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC/B,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAE,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YAClE,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAE,CAAC,EAAE,CAAC;gBACtF,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC/B,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAE,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,IAAI,GAAc,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC;YACtF,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YAC9D,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAE,CAAC,EAAE,cAAc,CAAC,CAAC,CAAE,CAAC,CAAC;YACjF,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7E,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YACrE,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YACpE,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,qCAAqC,KAAK,IAAI,EAC9C,MAAM,EACN,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,EACjD,kDAAkD,CACnD,CACF,CAAC;QACF,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,CAAC,IAAI,CACT,UAAU,CACR,aAAa,EACb,EAAE,EACF,EAAE,GAAG,OAAO,EAAE,EACd,EAAE,GAAG,OAAO,EAAE,EACd,OAAO,CACR,CACF,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC"}

package/node_modules/@sema/nucleo/dist/lexer/tokens.d.ts

@@ -0,0 +1,8 @@
+import type { IntervaloFonte } from "../diagnosticos/index.js";
+export type TipoToken = "palavra_chave" | "identificador" | "texto" | "numero" | "pontuacao" | "operador" | "nova_linha" | "comentario" | "fim_arquivo";
+export interface Token {
+    tipo: TipoToken;
+    valor: string;
+    intervalo: IntervaloFonte;
+}
+export declare const PALAVRAS_CHAVE: Set<string>;

package/node_modules/@sema/nucleo/dist/lexer/tokens.js

@@ -0,0 +1,30 @@
+export const PALAVRAS_CHAVE = new Set([
+    "module",
+    "use",
+    "type",
+    "entity",
+    "enum",
+    "task",
+    "input",
+    "output",
+    "rules",
+    "effects",
+    "impl",
+    "guarantees",
+    "state",
+    "flow",
+    "route",
+    "tests",
+    "error",
+    "docs",
+    "comments",
+    "fields",
+    "invariants",
+    "transitions",
+    "given",
+    "when",
+    "expect",
+    "caso",
+    "required",
+]);
+//# sourceMappingURL=tokens.js.map

package/node_modules/@sema/nucleo/dist/lexer/tokens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.js","sourceRoot":"","sources":["../../src/lexer/tokens.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IACpC,QAAQ;IACR,KAAK;IACL,MAAM;IACN,QAAQ;IACR,MAAM;IACN,MAAM;IACN,OAAO;IACP,QAAQ;IACR,OAAO;IACP,SAAS;IACT,MAAM;IACN,YAAY;IACZ,OAAO;IACP,MAAM;IACN,OAAO;IACP,OAAO;IACP,OAAO;IACP,MAAM;IACN,UAAU;IACV,QAAQ;IACR,YAAY;IACZ,aAAa;IACb,OAAO;IACP,MAAM;IACN,QAAQ;IACR,MAAM;IACN,UAAU;CACX,CAAC,CAAC"}

package/node_modules/@sema/nucleo/dist/parser/parser.d.ts

@@ -0,0 +1,9 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import type { ModuloAst } from "../ast/tipos.js";
+import type { Token } from "../lexer/tokens.js";
+interface ResultadoParser {
+    modulo?: ModuloAst;
+    diagnosticos: Diagnostico[];
+}
+export declare function parsear(tokens: Token[]): ResultadoParser;
+export {};

package/node_modules/@sema/nucleo/dist/parser/parser.js

@@ -0,0 +1,423 @@
+import { criarDiagnostico, } from "../diagnosticos/index.js";
+class Parser {
+    tokens;
+    indice = 0;
+    diagnosticos = [];
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    analisar() {
+        this.ignorarRuido();
+        const modulo = this.parseModulo();
+        return { modulo, diagnosticos: this.diagnosticos };
+    }
+    atual() {
+        return this.tokens[this.indice];
+    }
+    anterior() {
+        return this.tokens[Math.max(0, this.indice - 1)];
+    }
+    avancar() {
+        const token = this.atual();
+        if (this.indice < this.tokens.length - 1) {
+            this.indice += 1;
+        }
+        return token;
+    }
+    ignorarRuido() {
+        while (["nova_linha", "comentario"].includes(this.atual().tipo)) {
+            this.avancar();
+        }
+    }
+    consumirValor(valor, mensagem) {
+        const token = this.atual();
+        if (token.valor === valor) {
+            this.avancar();
+            return token;
+        }
+        this.registrarErro("PAR001", mensagem, token.intervalo, `Esperado "${valor}", recebido "${token.valor}".`);
+        return token;
+    }
+    consumirTipo(tipo, mensagem) {
+        const token = this.atual();
+        if (token.tipo === tipo) {
+            this.avancar();
+            return token;
+        }
+        this.registrarErro("PAR002", mensagem, token.intervalo, `Esperado token do tipo "${tipo}".`);
+        return token;
+    }
+    registrarErro(codigo, mensagem, intervalo, contexto) {
+        this.diagnosticos.push(criarDiagnostico(codigo, mensagem, "erro", intervalo, "Revise a sintaxe do bloco e a ordem das declaracoes.", contexto));
+    }
+    parseModulo() {
+        if (this.atual().valor !== "module") {
+            this.registrarErro("PAR003", "Arquivo .sema deve iniciar com um bloco module.", this.atual().intervalo);
+            return undefined;
+        }
+        const inicio = this.avancar().intervalo.inicio;
+        const nome = this.consumirTipo("identificador", "Era esperado o nome do modulo.").valor;
+        this.consumirValor("{", "Era esperado abrir o corpo do modulo com {.");
+        const uses = [];
+        const types = [];
+        const entities = [];
+        const enums = [];
+        const tasks = [];
+        const flows = [];
+        const routes = [];
+        const states = [];
+        const extras = [];
+        let docs;
+        let comments;
+        let tests;
+        while (this.atual().tipo !== "fim_arquivo" && this.atual().valor !== "}") {
+            this.ignorarRuido();
+            const token = this.atual();
+            if (token.valor === "}") {
+                break;
+            }
+            switch (token.valor) {
+                case "use":
+                    uses.push(this.parseUse());
+                    break;
+                case "docs":
+                    docs = this.parseBlocoGenerico("docs");
+                    break;
+                case "comments":
+                    comments = this.parseBlocoGenerico("comments");
+                    break;
+                case "type":
+                    types.push(this.parseType());
+                    break;
+                case "entity":
+                    entities.push(this.parseEntity());
+                    break;
+                case "enum":
+                    enums.push(this.parseEnum());
+                    break;
+                case "task":
+                    tasks.push(this.parseTask());
+                    break;
+                case "flow":
+                    flows.push(this.parseFlow());
+                    break;
+                case "route":
+                    routes.push(this.parseRoute());
+                    break;
+                case "state":
+                    states.push(this.parseState());
+                    break;
+                case "tests":
+                    tests = this.parseBlocoGenerico("tests");
+                    break;
+                default:
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+            }
+            this.ignorarRuido();
+        }
+        const fim = this.consumirValor("}", "Era esperado fechar o bloco module com }.").intervalo.fim;
+        return {
+            tipo: "module",
+            nome,
+            uses,
+            docs,
+            comments,
+            types,
+            entities,
+            enums,
+            tasks,
+            flows,
+            routes,
+            states,
+            tests,
+            extras,
+            intervalo: { inicio, fim },
+        };
+    }
+    parseUse() {
+        const inicio = this.avancar().intervalo.inicio;
+        const primeiro = this.consumirTipo("identificador", "Era esperado o caminho do use.");
+        let origem = "sema";
+        let caminho = primeiro.valor;
+        const origemNormalizada = normalizarOrigemUse(primeiro.valor);
+        if (origemNormalizada && this.atual().tipo === "identificador") {
+            origem = origemNormalizada;
+            caminho = this.avancar().valor;
+        }
+        const fim = this.anterior().intervalo.fim;
+        return { tipo: "use", origem, caminho, intervalo: { inicio, fim } };
+    }
+    parseType() {
+        const inicio = this.avancar().intervalo.inicio;
+        const nome = this.consumirTipo("identificador", "Era esperado o nome do type.").valor;
+        const corpo = this.parseBlocoComNomeOpcional("type");
+        return { tipo: "type", nome, corpo, intervalo: { inicio, fim: corpo.intervalo?.fim ?? this.anterior().intervalo.fim } };
+    }
+    parseEntity() {
+        const inicio = this.avancar().intervalo.inicio;
+        const nome = this.consumirTipo("identificador", "Era esperado o nome da entity.").valor;
+        const corpo = this.parseBlocoComNomeOpcional("entity");
+        return { tipo: "entity", nome, corpo, intervalo: { inicio, fim: corpo.intervalo?.fim ?? this.anterior().intervalo.fim } };
+    }
+    parseEnum() {
+        const inicio = this.avancar().intervalo.inicio;
+        const nome = this.consumirTipo("identificador", "Era esperado o nome do enum.").valor;
+        this.consumirValor("{", "Era esperado abrir o corpo do enum.");
+        const valores = [];
+        let docs;
+        while (this.atual().tipo !== "fim_arquivo" && this.atual().valor !== "}") {
+            this.ignorarRuido();
+            if (this.atual().valor === "}") {
+                break;
+            }
+            if (this.atual().valor === "docs") {
+                docs = this.parseBlocoGenerico("docs");
+                continue;
+            }
+            if (["identificador", "palavra_chave"].includes(this.atual().tipo)) {
+                valores.push(this.avancar().valor);
+                if (this.atual().valor === ",") {
+                    this.avancar();
+                }
+                continue;
+            }
+            this.avancar();
+        }
+        const fim = this.consumirValor("}", "Era esperado fechar o enum.").intervalo.fim;
+        return { tipo: "enum", nome, valores, docs, intervalo: { inicio, fim } };
+    }
+    parseTask() {
+        const inicio = this.avancar().intervalo.inicio;
+        const nome = this.consumirTipo("identificador", "Era esperado o nome da task.").valor;
+        const corpo = this.parseBlocoComNomeOpcional("task");
+        const localizar = (palavraChave) => corpo.blocos.find((bloco) => bloco.tipo === "bloco_generico" && bloco.palavraChave === palavraChave);
+        return {
+            tipo: "task",
+            nome,
+            corpo,
+            input: localizar("input"),
+            output: localizar("output"),
+            rules: localizar("rules"),
+            effects: localizar("effects"),
+            impl: localizar("impl"),
+            guarantees: localizar("guarantees"),
+            state: localizar("state"),
+            tests: localizar("tests"),
+            error: localizar("error"),
+            docs: localizar("docs"),
+            comments: localizar("comments"),
+            intervalo: { inicio, fim: corpo.intervalo?.fim ?? this.anterior().intervalo.fim },
+        };
+    }
+    parseFlow() {
+        const inicio = this.avancar().intervalo.inicio;
+        const nome = this.consumirTipo("identificador", "Era esperado o nome do flow.").valor;
+        const corpo = this.parseBlocoComNomeOpcional("flow");
+        return { tipo: "flow", nome, corpo, intervalo: { inicio, fim: corpo.intervalo?.fim ?? this.anterior().intervalo.fim } };
+    }
+    parseRoute() {
+        const inicio = this.avancar().intervalo.inicio;
+        const nome = this.consumirTipo("identificador", "Era esperado o nome da route.").valor;
+        const corpo = this.parseBlocoComNomeOpcional("route");
+        return { tipo: "route", nome, corpo, intervalo: { inicio, fim: corpo.intervalo?.fim ?? this.anterior().intervalo.fim } };
+    }
+    parseState() {
+        const inicioToken = this.avancar();
+        let nome;
+        if (this.atual().tipo === "identificador") {
+            nome = this.avancar().valor;
+        }
+        this.consumirValor("{", "Era esperado abrir o bloco state.");
+        const corpo = this.parseCorpoBloco("state", nome, inicioToken.intervalo.inicio);
+        return {
+            tipo: "state",
+            nome,
+            corpo,
+            intervalo: { inicio: inicioToken.intervalo.inicio, fim: corpo.intervalo?.fim ?? this.anterior().intervalo.fim },
+        };
+    }
+    parseBlocoComNomeOpcional(nomeBloco) {
+        this.consumirValor("{", `Era esperado abrir o bloco ${nomeBloco}.`);
+        return this.parseCorpoBloco(nomeBloco);
+    }
+    parseBlocoGenerico(palavraChave) {
+        const inicioToken = this.avancar();
+        let nome;
+        if (this.atual().tipo === "identificador") {
+            nome = this.avancar().valor;
+        }
+        this.consumirValor("{", `Era esperado abrir o bloco ${inicioToken.valor}.`);
+        return this.parseCorpoBloco((palavraChave === "desconhecido" ? "desconhecido" : inicioToken.valor), nome, inicioToken.intervalo.inicio);
+    }
+    parseCorpoBloco(palavraChave, nome, inicioManual) {
+        const inicio = inicioManual ?? this.anterior().intervalo.inicio;
+        const campos = [];
+        const linhas = [];
+        const blocos = [];
+        while (this.atual().tipo !== "fim_arquivo" && this.atual().valor !== "}") {
+            this.ignorarRuido();
+            if (this.atual().valor === "}") {
+                break;
+            }
+            if (palavraChave === "tests" && this.atual().valor === "caso") {
+                blocos.push(this.parseCasoTeste());
+                continue;
+            }
+            if (this.atual().tipo === "palavra_chave" &&
+                ["docs", "comments", "fields", "invariants", "transitions", "input", "output", "rules", "effects", "impl", "guarantees", "state", "tests", "error", "given", "when", "expect"].includes(this.atual().valor)) {
+                blocos.push(this.parseBlocoGenerico(this.atual().valor));
+                continue;
+            }
+            if (["identificador", "palavra_chave"].includes(this.atual().tipo) && this.tokens[this.indice + 1]?.valor === ":") {
+                campos.push(this.parseCampo());
+                continue;
+            }
+            const linha = this.parseLinhaDeclarativa();
+            if (linha.conteudo.trim().length > 0) {
+                linhas.push(linha);
+            }
+        }
+        const fim = this.consumirValor("}", "Era esperado fechar o bloco com }.").intervalo.fim;
+        return {
+            tipo: "bloco_generico",
+            palavraChave,
+            nome,
+            campos,
+            linhas,
+            blocos,
+            intervalo: { inicio, fim },
+        };
+    }
+    parseCampo() {
+        const inicio = this.atual().intervalo.inicio;
+        const nome = this.avancar().valor;
+        this.consumirValor(":", "Era esperado ':' depois do nome do campo.");
+        const partes = [];
+        while (this.atual().tipo !== "fim_arquivo" && this.atual().tipo !== "nova_linha" && this.atual().valor !== "}") {
+            partes.push(this.avancar().valor);
+        }
+        const valorCompleto = partes.join(" ").trim();
+        const segmentos = valorCompleto.split(/\s+/).filter(Boolean);
+        const valor = segmentos[0] ?? "";
+        const modificadores = segmentos.slice(1);
+        if (this.atual().tipo === "nova_linha") {
+            this.avancar();
+        }
+        return {
+            tipo: "campo",
+            nome,
+            valor,
+            modificadores,
+            intervalo: { inicio, fim: this.anterior().intervalo.fim },
+        };
+    }
+    parseLinhaDeclarativa() {
+        const inicio = this.atual().intervalo.inicio;
+        const partes = [];
+        while (this.atual().tipo !== "fim_arquivo" && this.atual().tipo !== "nova_linha" && this.atual().valor !== "}") {
+            partes.push(this.avancar().valor);
+        }
+        if (this.atual().tipo === "nova_linha") {
+            this.avancar();
+        }
+        return {
+            tipo: "linha_declarativa",
+            conteudo: partes.join(" ").trim(),
+            intervalo: { inicio, fim: this.anterior().intervalo.fim },
+        };
+    }
+    parseCasoTeste() {
+        const inicio = this.avancar().intervalo.inicio;
+        const nomeToken = this.atual();
+        const nome = nomeToken.tipo === "texto"
+            ? this.avancar().valor
+            : this.consumirTipo("identificador", "Era esperado o nome textual do caso de teste.").valor;
+        this.consumirValor("{", "Era esperado abrir o bloco do caso de teste.");
+        let given;
+        let when;
+        let expect;
+        let error;
+        let docs;
+        let comments;
+        while (this.atual().tipo !== "fim_arquivo" && this.atual().valor !== "}") {
+            this.ignorarRuido();
+            if (this.atual().valor === "}") {
+                break;
+            }
+            switch (this.atual().valor) {
+                case "given":
+                    given = this.parseBlocoGenerico("given");
+                    break;
+                case "when":
+                    when = this.parseBlocoGenerico("when");
+                    break;
+                case "expect":
+                    expect = this.parseBlocoGenerico("expect");
+                    break;
+                case "error":
+                    error = this.parseBlocoGenerico("error");
+                    break;
+                case "docs":
+                    docs = this.parseBlocoGenerico("docs");
+                    break;
+                case "comments":
+                    comments = this.parseBlocoGenerico("comments");
+                    break;
+                default:
+                    this.avancar();
+                    break;
+            }
+        }
+        const fim = this.consumirValor("}", "Era esperado fechar o caso de teste.").intervalo.fim;
+        return {
+            tipo: "caso_teste",
+            nome,
+            given,
+            when,
+            expect,
+            error,
+            docs,
+            comments,
+            intervalo: { inicio, fim },
+        };
+    }
+}
+function normalizarOrigemUse(valor) {
+    switch (valor.toLowerCase()) {
+        case "sema":
+            return "sema";
+        case "ts":
+        case "typescript":
+            return "ts";
+        case "py":
+        case "python":
+            return "py";
+        case "dart":
+            return "dart";
+        case "cs":
+        case "csharp":
+        case "dotnet":
+            return "cs";
+        case "java":
+            return "java";
+        case "go":
+        case "golang":
+            return "go";
+        case "rust":
+        case "rs":
+            return "rust";
+        case "cpp":
+        case "cxx":
+        case "cc":
+        case "c++":
+            return "cpp";
+        default:
+            return undefined;
+    }
+}
+export function parsear(tokens) {
+    const parser = new Parser(tokens);
+    return parser.analisar();
+}
+//# sourceMappingURL=parser.js.map

package/node_modules/@sema/nucleo/dist/parser/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,GAGjB,MAAM,0BAA0B,CAAC;AA4ClC,MAAM,MAAM;IAI0B;IAH5B,MAAM,GAAG,CAAC,CAAC;IACX,YAAY,GAAkB,EAAE,CAAC;IAEzC,YAAoC,MAAe;QAAf,WAAM,GAAN,MAAM,CAAS;IAAG,CAAC;IAEhD,QAAQ;QACb,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACrD,CAAC;IAEO,KAAK;QACX,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC;IACnC,CAAC;IAEO,QAAQ;QACd,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC;IACpD,CAAC;IAEO,OAAO;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,YAAY;QAClB,OAAO,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,KAAa,EAAE,QAAgB;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,aAAa,KAAK,gBAAgB,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;QAC3G,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,YAAY,CAAC,IAAmB,EAAE,QAAgB;QACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,2BAA2B,IAAI,IAAI,CAAC,CAAC;QAC7F,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,aAAa,CAAC,MAAc,EAAE,QAAgB,EAAE,SAA0B,EAAE,QAAiB;QACnG,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,gBAAgB,CACd,MAAM,EACN,QAAQ,EACR,MAAM,EACN,SAAS,EACT,sDAAsD,EACtD,QAAQ,CACT,CACF,CAAC;IACJ,CAAC;IAEO,WAAW;QACjB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,iDAAiD,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC;YACxG,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC,KAAK,CAAC;QACxF,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAC;QAEvE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAgB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAuB,EAAE,CAAC;QACtC,IAAI,IAAkC,CAAC;QACvC,IAAI,QAAsC,CAAC;QAC3C,IAAI,KAAmC,CAAC;QAExC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YACzE,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBACxB,MAAM;YACR,CAAC;YAED,QAAQ,KAAK,CAAC,KAAK,EAAE,CAAC;gBACpB,KAAK,KAAK;oBACR,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;oBAC3B,MAAM;gBACR,KAAK,MAAM;oBACT,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;oBACvC,MAAM;gBACR,KAAK,UAAU;oBACb,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;oBAC/C,MAAM;gBACR,KAAK,MAAM;oBACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;oBAC7B,MAAM;gBACR,KAAK,QAAQ;oBACX,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;oBAClC,MAAM;gBACR,KAAK,MAAM;oBACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;oBAC7B,MAAM;gBACR,KAAK,MAAM;oBACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;oBAC7B,MAAM;gBACR,KAAK,MAAM;oBACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;oBAC7B,MAAM;gBACR,KAAK,OAAO;oBACV,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;oBAC/B,MAAM;gBACR,KAAK,OAAO;oBACV,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;oBAC/B,MAAM;gBACR,KAAK,OAAO;oBACV,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;oBACzC,MAAM;gBACR;oBACE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,cAAc,CAAC,CAAC,CAAC;oBACrD,MAAM;YACV,CAAC;YACD,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,2CAA2C,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QAE/F,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI;YACJ,IAAI;YACJ,IAAI;YACJ,QAAQ;YACR,KAAK;YACL,QAAQ;YACR,KAAK;YACL,KAAK;YACL,KAAK;YACL,MAAM;YACN,MAAM;YACN,KAAK;YACL,MAAM;YACN,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SAC3B,CAAC;IACJ,CAAC;IAEO,QAAQ;QACd,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;QACtF,IAAI,MAAM,GAAqB,MAAM,CAAC;QACtC,IAAI,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC;QAE7B,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,iBAAiB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC/D,MAAM,GAAG,iBAAiB,CAAC;YAC3B,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QACjC,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;IACtE,CAAC;IAEO,SAAS;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,8BAA8B,CAAC,CAAC,KAAK,CAAC;QACtF,MAAM,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC;IAC1H,CAAC;IAEO,WAAW;QACjB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC,KAAK,CAAC;QACxF,MAAM,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC;IAC5H,CAAC;IAEO,SAAS;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,8BAA8B,CAAC,CAAC,KAAK,CAAC;QACtF,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,qCAAqC,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,IAAkC,CAAC;QACvC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YACzE,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC/B,MAAM;YACR,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;gBAClC,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,6BAA6B,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;IAC3E,CAAC;IAEO,SAAS;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,8BAA8B,CAAC,CAAC,KAAK,CAAC;QACtF,MAAM,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAErD,MAAM,SAAS,GAAG,CAAC,YAA0B,EAAgC,EAAE,CAC7E,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAA6B,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC;QAElI,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,KAAK;YACL,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;YACzB,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC;YAC3B,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;YACzB,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC;YAC7B,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC;YACvB,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;YACnC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;YACzB,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;YACzB,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;YACzB,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC;YACvB,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;YAC/B,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE;SAClF,CAAC;IACJ,CAAC;IAEO,SAAS;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,8BAA8B,CAAC,CAAC,KAAK,CAAC;QACtF,MAAM,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC;IAC1H,CAAC;IAEO,UAAU;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,+BAA+B,CAAC,CAAC,KAAK,CAAC;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC;IAC3H,CAAC;IAEO,UAAU;QAChB,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,IAAwB,CAAC;QAC7B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC1C,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,mCAAmC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAChF,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,KAAK;YACL,SAAS,EAAE,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE;SAChH,CAAC;IACJ,CAAC;IAEO,yBAAyB,CAAC,SAAiB;QACjD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,8BAA8B,SAAS,GAAG,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC,eAAe,CAAC,SAAyE,CAAC,CAAC;IACzG,CAAC;IAEO,kBAAkB,CAAC,YAA2C;QACpE,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,IAAwB,CAAC;QAC7B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC1C,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,8BAA8B,WAAW,CAAC,KAAK,GAAG,CAAC,CAAC;QAC5E,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,YAAY,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAqC,EAAE,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC9K,CAAC;IAEO,eAAe,CACrB,YAA8C,EAC9C,IAAa,EACb,YAAuC;QAEvC,MAAM,MAAM,GAAG,YAAY,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAChE,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,MAAM,GAA+B,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAe,EAAE,CAAC;QAE9B,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YACzE,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC/B,MAAM;YACR,CAAC;YAED,IAAI,YAAY,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;gBAC9D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;gBACnC,SAAS;YACX,CAAC;YAED,IACE,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,eAAe;gBACrC,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EAC3M,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAqB,CAAC,CAAC,CAAC;gBACzE,SAAS;YACX,CAAC;YAED,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,GAAG,EAAE,CAAC;gBAClH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC/B,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC3C,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,oCAAoC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QACxF,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,YAAY;YACZ,IAAI;YACJ,MAAM;YACN,MAAM;YACN,MAAM;YACN,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SAC3B,CAAC;IACJ,CAAC;IAEO,UAAU;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,2CAA2C,CAAC,CAAC;QACrE,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC/G,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;QACD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,KAAK;YACL,aAAa;YACb,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE;SAC1D,CAAC;IACJ,CAAC;IAEO,qBAAqB;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC7C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC/G,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,mBAA4B;YAClC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;YACjC,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE;SAC1D,CAAC;IACJ,CAAC;IAEO,cAAc;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,GACR,SAAS,CAAC,IAAI,KAAK,OAAO;YACxB,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK;YACtB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,+CAA+C,CAAC,CAAC,KAAK,CAAC;QAChG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,8CAA8C,CAAC,CAAC;QACxE,IAAI,KAAmC,CAAC;QACxC,IAAI,IAAkC,CAAC;QACvC,IAAI,MAAoC,CAAC;QACzC,IAAI,KAAmC,CAAC;QACxC,IAAI,IAAkC,CAAC;QACvC,IAAI,QAAsC,CAAC;QAE3C,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YACzE,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC/B,MAAM;YACR,CAAC;YACD,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC3B,KAAK,OAAO;oBACV,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;oBACzC,MAAM;gBACR,KAAK,MAAM;oBACT,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;oBACvC,MAAM;gBACR,KAAK,QAAQ;oBACX,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;oBAC3C,MAAM;gBACR,KAAK,OAAO;oBACV,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;oBACzC,MAAM;gBACR,KAAK,MAAM;oBACT,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;oBACvC,MAAM;gBACR,KAAK,UAAU;oBACb,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;oBAC/C,MAAM;gBACR;oBACE,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;YACV,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,sCAAsC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QAC1F,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,IAAI;YACJ,KAAK;YACL,IAAI;YACJ,MAAM;YACN,KAAK;YACL,IAAI;YACJ,QAAQ;YACR,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SAC3B,CAAC;IACJ,CAAC;CACF;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,QAAQ,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;QAC5B,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI,CAAC;QACV,KAAK,YAAY;YACf,OAAO,IAAI,CAAC;QACd,KAAK,IAAI,CAAC;QACV,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI,CAAC;QACV,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI,CAAC;QACV,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,IAAI;YACP,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAe;IACrC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC3B,CAAC"}

package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts

@@ -0,0 +1,52 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import type { ModuloAst } from "../ast/tipos.js";
+export interface SimboloSemantico {
+    nome: string;
+    categoria: "tipo" | "entity" | "enum" | "task" | "flow" | "route" | "state";
+}
+export interface CampoSemantico {
+    nome: string;
+    tipo: string;
+    modificadores: string[];
+}
+export interface ErroSemanticoTask {
+    codigo: string;
+    mensagem: string;
+}
+export interface ResumoTaskSemantico {
+    input: CampoSemantico[];
+    output: CampoSemantico[];
+    errors: ErroSemanticoTask[];
+    guarantees: string[];
+    implementacoes: ImplementacaoTaskSemantica[];
+}
+export interface InteropSemantico {
+    origem: "ts" | "py" | "dart" | "cs" | "java" | "go" | "rust" | "cpp";
+    caminho: string;
+}
+export interface ImplementacaoTaskSemantica {
+    origem: "ts" | "py" | "dart" | "cs" | "java" | "go" | "rust" | "cpp";
+    caminho: string;
+}
+export interface ContextoSemantico {
+    modulo: string;
+    simbolos: Map<string, SimboloSemantico>;
+    tiposConhecidos: Set<string>;
+    tasksConhecidas: Set<string>;
+    tarefasDetalhadas: Map<string, ResumoTaskSemantico>;
+    statesConhecidos: Map<string, {
+        transicoes: Set<string>;
+    }>;
+    modulosImportados: string[];
+    interoperabilidades: InteropSemantico[];
+    enumsConhecidos: Map<string, Set<string>>;
+}
+export interface ResultadoSemantico {
+    contexto: ContextoSemantico;
+    diagnosticos: Diagnostico[];
+}
+export interface OpcoesAnaliseSemantica {
+    contextosModulos?: Map<string, ContextoSemantico>;
+}
+export declare function criarContextoLocal(modulo: ModuloAst): ContextoSemantico;
+export declare function analisarSemantica(modulo: ModuloAst, opcoes?: OpcoesAnaliseSemantica): ResultadoSemantico;