bonescript-compiler 0.5.2 → 0.5.4
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/LICENSE +21 -21
- package/dist/algorithm_catalog.js +166 -166
- package/dist/cli.d.ts +1 -2
- package/dist/cli.js +543 -75
- package/dist/cli.js.map +1 -1
- package/dist/emit_capability.d.ts +0 -13
- package/dist/emit_capability.js +128 -292
- package/dist/emit_capability.js.map +1 -1
- package/dist/emit_composition.js +3 -37
- package/dist/emit_composition.js.map +1 -1
- package/dist/emit_deploy.js +162 -162
- package/dist/emit_events.d.ts +0 -1
- package/dist/emit_events.js +275 -342
- package/dist/emit_events.js.map +1 -1
- package/dist/emit_full.js +106 -268
- package/dist/emit_full.js.map +1 -1
- package/dist/emit_maintenance.js +249 -249
- package/dist/emit_runtime.d.ts +11 -17
- package/dist/emit_runtime.js +688 -29
- package/dist/emit_runtime.js.map +1 -1
- package/dist/emit_sourcemap.js +66 -66
- package/dist/emit_tests.js +0 -37
- package/dist/emit_tests.js.map +1 -1
- package/dist/emitter.js +16 -82
- package/dist/emitter.js.map +1 -1
- package/dist/extension_manager.d.ts +2 -2
- package/dist/extension_manager.js +3 -6
- package/dist/extension_manager.js.map +1 -1
- package/dist/ir.d.ts +0 -4
- package/dist/lowering.d.ts +14 -5
- package/dist/lowering.js +417 -66
- package/dist/lowering.js.map +1 -1
- package/dist/module_loader.d.ts +2 -2
- package/dist/module_loader.js +23 -20
- package/dist/module_loader.js.map +1 -1
- package/dist/optimizer.js +1 -1
- package/dist/optimizer.js.map +1 -1
- package/dist/scaffold.d.ts +2 -2
- package/dist/scaffold.js +319 -315
- package/dist/scaffold.js.map +1 -1
- package/dist/source_map.js.map +1 -0
- package/dist/test.js.map +1 -0
- package/dist/test_typechecker.d.ts +5 -0
- package/dist/test_typechecker.js +126 -0
- package/dist/test_typechecker.js.map +1 -0
- package/dist/typechecker.d.ts +0 -5
- package/dist/typechecker.js +13 -68
- package/dist/typechecker.js.map +1 -1
- package/dist/verifier.d.ts +1 -5
- package/dist/verifier.js +35 -140
- package/dist/verifier.js.map +1 -1
- package/package.json +52 -62
- package/src/algorithm_catalog.ts +345 -345
- package/src/ast.d.ts +244 -0
- package/src/ast.ts +334 -334
- package/src/cli.ts +624 -98
- package/src/emit_batch.ts +140 -140
- package/src/emit_capability.ts +436 -617
- package/src/emit_composition.ts +196 -229
- package/src/emit_deploy.ts +190 -190
- package/src/emit_events.ts +307 -377
- package/src/emit_extras.ts +240 -240
- package/src/emit_full.ts +309 -475
- package/src/emit_maintenance.ts +459 -459
- package/src/emit_runtime.ts +730 -17
- package/src/emit_sourcemap.ts +140 -140
- package/src/emit_tests.ts +205 -246
- package/src/emit_websocket.ts +229 -229
- package/src/emitter.ts +578 -642
- package/src/extension_manager.ts +187 -189
- package/src/formatter.ts +297 -297
- package/src/index.ts +88 -88
- package/src/ir.ts +215 -216
- package/src/lexer.d.ts +195 -0
- package/src/lexer.ts +630 -630
- package/src/lowering.ts +556 -168
- package/src/module_loader.ts +114 -112
- package/src/optimizer.ts +196 -196
- package/src/parse_decls.d.ts +13 -0
- package/src/parse_decls.ts +409 -409
- package/src/parse_decls2.d.ts +13 -0
- package/src/parse_decls2.ts +244 -244
- package/src/parse_expr.d.ts +7 -0
- package/src/parse_expr.ts +197 -197
- package/src/parse_types.d.ts +6 -0
- package/src/parse_types.ts +54 -54
- package/src/parser.d.ts +10 -0
- package/src/parser.ts +1 -1
- package/src/parser_base.d.ts +19 -0
- package/src/parser_base.ts +57 -57
- package/src/parser_recovery.ts +153 -153
- package/src/scaffold.ts +375 -371
- package/src/solver.ts +330 -330
- package/src/typechecker.d.ts +52 -0
- package/src/typechecker.ts +591 -657
- package/src/types.d.ts +38 -0
- package/src/types.ts +122 -122
- package/src/verifier.ts +46 -152
- package/README.md +0 -382
- package/dist/commands/check.d.ts +0 -5
- package/dist/commands/check.js +0 -34
- package/dist/commands/check.js.map +0 -1
- package/dist/commands/compile.d.ts +0 -5
- package/dist/commands/compile.js +0 -215
- package/dist/commands/compile.js.map +0 -1
- package/dist/commands/debug.d.ts +0 -5
- package/dist/commands/debug.js +0 -59
- package/dist/commands/debug.js.map +0 -1
- package/dist/commands/diff.d.ts +0 -5
- package/dist/commands/diff.js +0 -125
- package/dist/commands/diff.js.map +0 -1
- package/dist/commands/fmt.d.ts +0 -5
- package/dist/commands/fmt.js +0 -49
- package/dist/commands/fmt.js.map +0 -1
- package/dist/commands/init.d.ts +0 -5
- package/dist/commands/init.js +0 -96
- package/dist/commands/init.js.map +0 -1
- package/dist/commands/ir.d.ts +0 -5
- package/dist/commands/ir.js +0 -27
- package/dist/commands/ir.js.map +0 -1
- package/dist/commands/lex.d.ts +0 -5
- package/dist/commands/lex.js +0 -21
- package/dist/commands/lex.js.map +0 -1
- package/dist/commands/parse.d.ts +0 -5
- package/dist/commands/parse.js +0 -30
- package/dist/commands/parse.js.map +0 -1
- package/dist/commands/test.d.ts +0 -5
- package/dist/commands/test.js +0 -61
- package/dist/commands/test.js.map +0 -1
- package/dist/commands/verify_determinism.d.ts +0 -5
- package/dist/commands/verify_determinism.js +0 -64
- package/dist/commands/verify_determinism.js.map +0 -1
- package/dist/commands/watch.d.ts +0 -5
- package/dist/commands/watch.js +0 -50
- package/dist/commands/watch.js.map +0 -1
- package/dist/emit_auth.d.ts +0 -18
- package/dist/emit_auth.js +0 -507
- package/dist/emit_auth.js.map +0 -1
- package/dist/emit_database.d.ts +0 -7
- package/dist/emit_database.js +0 -74
- package/dist/emit_database.js.map +0 -1
- package/dist/emit_index.d.ts +0 -6
- package/dist/emit_index.js +0 -202
- package/dist/emit_index.js.map +0 -1
- package/dist/emit_models.d.ts +0 -12
- package/dist/emit_models.js +0 -171
- package/dist/emit_models.js.map +0 -1
- package/dist/emit_openapi.d.ts +0 -9
- package/dist/emit_openapi.js +0 -308
- package/dist/emit_openapi.js.map +0 -1
- package/dist/emit_package.d.ts +0 -7
- package/dist/emit_package.js +0 -70
- package/dist/emit_package.js.map +0 -1
- package/dist/emit_router.d.ts +0 -12
- package/dist/emit_router.js +0 -390
- package/dist/emit_router.js.map +0 -1
- package/dist/lowering_channels.d.ts +0 -11
- package/dist/lowering_channels.js +0 -103
- package/dist/lowering_channels.js.map +0 -1
- package/dist/lowering_entities.d.ts +0 -11
- package/dist/lowering_entities.js +0 -232
- package/dist/lowering_entities.js.map +0 -1
- package/dist/lowering_helpers.d.ts +0 -13
- package/dist/lowering_helpers.js +0 -76
- package/dist/lowering_helpers.js.map +0 -1
- package/src/commands/check.ts +0 -33
- package/src/commands/compile.ts +0 -191
- package/src/commands/debug.ts +0 -33
- package/src/commands/diff.ts +0 -108
- package/src/commands/fmt.ts +0 -22
- package/src/commands/init.ts +0 -72
- package/src/commands/ir.ts +0 -23
- package/src/commands/lex.ts +0 -17
- package/src/commands/parse.ts +0 -24
- package/src/commands/test.ts +0 -36
- package/src/commands/verify_determinism.ts +0 -66
- package/src/commands/watch.ts +0 -25
- package/src/emit_auth.ts +0 -513
- package/src/emit_database.ts +0 -75
- package/src/emit_index.ts +0 -210
- package/src/emit_models.ts +0 -176
- package/src/emit_openapi.ts +0 -318
- package/src/emit_package.ts +0 -69
- package/src/emit_router.ts +0 -409
- package/src/lowering_channels.ts +0 -108
- package/src/lowering_entities.ts +0 -258
- package/src/lowering_helpers.ts +0 -75
package/src/lowering_entities.ts
DELETED
|
@@ -1,258 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BoneScript Entity Lowering
|
|
3
|
-
* Converts EntityDecl + CapabilityDecl AST nodes into IR api_service modules.
|
|
4
|
-
* Also handles field lowering and CRUD method generation.
|
|
5
|
-
*/
|
|
6
|
-
|
|
7
|
-
import * as AST from "./ast";
|
|
8
|
-
import * as IR from "./ir";
|
|
9
|
-
import { makeId, parseDurationMs, serializeType, serializeExpr, toSnakeCase } from "./lowering_helpers";
|
|
10
|
-
|
|
11
|
-
// ─── Field Lowering ───────────────────────────────────────────────────────────
|
|
12
|
-
|
|
13
|
-
export function lowerField(f: AST.FieldNode): IR.IRField {
|
|
14
|
-
const type = serializeType(f.type);
|
|
15
|
-
// defaultValue is an ExprNode | null — serialize it to a string if present
|
|
16
|
-
const defaultValue = f.defaultValue ? serializeExpr(f.defaultValue) : null;
|
|
17
|
-
return {
|
|
18
|
-
name: f.name,
|
|
19
|
-
type,
|
|
20
|
-
nullable: false,
|
|
21
|
-
unique: false,
|
|
22
|
-
indexed: false,
|
|
23
|
-
default_value: defaultValue,
|
|
24
|
-
};
|
|
25
|
-
}
|
|
26
|
-
|
|
27
|
-
// ─── CRUD Method Generation ───────────────────────────────────────────────────
|
|
28
|
-
|
|
29
|
-
export function makeCrudMethod(op: string, entityName: string, fields: IR.IRField[]): IR.IRMethod {
|
|
30
|
-
const input: IR.IRField[] =
|
|
31
|
-
op === "create" || op === "update"
|
|
32
|
-
? fields.filter(f => f.name !== "id" && f.name !== "created_at" && f.name !== "updated_at")
|
|
33
|
-
: op === "list"
|
|
34
|
-
? [
|
|
35
|
-
{ name: "page", type: "uint", nullable: true, unique: false, indexed: false, default_value: "1" },
|
|
36
|
-
{ name: "page_size", type: "uint", nullable: true, unique: false, indexed: false, default_value: "50" },
|
|
37
|
-
]
|
|
38
|
-
: [{ name: "id", type: "uuid", nullable: false, unique: true, indexed: true, default_value: null }];
|
|
39
|
-
|
|
40
|
-
return {
|
|
41
|
-
name: op,
|
|
42
|
-
input,
|
|
43
|
-
output: op === "list" ? `list<${entityName}>` : op === "delete" ? "bool" : entityName,
|
|
44
|
-
preconditions: [],
|
|
45
|
-
effects: [],
|
|
46
|
-
emissions: [],
|
|
47
|
-
idempotent: op === "read" || op === "list",
|
|
48
|
-
authenticated: true,
|
|
49
|
-
timeout_ms: 30000,
|
|
50
|
-
retry: null,
|
|
51
|
-
pipeline: null,
|
|
52
|
-
algorithm: null,
|
|
53
|
-
sync: null,
|
|
54
|
-
};
|
|
55
|
-
}
|
|
56
|
-
|
|
57
|
-
// ─── Capability Lowering ──────────────────────────────────────────────────────
|
|
58
|
-
|
|
59
|
-
export function lowerCapability(cap: AST.CapabilityDeclNode): IR.IRMethod {
|
|
60
|
-
const input: IR.IRField[] = cap.params.map(p => ({
|
|
61
|
-
name: p.name,
|
|
62
|
-
type: serializeType(p.type),
|
|
63
|
-
nullable: false,
|
|
64
|
-
unique: false,
|
|
65
|
-
indexed: false,
|
|
66
|
-
default_value: null,
|
|
67
|
-
}));
|
|
68
|
-
|
|
69
|
-
const preconditions: IR.IRPrecondition[] = cap.requires.map(r => ({
|
|
70
|
-
expression: serializeExpr(r),
|
|
71
|
-
description: serializeExpr(r),
|
|
72
|
-
}));
|
|
73
|
-
|
|
74
|
-
const effects: IR.IREffect[] = cap.effects.map(e => ({
|
|
75
|
-
target: e.target.path.join("."),
|
|
76
|
-
op: e.op === "=" ? "assign" as const : e.op === "+=" ? "add" as const : "remove" as const,
|
|
77
|
-
value: serializeExpr(e.value),
|
|
78
|
-
}));
|
|
79
|
-
|
|
80
|
-
let pipeline: IR.IRPipeline | null = null;
|
|
81
|
-
if (cap.pipeline) {
|
|
82
|
-
pipeline = {
|
|
83
|
-
parallel: cap.pipeline.parallel,
|
|
84
|
-
steps: cap.pipeline.steps.map(step => ({
|
|
85
|
-
call_name: step.call.name,
|
|
86
|
-
call_args: step.call.args.map(a => serializeExpr(a)),
|
|
87
|
-
bind_as: step.bindAs,
|
|
88
|
-
})),
|
|
89
|
-
on_error: cap.pipeline.onError ? {
|
|
90
|
-
action: cap.pipeline.onError.action,
|
|
91
|
-
call_name: cap.pipeline.onError.call?.name || null,
|
|
92
|
-
call_args: cap.pipeline.onError.call?.args.map(a => serializeExpr(a)) || [],
|
|
93
|
-
} : null,
|
|
94
|
-
};
|
|
95
|
-
}
|
|
96
|
-
|
|
97
|
-
let algorithm: IR.IRAlgorithm | null = null;
|
|
98
|
-
if (cap.algorithm) {
|
|
99
|
-
algorithm = {
|
|
100
|
-
catalog_name: cap.algorithm.name,
|
|
101
|
-
bindings: cap.algorithm.using.map(b => ({
|
|
102
|
-
param: b.param,
|
|
103
|
-
value: serializeExpr(b.value),
|
|
104
|
-
})),
|
|
105
|
-
};
|
|
106
|
-
}
|
|
107
|
-
|
|
108
|
-
return {
|
|
109
|
-
name: cap.name,
|
|
110
|
-
input,
|
|
111
|
-
output: cap.returns ? serializeType(cap.returns) : "result<void, error>",
|
|
112
|
-
preconditions,
|
|
113
|
-
effects,
|
|
114
|
-
emissions: cap.emits.map(e => e.eventName),
|
|
115
|
-
idempotent: cap.idempotent || false,
|
|
116
|
-
authenticated: true,
|
|
117
|
-
timeout_ms: parseDurationMs(cap.timeout) || 30000,
|
|
118
|
-
retry: cap.retry ? {
|
|
119
|
-
max_attempts: cap.retry.maxAttempts || 3,
|
|
120
|
-
backoff: (cap.retry.backoff as IR.IRRetryPolicy["backoff"]) || "exponential",
|
|
121
|
-
interval_ms: parseDurationMs(cap.retry.interval) || 1000,
|
|
122
|
-
} : null,
|
|
123
|
-
pipeline,
|
|
124
|
-
algorithm,
|
|
125
|
-
sync: cap.sync,
|
|
126
|
-
};
|
|
127
|
-
}
|
|
128
|
-
|
|
129
|
-
// ─── Entity Lowering ──────────────────────────────────────────────────────────
|
|
130
|
-
|
|
131
|
-
export function lowerEntity(
|
|
132
|
-
systemName: string,
|
|
133
|
-
entity: AST.EntityDeclNode,
|
|
134
|
-
capabilities: AST.CapabilityDeclNode[],
|
|
135
|
-
stores: AST.StoreDeclNode[],
|
|
136
|
-
): IR.IRModule {
|
|
137
|
-
const moduleId = makeId(systemName, "api_service", `${entity.name}Service`);
|
|
138
|
-
|
|
139
|
-
// Ontology-entailed fields + declared fields
|
|
140
|
-
const fields: IR.IRField[] = [
|
|
141
|
-
{ name: "id", type: "uuid", nullable: false, unique: true, indexed: true, default_value: "gen_random_uuid()" },
|
|
142
|
-
{ name: "created_at", type: "timestamp", nullable: false, unique: false, indexed: true, default_value: "now()" },
|
|
143
|
-
{ name: "updated_at", type: "timestamp", nullable: false, unique: false, indexed: false, default_value: "now()" },
|
|
144
|
-
...entity.owns.map(lowerField),
|
|
145
|
-
];
|
|
146
|
-
|
|
147
|
-
const derivedFields: IR.IRField[] = entity.derived.map(d => ({
|
|
148
|
-
name: d.name,
|
|
149
|
-
type: "json",
|
|
150
|
-
nullable: true,
|
|
151
|
-
unique: false,
|
|
152
|
-
indexed: false,
|
|
153
|
-
default_value: `GENERATED ALWAYS AS (${serializeExpr(d.expr)}) STORED`,
|
|
154
|
-
}));
|
|
155
|
-
|
|
156
|
-
const indexes: IR.IRIndex[] = entity.indexes.map(idx => ({ fields: idx, unique: false }));
|
|
157
|
-
|
|
158
|
-
const modelConstraints: IR.IRModelConstraint[] = [];
|
|
159
|
-
for (const c of entity.constraints) {
|
|
160
|
-
const serialized = serializeExpr(c);
|
|
161
|
-
if (c.kind === "FieldRef" && c.path[c.path.length - 1] === "unique") {
|
|
162
|
-
const field = c.path.slice(0, -1).join(".");
|
|
163
|
-
modelConstraints.push({ kind: "unique", target: field, params: {} });
|
|
164
|
-
indexes.push({ fields: [field], unique: true });
|
|
165
|
-
} else {
|
|
166
|
-
modelConstraints.push({ kind: "check", target: entity.name, params: { expression: serialized } });
|
|
167
|
-
}
|
|
168
|
-
}
|
|
169
|
-
|
|
170
|
-
const model: IR.IRModel = {
|
|
171
|
-
name: entity.name,
|
|
172
|
-
fields: [...fields, ...derivedFields],
|
|
173
|
-
primary_key: "id",
|
|
174
|
-
indexes,
|
|
175
|
-
constraints: modelConstraints,
|
|
176
|
-
};
|
|
177
|
-
|
|
178
|
-
// State machine
|
|
179
|
-
const stateMachines: IR.IRStateMachine[] = [];
|
|
180
|
-
if (entity.states) {
|
|
181
|
-
const states = entity.states.nodes.map(n => n.name);
|
|
182
|
-
const transitions: IR.IRTransition[] = [];
|
|
183
|
-
for (const node of entity.states.nodes) {
|
|
184
|
-
for (const target of node.transitions) {
|
|
185
|
-
transitions.push({ from: node.name, to: target, trigger: `${node.name}_to_${target}`, guard: null });
|
|
186
|
-
}
|
|
187
|
-
for (const target of node.branches) {
|
|
188
|
-
transitions.push({ from: node.name, to: target, trigger: `${node.name}_to_${target}`, guard: null });
|
|
189
|
-
}
|
|
190
|
-
}
|
|
191
|
-
stateMachines.push({ entity: entity.name, states, initial: states[0], transitions });
|
|
192
|
-
}
|
|
193
|
-
|
|
194
|
-
// Methods: CRUD + capabilities
|
|
195
|
-
const methods: IR.IRMethod[] = [
|
|
196
|
-
makeCrudMethod("create", entity.name, fields),
|
|
197
|
-
makeCrudMethod("read", entity.name, fields),
|
|
198
|
-
makeCrudMethod("update", entity.name, fields),
|
|
199
|
-
makeCrudMethod("delete", entity.name, fields),
|
|
200
|
-
makeCrudMethod("list", entity.name, fields),
|
|
201
|
-
...capabilities.map(lowerCapability),
|
|
202
|
-
];
|
|
203
|
-
|
|
204
|
-
// Relations
|
|
205
|
-
const relations: IR.IRRelation[] = entity.relations.map(rel => {
|
|
206
|
-
const fromTable = toSnakeCase(entity.name) + "s";
|
|
207
|
-
const toTable = toSnakeCase(rel.target) + "s";
|
|
208
|
-
let foreignKey: string;
|
|
209
|
-
let junctionTable: string | undefined;
|
|
210
|
-
|
|
211
|
-
switch (rel.relationType) {
|
|
212
|
-
case "belongs_to":
|
|
213
|
-
foreignKey = toSnakeCase(rel.target) + "_id";
|
|
214
|
-
break;
|
|
215
|
-
case "has_one":
|
|
216
|
-
case "has_many":
|
|
217
|
-
foreignKey = toSnakeCase(entity.name) + "_id";
|
|
218
|
-
break;
|
|
219
|
-
case "many_to_many":
|
|
220
|
-
foreignKey = toSnakeCase(entity.name) + "_id";
|
|
221
|
-
junctionTable = [fromTable, toTable].sort().join("_");
|
|
222
|
-
break;
|
|
223
|
-
default:
|
|
224
|
-
foreignKey = toSnakeCase(rel.target) + "_id";
|
|
225
|
-
}
|
|
226
|
-
|
|
227
|
-
return {
|
|
228
|
-
name: rel.name,
|
|
229
|
-
kind: rel.relationType,
|
|
230
|
-
from_entity: entity.name,
|
|
231
|
-
to_entity: rel.target,
|
|
232
|
-
from_table: fromTable,
|
|
233
|
-
to_table: toTable,
|
|
234
|
-
foreign_key: foreignKey,
|
|
235
|
-
junction_table: junctionTable,
|
|
236
|
-
cardinality: rel.cardinality ?? undefined,
|
|
237
|
-
};
|
|
238
|
-
});
|
|
239
|
-
|
|
240
|
-
const relatedStore = stores.find(s => s.name.toLowerCase().includes(entity.name.toLowerCase()));
|
|
241
|
-
const deps = relatedStore ? [makeId(systemName, "data_store", relatedStore.name)] : [];
|
|
242
|
-
|
|
243
|
-
return {
|
|
244
|
-
id: moduleId,
|
|
245
|
-
kind: "api_service",
|
|
246
|
-
name: `${entity.name}Service`,
|
|
247
|
-
interfaces: [{ name: `I${entity.name}Service`, methods }],
|
|
248
|
-
models: [model],
|
|
249
|
-
events: [],
|
|
250
|
-
state_machines: stateMachines,
|
|
251
|
-
relations,
|
|
252
|
-
dependencies: deps,
|
|
253
|
-
config: {
|
|
254
|
-
authenticated: entity.auth !== null && entity.auth !== "none",
|
|
255
|
-
auth_method: entity.auth || "none",
|
|
256
|
-
},
|
|
257
|
-
};
|
|
258
|
-
}
|
package/src/lowering_helpers.ts
DELETED
|
@@ -1,75 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BoneScript Lowering Helpers
|
|
3
|
-
* Shared utilities used across all lowering phases:
|
|
4
|
-
* - Deterministic ID generation
|
|
5
|
-
* - Duration string parsing
|
|
6
|
-
* - AST type/expression serialization
|
|
7
|
-
*/
|
|
8
|
-
|
|
9
|
-
import { createHash } from "crypto";
|
|
10
|
-
import * as AST from "./ast";
|
|
11
|
-
|
|
12
|
-
// ─── Deterministic ID Generation ─────────────────────────────────────────────
|
|
13
|
-
|
|
14
|
-
export function makeId(systemName: string, kind: string, name: string): string {
|
|
15
|
-
return createHash("sha256")
|
|
16
|
-
.update(`${systemName}.${kind}.${name}`)
|
|
17
|
-
.digest("hex")
|
|
18
|
-
.slice(0, 16);
|
|
19
|
-
}
|
|
20
|
-
|
|
21
|
-
// ─── Duration Parsing ─────────────────────────────────────────────────────────
|
|
22
|
-
|
|
23
|
-
export function parseDurationMs(dur: string | null): number | null {
|
|
24
|
-
if (!dur) return null;
|
|
25
|
-
const match = dur.match(/^(\d+)(ms|s|m|h|d)$/);
|
|
26
|
-
if (!match) return null;
|
|
27
|
-
const value = parseInt(match[1], 10);
|
|
28
|
-
switch (match[2]) {
|
|
29
|
-
case "ms": return value;
|
|
30
|
-
case "s": return value * 1_000;
|
|
31
|
-
case "m": return value * 60_000;
|
|
32
|
-
case "h": return value * 3_600_000;
|
|
33
|
-
case "d": return value * 86_400_000;
|
|
34
|
-
default: return null;
|
|
35
|
-
}
|
|
36
|
-
}
|
|
37
|
-
|
|
38
|
-
// ─── Type Expression Serialization ───────────────────────────────────────────
|
|
39
|
-
|
|
40
|
-
export function serializeType(t: AST.TypeExprNode): string {
|
|
41
|
-
switch (t.kind) {
|
|
42
|
-
case "PrimitiveType": return t.name;
|
|
43
|
-
case "GenericType": return `${t.name}<${t.typeArgs.map(serializeType).join(", ")}>`;
|
|
44
|
-
case "EntityRefType": return t.name;
|
|
45
|
-
case "TupleType": return `(${t.elements.map(serializeType).join(", ")})`;
|
|
46
|
-
case "UnionType": return t.members.map(serializeType).join(" | ");
|
|
47
|
-
}
|
|
48
|
-
}
|
|
49
|
-
|
|
50
|
-
// ─── Expression Serialization ─────────────────────────────────────────────────
|
|
51
|
-
|
|
52
|
-
export function serializeExpr(e: AST.ExprNode): string {
|
|
53
|
-
switch (e.kind) {
|
|
54
|
-
case "Literal":
|
|
55
|
-
if (e.type === "string") return `"${e.value}"`;
|
|
56
|
-
if (e.type === "list") return `[${(e.value as AST.ExprNode[]).map(serializeExpr).join(", ")}]`;
|
|
57
|
-
return String(e.value);
|
|
58
|
-
case "FieldRef":
|
|
59
|
-
return e.path.join(".");
|
|
60
|
-
case "BinaryExpr":
|
|
61
|
-
return `(${serializeExpr(e.left)} ${e.op} ${serializeExpr(e.right)})`;
|
|
62
|
-
case "UnaryExpr":
|
|
63
|
-
return `(${e.op} ${serializeExpr(e.operand)})`;
|
|
64
|
-
case "CallExpr":
|
|
65
|
-
return `${e.name}(${e.args.map(serializeExpr).join(", ")})`;
|
|
66
|
-
case "TernaryExpr":
|
|
67
|
-
return `(${serializeExpr(e.condition)} ? ${serializeExpr(e.consequent)} : ${serializeExpr(e.alternate)})`;
|
|
68
|
-
}
|
|
69
|
-
}
|
|
70
|
-
|
|
71
|
-
// ─── Shared snake_case helper ─────────────────────────────────────────────────
|
|
72
|
-
|
|
73
|
-
export function toSnakeCase(s: string): string {
|
|
74
|
-
return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
|
|
75
|
-
}
|