bonescript-compiler 0.2.1 → 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.
Files changed (167) hide show
  1. package/LICENSE +21 -21
  2. package/dist/algorithm_catalog.js +166 -166
  3. package/dist/cli.d.ts +2 -1
  4. package/dist/cli.js +75 -543
  5. package/dist/cli.js.map +1 -1
  6. package/dist/commands/check.d.ts +5 -0
  7. package/dist/commands/check.js +34 -0
  8. package/dist/commands/check.js.map +1 -0
  9. package/dist/commands/compile.d.ts +5 -0
  10. package/dist/commands/compile.js +215 -0
  11. package/dist/commands/compile.js.map +1 -0
  12. package/dist/commands/debug.d.ts +5 -0
  13. package/dist/commands/debug.js +59 -0
  14. package/dist/commands/debug.js.map +1 -0
  15. package/dist/commands/diff.d.ts +5 -0
  16. package/dist/commands/diff.js +125 -0
  17. package/dist/commands/diff.js.map +1 -0
  18. package/dist/commands/fmt.d.ts +5 -0
  19. package/dist/commands/fmt.js +49 -0
  20. package/dist/commands/fmt.js.map +1 -0
  21. package/dist/commands/init.d.ts +5 -0
  22. package/dist/commands/init.js +96 -0
  23. package/dist/commands/init.js.map +1 -0
  24. package/dist/commands/ir.d.ts +5 -0
  25. package/dist/commands/ir.js +27 -0
  26. package/dist/commands/ir.js.map +1 -0
  27. package/dist/commands/lex.d.ts +5 -0
  28. package/dist/commands/lex.js +21 -0
  29. package/dist/commands/lex.js.map +1 -0
  30. package/dist/commands/parse.d.ts +5 -0
  31. package/dist/commands/parse.js +30 -0
  32. package/dist/commands/parse.js.map +1 -0
  33. package/dist/commands/test.d.ts +5 -0
  34. package/dist/commands/test.js +61 -0
  35. package/dist/commands/test.js.map +1 -0
  36. package/dist/commands/verify_determinism.d.ts +5 -0
  37. package/dist/commands/verify_determinism.js +64 -0
  38. package/dist/commands/verify_determinism.js.map +1 -0
  39. package/dist/commands/watch.d.ts +5 -0
  40. package/dist/commands/watch.js +50 -0
  41. package/dist/commands/watch.js.map +1 -0
  42. package/dist/emit_auth.d.ts +6 -0
  43. package/dist/emit_auth.js +69 -0
  44. package/dist/emit_auth.js.map +1 -0
  45. package/dist/emit_capability.d.ts +13 -0
  46. package/dist/emit_capability.js +292 -128
  47. package/dist/emit_capability.js.map +1 -1
  48. package/dist/emit_composition.js +37 -3
  49. package/dist/emit_composition.js.map +1 -1
  50. package/dist/emit_database.d.ts +7 -0
  51. package/dist/emit_database.js +74 -0
  52. package/dist/emit_database.js.map +1 -0
  53. package/dist/emit_deploy.js +162 -162
  54. package/dist/emit_events.d.ts +1 -0
  55. package/dist/emit_events.js +342 -275
  56. package/dist/emit_events.js.map +1 -1
  57. package/dist/emit_full.js +135 -95
  58. package/dist/emit_full.js.map +1 -1
  59. package/dist/emit_index.d.ts +6 -0
  60. package/dist/emit_index.js +157 -0
  61. package/dist/emit_index.js.map +1 -0
  62. package/dist/emit_maintenance.js +249 -249
  63. package/dist/emit_models.d.ts +12 -0
  64. package/dist/emit_models.js +171 -0
  65. package/dist/emit_models.js.map +1 -0
  66. package/dist/emit_openapi.d.ts +9 -0
  67. package/dist/emit_openapi.js +308 -0
  68. package/dist/emit_openapi.js.map +1 -0
  69. package/dist/emit_package.d.ts +7 -0
  70. package/dist/emit_package.js +70 -0
  71. package/dist/emit_package.js.map +1 -0
  72. package/dist/emit_router.d.ts +12 -0
  73. package/dist/emit_router.js +390 -0
  74. package/dist/emit_router.js.map +1 -0
  75. package/dist/emit_runtime.d.ts +17 -11
  76. package/dist/emit_runtime.js +29 -686
  77. package/dist/emit_runtime.js.map +1 -1
  78. package/dist/emit_sourcemap.js +66 -66
  79. package/dist/emit_tests.js +37 -0
  80. package/dist/emit_tests.js.map +1 -1
  81. package/dist/emitter.js +34 -5
  82. package/dist/emitter.js.map +1 -1
  83. package/dist/extension_manager.d.ts +2 -2
  84. package/dist/extension_manager.js +6 -3
  85. package/dist/extension_manager.js.map +1 -1
  86. package/dist/lowering.d.ts +5 -14
  87. package/dist/lowering.js +47 -417
  88. package/dist/lowering.js.map +1 -1
  89. package/dist/lowering_channels.d.ts +11 -0
  90. package/dist/lowering_channels.js +102 -0
  91. package/dist/lowering_channels.js.map +1 -0
  92. package/dist/lowering_entities.d.ts +11 -0
  93. package/dist/lowering_entities.js +222 -0
  94. package/dist/lowering_entities.js.map +1 -0
  95. package/dist/lowering_helpers.d.ts +13 -0
  96. package/dist/lowering_helpers.js +76 -0
  97. package/dist/lowering_helpers.js.map +1 -0
  98. package/dist/module_loader.d.ts +2 -2
  99. package/dist/module_loader.js +20 -23
  100. package/dist/module_loader.js.map +1 -1
  101. package/dist/scaffold.d.ts +2 -2
  102. package/dist/scaffold.js +316 -319
  103. package/dist/scaffold.js.map +1 -1
  104. package/dist/typechecker.js +32 -13
  105. package/dist/typechecker.js.map +1 -1
  106. package/dist/verifier.d.ts +5 -0
  107. package/dist/verifier.js +140 -2
  108. package/dist/verifier.js.map +1 -1
  109. package/package.json +62 -52
  110. package/src/algorithm_catalog.ts +345 -345
  111. package/src/ast.ts +334 -334
  112. package/src/cli.ts +98 -624
  113. package/src/commands/check.ts +33 -0
  114. package/src/commands/compile.ts +191 -0
  115. package/src/commands/debug.ts +33 -0
  116. package/src/commands/diff.ts +108 -0
  117. package/src/commands/fmt.ts +22 -0
  118. package/src/commands/init.ts +72 -0
  119. package/src/commands/ir.ts +23 -0
  120. package/src/commands/lex.ts +17 -0
  121. package/src/commands/parse.ts +24 -0
  122. package/src/commands/test.ts +36 -0
  123. package/src/commands/verify_determinism.ts +66 -0
  124. package/src/commands/watch.ts +25 -0
  125. package/src/emit_auth.ts +67 -0
  126. package/src/emit_batch.ts +140 -140
  127. package/src/emit_capability.ts +617 -436
  128. package/src/emit_composition.ts +229 -196
  129. package/src/emit_database.ts +75 -0
  130. package/src/emit_deploy.ts +190 -190
  131. package/src/emit_events.ts +377 -307
  132. package/src/emit_extras.ts +240 -240
  133. package/src/emit_full.ts +351 -309
  134. package/src/emit_index.ts +161 -0
  135. package/src/emit_maintenance.ts +459 -459
  136. package/src/emit_models.ts +176 -0
  137. package/src/emit_openapi.ts +318 -0
  138. package/src/emit_package.ts +69 -0
  139. package/src/emit_router.ts +409 -0
  140. package/src/emit_runtime.ts +17 -728
  141. package/src/emit_sourcemap.ts +140 -140
  142. package/src/emit_tests.ts +246 -205
  143. package/src/emit_websocket.ts +229 -229
  144. package/src/emitter.ts +31 -5
  145. package/src/extension_manager.ts +189 -187
  146. package/src/formatter.ts +297 -297
  147. package/src/index.ts +88 -88
  148. package/src/ir.ts +215 -215
  149. package/src/lexer.ts +630 -630
  150. package/src/lowering.ts +142 -556
  151. package/src/lowering_channels.ts +107 -0
  152. package/src/lowering_entities.ts +248 -0
  153. package/src/lowering_helpers.ts +75 -0
  154. package/src/module_loader.ts +112 -114
  155. package/src/optimizer.ts +196 -196
  156. package/src/parse_decls.ts +409 -409
  157. package/src/parse_decls2.ts +244 -244
  158. package/src/parse_expr.ts +197 -197
  159. package/src/parse_types.ts +54 -54
  160. package/src/parser.ts +1 -1
  161. package/src/parser_base.ts +57 -57
  162. package/src/parser_recovery.ts +153 -153
  163. package/src/scaffold.ts +372 -375
  164. package/src/solver.ts +330 -330
  165. package/src/typechecker.ts +30 -15
  166. package/src/types.ts +122 -122
  167. package/src/verifier.ts +151 -4
