@semacode/cli 1.5.35 → 1.5.37
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/AGENTS.md +1 -1
- package/AGENT_CONTEXT_PACK.json +130 -12
- package/LICENSE +1 -2
- package/README.md +3 -3
- package/SEMA_BRIEF.curto.txt +9 -6
- package/SEMA_BRIEF.md +250 -205
- package/SEMA_BRIEF.micro.txt +10 -6
- package/SEMA_INDEX.json +2196 -1926
- package/dist/agentContext.d.ts +19 -0
- package/dist/agentContext.js +26 -0
- package/dist/agentContext.js.map +1 -0
- package/dist/agentContextPack.d.ts +3 -0
- package/dist/agentContextPack.js +403 -0
- package/dist/agentContextPack.js.map +1 -0
- package/dist/agentContextTipos.d.ts +96 -0
- package/dist/agentContextTipos.js +55 -0
- package/dist/agentContextTipos.js.map +1 -0
- package/dist/agentEntryPoints.d.ts +13 -0
- package/dist/agentEntryPoints.js +422 -0
- package/dist/agentEntryPoints.js.map +1 -0
- package/dist/authorAnalise.d.ts +15 -0
- package/dist/authorAnalise.js +210 -0
- package/dist/authorAnalise.js.map +1 -0
- package/dist/authorPoliticas.d.ts +37 -0
- package/dist/authorPoliticas.js +340 -0
- package/dist/authorPoliticas.js.map +1 -0
- package/dist/billing/index.d.ts +1 -1
- package/dist/billing/index.js +6 -2
- package/dist/billing/index.js.map +1 -1
- package/dist/bridge.js +2 -0
- package/dist/bridge.js.map +1 -1
- package/dist/carregarModulos.d.ts +2 -0
- package/dist/carregarModulos.js +9 -0
- package/dist/carregarModulos.js.map +1 -0
- package/dist/cliArgs.d.ts +6 -0
- package/dist/cliArgs.js +70 -0
- package/dist/cliArgs.js.map +1 -0
- package/dist/contexto.js +2 -0
- package/dist/contexto.js.map +1 -1
- package/dist/controleComercialSupabase.js.map +1 -1
- package/dist/controleComercialSupabaseAdmin.js.map +1 -1
- package/dist/controleComercialSupabaseCadastro.js.map +1 -1
- package/dist/controleComercialSupabaseConsumo.js.map +1 -1
- package/dist/controleComercialSupabaseConta.js.map +1 -1
- package/dist/controleComercialSupabaseProfiles.js.map +1 -1
- package/dist/dev/index.js +2 -0
- package/dist/dev/index.js.map +1 -1
- package/dist/dev/watcher.d.ts +1 -0
- package/dist/dev/watcher.js +4 -0
- package/dist/dev/watcher.js.map +1 -0
- package/dist/docs/resolver.d.ts +1 -0
- package/dist/docs/resolver.js +4 -0
- package/dist/docs/resolver.js.map +1 -0
- package/dist/docs.d.ts +2 -56
- package/dist/docs.js +5 -502
- package/dist/docs.js.map +1 -1
- package/dist/docs.part01.d.ts +78 -0
- package/dist/docs.part01.js +347 -0
- package/dist/docs.part01.js.map +1 -0
- package/dist/docs.part02.d.ts +20 -0
- package/dist/docs.part02.js +181 -0
- package/dist/docs.part02.js.map +1 -0
- package/dist/doctorCommand.d.ts +27 -0
- package/dist/doctorCommand.js +160 -0
- package/dist/doctorCommand.js.map +1 -0
- package/dist/drift.contrato.d.ts +23 -0
- package/dist/drift.contrato.js +33 -0
- package/dist/drift.contrato.js.map +1 -0
- package/dist/drift.d.ts +13 -227
- package/dist/drift.js +16 -3924
- package/dist/drift.js.map +1 -1
- package/dist/drift.part01.d.ts +252 -0
- package/dist/drift.part01.js +183 -0
- package/dist/drift.part01.js.map +1 -0
- package/dist/drift.part02.d.ts +30 -0
- package/dist/drift.part02.js +342 -0
- package/dist/drift.part02.js.map +1 -0
- package/dist/drift.part03.d.ts +26 -0
- package/dist/drift.part03.js +343 -0
- package/dist/drift.part03.js.map +1 -0
- package/dist/drift.part04.d.ts +46 -0
- package/dist/drift.part04.js +354 -0
- package/dist/drift.part04.js.map +1 -0
- package/dist/drift.part05.d.ts +47 -0
- package/dist/drift.part05.js +353 -0
- package/dist/drift.part05.js.map +1 -0
- package/dist/drift.part06.d.ts +17 -0
- package/dist/drift.part06.js +381 -0
- package/dist/drift.part06.js.map +1 -0
- package/dist/drift.part07.d.ts +48 -0
- package/dist/drift.part07.js +377 -0
- package/dist/drift.part07.js.map +1 -0
- package/dist/drift.part08.d.ts +26 -0
- package/dist/drift.part08.js +333 -0
- package/dist/drift.part08.js.map +1 -0
- package/dist/drift.part09.d.ts +22 -0
- package/dist/drift.part09.js +322 -0
- package/dist/drift.part09.js.map +1 -0
- package/dist/drift.part10.d.ts +11 -0
- package/dist/drift.part10.js +116 -0
- package/dist/drift.part10.js.map +1 -0
- package/dist/drift.part11.d.ts +3 -0
- package/dist/drift.part11.js +320 -0
- package/dist/drift.part11.js.map +1 -0
- package/dist/drift.part12.d.ts +17 -0
- package/dist/drift.part12.js +289 -0
- package/dist/drift.part12.js.map +1 -0
- package/dist/drift.part13.d.ts +17 -0
- package/dist/drift.part13.js +86 -0
- package/dist/drift.part13.js.map +1 -0
- package/dist/drift.part14.d.ts +44 -0
- package/dist/drift.part14.js +402 -0
- package/dist/drift.part14.js.map +1 -0
- package/dist/driftOrcamento.d.ts +69 -0
- package/dist/driftOrcamento.js +280 -0
- package/dist/driftOrcamento.js.map +1 -0
- package/dist/execucoesExternas.d.ts +10 -0
- package/dist/execucoesExternas.js +51 -0
- package/dist/execucoesExternas.js.map +1 -0
- package/dist/exemplosOficiais.d.ts +10 -0
- package/dist/exemplosOficiais.js +63 -0
- package/dist/exemplosOficiais.js.map +1 -0
- package/dist/fsGovernado.d.ts +10 -0
- package/dist/fsGovernado.js +50 -0
- package/dist/fsGovernado.js.map +1 -0
- package/dist/geracaoCore.d.ts +64 -0
- package/dist/geracaoCore.js +381 -0
- package/dist/geracaoCore.js.map +1 -0
- package/dist/iaPrompts.d.ts +6 -0
- package/dist/iaPrompts.js +318 -0
- package/dist/iaPrompts.js.map +1 -0
- package/dist/importador.d.ts +9 -31
- package/dist/importador.js +11 -2938
- package/dist/importador.js.map +1 -1
- package/dist/importador.part01.d.ts +150 -0
- package/dist/importador.part01.js +256 -0
- package/dist/importador.part01.js.map +1 -0
- package/dist/importador.part02.d.ts +25 -0
- package/dist/importador.part02.js +359 -0
- package/dist/importador.part02.js.map +1 -0
- package/dist/importador.part03.d.ts +53 -0
- package/dist/importador.part03.js +366 -0
- package/dist/importador.part03.js.map +1 -0
- package/dist/importador.part04.d.ts +26 -0
- package/dist/importador.part04.js +374 -0
- package/dist/importador.part04.js.map +1 -0
- package/dist/importador.part05.d.ts +28 -0
- package/dist/importador.part05.js +340 -0
- package/dist/importador.part05.js.map +1 -0
- package/dist/importador.part06.d.ts +8 -0
- package/dist/importador.part06.js +327 -0
- package/dist/importador.part06.js.map +1 -0
- package/dist/importador.part07.d.ts +23 -0
- package/dist/importador.part07.js +300 -0
- package/dist/importador.part07.js.map +1 -0
- package/dist/importador.part08.d.ts +12 -0
- package/dist/importador.part08.js +378 -0
- package/dist/importador.part08.js.map +1 -0
- package/dist/importador.part09.d.ts +16 -0
- package/dist/importador.part09.js +319 -0
- package/dist/importador.part09.js.map +1 -0
- package/dist/index.d.ts +12 -1
- package/dist/index.js +16 -7840
- package/dist/index.js.map +1 -1
- package/dist/index.part01.d.ts +148 -0
- package/dist/index.part01.js +252 -0
- package/dist/index.part01.js.map +1 -0
- package/dist/index.part02.d.ts +17 -0
- package/dist/index.part02.js +344 -0
- package/dist/index.part02.js.map +1 -0
- package/dist/index.part03.d.ts +59 -0
- package/dist/index.part03.js +352 -0
- package/dist/index.part03.js.map +1 -0
- package/dist/index.part04.d.ts +20 -0
- package/dist/index.part04.js +358 -0
- package/dist/index.part04.js.map +1 -0
- package/dist/index.part05.d.ts +10 -0
- package/dist/index.part05.js +370 -0
- package/dist/index.part05.js.map +1 -0
- package/dist/index.part06.d.ts +14 -0
- package/dist/index.part06.js +336 -0
- package/dist/index.part06.js.map +1 -0
- package/dist/index.part07.d.ts +9 -0
- package/dist/index.part07.js +287 -0
- package/dist/index.part07.js.map +1 -0
- package/dist/index.part08.d.ts +1 -0
- package/dist/index.part08.js +206 -0
- package/dist/index.part08.js.map +1 -0
- package/dist/init/index.js +2 -0
- package/dist/init/index.js.map +1 -1
- package/dist/init/templates.d.ts +2 -11
- package/dist/init/templates.js +4 -659
- package/dist/init/templates.js.map +1 -1
- package/dist/init/templates.part01.d.ts +11 -0
- package/dist/init/templates.part01.js +399 -0
- package/dist/init/templates.part01.js.map +1 -0
- package/dist/init/templates.part02.d.ts +8 -0
- package/dist/init/templates.part02.js +265 -0
- package/dist/init/templates.part02.js.map +1 -0
- package/dist/initCommand.d.ts +3 -0
- package/dist/initCommand.js +41 -0
- package/dist/initCommand.js.map +1 -0
- package/dist/initTemplatesBackend.d.ts +2 -0
- package/dist/initTemplatesBackend.js +127 -0
- package/dist/initTemplatesBackend.js.map +1 -0
- package/dist/initTemplatesBase.d.ts +9 -0
- package/dist/initTemplatesBase.js +79 -0
- package/dist/initTemplatesBase.js.map +1 -0
- package/dist/initTemplatesFlutter.d.ts +2 -0
- package/dist/initTemplatesFlutter.js +185 -0
- package/dist/initTemplatesFlutter.js.map +1 -0
- package/dist/initTemplatesRuntime.d.ts +2 -0
- package/dist/initTemplatesRuntime.js +494 -0
- package/dist/initTemplatesRuntime.js.map +1 -0
- package/dist/initTemplatesWeb.d.ts +2 -0
- package/dist/initTemplatesWeb.js +429 -0
- package/dist/initTemplatesWeb.js.map +1 -0
- package/dist/mcpInstalarChaveCommand.d.ts +1 -0
- package/dist/mcpInstalarChaveCommand.js +141 -0
- package/dist/mcpInstalarChaveCommand.js.map +1 -0
- package/dist/mcpRemoto.js.map +1 -1
- package/dist/mcp_chave.d.ts +1 -0
- package/dist/mcp_chave.js +4 -0
- package/dist/mcp_chave.js.map +1 -0
- package/dist/profileArtefatoBase.d.ts +30 -0
- package/dist/profileArtefatoBase.js +129 -0
- package/dist/profileArtefatoBase.js.map +1 -0
- package/dist/profileArtefatoValidadores.d.ts +9 -0
- package/dist/profileArtefatoValidadores.js +287 -0
- package/dist/profileArtefatoValidadores.js.map +1 -0
- package/dist/profileAuthorCommand.d.ts +6 -0
- package/dist/profileAuthorCommand.js +442 -0
- package/dist/profileAuthorCommand.js.map +1 -0
- package/dist/profileAuthorTipos.d.ts +225 -0
- package/dist/profileAuthorTipos.js +6 -0
- package/dist/profileAuthorTipos.js.map +1 -0
- package/dist/profileCatalogo.d.ts +8 -0
- package/dist/profileCatalogo.js +235 -0
- package/dist/profileCatalogo.js.map +1 -0
- package/dist/profileCommand.d.ts +33 -0
- package/dist/profileCommand.js +256 -0
- package/dist/profileCommand.js.map +1 -0
- package/dist/profileOrquestracao.d.ts +33 -0
- package/dist/profileOrquestracao.js +53 -0
- package/dist/profileOrquestracao.js.map +1 -0
- package/dist/profileRegras.d.ts +19 -0
- package/dist/profileRegras.js +219 -0
- package/dist/profileRegras.js.map +1 -0
- package/dist/profileRulePacks.d.ts +3 -0
- package/dist/profileRulePacks.js +334 -0
- package/dist/profileRulePacks.js.map +1 -0
- package/dist/profiles/validate.d.ts +1 -0
- package/dist/profiles/validate.js +4 -0
- package/dist/profiles/validate.js.map +1 -0
- package/dist/projeto.d.ts +4 -53
- package/dist/projeto.js +5 -649
- package/dist/projeto.js.map +1 -1
- package/dist/projetoBusca.d.ts +7 -0
- package/dist/projetoBusca.js +142 -0
- package/dist/projetoBusca.js.map +1 -0
- package/dist/projetoCarregar.d.ts +2 -0
- package/dist/projetoCarregar.js +50 -0
- package/dist/projetoCarregar.js.map +1 -0
- package/dist/projetoConfig.d.ts +10 -0
- package/dist/projetoConfig.js +89 -0
- package/dist/projetoConfig.js.map +1 -0
- package/dist/projetoLegado.d.ts +3 -0
- package/dist/projetoLegado.js +175 -0
- package/dist/projetoLegado.js.map +1 -0
- package/dist/projetoOrigens.d.ts +6 -0
- package/dist/projetoOrigens.js +185 -0
- package/dist/projetoOrigens.js.map +1 -0
- package/dist/projetoResolucao.d.ts +8 -0
- package/dist/projetoResolucao.js +43 -0
- package/dist/projetoResolucao.js.map +1 -0
- package/dist/projetoTipos.d.ts +43 -0
- package/dist/projetoTipos.js +4 -0
- package/dist/projetoTipos.js.map +1 -0
- package/dist/runnerValidacaoRemota.js.map +1 -1
- package/dist/runnerValidacaoRemotaBateria.js +2 -0
- package/dist/runnerValidacaoRemotaBateria.js.map +1 -1
- package/dist/runnerValidacaoRemotaExecucao.js +2 -0
- package/dist/runnerValidacaoRemotaExecucao.js.map +1 -1
- package/dist/runnerValidacaoRemotaRelatorio.js +2 -0
- package/dist/runnerValidacaoRemotaRelatorio.js.map +1 -1
- package/dist/runnerValidacaoRemotaSnapshot.js +2 -0
- package/dist/runnerValidacaoRemotaSnapshot.js.map +1 -1
- package/dist/runnerValidacaoRemotaWorkspace.js +2 -0
- package/dist/runnerValidacaoRemotaWorkspace.js.map +1 -1
- package/dist/sync/index.js +2 -0
- package/dist/sync/index.js.map +1 -1
- package/dist/textoListas.d.ts +4 -0
- package/dist/textoListas.js +22 -0
- package/dist/textoListas.js.map +1 -0
- package/dist/typescript-http-body.d.ts +12 -0
- package/dist/typescript-http-body.js +145 -0
- package/dist/typescript-http-body.js.map +1 -0
- package/dist/typescript-http-expressoes.d.ts +17 -0
- package/dist/typescript-http-expressoes.js +194 -0
- package/dist/typescript-http-expressoes.js.map +1 -0
- package/dist/typescript-http-modelos.d.ts +45 -0
- package/dist/typescript-http-modelos.js +82 -0
- package/dist/typescript-http-modelos.js.map +1 -0
- package/dist/typescript-http-rotas.d.ts +9 -0
- package/dist/typescript-http-rotas.js +129 -0
- package/dist/typescript-http-rotas.js.map +1 -0
- package/dist/typescript-http-semantica.d.ts +11 -0
- package/dist/typescript-http-semantica.js +329 -0
- package/dist/typescript-http-semantica.js.map +1 -0
- package/dist/typescript-http.d.ts +3 -35
- package/dist/typescript-http.js +4 -853
- package/dist/typescript-http.js.map +1 -1
- package/docs/AGENT_STARTER.md +1 -1
- package/docs/agentes-por-capacidade.md +59 -3
- package/docs/api.md +21 -21
- package/docs/cli.md +3 -3
- package/docs/documentacao.md +1 -1
- package/docs/env.md +20 -24
- package/docs/fluxo-pratico-ia-sema.md +1 -1
- package/docs/instalacao-e-primeiro-uso.md +3 -3
- package/docs/mcp.md +12 -0
- package/docs/pagamento-ponta-a-ponta.md +1 -1
- package/docs/persistencia-vendor-first.md +1 -1
- package/docs/prompt-base-ia-sema.md +1 -1
- package/docs/repositories.md +21 -21
- package/docs/seguranca.md +1 -1
- package/docs/sintaxe.md +1 -1
- package/exemplos/agendamento.sema +1 -1
- package/exemplos/assinatura.sema +1 -1
- package/exemplos/auditoria.sema +1 -1
- package/exemplos/autenticacao.sema +1 -1
- package/exemplos/author_obra_comum.sema +1 -1
- package/exemplos/author_tema_sensivel.sema +1 -1
- package/exemplos/automacao.sema +1 -1
- package/exemplos/cadastro_usuario.sema +1 -1
- package/exemplos/calculadora.sema +1 -1
- package/exemplos/crud_simples.sema +1 -1
- package/exemplos/estoque.sema +1 -1
- package/exemplos/exportacao.sema +1 -1
- package/exemplos/fila.sema +1 -1
- package/exemplos/integracao_externa.sema +1 -1
- package/exemplos/multi_tenant.sema +1 -1
- package/exemplos/notificacao.sema +1 -1
- package/exemplos/operacao_estrategia.sema +132 -633
- package/exemplos/operacao_estrategia_discovery.sema +220 -0
- package/exemplos/operacao_estrategia_fluxo.sema +114 -0
- package/exemplos/operacao_estrategia_gates.sema +106 -0
- package/exemplos/operacao_estrategia_quarentena.sema +133 -0
- package/exemplos/operacao_estrategia_rollout.sema +124 -0
- package/exemplos/pagamento.sema +1 -1
- package/exemplos/pagamento_dominio.sema +1 -1
- package/exemplos/pedido.sema +1 -1
- package/exemplos/permissao.sema +1 -1
- package/exemplos/persistencia_vendor_first.sema +1 -1
- package/exemplos/profile_game.sema +1 -1
- package/exemplos/profile_legal.sema +1 -1
- package/exemplos/profile_ops.sema +1 -1
- package/exemplos/profile_research.sema +1 -1
- package/exemplos/profile_software.sema +1 -1
- package/exemplos/profile_workflow_n8n.sema +1 -1
- package/exemplos/relatorio.sema +1 -1
- package/exemplos/replica_analitica_erp.sema +1 -1
- package/exemplos/testes_embutidos.sema +1 -1
- package/exemplos/tratamento_erro.sema +1 -1
- package/exemplos/upload_arquivo.sema +1 -1
- package/exemplos/webhook.sema +1 -1
- package/llms-full.txt +13 -8
- package/llms.txt +12 -7
- package/node_modules/@sema/gerador-css/dist/index.d.ts +2 -3
- package/node_modules/@sema/gerador-css/dist/index.js +4 -599
- package/node_modules/@sema/gerador-css/dist/index.js.map +1 -1
- package/node_modules/@sema/gerador-css/dist/index.part01.d.ts +6 -0
- package/node_modules/@sema/gerador-css/dist/index.part01.js +49 -0
- package/node_modules/@sema/gerador-css/dist/index.part01.js.map +1 -0
- package/node_modules/@sema/gerador-css/dist/index.part02.d.ts +3 -0
- package/node_modules/@sema/gerador-css/dist/index.part02.js +471 -0
- package/node_modules/@sema/gerador-css/dist/index.part02.js.map +1 -0
- package/node_modules/@sema/gerador-python/dist/index.d.ts +2 -6
- package/node_modules/@sema/gerador-python/dist/index.js +4 -771
- package/node_modules/@sema/gerador-python/dist/index.js.map +1 -1
- package/node_modules/@sema/gerador-python/dist/index.part01.d.ts +28 -0
- package/node_modules/@sema/gerador-python/dist/index.part01.js +383 -0
- package/node_modules/@sema/gerador-python/dist/index.part01.js.map +1 -0
- package/node_modules/@sema/gerador-python/dist/index.part02.d.ts +20 -0
- package/node_modules/@sema/gerador-python/dist/index.part02.js +396 -0
- package/node_modules/@sema/gerador-python/dist/index.part02.js.map +1 -0
- package/node_modules/@sema/gerador-typescript/dist/index.d.ts +3 -6
- package/node_modules/@sema/gerador-typescript/dist/index.js +5 -810
- package/node_modules/@sema/gerador-typescript/dist/index.js.map +1 -1
- package/node_modules/@sema/gerador-typescript/dist/index.part01.d.ts +25 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part01.js +358 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part01.js.map +1 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part02.d.ts +14 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part02.js +405 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part02.js.map +1 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part03.d.ts +5 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part03.js +60 -0
- package/node_modules/@sema/gerador-typescript/dist/index.part03.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.js +2 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/diagnosticos/snippets.d.ts +6 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/snippets.js +40 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/snippets.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.d.ts +2 -9
- package/node_modules/@sema/nucleo/dist/formatador/index.js +4 -467
- package/node_modules/@sema/nucleo/dist/formatador/index.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/formatador/index.part01.d.ts +38 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.part01.js +382 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.part01.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.part02.d.ts +4 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.part02.js +92 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.part02.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/index.d.ts +2 -0
- package/node_modules/@sema/nucleo/dist/index.js +6 -0
- package/node_modules/@sema/nucleo/dist/index.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/ir/conversor.d.ts +3 -5
- package/node_modules/@sema/nucleo/dist/ir/conversor.js +5 -880
- package/node_modules/@sema/nucleo/dist/ir/conversor.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/ir/conversor.part01.d.ts +30 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part01.js +398 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part01.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part02.d.ts +41 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part02.js +184 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part02.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part03.d.ts +5 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part03.js +310 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.part03.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.d.ts +3 -9
- package/node_modules/@sema/nucleo/dist/parser/parser.declaracoes.d.ts +11 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.declaracoes.js +150 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.declaracoes.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.js +5 -768
- package/node_modules/@sema/nucleo/dist/parser/parser.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/parser/parser.modulo.d.ts +3 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.modulo.js +222 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.modulo.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part01.d.ts +9 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part01.js +61 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part01.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part02.d.ts +40 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part02.js +373 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part02.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part03.d.ts +4 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part03.js +9 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.part03.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/persistencia/contratos.js +2 -0
- package/node_modules/@sema/nucleo/dist/persistencia/contratos.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts +3 -59
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js +2 -1682
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part01.d.ts +89 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part01.js +292 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part01.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part02.d.ts +29 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part02.js +168 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part02.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part03.d.ts +11 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part03.js +185 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part03.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part04.d.ts +30 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part04.js +200 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part04.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part05.d.ts +6 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part05.js +193 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part05.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part06.d.ts +11 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part06.js +208 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part06.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part07.d.ts +11 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part07.js +247 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part07.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part08.d.ts +3 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part08.js +249 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.part08.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.d.ts +2 -106
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.js +4 -474
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.part01.d.ts +109 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.part01.js +259 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.part01.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.part02.d.ts +9 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.part02.js +223 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.part02.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/orcamentoSemantico.d.ts +21 -0
- package/node_modules/@sema/nucleo/dist/semantico/orcamentoSemantico.js +40 -0
- package/node_modules/@sema/nucleo/dist/semantico/orcamentoSemantico.js.map +1 -0
- package/package.json +12 -16
|
@@ -0,0 +1,184 @@
|
|
|
1
|
+
// SEMA-GOVERNED: sema.software
|
|
2
|
+
// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
|
|
3
|
+
import { contratoDadosTemSensivel, efeitoEhPrivilegiado, } from "../semantico/seguranca.js";
|
|
4
|
+
import { parsearEfeitoSemantico } from "../semantico/estruturas.js";
|
|
5
|
+
import { TIPOS_PRIMITIVOS, converterAudit, converterAuth, converterAuthz, converterCampos, converterDados, converterExecucao, converterForbidden, converterImplementacoes, converterSegredos, converterVinculos, encontrarSubBloco, localizarCampo, valorCampoCompleto } from "./conversor.part01.js";
|
|
6
|
+
export function extrairPerfil(bloco, padrao = "interno") {
|
|
7
|
+
const perfil = valorCampoCompleto(localizarCampo(bloco, "perfil", "compatibilidade"))?.toLowerCase();
|
|
8
|
+
if (perfil === "publico"
|
|
9
|
+
|| perfil === "interno"
|
|
10
|
+
|| perfil === "experimental"
|
|
11
|
+
|| perfil === "legado"
|
|
12
|
+
|| perfil === "deprecado") {
|
|
13
|
+
return perfil;
|
|
14
|
+
}
|
|
15
|
+
return padrao;
|
|
16
|
+
}
|
|
17
|
+
export function tipoNaoPrimitivo(campo) {
|
|
18
|
+
if (!TIPOS_PRIMITIVOS.has(campo.tipoBase)) {
|
|
19
|
+
return campo.tipoBase;
|
|
20
|
+
}
|
|
21
|
+
if (campo.tipoItem && !TIPOS_PRIMITIVOS.has(campo.tipoItem)) {
|
|
22
|
+
return campo.tipoItem;
|
|
23
|
+
}
|
|
24
|
+
if (campo.valorMapa && !TIPOS_PRIMITIVOS.has(campo.valorMapa)) {
|
|
25
|
+
return campo.valorMapa;
|
|
26
|
+
}
|
|
27
|
+
return undefined;
|
|
28
|
+
}
|
|
29
|
+
export function deduplicarTexto(valores) {
|
|
30
|
+
return [...new Set(valores.filter(Boolean))].sort((a, b) => a.localeCompare(b, "pt-BR"));
|
|
31
|
+
}
|
|
32
|
+
export function resumirAgente(params) {
|
|
33
|
+
const entidadesAfetadas = deduplicarTexto([
|
|
34
|
+
...(params.input ?? []).map(tipoNaoPrimitivo).filter((item) => Boolean(item)),
|
|
35
|
+
...(params.output ?? []).map(tipoNaoPrimitivo).filter((item) => Boolean(item)),
|
|
36
|
+
...(params.efeitos ?? []).map((efeito) => efeito.alvo),
|
|
37
|
+
]);
|
|
38
|
+
const mutacoesPrevistas = deduplicarTexto((params.efeitos ?? []).map((efeito) => `${efeito.categoria}:${efeito.alvo}`));
|
|
39
|
+
const riscos = new Set();
|
|
40
|
+
if ((params.efeitos ?? []).some((efeito) => efeito.categoria === "persistencia")) {
|
|
41
|
+
riscos.add("altera_persistencia");
|
|
42
|
+
}
|
|
43
|
+
if ((params.efeitos ?? []).some((efeito) => efeitoEhPrivilegiado(efeito))) {
|
|
44
|
+
riscos.add("efeito_privilegiado");
|
|
45
|
+
}
|
|
46
|
+
if ((params.efeitos ?? []).some((efeito) => efeito.criticidade === "alta" || efeito.criticidade === "critica")) {
|
|
47
|
+
riscos.add("efeito_critico");
|
|
48
|
+
}
|
|
49
|
+
if (params.execucao?.criticidadeOperacional === "alta" || params.execucao?.criticidadeOperacional === "critica") {
|
|
50
|
+
riscos.add("execucao_critica");
|
|
51
|
+
}
|
|
52
|
+
if (contratoDadosTemSensivel(params.dados)) {
|
|
53
|
+
riscos.add("dados_sensiveis");
|
|
54
|
+
}
|
|
55
|
+
if (params.segredos?.itens.length) {
|
|
56
|
+
riscos.add("segredo_operacional");
|
|
57
|
+
}
|
|
58
|
+
if ((params.vinculos ?? []).length === 0) {
|
|
59
|
+
riscos.add("vinculo_fraco");
|
|
60
|
+
}
|
|
61
|
+
const checks = new Set();
|
|
62
|
+
checks.add("rodar sema validar --json");
|
|
63
|
+
if ((params.output ?? []).length > 0) {
|
|
64
|
+
checks.add("verificar guarantees");
|
|
65
|
+
}
|
|
66
|
+
if ((params.vinculos ?? []).length > 0) {
|
|
67
|
+
checks.add("rodar sema drift --json");
|
|
68
|
+
}
|
|
69
|
+
if (params.auth?.explicita || params.authz?.explicita) {
|
|
70
|
+
checks.add("revisar auth e authz");
|
|
71
|
+
}
|
|
72
|
+
if (params.dados?.explicita) {
|
|
73
|
+
checks.add("validar classificacao de dados");
|
|
74
|
+
}
|
|
75
|
+
if (params.audit?.explicita) {
|
|
76
|
+
checks.add("validar trilha de auditoria");
|
|
77
|
+
}
|
|
78
|
+
if (params.forbidden?.explicita) {
|
|
79
|
+
checks.add("confirmar proibicoes operacionais");
|
|
80
|
+
}
|
|
81
|
+
if (params.superficiePublica) {
|
|
82
|
+
checks.add("validar superficie publica impactada");
|
|
83
|
+
}
|
|
84
|
+
return {
|
|
85
|
+
riscos: [...riscos],
|
|
86
|
+
checks: [...checks],
|
|
87
|
+
entidadesAfetadas,
|
|
88
|
+
superficiesPublicas: params.superficiePublica ? [params.superficiePublica] : [],
|
|
89
|
+
mutacoesPrevistas,
|
|
90
|
+
};
|
|
91
|
+
}
|
|
92
|
+
export function recomporCaminho(campo) {
|
|
93
|
+
const valor = valorCampoCompleto(campo);
|
|
94
|
+
return valor?.replace(/\s*\/\s*/g, "/").trim();
|
|
95
|
+
}
|
|
96
|
+
export function ehUseInterop(use) {
|
|
97
|
+
return use.origem !== "sema";
|
|
98
|
+
}
|
|
99
|
+
export function converterErroPublico(erro, origemTask) {
|
|
100
|
+
return {
|
|
101
|
+
nome: erro.codigo,
|
|
102
|
+
codigo: erro.codigo,
|
|
103
|
+
mensagem: erro.mensagem,
|
|
104
|
+
categoria: erro.categoria,
|
|
105
|
+
recuperabilidade: erro.recuperabilidade,
|
|
106
|
+
acaoChamador: erro.acaoChamador,
|
|
107
|
+
impactaEstado: erro.impactaEstado,
|
|
108
|
+
requerCompensacao: erro.requerCompensacao,
|
|
109
|
+
origemTask,
|
|
110
|
+
};
|
|
111
|
+
}
|
|
112
|
+
export function calcularConfiancaPublica(route) {
|
|
113
|
+
if (route.task && route.vinculos.length > 0) {
|
|
114
|
+
return "alta";
|
|
115
|
+
}
|
|
116
|
+
if (route.task || route.vinculos.length > 0) {
|
|
117
|
+
return "media";
|
|
118
|
+
}
|
|
119
|
+
return "baixa";
|
|
120
|
+
}
|
|
121
|
+
export function calcularRiscoPublico(route) {
|
|
122
|
+
if (!route.auth.explicita
|
|
123
|
+
|| contratoDadosTemSensivel(route.dados)
|
|
124
|
+
|| route.efeitosPublicos.some((efeito) => efeitoEhPrivilegiado(efeito) || efeito.categoria === "persistencia" || efeito.criticidade === "critica")) {
|
|
125
|
+
return "alto";
|
|
126
|
+
}
|
|
127
|
+
if (route.efeitosPublicos.length > 0 || route.errosPublicos.length > 0) {
|
|
128
|
+
return "medio";
|
|
129
|
+
}
|
|
130
|
+
return "baixo";
|
|
131
|
+
}
|
|
132
|
+
export function converterSuperficie(tipo, superficie) {
|
|
133
|
+
const input = converterCampos(encontrarSubBloco(superficie, "input"));
|
|
134
|
+
const output = converterCampos(encontrarSubBloco(superficie, "output"));
|
|
135
|
+
const effects = (encontrarSubBloco(superficie, "effects")?.linhas ?? [])
|
|
136
|
+
.map((linha) => parsearEfeitoSemantico(linha.conteudo))
|
|
137
|
+
.filter((linha) => Boolean(linha));
|
|
138
|
+
const vinculos = converterVinculos(encontrarSubBloco(superficie, "vinculos"));
|
|
139
|
+
const execucao = converterExecucao(encontrarSubBloco(superficie, "execucao"));
|
|
140
|
+
const auth = converterAuth(encontrarSubBloco(superficie, "auth"));
|
|
141
|
+
const authz = converterAuthz(encontrarSubBloco(superficie, "authz"));
|
|
142
|
+
const dados = converterDados(encontrarSubBloco(superficie, "dados"));
|
|
143
|
+
const audit = converterAudit(encontrarSubBloco(superficie, "audit"));
|
|
144
|
+
const segredos = converterSegredos(encontrarSubBloco(superficie, "segredos"));
|
|
145
|
+
const forbidden = converterForbidden(encontrarSubBloco(superficie, "forbidden"));
|
|
146
|
+
const task = valorCampoCompleto(localizarCampo(superficie, "task", "tarefa"));
|
|
147
|
+
const perfilCompatibilidade = extrairPerfil(superficie, tipo === "webhook" ? "publico" : "interno");
|
|
148
|
+
const resumoAgente = resumirAgente({
|
|
149
|
+
input,
|
|
150
|
+
output,
|
|
151
|
+
efeitos: effects,
|
|
152
|
+
vinculos,
|
|
153
|
+
execucao,
|
|
154
|
+
auth,
|
|
155
|
+
authz,
|
|
156
|
+
dados,
|
|
157
|
+
audit,
|
|
158
|
+
segredos,
|
|
159
|
+
forbidden,
|
|
160
|
+
superficiePublica: perfilCompatibilidade === "publico" ? `${tipo}:${superficie.nome ?? tipo}` : undefined,
|
|
161
|
+
});
|
|
162
|
+
return {
|
|
163
|
+
tipo,
|
|
164
|
+
nome: superficie.nome ?? tipo,
|
|
165
|
+
campos: converterCampos(superficie),
|
|
166
|
+
linhas: superficie.linhas.map((linha) => linha.conteudo),
|
|
167
|
+
task: task || undefined,
|
|
168
|
+
input,
|
|
169
|
+
output,
|
|
170
|
+
effects,
|
|
171
|
+
implementacoesExternas: converterImplementacoes(encontrarSubBloco(superficie, "impl")),
|
|
172
|
+
vinculos,
|
|
173
|
+
execucao,
|
|
174
|
+
auth,
|
|
175
|
+
authz,
|
|
176
|
+
dados,
|
|
177
|
+
audit,
|
|
178
|
+
segredos,
|
|
179
|
+
forbidden,
|
|
180
|
+
perfilCompatibilidade,
|
|
181
|
+
resumoAgente,
|
|
182
|
+
};
|
|
183
|
+
}
|
|
184
|
+
//# sourceMappingURL=conversor.part02.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"conversor.part02.js","sourceRoot":"","sources":["../../src/ir/conversor.part02.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAkBnG,OAAO,EACL,wBAAwB,EAOxB,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,sBAAsB,EAAuE,MAAM,4BAA4B,CAAC;AAkCzI,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAEtS,MAAM,UAAU,aAAa,CAAC,KAAwB,EAAE,SAAgC,SAAS;IAC/F,MAAM,MAAM,GAAG,kBAAkB,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;IACrG,IACE,MAAM,KAAK,SAAS;WACjB,MAAM,KAAK,SAAS;WACpB,MAAM,KAAK,cAAc;WACzB,MAAM,KAAK,QAAQ;WACnB,MAAM,KAAK,WAAW,EACzB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC,QAAQ,CAAC;IACxB,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC,QAAQ,CAAC;IACxB,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC,SAAS,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAiB;IAC/C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAa7B;IACC,MAAM,iBAAiB,GAAG,eAAe,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7F,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9F,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;KACvD,CAAC,CAAC;IAEH,MAAM,iBAAiB,GAAG,eAAe,CACvC,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAC7E,CAAC;IAEF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,cAAc,CAAC,EAAE,CAAC;QACjF,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,KAAK,MAAM,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,EAAE,CAAC;QAC/G,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,EAAE,sBAAsB,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,sBAAsB,KAAK,SAAS,EAAE,CAAC;QAChH,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC;QACtD,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IACrD,CAAC;IAED,OAAO;QACL,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;QACnB,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;QACnB,iBAAiB;QACjB,mBAAmB,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE;QAC/E,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAgB;IAC9C,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,GAA8B;IAE9B,OAAO,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAuB,EAAE,UAAmB;IAC/E,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;QACvC,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,UAAU;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,IACE,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS;WAClB,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC;WACrC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,cAAc,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,EAClJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvE,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAsB,EACtB,UAA4B;IAE5B,MAAM,KAAK,GAAG,eAAe,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,eAAe,CAAC,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,CAAC,iBAAiB,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;SACrE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;SACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,aAAa,CAAC,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,cAAc,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,cAAc,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,cAAc,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,kBAAkB,CAAC,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9E,MAAM,qBAAqB,GAAG,aAAa,CAAC,UAAU,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpG,MAAM,YAAY,GAAG,aAAa,CAAC;QACjC,KAAK;QACL,MAAM;QACN,OAAO,EAAE,OAAO;QAChB,QAAQ;QACR,QAAQ;QACR,IAAI;QACJ,KAAK;QACL,KAAK;QACL,KAAK;QACL,QAAQ;QACR,SAAS;QACT,iBAAiB,EAAE,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;KAC1G,CAAC,CAAC;IAEH,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,IAAI;QAC7B,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC;QACnC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QACxD,IAAI,EAAE,IAAI,IAAI,SAAS;QACvB,KAAK;QACL,MAAM;QACN,OAAO;QACP,sBAAsB,EAAE,uBAAuB,CAAC,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACtF,QAAQ;QACR,QAAQ;QACR,IAAI;QACJ,KAAK;QACL,KAAK;QACL,KAAK;QACL,QAAQ;QACR,SAAS;QACT,qBAAqB;QACrB,YAAY;KACb,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,5 @@
|
|
|
1
|
+
import type { ModuloAst } from "../ast/tipos.js";
|
|
2
|
+
import type { Diagnostico } from "../diagnosticos/index.js";
|
|
3
|
+
import type { ContextoSemantico } from "../semantico/analisador.js";
|
|
4
|
+
import type { IrModulo } from "./modelos.js";
|
|
5
|
+
export declare function converterParaIr(modulo: ModuloAst, diagnosticos: Diagnostico[], contexto?: ContextoSemantico): IrModulo;
|
|
@@ -0,0 +1,310 @@
|
|
|
1
|
+
// SEMA-GOVERNED: sema.software
|
|
2
|
+
// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
|
|
3
|
+
import { parsearEfeitoSemantico, parsearEtapaFlow, parsearExpressaoSemantica, parsearTransicaoEstado } from "../semantico/estruturas.js";
|
|
4
|
+
import { calcularConfiancaPublica, calcularRiscoPublico, converterErroPublico, converterSuperficie, deduplicarTexto, ehUseInterop, extrairPerfil, recomporCaminho, resumirAgente } from "./conversor.part02.js";
|
|
5
|
+
import { converterAudit, converterAuth, converterAuthz, converterBloco, converterCampos, converterCaso, converterDados, converterDatabase, converterErrosTask, converterExecucao, converterForbidden, converterImplementacoes, converterSegredos, converterVinculos, encontrarSubBloco } from "./conversor.part01.js";
|
|
6
|
+
export function converterParaIr(modulo, diagnosticos, contexto) {
|
|
7
|
+
const perfilModulo = extrairPerfil(modulo.vinculos, modulo.routes.length > 0 || modulo.webhooks.length > 0 ? "publico" : "interno");
|
|
8
|
+
const types = modulo.types.map((type) => ({
|
|
9
|
+
nome: type.nome,
|
|
10
|
+
definicao: converterBloco(encontrarSubBloco(type.corpo, "fields") ?? type.corpo),
|
|
11
|
+
invariantes: (encontrarSubBloco(type.corpo, "invariants")?.linhas ?? [])
|
|
12
|
+
.map((linha) => parsearExpressaoSemantica(linha.conteudo))
|
|
13
|
+
.filter((linha) => Boolean(linha)),
|
|
14
|
+
}));
|
|
15
|
+
const entities = modulo.entities.map((entity) => ({
|
|
16
|
+
nome: entity.nome,
|
|
17
|
+
campos: converterCampos(encontrarSubBloco(entity.corpo, "fields")),
|
|
18
|
+
invariantes: (encontrarSubBloco(entity.corpo, "invariants")?.linhas ?? [])
|
|
19
|
+
.map((linha) => parsearExpressaoSemantica(linha.conteudo))
|
|
20
|
+
.filter((linha) => Boolean(linha)),
|
|
21
|
+
}));
|
|
22
|
+
const tarefasSemanticas = contexto?.tarefasDetalhadas ?? new Map();
|
|
23
|
+
const tasks = modulo.tasks.map((task) => {
|
|
24
|
+
const input = converterCampos(task.input);
|
|
25
|
+
const output = converterCampos(task.output);
|
|
26
|
+
const effects = (task.effects?.linhas ?? [])
|
|
27
|
+
.map((linha) => parsearEfeitoSemantico(linha.conteudo))
|
|
28
|
+
.filter((linha) => Boolean(linha));
|
|
29
|
+
const vinculos = converterVinculos(task.vinculos);
|
|
30
|
+
const execucao = converterExecucao(task.execucao);
|
|
31
|
+
const auth = converterAuth(encontrarSubBloco(task.corpo, "auth"));
|
|
32
|
+
const authz = converterAuthz(encontrarSubBloco(task.corpo, "authz"));
|
|
33
|
+
const dados = converterDados(encontrarSubBloco(task.corpo, "dados"));
|
|
34
|
+
const audit = converterAudit(encontrarSubBloco(task.corpo, "audit"));
|
|
35
|
+
const segredos = converterSegredos(encontrarSubBloco(task.corpo, "segredos"));
|
|
36
|
+
const forbidden = converterForbidden(encontrarSubBloco(task.corpo, "forbidden"));
|
|
37
|
+
const errosDetalhados = converterErrosTask(task.error, tarefasSemanticas.get(task.nome)?.errors);
|
|
38
|
+
const perfilCompatibilidade = extrairPerfil(task.corpo, "interno");
|
|
39
|
+
const resumoAgente = resumirAgente({
|
|
40
|
+
input,
|
|
41
|
+
output,
|
|
42
|
+
efeitos: effects,
|
|
43
|
+
vinculos,
|
|
44
|
+
execucao,
|
|
45
|
+
auth,
|
|
46
|
+
authz,
|
|
47
|
+
dados,
|
|
48
|
+
audit,
|
|
49
|
+
segredos,
|
|
50
|
+
forbidden,
|
|
51
|
+
});
|
|
52
|
+
return {
|
|
53
|
+
nome: task.nome,
|
|
54
|
+
input,
|
|
55
|
+
output,
|
|
56
|
+
rules: task.rules?.linhas.map((linha) => linha.conteudo) ?? [],
|
|
57
|
+
regrasEstruturadas: (task.rules?.linhas ?? [])
|
|
58
|
+
.map((linha) => parsearExpressaoSemantica(linha.conteudo))
|
|
59
|
+
.filter((linha) => Boolean(linha)),
|
|
60
|
+
effects: task.effects?.linhas.map((linha) => linha.conteudo) ?? [],
|
|
61
|
+
efeitosEstruturados: effects,
|
|
62
|
+
implementacoesExternas: converterImplementacoes(task.impl),
|
|
63
|
+
vinculos,
|
|
64
|
+
execucao,
|
|
65
|
+
auth,
|
|
66
|
+
authz,
|
|
67
|
+
dados,
|
|
68
|
+
audit,
|
|
69
|
+
segredos,
|
|
70
|
+
forbidden,
|
|
71
|
+
guarantees: task.guarantees?.linhas.map((linha) => linha.conteudo) ?? [],
|
|
72
|
+
garantiasEstruturadas: (task.guarantees?.linhas ?? [])
|
|
73
|
+
.map((linha) => parsearExpressaoSemantica(linha.conteudo))
|
|
74
|
+
.filter((linha) => Boolean(linha)),
|
|
75
|
+
errors: Object.fromEntries(errosDetalhados.map((erro) => [erro.codigo, erro.mensagem])),
|
|
76
|
+
errosDetalhados,
|
|
77
|
+
perfilCompatibilidade,
|
|
78
|
+
stateContract: task.state ? {
|
|
79
|
+
nomeEstado: task.state.nome ?? task.state.campos.find((campo) => campo.nome === "state" || campo.nome === "estado")?.valor,
|
|
80
|
+
campos: converterCampos(task.state),
|
|
81
|
+
linhas: task.state.linhas.map((linha) => linha.conteudo),
|
|
82
|
+
transicoes: (encontrarSubBloco(task.state, "transitions")?.linhas ?? task.state.linhas)
|
|
83
|
+
.map((linha) => parsearTransicaoEstado(linha.conteudo))
|
|
84
|
+
.filter((linha) => Boolean(linha)),
|
|
85
|
+
} : undefined,
|
|
86
|
+
resumoAgente,
|
|
87
|
+
tests: (task.tests?.blocos.filter((bloco) => bloco.tipo === "caso_teste") ?? []).map(converterCaso),
|
|
88
|
+
};
|
|
89
|
+
});
|
|
90
|
+
const tarefasPorNome = new Map(tasks.map((task) => [task.nome, task]));
|
|
91
|
+
const flows = modulo.flows.map((flow) => {
|
|
92
|
+
const campos = converterCampos(flow.corpo);
|
|
93
|
+
const effects = (encontrarSubBloco(flow.corpo, "effects")?.linhas ?? [])
|
|
94
|
+
.map((linha) => parsearEfeitoSemantico(linha.conteudo))
|
|
95
|
+
.filter((linha) => Boolean(linha));
|
|
96
|
+
const vinculos = converterVinculos(flow.vinculos);
|
|
97
|
+
const perfilCompatibilidade = extrairPerfil(flow.corpo, "interno");
|
|
98
|
+
return {
|
|
99
|
+
nome: flow.nome,
|
|
100
|
+
campos,
|
|
101
|
+
linhas: flow.corpo.linhas.map((linha) => linha.conteudo),
|
|
102
|
+
tasksReferenciadas: flow.corpo.campos
|
|
103
|
+
.filter((campo) => campo.nome === "task" || campo.nome === "tarefa")
|
|
104
|
+
.map((campo) => campo.valor),
|
|
105
|
+
etapasEstruturadas: flow.corpo.linhas
|
|
106
|
+
.map((linha) => parsearEtapaFlow(linha.conteudo))
|
|
107
|
+
.filter((linha) => Boolean(linha)),
|
|
108
|
+
effects: (encontrarSubBloco(flow.corpo, "effects")?.linhas ?? []).map((linha) => linha.conteudo),
|
|
109
|
+
efeitosEstruturados: effects,
|
|
110
|
+
vinculos,
|
|
111
|
+
perfilCompatibilidade,
|
|
112
|
+
resumoAgente: resumirAgente({
|
|
113
|
+
input: campos,
|
|
114
|
+
efeitos: effects,
|
|
115
|
+
vinculos,
|
|
116
|
+
}),
|
|
117
|
+
};
|
|
118
|
+
});
|
|
119
|
+
const routes = modulo.routes.map((route) => ({
|
|
120
|
+
nome: route.nome,
|
|
121
|
+
campos: converterCampos(route.corpo),
|
|
122
|
+
linhas: route.corpo.linhas.map((linha) => linha.conteudo),
|
|
123
|
+
metodo: route.corpo.campos.find((campo) => campo.nome === "metodo")?.valor,
|
|
124
|
+
caminho: recomporCaminho(route.corpo.campos.find((campo) => campo.nome === "caminho")),
|
|
125
|
+
task: route.corpo.campos.find((campo) => campo.nome === "task" || campo.nome === "tarefa")?.valor,
|
|
126
|
+
inputPublico: [],
|
|
127
|
+
outputPublico: [],
|
|
128
|
+
errosPublicos: [],
|
|
129
|
+
efeitosPublicos: [],
|
|
130
|
+
vinculos: converterVinculos(route.vinculos),
|
|
131
|
+
auth: converterAuth(encontrarSubBloco(route.corpo, "auth")),
|
|
132
|
+
authz: converterAuthz(encontrarSubBloco(route.corpo, "authz")),
|
|
133
|
+
dados: converterDados(encontrarSubBloco(route.corpo, "dados")),
|
|
134
|
+
audit: converterAudit(encontrarSubBloco(route.corpo, "audit")),
|
|
135
|
+
segredos: converterSegredos(encontrarSubBloco(route.corpo, "segredos")),
|
|
136
|
+
forbidden: converterForbidden(encontrarSubBloco(route.corpo, "forbidden")),
|
|
137
|
+
perfilCompatibilidade: extrairPerfil(route.corpo, "publico"),
|
|
138
|
+
garantiasPublicasMinimas: [],
|
|
139
|
+
resumoAgente: {
|
|
140
|
+
riscos: [],
|
|
141
|
+
checks: [],
|
|
142
|
+
entidadesAfetadas: [],
|
|
143
|
+
superficiesPublicas: [],
|
|
144
|
+
mutacoesPrevistas: [],
|
|
145
|
+
},
|
|
146
|
+
publico: {
|
|
147
|
+
metodo: undefined,
|
|
148
|
+
caminho: undefined,
|
|
149
|
+
task: undefined,
|
|
150
|
+
input: [],
|
|
151
|
+
output: [],
|
|
152
|
+
errors: [],
|
|
153
|
+
effects: [],
|
|
154
|
+
garantiasMinimas: [],
|
|
155
|
+
},
|
|
156
|
+
})).map((route) => {
|
|
157
|
+
const routeAst = modulo.routes.find((item) => item.nome === route.nome);
|
|
158
|
+
const tarefaAssociada = route.task ? tarefasPorNome.get(route.task) : undefined;
|
|
159
|
+
const tarefaSemantica = route.task ? tarefasSemanticas.get(route.task) : undefined;
|
|
160
|
+
const inputPublicoDeclarado = converterCampos(encontrarSubBloco(routeAst.corpo, "input"));
|
|
161
|
+
const outputPublicoDeclarado = converterCampos(encontrarSubBloco(routeAst.corpo, "output"));
|
|
162
|
+
const errosDeclarados = converterErrosTask(encontrarSubBloco(routeAst.corpo, "error"), tarefaSemantica?.errors);
|
|
163
|
+
const efeitosPublicosDeclarados = (encontrarSubBloco(routeAst.corpo, "effects")?.linhas ?? [])
|
|
164
|
+
.map((linha) => parsearEfeitoSemantico(linha.conteudo))
|
|
165
|
+
.filter((linha) => Boolean(linha));
|
|
166
|
+
const inputPublicoResolvido = inputPublicoDeclarado.length > 0
|
|
167
|
+
? inputPublicoDeclarado
|
|
168
|
+
: (tarefaAssociada?.input ?? tarefaSemantica?.input?.map((campo) => ({
|
|
169
|
+
nome: campo.nome,
|
|
170
|
+
tipo: campo.tipo,
|
|
171
|
+
modificadores: campo.modificadores,
|
|
172
|
+
tipoOriginal: campo.tipo,
|
|
173
|
+
tipoBase: campo.tipo,
|
|
174
|
+
cardinalidade: "unitario",
|
|
175
|
+
opcional: false,
|
|
176
|
+
tiposAlternativos: [],
|
|
177
|
+
refinamentos: [],
|
|
178
|
+
})) ?? []);
|
|
179
|
+
const outputPublicoResolvido = outputPublicoDeclarado.length > 0
|
|
180
|
+
? outputPublicoDeclarado
|
|
181
|
+
: (tarefaAssociada?.output ?? tarefaSemantica?.output?.map((campo) => ({
|
|
182
|
+
nome: campo.nome,
|
|
183
|
+
tipo: campo.tipo,
|
|
184
|
+
modificadores: campo.modificadores,
|
|
185
|
+
tipoOriginal: campo.tipo,
|
|
186
|
+
tipoBase: campo.tipo,
|
|
187
|
+
cardinalidade: "unitario",
|
|
188
|
+
opcional: false,
|
|
189
|
+
tiposAlternativos: [],
|
|
190
|
+
refinamentos: [],
|
|
191
|
+
})) ?? []);
|
|
192
|
+
const errosPublicosResolvidos = errosDeclarados.length > 0
|
|
193
|
+
? errosDeclarados.map((erro) => converterErroPublico(erro, route.task))
|
|
194
|
+
: (tarefaAssociada?.errosDetalhados ?? (tarefaSemantica?.errors ?? []).map((erro) => ({ codigo: erro.codigo, mensagem: erro.mensagem }))).map((erro) => converterErroPublico(erro, route.task));
|
|
195
|
+
const garantiasPublicasMinimas = (tarefaAssociada?.guarantees ?? tarefaSemantica?.guarantees ?? []).filter((garantia) => {
|
|
196
|
+
const referencia = garantia.trim().split(/\s+/)[0] ?? "";
|
|
197
|
+
return outputPublicoResolvido.some((campo) => campo.nome === referencia || garantia.includes(`${campo.nome}.`));
|
|
198
|
+
});
|
|
199
|
+
const routeResolvida = {
|
|
200
|
+
...route,
|
|
201
|
+
inputPublico: inputPublicoResolvido,
|
|
202
|
+
outputPublico: outputPublicoResolvido,
|
|
203
|
+
errosPublicos: errosPublicosResolvidos,
|
|
204
|
+
efeitosPublicos: efeitosPublicosDeclarados,
|
|
205
|
+
garantiasPublicasMinimas,
|
|
206
|
+
resumoAgente: resumirAgente({
|
|
207
|
+
input: inputPublicoResolvido,
|
|
208
|
+
output: outputPublicoResolvido,
|
|
209
|
+
efeitos: efeitosPublicosDeclarados,
|
|
210
|
+
vinculos: route.vinculos,
|
|
211
|
+
auth: route.auth,
|
|
212
|
+
authz: route.authz,
|
|
213
|
+
dados: route.dados,
|
|
214
|
+
audit: route.audit,
|
|
215
|
+
segredos: route.segredos,
|
|
216
|
+
forbidden: route.forbidden,
|
|
217
|
+
superficiePublica: `${route.metodo ?? "?"} ${route.caminho ?? "?"}`,
|
|
218
|
+
}),
|
|
219
|
+
publico: {
|
|
220
|
+
metodo: route.metodo,
|
|
221
|
+
caminho: route.caminho,
|
|
222
|
+
task: route.task,
|
|
223
|
+
input: inputPublicoResolvido,
|
|
224
|
+
output: outputPublicoResolvido,
|
|
225
|
+
errors: errosPublicosResolvidos,
|
|
226
|
+
effects: efeitosPublicosDeclarados,
|
|
227
|
+
garantiasMinimas: garantiasPublicasMinimas,
|
|
228
|
+
confiancaContrato: "media",
|
|
229
|
+
riscoRegressao: "medio",
|
|
230
|
+
divergenciasPublicas: [],
|
|
231
|
+
},
|
|
232
|
+
};
|
|
233
|
+
routeResolvida.publico.confiancaContrato = calcularConfiancaPublica(routeResolvida);
|
|
234
|
+
routeResolvida.publico.riscoRegressao = calcularRiscoPublico(routeResolvida);
|
|
235
|
+
return routeResolvida;
|
|
236
|
+
});
|
|
237
|
+
const superficies = [
|
|
238
|
+
...modulo.workers.map((item) => converterSuperficie("worker", item)),
|
|
239
|
+
...modulo.eventos.map((item) => converterSuperficie("evento", item)),
|
|
240
|
+
...modulo.filas.map((item) => converterSuperficie("fila", item)),
|
|
241
|
+
...modulo.crons.map((item) => converterSuperficie("cron", item)),
|
|
242
|
+
...modulo.webhooks.map((item) => converterSuperficie("webhook", item)),
|
|
243
|
+
...modulo.caches.map((item) => converterSuperficie("cache", item)),
|
|
244
|
+
...modulo.storages.map((item) => converterSuperficie("storage", item)),
|
|
245
|
+
...modulo.policies.map((item) => converterSuperficie("policy", item)),
|
|
246
|
+
];
|
|
247
|
+
const states = modulo.states.map((state) => ({
|
|
248
|
+
nome: state.nome,
|
|
249
|
+
campos: converterCampos(encontrarSubBloco(state.corpo, "fields") ?? state.corpo),
|
|
250
|
+
linhas: state.corpo.linhas.map((linha) => linha.conteudo),
|
|
251
|
+
invariantes: (encontrarSubBloco(state.corpo, "invariants")?.linhas ?? [])
|
|
252
|
+
.map((linha) => parsearExpressaoSemantica(linha.conteudo))
|
|
253
|
+
.filter((linha) => Boolean(linha)),
|
|
254
|
+
transicoes: (encontrarSubBloco(state.corpo, "transitions")?.linhas ?? [])
|
|
255
|
+
.map((linha) => parsearTransicaoEstado(linha.conteudo))
|
|
256
|
+
.filter((linha) => Boolean(linha)),
|
|
257
|
+
}));
|
|
258
|
+
const databases = modulo.databases.map(converterDatabase);
|
|
259
|
+
const resumoAgenteModulo = resumirAgente({
|
|
260
|
+
input: [],
|
|
261
|
+
output: [],
|
|
262
|
+
efeitos: [
|
|
263
|
+
...tasks.flatMap((task) => task.efeitosEstruturados),
|
|
264
|
+
...routes.flatMap((route) => route.efeitosPublicos),
|
|
265
|
+
...superficies.flatMap((superficie) => superficie.effects),
|
|
266
|
+
],
|
|
267
|
+
vinculos: [
|
|
268
|
+
...converterVinculos(modulo.vinculos),
|
|
269
|
+
...tasks.flatMap((task) => task.vinculos),
|
|
270
|
+
...routes.flatMap((route) => route.vinculos),
|
|
271
|
+
...superficies.flatMap((superficie) => superficie.vinculos),
|
|
272
|
+
],
|
|
273
|
+
});
|
|
274
|
+
return {
|
|
275
|
+
nome: modulo.nome,
|
|
276
|
+
uses: contexto?.modulosImportados.length
|
|
277
|
+
? [...contexto.modulosImportados]
|
|
278
|
+
: modulo.uses.filter((use) => use.origem === "sema").map((use) => use.caminho),
|
|
279
|
+
imports: modulo.uses.map((use) => ({
|
|
280
|
+
origem: use.origem,
|
|
281
|
+
caminho: use.caminho,
|
|
282
|
+
externo: use.origem !== "sema",
|
|
283
|
+
})),
|
|
284
|
+
interoperabilidades: contexto?.interoperabilidades.map((interop) => ({ ...interop })) ?? modulo.uses
|
|
285
|
+
.filter(ehUseInterop)
|
|
286
|
+
.map((use) => ({ origem: use.origem, caminho: use.caminho })),
|
|
287
|
+
vinculos: converterVinculos(modulo.vinculos),
|
|
288
|
+
perfilCompatibilidade: perfilModulo,
|
|
289
|
+
types,
|
|
290
|
+
entities,
|
|
291
|
+
enums: modulo.enums.map((enumeracao) => ({ nome: enumeracao.nome, valores: enumeracao.valores })),
|
|
292
|
+
tasks,
|
|
293
|
+
flows,
|
|
294
|
+
routes,
|
|
295
|
+
superficies,
|
|
296
|
+
states,
|
|
297
|
+
databases,
|
|
298
|
+
resumoAgente: {
|
|
299
|
+
...resumoAgenteModulo,
|
|
300
|
+
superficiesPublicas: deduplicarTexto([
|
|
301
|
+
...routes.map((route) => `${route.metodo ?? "?"} ${route.caminho ?? route.nome}`),
|
|
302
|
+
...superficies
|
|
303
|
+
.filter((superficie) => superficie.perfilCompatibilidade === "publico")
|
|
304
|
+
.map((superficie) => `${superficie.tipo}:${superficie.nome}`),
|
|
305
|
+
]),
|
|
306
|
+
},
|
|
307
|
+
diagnosticos,
|
|
308
|
+
};
|
|
309
|
+
}
|
|
310
|
+
//# sourceMappingURL=conversor.part03.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"conversor.part03.js","sourceRoot":"","sources":["../../src/ir/conversor.part03.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AA4BnG,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAkCzI,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,eAAe,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAChN,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAEtT,MAAM,UAAU,eAAe,CAAC,MAAiB,EAAE,YAA2B,EAAE,QAA4B;IAC1G,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEpI,MAAM,KAAK,GAAa,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC;QAChF,WAAW,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACrE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACzE,CAAC,CAAC,CAAC;IAEJ,MAAM,QAAQ,GAAe,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC5D,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,eAAe,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClE,WAAW,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACvE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACzE,CAAC,CAAC,CAAC;IAEJ,MAAM,iBAAiB,GAAG,QAAQ,EAAE,iBAAiB,IAAI,IAAI,GAAG,EAAE,CAAC;IACnE,MAAM,KAAK,GAAa,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAChD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;aACzC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,aAAa,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAC9E,MAAM,SAAS,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;QACjF,MAAM,eAAe,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACjG,MAAM,qBAAqB,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACnE,MAAM,YAAY,GAAG,aAAa,CAAC;YACjC,KAAK;YACL,MAAM;YACN,OAAO,EAAE,OAAO;YAChB,QAAQ;YACR,QAAQ;YACR,IAAI;YACJ,KAAK;YACL,KAAK;YACL,KAAK;YACL,QAAQ;YACR,SAAS;SACV,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK;YACL,MAAM;YACN,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;YAC9D,kBAAkB,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;iBAC3C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;iBACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACxE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;YAClE,mBAAmB,EAAE,OAAO;YAC5B,sBAAsB,EAAE,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1D,QAAQ;YACR,QAAQ;YACR,IAAI;YACJ,KAAK;YACL,KAAK;YACL,KAAK;YACL,QAAQ;YACR,SAAS;YACT,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;YACxE,qBAAqB,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC;iBACnD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;iBACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACxE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvF,eAAe;YACf,qBAAqB;YACrB,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1B,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK;gBAC1H,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;gBACnC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;gBACxD,UAAU,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;qBACpF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;qBACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;aACzE,CAAC,CAAC,CAAC,SAAS;YACb,YAAY;YACZ,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAA8B,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;SAChI,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IAEhF,MAAM,KAAK,GAAa,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAChD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACrE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,qBAAqB,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACnE,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM;YACN,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YACxD,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;iBAClC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;iBACnE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;iBAClC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;iBAChD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACxE,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YAChG,mBAAmB,EAAE,OAAO;YAC5B,QAAQ;YACR,qBAAqB;YACrB,YAAY,EAAE,aAAa,CAAC;gBAC1B,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,OAAO;gBAChB,QAAQ;aACT,CAAC;SACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;QACpC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QACzD,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK;QAC1E,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACtF,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK;QACjG,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,eAAe,EAAE,EAAE;QACnB,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC3C,IAAI,EAAE,aAAa,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3D,KAAK,EAAE,cAAc,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9D,KAAK,EAAE,cAAc,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9D,KAAK,EAAE,cAAc,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9D,QAAQ,EAAE,iBAAiB,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACvE,SAAS,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC1E,qBAAqB,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC;QAC5D,wBAAwB,EAAE,EAAE;QAC5B,YAAY,EAAE;YACZ,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,iBAAiB,EAAE,EAAE;YACrB,mBAAmB,EAAE,EAAE;YACvB,iBAAiB,EAAE,EAAE;SACtB;QACD,OAAO,EAAE;YACP,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,SAAS;YAClB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE;YACT,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,gBAAgB,EAAE,EAAE;SACrB;KACF,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAE,CAAC;QACzE,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,qBAAqB,GAAG,eAAe,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1F,MAAM,sBAAsB,GAAG,eAAe,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5F,MAAM,eAAe,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;QAChH,MAAM,yBAAyB,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aAC3F,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,qBAAqB,GAAG,qBAAqB,CAAC,MAAM,GAAG,CAAC;YAC5D,CAAC,CAAC,qBAAqB;YACvB,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,IAAI,eAAe,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,KAA8D,EAAE,EAAE,CAAC,CAAC;gBAC5H,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,YAAY,EAAE,KAAK,CAAC,IAAI;gBACxB,QAAQ,EAAE,KAAK,CAAC,IAAI;gBACpB,aAAa,EAAE,UAAmB;gBAClC,QAAQ,EAAE,KAAK;gBACf,iBAAiB,EAAE,EAAE;gBACrB,YAAY,EAAE,EAAE;aACjB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACb,MAAM,sBAAsB,GAAG,sBAAsB,CAAC,MAAM,GAAG,CAAC;YAC9D,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,CAAC,eAAe,EAAE,MAAM,IAAI,eAAe,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,KAA8D,EAAE,EAAE,CAAC,CAAC;gBAC9H,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,YAAY,EAAE,KAAK,CAAC,IAAI;gBACxB,QAAQ,EAAE,KAAK,CAAC,IAAI;gBACpB,aAAa,EAAE,UAAmB;gBAClC,QAAQ,EAAE,KAAK;gBACf,iBAAiB,EAAE,EAAE;gBACrB,YAAY,EAAE,EAAE;aACjB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACb,MAAM,uBAAuB,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC;YACxD,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvE,CAAC,CAAC,CAAC,eAAe,EAAE,eAAe,IAAI,CAAC,eAAe,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAA0C,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAuB,EAAE,EAAE,CAC9M,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,MAAM,wBAAwB,GAAG,CAAC,eAAe,EAAE,UAAU,IAAI,eAAe,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,QAAgB,EAAE,EAAE;YAC9H,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACzD,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAC3H,CAAC,CAAC,CAAC;QAEH,MAAM,cAAc,GAAY;YAC9B,GAAG,KAAK;YACR,YAAY,EAAE,qBAAqB;YACnC,aAAa,EAAE,sBAAsB;YACrC,aAAa,EAAE,uBAAuB;YACtC,eAAe,EAAE,yBAAyB;YAC1C,wBAAwB;YACxB,YAAY,EAAE,aAAa,CAAC;gBAC1B,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,sBAAsB;gBAC9B,OAAO,EAAE,yBAAyB;gBAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,iBAAiB,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,OAAO,IAAI,GAAG,EAAE;aACpE,CAAC;YACF,OAAO,EAAE;gBACP,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,sBAAsB;gBAC9B,MAAM,EAAE,uBAAuB;gBAC/B,OAAO,EAAE,yBAAyB;gBAClC,gBAAgB,EAAE,wBAAwB;gBAC1C,iBAAiB,EAAE,OAAO;gBAC1B,cAAc,EAAE,OAAO;gBACvB,oBAAoB,EAAE,EAAE;aACzB;SACF,CAAC;QAEF,cAAc,CAAC,OAAO,CAAC,iBAAiB,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;QACpF,cAAc,CAAC,OAAO,CAAC,cAAc,GAAG,oBAAoB,CAAC,cAAc,CAAC,CAAC;QAC7E,OAAO,cAAc,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAmB;QAClC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpE,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAChE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAChE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACtE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACtE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;KACtE,CAAC;IAEF,MAAM,MAAM,GAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,eAAe,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;QAChF,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QACzD,WAAW,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxE,UAAU,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACzE,CAAC,CAAC,CAAC;IAEJ,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAE1D,MAAM,kBAAkB,GAAG,aAAa,CAAC;QACvC,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC;YACpD,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC;YACnD,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;SAC3D;QACD,QAAQ,EAAE;YACR,GAAG,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC;YACrC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;YACzC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC5C,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;SAC5D;KACF,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,QAAQ,EAAE,iBAAiB,CAAC,MAAM;YACtC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC;YACjC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC;QAChF,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,OAAO,EAAE,GAAG,CAAC,MAAM,KAAK,MAAM;SAC/B,CAAC,CAAC;QACH,mBAAmB,EAAE,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI;aACjG,MAAM,CAAC,YAAY,CAAC;aACpB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/D,QAAQ,EAAE,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC5C,qBAAqB,EAAE,YAAY;QACnC,KAAK;QACL,QAAQ;QACR,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QACjG,KAAK;QACL,KAAK;QACL,MAAM;QACN,WAAW;QACX,MAAM;QACN,SAAS;QACT,YAAY,EAAE;YACZ,GAAG,kBAAkB;YACrB,mBAAmB,EAAE,eAAe,CAAC;gBACnC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACjF,GAAG,WAAW;qBACX,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,qBAAqB,KAAK,SAAS,CAAC;qBACtE,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;aAChE,CAAC;SACH;QACD,YAAY;KACb,CAAC;AACJ,CAAC"}
|
|
@@ -1,9 +1,3 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
interface ResultadoParser {
|
|
5
|
-
modulo?: ModuloAst;
|
|
6
|
-
diagnosticos: Diagnostico[];
|
|
7
|
-
}
|
|
8
|
-
export declare function parsear(tokens: Token[]): ResultadoParser;
|
|
9
|
-
export {};
|
|
1
|
+
export * from "./parser.part01.js";
|
|
2
|
+
export * from "./parser.part02.js";
|
|
3
|
+
export * from "./parser.part03.js";
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { EntityAst, EnumAst, FlowAst, RouteAst, StateAst, TaskAst, TypeAst, UseAst } from "../ast/tipos.js";
|
|
2
|
+
import type { Parser } from "./parser.part02.js";
|
|
3
|
+
export declare function normalizarOrigemUse(valor: string): UseAst["origem"] | undefined;
|
|
4
|
+
export declare function parseUseParser(parser: Parser): UseAst;
|
|
5
|
+
export declare function parseTypeParser(parser: Parser): TypeAst;
|
|
6
|
+
export declare function parseEntityParser(parser: Parser): EntityAst;
|
|
7
|
+
export declare function parseEnumParser(parser: Parser): EnumAst;
|
|
8
|
+
export declare function parseTaskParser(parser: Parser): TaskAst;
|
|
9
|
+
export declare function parseFlowParser(parser: Parser): FlowAst;
|
|
10
|
+
export declare function parseRouteParser(parser: Parser): RouteAst;
|
|
11
|
+
export declare function parseStateParser(parser: Parser): StateAst;
|