@semacode/cli 1.3.2 → 1.3.5

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.
Files changed (155) hide show
  1. package/README.md +2 -2
  2. package/dist/index.js +33 -27
  3. package/package.json +21 -33
  4. package/semacode-cli-1.3.1.tgz +0 -0
  5. package/src/cpp-symbols.ts +82 -0
  6. package/src/dotnet-http.ts +355 -0
  7. package/src/drift.ts +2455 -0
  8. package/src/go-http.ts +118 -0
  9. package/src/importador.ts +3448 -0
  10. package/src/index.ts +4476 -0
  11. package/src/java-http.ts +247 -0
  12. package/src/projeto.ts +810 -0
  13. package/src/python-http.ts +258 -0
  14. package/src/rust-http.ts +125 -0
  15. package/src/tipos.ts +22 -0
  16. package/src/typescript-http.ts +1076 -0
  17. package/tsconfig.json +20 -0
  18. package/AGENTS.md +0 -272
  19. package/LICENSE +0 -22
  20. package/SEMA_BRIEF.curto.txt +0 -9
  21. package/SEMA_BRIEF.md +0 -49
  22. package/SEMA_BRIEF.micro.txt +0 -7
  23. package/SEMA_INDEX.json +0 -546
  24. package/dist/cpp-symbols.d.ts +0 -10
  25. package/dist/cpp-symbols.js.map +0 -1
  26. package/dist/dotnet-http.d.ts +0 -23
  27. package/dist/dotnet-http.js.map +0 -1
  28. package/dist/drift.d.ts +0 -118
  29. package/dist/drift.js.map +0 -1
  30. package/dist/go-http.d.ts +0 -23
  31. package/dist/go-http.js.map +0 -1
  32. package/dist/importador.d.ts +0 -29
  33. package/dist/importador.js.map +0 -1
  34. package/dist/index.d.ts +0 -2
  35. package/dist/index.js.map +0 -1
  36. package/dist/java-http.d.ts +0 -23
  37. package/dist/java-http.js.map +0 -1
  38. package/dist/lua-symbols.d.ts +0 -8
  39. package/dist/lua-symbols.js.map +0 -1
  40. package/dist/projeto.d.ts +0 -48
  41. package/dist/projeto.js.map +0 -1
  42. package/dist/python-http.d.ts +0 -23
  43. package/dist/python-http.js.map +0 -1
  44. package/dist/rust-http.d.ts +0 -23
  45. package/dist/rust-http.js.map +0 -1
  46. package/dist/tipos.d.ts +0 -3
  47. package/dist/tipos.js.map +0 -1
  48. package/dist/typescript-http.d.ts +0 -35
  49. package/dist/typescript-http.js.map +0 -1
  50. package/docs/AGENT_STARTER.md +0 -102
  51. package/docs/como-ensinar-a-sema-para-ia.md +0 -149
  52. package/docs/fluxo-pratico-ia-sema.md +0 -177
  53. package/docs/instalacao-e-primeiro-uso.md +0 -196
  54. package/docs/integracao-com-ia.md +0 -228
  55. package/docs/pagamento-ponta-a-ponta.md +0 -155
  56. package/docs/prompt-base-ia-sema.md +0 -104
  57. package/docs/sintaxe.md +0 -361
  58. package/exemplos/agendamento.sema +0 -106
  59. package/exemplos/assinatura.sema +0 -136
  60. package/exemplos/auditoria.sema +0 -88
  61. package/exemplos/autenticacao.sema +0 -125
  62. package/exemplos/automacao.sema +0 -107
  63. package/exemplos/cadastro_usuario.sema +0 -54
  64. package/exemplos/calculadora.sema +0 -78
  65. package/exemplos/crud_simples.sema +0 -89
  66. package/exemplos/estoque.sema +0 -126
  67. package/exemplos/exportacao.sema +0 -94
  68. package/exemplos/fila.sema +0 -131
  69. package/exemplos/integracao_externa.sema +0 -94
  70. package/exemplos/multi_tenant.sema +0 -140
  71. package/exemplos/notificacao.sema +0 -98
  72. package/exemplos/operacao_estrategia.sema +0 -402
  73. package/exemplos/pagamento.sema +0 -222
  74. package/exemplos/pagamento_dominio.sema +0 -35
  75. package/exemplos/pedido.sema +0 -119
  76. package/exemplos/permissao.sema +0 -121
  77. package/exemplos/relatorio.sema +0 -93
  78. package/exemplos/testes_embutidos.sema +0 -45
  79. package/exemplos/tratamento_erro.sema +0 -157
  80. package/exemplos/upload_arquivo.sema +0 -93
  81. package/exemplos/webhook.sema +0 -96
  82. package/llms-full.txt +0 -34
  83. package/llms.txt +0 -17
  84. package/node_modules/@sema/gerador-css/dist/index.d.ts +0 -3
  85. package/node_modules/@sema/gerador-css/dist/index.js +0 -592
  86. package/node_modules/@sema/gerador-css/dist/index.js.map +0 -1
  87. package/node_modules/@sema/gerador-css/package.json +0 -7
  88. package/node_modules/@sema/gerador-dart/dist/index.d.ts +0 -3
  89. package/node_modules/@sema/gerador-dart/dist/index.js +0 -44
  90. package/node_modules/@sema/gerador-dart/dist/index.js.map +0 -1
  91. package/node_modules/@sema/gerador-dart/package.json +0 -7
  92. package/node_modules/@sema/gerador-html/dist/index.d.ts +0 -3
  93. package/node_modules/@sema/gerador-html/dist/index.js +0 -163
  94. package/node_modules/@sema/gerador-html/dist/index.js.map +0 -1
  95. package/node_modules/@sema/gerador-html/package.json +0 -7
  96. package/node_modules/@sema/gerador-javascript/dist/index.d.ts +0 -3
  97. package/node_modules/@sema/gerador-javascript/dist/index.js +0 -421
  98. package/node_modules/@sema/gerador-javascript/dist/index.js.map +0 -1
  99. package/node_modules/@sema/gerador-javascript/package.json +0 -7
  100. package/node_modules/@sema/gerador-lua/dist/index.d.ts +0 -3
  101. package/node_modules/@sema/gerador-lua/dist/index.js +0 -328
  102. package/node_modules/@sema/gerador-lua/dist/index.js.map +0 -1
  103. package/node_modules/@sema/gerador-lua/package.json +0 -7
  104. package/node_modules/@sema/gerador-python/dist/index.d.ts +0 -6
  105. package/node_modules/@sema/gerador-python/dist/index.js +0 -628
  106. package/node_modules/@sema/gerador-python/dist/index.js.map +0 -1
  107. package/node_modules/@sema/gerador-python/package.json +0 -7
  108. package/node_modules/@sema/gerador-typescript/dist/index.d.ts +0 -6
  109. package/node_modules/@sema/gerador-typescript/dist/index.js +0 -656
  110. package/node_modules/@sema/gerador-typescript/dist/index.js.map +0 -1
  111. package/node_modules/@sema/gerador-typescript/package.json +0 -7
  112. package/node_modules/@sema/nucleo/dist/ast/tipos.d.ts +0 -122
  113. package/node_modules/@sema/nucleo/dist/ast/tipos.js +0 -2
  114. package/node_modules/@sema/nucleo/dist/ast/tipos.js.map +0 -1
  115. package/node_modules/@sema/nucleo/dist/diagnosticos/index.d.ts +0 -21
  116. package/node_modules/@sema/nucleo/dist/diagnosticos/index.js +0 -12
  117. package/node_modules/@sema/nucleo/dist/diagnosticos/index.js.map +0 -1
  118. package/node_modules/@sema/nucleo/dist/formatador/index.d.ts +0 -9
  119. package/node_modules/@sema/nucleo/dist/formatador/index.js +0 -445
  120. package/node_modules/@sema/nucleo/dist/formatador/index.js.map +0 -1
  121. package/node_modules/@sema/nucleo/dist/index.d.ts +0 -34
  122. package/node_modules/@sema/nucleo/dist/index.js +0 -95
  123. package/node_modules/@sema/nucleo/dist/index.js.map +0 -1
  124. package/node_modules/@sema/nucleo/dist/ir/conversor.d.ts +0 -5
  125. package/node_modules/@sema/nucleo/dist/ir/conversor.js +0 -781
  126. package/node_modules/@sema/nucleo/dist/ir/conversor.js.map +0 -1
  127. package/node_modules/@sema/nucleo/dist/ir/modelos.d.ts +0 -285
  128. package/node_modules/@sema/nucleo/dist/ir/modelos.js +0 -2
  129. package/node_modules/@sema/nucleo/dist/ir/modelos.js.map +0 -1
  130. package/node_modules/@sema/nucleo/dist/lexer/lexer.d.ts +0 -7
  131. package/node_modules/@sema/nucleo/dist/lexer/lexer.js +0 -122
  132. package/node_modules/@sema/nucleo/dist/lexer/lexer.js.map +0 -1
  133. package/node_modules/@sema/nucleo/dist/lexer/tokens.d.ts +0 -8
  134. package/node_modules/@sema/nucleo/dist/lexer/tokens.js +0 -46
  135. package/node_modules/@sema/nucleo/dist/lexer/tokens.js.map +0 -1
  136. package/node_modules/@sema/nucleo/dist/parser/parser.d.ts +0 -9
  137. package/node_modules/@sema/nucleo/dist/parser/parser.js +0 -656
  138. package/node_modules/@sema/nucleo/dist/parser/parser.js.map +0 -1
  139. package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts +0 -57
  140. package/node_modules/@sema/nucleo/dist/semantico/analisador.js +0 -1497
  141. package/node_modules/@sema/nucleo/dist/semantico/analisador.js.map +0 -1
  142. package/node_modules/@sema/nucleo/dist/semantico/estruturas.d.ts +0 -104
  143. package/node_modules/@sema/nucleo/dist/semantico/estruturas.js +0 -445
  144. package/node_modules/@sema/nucleo/dist/semantico/estruturas.js.map +0 -1
  145. package/node_modules/@sema/nucleo/dist/semantico/seguranca.d.ts +0 -91
  146. package/node_modules/@sema/nucleo/dist/semantico/seguranca.js +0 -258
  147. package/node_modules/@sema/nucleo/dist/semantico/seguranca.js.map +0 -1
  148. package/node_modules/@sema/nucleo/dist/util/arquivos.d.ts +0 -2
  149. package/node_modules/@sema/nucleo/dist/util/arquivos.js +0 -25
  150. package/node_modules/@sema/nucleo/dist/util/arquivos.js.map +0 -1
  151. package/node_modules/@sema/nucleo/package.json +0 -7
  152. package/node_modules/@sema/padroes/dist/index.d.ts +0 -23
  153. package/node_modules/@sema/padroes/dist/index.js +0 -210
  154. package/node_modules/@sema/padroes/dist/index.js.map +0 -1
  155. package/node_modules/@sema/padroes/package.json +0 -7
