@semacode/cli 1.5.28 → 1.5.30
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/README.md +144 -144
- package/dist/bridge.d.ts +52 -0
- package/dist/bridge.js +318 -0
- package/dist/bridge.js.map +1 -0
- package/dist/comandos.d.ts +11 -0
- package/dist/comandos.js +146 -0
- package/dist/comandos.js.map +1 -0
- package/dist/contexto.d.ts +34 -0
- package/dist/contexto.js +197 -0
- package/dist/contexto.js.map +1 -0
- package/dist/drift.d.ts +1 -1
- package/dist/drift.js +32 -5
- package/dist/drift.js.map +1 -1
- package/dist/guard.d.ts +35 -0
- package/dist/guard.js +164 -0
- package/dist/guard.js.map +1 -0
- package/dist/index.js +391 -64
- package/dist/index.js.map +1 -1
- package/dist/lua-symbols.d.ts +0 -6
- package/dist/lua-symbols.js +11 -78
- package/dist/lua-symbols.js.map +1 -1
- package/dist/projeto.js +6 -0
- package/dist/projeto.js.map +1 -1
- package/dist/tipos.d.ts +1 -1
- package/exemplos/.prepack-generated +1 -0
- package/exemplos/author_obra_comum.sema +294 -294
- package/exemplos/author_tema_sensivel.sema +264 -264
- package/exemplos/profile_game.sema +114 -114
- package/exemplos/profile_legal.sema +105 -105
- package/exemplos/profile_ops.sema +110 -110
- package/exemplos/profile_research.sema +104 -104
- package/exemplos/profile_software.sema +123 -123
- package/exemplos/profile_workflow_n8n.sema +99 -99
- package/node_modules/@sema/gerador-css/package.json +14 -7
- package/node_modules/@sema/gerador-css/src/index.ts +605 -0
- package/node_modules/@sema/gerador-css/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-css/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-dart/package.json +14 -7
- package/node_modules/@sema/gerador-dart/src/index.ts +52 -0
- package/node_modules/@sema/gerador-dart/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-dart/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-html/package.json +14 -7
- package/node_modules/@sema/gerador-html/src/index.ts +185 -0
- package/node_modules/@sema/gerador-html/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-html/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-javascript/package.json +14 -7
- package/node_modules/@sema/gerador-javascript/src/index.ts +461 -0
- package/node_modules/@sema/gerador-javascript/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-javascript/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-lua/package.json +14 -7
- package/node_modules/@sema/gerador-lua/src/index.ts +359 -0
- package/node_modules/@sema/gerador-lua/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-lua/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-python/package.json +14 -7
- package/node_modules/@sema/gerador-python/src/index.ts +850 -0
- package/node_modules/@sema/gerador-python/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-python/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/gerador-typescript/package.json +14 -7
- package/node_modules/@sema/gerador-typescript/src/index.ts +876 -0
- package/node_modules/@sema/gerador-typescript/tsconfig.json +13 -0
- package/node_modules/@sema/gerador-typescript/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/nucleo/dist/ast/tipos.d.ts +1 -1
- package/node_modules/@sema/nucleo/dist/index.d.ts +17 -0
- package/node_modules/@sema/nucleo/dist/index.js +28 -0
- package/node_modules/@sema/nucleo/dist/index.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/ir/conversor.js +4 -0
- package/node_modules/@sema/nucleo/dist/ir/conversor.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/ir/modelos.d.ts +3 -3
- package/node_modules/@sema/nucleo/dist/parser/parser.js +2 -0
- package/node_modules/@sema/nucleo/dist/parser/parser.js.map +1 -1
- package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts +2 -2
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js +3 -1
- package/node_modules/@sema/nucleo/dist/semantico/analisador.js.map +1 -1
- package/node_modules/@sema/nucleo/package.json +10 -7
- package/node_modules/@sema/nucleo/src/ast/tipos.ts +207 -0
- package/node_modules/@sema/nucleo/src/diagnosticos/index.ts +43 -0
- package/node_modules/@sema/nucleo/src/formatador/index.ts +530 -0
- package/node_modules/@sema/nucleo/src/index.ts +183 -0
- package/node_modules/@sema/nucleo/src/ir/conversor.ts +1037 -0
- package/node_modules/@sema/nucleo/src/ir/modelos.ts +403 -0
- package/node_modules/@sema/nucleo/src/lexer/lexer.ts +166 -0
- package/node_modules/@sema/nucleo/src/lexer/tokens.ts +79 -0
- package/node_modules/@sema/nucleo/src/parser/gramatica.ebnf +41 -0
- package/node_modules/@sema/nucleo/src/parser/parser.ts +936 -0
- package/node_modules/@sema/nucleo/src/persistencia/contratos.ts +379 -0
- package/node_modules/@sema/nucleo/src/semantico/analisador.ts +3126 -0
- package/node_modules/@sema/nucleo/src/semantico/estruturas.ts +665 -0
- package/node_modules/@sema/nucleo/src/semantico/seguranca.ts +362 -0
- package/node_modules/@sema/nucleo/src/util/arquivos.ts +28 -0
- package/node_modules/@sema/nucleo/tsconfig.json +9 -0
- package/node_modules/@sema/nucleo/tsconfig.tsbuildinfo +1 -0
- package/node_modules/@sema/padroes/package.json +10 -7
- package/node_modules/@sema/padroes/src/index.ts +382 -0
- package/node_modules/@sema/padroes/tsconfig.json +9 -0
- package/node_modules/@sema/padroes/tsconfig.tsbuildinfo +1 -0
- package/package.json +74 -74
- package/AGENTS.md +0 -280
- package/LICENSE +0 -22
- package/SEMA_BRIEF.curto.txt +0 -11
- package/SEMA_BRIEF.md +0 -112
- package/SEMA_BRIEF.micro.txt +0 -9
- package/SEMA_INDEX.json +0 -1534
- package/dist/php-symbols.d.ts +0 -24
- package/dist/php-symbols.js +0 -375
- package/dist/php-symbols.js.map +0 -1
- package/docs/AGENT_STARTER.md +0 -109
- package/docs/cli.md +0 -175
- package/docs/como-ensinar-a-sema-para-ia.md +0 -155
- package/docs/deploy.md +0 -93
- package/docs/documentacao.md +0 -88
- package/docs/env.md +0 -105
- package/docs/extensao-vscode.md +0 -53
- package/docs/fluxo-pratico-ia-sema.md +0 -187
- package/docs/instalacao-e-primeiro-uso.md +0 -134
- package/docs/integracao-com-ia.md +0 -110
- package/docs/mcp.md +0 -292
- package/docs/pagamento-ponta-a-ponta.md +0 -171
- package/docs/persistencia-vendor-first.md +0 -151
- package/docs/prompt-base-ia-sema.md +0 -111
- package/docs/repositories.md +0 -54
- package/docs/rollback.md +0 -49
- package/docs/seguranca.md +0 -126
- package/docs/sintaxe.md +0 -218
- package/llms-full.txt +0 -34
- package/llms.txt +0 -17
|
@@ -0,0 +1,183 @@
|
|
|
1
|
+
import { parsear } from "./parser/parser.js";
|
|
2
|
+
import { analisarSemantica, criarContextoLocal } from "./semantico/analisador.js";
|
|
3
|
+
import { tokenizar } from "./lexer/lexer.js";
|
|
4
|
+
import { converterParaIr } from "./ir/conversor.js";
|
|
5
|
+
import { formatarDiagnostico, type Diagnostico } from "./diagnosticos/index.js";
|
|
6
|
+
import type { ModuloAst } from "./ast/tipos.js";
|
|
7
|
+
import type { IrModulo } from "./ir/modelos.js";
|
|
8
|
+
|
|
9
|
+
export * from "./diagnosticos/index.js";
|
|
10
|
+
export * from "./ast/tipos.js";
|
|
11
|
+
export * from "./lexer/tokens.js";
|
|
12
|
+
export * from "./lexer/lexer.js";
|
|
13
|
+
export * from "./parser/parser.js";
|
|
14
|
+
export * from "./semantico/analisador.js";
|
|
15
|
+
export * from "./semantico/estruturas.js";
|
|
16
|
+
export * from "./persistencia/contratos.js";
|
|
17
|
+
export * from "./ir/modelos.js";
|
|
18
|
+
export * from "./ir/conversor.js";
|
|
19
|
+
export * from "./formatador/index.js";
|
|
20
|
+
export * from "./util/arquivos.js";
|
|
21
|
+
|
|
22
|
+
export interface ResultadoCompilacao {
|
|
23
|
+
modulo?: ModuloAst;
|
|
24
|
+
ir?: IrModulo;
|
|
25
|
+
diagnosticos: Diagnostico[];
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
export interface FonteProjeto {
|
|
29
|
+
caminho: string;
|
|
30
|
+
codigo: string;
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
export interface ResultadoCompilacaoProjetoModulo extends ResultadoCompilacao {
|
|
34
|
+
caminho: string;
|
|
35
|
+
}
|
|
36
|
+
|
|
37
|
+
export interface ResultadoCompilacaoProjeto {
|
|
38
|
+
modulos: ResultadoCompilacaoProjetoModulo[];
|
|
39
|
+
diagnosticos: Diagnostico[];
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
export function compilarCodigo(codigo: string, arquivo?: string): ResultadoCompilacao {
|
|
43
|
+
const resultadoLexer = tokenizar(codigo, arquivo);
|
|
44
|
+
const resultadoParser = parsear(resultadoLexer.tokens);
|
|
45
|
+
const diagnosticos = [...resultadoLexer.diagnosticos, ...resultadoParser.diagnosticos];
|
|
46
|
+
|
|
47
|
+
if (!resultadoParser.modulo) {
|
|
48
|
+
return { diagnosticos };
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
const resultadoSemantico = analisarSemantica(resultadoParser.modulo);
|
|
52
|
+
diagnosticos.push(...resultadoSemantico.diagnosticos);
|
|
53
|
+
|
|
54
|
+
const ir = converterParaIr(resultadoParser.modulo, diagnosticos, resultadoSemantico.contexto);
|
|
55
|
+
|
|
56
|
+
return {
|
|
57
|
+
modulo: resultadoParser.modulo,
|
|
58
|
+
ir,
|
|
59
|
+
diagnosticos,
|
|
60
|
+
};
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
export function compilarProjeto(fontes: FonteProjeto[]): ResultadoCompilacaoProjeto {
|
|
64
|
+
const resultadosBase = fontes.map((fonte) => {
|
|
65
|
+
const resultadoLexer = tokenizar(fonte.codigo, fonte.caminho);
|
|
66
|
+
const resultadoParser = parsear(resultadoLexer.tokens);
|
|
67
|
+
return {
|
|
68
|
+
caminho: fonte.caminho,
|
|
69
|
+
modulo: resultadoParser.modulo,
|
|
70
|
+
diagnosticos: [...resultadoLexer.diagnosticos, ...resultadoParser.diagnosticos],
|
|
71
|
+
};
|
|
72
|
+
});
|
|
73
|
+
|
|
74
|
+
const contextosLocais = new Map<string, ReturnType<typeof criarContextoLocal>>();
|
|
75
|
+
const nomesModulos = new Map<string, string>();
|
|
76
|
+
|
|
77
|
+
for (const resultado of resultadosBase) {
|
|
78
|
+
if (!resultado.modulo) {
|
|
79
|
+
continue;
|
|
80
|
+
}
|
|
81
|
+
|
|
82
|
+
const caminhoAnterior = nomesModulos.get(resultado.modulo.nome);
|
|
83
|
+
if (caminhoAnterior) {
|
|
84
|
+
resultado.diagnosticos.push({
|
|
85
|
+
codigo: "SEM020",
|
|
86
|
+
mensagem: `Modulo "${resultado.modulo.nome}" foi declarado mais de uma vez no mesmo projeto.`,
|
|
87
|
+
severidade: "erro",
|
|
88
|
+
intervalo: resultado.modulo.intervalo,
|
|
89
|
+
dica: "Use nomes de modulo unicos para evitar ambiguidade de importacao.",
|
|
90
|
+
contexto: `Primeira ocorrencia encontrada em ${caminhoAnterior}.`,
|
|
91
|
+
});
|
|
92
|
+
continue;
|
|
93
|
+
}
|
|
94
|
+
|
|
95
|
+
nomesModulos.set(resultado.modulo.nome, resultado.caminho);
|
|
96
|
+
contextosLocais.set(resultado.modulo.nome, criarContextoLocal(resultado.modulo));
|
|
97
|
+
}
|
|
98
|
+
|
|
99
|
+
const modulos = resultadosBase.map<ResultadoCompilacaoProjetoModulo>((resultado) => {
|
|
100
|
+
if (!resultado.modulo) {
|
|
101
|
+
return {
|
|
102
|
+
caminho: resultado.caminho,
|
|
103
|
+
diagnosticos: resultado.diagnosticos,
|
|
104
|
+
};
|
|
105
|
+
}
|
|
106
|
+
|
|
107
|
+
const resultadoSemantico = analisarSemantica(resultado.modulo, { contextosModulos: contextosLocais });
|
|
108
|
+
const diagnosticos = [...resultado.diagnosticos, ...resultadoSemantico.diagnosticos];
|
|
109
|
+
const ir = converterParaIr(resultado.modulo, diagnosticos, resultadoSemantico.contexto);
|
|
110
|
+
|
|
111
|
+
return {
|
|
112
|
+
caminho: resultado.caminho,
|
|
113
|
+
modulo: resultado.modulo,
|
|
114
|
+
ir,
|
|
115
|
+
diagnosticos,
|
|
116
|
+
};
|
|
117
|
+
});
|
|
118
|
+
|
|
119
|
+
return {
|
|
120
|
+
modulos,
|
|
121
|
+
diagnosticos: modulos.flatMap((modulo) => modulo.diagnosticos),
|
|
122
|
+
};
|
|
123
|
+
}
|
|
124
|
+
|
|
125
|
+
export function temErros(diagnosticos: Diagnostico[]): boolean {
|
|
126
|
+
return diagnosticos.some((diagnostico) => diagnostico.severidade === "erro");
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
export function formatarDiagnosticos(diagnosticos: Diagnostico[]): string {
|
|
130
|
+
if (diagnosticos.length === 0) {
|
|
131
|
+
return "Nenhum diagnostico encontrado.";
|
|
132
|
+
}
|
|
133
|
+
return diagnosticos.map(formatarDiagnostico).join("\n");
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
export interface RespostaValidacao {
|
|
137
|
+
valido: boolean;
|
|
138
|
+
bloqueia_acao: boolean;
|
|
139
|
+
erros: Array<{
|
|
140
|
+
codigo: string;
|
|
141
|
+
mensagem: string;
|
|
142
|
+
dica?: string;
|
|
143
|
+
contexto?: string;
|
|
144
|
+
}>;
|
|
145
|
+
advertencias: Array<{
|
|
146
|
+
codigo: string;
|
|
147
|
+
mensagem: string;
|
|
148
|
+
dica?: string;
|
|
149
|
+
}>;
|
|
150
|
+
proximo_passo_obrigatorio: string;
|
|
151
|
+
}
|
|
152
|
+
|
|
153
|
+
export function gerarRespostaValidacao(diagnosticos: Diagnostico[]): RespostaValidacao {
|
|
154
|
+
const erros = diagnosticos
|
|
155
|
+
.filter((d) => d.severidade === "erro")
|
|
156
|
+
.map((d) => ({
|
|
157
|
+
codigo: d.codigo,
|
|
158
|
+
mensagem: d.mensagem,
|
|
159
|
+
dica: d.dica,
|
|
160
|
+
contexto: d.contexto,
|
|
161
|
+
}));
|
|
162
|
+
|
|
163
|
+
const advertencias = diagnosticos
|
|
164
|
+
.filter((d) => d.severidade === "aviso")
|
|
165
|
+
.map((d) => ({
|
|
166
|
+
codigo: d.codigo,
|
|
167
|
+
mensagem: d.mensagem,
|
|
168
|
+
dica: d.dica,
|
|
169
|
+
}));
|
|
170
|
+
|
|
171
|
+
const temErros = erros.length > 0;
|
|
172
|
+
const proximo_passo_obrigatorio = temErros
|
|
173
|
+
? "corrigir_contrato_e_chamar_sema_validar_novamente"
|
|
174
|
+
: "pode_chamar_profile_ou_ir";
|
|
175
|
+
|
|
176
|
+
return {
|
|
177
|
+
valido: !temErros,
|
|
178
|
+
bloqueia_acao: temErros,
|
|
179
|
+
erros,
|
|
180
|
+
advertencias,
|
|
181
|
+
proximo_passo_obrigatorio,
|
|
182
|
+
};
|
|
183
|
+
}
|