@semacode/cli 1.3.0 → 1.3.2

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

@@ -0,0 +1,656 @@
+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();
+        }
+    }
+    tokenNaFrente(distancia = 1) {
+        return this.tokens[this.indice + distancia];
+    }
+    iniciaBlocoSimples(keyword) {
+        if (this.atual().valor !== keyword) {
+            return false;
+        }
+        return this.tokenNaFrente()?.valor === "{";
+    }
+    iniciaBlocoComNomeObrigatorio(keyword) {
+        if (this.atual().valor !== keyword) {
+            return false;
+        }
+        return this.tokenNaFrente()?.tipo === "identificador" && this.tokenNaFrente(2)?.valor === "{";
+    }
+    iniciaBlocoState() {
+        if (this.atual().valor !== "state") {
+            return false;
+        }
+        return this.tokenNaFrente()?.valor === "{"
+            || (this.tokenNaFrente()?.tipo === "identificador" && this.tokenNaFrente(2)?.valor === "{");
+    }
+    iniciaSubblocoConhecido() {
+        if (this.atual().tipo !== "palavra_chave") {
+            return false;
+        }
+        if (["state"].includes(this.atual().valor)) {
+            return this.iniciaBlocoState();
+        }
+        return [
+            "docs",
+            "comments",
+            "fields",
+            "invariants",
+            "transitions",
+            "input",
+            "output",
+            "rules",
+            "effects",
+            "impl",
+            "vinculos",
+            "execucao",
+            "auth",
+            "authz",
+            "dados",
+            "audit",
+            "segredos",
+            "forbidden",
+            "guarantees",
+            "tests",
+            "error",
+            "given",
+            "when",
+            "expect",
+        ].includes(this.atual().valor) && this.iniciaBlocoSimples(this.atual().valor);
+    }
+    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 = [];
+        let vinculos;
+        const types = [];
+        const entities = [];
+        const enums = [];
+        const tasks = [];
+        const flows = [];
+        const routes = [];
+        const workers = [];
+        const eventos = [];
+        const filas = [];
+        const crons = [];
+        const webhooks = [];
+        const caches = [];
+        const storages = [];
+        const policies = [];
+        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":
+                    if (this.tokenNaFrente()?.tipo === "identificador") {
+                        uses.push(this.parseUse());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "docs":
+                    if (this.iniciaBlocoSimples("docs")) {
+                        docs = this.parseBlocoGenerico("docs");
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "comments":
+                    if (this.iniciaBlocoSimples("comments")) {
+                        comments = this.parseBlocoGenerico("comments");
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "vinculos":
+                    if (this.iniciaBlocoSimples("vinculos")) {
+                        vinculos = this.parseBlocoGenerico("vinculos");
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "type":
+                    if (this.iniciaBlocoComNomeObrigatorio("type")) {
+                        types.push(this.parseType());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "entity":
+                    if (this.iniciaBlocoComNomeObrigatorio("entity")) {
+                        entities.push(this.parseEntity());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "enum":
+                    if (this.iniciaBlocoComNomeObrigatorio("enum")) {
+                        enums.push(this.parseEnum());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "task":
+                    if (this.iniciaBlocoComNomeObrigatorio("task")) {
+                        tasks.push(this.parseTask());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "flow":
+                    if (this.iniciaBlocoComNomeObrigatorio("flow")) {
+                        flows.push(this.parseFlow());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "route":
+                    if (this.iniciaBlocoComNomeObrigatorio("route")) {
+                        routes.push(this.parseRoute());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "worker":
+                    if (this.iniciaBlocoComNomeObrigatorio("worker")) {
+                        workers.push(this.parseBlocoGenerico("worker"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "evento":
+                    if (this.iniciaBlocoComNomeObrigatorio("evento")) {
+                        eventos.push(this.parseBlocoGenerico("evento"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "fila":
+                    if (this.iniciaBlocoComNomeObrigatorio("fila")) {
+                        filas.push(this.parseBlocoGenerico("fila"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "cron":
+                    if (this.iniciaBlocoComNomeObrigatorio("cron")) {
+                        crons.push(this.parseBlocoGenerico("cron"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "webhook":
+                    if (this.iniciaBlocoComNomeObrigatorio("webhook")) {
+                        webhooks.push(this.parseBlocoGenerico("webhook"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "cache":
+                    if (this.iniciaBlocoComNomeObrigatorio("cache")) {
+                        caches.push(this.parseBlocoGenerico("cache"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "storage":
+                    if (this.iniciaBlocoComNomeObrigatorio("storage")) {
+                        storages.push(this.parseBlocoGenerico("storage"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "policy":
+                    if (this.iniciaBlocoComNomeObrigatorio("policy")) {
+                        policies.push(this.parseBlocoGenerico("policy"));
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "state":
+                    if (this.iniciaBlocoState()) {
+                        states.push(this.parseState());
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    break;
+                case "tests":
+                    if (this.iniciaBlocoSimples("tests")) {
+                        tests = this.parseBlocoGenerico("tests");
+                        break;
+                    }
+                    extras.push(this.parseBlocoGenerico("desconhecido"));
+                    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,
+            vinculos,
+            docs,
+            comments,
+            types,
+            entities,
+            enums,
+            tasks,
+            flows,
+            routes,
+            workers,
+            eventos,
+            filas,
+            crons,
+            webhooks,
+            caches,
+            storages,
+            policies,
+            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"),
+            vinculos: localizar("vinculos"),
+            execucao: localizar("execucao"),
+            auth: localizar("auth"),
+            authz: localizar("authz"),
+            dados: localizar("dados"),
+            audit: localizar("audit"),
+            segredos: localizar("segredos"),
+            forbidden: localizar("forbidden"),
+            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");
+        const vinculos = corpo.blocos.find((bloco) => bloco.tipo === "bloco_generico" && bloco.palavraChave === "vinculos");
+        return { tipo: "flow", nome, corpo, vinculos, 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");
+        const vinculos = corpo.blocos.find((bloco) => bloco.tipo === "bloco_generico" && bloco.palavraChave === "vinculos");
+        return { tipo: "route", nome, corpo, vinculos, 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);
+    }
+    parseBlocoNomeadoLivre() {
+        const inicioToken = this.avancar();
+        const nome = inicioToken.valor;
+        this.consumirValor("{", `Era esperado abrir o bloco ${nome}.`);
+        return this.parseCorpoBloco("desconhecido", 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.iniciaSubblocoConhecido()) {
+                blocos.push(this.parseBlocoGenerico(this.atual().valor));
+                continue;
+            }
+            if (["identificador", "palavra_chave"].includes(this.atual().tipo) && this.tokens[this.indice + 1]?.valor === "{") {
+                blocos.push(this.parseBlocoNomeadoLivre());
+                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 segmentos = partes.filter(Boolean);
+        const tipoTokens = [];
+        const modificadores = [];
+        let profundidadeTipo = 0;
+        let iniciouModificadores = false;
+        for (const segmento of segmentos) {
+            if (!iniciouModificadores) {
+                if (["<", "[", "("].includes(segmento)) {
+                    profundidadeTipo += 1;
+                    tipoTokens.push(segmento);
+                    continue;
+                }
+                if ([">", "]", ")"].includes(segmento)) {
+                    profundidadeTipo = Math.max(0, profundidadeTipo - 1);
+                    tipoTokens.push(segmento);
+                    continue;
+                }
+                const pareceModificador = profundidadeTipo === 0
+                    && tipoTokens.length > 0
+                    && /^[a-z_][a-z0-9_]*$/u.test(segmento);
+                if (pareceModificador) {
+                    iniciouModificadores = true;
+                    modificadores.push(segmento);
+                    continue;
+                }
+                tipoTokens.push(segmento);
+                continue;
+            }
+            modificadores.push(segmento);
+        }
+        let valor = tipoTokens
+            .join(" ")
+            .replace(/\s*([<>\[\](),|?])\s*/g, "$1")
+            .trim();
+        if (valor.includes("/")) {
+            valor = valor.replace(/\s*\/\s*/g, "/");
+        }
+        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