@@ -1,628 +0,0 @@
1
- import path from "node:path";
2
- import { descreverEstruturaModulo, mapearTipoParaPython, normalizarNomeModulo, normalizarNomeParaSimbolo, } from "@sema/padroes";
3
- const TIPOS_PRIMITIVOS_SEMA = new Set(["Texto", "Numero", "Inteiro", "Decimal", "Booleano", "Data", "DataHora", "Id", "Email", "Url", "Json", "Vazio"]);
4
- function dividirTipoNoNivelRaiz(valor, separador) {
5
- const partes = [];
6
- let atual = "";
7
- let profundidade = 0;
8
- for (const caractere of valor) {
9
- if (caractere === "<") {
10
- profundidade += 1;
11
- atual += caractere;
12
- continue;
13
- }
14
- if (caractere === ">") {
15
- profundidade = Math.max(0, profundidade - 1);
16
- atual += caractere;
17
- continue;
18
- }
19
- if (caractere === separador && profundidade === 0) {
20
- if (atual.trim()) {
21
- partes.push(atual.trim());
22
- }
23
- atual = "";
24
- continue;
25
- }
26
- atual += caractere;
27
- }
28
- if (atual.trim()) {
29
- partes.push(atual.trim());
30
- }
31
- return partes;
32
- }
33
- function coletarFolhasTipoPython(tipo) {
34
- const limpo = tipo.trim();
35
- if (!limpo) {
36
- return [];
37
- }
38
- if (/^Opcional<.+>$/.test(limpo)) {
39
- return coletarFolhasTipoPython(limpo.slice("Opcional<".length, -1));
40
- }
41
- const uniao = dividirTipoNoNivelRaiz(limpo, "|");
42
- if (uniao.length > 1) {
43
- return uniao.flatMap((item) => coletarFolhasTipoPython(item));
44
- }
45
- if (/^Lista<.+>$/.test(limpo)) {
46
- return coletarFolhasTipoPython(limpo.slice("Lista<".length, -1));
47
- }
48
- if (/^Mapa<.+>$/.test(limpo)) {
49
- return dividirTipoNoNivelRaiz(limpo.slice("Mapa<".length, -1), ",")
50
- .flatMap((item) => coletarFolhasTipoPython(item));
51
- }
52
- return [limpo];
53
- }
54
- function mapearCampoParaPython(campo) {
55
- let anotacao;
56
- if (campo.cardinalidade === "lista") {
57
- anotacao = `list[${mapearTipoParaPython(campo.tipoItem ?? campo.tipoBase)}]`;
58
- }
59
- else if (campo.cardinalidade === "mapa") {
60
- anotacao = `dict[${mapearTipoParaPython(campo.chaveMapa ?? "Texto")}, ${mapearTipoParaPython(campo.valorMapa ?? "Json")}]`;
61
- }
62
- else if (campo.cardinalidade === "uniao") {
63
- anotacao = campo.tiposAlternativos.map((tipo) => mapearTipoParaPython(tipo)).join(" | ");
64
- }
65
- else {
66
- anotacao = mapearTipoParaPython(campo.tipoBase);
67
- }
68
- if (campo.opcional && !/\bNone\b/.test(anotacao)) {
69
- return `${anotacao} | None`;
70
- }
71
- return anotacao;
72
- }
73
- function gerarDataclass(nome, campos) {
74
- const linhas = campos.length === 0
75
- ? " pass"
76
- : campos.map((campo) => {
77
- const tipoBase = mapearCampoParaPython(campo);
78
- if (campo.modificadores.includes("required")) {
79
- return ` ${campo.nome}: ${tipoBase}`;
80
- }
81
- return ` ${campo.nome}: ${/\bNone\b/.test(tipoBase) ? tipoBase : `${tipoBase} | None`} = None`;
82
- }).join("\n");
83
- return `@dataclass\nclass ${nome}:\n${linhas}\n`;
84
- }
85
- function gerarComentarioInvariantesPython(invariantes) {
86
- if (invariantes.length === 0) {
87
- return "";
88
- }
89
- return `${invariantes.map((invariante) => `# Invariante: ${invariante.textoOriginal}`).join("\n")}\n`;
90
- }
91
- function gerarListaCamposPython(campos) {
92
- if (campos.length === 0) {
93
- return "[]";
94
- }
95
- return `[\n${campos.map((campo) => ` {"nome": "${campo.nome}", "tipo": "${campo.tipo}", "obrigatorio": ${campo.modificadores.includes("required") ? "True" : "False"}},`).join("\n")}\n]`;
96
- }
97
- function coletarTiposExternos(modulo) {
98
- const locais = new Set([
99
- ...modulo.types.map((item) => item.nome),
100
- ...modulo.entities.map((item) => item.nome),
101
- ...modulo.enums.map((item) => item.nome),
102
- ]);
103
- const referenciados = new Set();
104
- const campos = [
105
- ...modulo.entities.flatMap((entity) => entity.campos),
106
- ...modulo.tasks.flatMap((task) => [...task.input, ...task.output]),
107
- ...modulo.routes.flatMap((route) => [...route.inputPublico, ...route.outputPublico]),
108
- ...modulo.states.flatMap((state) => state.campos),
109
- ];
110
- for (const campo of campos) {
111
- for (const tipo of coletarFolhasTipoPython(campo.tipo)) {
112
- if (!TIPOS_PRIMITIVOS_SEMA.has(tipo) && !locais.has(tipo)) {
113
- referenciados.add(tipo);
114
- }
115
- }
116
- }
117
- return [...referenciados].sort((a, b) => a.localeCompare(b, "pt-BR"));
118
- }
119
- function gerarMapaErrosPython(erros) {
120
- const entradas = Object.entries(erros);
121
- if (entradas.length === 0) {
122
- return "{}";
123
- }
124
- return `{\n${entradas.map(([nome, mensagem]) => ` ${JSON.stringify(nome)}: ${JSON.stringify(mensagem)},`).join("\n")}\n}`;
125
- }
126
- function formatarValorPython(valor, camposConhecidos, variavel) {
127
- const texto = valor.trim();
128
- if (/^-?\d+(?:\.\d+)?$/.test(texto)) {
129
- return texto;
130
- }
131
- if (texto === "verdadeiro") {
132
- return "True";
133
- }
134
- if (texto === "falso") {
135
- return "False";
136
- }
137
- if (texto === "nulo") {
138
- return "None";
139
- }
140
- if (camposConhecidos.has(texto.split(".")[0] ?? texto)) {
141
- return `${variavel}.${texto}`;
142
- }
143
- return JSON.stringify(texto);
144
- }
145
- function resolverExpressaoPython(expressao, camposConhecidos, variavel) {
146
- switch (expressao.tipo) {
147
- case "existe":
148
- return `${variavel}.${expressao.alvo} is not None`;
149
- case "comparacao":
150
- return `${variavel}.${expressao.alvo} ${expressao.operador} ${formatarValorPython(expressao.valor, camposConhecidos, variavel)}`;
151
- case "pertencimento":
152
- return `${variavel}.${expressao.alvo} in [${(expressao.valores ?? []).map((valor) => formatarValorPython(valor, camposConhecidos, variavel)).join(", ")}]`;
153
- case "predicado":
154
- return "True";
155
- case "composta":
156
- return `(${expressao.termos.map((termo) => resolverExpressaoPython(termo, camposConhecidos, variavel)).join(expressao.operadorLogico === "e" ? " and " : " or ")})`;
157
- case "negacao":
158
- return `(not ${resolverExpressaoPython(expressao.termo, camposConhecidos, variavel)})`;
159
- }
160
- }
161
- function valorPadraoPython(campo) {
162
- const tipo = campo.tipoBase;
163
- const nomeCampo = campo.nome;
164
- if (campo.cardinalidade === "lista") {
165
- return "[]";
166
- }
167
- if (campo.cardinalidade === "mapa") {
168
- return "{}";
169
- }
170
- if (campo.opcional) {
171
- return "None";
172
- }
173
- switch (tipo) {
174
- case "Texto":
175
- case "Id":
176
- case "Email":
177
- case "Url":
178
- return JSON.stringify(`${nomeCampo}_exemplo`);
179
- case "Numero":
180
- case "Inteiro":
181
- case "Decimal":
182
- return "1";
183
- case "Booleano":
184
- return "False";
185
- case "Json":
186
- return "{}";
187
- default:
188
- return "SimpleNamespace()";
189
- }
190
- }
191
- function formatarLiteralTestePython(valor, tipoDeclarado) {
192
- if (["Texto", "Id", "Email", "Url"].includes(tipoDeclarado ?? "")) {
193
- return JSON.stringify(valor);
194
- }
195
- if (["Numero", "Inteiro", "Decimal"].includes(tipoDeclarado ?? "") && /^-?\d+(?:\.\d+)?$/.test(valor)) {
196
- return valor;
197
- }
198
- if ((tipoDeclarado ?? "") === "Booleano") {
199
- if (valor === "verdadeiro") {
200
- return "True";
201
- }
202
- if (valor === "falso") {
203
- return "False";
204
- }
205
- }
206
- if (/^-?\d+(?:\.\d+)?$/.test(valor)) {
207
- return valor;
208
- }
209
- if (valor === "verdadeiro") {
210
- return "True";
211
- }
212
- if (valor === "falso") {
213
- return "False";
214
- }
215
- return JSON.stringify(valor);
216
- }
217
- function gerarMapaLiteralPython(campos) {
218
- return `{${campos.map((campo) => `${JSON.stringify(campo.nome)}: ${campo.valor}`).join(", ")}}`;
219
- }
220
- function coletarTiposCompostos(modulo) {
221
- const tipos = new Map();
222
- for (const type of modulo.types) {
223
- tipos.set(type.nome, new Map(type.definicao.campos.map((campo) => [campo.nome, campo.tipo])));
224
- }
225
- for (const entity of modulo.entities) {
226
- tipos.set(entity.nome, new Map(entity.campos.map((campo) => [campo.nome, campo.tipo])));
227
- }
228
- return tipos;
229
- }
230
- function gerarLiteralBlocoTestePython(bloco, tiposCompostos, tiposDeclarados, tipoAtual) {
231
- const entradas = [];
232
- const tiposAtuais = tipoAtual ? tiposCompostos?.get(tipoAtual) : undefined;
233
- for (const campo of bloco.campos) {
234
- entradas.push({
235
- nome: campo.nome,
236
- valor: formatarLiteralTestePython(campo.tipo, tiposDeclarados?.get(campo.nome) ?? tiposAtuais?.get(campo.nome)),
237
- });
238
- }
239
- for (const subbloco of bloco.blocos) {
240
- const tipoSubbloco = tiposDeclarados?.get(subbloco.nome) ?? tiposAtuais?.get(subbloco.nome);
241
- entradas.push({
242
- nome: subbloco.nome,
243
- valor: gerarLiteralBlocoTestePython(subbloco.conteudo, tiposCompostos, undefined, tipoSubbloco),
244
- });
245
- }
246
- if (tipoAtual && tiposCompostos?.has(tipoAtual)) {
247
- return `${tipoAtual}(${entradas.map((campo) => `${campo.nome}=${campo.valor}`).join(", ")})`;
248
- }
249
- return gerarMapaLiteralPython(entradas);
250
- }
251
- function paraPascalCase(valor) {
252
- return valor
253
- .split(/[^A-Za-z0-9]+/)
254
- .filter(Boolean)
255
- .map((parte) => parte[0].toUpperCase() + parte.slice(1))
256
- .join("");
257
- }
258
- function gerarPreparacaoSaida(task) {
259
- const camposSaida = new Set(task.output.map((campo) => campo.nome));
260
- const argumentos = task.output.map((campo) => `${campo.nome}=${valorPadraoPython(campo)}`).join(", ");
261
- const ajustes = [];
262
- for (const garantia of task.garantiasEstruturadas) {
263
- if (garantia.tipo === "pertencimento" && garantia.valores && camposSaida.has(garantia.alvo)) {
264
- ajustes.push(` saida.${garantia.alvo} = ${formatarValorPython(garantia.valores[0] ?? "", camposSaida, "saida")}`);
265
- }
266
- if (garantia.tipo === "comparacao" && garantia.valor && camposSaida.has(garantia.alvo.split(".")[0] ?? garantia.alvo) && !garantia.alvo.includes(".")) {
267
- ajustes.push(` saida.${garantia.alvo} = ${formatarValorPython(garantia.valor, camposSaida, "saida")}`);
268
- }
269
- if (garantia.tipo === "comparacao" && garantia.valor && garantia.alvo.includes(".")) {
270
- const [raiz, filho] = garantia.alvo.split(".", 2);
271
- if (raiz && filho && camposSaida.has(raiz)) {
272
- ajustes.push(` if saida.${raiz} is None:\n saida.${raiz} = SimpleNamespace()`);
273
- ajustes.push(` saida.${raiz}.${filho} = ${formatarValorPython(garantia.valor, camposSaida, "saida")}`);
274
- }
275
- }
276
- if (garantia.tipo === "existe" && garantia.alvo.includes(".")) {
277
- const [raiz, filho] = garantia.alvo.split(".", 2);
278
- if (raiz && filho && camposSaida.has(raiz)) {
279
- ajustes.push(` if saida.${raiz} is None:\n saida.${raiz} = SimpleNamespace()`);
280
- ajustes.push(` if getattr(saida.${raiz}, "${filho}", None) is None:\n saida.${raiz}.${filho} = "valor_garantido"`);
281
- }
282
- }
283
- }
284
- return ` saida = ${task.nome}Saida(${argumentos})\n${ajustes.join("\n")}`;
285
- }
286
- function gerarFuncaoGarantias(task) {
287
- const camposSaida = new Set(task.output.map((campo) => campo.nome));
288
- const linhas = [
289
- ...task.garantiasEstruturadas.map((garantia) => {
290
- switch (garantia.tipo) {
291
- case "predicado":
292
- return ` # Predicado de garantia declarado em Sema: ${garantia.textoOriginal}`;
293
- default:
294
- return ` if not (${resolverExpressaoPython(garantia, camposSaida, "saida")}):\n raise ValueError("Garantia violada: ${garantia.textoOriginal}")`;
295
- }
296
- }),
297
- ...task.guarantees
298
- .filter((garantia) => !task.garantiasEstruturadas.some((estruturada) => estruturada.textoOriginal === garantia))
299
- .map((garantia) => ` # Garantia declarada em Sema: ${garantia}`),
300
- ];
301
- return `def verificar_garantias_${normalizarNomeParaSimbolo(task.nome)}(saida: ${task.nome}Saida) -> None:\n${(linhas.length > 0 ? linhas.join("\n") : " pass")}\n`;
302
- }
303
- function gerarMetadadosTask(task) {
304
- const efeitos = task.efeitosEstruturados.length === 0
305
- ? "[]"
306
- : `[\n${task.efeitosEstruturados.map((efeito) => ` {"categoria": "${efeito.categoria}", "alvo": "${efeito.alvo}"${efeito.detalhe ? `, "detalhe": ${JSON.stringify(efeito.detalhe)}` : ""}${efeito.criticidade ? `, "criticidade": "${efeito.criticidade}"` : ""}},`).join("\n")}\n]`;
307
- const implementacoes = task.implementacoesExternas.length === 0
308
- ? "[]"
309
- : `[\n${task.implementacoesExternas.map((impl) => ` {"origem": "${impl.origem}", "caminho": "${impl.caminho}", "resolucaoImpl": "${impl.resolucaoImpl ?? impl.caminho}", "statusImpl": "${impl.statusImpl ?? "nao_verificado"}"},`).join("\n")}\n]`;
310
- return `contrato_${normalizarNomeParaSimbolo(task.nome)} = {
311
- "nome": "${task.nome}",
312
- "input": ${gerarListaCamposPython(task.input)},
313
- "output": ${gerarListaCamposPython(task.output)},
314
- "effects": ${efeitos},
315
- "impl": ${implementacoes},
316
- "errors": ${gerarMapaErrosPython(task.errors)},
317
- "guarantees": ${JSON.stringify(task.guarantees, null, 2)},
318
- }
319
- `;
320
- }
321
- function gerarMapeamentoSaidaPublicaPython(nomeVariavel, campos) {
322
- if (campos.length === 0) {
323
- return "{}";
324
- }
325
- return `{\n${campos.map((campo) => ` "${campo.nome}": ${nomeVariavel}.${campo.nome},`).join("\n")}\n }`;
326
- }
327
- function gerarValidacoesRespostaPublicaPython(campos) {
328
- const obrigatorios = campos.filter((campo) => campo.modificadores.includes("required"));
329
- if (obrigatorios.length === 0) {
330
- return " pass";
331
- }
332
- return obrigatorios
333
- .map((campo) => ` if dados.${campo.nome} is None:\n raise ValueError("Resposta publica invalida: campo obrigatorio ausente ${campo.nome}")`)
334
- .join("\n");
335
- }
336
- function gerarRotas(modulo) {
337
- const rotasComTask = modulo.routes.filter((route) => route.task);
338
- if (rotasComTask.length === 0) {
339
- return "";
340
- }
341
- return rotasComTask.map((route) => {
342
- const taskAssociada = modulo.tasks.find((task) => task.nome === route.task);
343
- if (!taskAssociada) {
344
- return "";
345
- }
346
- const nomeSimboloRoute = normalizarNomeParaSimbolo(route.nome);
347
- const nomeSimboloTask = normalizarNomeParaSimbolo(taskAssociada.nome);
348
- const efeitosPublicos = route.efeitosPublicos.length === 0
349
- ? "[]"
350
- : `[\n${route.efeitosPublicos.map((efeito) => ` {"categoria": "${efeito.categoria}", "alvo": "${efeito.alvo}"${efeito.detalhe ? `, "detalhe": ${JSON.stringify(efeito.detalhe)}` : ""}${efeito.criticidade ? `, "criticidade": "${efeito.criticidade}"` : ""}},`).join("\n")}\n]`;
351
- const mapaErros = route.errosPublicos.length === 0
352
- ? "{}"
353
- : `{\n${route.errosPublicos.map((erro) => ` ${JSON.stringify(erro.nome)}: ${JSON.stringify(erro.mensagem ?? taskAssociada.errors[erro.nome] ?? "")},`).join("\n")}\n}`;
354
- const blocosErro = route.errosPublicos.map((erro) => ` except ${taskAssociada.nome}_${erro.nome}Erro:
355
- return {"sucesso": False, "erro": {"codigo": "${erro.nome}", "mensagem": ${JSON.stringify(erro.mensagem ?? taskAssociada.errors[erro.nome] ?? `Erro publico ${erro.nome}`)}}}`).join("\n");
356
- return `
357
- ${gerarDataclass(`${route.nome}EntradaPublica`, route.inputPublico)}
358
- ${gerarDataclass(`${route.nome}SaidaPublica`, route.outputPublico)}
359
- contrato_publico_${nomeSimboloRoute} = {
360
- "nome": "${route.nome}",
361
- "metodo": ${JSON.stringify(route.metodo ?? null)},
362
- "caminho": ${JSON.stringify(route.caminho ?? null)},
363
- "task": ${JSON.stringify(route.task ?? null)},
364
- "input": ${gerarListaCamposPython(route.inputPublico)},
365
- "output": ${gerarListaCamposPython(route.outputPublico)},
366
- "effects": ${efeitosPublicos},
367
- "guarantees": ${JSON.stringify(route.garantiasPublicasMinimas, null, 4)},
368
- "errors": ${mapaErros},
369
- }
370
-
371
- def verificar_resposta_publica_${nomeSimboloRoute}(dados: ${route.nome}SaidaPublica) -> None:
372
- ${gerarValidacoesRespostaPublicaPython(route.outputPublico)}
373
-
374
- def adaptar_${nomeSimboloRoute}(requisicao: ${route.nome}EntradaPublica) -> dict[str, object]:
375
- try:
376
- saida = executar_${nomeSimboloTask}(requisicao) # type: ignore[arg-type]
377
- dados_publicos = ${route.nome}SaidaPublica(${route.outputPublico.map((campo) => `${campo.nome}=saida.${campo.nome}`).join(", ")})
378
- verificar_resposta_publica_${nomeSimboloRoute}(dados_publicos)
379
- return {
380
- "sucesso": True,
381
- "dados": ${gerarMapeamentoSaidaPublicaPython("dados_publicos", route.outputPublico)},
382
- }
383
- ${blocosErro || " except Exception:\n raise"}
384
- except Exception:
385
- raise
386
- `;
387
- }).join("\n");
388
- }
389
- function gerarTask(task, tiposCompostos) {
390
- const nome = normalizarNomeParaSimbolo(task.nome);
391
- const camposEntrada = new Set(task.input.map((campo) => campo.nome));
392
- const camposSaida = new Set(task.output.map((campo) => campo.nome));
393
- const errosMapeados = new Map(Object.entries(task.errors));
394
- for (const caso of task.tests) {
395
- const tipoErro = caso.error?.campos.find((campo) => campo.nome === "tipo")?.tipo ?? caso.error?.campos[0]?.tipo;
396
- if (tipoErro && !errosMapeados.has(tipoErro)) {
397
- errosMapeados.set(tipoErro, `Erro sintetico gerado a partir do caso de teste "${caso.nome}".`);
398
- }
399
- }
400
- const erros = [...errosMapeados.entries()];
401
- const tiposEntrada = new Map(task.input.map((campo) => [campo.nome, campo.tipo]));
402
- const cenariosErro = task.tests
403
- .filter((caso) => caso.error && caso.error.campos.length > 0)
404
- .map((caso) => ({
405
- entrada: `${task.nome}Entrada(${[
406
- ...caso.given.campos.map((campo) => `${campo.nome}=${formatarLiteralTestePython(campo.tipo, tiposEntrada.get(campo.nome))}`),
407
- ...caso.given.blocos.map((subbloco) => `${subbloco.nome}=${gerarLiteralBlocoTestePython(subbloco.conteudo, tiposCompostos, undefined, tiposEntrada.get(subbloco.nome))}`),
408
- ].join(", ")})`,
409
- tipoErro: caso.error?.campos.find((campo) => campo.nome === "tipo")?.tipo ?? caso.error?.campos[0]?.tipo,
410
- }))
411
- .filter((caso) => caso.tipoErro);
412
- const validacoes = [
413
- ...task.input
414
- .filter((campo) => campo.modificadores.includes("required"))
415
- .map((campo) => ` if entrada.${campo.nome} is None:\n raise ValueError("Campo obrigatorio ausente: ${campo.nome}")`),
416
- ...task.regrasEstruturadas.map((regra) => {
417
- switch (regra.tipo) {
418
- case "predicado":
419
- return ` # Predicado declarado em Sema: ${regra.textoOriginal}`;
420
- default:
421
- return ` if not (${resolverExpressaoPython(regra, camposEntrada, "entrada")}):\n raise ValueError("Regra violada: ${regra.textoOriginal}")`;
422
- }
423
- }),
424
- ...task.rules
425
- .filter((regra) => !task.regrasEstruturadas.some((estruturada) => estruturada.textoOriginal === regra))
426
- .map((regra) => ` # Regra declarada em Sema: ${regra}`),
427
- ].join("\n");
428
- const efeitos = task.efeitosEstruturados.length > 0
429
- ? task.efeitosEstruturados.map((efeito) => ` # Efeito estruturado: categoria=${efeito.categoria} alvo=${efeito.alvo}${efeito.detalhe ? ` detalhe=${efeito.detalhe}` : ""}${efeito.criticidade ? ` criticidade=${efeito.criticidade}` : ""}`).join("\n")
430
- : task.effects.length === 0
431
- ? " # Nenhum efeito declarado."
432
- : task.effects.map((efeito) => ` # Efeito declarado: ${efeito}`).join("\n");
433
- const implementacoes = task.implementacoesExternas.length > 0
434
- ? task.implementacoesExternas.map((impl) => ` # Implementacao externa vinculada: origem=${impl.origem} caminho=${impl.caminho} status=${impl.statusImpl ?? "nao_verificado"}`).join("\n")
435
- : "";
436
- const garantias = ` verificar_garantias_${nome}(saida)\n return saida`;
437
- return `
438
- ${gerarDataclass(`${task.nome}Entrada`, task.input)}
439
- ${gerarDataclass(`${task.nome}Saida`, task.output)}
440
- ${erros.map(([nomeErro, mensagem]) => `\nclass ${task.nome}_${nomeErro}Erro(Exception):\n codigo = "${nomeErro}"\n\n def __init__(self) -> None:\n super().__init__(${JSON.stringify(mensagem)})\n`).join("\n")}
441
- ${gerarMetadadosTask(task)}
442
-
443
- def validar_${nome}(entrada: ${task.nome}Entrada) -> None:
444
- ${validacoes || " pass"}
445
-
446
- ${gerarFuncaoGarantias(task)}
447
-
448
- def executar_${nome}(entrada: ${task.nome}Entrada) -> ${task.nome}Saida:
449
- validar_${nome}(entrada)
450
- ${cenariosErro.map((caso) => ` if entrada == ${caso.entrada}:\n raise ${task.nome}_${caso.tipoErro}Erro()`).join("\n")}
451
- ${task.stateContract ? ` # Vinculo de estado: ${task.stateContract.nomeEstado ?? "nao_definido"}\n # Transicoes declaradas pela task: ${task.stateContract.transicoes.map((transicao) => `${transicao.origem}->${transicao.destino}`).join(", ") || "nenhuma"}` : ""}
452
- ${implementacoes}
453
- ${efeitos}
454
- ${gerarPreparacaoSaida(task)}
455
- ${garantias}
456
- `;
457
- }
458
- function gerarTestes(modulo) {
459
- const linhas = ["import pytest", `from ${normalizarNomeModulo(modulo.nome).replace(/\./g, "_")} import *`, ""];
460
- const tiposCompostos = coletarTiposCompostos(modulo);
461
- for (const task of modulo.tasks) {
462
- const nomeFuncao = `executar_${normalizarNomeParaSimbolo(task.nome)}`;
463
- const tiposEntrada = new Map(task.input.map((campo) => [campo.nome, campo.tipo]));
464
- for (const caso of task.tests) {
465
- const argumentos = [
466
- ...caso.given.campos.map((campo) => `${campo.nome}=${formatarLiteralTestePython(campo.tipo, tiposEntrada.get(campo.nome))}`),
467
- ...caso.given.blocos.map((subbloco) => `${subbloco.nome}=${gerarLiteralBlocoTestePython(subbloco.conteudo, tiposCompostos, undefined, tiposEntrada.get(subbloco.nome))}`),
468
- ].join(", ");
469
- const tipoErro = caso.error?.campos.find((campo) => campo.nome === "tipo")?.tipo ?? caso.error?.campos[0]?.tipo;
470
- if (tipoErro) {
471
- linhas.push(`def test_${normalizarNomeParaSimbolo(task.nome)}_${normalizarNomeParaSimbolo(caso.nome)}() -> None:\n entrada = ${task.nome}Entrada(${argumentos})\n with pytest.raises(${task.nome}_${tipoErro}Erro):\n ${nomeFuncao}(entrada)\n`);
472
- continue;
473
- }
474
- linhas.push(`def test_${normalizarNomeParaSimbolo(task.nome)}_${normalizarNomeParaSimbolo(caso.nome)}() -> None:\n entrada = ${task.nome}Entrada(${argumentos})\n resultado = ${nomeFuncao}(entrada)\n assert resultado is not None\n`);
475
- }
476
- }
477
- return linhas.join("\n");
478
- }
479
- function gerarPythonBase(modulo) {
480
- const nomeBase = normalizarNomeModulo(modulo.nome).replace(/\./g, "_");
481
- const interoperabilidades = modulo.interoperabilidades
482
- .map((interop) => `# Interop externo ${interop.origem}: ${interop.caminho}`)
483
- .join("\n");
484
- const tiposExternos = coletarTiposExternos(modulo)
485
- .map((tipo) => `class ${tipo}(SimpleNamespace):\n pass\n`)
486
- .join("\n");
487
- const enums = modulo.enums.map((enumeracao) => `class ${enumeracao.nome}:\n${enumeracao.valores.map((valor) => ` ${valor} = "${valor}"`).join("\n")}\n`).join("\n");
488
- const tipos = modulo.types.map((type) => `${gerarComentarioInvariantesPython(type.invariantes)}${gerarDataclass(type.nome, type.definicao.campos)}`).join("\n");
489
- const entidades = modulo.entities.map((entity) => `${gerarComentarioInvariantesPython(entity.invariantes)}${gerarDataclass(entity.nome, entity.campos)}`).join("\n");
490
- const states = modulo.states.map((state) => `# State${state.nome ? ` ${state.nome}` : ""}: campos=${state.campos.length} invariantes=${state.invariantes.length} transicoes=${state.transicoes.length}`).join("\n");
491
- const flows = modulo.flows.map((flow) => `# Flow ${flow.nome}: etapas=${flow.linhas.length} tasks=${flow.tasksReferenciadas.join(", ") || "nenhuma"} ramificacoes=${flow.etapasEstruturadas.filter((etapa) => etapa.emSucesso || etapa.emErro).length} mapeamentos=${flow.etapasEstruturadas.reduce((total, etapa) => total + etapa.mapeamentos.length, 0)} rotas_erro=${flow.etapasEstruturadas.reduce((total, etapa) => total + etapa.porErro.length, 0)} efeitos=${flow.efeitosEstruturados.map((efeito) => `${efeito.categoria}:${efeito.alvo}`).join(", ") || "nenhum"}`).join("\n");
492
- const routes = modulo.routes.map((route) => `# Route ${route.nome}: metodo=${route.metodo ?? "nao_definido"} caminho=${route.caminho ?? "nao_definido"} task=${route.task ?? "nao_definida"} input_publico=${route.inputPublico.map((campo) => campo.nome).join(", ") || "padrao_task"} output_publico=${route.outputPublico.map((campo) => campo.nome).join(", ") || "padrao_task"} erros_publicos=${route.errosPublicos.map((erro) => erro.nome).join(", ") || "padrao_task"} effects_publicos=${route.efeitosPublicos.map((efeito) => `${efeito.categoria}:${efeito.alvo}`).join(", ") || "nenhum"} garantias_publicas=${route.garantiasPublicasMinimas.length}`).join("\n");
493
- const tiposCompostos = coletarTiposCompostos(modulo);
494
- const tasks = modulo.tasks.map((task) => gerarTask(task, tiposCompostos)).join("\n");
495
- const contratosPublicos = gerarRotas(modulo);
496
- const codigo = `# Arquivo gerado automaticamente pela Sema.\n# Modulo de origem: ${modulo.nome}\nfrom __future__ import annotations\n${interoperabilidades ? `${interoperabilidades}\n` : ""}\nfrom dataclasses import dataclass\nfrom types import SimpleNamespace\n\n${tiposExternos}\n${tipos}\n${enums}\n${entidades}\n${states}\n${flows}\n${routes}\n${tasks}\n${contratosPublicos}\n`;
497
- const testes = gerarTestes(modulo);
498
- return [
499
- { caminhoRelativo: `${nomeBase}.py`, conteudo: codigo },
500
- { caminhoRelativo: `test_${nomeBase}.py`, conteudo: testes },
501
- ];
502
- }
503
- function gerarFastApiSchemas(modulo, caminhoContrato) {
504
- const linhas = [
505
- "from pydantic import BaseModel",
506
- `from ${caminhoContrato} import *`,
507
- "",
508
- ];
509
- for (const task of modulo.tasks) {
510
- linhas.push(`class ${task.nome}EntradaSchema(BaseModel):
511
- ${task.input.length === 0 ? " pass" : task.input.map((campo) => ` ${campo.nome}: ${mapearCampoParaPython(campo)}`).join("\n")}
512
- `);
513
- linhas.push(`class ${task.nome}SaidaSchema(BaseModel):
514
- ${task.output.length === 0 ? " pass" : task.output.map((campo) => ` ${campo.nome}: ${mapearCampoParaPython(campo)}`).join("\n")}
515
- `);
516
- }
517
- for (const route of modulo.routes) {
518
- linhas.push(`class ${route.nome}EntradaPublicaSchema(BaseModel):
519
- ${route.inputPublico.length === 0 ? " pass" : route.inputPublico.map((campo) => ` ${campo.nome}: ${mapearCampoParaPython(campo)}`).join("\n")}
520
- `);
521
- linhas.push(`class ${route.nome}SaidaPublicaSchema(BaseModel):
522
- ${route.outputPublico.length === 0 ? " pass" : route.outputPublico.map((campo) => ` ${campo.nome}: ${mapearCampoParaPython(campo)}`).join("\n")}
523
- `);
524
- }
525
- return linhas.join("\n");
526
- }
527
- function gerarFastApiService(modulo, caminhoContrato) {
528
- const nomeClasse = `${paraPascalCase(descreverEstruturaModulo(modulo.nome).nomeArquivo)}Service`;
529
- const metodos = [
530
- `class ${nomeClasse}:`,
531
- ...(modulo.tasks.length === 0
532
- ? [" pass"]
533
- : modulo.tasks.flatMap((task) => [
534
- ` def ${normalizarNomeParaSimbolo(task.nome)}(self, entrada: ${task.nome}Entrada) -> ${task.nome}Saida:`,
535
- ...(task.implementacoesExternas.length > 0
536
- ? task.implementacoesExternas.map((impl) => ` # impl ${impl.origem}: ${impl.caminho}`)
537
- : [" # TODO: conectar a implementacao real do projeto."]),
538
- ` return executar_${normalizarNomeParaSimbolo(task.nome)}(entrada)`,
539
- "",
540
- ])),
541
- ];
542
- return [`from ${caminhoContrato} import *`, "", ...metodos].join("\n");
543
- }
544
- function gerarFastApiRouter(modulo, caminhoSchemas, caminhoService) {
545
- const nomeClasse = `${paraPascalCase(descreverEstruturaModulo(modulo.nome).nomeArquivo)}Service`;
546
- const imports = [
547
- "from fastapi import APIRouter",
548
- `from ${caminhoSchemas} import *`,
549
- `from ${caminhoService} import ${nomeClasse}`,
550
- "",
551
- "router = APIRouter()",
552
- `service = ${nomeClasse}()`,
553
- "",
554
- ];
555
- const rotas = modulo.routes
556
- .filter((route) => route.task)
557
- .map((route) => {
558
- const metodo = (route.metodo ?? "post").toLowerCase();
559
- const schemaEntrada = `${route.nome}EntradaPublicaSchema`;
560
- return `@router.${metodo}(${JSON.stringify(route.caminho ?? "/")})
561
- def ${normalizarNomeParaSimbolo(route.nome)}(entrada: ${schemaEntrada}):
562
- return adaptar_${normalizarNomeParaSimbolo(route.nome)}(${route.inputPublico.length > 0 ? `entrada` : `${schemaEntrada}()`})`;
563
- }).join("\n\n");
564
- return `${imports.join("\n")}${rotas}\n`;
565
- }
566
- function gerarFastApiTests(modulo, caminhoRouter) {
567
- return `from fastapi.testclient import TestClient
568
- from ${caminhoRouter} import router
569
- from fastapi import FastAPI
570
-
571
- app = FastAPI()
572
- app.include_router(router)
573
- client = TestClient(app)
574
-
575
- def test_scaffold_${normalizarNomeParaSimbolo(descreverEstruturaModulo(modulo.nome).nomeArquivo)}() -> None:
576
- assert client is not None
577
- `;
578
- }
579
- function gerarPythonFastApi(modulo) {
580
- const base = gerarPythonBase(modulo);
581
- const contrato = base.find((arquivo) => arquivo.caminhoRelativo.endsWith(".py") && !path.posix.basename(arquivo.caminhoRelativo).startsWith("test_"));
582
- const testeContrato = base.find((arquivo) => path.posix.basename(arquivo.caminhoRelativo).startsWith("test_"));
583
- const estrutura = descreverEstruturaModulo(modulo.nome);
584
- const contexto = estrutura.contextoRelativo;
585
- const contratoPath = `${contexto ? `${contexto}/` : ""}${estrutura.nomeArquivo}_contract.py`;
586
- const schemasPath = `${contexto ? `${contexto}/` : ""}${estrutura.nomeArquivo}_schemas.py`;
587
- const servicePath = `${contexto ? `${contexto}/` : ""}${estrutura.nomeArquivo}_service.py`;
588
- const routerPath = `${contexto ? `${contexto}/` : ""}${estrutura.nomeArquivo}_router.py`;
589
- const testContractPath = path.posix.join("tests", `${contexto ? `${contexto}/` : ""}test_${estrutura.nomeArquivo}_contract.py`);
590
- const testRouterPath = path.posix.join("tests", `${contexto ? `${contexto}/` : ""}test_${estrutura.nomeArquivo}_router.py`);
591
- const contratoModulo = path.posix.basename(contratoPath, ".py");
592
- const schemasModulo = path.posix.basename(schemasPath, ".py");
593
- const serviceModulo = path.posix.basename(servicePath, ".py");
594
- const routerModulo = path.posix.basename(routerPath, ".py");
595
- return [
596
- {
597
- caminhoRelativo: path.posix.join("app", contratoPath),
598
- conteudo: contrato?.conteudo ?? "# Nenhum contrato base gerado.\n",
599
- },
600
- {
601
- caminhoRelativo: path.posix.join("app", schemasPath),
602
- conteudo: gerarFastApiSchemas(modulo, `.${contratoModulo}`),
603
- },
604
- {
605
- caminhoRelativo: path.posix.join("app", servicePath),
606
- conteudo: gerarFastApiService(modulo, `.${contratoModulo}`),
607
- },
608
- {
609
- caminhoRelativo: path.posix.join("app", routerPath),
610
- conteudo: gerarFastApiRouter(modulo, `.${schemasModulo}`, `.${serviceModulo}`),
611
- },
612
- {
613
- caminhoRelativo: testContractPath,
614
- conteudo: (testeContrato?.conteudo ?? "").replace(`from ${estrutura.nomeBase} import *`, `from app.${(contexto ? `${contexto.replace(/\//g, ".")}.` : "")}${contratoModulo} import *`),
615
- },
616
- {
617
- caminhoRelativo: testRouterPath,
618
- conteudo: gerarFastApiTests(modulo, `app.${(contexto ? `${contexto.replace(/\//g, ".")}.` : "")}${routerModulo}`),
619
- },
620
- ];
621
- }
622
- export function gerarPython(modulo, opcoes = {}) {
623
- if (opcoes.framework === "fastapi") {
624
- return gerarPythonFastApi(modulo);
625
- }
626
- return gerarPythonBase(modulo);
627
- }
628
- //# sourceMappingURL=index.js.map