package/dist/lowering.js CHANGED
@@ -1,84 +1,24 @@
1
1
  "use strict";
2
2
  /**
3
- * bone ir Lowering — Stage 4 of the compilation pipeline.
3
+ * BoneScript Lowering Stage 4 of the compilation pipeline.
4
4
  * Converts typed AST into the Architecture IR (spec/07_IR_SPEC.md).
5
5
  *
6
- * Rules:
7
- * - One module per semantic component
8
- * - All IDs are deterministic (derived from system name + component name)
9
- * - All ontology-entailed fields are inserted
10
- * - Effects are serialized in declaration order
6
+ * This file is the orchestrator. The actual lowering logic lives in:
7
+ * lowering_helpers.ts — makeId, parseDurationMs, serializeExpr/Type
8
+ * lowering_entities.ts — lowerEntity, lowerCapability, lowerField, makeCrudMethod
9
+ * lowering_channels.ts — lowerStore, lowerChannel, lowerEvent, lowerFlow
11
10
  */
12
11
  Object.defineProperty(exports, "__esModule", { value: true });
13
12
  exports.Lowering = void 0;
14
- const crypto_1 = require("crypto");
15
- function toSnakeCase(s) {
16
- return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
17
- }
18
- // ─── Deterministic ID Generation ─────────────────────────────────────────────
19
- function makeId(systemName, kind, name) {
20
- const input = `${systemName}.${kind}.${name}`;
21
- return (0, crypto_1.createHash)("sha256").update(input).digest("hex").slice(0, 16);
22
- }
23
- // ─── Duration Parsing ────────────────────────────────────────────────────────
24
- function parseDurationMs(dur) {
25
- if (!dur)
26
- return null;
27
- const match = dur.match(/^(\d+)(ms|s|m|h|d)$/);
28
- if (!match)
29
- return null;
30
- const value = parseInt(match[1], 10);
31
- switch (match[2]) {
32
- case "ms": return value;
33
- case "s": return value * 1000;
34
- case "m": return value * 60000;
35
- case "h": return value * 3600000;
36
- case "d": return value * 86400000;
37
- default: return null;
38
- }
39
- }
40
- // ─── Type Expression Serialization ───────────────────────────────────────────
41
- function serializeType(t) {
42
- switch (t.kind) {
43
- case "PrimitiveType": return t.name;
44
- case "GenericType": return `${t.name}<${t.typeArgs.map(serializeType).join(", ")}>`;
45
- case "EntityRefType": return t.name;
46
- case "TupleType": return `(${t.elements.map(serializeType).join(", ")})`;
47
- case "UnionType": return t.members.map(serializeType).join(" | ");
48
- }
49
- }
50
- // ─── Expression Serialization ────────────────────────────────────────────────
51
- function serializeExpr(e) {
52
- switch (e.kind) {
53
- case "Literal":
54
- if (e.type === "string")
55
- return `"${e.value}"`;
56
- if (e.type === "list")
57
- return `[${e.value.map(serializeExpr).join(", ")}]`;
58
- return String(e.value);
59
- case "FieldRef":
60
- return e.path.join(".");
61
- case "BinaryExpr":
62
- return `(${serializeExpr(e.left)} ${e.op} ${serializeExpr(e.right)})`;
63
- case "UnaryExpr":
64
- return `(${e.op} ${serializeExpr(e.operand)})`;
65
- case "CallExpr":
66
- return `${e.name}(${e.args.map(serializeExpr).join(", ")})`;
67
- case "TernaryExpr":
68
- return `(${serializeExpr(e.condition)} ? ${serializeExpr(e.consequent)} : ${serializeExpr(e.alternate)})`;
69
- }
70
- }
71
- // ─── Lowering Engine ─────────────────────────────────────────────────────────
13
+ const lowering_helpers_1 = require("./lowering_helpers");
14
+ const lowering_entities_1 = require("./lowering_entities");
15
+ const lowering_channels_1 = require("./lowering_channels");
72
16
  class Lowering {
73
17
  constructor() {
74
18
  this.systemName = "";
75
19
  }
76
20
  lower(program, sourceHash) {
77
- const systems = [];
78
- for (const sys of program.systems) {
79
- systems.push(this.lowerSystem(sys, sourceHash));
80
- }
81
- return systems;
21
+ return program.systems.map(sys => this.lowerSystem(sys, sourceHash));
82
22
  }
83
23
  lowerSystem(sys, sourceHash) {
84
24
  this.systemName = sys.name;
@@ -86,7 +26,7 @@ class Lowering {
86
26
  const events = [];
87
27
  const flows = [];
88
28
  const invariants = [];
89
- // Collect declarations by type
29
+ // Partition declarations by kind
90
30
  const entities = sys.declarations.filter((d) => d.kind === "EntityDecl");
91
31
  const capabilities = sys.declarations.filter((d) => d.kind === "CapabilityDecl");
92
32
  const channels = sys.declarations.filter((d) => d.kind === "ChannelDecl");
@@ -96,36 +36,51 @@ class Lowering {
96
36
  const policies = sys.declarations.filter((d) => d.kind === "PolicyDecl");
97
37
  const flowDecls = sys.declarations.filter((d) => d.kind === "FlowDecl");
98
38
  const extensionPoints = sys.declarations.filter((d) => d.kind === "ExtensionPointDecl");
99
- // Lower stores → data_store modules
39
+ // Stores data_store modules
100
40
  for (const store of stores) {
101
- modules.push(this.lowerStore(store));
41
+ modules.push((0, lowering_channels_1.lowerStore)(this.systemName, store));
102
42
  }
103
- // Lower entities → api_service modules (with CRUD + capabilities)
43
+ // Entities api_service modules (with CRUD + related capabilities)
104
44
  for (const entity of entities) {
105
45
  const relatedCaps = capabilities.filter(c => c.params.some(p => p.type.kind === "EntityRefType" && p.type.name === entity.name));
106
- modules.push(this.lowerEntity(entity, relatedCaps, stores));
46
+ modules.push((0, lowering_entities_1.lowerEntity)(this.systemName, entity, relatedCaps, stores));
107
47
  }
108
- // Lower channels → realtime_service modules
48
+ // Channels realtime_service modules
109
49
  for (const channel of channels) {
110
- modules.push(this.lowerChannel(channel));
50
+ modules.push((0, lowering_channels_1.lowerChannel)(this.systemName, channel));
111
51
  }
112
- // Lower events
52
+ // Build a map from event name → emitting module id by scanning all capabilities
53
+ // across all entities. This resolves the event source before lowering events.
54
+ const eventSourceMap = new Map();
55
+ for (const entity of entities) {
56
+ const moduleId = (0, lowering_helpers_1.makeId)(this.systemName, "api_service", `${entity.name}Service`);
57
+ const relatedCaps = capabilities.filter(c => c.params.some(p => p.type.kind === "EntityRefType" && p.type.name === entity.name));
58
+ for (const cap of relatedCaps) {
59
+ for (const emit of cap.emits) {
60
+ if (!eventSourceMap.has(emit.eventName)) {
61
+ eventSourceMap.set(emit.eventName, moduleId);
62
+ }
63
+ }
64
+ }
65
+ }
66
+ // Events
113
67
  for (const ev of eventDecls) {
114
- events.push(this.lowerEvent(ev));
68
+ const source = eventSourceMap.get(ev.name) || "unknown";
69
+ events.push((0, lowering_channels_1.lowerEvent)(this.systemName, ev, source));
115
70
  }
116
- // Lower flows
71
+ // Flows
117
72
  for (const flow of flowDecls) {
118
- flows.push(this.lowerFlow(flow));
73
+ flows.push((0, lowering_channels_1.lowerFlow)(this.systemName, flow));
119
74
  }
120
- // Lower constraints → invariants
75
+ // Constraints invariants
121
76
  for (const c of constraints) {
122
77
  invariants.push({
123
- id: makeId(this.systemName, "invariant", c.name),
124
- expression: serializeExpr(c.expr),
78
+ id: (0, lowering_helpers_1.makeId)(this.systemName, "invariant", c.name),
79
+ expression: (0, lowering_helpers_1.serializeExpr)(c.expr),
125
80
  scope: "global",
126
81
  });
127
82
  }
128
- // Add gateway module (ontology: always present)
83
+ // Gateway module (always present per ontology)
129
84
  const gatewayConfig = {
130
85
  rate_limit: 1000,
131
86
  cors: true,
@@ -133,15 +88,13 @@ class Lowering {
133
88
  };
134
89
  if (policies.length > 0) {
135
90
  const mainPolicy = policies[0];
136
- if (mainPolicy.rateLimit) {
91
+ if (mainPolicy.rateLimit)
137
92
  gatewayConfig["rate_limit"] = mainPolicy.rateLimit.count;
138
- }
139
- if (mainPolicy.encryption) {
93
+ if (mainPolicy.encryption)
140
94
  gatewayConfig["encryption"] = mainPolicy.encryption;
141
- }
142
95
  }
143
96
  modules.push({
144
- id: makeId(this.systemName, "gateway", "APIGateway"),
97
+ id: (0, lowering_helpers_1.makeId)(this.systemName, "gateway", "APIGateway"),
145
98
  kind: "gateway",
146
99
  name: "APIGateway",
147
100
  interfaces: [],
@@ -149,7 +102,9 @@ class Lowering {
149
102
  events: [],
150
103
  state_machines: [],
151
104
  relations: [],
152
- dependencies: modules.filter(m => m.kind === "api_service" || m.kind === "realtime_service").map(m => m.id),
105
+ dependencies: modules
106
+ .filter(m => m.kind === "api_service" || m.kind === "realtime_service")
107
+ .map(m => m.id),
153
108
  config: gatewayConfig,
154
109
  });
155
110
  return {
@@ -164,337 +119,12 @@ class Lowering {
164
119
  resolution: {},
165
120
  extension_points: extensionPoints.map(ep => ({
166
121
  name: ep.name,
167
- params: ep.params.map(p => ({ name: p.name, type: serializeType(p.type) })),
168
- returns: ep.returns ? serializeType(ep.returns) : null,
122
+ params: ep.params.map(p => ({ name: p.name, type: (0, lowering_helpers_1.serializeType)(p.type) })),
123
+ returns: ep.returns ? (0, lowering_helpers_1.serializeType)(ep.returns) : null,
169
124
  stable: ep.stable,
170
125
  })),
171
126
  };
172
127
  }
173
- // ─── Store Lowering ────────────────────────────────────────────────────────
174
- lowerStore(store) {
175
- // Strip "Store" suffix from model name so SellerStore → Seller → table "sellers"
176
- const entityName = store.name.replace(/Store$/, "") || store.name;
177
- const model = {
178
- name: entityName,
179
- fields: store.schema.map(f => this.lowerField(f)),
180
- primary_key: "id",
181
- indexes: [],
182
- constraints: [],
183
- };
184
- // Add id field if not present
185
- if (!model.fields.find(f => f.name === "id")) {
186
- model.fields.unshift({
187
- name: "id", type: "uuid", nullable: false, unique: true, indexed: true, default_value: "gen_random_uuid()",
188
- });
189
- }
190
- return {
191
- id: makeId(this.systemName, "data_store", store.name),
192
- kind: "data_store",
193
- name: store.name,
194
- interfaces: [],
195
- models: [model],
196
- events: [],
197
- state_machines: [],
198
- relations: [],
199
- dependencies: [],
200
- config: {
201
- engine: store.engine || "postgresql",
202
- replicas: store.replicas || 1,
203
- ...(store.retention ? { retention_ms: parseDurationMs(store.retention) || 0 } : {}),
204
- ...(store.partition ? { partition_key: store.partition } : {}),
205
- },
206
- };
207
- }
208
- // ─── Entity Lowering ───────────────────────────────────────────────────────
209
- lowerEntity(entity, capabilities, stores) {
210
- const moduleId = makeId(this.systemName, "api_service", `${entity.name}Service`);
211
- // Build model from entity fields + ontology entailments
212
- const fields = [
213
- { name: "id", type: "uuid", nullable: false, unique: true, indexed: true, default_value: "gen_random_uuid()" },
214
- { name: "created_at", type: "timestamp", nullable: false, unique: false, indexed: true, default_value: "now()" },
215
- { name: "updated_at", type: "timestamp", nullable: false, unique: false, indexed: false, default_value: "now()" },
216
- ];
217
- for (const f of entity.owns) {
218
- fields.push(this.lowerField(f));
219
- }
220
- // Add derived fields as generated columns (stored: false = virtual)
221
- const derivedFields = entity.derived.map(d => ({
222
- name: d.name,
223
- type: "json", // type inferred at runtime
224
- nullable: true,
225
- unique: false,
226
- indexed: false,
227
- default_value: `GENERATED ALWAYS AS (${serializeExpr(d.expr)}) STORED`,
228
- }));
229
- // Build indexes from entity index declarations
230
- const indexes = [];
231
- for (const idx of entity.indexes) {
232
- indexes.push({ fields: idx, unique: false });
233
- }
234
- // Build constraints from entity constraints
235
- const modelConstraints = [];
236
- for (const c of entity.constraints) {
237
- const serialized = serializeExpr(c);
238
- // Detect unique constraints
239
- if (c.kind === "FieldRef" && c.path[c.path.length - 1] === "unique") {
240
- const field = c.path.slice(0, -1).join(".");
241
- modelConstraints.push({ kind: "unique", target: field, params: {} });
242
- indexes.push({ fields: [field], unique: true });
243
- }
244
- else {
245
- modelConstraints.push({ kind: "check", target: entity.name, params: { expression: serialized } });
246
- }
247
- }
248
- const model = {
249
- name: entity.name,
250
- fields: [...fields, ...derivedFields],
251
- primary_key: "id",
252
- indexes,
253
- constraints: modelConstraints,
254
- };
255
- // Build state machine if entity has states
256
- const stateMachines = [];
257
- if (entity.states) {
258
- const states = entity.states.nodes.map(n => n.name);
259
- const transitions = [];
260
- for (const node of entity.states.nodes) {
261
- for (const target of node.transitions) {
262
- transitions.push({ from: node.name, to: target, trigger: `${node.name}_to_${target}`, guard: null });
263
- }
264
- for (const target of node.branches) {
265
- transitions.push({ from: node.name, to: target, trigger: `${node.name}_to_${target}`, guard: null });
266
- }
267
- }
268
- stateMachines.push({
269
- entity: entity.name,
270
- states,
271
- initial: states[0],
272
- transitions,
273
- });
274
- }
275
- // Build interface from capabilities
276
- const methods = [];
277
- // CRUD methods (always generated for entities)
278
- methods.push(this.makeCrudMethod("create", entity.name, fields));
279
- methods.push(this.makeCrudMethod("read", entity.name, fields));
280
- methods.push(this.makeCrudMethod("update", entity.name, fields));
281
- methods.push(this.makeCrudMethod("delete", entity.name, fields));
282
- methods.push(this.makeCrudMethod("list", entity.name, fields));
283
- // Capability-derived methods
284
- for (const cap of capabilities) {
285
- methods.push(this.lowerCapability(cap));
286
- }
287
- const iface = {
288
- name: `I${entity.name}Service`,
289
- methods,
290
- };
291
- // Find related store
292
- const relatedStore = stores.find(s => s.name.toLowerCase().includes(entity.name.toLowerCase()));
293
- const deps = [];
294
- if (relatedStore) {
295
- deps.push(makeId(this.systemName, "data_store", relatedStore.name));
296
- }
297
- // Lower relations
298
- const relations = entity.relations.map(rel => {
299
- const fromTable = toSnakeCase(entity.name) + "s";
300
- const toTable = toSnakeCase(rel.target) + "s";
301
- let foreignKey;
302
- let junctionTable;
303
- switch (rel.relationType) {
304
- case "belongs_to":
305
- foreignKey = toSnakeCase(rel.target) + "_id";
306
- break;
307
- case "has_one":
308
- case "has_many":
309
- foreignKey = toSnakeCase(entity.name) + "_id";
310
- break;
311
- case "many_to_many":
312
- foreignKey = toSnakeCase(entity.name) + "_id";
313
- junctionTable = [fromTable, toTable].sort().join("_");
314
- break;
315
- default:
316
- foreignKey = toSnakeCase(rel.target) + "_id";
317
- }
318
- return {
319
- name: rel.name,
320
- kind: rel.relationType,
321
- from_entity: entity.name,
322
- to_entity: rel.target,
323
- from_table: fromTable,
324
- to_table: toTable,
325
- foreign_key: foreignKey,
326
- junction_table: junctionTable,
327
- };
328
- });
329
- return {
330
- id: moduleId,
331
- kind: "api_service",
332
- name: `${entity.name}Service`,
333
- interfaces: [iface],
334
- models: [model],
335
- events: [],
336
- state_machines: stateMachines,
337
- relations,
338
- dependencies: deps,
339
- config: {
340
- authenticated: entity.auth !== null && entity.auth !== "none",
341
- auth_method: entity.auth || "none",
342
- },
343
- };
344
- }
345
- makeCrudMethod(op, entityName, fields) {
346
- const input = op === "create" || op === "update"
347
- ? fields.filter(f => f.name !== "id" && f.name !== "created_at" && f.name !== "updated_at")
348
- : op === "list"
349
- ? [
350
- { name: "page", type: "uint", nullable: true, unique: false, indexed: false, default_value: "1" },
351
- { name: "page_size", type: "uint", nullable: true, unique: false, indexed: false, default_value: "50" },
352
- ]
353
- : [{ name: "id", type: "uuid", nullable: false, unique: true, indexed: true, default_value: null }];
354
- return {
355
- name: op,
356
- input,
357
- output: op === "list" ? `list<${entityName}>` : op === "delete" ? "bool" : entityName,
358
- preconditions: [],
359
- effects: [],
360
- emissions: [],
361
- idempotent: op === "read" || op === "list",
362
- authenticated: true,
363
- timeout_ms: 30000,
364
- retry: null,
365
- pipeline: null,
366
- algorithm: null,
367
- sync: null,
368
- };
369
- }
370
- lowerCapability(cap) {
371
- const input = cap.params.map(p => ({
372
- name: p.name,
373
- type: serializeType(p.type),
374
- nullable: false,
375
- unique: false,
376
- indexed: false,
377
- default_value: null,
378
- }));
379
- const preconditions = cap.requires.map(r => ({
380
- expression: serializeExpr(r),
381
- description: serializeExpr(r),
382
- }));
383
- const effects = cap.effects.map(e => ({
384
- target: e.target.path.join("."),
385
- op: e.op === "=" ? "assign" : e.op === "+=" ? "add" : "remove",
386
- value: serializeExpr(e.value),
387
- }));
388
- const emissions = cap.emits.map(e => e.eventName);
389
- // Lower pipeline if present
390
- let pipeline = null;
391
- if (cap.pipeline) {
392
- pipeline = {
393
- parallel: cap.pipeline.parallel,
394
- steps: cap.pipeline.steps.map(step => ({
395
- call_name: step.call.name,
396
- call_args: step.call.args.map(a => serializeExpr(a)),
397
- bind_as: step.bindAs,
398
- })),
399
- on_error: cap.pipeline.onError ? {
400
- action: cap.pipeline.onError.action,
401
- call_name: cap.pipeline.onError.call?.name || null,
402
- call_args: cap.pipeline.onError.call?.args.map(a => serializeExpr(a)) || [],
403
- } : null,
404
- };
405
- }
406
- // Lower algorithm if present
407
- let algorithm = null;
408
- if (cap.algorithm) {
409
- algorithm = {
410
- catalog_name: cap.algorithm.name,
411
- bindings: cap.algorithm.using.map(b => ({
412
- param: b.param,
413
- value: serializeExpr(b.value),
414
- })),
415
- };
416
- }
417
- return {
418
- name: cap.name,
419
- input,
420
- output: cap.returns ? serializeType(cap.returns) : "result<void, error>",
421
- preconditions,
422
- effects,
423
- emissions,
424
- idempotent: cap.idempotent || false,
425
- authenticated: true,
426
- timeout_ms: parseDurationMs(cap.timeout) || 30000,
427
- retry: cap.retry ? {
428
- max_attempts: cap.retry.maxAttempts || 3,
429
- backoff: cap.retry.backoff || "exponential",
430
- interval_ms: parseDurationMs(cap.retry.interval) || 1000,
431
- } : null,
432
- pipeline,
433
- algorithm,
434
- sync: cap.sync,
435
- };
436
- }
437
- // ─── Channel Lowering ──────────────────────────────────────────────────────
438
- lowerChannel(channel) {
439
- return {
440
- id: makeId(this.systemName, "realtime_service", channel.name),
441
- kind: "realtime_service",
442
- name: channel.name,
443
- interfaces: [{
444
- name: `I${channel.name}Channel`,
445
- methods: [
446
- { name: "connect", input: [], output: "connection", preconditions: [], effects: [], emissions: [], idempotent: false, authenticated: true, timeout_ms: 5000, retry: null, pipeline: null, algorithm: null, sync: null },
447
- { name: "subscribe", input: [{ name: "topic", type: "string", nullable: false, unique: false, indexed: false, default_value: null }], output: "subscription", preconditions: [], effects: [], emissions: [], idempotent: true, authenticated: true, timeout_ms: 5000, retry: null, pipeline: null, algorithm: null, sync: null },
448
- { name: "publish", input: [{ name: "message", type: "json", nullable: false, unique: false, indexed: false, default_value: null }], output: "void", preconditions: [], effects: [], emissions: [], idempotent: false, authenticated: true, timeout_ms: 5000, retry: null, pipeline: null, algorithm: null, sync: null },
449
- ],
450
- }],
451
- models: [],
452
- events: [],
453
- state_machines: [],
454
- relations: [],
455
- dependencies: [],
456
- config: {
457
- transport: channel.transport || "websocket",
458
- ordering: channel.ordering || "fifo",
459
- persistence: channel.persistence || "none",
460
- max_size: channel.maxSize || 10000,
461
- },
462
- };
463
- }
464
- // ─── Event Lowering ────────────────────────────────────────────────────────
465
- lowerEvent(ev) {
466
- return {
467
- id: makeId(this.systemName, "event", ev.name),
468
- name: ev.name,
469
- payload: ev.payload.map(f => this.lowerField(f)),
470
- source: "unknown", // resolved during dependency resolution
471
- delivery: ev.delivery || "at_least_once",
472
- ordering: "fifo",
473
- ttl_ms: parseDurationMs(ev.ttl),
474
- };
475
- }
476
- // ─── Flow Lowering ─────────────────────────────────────────────────────────
477
- lowerFlow(flow) {
478
- return {
479
- name: flow.name,
480
- steps: flow.steps.map(s => ({
481
- name: s.name,
482
- action: `${s.action.name}(${s.action.args.map(serializeExpr).join(", ")})`,
483
- compensation: s.compensate ? `${s.compensate.name}(${s.compensate.args.map(serializeExpr).join(", ")})` : null,
484
- })),
485
- };
486
- }
487
- // ─── Field Lowering ────────────────────────────────────────────────────────
488
- lowerField(f) {
489
- return {
490
- name: f.name,
491
- type: serializeType(f.type),
492
- nullable: f.type.kind === "GenericType" && f.type.name === "optional",
493
- unique: false,
494
- indexed: false,
495
- default_value: f.defaultValue ? serializeExpr(f.defaultValue) : null,
496
- };
497
- }
498
128
  }
499
129
  exports.Lowering = Lowering;
500
130
  //# sourceMappingURL=lowering.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"lowering.js","sourceRoot":"","sources":["../src/lowering.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,mCAAoC;AAIpC,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,g4BAAg4B;AAEh4B,SAAS,MAAM,CAAC,UAAkB,EAAE,IAAY,EAAE,IAAY;IAC5D,MAAM,KAAK,GAAG,GAAG,UAAU,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;IAC9C,OAAO,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,2jCAA2jC;AAE3jC,SAAS,eAAe,CAAC,GAAkB;IACzC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC;QACxB,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,GAAG,IAAI,CAAC;QAC9B,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,GAAG,KAAM,CAAC;QAChC,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,GAAG,OAAS,CAAC;QACnC,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,GAAG,QAAU,CAAC;QACpC,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAED,81BAA81B;AAE91B,SAAS,aAAa,CAAC,CAAmB;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;QACpC,KAAK,aAAa,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACpF,KAAK,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;QACpC,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzE,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,m7BAAm7B;AAEn7B,SAAS,aAAa,CAAC,CAAe;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC;YAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAK,CAAC,CAAC,KAAwB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC/F,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,KAAK,YAAY;YACf,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACxE,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;QACjD,KAAK,UAAU;YACb,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9D,KAAK,aAAa;YAChB,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;IAC9G,CAAC;AACH,CAAC;AAED,4kCAA4kC;AAE5kC,MAAa,QAAQ;IAArB;QACU,eAAU,GAAW,EAAE,CAAC;IA4dlC,CAAC;IA1dC,KAAK,CAAC,OAAwB,EAAE,UAAkB;QAChD,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;QAClD,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,WAAW,CAAC,GAAuB,EAAE,UAAkB;QAC7D,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC;QAE3B,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAqB,EAAE,CAAC;QAExC,+BAA+B;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA2B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAClG,MAAM,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QAC9G,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA4B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QACpG,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAC9F,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAClG,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QAC7G,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA2B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAClG,MAAM,SAAS,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAyB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC/F,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC;QAEzH,sDAAsD;QACtD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,oFAAoF;QACpF,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CACnF,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9D,CAAC;QAED,8DAA8D;QAC9D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3C,CAAC;QAED,eAAe;QACf,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,cAAc;QACd,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,mDAAmD;QACnD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC;gBAChD,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;gBACjC,KAAK,EAAE,QAAQ;aAChB,CAAC,CAAC;QACL,CAAC;QAED,gDAAgD;QAChD,MAAM,aAAa,GAA8C;YAC/D,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,IAAI;YACV,GAAG,EAAE,IAAI;SACV,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;gBACzB,aAAa,CAAC,YAAY,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;YAC3D,CAAC;YACD,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;gBAC1B,aAAa,CAAC,YAAY,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;YACtD,CAAC;QACH,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC;YACpD,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE;YACb,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3G,MAAM,EAAE,aAAa;SACtB,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,OAAO,EAAE,OAAO;YAChB,WAAW,EAAE,UAAU;YACvB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO;YACP,MAAM;YACN,KAAK;YACL,UAAU;YACV,UAAU,EAAE,EAAE;YACd,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC3C,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3E,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;gBACtD,MAAM,EAAE,EAAE,CAAC,MAAM;aAClB,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IAED,yjCAAyjC;IAEjjC,UAAU,CAAC,KAAwB;QACzC,iFAAiF;QACjF,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC;QAClE,MAAM,KAAK,GAAe;YACxB,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACjD,WAAW,EAAE,IAAI;YACjB,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,EAAE;SAChB,CAAC;QAEF,8BAA8B;QAC9B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAC7C,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;gBACnB,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,mBAAmB;aAC3G,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC;YACrD,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,CAAC,KAAK,CAAC;YACf,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE;YACb,YAAY,EAAE,EAAE;YAChB,MAAM,EAAE;gBACN,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,YAAY;gBACpC,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,CAAC;gBAC7B,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D;SACF,CAAC;IACJ,CAAC;IAED,wiCAAwiC;IAEhiC,WAAW,CAAC,MAA0B,EAAE,YAAsC,EAAE,MAA2B;QACjH,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC;QAEjF,wDAAwD;QACxD,MAAM,MAAM,GAAiB;YAC3B,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,mBAAmB,EAAE;YAC9G,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE;YAChH,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE;SAClH,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QAED,oEAAoE;QACpE,MAAM,aAAa,GAAiB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3D,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,MAAM,EAAE,2BAA2B;YACzC,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,KAAK;YACd,aAAa,EAAE,wBAAwB,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;SACvE,CAAC,CAAC,CAAC;QAEJ,+CAA+C;QAC/C,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/C,CAAC;QAED,4CAA4C;QAC5C,MAAM,gBAAgB,GAA2B,EAAE,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YACpC,4BAA4B;YAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACpE,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC5C,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;gBACrE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;YACpG,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAe;YACxB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,aAAa,CAAC;YACrC,WAAW,EAAE,IAAI;YACjB,OAAO;YACP,WAAW,EAAE,gBAAgB;SAC9B,CAAC;QAEF,2CAA2C;QAC3C,MAAM,aAAa,GAAwB,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACpD,MAAM,WAAW,GAAsB,EAAE,CAAC;YAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBACvC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACtC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,OAAO,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACvG,CAAC;gBACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACnC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,OAAO,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACvG,CAAC;YACH,CAAC;YACD,aAAa,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE,MAAM,CAAC,IAAI;gBACnB,MAAM;gBACN,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;gBAClB,WAAW;aACZ,CAAC,CAAC;QACL,CAAC;QAED,oCAAoC;QACpC,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,+CAA+C;QAC/C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAE/D,6BAA6B;QAC7B,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,KAAK,GAAmB;YAC5B,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,SAAS;YAC9B,OAAO;SACR,CAAC;QAEF,qBAAqB;QACrB,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAChG,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,CAAC;QAED,kBAAkB;QAClB,MAAM,SAAS,GAAoB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC5D,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;YACjD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;YAC9C,IAAI,UAAkB,CAAC;YACvB,IAAI,aAAiC,CAAC;YAEtC,QAAQ,GAAG,CAAC,YAAY,EAAE,CAAC;gBACzB,KAAK,YAAY;oBACf,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;oBAC7C,MAAM;gBACR,KAAK,SAAS,CAAC;gBACf,KAAK,UAAU;oBACb,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;oBAC9C,MAAM;gBACR,KAAK,cAAc;oBACjB,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;oBAC9C,aAAa,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACtD,MAAM;gBACR;oBACE,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;YACjD,CAAC;YAED,OAAO;gBACL,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,YAAY;gBACtB,WAAW,EAAE,MAAM,CAAC,IAAI;gBACxB,SAAS,EAAE,GAAG,CAAC,MAAM;gBACrB,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,UAAU;gBACvB,cAAc,EAAE,aAAa;aAC9B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,SAAS;YAC7B,UAAU,EAAE,CAAC,KAAK,CAAC;YACnB,MAAM,EAAE,CAAC,KAAK,CAAC;YACf,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,aAAa;YAC7B,SAAS;YACT,YAAY,EAAE,IAAI;YAClB,MAAM,EAAE;gBACN,aAAa,EAAE,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBAC7D,WAAW,EAAE,MAAM,CAAC,IAAI,IAAI,MAAM;aACnC;SACF,CAAC;IACJ,CAAC;IAEO,cAAc,CAAC,EAAU,EAAE,UAAkB,EAAE,MAAoB;QACzE,MAAM,KAAK,GAAiB,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,QAAQ;YAC5D,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;YAC3F,CAAC,CAAC,EAAE,KAAK,MAAM;gBACb,CAAC,CAAC;oBACE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE;oBACjG,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE;iBACxG;gBACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAExG,OAAO;YACL,IAAI,EAAE,EAAE;YACR,KAAK;YACL,MAAM,EAAE,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;YACrF,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,MAAM;YAC1C,aAAa,EAAE,IAAI;YACnB,UAAU,EAAE,KAAK;YACjB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,IAAI;SACX,CAAC;IACJ,CAAC;IAEO,eAAe,CAAC,GAA2B;QACjD,MAAM,KAAK,GAAiB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/C,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3B,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,KAAK;YACd,aAAa,EAAE,IAAI;SACpB,CAAC,CAAC,CAAC;QAEJ,MAAM,aAAa,GAAwB,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAChE,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC;YAC5B,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;SAC9B,CAAC,CAAC,CAAC;QAEJ,MAAM,OAAO,GAAkB,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnD,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC/B,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAc,CAAC,CAAC,CAAC,QAAiB;YACzF,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC;SAC9B,CAAC,CAAC,CAAC;QAEJ,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAElD,4BAA4B;QAC5B,IAAI,QAAQ,GAAyB,IAAI,CAAC;QAC1C,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjB,QAAQ,GAAG;gBACT,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ;gBAC/B,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACrC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACzB,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;oBACpD,OAAO,EAAE,IAAI,CAAC,MAAM;iBACrB,CAAC,CAAC;gBACH,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC/B,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM;oBACnC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI;oBAClD,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;iBAC5E,CAAC,CAAC,CAAC,IAAI;aACT,CAAC;QACJ,CAAC;QAED,6BAA6B;QAC7B,IAAI,SAAS,GAA0B,IAAI,CAAC;QAC5C,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAClB,SAAS,GAAG;gBACV,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI;gBAChC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACtC,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC;iBAC9B,CAAC,CAAC;aACJ,CAAC;QACJ,CAAC;QAED,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,KAAK;YACL,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,qBAAqB;YACxE,aAAa;YACb,OAAO;YACP,SAAS;YACT,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,KAAK;YACnC,aAAa,EAAE,IAAI;YACnB,UAAU,EAAE,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK;YACjD,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjB,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC;gBACxC,OAAO,EAAG,GAAG,CAAC,KAAK,CAAC,OAAuC,IAAI,aAAa;gBAC5E,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI;aACzD,CAAC,CAAC,CAAC,IAAI;YACR,QAAQ;YACR,SAAS;YACT,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC;IACJ,CAAC;IAED,uhCAAuhC;IAE/gC,YAAY,CAAC,OAA4B;QAC/C,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,EAAE,OAAO,CAAC,IAAI,CAAC;YAC7D,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,UAAU,EAAE,CAAC;oBACX,IAAI,EAAE,IAAI,OAAO,CAAC,IAAI,SAAS;oBAC/B,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;wBACvN,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;wBAChU,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;qBACxT;iBACF,CAAC;YACF,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE;YACb,YAAY,EAAE,EAAE;YAChB,MAAM,EAAE;gBACN,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,WAAW;gBAC3C,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,MAAM;gBACpC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,MAAM;gBAC1C,QAAQ,EAAE,OAAO,CAAC,OAAO,IAAI,KAAK;aACnC;SACF,CAAC;IACJ,CAAC;IAED,yjCAAyjC;IAEjjC,UAAU,CAAC,EAAqB;QACtC,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC;YAC7C,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,EAAE,SAAS,EAAE,wCAAwC;YAC3D,QAAQ,EAAG,EAAE,CAAC,QAA8B,IAAI,eAAe;YAC/D,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,CAAC;SAChC,CAAC;IACJ,CAAC;IAED,0kCAA0kC;IAElkC,SAAS,CAAC,IAAsB;QACtC,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC1B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAC1E,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;aAC/G,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IAED,yjCAAyjC;IAEjjC,UAAU,CAAC,CAAgB;QACjC,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3B,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YACrE,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,KAAK;YACd,aAAa,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;SACrE,CAAC;IACJ,CAAC;CACF;AA7dD,4BA6dC"}
1
+ {"version":3,"file":"lowering.js","sourceRoot":"","sources":["../src/lowering.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAIH,yDAA0E;AAC1E,2DAAkD;AAClD,2DAAsF;AAEtF,MAAa,QAAQ;IAArB;QACU,eAAU,GAAW,EAAE,CAAC;IA4HlC,CAAC;IA1HC,KAAK,CAAC,OAAwB,EAAE,UAAkB;QAChD,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;IACvE,CAAC;IAEO,WAAW,CAAC,GAAuB,EAAE,UAAkB;QAC7D,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC;QAE3B,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAyB,EAAE,CAAC;QACxC,MAAM,KAAK,GAA0B,EAAE,CAAC;QACxC,MAAM,UAAU,GAAqB,EAAE,CAAC;QAExC,iCAAiC;QACjC,MAAM,QAAQ,GAAO,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAC1G,MAAM,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QAC9G,MAAM,QAAQ,GAAO,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QAC3G,MAAM,MAAM,GAAS,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QACzG,MAAM,UAAU,GAAK,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QACzG,MAAM,WAAW,GAAI,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QAC9G,MAAM,QAAQ,GAAO,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAC1G,MAAM,SAAS,GAAM,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACxG,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC;QAEzH,8BAA8B;QAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAA,8BAAU,EAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,oEAAoE;QACpE,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CACnF,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,IAAA,+BAAW,EAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1E,CAAC;QAED,sCAAsC;QACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,IAAA,gCAAY,EAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACvD,CAAC;QAED,gFAAgF;QAChF,8EAA8E;QAC9E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAA,yBAAM,EAAC,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC;YACjF,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CACnF,CAAC;YACF,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;gBAC9B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBAC7B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;wBACxC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,SAAS;QACT,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAU,EAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,CAAC;QAED,QAAQ;QACR,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,IAAA,6BAAS,EAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,CAAC;QAED,2BAA2B;QAC3B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,IAAA,yBAAM,EAAC,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC;gBAChD,UAAU,EAAE,IAAA,gCAAa,EAAC,CAAC,CAAC,IAAI,CAAC;gBACjC,KAAK,EAAE,QAAQ;aAChB,CAAC,CAAC;QACL,CAAC;QAED,+CAA+C;QAC/C,MAAM,aAAa,GAA8C;YAC/D,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,IAAI;YACV,GAAG,EAAE,IAAI;SACV,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,UAAU,CAAC,SAAS;gBAAE,aAAa,CAAC,YAAY,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;YACnF,IAAI,UAAU,CAAC,UAAU;gBAAE,aAAa,CAAC,YAAY,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;QACjF,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,IAAA,yBAAM,EAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC;YACpD,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE;YACb,YAAY,EAAE,OAAO;iBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC;iBACtE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,EAAE,aAAa;SACtB,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,OAAO,EAAE,OAAO;YAChB,WAAW,EAAE,UAAU;YACvB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO;YACP,MAAM;YACN,KAAK;YACL,UAAU;YACV,UAAU,EAAE,EAAE;YACd,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC3C,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAA,gCAAa,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3E,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAA,gCAAa,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;gBACtD,MAAM,EAAE,EAAE,CAAC,MAAM;aAClB,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;CACF;AA7HD,4BA6HC"}
@@ -0,0 +1,11 @@
1
+ /**
2
+ * BoneScript Channel / Event / Flow / Store Lowering
3
+ * Converts ChannelDecl, EventDecl, FlowDecl, and StoreDecl AST nodes into IR.
4
+ */
5
+ import * as AST from "./ast";
6
+ import * as IR from "./ir";
7
+ export { lowerField } from "./lowering_entities";
8
+ export declare function lowerStore(systemName: string, store: AST.StoreDeclNode): IR.IRModule;
9
+ export declare function lowerChannel(systemName: string, channel: AST.ChannelDeclNode): IR.IRModule;
10
+ export declare function lowerEvent(systemName: string, ev: AST.EventDeclNode, source: string): IR.IREvent;
11
+ export declare function lowerFlow(_systemName: string, flow: AST.FlowDeclNode): IR.IRFlow;