bonescript-compiler 0.3.0 → 0.4.0
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/dist/commands/compile.js +42 -10
- package/dist/commands/compile.js.map +1 -1
- package/dist/commands/init.d.ts +1 -1
- package/dist/commands/init.js +29 -2
- package/dist/commands/init.js.map +1 -1
- package/dist/emit_capability.js +61 -7
- package/dist/emit_capability.js.map +1 -1
- package/dist/emit_composition.js +37 -3
- package/dist/emit_composition.js.map +1 -1
- package/dist/emit_events.d.ts +1 -0
- package/dist/emit_events.js +68 -1
- package/dist/emit_events.js.map +1 -1
- package/dist/emit_full.js +33 -0
- package/dist/emit_full.js.map +1 -1
- package/dist/emit_models.d.ts +12 -0
- package/dist/emit_models.js +171 -0
- package/dist/emit_models.js.map +1 -0
- package/dist/emit_openapi.d.ts +9 -0
- package/dist/emit_openapi.js +308 -0
- package/dist/emit_openapi.js.map +1 -0
- package/dist/emit_router.js +19 -4
- package/dist/emit_router.js.map +1 -1
- package/dist/emit_tests.js +37 -0
- package/dist/emit_tests.js.map +1 -1
- package/dist/emitter.js +34 -5
- package/dist/emitter.js.map +1 -1
- package/dist/lowering.js +16 -1
- package/dist/lowering.js.map +1 -1
- package/dist/lowering_channels.d.ts +1 -1
- package/dist/lowering_channels.js +2 -2
- package/dist/lowering_channels.js.map +1 -1
- package/dist/typechecker.js +32 -13
- package/dist/typechecker.js.map +1 -1
- package/dist/verifier.d.ts +5 -0
- package/dist/verifier.js +140 -2
- package/dist/verifier.js.map +1 -1
- package/package.json +1 -1
- package/src/commands/compile.ts +41 -10
- package/src/commands/init.ts +28 -2
- package/src/emit_capability.ts +61 -6
- package/src/emit_composition.ts +36 -3
- package/src/emit_events.ts +70 -0
- package/src/emit_full.ts +36 -1
- package/src/emit_models.ts +176 -0
- package/src/emit_openapi.ts +318 -0
- package/src/emit_router.ts +18 -4
- package/src/emit_tests.ts +41 -0
- package/src/emitter.ts +592 -566
- package/src/lowering.ts +19 -1
- package/src/lowering_channels.ts +2 -2
- package/src/typechecker.ts +606 -591
- package/src/verifier.ts +495 -348
package/dist/emit_events.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"emit_events.js","sourceRoot":"","sources":["../src/emit_events.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAIH,iFAAiF;AAEjF,SAAgB,gBAAgB;IAC9B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+BR,CAAC;AACF,CAAC;AAjCD,4CAiCC;AAED,iFAAiF;AAEjF,SAAgB,mBAAmB,CAAC,MAAmB;IACrD,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM;SACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAE3B,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM;SACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,eAAe,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAE3B,OAAO;;;;;;;;;;;;;;;;uCAgB8B,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;;;wCAG3B,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgOnE,CAAC;AACF,CAAC;AA7PD,kDA6PC"}
|
|
1
|
+
{"version":3,"file":"emit_events.js","sourceRoot":"","sources":["../src/emit_events.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAIH,iFAAiF;AAEjF,SAAgB,gBAAgB;IAC9B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+BR,CAAC;AACF,CAAC;AAjCD,4CAiCC;AAED,iFAAiF;AAEjF,SAAgB,mBAAmB,CAAC,MAAmB;IACrD,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM;SACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAE3B,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM;SACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,eAAe,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAE3B,OAAO;;;;;;;;;;;;;;;;uCAgB8B,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;;;wCAG3B,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgOnE,CAAC;AACF,CAAC;AA7PD,kDA6PC;AAED,iFAAiF;AACjF,0EAA0E;AAC1E,4EAA4E;AAC5E,sFAAsF;AAEtF,MAAM,WAAW,GAA2B;IAC1C,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ;IAChE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS;CACrF,CAAC;AAEF,SAAS,QAAQ,CAAC,MAAc;IAC9B,IAAI,WAAW,CAAC,MAAM,CAAC;QAAE,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC/C,IAAI,SAAS;QAAE,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7C,IAAI,QAAQ;QAAE,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAClD,IAAI,QAAQ;QAAE,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,wBAAwB,CAAC,MAAmB;IAC1D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,IAAI,SAAS,CAAC;QAEtC,oBAAoB;QACpB,KAAK,CAAC,IAAI,CAAC,oBAAoB,SAAS,IAAI,CAAC,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,qBAAqB;QACrB,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QAChF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,6BAA6B,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,GAAG,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,QAAQ,QAAQ,IAAI,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AA/CD,4DA+CC"}
|
package/dist/emit_full.js
CHANGED
|
@@ -16,6 +16,8 @@ const emit_batch_1 = require("./emit_batch");
|
|
|
16
16
|
const emit_sourcemap_1 = require("./emit_sourcemap");
|
|
17
17
|
const emit_tests_1 = require("./emit_tests");
|
|
18
18
|
const emit_deploy_1 = require("./emit_deploy");
|
|
19
|
+
const emit_models_1 = require("./emit_models");
|
|
20
|
+
const emit_openapi_1 = require("./emit_openapi");
|
|
19
21
|
function toSnakeCase(s) {
|
|
20
22
|
return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
|
|
21
23
|
}
|
|
@@ -35,6 +37,10 @@ class FullEmitter {
|
|
|
35
37
|
files.push({ path: "src/events.ts", content: (0, emit_events_1.emitDurableEventBus)(system), language: "typescript", source_module: "infra" });
|
|
36
38
|
// Outbox SQL schema
|
|
37
39
|
files.push({ path: "migrations/event_outbox.sql", content: (0, emit_events_1.emitOutboxSchema)(), language: "sql", source_module: "infra" });
|
|
40
|
+
// Typed event publisher functions (one per declared event)
|
|
41
|
+
if (system.events.length > 0) {
|
|
42
|
+
files.push({ path: "src/publishers.ts", content: (0, emit_events_1.emitTypedEventPublishers)(system), language: "typescript", source_module: "infra" });
|
|
43
|
+
}
|
|
38
44
|
files.push({ path: "src/auth.ts", content: (0, emit_runtime_1.emitAuthMiddleware)(system), language: "typescript", source_module: "infra" });
|
|
39
45
|
files.push({ path: "src/logger.ts", content: (0, emit_maintenance_1.emitLogger)(system), language: "typescript", source_module: "infra" });
|
|
40
46
|
files.push({ path: "src/metrics.ts", content: (0, emit_maintenance_1.emitMetrics)(), language: "typescript", source_module: "infra" });
|
|
@@ -128,6 +134,28 @@ class FullEmitter {
|
|
|
128
134
|
}
|
|
129
135
|
// 5. Source: main entry point
|
|
130
136
|
files.push({ path: "src/index.ts", content: (0, emit_runtime_1.emitIndex)(system), language: "typescript", source_module: "root" });
|
|
137
|
+
// 5a. Model interfaces, schemas, and validators (one file per model)
|
|
138
|
+
const modelFiles = [];
|
|
139
|
+
for (const mod of system.modules) {
|
|
140
|
+
for (const model of mod.models) {
|
|
141
|
+
const modelPath = `src/models/${toSnakeCase(model.name)}.ts`;
|
|
142
|
+
files.push({
|
|
143
|
+
path: modelPath,
|
|
144
|
+
content: (0, emit_models_1.emitModelFile)(model, mod, system),
|
|
145
|
+
language: "typescript",
|
|
146
|
+
source_module: mod.id,
|
|
147
|
+
});
|
|
148
|
+
modelFiles.push(modelPath);
|
|
149
|
+
}
|
|
150
|
+
}
|
|
151
|
+
if (modelFiles.length > 0) {
|
|
152
|
+
files.push({
|
|
153
|
+
path: "src/models/index.ts",
|
|
154
|
+
content: (0, emit_models_1.emitModelsIndex)(system),
|
|
155
|
+
language: "typescript",
|
|
156
|
+
source_module: "shared",
|
|
157
|
+
});
|
|
158
|
+
}
|
|
131
159
|
// 6. SQL migrations — run schema emitter ONCE, then match by model name
|
|
132
160
|
const schemas = [];
|
|
133
161
|
const allSchemaFiles = this.schemaEmitter.emit(system);
|
|
@@ -148,6 +176,11 @@ class FullEmitter {
|
|
|
148
176
|
files.push({ path: "docker-compose.yaml", content: this.emitDockerCompose(system), language: "yaml", source_module: "infra" });
|
|
149
177
|
// 9. README
|
|
150
178
|
files.push({ path: "README.md", content: this.emitReadme(system), language: "yaml", source_module: "root" });
|
|
179
|
+
// 9a. OpenAPI schema (spec/09_CODEGEN.md §2 — ApiService secondary target)
|
|
180
|
+
const openApiContent = (0, emit_openapi_1.emitOpenApiSchema)(system);
|
|
181
|
+
if (openApiContent) {
|
|
182
|
+
files.push({ path: "openapi.json", content: openApiContent, language: "json", source_module: "root" });
|
|
183
|
+
}
|
|
151
184
|
// 10. Source map + debug handler
|
|
152
185
|
files.push({ path: `${system.name}.bone.map`, content: (0, emit_sourcemap_1.emitSourceMapFile)(system, `${system.name}.bone`), language: "json", source_module: "root" });
|
|
153
186
|
files.push({ path: "src/debug.ts", content: (0, emit_sourcemap_1.emitDebugHandler)(system), language: "typescript", source_module: "infra" });
|
package/dist/emit_full.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"emit_full.js","sourceRoot":"","sources":["../src/emit_full.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAGH,uCAAiD;AACjD,iDASwB;AACxB,qDAAuD;AACvD,yDAM4B;AAC5B,+CAAgD;AAChD,yDAA+E;AAG/E,+
|
|
1
|
+
{"version":3,"file":"emit_full.js","sourceRoot":"","sources":["../src/emit_full.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAGH,uCAAiD;AACjD,iDASwB;AACxB,qDAAuD;AACvD,yDAM4B;AAC5B,+CAAgD;AAChD,yDAA+E;AAG/E,+CAAgG;AAChG,6CAAiD;AACjD,qDAAuE;AACvE,6CAA6C;AAC7C,+CAAuG;AACvG,+CAA+D;AAC/D,iDAAmD;AAEnD,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,MAAa,WAAW;IAAxB;QACU,kBAAa,GAAG,IAAI,iBAAO,EAAE,CAAC;IAoTxC,CAAC;IAlTC,IAAI,CAAC,MAAmB;QACtB,MAAM,KAAK,GAAkB,EAAE,CAAC;QAEhC,mBAAmB;QACnB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAA,8BAAe,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAChH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAA,2BAAY,GAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACxG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEpH,4BAA4B;QAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAA,2BAAY,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QACjH,qDAAqD;QACrD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAA,iCAAmB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5H,oBAAoB;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,IAAA,8BAAgB,GAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1H,2DAA2D;QAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,IAAA,sCAAwB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QACvI,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAA,iCAAkB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QACzH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAA,6BAAU,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QACnH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAA,8BAAW,GAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/G,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAA,mCAAgB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QACzH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,IAAA,mCAAgB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAEhI,6DAA6D;QAC7D,MAAM,SAAS,GAAG,IAAA,oCAAmB,EAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/G,CAAC;QAED,kDAAkD;QAClD,MAAM,WAAW,GAAG,IAAA,6BAAe,EAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,WAAW,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7G,CAAC;QAED,6DAA6D;QAC7D,MAAM,YAAY,GAAG,IAAA,8BAAiB,EAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAC9G,CAAC;QAED,8CAA8C;QAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,IAAA,oCAAiB,GAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAE5H,mDAAmD;QACnD,MAAM,cAAc,GAAG,IAAA,wCAAqB,EAAC,MAAM,CAAC,CAAC;QACrD,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,WAAW,GAAG,IAAA,qCAAkB,EAAC,cAAc,CAAC,CAAC;YACvD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC;QACvH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,qDAAqD;gBAC9D,QAAQ,EAAE,YAAY;gBACtB,aAAa,EAAE,YAAY;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,yEAAyE;QACzE,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,QAAQ,GAAa;gBACzB,sCAAsC;gBACtC,qDAAqD;gBACrD,8DAA8D;gBAC9D,yCAAyC;gBACzC,EAAE;aACH,CAAC;YACF,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBACzC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAiC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvG,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,IAAI,MAAM,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChD,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBACpF,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,IAAI,IAAI,MAAM,MAAM,UAAU,IAAI,CAAC,CAAC;gBACxE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC,uCAAuC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC;gBACnE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC;gBACtD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACnB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,QAAQ,EAAE,YAAY;gBACtB,aAAa,EAAE,YAAY;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,4BAA4B;QAC5B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,sBAAsB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK;oBACvD,OAAO,EAAE,IAAA,sCAAuB,EAAC,EAAE,CAAC;oBACpC,QAAQ,EAAE,YAAY;oBACtB,aAAa,EAAE,GAAG,CAAC,EAAE;iBACtB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,+CAA+C;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,MAAM,OAAO,GAAG,IAAA,+BAAgB,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBAC9C,IAAI,OAAO,EAAE,CAAC;oBACZ,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,cAAc,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK;wBACxD,OAAO;wBACP,QAAQ,EAAE,YAAY;wBACtB,aAAa,EAAE,GAAG,CAAC,EAAE;qBACtB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAA,wBAAS,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEhH,qEAAqE;QACrE,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC/B,MAAM,SAAS,GAAG,cAAc,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,IAAA,2BAAa,EAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC;oBAC1C,QAAQ,EAAE,YAAY;oBACtB,aAAa,EAAE,GAAG,CAAC,EAAE;iBACtB,CAAC,CAAC;gBACH,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,IAAA,6BAAe,EAAC,MAAM,CAAC;gBAChC,QAAQ,EAAE,YAAY;gBACtB,aAAa,EAAE,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAED,wEAAwE;QACxE,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC5D,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBAC/B,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC;oBAC9G,IAAI,UAAU,EAAE,CAAC;wBACf,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,cAAc,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC5F,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAA,4BAAa,EAAC,MAAM,EAAE,OAAO,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAEhI,kCAAkC;QAClC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAE/H,YAAY;QACZ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAE7G,2EAA2E;QAC3E,MAAM,cAAc,GAAG,IAAA,gCAAiB,EAAC,MAAM,CAAC,CAAC;QACjD,IAAI,cAAc,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzG,CAAC;QAED,iCAAiC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,WAAW,EAAE,OAAO,EAAE,IAAA,kCAAiB,EAAC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACpJ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAA,iCAAgB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QACxH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAA,0BAAa,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAErH,qBAAqB;QACrB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,IAAA,4BAAc,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/G,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAA,8BAAgB,GAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9G,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,IAAA,+BAAiB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3H,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,IAAA,+BAAiB,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC;QAEjI,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,cAAc,CAAC,MAAmB;QACxC,OAAO,KAAK,MAAM,CAAC,IAAI;;;;;;;;6DAQkC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6BpF,CAAC;IACA,CAAC;IAEO,iBAAiB,CAAC,MAAmB;QAC3C,OAAO;;;;;;;qBAOU,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;CAe5C,CAAC;IACA,CAAC;IAEO,UAAU,CAAC,MAAmB;QACpC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,UAAU;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC;aACvE,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,OAAO,KAAK,MAAM,CAAC,IAAI;;iDAEsB,MAAM,CAAC,WAAW;;;;;;;;;;;;;;;;;;;;EAoBjE,MAAM;;;;;;;;;;;;;;;;;;;;;CAqBP,CAAC;IACA,CAAC;CACF;AArTD,kCAqTC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* BoneScript Model Emitter
|
|
3
|
+
* Generates per-model TypeScript artifacts as specified in spec/09_CODEGEN.md §5.1:
|
|
4
|
+
* - XxxInterface — typed interface
|
|
5
|
+
* - XxxSchema — const with field metadata (type, nullable, unique, indexed)
|
|
6
|
+
* - validateXxx() — runtime validation function derived from IR constraints
|
|
7
|
+
*
|
|
8
|
+
* These are emitted to src/models/<entity_name>.ts
|
|
9
|
+
*/
|
|
10
|
+
import * as IR from "./ir";
|
|
11
|
+
export declare function emitModelFile(model: IR.IRModel, mod: IR.IRModule, system: IR.IRSystem): string;
|
|
12
|
+
export declare function emitModelsIndex(system: IR.IRSystem): string;
|
|
@@ -0,0 +1,171 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* BoneScript Model Emitter
|
|
4
|
+
* Generates per-model TypeScript artifacts as specified in spec/09_CODEGEN.md §5.1:
|
|
5
|
+
* - XxxInterface — typed interface
|
|
6
|
+
* - XxxSchema — const with field metadata (type, nullable, unique, indexed)
|
|
7
|
+
* - validateXxx() — runtime validation function derived from IR constraints
|
|
8
|
+
*
|
|
9
|
+
* These are emitted to src/models/<entity_name>.ts
|
|
10
|
+
*/
|
|
11
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
12
|
+
exports.emitModelsIndex = exports.emitModelFile = void 0;
|
|
13
|
+
const emit_router_1 = require("./emit_router");
|
|
14
|
+
// ─── Per-model file ───────────────────────────────────────────────────────────
|
|
15
|
+
function emitModelFile(model, mod, system) {
|
|
16
|
+
const lines = [];
|
|
17
|
+
lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
|
|
18
|
+
lines.push(`// Source hash: ${system.source_hash}`);
|
|
19
|
+
lines.push(`// Module: ${mod.name}`);
|
|
20
|
+
lines.push(``);
|
|
21
|
+
// ── Interface ──────────────────────────────────────────────────────────────
|
|
22
|
+
lines.push(`export interface ${model.name} {`);
|
|
23
|
+
for (const field of model.fields) {
|
|
24
|
+
// Skip generated-always fields (derived columns)
|
|
25
|
+
if (field.default_value?.startsWith("GENERATED ALWAYS"))
|
|
26
|
+
continue;
|
|
27
|
+
const nullable = field.nullable ? " | null" : "";
|
|
28
|
+
lines.push(` ${field.name}: ${(0, emit_router_1.toTsType)(field.type)}${nullable};`);
|
|
29
|
+
}
|
|
30
|
+
lines.push(`}`);
|
|
31
|
+
lines.push(``);
|
|
32
|
+
// ── Schema const ───────────────────────────────────────────────────────────
|
|
33
|
+
lines.push(`export const ${model.name}Schema = {`);
|
|
34
|
+
for (const field of model.fields) {
|
|
35
|
+
if (field.default_value?.startsWith("GENERATED ALWAYS"))
|
|
36
|
+
continue;
|
|
37
|
+
const meta = [
|
|
38
|
+
`type: ${JSON.stringify(field.type)}`,
|
|
39
|
+
`nullable: ${field.nullable}`,
|
|
40
|
+
`unique: ${field.unique}`,
|
|
41
|
+
`indexed: ${field.indexed}`,
|
|
42
|
+
];
|
|
43
|
+
if (field.default_value && !field.default_value.startsWith("GENERATED")) {
|
|
44
|
+
meta.push(`default: ${JSON.stringify(field.default_value)}`);
|
|
45
|
+
}
|
|
46
|
+
lines.push(` ${field.name}: { ${meta.join(", ")} },`);
|
|
47
|
+
}
|
|
48
|
+
lines.push(`} as const;`);
|
|
49
|
+
lines.push(``);
|
|
50
|
+
// ── Input type (omits server-set fields) ──────────────────────────────────
|
|
51
|
+
const inputFields = model.fields.filter(f => !["id", "created_at", "updated_at"].includes(f.name) &&
|
|
52
|
+
!f.default_value?.startsWith("GENERATED ALWAYS"));
|
|
53
|
+
lines.push(`export interface Create${model.name}Input {`);
|
|
54
|
+
for (const field of inputFields) {
|
|
55
|
+
const nullable = field.nullable ? "?" : "";
|
|
56
|
+
lines.push(` ${field.name}${nullable}: ${(0, emit_router_1.toTsType)(field.type)};`);
|
|
57
|
+
}
|
|
58
|
+
lines.push(`}`);
|
|
59
|
+
lines.push(``);
|
|
60
|
+
lines.push(`export interface Update${model.name}Input {`);
|
|
61
|
+
for (const field of inputFields) {
|
|
62
|
+
lines.push(` ${field.name}?: ${(0, emit_router_1.toTsType)(field.type)};`);
|
|
63
|
+
}
|
|
64
|
+
lines.push(`}`);
|
|
65
|
+
lines.push(``);
|
|
66
|
+
// ── Validation function ────────────────────────────────────────────────────
|
|
67
|
+
lines.push(`export interface ValidationError {`);
|
|
68
|
+
lines.push(` field: string;`);
|
|
69
|
+
lines.push(` code: string;`);
|
|
70
|
+
lines.push(` message: string;`);
|
|
71
|
+
lines.push(`}`);
|
|
72
|
+
lines.push(``);
|
|
73
|
+
lines.push(`export function validate${model.name}(input: unknown): { ok: true; value: ${model.name} } | { ok: false; errors: ValidationError[] } {`);
|
|
74
|
+
lines.push(` const errors: ValidationError[] = [];`);
|
|
75
|
+
lines.push(` const data = input as Record<string, unknown>;`);
|
|
76
|
+
lines.push(``);
|
|
77
|
+
// Required field presence checks
|
|
78
|
+
for (const field of model.fields) {
|
|
79
|
+
if (field.nullable || field.default_value || ["id", "created_at", "updated_at"].includes(field.name))
|
|
80
|
+
continue;
|
|
81
|
+
if (field.default_value?.startsWith("GENERATED ALWAYS"))
|
|
82
|
+
continue;
|
|
83
|
+
lines.push(` if (data.${field.name} === undefined || data.${field.name} === null) {`);
|
|
84
|
+
lines.push(` errors.push({ field: "${field.name}", code: "REQUIRED", message: "${field.name} is required" });`);
|
|
85
|
+
lines.push(` }`);
|
|
86
|
+
}
|
|
87
|
+
// Type checks for primitive fields
|
|
88
|
+
for (const field of model.fields) {
|
|
89
|
+
if (["id", "created_at", "updated_at"].includes(field.name))
|
|
90
|
+
continue;
|
|
91
|
+
if (field.default_value?.startsWith("GENERATED ALWAYS"))
|
|
92
|
+
continue;
|
|
93
|
+
const check = typeCheckExpr(field.type, `data.${field.name}`);
|
|
94
|
+
if (check) {
|
|
95
|
+
lines.push(` if (data.${field.name} !== undefined && data.${field.name} !== null && !(${check})) {`);
|
|
96
|
+
lines.push(` errors.push({ field: "${field.name}", code: "INVALID_TYPE", message: "${field.name} must be ${field.type}" });`);
|
|
97
|
+
lines.push(` }`);
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
// Constraint-derived checks from model constraints
|
|
101
|
+
for (const c of model.constraints) {
|
|
102
|
+
if (c.kind === "unique")
|
|
103
|
+
continue; // enforced by DB
|
|
104
|
+
if (c.kind === "range" && c.params["min"] !== undefined && c.params["max"] !== undefined) {
|
|
105
|
+
lines.push(` if (typeof data.${c.target} === "number" && (data.${c.target} < ${c.params["min"]} || data.${c.target} > ${c.params["max"]})) {`);
|
|
106
|
+
lines.push(` errors.push({ field: "${c.target}", code: "OUT_OF_RANGE", message: "${c.target} must be between ${c.params["min"]} and ${c.params["max"]}" });`);
|
|
107
|
+
lines.push(` }`);
|
|
108
|
+
}
|
|
109
|
+
if (c.kind === "enum" && Array.isArray(c.params["values"])) {
|
|
110
|
+
const vals = c.params["values"].map(v => JSON.stringify(v)).join(", ");
|
|
111
|
+
lines.push(` if (data.${c.target} !== undefined && ![${vals}].includes(data.${c.target} as string)) {`);
|
|
112
|
+
lines.push(` errors.push({ field: "${c.target}", code: "INVALID_ENUM", message: "${c.target} must be one of: ${c.params["values"].join(", ")}" });`);
|
|
113
|
+
lines.push(` }`);
|
|
114
|
+
}
|
|
115
|
+
if (c.kind === "check" && typeof c.params["expression"] === "string") {
|
|
116
|
+
// Parse length-in-range constraints like "username.length in 3..32"
|
|
117
|
+
const lenMatch = c.params["expression"].match(/^(\w+)\.length\s+in\s+(\d+)\.\.(\d+)$/);
|
|
118
|
+
if (lenMatch) {
|
|
119
|
+
const [, fieldName, minLen, maxLen] = lenMatch;
|
|
120
|
+
lines.push(` if (typeof data.${fieldName} === "string" && (data.${fieldName}.length < ${minLen} || data.${fieldName}.length > ${maxLen})) {`);
|
|
121
|
+
lines.push(` errors.push({ field: "${fieldName}", code: "INVALID_LENGTH", message: "${fieldName} must be between ${minLen} and ${maxLen} characters" });`);
|
|
122
|
+
lines.push(` }`);
|
|
123
|
+
}
|
|
124
|
+
// Parse non-negative constraints like "score >= 0"
|
|
125
|
+
const nonNegMatch = c.params["expression"].match(/^(\w+)\s*>=\s*0$/);
|
|
126
|
+
if (nonNegMatch) {
|
|
127
|
+
const [, fieldName] = nonNegMatch;
|
|
128
|
+
lines.push(` if (typeof data.${fieldName} === "number" && data.${fieldName} < 0) {`);
|
|
129
|
+
lines.push(` errors.push({ field: "${fieldName}", code: "OUT_OF_RANGE", message: "${fieldName} must be >= 0" });`);
|
|
130
|
+
lines.push(` }`);
|
|
131
|
+
}
|
|
132
|
+
}
|
|
133
|
+
}
|
|
134
|
+
lines.push(``);
|
|
135
|
+
lines.push(` if (errors.length > 0) return { ok: false, errors };`);
|
|
136
|
+
lines.push(` return { ok: true, value: data as unknown as ${model.name} };`);
|
|
137
|
+
lines.push(`}`);
|
|
138
|
+
lines.push(``);
|
|
139
|
+
return lines.join("\n");
|
|
140
|
+
}
|
|
141
|
+
exports.emitModelFile = emitModelFile;
|
|
142
|
+
function typeCheckExpr(irType, expr) {
|
|
143
|
+
switch (irType) {
|
|
144
|
+
case "string": return `typeof ${expr} === "string"`;
|
|
145
|
+
case "uint": return `typeof ${expr} === "number" && Number.isInteger(${expr}) && ${expr} >= 0`;
|
|
146
|
+
case "int": return `typeof ${expr} === "number" && Number.isInteger(${expr})`;
|
|
147
|
+
case "float": return `typeof ${expr} === "number"`;
|
|
148
|
+
case "bool": return `typeof ${expr} === "boolean"`;
|
|
149
|
+
case "uuid": return `typeof ${expr} === "string" && /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i.test(${expr})`;
|
|
150
|
+
case "timestamp": return `${expr} instanceof Date || typeof ${expr} === "string"`;
|
|
151
|
+
default:
|
|
152
|
+
if (irType.startsWith("list<") || irType.startsWith("set<"))
|
|
153
|
+
return `Array.isArray(${expr})`;
|
|
154
|
+
return null;
|
|
155
|
+
}
|
|
156
|
+
}
|
|
157
|
+
// ─── Barrel index for all models ─────────────────────────────────────────────
|
|
158
|
+
function emitModelsIndex(system) {
|
|
159
|
+
const lines = [];
|
|
160
|
+
lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
|
|
161
|
+
lines.push(`// Re-exports all model interfaces, schemas, and validators.`);
|
|
162
|
+
lines.push(``);
|
|
163
|
+
for (const mod of system.modules) {
|
|
164
|
+
for (const model of mod.models) {
|
|
165
|
+
lines.push(`export * from "./${(0, emit_router_1.toSnakeCase)(model.name)}";`);
|
|
166
|
+
}
|
|
167
|
+
}
|
|
168
|
+
return lines.join("\n");
|
|
169
|
+
}
|
|
170
|
+
exports.emitModelsIndex = emitModelsIndex;
|
|
171
|
+
//# sourceMappingURL=emit_models.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"emit_models.js","sourceRoot":"","sources":["../src/emit_models.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAGH,+CAAsD;AAEtD,iFAAiF;AAEjF,SAAgB,aAAa,CAAC,KAAiB,EAAE,GAAgB,EAAE,MAAmB;IACpF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,cAAc,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,iDAAiD;QACjD,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,IAAI,GAAa;YACrB,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACrC,aAAa,KAAK,CAAC,QAAQ,EAAE;YAC7B,WAAW,KAAK,CAAC,MAAM,EAAE;YACzB,YAAY,KAAK,CAAC,OAAO,EAAE;SAC5B,CAAC;QACF,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,6EAA6E;IAC7E,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC,CACjD,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,QAAQ,KAAK,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,2BAA2B,KAAK,CAAC,IAAI,wCAAwC,KAAK,CAAC,IAAI,iDAAiD,CAAC,CAAC;IACrJ,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,iCAAiC;IACjC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/G,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC;QACvF,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,kCAAkC,KAAK,CAAC,IAAI,mBAAmB,CAAC,CAAC;QACnH,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QACtE,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,kBAAkB,KAAK,MAAM,CAAC,CAAC;YACtG,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,sCAAsC,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;YACjI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,iBAAiB;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACzF,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,0BAA0B,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChJ,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,MAAM,sCAAsC,CAAC,CAAC,MAAM,oBAAoB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACjK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrF,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,uBAAuB,IAAI,mBAAmB,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,MAAM,sCAAsC,CAAC,CAAC,MAAM,oBAAqB,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,QAAQ,EAAE,CAAC;YACrE,oEAAoE;YACpE,MAAM,QAAQ,GAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAY,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;YACnG,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,qBAAqB,SAAS,0BAA0B,SAAS,aAAa,MAAM,YAAY,SAAS,aAAa,MAAM,MAAM,CAAC,CAAC;gBAC/I,KAAK,CAAC,IAAI,CAAC,6BAA6B,SAAS,wCAAwC,SAAS,oBAAoB,MAAM,QAAQ,MAAM,kBAAkB,CAAC,CAAC;gBAC9J,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;YACD,mDAAmD;YACnD,MAAM,WAAW,GAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAY,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACjF,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,qBAAqB,SAAS,yBAAyB,SAAS,SAAS,CAAC,CAAC;gBACtF,KAAK,CAAC,IAAI,CAAC,6BAA6B,SAAS,sCAAsC,SAAS,oBAAoB,CAAC,CAAC;gBACtH,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,kDAAkD,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAlID,sCAkIC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,IAAY;IACjD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAI,OAAO,UAAU,IAAI,eAAe,CAAC;QACvD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,qCAAqC,IAAI,QAAQ,IAAI,OAAO,CAAC;QACpG,KAAK,KAAK,CAAC,CAAO,OAAO,UAAU,IAAI,qCAAqC,IAAI,GAAG,CAAC;QACpF,KAAK,OAAO,CAAC,CAAK,OAAO,UAAU,IAAI,eAAe,CAAC;QACvD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,gBAAgB,CAAC;QACxD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,2FAA2F,IAAI,GAAG,CAAC;QAC1I,KAAK,WAAW,CAAC,CAAC,OAAO,GAAG,IAAI,8BAA8B,IAAI,eAAe,CAAC;QAClF;YACE,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,iBAAiB,IAAI,GAAG,CAAC;YAC7F,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF,SAAgB,eAAe,CAAC,MAAmB;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAXD,0CAWC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* BoneScript OpenAPI 3.1 Schema Emitter
|
|
3
|
+
* Generates a complete openapi.json for each api_service module.
|
|
4
|
+
* Implements spec/09_CODEGEN.md §2 (ApiService → JSON secondary target).
|
|
5
|
+
*
|
|
6
|
+
* Produces: openapi.json at the project root.
|
|
7
|
+
*/
|
|
8
|
+
import * as IR from "./ir";
|
|
9
|
+
export declare function emitOpenApiSchema(system: IR.IRSystem): string;
|
|
@@ -0,0 +1,308 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* BoneScript OpenAPI 3.1 Schema Emitter
|
|
4
|
+
* Generates a complete openapi.json for each api_service module.
|
|
5
|
+
* Implements spec/09_CODEGEN.md §2 (ApiService → JSON secondary target).
|
|
6
|
+
*
|
|
7
|
+
* Produces: openapi.json at the project root.
|
|
8
|
+
*/
|
|
9
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
10
|
+
exports.emitOpenApiSchema = void 0;
|
|
11
|
+
// ─── Type mapping ─────────────────────────────────────────────────────────────
|
|
12
|
+
function irTypeToJsonSchema(irType) {
|
|
13
|
+
switch (irType) {
|
|
14
|
+
case "string": return { type: "string" };
|
|
15
|
+
case "uint": return { type: "integer", minimum: 0 };
|
|
16
|
+
case "int": return { type: "integer" };
|
|
17
|
+
case "float": return { type: "number" };
|
|
18
|
+
case "bool": return { type: "boolean" };
|
|
19
|
+
case "timestamp": return { type: "string", format: "date-time" };
|
|
20
|
+
case "uuid": return { type: "string", format: "uuid" };
|
|
21
|
+
case "bytes": return { type: "string", format: "byte" };
|
|
22
|
+
case "json": return {};
|
|
23
|
+
default: {
|
|
24
|
+
const listMatch = irType.match(/^list<(.+)>$/);
|
|
25
|
+
if (listMatch)
|
|
26
|
+
return { type: "array", items: irTypeToJsonSchema(listMatch[1]) };
|
|
27
|
+
const setMatch = irType.match(/^set<(.+)>$/);
|
|
28
|
+
if (setMatch)
|
|
29
|
+
return { type: "array", items: irTypeToJsonSchema(setMatch[1]), uniqueItems: true };
|
|
30
|
+
const optMatch = irType.match(/^optional<(.+)>$/);
|
|
31
|
+
if (optMatch)
|
|
32
|
+
return { oneOf: [irTypeToJsonSchema(optMatch[1]), { type: "null" }] };
|
|
33
|
+
// Entity reference — use $ref
|
|
34
|
+
return { $ref: `#/components/schemas/${irType}` };
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
}
|
|
38
|
+
function modelToSchema(model) {
|
|
39
|
+
const properties = {};
|
|
40
|
+
const required = [];
|
|
41
|
+
for (const field of model.fields) {
|
|
42
|
+
if (field.default_value?.startsWith("GENERATED ALWAYS"))
|
|
43
|
+
continue;
|
|
44
|
+
properties[field.name] = irTypeToJsonSchema(field.type);
|
|
45
|
+
if (!field.nullable && !field.default_value) {
|
|
46
|
+
required.push(field.name);
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
return {
|
|
50
|
+
type: "object",
|
|
51
|
+
properties,
|
|
52
|
+
...(required.length > 0 ? { required } : {}),
|
|
53
|
+
};
|
|
54
|
+
}
|
|
55
|
+
function toSnakeCase(s) {
|
|
56
|
+
return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
|
|
57
|
+
}
|
|
58
|
+
// ─── Main emitter ─────────────────────────────────────────────────────────────
|
|
59
|
+
function emitOpenApiSchema(system) {
|
|
60
|
+
const apiModules = system.modules.filter(m => m.kind === "api_service" && m.models.length > 0);
|
|
61
|
+
if (apiModules.length === 0)
|
|
62
|
+
return "";
|
|
63
|
+
// ── Collect all schemas ──────────────────────────────────────────────────
|
|
64
|
+
const schemas = {};
|
|
65
|
+
// Standard error schema
|
|
66
|
+
schemas["Error"] = {
|
|
67
|
+
type: "object",
|
|
68
|
+
required: ["error"],
|
|
69
|
+
properties: {
|
|
70
|
+
error: {
|
|
71
|
+
type: "object",
|
|
72
|
+
required: ["code", "message"],
|
|
73
|
+
properties: {
|
|
74
|
+
code: { type: "string" },
|
|
75
|
+
message: { type: "string" },
|
|
76
|
+
},
|
|
77
|
+
},
|
|
78
|
+
},
|
|
79
|
+
};
|
|
80
|
+
// Paginated result wrapper
|
|
81
|
+
schemas["PaginatedResult"] = {
|
|
82
|
+
type: "object",
|
|
83
|
+
required: ["items", "total", "page", "page_size"],
|
|
84
|
+
properties: {
|
|
85
|
+
items: { type: "array", items: {} },
|
|
86
|
+
total: { type: "integer", minimum: 0 },
|
|
87
|
+
page: { type: "integer", minimum: 1 },
|
|
88
|
+
page_size: { type: "integer", minimum: 1 },
|
|
89
|
+
},
|
|
90
|
+
};
|
|
91
|
+
for (const mod of apiModules) {
|
|
92
|
+
for (const model of mod.models) {
|
|
93
|
+
schemas[model.name] = modelToSchema(model);
|
|
94
|
+
// Create input schema (omit server-set fields)
|
|
95
|
+
const createProps = {};
|
|
96
|
+
const createRequired = [];
|
|
97
|
+
for (const field of model.fields) {
|
|
98
|
+
if (["id", "created_at", "updated_at"].includes(field.name))
|
|
99
|
+
continue;
|
|
100
|
+
if (field.default_value?.startsWith("GENERATED ALWAYS"))
|
|
101
|
+
continue;
|
|
102
|
+
createProps[field.name] = irTypeToJsonSchema(field.type);
|
|
103
|
+
if (!field.nullable && !field.default_value)
|
|
104
|
+
createRequired.push(field.name);
|
|
105
|
+
}
|
|
106
|
+
schemas[`Create${model.name}Input`] = {
|
|
107
|
+
type: "object",
|
|
108
|
+
properties: createProps,
|
|
109
|
+
...(createRequired.length > 0 ? { required: createRequired } : {}),
|
|
110
|
+
};
|
|
111
|
+
// Update input schema (all optional)
|
|
112
|
+
const updateProps = {};
|
|
113
|
+
for (const field of model.fields) {
|
|
114
|
+
if (["id", "created_at", "updated_at"].includes(field.name))
|
|
115
|
+
continue;
|
|
116
|
+
if (field.default_value?.startsWith("GENERATED ALWAYS"))
|
|
117
|
+
continue;
|
|
118
|
+
updateProps[field.name] = irTypeToJsonSchema(field.type);
|
|
119
|
+
}
|
|
120
|
+
schemas[`Update${model.name}Input`] = {
|
|
121
|
+
type: "object",
|
|
122
|
+
properties: updateProps,
|
|
123
|
+
};
|
|
124
|
+
}
|
|
125
|
+
}
|
|
126
|
+
// Event payload schemas
|
|
127
|
+
for (const ev of system.events) {
|
|
128
|
+
const props = {};
|
|
129
|
+
for (const field of ev.payload) {
|
|
130
|
+
props[field.name] = irTypeToJsonSchema(field.type);
|
|
131
|
+
}
|
|
132
|
+
schemas[`${ev.name}Payload`] = { type: "object", properties: props };
|
|
133
|
+
}
|
|
134
|
+
// ── Build paths ──────────────────────────────────────────────────────────
|
|
135
|
+
const paths = {};
|
|
136
|
+
for (const mod of apiModules) {
|
|
137
|
+
const model = mod.models[0];
|
|
138
|
+
const basePath = `/${toSnakeCase(model.name)}s`;
|
|
139
|
+
const tag = mod.name;
|
|
140
|
+
// GET / — list
|
|
141
|
+
paths[basePath] = {
|
|
142
|
+
get: {
|
|
143
|
+
tags: [tag],
|
|
144
|
+
summary: `List ${model.name}s`,
|
|
145
|
+
security: [{ bearerAuth: [] }],
|
|
146
|
+
parameters: [
|
|
147
|
+
{ name: "page", in: "query", schema: { type: "integer", minimum: 1, default: 1 } },
|
|
148
|
+
{ name: "page_size", in: "query", schema: { type: "integer", minimum: 1, maximum: 100, default: 50 } },
|
|
149
|
+
],
|
|
150
|
+
responses: {
|
|
151
|
+
"200": {
|
|
152
|
+
description: `List of ${model.name}s`,
|
|
153
|
+
content: {
|
|
154
|
+
"application/json": {
|
|
155
|
+
schema: {
|
|
156
|
+
allOf: [
|
|
157
|
+
{ $ref: "#/components/schemas/PaginatedResult" },
|
|
158
|
+
{ properties: { items: { type: "array", items: { $ref: `#/components/schemas/${model.name}` } } } },
|
|
159
|
+
],
|
|
160
|
+
},
|
|
161
|
+
},
|
|
162
|
+
},
|
|
163
|
+
},
|
|
164
|
+
"401": { $ref: "#/components/responses/Unauthorized" },
|
|
165
|
+
},
|
|
166
|
+
},
|
|
167
|
+
post: {
|
|
168
|
+
tags: [tag],
|
|
169
|
+
summary: `Create ${model.name}`,
|
|
170
|
+
security: [{ bearerAuth: [] }],
|
|
171
|
+
requestBody: {
|
|
172
|
+
required: true,
|
|
173
|
+
content: {
|
|
174
|
+
"application/json": {
|
|
175
|
+
schema: { $ref: `#/components/schemas/Create${model.name}Input` },
|
|
176
|
+
},
|
|
177
|
+
},
|
|
178
|
+
},
|
|
179
|
+
responses: {
|
|
180
|
+
"201": {
|
|
181
|
+
description: `${model.name} created`,
|
|
182
|
+
content: { "application/json": { schema: { $ref: `#/components/schemas/${model.name}` } } },
|
|
183
|
+
},
|
|
184
|
+
"400": { $ref: "#/components/responses/BadRequest" },
|
|
185
|
+
"401": { $ref: "#/components/responses/Unauthorized" },
|
|
186
|
+
},
|
|
187
|
+
},
|
|
188
|
+
};
|
|
189
|
+
// GET /:id, PUT /:id, DELETE /:id
|
|
190
|
+
const idPath = `${basePath}/{id}`;
|
|
191
|
+
paths[idPath] = {
|
|
192
|
+
parameters: [{ name: "id", in: "path", required: true, schema: { type: "string", format: "uuid" } }],
|
|
193
|
+
get: {
|
|
194
|
+
tags: [tag],
|
|
195
|
+
summary: `Get ${model.name} by id`,
|
|
196
|
+
security: [{ bearerAuth: [] }],
|
|
197
|
+
responses: {
|
|
198
|
+
"200": { description: `${model.name}`, content: { "application/json": { schema: { $ref: `#/components/schemas/${model.name}` } } } },
|
|
199
|
+
"401": { $ref: "#/components/responses/Unauthorized" },
|
|
200
|
+
"404": { $ref: "#/components/responses/NotFound" },
|
|
201
|
+
},
|
|
202
|
+
},
|
|
203
|
+
put: {
|
|
204
|
+
tags: [tag],
|
|
205
|
+
summary: `Update ${model.name}`,
|
|
206
|
+
security: [{ bearerAuth: [] }],
|
|
207
|
+
requestBody: {
|
|
208
|
+
required: true,
|
|
209
|
+
content: { "application/json": { schema: { $ref: `#/components/schemas/Update${model.name}Input` } } },
|
|
210
|
+
},
|
|
211
|
+
responses: {
|
|
212
|
+
"200": { description: `Updated ${model.name}`, content: { "application/json": { schema: { $ref: `#/components/schemas/${model.name}` } } } },
|
|
213
|
+
"400": { $ref: "#/components/responses/BadRequest" },
|
|
214
|
+
"401": { $ref: "#/components/responses/Unauthorized" },
|
|
215
|
+
"404": { $ref: "#/components/responses/NotFound" },
|
|
216
|
+
},
|
|
217
|
+
},
|
|
218
|
+
delete: {
|
|
219
|
+
tags: [tag],
|
|
220
|
+
summary: `Delete ${model.name}`,
|
|
221
|
+
security: [{ bearerAuth: [] }],
|
|
222
|
+
responses: {
|
|
223
|
+
"204": { description: "Deleted" },
|
|
224
|
+
"401": { $ref: "#/components/responses/Unauthorized" },
|
|
225
|
+
"404": { $ref: "#/components/responses/NotFound" },
|
|
226
|
+
},
|
|
227
|
+
},
|
|
228
|
+
};
|
|
229
|
+
// Capability endpoints
|
|
230
|
+
for (const iface of mod.interfaces) {
|
|
231
|
+
for (const method of iface.methods) {
|
|
232
|
+
if (["create", "read", "update", "delete", "list"].includes(method.name))
|
|
233
|
+
continue;
|
|
234
|
+
const capPath = `${basePath}/${method.name.replace(/_/g, "-")}`;
|
|
235
|
+
const inputProps = {};
|
|
236
|
+
for (const param of method.input) {
|
|
237
|
+
inputProps[param.name] = irTypeToJsonSchema(param.type);
|
|
238
|
+
}
|
|
239
|
+
paths[capPath] = {
|
|
240
|
+
post: {
|
|
241
|
+
tags: [tag],
|
|
242
|
+
summary: method.name.replace(/_/g, " "),
|
|
243
|
+
description: [
|
|
244
|
+
method.preconditions.length > 0 ? `**Preconditions:** ${method.preconditions.map(p => p.description).join("; ")}` : "",
|
|
245
|
+
method.effects.length > 0 ? `**Effects:** ${method.effects.map(e => `${e.target} ${e.op === "assign" ? "=" : e.op === "add" ? "+=" : "-="} ${e.value}`).join("; ")}` : "",
|
|
246
|
+
method.sync ? `**Sync:** ${method.sync}` : "",
|
|
247
|
+
].filter(Boolean).join("\n\n"),
|
|
248
|
+
security: [{ bearerAuth: [] }],
|
|
249
|
+
requestBody: {
|
|
250
|
+
required: true,
|
|
251
|
+
content: {
|
|
252
|
+
"application/json": {
|
|
253
|
+
schema: { type: "object", properties: inputProps },
|
|
254
|
+
},
|
|
255
|
+
},
|
|
256
|
+
},
|
|
257
|
+
responses: {
|
|
258
|
+
"200": { description: "Success", content: { "application/json": { schema: { type: "object", properties: { ok: { type: "boolean" }, action: { type: "string" } } } } } },
|
|
259
|
+
"401": { $ref: "#/components/responses/Unauthorized" },
|
|
260
|
+
"422": { description: "Precondition failed", content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } } },
|
|
261
|
+
},
|
|
262
|
+
},
|
|
263
|
+
};
|
|
264
|
+
}
|
|
265
|
+
}
|
|
266
|
+
}
|
|
267
|
+
// ── Assemble document ────────────────────────────────────────────────────
|
|
268
|
+
const doc = {
|
|
269
|
+
openapi: "3.1.0",
|
|
270
|
+
info: {
|
|
271
|
+
title: system.name,
|
|
272
|
+
version: system.version,
|
|
273
|
+
description: `Generated by BoneScript compiler. Source hash: ${system.source_hash}`,
|
|
274
|
+
},
|
|
275
|
+
servers: [
|
|
276
|
+
{ url: "http://localhost:3000", description: "Local development" },
|
|
277
|
+
],
|
|
278
|
+
tags: apiModules.map(m => ({ name: m.name, description: `${m.name} endpoints` })),
|
|
279
|
+
paths,
|
|
280
|
+
components: {
|
|
281
|
+
securitySchemes: {
|
|
282
|
+
bearerAuth: {
|
|
283
|
+
type: "http",
|
|
284
|
+
scheme: "bearer",
|
|
285
|
+
bearerFormat: "JWT",
|
|
286
|
+
},
|
|
287
|
+
},
|
|
288
|
+
schemas,
|
|
289
|
+
responses: {
|
|
290
|
+
Unauthorized: {
|
|
291
|
+
description: "Authentication required",
|
|
292
|
+
content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } },
|
|
293
|
+
},
|
|
294
|
+
NotFound: {
|
|
295
|
+
description: "Resource not found",
|
|
296
|
+
content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } },
|
|
297
|
+
},
|
|
298
|
+
BadRequest: {
|
|
299
|
+
description: "Invalid request",
|
|
300
|
+
content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } },
|
|
301
|
+
},
|
|
302
|
+
},
|
|
303
|
+
},
|
|
304
|
+
};
|
|
305
|
+
return JSON.stringify(doc, null, 2);
|
|
306
|
+
}
|
|
307
|
+
exports.emitOpenApiSchema = emitOpenApiSchema;
|
|
308
|
+
//# sourceMappingURL=emit_openapi.js.map
|