@semacode/cli 1.3.0 → 1.3.2
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 +272 -0
- package/LICENSE +22 -0
- package/README.md +2 -2
- package/SEMA_BRIEF.curto.txt +9 -0
- package/SEMA_BRIEF.md +49 -0
- package/SEMA_BRIEF.micro.txt +7 -0
- package/SEMA_INDEX.json +546 -0
- package/dist/cpp-symbols.d.ts +10 -0
- package/dist/cpp-symbols.js.map +1 -0
- package/dist/dotnet-http.d.ts +23 -0
- package/dist/dotnet-http.js.map +1 -0
- package/dist/drift.d.ts +118 -0
- package/dist/drift.js.map +1 -0
- package/dist/go-http.d.ts +23 -0
- package/dist/go-http.js.map +1 -0
- package/dist/importador.d.ts +29 -0
- package/dist/importador.js.map +1 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.js.map +1 -0
- package/dist/java-http.d.ts +23 -0
- package/dist/java-http.js.map +1 -0
- package/dist/lua-symbols.d.ts +8 -0
- package/dist/lua-symbols.js.map +1 -0
- package/dist/projeto.d.ts +48 -0
- package/dist/projeto.js.map +1 -0
- package/dist/python-http.d.ts +23 -0
- package/dist/python-http.js.map +1 -0
- package/dist/rust-http.d.ts +23 -0
- package/dist/rust-http.js.map +1 -0
- package/dist/tipos.d.ts +3 -0
- package/dist/tipos.js.map +1 -0
- package/dist/typescript-http.d.ts +35 -0
- package/dist/typescript-http.js.map +1 -0
- package/docs/AGENT_STARTER.md +102 -0
- package/docs/como-ensinar-a-sema-para-ia.md +149 -0
- package/docs/fluxo-pratico-ia-sema.md +177 -0
- package/docs/instalacao-e-primeiro-uso.md +196 -0
- package/docs/integracao-com-ia.md +228 -0
- package/docs/pagamento-ponta-a-ponta.md +155 -0
- package/docs/prompt-base-ia-sema.md +104 -0
- package/docs/sintaxe.md +361 -0
- package/exemplos/agendamento.sema +106 -0
- package/exemplos/assinatura.sema +136 -0
- package/exemplos/auditoria.sema +88 -0
- package/exemplos/autenticacao.sema +125 -0
- package/exemplos/automacao.sema +107 -0
- package/exemplos/cadastro_usuario.sema +54 -0
- package/exemplos/calculadora.sema +78 -0
- package/exemplos/crud_simples.sema +89 -0
- package/exemplos/estoque.sema +126 -0
- package/exemplos/exportacao.sema +94 -0
- package/exemplos/fila.sema +131 -0
- package/exemplos/integracao_externa.sema +94 -0
- package/exemplos/multi_tenant.sema +140 -0
- package/exemplos/notificacao.sema +98 -0
- package/exemplos/operacao_estrategia.sema +402 -0
- package/exemplos/pagamento.sema +222 -0
- package/exemplos/pagamento_dominio.sema +35 -0
- package/exemplos/pedido.sema +119 -0
- package/exemplos/permissao.sema +121 -0
- package/exemplos/relatorio.sema +93 -0
- package/exemplos/testes_embutidos.sema +45 -0
- package/exemplos/tratamento_erro.sema +157 -0
- package/exemplos/upload_arquivo.sema +93 -0
- package/exemplos/webhook.sema +96 -0
- package/llms-full.txt +34 -0
- package/llms.txt +17 -0
- package/node_modules/@sema/gerador-css/dist/index.d.ts +3 -0
- package/node_modules/@sema/gerador-css/dist/index.js +592 -0
- package/node_modules/@sema/gerador-css/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-css/package.json +7 -0
- package/node_modules/@sema/gerador-dart/dist/index.d.ts +3 -0
- package/node_modules/@sema/gerador-dart/dist/index.js +44 -0
- package/node_modules/@sema/gerador-dart/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-dart/package.json +7 -0
- package/node_modules/@sema/gerador-html/dist/index.d.ts +3 -0
- package/node_modules/@sema/gerador-html/dist/index.js +163 -0
- package/node_modules/@sema/gerador-html/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-html/package.json +7 -0
- package/node_modules/@sema/gerador-javascript/dist/index.d.ts +3 -0
- package/node_modules/@sema/gerador-javascript/dist/index.js +421 -0
- package/node_modules/@sema/gerador-javascript/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-javascript/package.json +7 -0
- package/node_modules/@sema/gerador-lua/dist/index.d.ts +3 -0
- package/node_modules/@sema/gerador-lua/dist/index.js +328 -0
- package/node_modules/@sema/gerador-lua/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-lua/package.json +7 -0
- package/node_modules/@sema/gerador-python/dist/index.d.ts +6 -0
- package/node_modules/@sema/gerador-python/dist/index.js +628 -0
- package/node_modules/@sema/gerador-python/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-python/package.json +7 -0
- package/node_modules/@sema/gerador-typescript/dist/index.d.ts +6 -0
- package/node_modules/@sema/gerador-typescript/dist/index.js +656 -0
- package/node_modules/@sema/gerador-typescript/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-typescript/package.json +7 -0
- package/node_modules/@sema/nucleo/dist/ast/tipos.d.ts +122 -0
- package/node_modules/@sema/nucleo/dist/ast/tipos.js +2 -0
- package/node_modules/@sema/nucleo/dist/ast/tipos.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/index.d.ts +21 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/index.js +12 -0
- package/node_modules/@sema/nucleo/dist/diagnosticos/index.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.d.ts +9 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.js +445 -0
- package/node_modules/@sema/nucleo/dist/formatador/index.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/index.d.ts +34 -0
- package/node_modules/@sema/nucleo/dist/index.js +95 -0
- package/node_modules/@sema/nucleo/dist/index.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.d.ts +5 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.js +781 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/ir/modelos.d.ts +285 -0
- package/node_modules/@sema/nucleo/dist/ir/modelos.js +2 -0
- package/node_modules/@sema/nucleo/dist/ir/modelos.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/lexer/lexer.d.ts +7 -0
- package/node_modules/@sema/nucleo/dist/lexer/lexer.js +122 -0
- package/node_modules/@sema/nucleo/dist/lexer/lexer.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/lexer/tokens.d.ts +8 -0
- package/node_modules/@sema/nucleo/dist/lexer/tokens.js +46 -0
- package/node_modules/@sema/nucleo/dist/lexer/tokens.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.d.ts +9 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.js +656 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts +57 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js +1497 -0
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.d.ts +104 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.js +445 -0
- package/node_modules/@sema/nucleo/dist/semantico/estruturas.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/semantico/seguranca.d.ts +91 -0
- package/node_modules/@sema/nucleo/dist/semantico/seguranca.js +258 -0
- package/node_modules/@sema/nucleo/dist/semantico/seguranca.js.map +1 -0
- package/node_modules/@sema/nucleo/dist/util/arquivos.d.ts +2 -0
- package/node_modules/@sema/nucleo/dist/util/arquivos.js +25 -0
- package/node_modules/@sema/nucleo/dist/util/arquivos.js.map +1 -0
- package/node_modules/@sema/nucleo/package.json +7 -0
- package/node_modules/@sema/padroes/dist/index.d.ts +23 -0
- package/node_modules/@sema/padroes/dist/index.js +210 -0
- package/node_modules/@sema/padroes/dist/index.js.map +1 -0
- package/node_modules/@sema/padroes/package.json +7 -0
- package/package.json +40 -17
- package/src/cpp-symbols.ts +0 -82
- package/src/dotnet-http.ts +0 -355
- package/src/drift.ts +0 -2455
- package/src/go-http.ts +0 -118
- package/src/importador.ts +0 -3448
- package/src/index.ts +0 -4470
- package/src/java-http.ts +0 -247
- package/src/projeto.ts +0 -810
- package/src/python-http.ts +0 -258
- package/src/rust-http.ts +0 -125
- package/src/tipos.ts +0 -22
- package/src/typescript-http.ts +0 -1076
- package/tsconfig.json +0 -20
|
@@ -0,0 +1,628 @@
|
|
|
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
|