@stevenvo780/st-lang 3.1.0 → 3.1.1
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/api.d.ts.map +1 -1
- package/dist/api.js +44 -9
- package/dist/api.js.map +1 -1
- package/dist/parser/parser.d.ts +4 -0
- package/dist/parser/parser.d.ts.map +1 -1
- package/dist/parser/parser.js +213 -92
- package/dist/parser/parser.js.map +1 -1
- package/dist/profiles/classical/first-order.d.ts.map +1 -1
- package/dist/profiles/classical/first-order.js +12 -5
- package/dist/profiles/classical/first-order.js.map +1 -1
- package/dist/profiles/classical/propositional.d.ts.map +1 -1
- package/dist/profiles/classical/propositional.js +281 -35
- package/dist/profiles/classical/propositional.js.map +1 -1
- package/dist/profiles/shared/tableau-engine.d.ts +4 -3
- package/dist/profiles/shared/tableau-engine.d.ts.map +1 -1
- package/dist/profiles/shared/tableau-engine.js +101 -15
- package/dist/profiles/shared/tableau-engine.js.map +1 -1
- package/dist/protocol/handler.d.ts +4 -0
- package/dist/protocol/handler.d.ts.map +1 -1
- package/dist/protocol/handler.js +133 -41
- package/dist/protocol/handler.js.map +1 -1
- package/dist/repl/repl.d.ts +2 -0
- package/dist/repl/repl.d.ts.map +1 -1
- package/dist/repl/repl.js +39 -18
- package/dist/repl/repl.js.map +1 -1
- package/dist/runtime/compat.d.ts +29 -0
- package/dist/runtime/compat.d.ts.map +1 -0
- package/dist/runtime/compat.js +821 -0
- package/dist/runtime/compat.js.map +1 -0
- package/dist/runtime/interpreter.d.ts +3 -0
- package/dist/runtime/interpreter.d.ts.map +1 -1
- package/dist/runtime/interpreter.js +128 -28
- package/dist/runtime/interpreter.js.map +1 -1
- package/dist/tests/compat.test.d.ts +2 -0
- package/dist/tests/compat.test.d.ts.map +1 -0
- package/dist/tests/compat.test.js +247 -0
- package/dist/tests/compat.test.js.map +1 -0
- package/dist/tests/core.test.js +37 -0
- package/dist/tests/core.test.js.map +1 -1
- package/dist/tests/parser.test.js +38 -0
- package/dist/tests/parser.test.js.map +1 -1
- package/dist/tests/profiles.test.js +8 -0
- package/dist/tests/profiles.test.js.map +1 -1
- package/dist/tests/protocol-text-layer.test.d.ts +2 -0
- package/dist/tests/protocol-text-layer.test.d.ts.map +1 -0
- package/dist/tests/protocol-text-layer.test.js +54 -0
- package/dist/tests/protocol-text-layer.test.js.map +1 -0
- package/dist/text-layer/compiler.d.ts.map +1 -1
- package/dist/text-layer/compiler.js +35 -8
- package/dist/text-layer/compiler.js.map +1 -1
- package/dist/types/index.d.ts +27 -1
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/index.js +7 -0
- package/dist/types/index.js.map +1 -1
- package/package.json +2 -2
|
@@ -35,11 +35,16 @@ exports.FRAME_KD = {
|
|
|
35
35
|
return branch.gammaWatchers.filter((gw) => gw.sourceWorld === source);
|
|
36
36
|
},
|
|
37
37
|
enforceFrameConditions(branch) {
|
|
38
|
-
const
|
|
38
|
+
const worldsRequiringSuccessor = new Set();
|
|
39
39
|
for (const gw of branch.gammaWatchers)
|
|
40
|
-
|
|
40
|
+
worldsRequiringSuccessor.add(gw.sourceWorld);
|
|
41
|
+
for (const pending of branch.pending) {
|
|
42
|
+
if (classify(pending.formula) === 'delta') {
|
|
43
|
+
worldsRequiringSuccessor.add(pending.world);
|
|
44
|
+
}
|
|
45
|
+
}
|
|
41
46
|
let applied = false;
|
|
42
|
-
for (const w of
|
|
47
|
+
for (const w of worldsRequiringSuccessor) {
|
|
43
48
|
const successors = branch.accessibility.get(w);
|
|
44
49
|
if (!successors || successors.size === 0) {
|
|
45
50
|
const newWorld = `w${branch.worldCounter++}`;
|
|
@@ -307,6 +312,20 @@ function closes(branch, node) {
|
|
|
307
312
|
// ── Pool de Ramas (Object Pooling) ──────────────────────────
|
|
308
313
|
const branchPool = [];
|
|
309
314
|
const MAX_POOL_SIZE = 32;
|
|
315
|
+
let nextBranchId = 1;
|
|
316
|
+
let nextTraceNodeId = 1;
|
|
317
|
+
function pushTrace(branch, message, options) {
|
|
318
|
+
branch.trace.push({
|
|
319
|
+
message,
|
|
320
|
+
branchId: branch.branchId,
|
|
321
|
+
depth: options?.depth,
|
|
322
|
+
rule: options?.rule ?? 'info',
|
|
323
|
+
status: options?.status,
|
|
324
|
+
world: options?.world,
|
|
325
|
+
formula: options?.formula ? formulaHash(options.formula) : undefined,
|
|
326
|
+
nodeId: `tt-${nextTraceNodeId++}`,
|
|
327
|
+
});
|
|
328
|
+
}
|
|
310
329
|
function acquireBranch() {
|
|
311
330
|
if (branchPool.length > 0) {
|
|
312
331
|
const branch = branchPool.pop();
|
|
@@ -321,6 +340,7 @@ function acquireBranch() {
|
|
|
321
340
|
gammaWatchers: [],
|
|
322
341
|
processed: new Set(),
|
|
323
342
|
worldCounter: 0,
|
|
343
|
+
branchId: `b${nextBranchId++}`,
|
|
324
344
|
trace: [],
|
|
325
345
|
};
|
|
326
346
|
}
|
|
@@ -334,6 +354,7 @@ function _releaseBranch(b) {
|
|
|
334
354
|
b.gammaWatchers.length = 0;
|
|
335
355
|
b.processed.clear();
|
|
336
356
|
b.worldCounter = 0;
|
|
357
|
+
b.branchId = `b${nextBranchId++}`;
|
|
337
358
|
b.trace.length = 0;
|
|
338
359
|
branchPool.push(b);
|
|
339
360
|
}
|
|
@@ -351,6 +372,7 @@ function cloneBranch(b) {
|
|
|
351
372
|
for (const p of b.processed)
|
|
352
373
|
clone.processed.add(p);
|
|
353
374
|
clone.worldCounter = b.worldCounter;
|
|
375
|
+
clone.branchId = `b${nextBranchId++}`;
|
|
354
376
|
clone.trace.push(...b.trace);
|
|
355
377
|
return clone;
|
|
356
378
|
}
|
|
@@ -358,7 +380,11 @@ function cloneBranch(b) {
|
|
|
358
380
|
const MAX_DEPTH = 200;
|
|
359
381
|
function expand(branch, depth, rules) {
|
|
360
382
|
if (depth > MAX_DEPTH) {
|
|
361
|
-
branch
|
|
383
|
+
pushTrace(branch, `[${depth}] ⚠ MAX_DEPTH reached. Aborting.`, {
|
|
384
|
+
depth,
|
|
385
|
+
rule: 'limit',
|
|
386
|
+
status: 'limit',
|
|
387
|
+
});
|
|
362
388
|
return { closed: false, openBranch: branch, trace: branch.trace };
|
|
363
389
|
}
|
|
364
390
|
// 1. Procesar literales del pending
|
|
@@ -371,9 +397,21 @@ function expand(branch, depth, rules) {
|
|
|
371
397
|
if (branch.processed.has(key))
|
|
372
398
|
continue;
|
|
373
399
|
branch.processed.add(key);
|
|
374
|
-
branch
|
|
400
|
+
pushTrace(branch, `[${depth}] Analizando literal: ${formulaHash(next.formula)} en ${next.world}`, {
|
|
401
|
+
depth,
|
|
402
|
+
rule: 'literal',
|
|
403
|
+
status: 'expanded',
|
|
404
|
+
world: next.world,
|
|
405
|
+
formula: next.formula,
|
|
406
|
+
});
|
|
375
407
|
if (closes(branch, next)) {
|
|
376
|
-
branch
|
|
408
|
+
pushTrace(branch, `[${depth}] ✕ Rama cerrada por contradicción con ${formulaHash(next.formula)} en ${next.world}`, {
|
|
409
|
+
depth,
|
|
410
|
+
rule: 'close',
|
|
411
|
+
status: 'closed',
|
|
412
|
+
world: next.world,
|
|
413
|
+
formula: next.formula,
|
|
414
|
+
});
|
|
377
415
|
return { closed: true, trace: branch.trace };
|
|
378
416
|
}
|
|
379
417
|
branch.literals.push(next);
|
|
@@ -381,10 +419,18 @@ function expand(branch, depth, rules) {
|
|
|
381
419
|
if (branch.pending.length === 0) {
|
|
382
420
|
// Hook: enforceFrameConditions
|
|
383
421
|
if (rules.enforceFrameConditions?.(branch)) {
|
|
384
|
-
branch
|
|
422
|
+
pushTrace(branch, `[${depth}] Aplicando enforceFrameConditions (serialidad/etc)`, {
|
|
423
|
+
depth,
|
|
424
|
+
rule: 'frame',
|
|
425
|
+
status: 'expanded',
|
|
426
|
+
});
|
|
385
427
|
return expand(branch, depth + 1, rules);
|
|
386
428
|
}
|
|
387
|
-
branch
|
|
429
|
+
pushTrace(branch, `[${depth}] ✓ Rama saturada y ABIERTA.`, {
|
|
430
|
+
depth,
|
|
431
|
+
rule: 'open',
|
|
432
|
+
status: 'open',
|
|
433
|
+
});
|
|
388
434
|
return { closed: false, openBranch: branch, trace: branch.trace };
|
|
389
435
|
}
|
|
390
436
|
// 2. Prioridad: alpha > delta > gamma > beta
|
|
@@ -400,7 +446,13 @@ function expand(branch, depth, rules) {
|
|
|
400
446
|
if (branch.processed.has(key))
|
|
401
447
|
return expand(branch, depth + 1, rules);
|
|
402
448
|
branch.processed.add(key);
|
|
403
|
-
branch
|
|
449
|
+
pushTrace(branch, `[${depth}] Regla Alpha (Conjunción) en ${node.world}: ${formulaHash(node.formula)}`, {
|
|
450
|
+
depth,
|
|
451
|
+
rule: 'alpha',
|
|
452
|
+
status: 'expanded',
|
|
453
|
+
world: node.world,
|
|
454
|
+
formula: node.formula,
|
|
455
|
+
});
|
|
404
456
|
const f = node.formula;
|
|
405
457
|
let children;
|
|
406
458
|
if (f.kind === 'and')
|
|
@@ -438,7 +490,13 @@ function expand(branch, depth, rules) {
|
|
|
438
490
|
return expand(branch, depth + 1, rules);
|
|
439
491
|
const inner = fullNNF(rawDeltaInner);
|
|
440
492
|
const newWorld = `w${branch.worldCounter++}`;
|
|
441
|
-
branch
|
|
493
|
+
pushTrace(branch, `[${depth}] Regla Delta (Posibilidad/Existe) en ${node.world}: ${formulaHash(node.formula)} ─> nuevo mundo ${newWorld}`, {
|
|
494
|
+
depth,
|
|
495
|
+
rule: 'delta',
|
|
496
|
+
status: 'expanded',
|
|
497
|
+
world: node.world,
|
|
498
|
+
formula: node.formula,
|
|
499
|
+
});
|
|
442
500
|
if (!branch.accessibility.has(node.world))
|
|
443
501
|
branch.accessibility.set(node.world, new Set());
|
|
444
502
|
branch.accessibility.get(node.world).add(newWorld);
|
|
@@ -460,7 +518,13 @@ function expand(branch, depth, rules) {
|
|
|
460
518
|
if (!rawInner)
|
|
461
519
|
return expand(branch, depth + 1, rules);
|
|
462
520
|
const inner = fullNNF(rawInner);
|
|
463
|
-
branch
|
|
521
|
+
pushTrace(branch, `[${depth}] Regla Gamma (Necesidad/ParaTodo) en ${node.world}: ${formulaHash(node.formula)}`, {
|
|
522
|
+
depth,
|
|
523
|
+
rule: 'gamma',
|
|
524
|
+
status: 'expanded',
|
|
525
|
+
world: node.world,
|
|
526
|
+
formula: node.formula,
|
|
527
|
+
});
|
|
464
528
|
const exists = branch.gammaWatchers.some((gw) => gw.sourceWorld === node.world && formulaEqual(gw.innerFormula, inner));
|
|
465
529
|
if (!exists)
|
|
466
530
|
branch.gammaWatchers.push({ innerFormula: inner, sourceWorld: node.world });
|
|
@@ -476,7 +540,13 @@ function expand(branch, depth, rules) {
|
|
|
476
540
|
if (branch.processed.has(key))
|
|
477
541
|
return expand(branch, depth + 1, rules);
|
|
478
542
|
branch.processed.add(key);
|
|
479
|
-
branch
|
|
543
|
+
pushTrace(branch, `[${depth}] Regla Beta (Disyunción/Impl) en ${node.world}: ${formulaHash(node.formula)}. Bifurcando...`, {
|
|
544
|
+
depth,
|
|
545
|
+
rule: 'beta',
|
|
546
|
+
status: 'expanded',
|
|
547
|
+
world: node.world,
|
|
548
|
+
formula: node.formula,
|
|
549
|
+
});
|
|
480
550
|
const f = node.formula;
|
|
481
551
|
let disjuncts;
|
|
482
552
|
if (f.kind === 'or')
|
|
@@ -519,7 +589,13 @@ function expand(branch, depth, rules) {
|
|
|
519
589
|
for (let i = 0; i < disjuncts.length; i++) {
|
|
520
590
|
const d = disjuncts[i];
|
|
521
591
|
const child = cloneBranch(branch);
|
|
522
|
-
child
|
|
592
|
+
pushTrace(child, `[${depth}] -> Rama Beta ${i + 1}: ${formulaHash(d)}`, {
|
|
593
|
+
depth,
|
|
594
|
+
rule: 'beta',
|
|
595
|
+
status: 'expanded',
|
|
596
|
+
world: node.world,
|
|
597
|
+
formula: d,
|
|
598
|
+
});
|
|
523
599
|
child.pending.push({ formula: d, world: node.world });
|
|
524
600
|
const res = expand(child, depth + 1, rules);
|
|
525
601
|
if (!res.closed) {
|
|
@@ -545,13 +621,23 @@ function checkTableau(formula, rules, isValidityCheck) {
|
|
|
545
621
|
if (isValidityCheck) {
|
|
546
622
|
const negated = fullNNF({ kind: 'not', args: [formula] });
|
|
547
623
|
const branch = makeBranch([{ formula: negated, world: 'w0' }]);
|
|
548
|
-
branch
|
|
624
|
+
pushTrace(branch, `Iniciando prueba de validez por refutación para: ${formulaHash(formula)}`, {
|
|
625
|
+
rule: 'start',
|
|
626
|
+
status: 'expanded',
|
|
627
|
+
world: 'w0',
|
|
628
|
+
formula,
|
|
629
|
+
});
|
|
549
630
|
return expand(branch, 0, rules);
|
|
550
631
|
}
|
|
551
632
|
else {
|
|
552
633
|
const nnf = fullNNF(formula);
|
|
553
634
|
const branch = makeBranch([{ formula: nnf, world: 'w0' }]);
|
|
554
|
-
branch
|
|
635
|
+
pushTrace(branch, `Iniciando prueba de satisfacibilidad para: ${formulaHash(formula)}`, {
|
|
636
|
+
rule: 'start',
|
|
637
|
+
status: 'expanded',
|
|
638
|
+
world: 'w0',
|
|
639
|
+
formula,
|
|
640
|
+
});
|
|
555
641
|
return expand(branch, 0, rules);
|
|
556
642
|
}
|
|
557
643
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"tableau-engine.js","sourceRoot":"","sources":["../../../src/profiles/shared/tableau-engine.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,wDAAwD;AACxD,8DAA8D;AAC9D,+DAA+D;;;AA8J/D,oCAEC;AAmED,kCAEC;AAqCD,oDAsBC;AAED,0BAEC;AA8TD,gCAMC;AAED,oCAgBC;AAGD,0BAEC;AAED,sCAEC;AAhoBD,8DAAmD;AAmDnD,+DAA+D;AAE/D,+FAA+F;AAClF,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,gEAAgE;AACnD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;IACD,sBAAsB,CAAC,MAAM;QAC3B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa;YAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAC3E,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACxE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC5B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACtC,IAAI,EAAE,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;wBACzB,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;wBAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACrE,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,sEAAsE;AACzD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,OAAO,EAAE,MAAM;QAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM;QAC3C,4DAA4D;QAC5D,OAAO,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACnC,CAAC;CACF,CAAC;AAEF,sCAAsC;AACzB,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,wCAAwC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,iCAAiC;AACpB,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,8BAA8B;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;YAClC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,yEAAyE;QACzE,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;gBAClC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,+DAA+D;AAE/D,SAAgB,YAAY,CAAC,CAAU,EAAE,CAAU;IACjD,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CACjB,CAAU,EACV,CAAU,EACV,IAAyB,EACzB,IAAyB,EACzB,QAAgB,CAAC;IAEjB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,mEAAmE;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,oDAAoD;QACpD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,KAAK,MAAM,CAAC;QAC3E,wDAAwD;QACxD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,KAAK,KAAK,CAAC;QACzE,uCAAuC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,KAAK,MAAM,CAAC;YAC3E,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,wCAAwC;IACxC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,8CAA8C;IAC9C,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,2CAA+C;AAE/C,SAAgB,WAAW,CAAC,CAAU;IACpC,OAAO,IAAA,kBAAW,EAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,IAAI;YACP,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpF,KAAK,eAAe;YAClB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACrF,KAAK,iBAAiB;YACpB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,eAAe;YAClB,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF;YACE,OAAO,CAAC,CAAC,IAAI,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAgB,oBAAoB,CAAC,CAAU;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACtD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,eAAe;YAClB,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;oBACzC;wBACE,IAAI,EAAE,KAAK;wBACX,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;4BAChC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;yBACjC;qBACF;iBACF;aACF,CAAC;QACJ;YACE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,IAAA,qBAAK,EAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+DAA+D;AAE/D,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;AACvF,CAAC;AAID,SAAS,QAAQ,CAAC,CAAU;IAC1B,IAAI,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,OAAO,CAAC;QACjB,KAAK,IAAI,CAAC;QACV,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;gBAAE,OAAO,OAAO,CAAC;YACrD,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,OAAO,CAAC;YACvD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;gBAAE,OAAO,OAAO,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,OAAO,CAAC;QACjB,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,MAAM,CAAC,MAAc,EAAE,IAAiB;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,OAAO,EAAG,CAAC,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,CAAC;QACb,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnB,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,+DAA+D;AAE/D,MAAM,UAAU,GAAa,EAAE,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,SAAS,aAAa;IACpB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,UAAU,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QACtC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACpC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAE/D,MAAM,SAAS,GAAG,GAAG,CAAC;AAUtB,SAAS,MAAM,CAAC,MAAc,EAAE,KAAa,EAAE,KAAiB;IAC9D,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QACtB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,kCAAkC,CAAC,CAAC;QAC/D,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,oCAAoC;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS;YAAE,MAAM;QAChD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACxC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,yBAAyB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAC/E,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,0CAA0C,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAChG,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,+BAA+B;QAC/B,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,qDAAqD,CAAC,CAAC;YAClF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC;QAC3D,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QACzE,IAAI,GAAG,GAAG,CAAC;YAAE,SAAS;QAEtB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAEzD,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,iCAAiC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACrF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,QAAmB,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;oBAAE,QAAQ,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;oBACrD,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;oBAC1D,QAAQ,GAAG;wBACT,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,gBAAgB;oBACjE,QAAQ,GAAG;wBACT,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3D,OAAO,CAAC;4BACN,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gCAClD,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;6BACtE;yBACF,CAAC;qBACH,CAAC;;oBACC,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBACjF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,IAAI,CAAC,aAAa;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;gBAErC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,QAAQ,EAAE,CACxH,CAAC;gBACF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBAC1F,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACpE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAE5B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAEzD,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;gBACxE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;oBAC1B,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC9D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACvE,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,QAAQ;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAEhC,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAC7F,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAC9E,CAAC;gBACF,IAAI,CAAC,MAAM;oBAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBAEzF,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,qCAAqC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CACxG,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,SAAoB,CAAC;gBACzB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,SAAS,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAC3B,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;qBAClF,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBACjC,SAAS,GAAG;wBACV,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;wBAC7D;4BACE,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE;gCACJ,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gCACnD,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;6BACpD;yBACF;qBACF,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;oBAClC,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACjB,OAAO,CAAC;4BACN,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAChE,CAAC;qBACH,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK;oBACtD,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAChF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7D,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,SAAS;wBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBAClF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC1C,CAAC;;oBAAM,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAE/C,IAAI,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBACvB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;oBAClC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC1E,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBACtD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAChB,OAAO,GAAG,CAAC,CAAC,qBAAqB;oBACnC,CAAC;oBACD,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,sCAAsC;gBACjE,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,+DAA+D;AAE/D,SAAgB,UAAU,CAAC,KAAoB;IAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,YAAY,CAC1B,OAAgB,EAChB,KAAiB,EACjB,eAAwB;IAExB,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,oDAAoD,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9F,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,8CAA8C,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxF,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAgB,OAAO,CAAC,OAAgB,EAAE,KAAiB;IACzD,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED,SAAgB,aAAa,CAAC,OAAgB,EAAE,KAAiB;IAC/D,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC;AACrD,CAAC"}
|
|
1
|
+
{"version":3,"file":"tableau-engine.js","sourceRoot":"","sources":["../../../src/profiles/shared/tableau-engine.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,wDAAwD;AACxD,8DAA8D;AAC9D,+DAA+D;;;AAoK/D,oCAEC;AAmED,kCAEC;AAqCD,oDAsBC;AAED,0BAEC;AA4ZD,gCAMC;AAED,oCA0BC;AAGD,0BAEC;AAED,sCAEC;AA9uBD,8DAAmD;AAoDnD,+DAA+D;AAE/D,+FAA+F;AAClF,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,gEAAgE;AACnD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;IACD,sBAAsB,CAAC,MAAM;QAC3B,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU,CAAC;QACnD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa;YAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACpF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,OAAO,EAAE,CAAC;gBAC1C,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,wBAAwB,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACxE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC5B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACtC,IAAI,EAAE,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;wBACzB,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;wBAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACrE,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,sEAAsE;AACzD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,OAAO,EAAE,MAAM;QAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM;QAC3C,4DAA4D;QAC5D,OAAO,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACnC,CAAC;CACF,CAAC;AAEF,sCAAsC;AACzB,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,wCAAwC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,iCAAiC;AACpB,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,8BAA8B;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;YAClC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,yEAAyE;QACzE,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;gBAClC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,+DAA+D;AAE/D,SAAgB,YAAY,CAAC,CAAU,EAAE,CAAU;IACjD,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CACjB,CAAU,EACV,CAAU,EACV,IAAyB,EACzB,IAAyB,EACzB,QAAgB,CAAC;IAEjB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,mEAAmE;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,oDAAoD;QACpD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,KAAK,MAAM,CAAC;QAC3E,wDAAwD;QACxD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,KAAK,KAAK,CAAC;QACzE,uCAAuC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,KAAK,MAAM,CAAC;YAC3E,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,wCAAwC;IACxC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,8CAA8C;IAC9C,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,2CAA+C;AAE/C,SAAgB,WAAW,CAAC,CAAU;IACpC,OAAO,IAAA,kBAAW,EAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,IAAI;YACP,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpF,KAAK,eAAe;YAClB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACrF,KAAK,iBAAiB;YACpB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,eAAe;YAClB,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF;YACE,OAAO,CAAC,CAAC,IAAI,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAgB,oBAAoB,CAAC,CAAU;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACtD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,eAAe;YAClB,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;oBACzC;wBACE,IAAI,EAAE,KAAK;wBACX,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;4BAChC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;yBACjC;qBACF;iBACF;aACF,CAAC;QACJ;YACE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,IAAA,qBAAK,EAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+DAA+D;AAE/D,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;AACvF,CAAC;AAID,SAAS,QAAQ,CAAC,CAAU;IAC1B,IAAI,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,OAAO,CAAC;QACjB,KAAK,IAAI,CAAC;QACV,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;gBAAE,OAAO,OAAO,CAAC;YACrD,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,OAAO,CAAC;YACvD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;gBAAE,OAAO,OAAO,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,OAAO,CAAC;QACjB,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,MAAM,CAAC,MAAc,EAAE,IAAiB;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,OAAO,EAAG,CAAC,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,CAAC;QACb,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnB,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,+DAA+D;AAE/D,MAAM,UAAU,GAAa,EAAE,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,IAAI,YAAY,GAAG,CAAC,CAAC;AACrB,IAAI,eAAe,GAAG,CAAC,CAAC;AAExB,SAAS,SAAS,CAChB,MAAc,EACd,OAAe,EACf,OAMC;IAED,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;QAChB,OAAO;QACP,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,MAAM;QAC7B,MAAM,EAAE,OAAO,EAAE,MAAM;QACvB,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACpE,MAAM,EAAE,MAAM,eAAe,EAAE,EAAE;KAClC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa;IACpB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,QAAQ,EAAE,IAAI,YAAY,EAAE,EAAE;QAC9B,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,UAAU,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QACtC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,EAAE,CAAC;QAClC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACpC,KAAK,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,EAAE,CAAC;IACtC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAE/D,MAAM,SAAS,GAAG,GAAG,CAAC;AAUtB,SAAS,MAAM,CAAC,MAAc,EAAE,KAAa,EAAE,KAAiB;IAC9D,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QACtB,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,kCAAkC,EAAE;YAC7D,KAAK;YACL,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,OAAO;SAChB,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,oCAAoC;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS;YAAE,MAAM;QAChD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACxC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yBAAyB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,EAC9E;YACE,KAAK;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CACF,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS,CACP,MAAM,EACN,IAAI,KAAK,0CAA0C,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,EAC/F;gBACE,KAAK;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CACF,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,+BAA+B;QAC/B,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,qDAAqD,EAAE;gBAChF,KAAK;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC;QACD,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,8BAA8B,EAAE;YACzD,KAAK;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QACzE,IAAI,GAAG,GAAG,CAAC;YAAE,SAAS;QAEtB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAEzD,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,iCAAiC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EACpF;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,QAAmB,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;oBAAE,QAAQ,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;oBACrD,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;oBAC1D,QAAQ,GAAG;wBACT,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,gBAAgB;oBACjE,QAAQ,GAAG;wBACT,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3D,OAAO,CAAC;4BACN,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gCAClD,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;6BACtE;yBACF,CAAC;qBACH,CAAC;;oBACC,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBACjF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,IAAI,CAAC,aAAa;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;gBAErC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,QAAQ,EAAE,EACvH;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBAC1F,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACpE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAE5B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAEzD,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;gBACxE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;oBAC1B,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC9D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACvE,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,QAAQ;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAEhC,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAC5F;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAC9E,CAAC;gBACF,IAAI,CAAC,MAAM;oBAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBAEzF,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,qCAAqC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EACvG;oBACE,KAAK;oBACL,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,SAAoB,CAAC;gBACzB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,SAAS,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAC3B,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;qBAClF,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBACjC,SAAS,GAAG;wBACV,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;wBAC7D;4BACE,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE;gCACJ,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gCACnD,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;6BACpD;yBACF;qBACF,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;oBAClC,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACjB,OAAO,CAAC;4BACN,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAChE,CAAC;qBACH,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK;oBACtD,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAChF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7D,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,SAAS;wBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBAClF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC1C,CAAC;;oBAAM,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAE/C,IAAI,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBACvB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;oBAClC,SAAS,CAAC,KAAK,EAAE,IAAI,KAAK,oBAAoB,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE;wBACxE,KAAK;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,UAAU;wBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;wBACjB,OAAO,EAAE,CAAC;qBACX,CAAC,CAAC;oBACH,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBACtD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAChB,OAAO,GAAG,CAAC,CAAC,qBAAqB;oBACnC,CAAC;oBACD,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,sCAAsC;gBACjE,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,+DAA+D;AAE/D,SAAgB,UAAU,CAAC,KAAoB;IAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,YAAY,CAC1B,OAAgB,EAChB,KAAiB,EACjB,eAAwB;IAExB,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/D,SAAS,CAAC,MAAM,EAAE,oDAAoD,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE;YAC5F,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;YACX,OAAO;SACR,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3D,SAAS,CAAC,MAAM,EAAE,8CAA8C,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE;YACtF,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;YACX,OAAO;SACR,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAgB,OAAO,CAAC,OAAgB,EAAE,KAAiB;IACzD,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED,SAAgB,aAAa,CAAC,OAAgB,EAAE,KAAiB;IAC/D,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC;AACrD,CAAC"}
|
|
@@ -16,5 +16,9 @@ export declare class ProtocolHandler {
|
|
|
16
16
|
private handleRender;
|
|
17
17
|
private getStatementHoverInfo;
|
|
18
18
|
private renderOutput;
|
|
19
|
+
private requireParamsObject;
|
|
20
|
+
private requireStringParam;
|
|
21
|
+
private optionalStringParam;
|
|
22
|
+
private requireIntegerParam;
|
|
19
23
|
}
|
|
20
24
|
//# sourceMappingURL=handler.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../src/protocol/handler.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,eAAe,EACf,gBAAgB,EAKjB,MAAM,UAAU,CAAC;AAMlB,qBAAa,eAAe;IAC1B,OAAO,CAAC,WAAW,CAAc;;IAMjC,MAAM,CAAC,OAAO,EAAE,eAAe,GAAG,gBAAgB;
|
|
1
|
+
{"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../src/protocol/handler.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,eAAe,EACf,gBAAgB,EAKjB,MAAM,UAAU,CAAC;AAMlB,qBAAa,eAAe;IAC1B,OAAO,CAAC,WAAW,CAAc;;IAMjC,MAAM,CAAC,OAAO,EAAE,eAAe,GAAG,gBAAgB;IAoClD,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,WAAW;IA2LnB,iGAAiG;IACjG,OAAO,CAAC,eAAe;IAevB,OAAO,CAAC,kBAAkB;IAuJ1B,OAAO,CAAC,aAAa;IAqLrB,OAAO,CAAC,oBAAoB;IAoC5B,OAAO,CAAC,gBAAgB;IAuzBxB,OAAO,CAAC,YAAY;IAepB,OAAO,CAAC,qBAAqB;IAwE7B,OAAO,CAAC,YAAY;IAqBpB,OAAO,CAAC,mBAAmB;IAO3B,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,mBAAmB;CAU5B"}
|
package/dist/protocol/handler.js
CHANGED
|
@@ -13,35 +13,44 @@ class ProtocolHandler {
|
|
|
13
13
|
this.interpreter = new interpreter_1.Interpreter();
|
|
14
14
|
}
|
|
15
15
|
handle(request) {
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
16
|
+
try {
|
|
17
|
+
switch (request.method) {
|
|
18
|
+
case 'parse':
|
|
19
|
+
return this.handleParse(request);
|
|
20
|
+
case 'check':
|
|
21
|
+
return this.handleCheck(request);
|
|
22
|
+
case 'run':
|
|
23
|
+
return this.handleRun(request);
|
|
24
|
+
case 'hover':
|
|
25
|
+
return this.handleHover(request);
|
|
26
|
+
case 'symbols':
|
|
27
|
+
return this.handleSymbols(request);
|
|
28
|
+
case 'goto_definition':
|
|
29
|
+
return this.handleGotoDefinition(request);
|
|
30
|
+
case 'completion':
|
|
31
|
+
return this.handleCompletion(request);
|
|
32
|
+
case 'render':
|
|
33
|
+
return this.handleRender(request);
|
|
34
|
+
default: {
|
|
35
|
+
const method = request.method;
|
|
36
|
+
return {
|
|
37
|
+
id: request.id,
|
|
38
|
+
error: { code: -1, message: `Metodo desconocido: ${String(method)}` },
|
|
39
|
+
};
|
|
40
|
+
}
|
|
39
41
|
}
|
|
40
42
|
}
|
|
43
|
+
catch (error) {
|
|
44
|
+
const message = error instanceof Error ? error.message : 'Solicitud invalida';
|
|
45
|
+
return {
|
|
46
|
+
id: request.id,
|
|
47
|
+
error: { code: -32602, message },
|
|
48
|
+
};
|
|
49
|
+
}
|
|
41
50
|
}
|
|
42
51
|
handleParse(request) {
|
|
43
|
-
const source = request
|
|
44
|
-
const file = request
|
|
52
|
+
const source = this.requireStringParam(request, 'source');
|
|
53
|
+
const file = this.optionalStringParam(request, 'file', '<stdin>');
|
|
45
54
|
const parser = new parser_1.Parser(file);
|
|
46
55
|
const program = parser.parse(source);
|
|
47
56
|
return {
|
|
@@ -51,8 +60,8 @@ class ProtocolHandler {
|
|
|
51
60
|
};
|
|
52
61
|
}
|
|
53
62
|
handleCheck(request) {
|
|
54
|
-
const source = request
|
|
55
|
-
const file = request
|
|
63
|
+
const source = this.requireStringParam(request, 'source');
|
|
64
|
+
const file = this.optionalStringParam(request, 'file', '<stdin>');
|
|
56
65
|
const parser = new parser_1.Parser(file);
|
|
57
66
|
const program = parser.parse(source);
|
|
58
67
|
const diagnostics = [...parser.diagnostics];
|
|
@@ -71,8 +80,8 @@ class ProtocolHandler {
|
|
|
71
80
|
};
|
|
72
81
|
}
|
|
73
82
|
handleRun(request) {
|
|
74
|
-
const source = request
|
|
75
|
-
const file = request
|
|
83
|
+
const source = this.requireStringParam(request, 'source');
|
|
84
|
+
const file = this.optionalStringParam(request, 'file', '<stdin>');
|
|
76
85
|
const output = this.interpreter.execute(source, file);
|
|
77
86
|
return {
|
|
78
87
|
id: request.id,
|
|
@@ -81,10 +90,10 @@ class ProtocolHandler {
|
|
|
81
90
|
};
|
|
82
91
|
}
|
|
83
92
|
handleHover(request) {
|
|
84
|
-
const source = request
|
|
85
|
-
const line = request
|
|
86
|
-
const column = request
|
|
87
|
-
const file = request
|
|
93
|
+
const source = this.requireStringParam(request, 'source');
|
|
94
|
+
const line = this.requireIntegerParam(request, 'line');
|
|
95
|
+
const column = this.requireIntegerParam(request, 'column');
|
|
96
|
+
const file = this.optionalStringParam(request, 'file', '<stdin>');
|
|
88
97
|
const parser = new parser_1.Parser(file);
|
|
89
98
|
const program = parser.parse(source);
|
|
90
99
|
// Recopilar todas las definiciones del programa
|
|
@@ -283,6 +292,9 @@ class ProtocolHandler {
|
|
|
283
292
|
axiom: '**axiom**\n\nDeclara una premisa o ley base disponible para derivaciones.\n\nEjemplo: `axiom regla : P -> Q`',
|
|
284
293
|
theorem: '**theorem**\n\nDeclara un teorema nombrado dentro de una teoría o script.\n\nEjemplo: `theorem identidad : P -> P`',
|
|
285
294
|
let: '**let**\n\nCrea un alias reutilizable para fórmulas, descripciones o pasajes.',
|
|
295
|
+
premise: '**premise**\n\nAlias didáctico de `assume` para registrar una premisa temporal dentro de una demostración de aula.',
|
|
296
|
+
conclusion: '**conclusion**\n\nCierra un bloque de `premise` y demuestra la meta indicada. Si no hay premisas temporales, intenta derivar desde la teoría actual.',
|
|
297
|
+
therefore: '**therefore**\n\nAlias de `conclusion` para notación de aula o demostraciones cortas.',
|
|
286
298
|
derive: '**derive**\n\nIntenta derivar una conclusión a partir de premisas nombradas.\n\nEjemplo: `derive Q from {regla, hecho}`',
|
|
287
299
|
check: '**check**\n\nEvalúa propiedades como validez, satisfacibilidad o equivalencia.',
|
|
288
300
|
prove: '**prove**\n\nSolicita una demostración formal del objetivo.',
|
|
@@ -323,6 +335,12 @@ class ProtocolHandler {
|
|
|
323
335
|
'>=': '**>=**\n\nCompara si el operando izquierdo es mayor o igual.',
|
|
324
336
|
'≤': '**≤**\n\nVersión Unicode de `<=`.',
|
|
325
337
|
'≥': '**≥**\n\nVersión Unicode de `>=`.',
|
|
338
|
+
'~': '**~**\n\nAlias de negación. `~P` se normaliza como `!P`.',
|
|
339
|
+
'∼': '**∼**\n\nVersión Unicode alternativa de negación.',
|
|
340
|
+
'=>': '**=>**\n\nAlias ASCII de implicación. Se normaliza como `->`.',
|
|
341
|
+
'⇒': '**⇒**\n\nVersión Unicode alternativa de implicación.',
|
|
342
|
+
'<=>': '**<=>**\n\nAlias ASCII de bicondicional. Se normaliza como `<->`.',
|
|
343
|
+
'⇔': '**⇔**\n\nVersión Unicode alternativa de bicondicional.',
|
|
326
344
|
'^': '**^** (XOR)\n\nDisyunción exclusiva. Verdadera si solo uno de los operandos es verdadero.',
|
|
327
345
|
'⊕': '**⊕** (XOR)\n\nVersión Unicode de `^`.',
|
|
328
346
|
xor: '**xor**\n\nVersión textual de `^`.',
|
|
@@ -332,11 +350,17 @@ class ProtocolHandler {
|
|
|
332
350
|
'!|': '**!|** (NOR)\n\nNegación conjunta (Peirce arrow). Verdadera solo si ambos operandos son falsos.',
|
|
333
351
|
'↓': '**↓** (NOR)\n\nVersión Unicode de `!|`.',
|
|
334
352
|
nor: '**nor**\n\nVersión textual de `!|`.',
|
|
353
|
+
'|-': '**|-**\n\nNotación de secuente. `P, P -> Q |- Q` se interpreta como una derivación desde premisas hacia una meta.',
|
|
354
|
+
'⊢': '**⊢**\n\nVersión Unicode de `|-`.',
|
|
355
|
+
'⊥': '**⊥**\n\nConstante de falsedad (bottom).',
|
|
356
|
+
'⊤': '**⊤**\n\nConstante de verdad (top).',
|
|
335
357
|
};
|
|
336
358
|
const aliases = {
|
|
337
359
|
logica: keywordInfo.logic,
|
|
338
360
|
axioma: keywordInfo.axiom,
|
|
339
361
|
teorema: keywordInfo.theorem,
|
|
362
|
+
premisa: keywordInfo.premise,
|
|
363
|
+
por_tanto: keywordInfo.conclusion,
|
|
340
364
|
derivar: keywordInfo.derive,
|
|
341
365
|
contramodelo: keywordInfo.countermodel,
|
|
342
366
|
tabla_verdad: keywordInfo.truth_table,
|
|
@@ -385,8 +409,8 @@ class ProtocolHandler {
|
|
|
385
409
|
null);
|
|
386
410
|
}
|
|
387
411
|
handleSymbols(request) {
|
|
388
|
-
const source = request
|
|
389
|
-
const file = request
|
|
412
|
+
const source = this.requireStringParam(request, 'source');
|
|
413
|
+
const file = this.optionalStringParam(request, 'file', '<stdin>');
|
|
390
414
|
const parser = new parser_1.Parser(file);
|
|
391
415
|
const program = parser.parse(source);
|
|
392
416
|
const symbols = [];
|
|
@@ -565,9 +589,9 @@ class ProtocolHandler {
|
|
|
565
589
|
return { id: request.id, result: symbols };
|
|
566
590
|
}
|
|
567
591
|
handleGotoDefinition(request) {
|
|
568
|
-
const source = request
|
|
569
|
-
const name = request
|
|
570
|
-
const file = request
|
|
592
|
+
const source = this.requireStringParam(request, 'source');
|
|
593
|
+
const name = this.requireStringParam(request, 'name');
|
|
594
|
+
const file = this.optionalStringParam(request, 'file', '<stdin>');
|
|
571
595
|
const parser = new parser_1.Parser(file);
|
|
572
596
|
const program = parser.parse(source);
|
|
573
597
|
for (const stmt of program.statements) {
|
|
@@ -681,6 +705,30 @@ class ProtocolHandler {
|
|
|
681
705
|
detail: 'Declarar teorema',
|
|
682
706
|
insertText: 'theorem ${1:name} : ${2:formula}',
|
|
683
707
|
},
|
|
708
|
+
{
|
|
709
|
+
label: 'premise',
|
|
710
|
+
kind: 'keyword',
|
|
711
|
+
detail: 'Registrar premisa temporal de aula',
|
|
712
|
+
insertText: 'premise ${1:formula}',
|
|
713
|
+
},
|
|
714
|
+
{
|
|
715
|
+
label: 'conclusion',
|
|
716
|
+
kind: 'keyword',
|
|
717
|
+
detail: 'Cerrar bloque de premisas y demostrar meta',
|
|
718
|
+
insertText: 'conclusion ${1:formula}',
|
|
719
|
+
},
|
|
720
|
+
{
|
|
721
|
+
label: 'numbered proof',
|
|
722
|
+
kind: 'snippet',
|
|
723
|
+
detail: 'Plantilla de prueba numerada estilo aula',
|
|
724
|
+
insertText: '1. ${1:P} premise\n2. ${2:P -> Q} premise\n3. ${3:Q} MP 1,2',
|
|
725
|
+
},
|
|
726
|
+
{
|
|
727
|
+
label: 'therefore',
|
|
728
|
+
kind: 'keyword',
|
|
729
|
+
detail: 'Alias de conclusion',
|
|
730
|
+
insertText: 'therefore ${1:formula}',
|
|
731
|
+
},
|
|
684
732
|
{
|
|
685
733
|
label: 'let',
|
|
686
734
|
kind: 'keyword',
|
|
@@ -761,6 +809,18 @@ class ProtocolHandler {
|
|
|
761
809
|
detail: 'Declarar teorema (español)',
|
|
762
810
|
insertText: 'teorema ${1:nombre} : ${2:formula}',
|
|
763
811
|
},
|
|
812
|
+
{
|
|
813
|
+
label: 'premisa',
|
|
814
|
+
kind: 'keyword',
|
|
815
|
+
detail: 'Registrar premisa temporal (español)',
|
|
816
|
+
insertText: 'premisa ${1:formula}',
|
|
817
|
+
},
|
|
818
|
+
{
|
|
819
|
+
label: 'por_tanto',
|
|
820
|
+
kind: 'keyword',
|
|
821
|
+
detail: 'Cerrar premisas y demostrar meta (español)',
|
|
822
|
+
insertText: 'por_tanto ${1:formula}',
|
|
823
|
+
},
|
|
764
824
|
{
|
|
765
825
|
label: 'derivar',
|
|
766
826
|
kind: 'keyword',
|
|
@@ -1361,9 +1421,9 @@ class ProtocolHandler {
|
|
|
1361
1421
|
return { id: request.id, result: items };
|
|
1362
1422
|
}
|
|
1363
1423
|
handleRender(request) {
|
|
1364
|
-
const source = request
|
|
1365
|
-
const format = request
|
|
1366
|
-
const file = request
|
|
1424
|
+
const source = this.requireStringParam(request, 'source');
|
|
1425
|
+
const format = this.optionalStringParam(request, 'format', 'markdown');
|
|
1426
|
+
const file = this.optionalStringParam(request, 'file', '<stdin>');
|
|
1367
1427
|
const output = this.interpreter.execute(source, file);
|
|
1368
1428
|
const rendered = this.renderOutput(output, format);
|
|
1369
1429
|
return {
|
|
@@ -1465,6 +1525,38 @@ class ProtocolHandler {
|
|
|
1465
1525
|
}
|
|
1466
1526
|
return md;
|
|
1467
1527
|
}
|
|
1528
|
+
requireParamsObject(request) {
|
|
1529
|
+
if (!request.params || typeof request.params !== 'object' || Array.isArray(request.params)) {
|
|
1530
|
+
throw new Error(`Parametros invalidos para '${request.method}': se esperaba un objeto.`);
|
|
1531
|
+
}
|
|
1532
|
+
return request.params;
|
|
1533
|
+
}
|
|
1534
|
+
requireStringParam(request, key) {
|
|
1535
|
+
const params = this.requireParamsObject(request);
|
|
1536
|
+
const value = params[key];
|
|
1537
|
+
if (typeof value !== 'string' || value.trim() === '') {
|
|
1538
|
+
throw new Error(`Parametro invalido para '${request.method}': '${key}' debe ser una cadena no vacia.`);
|
|
1539
|
+
}
|
|
1540
|
+
return value;
|
|
1541
|
+
}
|
|
1542
|
+
optionalStringParam(request, key, fallback) {
|
|
1543
|
+
const params = this.requireParamsObject(request);
|
|
1544
|
+
const value = params[key];
|
|
1545
|
+
if (value === undefined || value === null || value === '')
|
|
1546
|
+
return fallback;
|
|
1547
|
+
if (typeof value !== 'string') {
|
|
1548
|
+
throw new Error(`Parametro invalido para '${request.method}': '${key}' debe ser una cadena.`);
|
|
1549
|
+
}
|
|
1550
|
+
return value;
|
|
1551
|
+
}
|
|
1552
|
+
requireIntegerParam(request, key) {
|
|
1553
|
+
const params = this.requireParamsObject(request);
|
|
1554
|
+
const value = params[key];
|
|
1555
|
+
if (!Number.isInteger(value) || Number(value) < 1) {
|
|
1556
|
+
throw new Error(`Parametro invalido para '${request.method}': '${key}' debe ser un entero positivo.`);
|
|
1557
|
+
}
|
|
1558
|
+
return Number(value);
|
|
1559
|
+
}
|
|
1468
1560
|
}
|
|
1469
1561
|
exports.ProtocolHandler = ProtocolHandler;
|
|
1470
1562
|
//# sourceMappingURL=handler.js.map
|