@polintpro/proposit-core 0.2.4 → 0.2.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +79 -27
- package/dist/cli/commands/analysis.js +1 -1
- package/dist/cli/commands/analysis.js.map +1 -1
- package/dist/cli/commands/expressions.d.ts.map +1 -1
- package/dist/cli/commands/expressions.js +9 -3
- package/dist/cli/commands/expressions.js.map +1 -1
- package/dist/cli/commands/premises.d.ts.map +1 -1
- package/dist/cli/commands/premises.js +28 -11
- package/dist/cli/commands/premises.js.map +1 -1
- package/dist/cli/engine.d.ts +1 -1
- package/dist/cli/engine.d.ts.map +1 -1
- package/dist/cli/engine.js +14 -6
- package/dist/cli/engine.js.map +1 -1
- package/dist/cli/import.d.ts.map +1 -1
- package/dist/cli/import.js +10 -6
- package/dist/cli/import.js.map +1 -1
- package/dist/cli/schemata.d.ts +3 -0
- package/dist/cli/schemata.d.ts.map +1 -1
- package/dist/cli/schemata.js +2 -1
- package/dist/cli/schemata.js.map +1 -1
- package/dist/index.d.ts +3 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -2
- package/dist/index.js.map +1 -1
- package/dist/lib/consts.d.ts.map +1 -1
- package/dist/lib/consts.js +7 -1
- package/dist/lib/consts.js.map +1 -1
- package/dist/lib/core/ArgumentEngine.d.ts +34 -13
- package/dist/lib/core/ArgumentEngine.d.ts.map +1 -1
- package/dist/lib/core/ArgumentEngine.js +149 -23
- package/dist/lib/core/ArgumentEngine.js.map +1 -1
- package/dist/lib/core/ExpressionManager.d.ts +18 -8
- package/dist/lib/core/ExpressionManager.d.ts.map +1 -1
- package/dist/lib/core/ExpressionManager.js +42 -16
- package/dist/lib/core/ExpressionManager.js.map +1 -1
- package/dist/lib/core/PremiseEngine.d.ts +195 -0
- package/dist/lib/core/PremiseEngine.d.ts.map +1 -0
- package/dist/lib/core/PremiseEngine.js +851 -0
- package/dist/lib/core/PremiseEngine.js.map +1 -0
- package/dist/lib/core/VariableManager.d.ts +12 -2
- package/dist/lib/core/VariableManager.d.ts.map +1 -1
- package/dist/lib/core/VariableManager.js +19 -5
- package/dist/lib/core/VariableManager.js.map +1 -1
- package/dist/lib/core/diff.js +2 -2
- package/dist/lib/core/diff.js.map +1 -1
- package/dist/lib/core/relationships.d.ts +2 -2
- package/dist/lib/core/relationships.d.ts.map +1 -1
- package/dist/lib/core/relationships.js.map +1 -1
- package/dist/lib/index.d.ts +7 -2
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +2 -2
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/schemata/propositional.d.ts +11 -0
- package/dist/lib/schemata/propositional.d.ts.map +1 -1
- package/dist/lib/schemata/propositional.js +3 -0
- package/dist/lib/schemata/propositional.js.map +1 -1
- package/dist/lib/types/evaluation.d.ts +1 -9
- package/dist/lib/types/evaluation.d.ts.map +1 -1
- package/dist/lib/utils/position.js +1 -1
- package/dist/lib/utils/position.js.map +1 -1
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -16,11 +16,11 @@ npm install @polintpro/proposit-core
|
|
|
16
16
|
|
|
17
17
|
### Argument
|
|
18
18
|
|
|
19
|
-
An `ArgumentEngine` is scoped to a single **argument** — a record with an `id`, `version`, `title`, and `description`. Every variable and expression carries a matching `argumentId` and `argumentVersion`; the engine rejects entities that belong to a different argument.
|
|
19
|
+
An `ArgumentEngine` is scoped to a single **argument** — a record with an `id`, `version`, `title`, and `description`. Every variable and expression carries a matching `argumentId` and `argumentVersion`; the engine rejects entities that belong to a different argument. Expressions also carry a `premiseId` identifying which premise they belong to, and premises carry `argumentId` and `argumentVersion` for self-describing references.
|
|
20
20
|
|
|
21
21
|
### Premises
|
|
22
22
|
|
|
23
|
-
An argument is composed of one or more **premises**, each managed by a `
|
|
23
|
+
An argument is composed of one or more **premises**, each managed by a `PremiseEngine`. Premises come in two types derived from their root expression:
|
|
24
24
|
|
|
25
25
|
- **Inference premise** (`"inference"`) — root is `implies` or `iff`. Used as a supporting premise or the conclusion of the argument.
|
|
26
26
|
- **Constraint premise** (`"constraint"`) — root is anything else. Restricts which variable assignments are considered admissible without contributing to the inference chain.
|
|
@@ -31,7 +31,7 @@ A **propositional variable** (e.g. `P`, `Q`, `Rain`) is a named atomic propositi
|
|
|
31
31
|
|
|
32
32
|
### Expressions
|
|
33
33
|
|
|
34
|
-
An **expression** is a node in the rooted expression tree managed by a `
|
|
34
|
+
An **expression** is a node in the rooted expression tree managed by a `PremiseEngine`. There are three kinds:
|
|
35
35
|
|
|
36
36
|
- **Variable expression** (`"variable"`) — a leaf node that references a registered variable.
|
|
37
37
|
- **Operator expression** (`"operator"`) — an interior node that applies a logical operator to its children.
|
|
@@ -65,6 +65,7 @@ Each expression carries:
|
|
|
65
65
|
| `id` | `string` | Unique identifier. |
|
|
66
66
|
| `argumentId` | `string` | Must match the engine's argument. |
|
|
67
67
|
| `argumentVersion` | `number` | Must match the engine's argument version. |
|
|
68
|
+
| `premiseId` | `string` | ID of the premise this expression belongs to. |
|
|
68
69
|
| `parentId` | `string \| null` | ID of the parent operator, or `null` for root nodes. |
|
|
69
70
|
| `position` | `number` | Numeric position among siblings (midpoint-based ordering). |
|
|
70
71
|
|
|
@@ -86,7 +87,7 @@ const argument = {
|
|
|
86
87
|
|
|
87
88
|
const eng = new ArgumentEngine(argument)
|
|
88
89
|
|
|
89
|
-
const { result: premise1 } = eng.createPremise("P implies Q")
|
|
90
|
+
const { result: premise1 } = eng.createPremise("P implies Q") // PremiseEngine
|
|
90
91
|
const { result: premise2 } = eng.createPremise("P")
|
|
91
92
|
const { result: conclusion } = eng.createPremise("Q")
|
|
92
93
|
```
|
|
@@ -178,11 +179,11 @@ eng.setConclusionPremise(conclusion.getId())
|
|
|
178
179
|
|
|
179
180
|
### Mutation results
|
|
180
181
|
|
|
181
|
-
All mutating methods on `
|
|
182
|
+
All mutating methods on `PremiseEngine` and `ArgumentEngine` return `TCoreMutationResult<T>`, which wraps the direct result with an entity-typed changeset:
|
|
182
183
|
|
|
183
184
|
```typescript
|
|
184
185
|
const { result: pm, changes } = eng.createPremise("My premise")
|
|
185
|
-
// pm is a
|
|
186
|
+
// pm is a PremiseEngine
|
|
186
187
|
// changes.premises?.added contains the new premise data
|
|
187
188
|
|
|
188
189
|
const { result: expr, changes: exprChanges } = pm.addExpression({
|
|
@@ -284,13 +285,13 @@ console.log(premise1.toDisplayString()) // (P → Q)
|
|
|
284
285
|
|
|
285
286
|
#### `new ArgumentEngine(argument, options?)`
|
|
286
287
|
|
|
287
|
-
Creates an engine scoped to `argument` (`{ id, version, title, description }`, without `checksum` — it is computed lazily). Accepts an optional `
|
|
288
|
+
Creates an engine scoped to `argument` (`{ id, version, title, description }`, without `checksum` — it is computed lazily). Accepts an optional `config?: TLogicEngineOptions` parameter with `checksumConfig?: TCoreChecksumConfig` (configures which fields are included in entity checksums) and `positionConfig?: TCorePositionConfig` (configures the position range for expression ordering — defaults to signed int32: `[-2147483647, 2147483647]` with initial `0`). `TLogicEngineOptions` is the universal config type accepted by all engine/manager classes.
|
|
288
289
|
|
|
289
290
|
---
|
|
290
291
|
|
|
291
|
-
#### `createPremise(title?)` → `TCoreMutationResult<
|
|
292
|
+
#### `createPremise(title?)` → `TCoreMutationResult<PremiseEngine>`
|
|
292
293
|
|
|
293
|
-
Creates a new `
|
|
294
|
+
Creates a new `PremiseEngine`, registers it with the engine, and returns it wrapped in a mutation result with the changeset. If no conclusion is currently set, the new premise is automatically designated as the conclusion (reflected in the changeset's `roles` field).
|
|
294
295
|
|
|
295
296
|
---
|
|
296
297
|
|
|
@@ -302,7 +303,7 @@ Removes a premise and clears its role assignments. Returns the removed premise d
|
|
|
302
303
|
|
|
303
304
|
#### `getPremise(premiseId)` → `PremiseManager | undefined`
|
|
304
305
|
|
|
305
|
-
Returns the `
|
|
306
|
+
Returns the `PremiseEngine` for the given ID, or `undefined`.
|
|
306
307
|
|
|
307
308
|
---
|
|
308
309
|
|
|
@@ -362,7 +363,7 @@ Removes the conclusion role assignment.
|
|
|
362
363
|
|
|
363
364
|
#### `getConclusionPremise()` → `PremiseManager | undefined`
|
|
364
365
|
|
|
365
|
-
Returns the conclusion `
|
|
366
|
+
Returns the conclusion `PremiseEngine`, if one has been set.
|
|
366
367
|
|
|
367
368
|
---
|
|
368
369
|
|
|
@@ -417,13 +418,37 @@ Options:
|
|
|
417
418
|
|
|
418
419
|
---
|
|
419
420
|
|
|
420
|
-
#### `
|
|
421
|
+
#### `snapshot()` → `TArgumentEngineSnapshot`
|
|
421
422
|
|
|
422
|
-
Returns a serialisable snapshot of the engine state (`{ argument, premises,
|
|
423
|
+
Returns a serialisable snapshot of the full engine state (`{ argument, variables, premises, conclusionPremiseId, config }`). Each premise snapshot includes its metadata and expression snapshot. Can be used to reconstruct the engine via `ArgumentEngine.fromSnapshot()` or to restore state in place via `rollback()`.
|
|
423
424
|
|
|
424
425
|
---
|
|
425
426
|
|
|
426
|
-
|
|
427
|
+
#### `static fromSnapshot(snapshot)` → `ArgumentEngine`
|
|
428
|
+
|
|
429
|
+
Reconstructs an `ArgumentEngine` from a previously captured snapshot. Creates a `VariableManager` from the snapshot's variable data, then passes it as a dependency to each `PremiseEngine.fromSnapshot()`.
|
|
430
|
+
|
|
431
|
+
---
|
|
432
|
+
|
|
433
|
+
#### `rollback(snapshot)` → `void`
|
|
434
|
+
|
|
435
|
+
Restores the engine's internal state in place from a previously captured snapshot. Equivalent to reconstructing via `fromSnapshot` but mutates the existing instance (preserving references held by callers).
|
|
436
|
+
|
|
437
|
+
---
|
|
438
|
+
|
|
439
|
+
#### `static fromData(argument, variables, premises, expressions, roles, config?)` → `ArgumentEngine`
|
|
440
|
+
|
|
441
|
+
Bulk-loads an engine from flat arrays (as returned by DB queries). Groups expressions by `premiseId`, creates a shared `VariableManager`, creates each `PremiseEngine` with its expressions loaded in BFS order, and sets roles. Generic type parameters are inferred from the arguments.
|
|
442
|
+
|
|
443
|
+
---
|
|
444
|
+
|
|
445
|
+
#### `toDisplayString()` → `string`
|
|
446
|
+
|
|
447
|
+
Renders the full argument as a multi-line string. Each premise is prefixed with its role label (`[Conclusion]`, `[Supporting]`, or `[Constraint]`) followed by the premise's `toDisplayString()` output.
|
|
448
|
+
|
|
449
|
+
---
|
|
450
|
+
|
|
451
|
+
### `PremiseEngine` (renamed from `PremiseManager`)
|
|
427
452
|
|
|
428
453
|
#### `deleteExpressionsUsingVariable(variableId)` → `TCoreMutationResult<TPropositionalExpression[]>`
|
|
429
454
|
|
|
@@ -539,9 +564,21 @@ Returns the expression tree rendered with standard logical notation (¬ ∧ ∨
|
|
|
539
564
|
|
|
540
565
|
---
|
|
541
566
|
|
|
542
|
-
#### `
|
|
567
|
+
#### `toPremiseData()` → `TPremise`
|
|
568
|
+
|
|
569
|
+
Returns a serialisable premise object (`{ id, argumentId, argumentVersion, title, rootExpressionId, variables, expressions }`) with checksums.
|
|
570
|
+
|
|
571
|
+
---
|
|
572
|
+
|
|
573
|
+
#### `snapshot()` → `TPremiseEngineSnapshot`
|
|
543
574
|
|
|
544
|
-
Returns a
|
|
575
|
+
Returns a snapshot of the premise's owned state (premise metadata, expression snapshot, config). Excludes dependencies (argument, variables) owned by the parent `ArgumentEngine`.
|
|
576
|
+
|
|
577
|
+
---
|
|
578
|
+
|
|
579
|
+
#### `static fromSnapshot(snapshot, argument, variables)` → `PremiseEngine`
|
|
580
|
+
|
|
581
|
+
Reconstructs a `PremiseEngine` from a snapshot, with the argument and `VariableManager` passed as dependencies.
|
|
545
582
|
|
|
546
583
|
---
|
|
547
584
|
|
|
@@ -614,7 +651,7 @@ const ast: FormulaAST = parseFormula("(P and Q) implies R")
|
|
|
614
651
|
|
|
615
652
|
#### `DEFAULT_CHECKSUM_CONFIG`
|
|
616
653
|
|
|
617
|
-
Readonly default checksum configuration with `Set<string>` fields for each entity type (`expressionFields`, `variableFields`, `premiseFields`, `argumentFields`, `roleFields`). Used by `ArgumentEngine` and `
|
|
654
|
+
Readonly default checksum configuration with `Set<string>` fields for each entity type (`expressionFields`, `variableFields`, `premiseFields`, `argumentFields`, `roleFields`). Used by `ArgumentEngine` and `PremiseEngine` when no custom config is provided.
|
|
618
655
|
|
|
619
656
|
---
|
|
620
657
|
|
|
@@ -640,15 +677,15 @@ const config = createChecksumConfig({
|
|
|
640
677
|
|
|
641
678
|
Constants, types, and a helper for midpoint-based position computation, exported from `utils/position.ts`:
|
|
642
679
|
|
|
643
|
-
| Export | Value / Signature | Description
|
|
644
|
-
| ------------------------- | -------------------------------------- |
|
|
645
|
-
| `POSITION_MIN` | `-2147483647` | Default lower bound (signed int32).
|
|
646
|
-
| `POSITION_MAX` | `2147483647` | Default upper bound (signed int32).
|
|
647
|
-
| `POSITION_INITIAL` | `0` | Default position for first children.
|
|
648
|
-
| `DEFAULT_POSITION_CONFIG` | `{ min, max, initial }` | Default `TCorePositionConfig` matching the above.
|
|
649
|
-
| `TCorePositionConfig` | `{ min, max, initial }` | Type for configurable position range.
|
|
650
|
-
| `
|
|
651
|
-
| `midpoint(a, b)` | `a + (b - a) / 2` | Overflow-safe midpoint of two positions.
|
|
680
|
+
| Export | Value / Signature | Description |
|
|
681
|
+
| ------------------------- | -------------------------------------- | ----------------------------------------------------- |
|
|
682
|
+
| `POSITION_MIN` | `-2147483647` | Default lower bound (signed int32). |
|
|
683
|
+
| `POSITION_MAX` | `2147483647` | Default upper bound (signed int32). |
|
|
684
|
+
| `POSITION_INITIAL` | `0` | Default position for first children. |
|
|
685
|
+
| `DEFAULT_POSITION_CONFIG` | `{ min, max, initial }` | Default `TCorePositionConfig` matching the above. |
|
|
686
|
+
| `TCorePositionConfig` | `{ min, max, initial }` | Type for configurable position range. |
|
|
687
|
+
| `TLogicEngineOptions` | `{ checksumConfig?, positionConfig? }` | Universal config type for all engine/manager classes. |
|
|
688
|
+
| `midpoint(a, b)` | `a + (b - a) / 2` | Overflow-safe midpoint of two positions. |
|
|
652
689
|
|
|
653
690
|
~52 bisections at the same insertion point before losing floating-point precision.
|
|
654
691
|
|
|
@@ -668,6 +705,21 @@ A version of `TPropositionalExpression` with both the `position` and `checksum`
|
|
|
668
705
|
|
|
669
706
|
---
|
|
670
707
|
|
|
708
|
+
#### Snapshot Types
|
|
709
|
+
|
|
710
|
+
Hierarchical snapshot types for capturing and restoring engine state:
|
|
711
|
+
|
|
712
|
+
| Type | Contains |
|
|
713
|
+
| ---------------------------- | --------------------------------------------------------------------------------------- |
|
|
714
|
+
| `TExpressionManagerSnapshot` | `expressions` (with checksums), `config` |
|
|
715
|
+
| `TVariableManagerSnapshot` | `variables`, `config` |
|
|
716
|
+
| `TPremiseEngineSnapshot` | `premise` metadata, `expressions` snapshot, `config` |
|
|
717
|
+
| `TArgumentEngineSnapshot` | `argument`, `variables` snapshot, `premises` snapshots, `conclusionPremiseId`, `config` |
|
|
718
|
+
|
|
719
|
+
Each snapshot captures only what the class **owns**. Dependencies (e.g., variables for a premise) are excluded and must be passed separately during restoration via `fromSnapshot()`.
|
|
720
|
+
|
|
721
|
+
---
|
|
722
|
+
|
|
671
723
|
## CLI
|
|
672
724
|
|
|
673
725
|
The package ships a command-line interface for managing arguments stored on disk.
|
|
@@ -853,7 +905,7 @@ proposit-core <id> <ver> analysis export [--json]
|
|
|
853
905
|
- **`check-validity`** — runs the full truth-table search (`--mode first-counterexample|exhaustive`).
|
|
854
906
|
- **`validate-argument`** — checks structural readiness (conclusion set, inference premises, etc.).
|
|
855
907
|
- **`refs`** — lists every variable referenced across all premises.
|
|
856
|
-
- **`export`** — dumps the full `ArgumentEngine` state
|
|
908
|
+
- **`export`** — dumps the full `ArgumentEngine` state as JSON (uses `snapshot()` internally).
|
|
857
909
|
|
|
858
910
|
## Development
|
|
859
911
|
|
|
@@ -392,7 +392,7 @@ export function registerAnalysisCommands(versionedCmd, argumentId, version) {
|
|
|
392
392
|
.option("--json", "Output as JSON")
|
|
393
393
|
.action(async (_opts) => {
|
|
394
394
|
const engine = await hydrateEngine(argumentId, version);
|
|
395
|
-
printJson(engine.
|
|
395
|
+
printJson(engine.snapshot());
|
|
396
396
|
});
|
|
397
397
|
}
|
|
398
398
|
//# sourceMappingURL=analysis.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/cli/commands/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,kBAAkB,EAClB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,EACvB,aAAa,GAChB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,MAAM,UAAU,wBAAwB,CACpC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,yBAAyB,CAAC,CAAA;IAE3C,QAAQ;SACH,OAAO,CAAC,4BAA4B,CAAC;SACrC,WAAW,CACR,2DAA2D,CAC9D;SACA,MAAM,CACH,mBAAmB,EACnB,2DAA2D,EAC3D,OAAO,CACV;SACA,MAAM,CACH,KAAK,EACD,WAA+B,EAC/B,IAAyB,EAC3B,EAAE;QACA,MAAM,QAAQ,GAAG,uBAAuB,CAAC,WAAW,CAAC,CAAA;QACrD,IAAI,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACrD,SAAS,CACL,qDAAqD,IAAI,CAAC,OAAO,IAAI,CACxE,CAAA;QACL,CAAC;QACD,MAAM,YAAY,GACd,IAAI,CAAC,OAAO,KAAK,MAAM;YACnB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAA;QAChB,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,MAAM,WAAW,GAAmC,EAAE,CAAA;QACtD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,YAAY,CAAA;QACxC,CAAC;QAED,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE;YAC/C,UAAU;YACV,eAAe,EAAE,OAAO;YACxB,WAAW;YACX,qBAAqB,EAAE,EAAE;SAC5B,CAAC,CAAA;QACF,SAAS,CAAC,QAAQ,CAAC,CAAA;IACvB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,8CAA8C,CAAC;SAC3D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,KAAK,CAAC,CAAA;QACpB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,SAAS,CAAC,CAAC,CAAC,CAAA;QACvC,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnC,CAAA;YACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;gBACnC,SAAS,CAAC,GAAG,MAAM,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;YACD,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,SAAS,CAAC,EAAE,CAAC,CAAA;gBACb,SAAS,CAAC,uBAAuB,CAAC,CAAA;gBAClC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;oBAC1C,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;gBACxB,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,+BAA+B,CAAC;SACxC,WAAW,CACR,oEAAoE,CACvE;SACA,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CACH,KAAK,EACD,MAAc,EACd,QAAgB,EAChB,IAAuB,EACzB,EAAE;QACA,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IACI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAC5D,CAAC;YACC,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;YAC9C,SAAS,CACL,oBAAoB,MAAM,4CAA4C,CACzE,CAAA;QACL,CAAC;QAED,MAAM,WAAW,GACb,QAAQ,KAAK,MAAM;YACf,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,QAAQ,KAAK,OAAO;gBACpB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,QAAQ,KAAK,OAAO;oBACpB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,SAAS,CACL,mDAAmD,QAAQ,IAAI,CAClE,CAAA;QAEf,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,WAAW,CAAA;QACtC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CACH,iBAAiB,EACjB,oCAAoC,EACpC,OAAO,CACV;SACA,MAAM,CAAC,KAAK,EAAE,IAAsC,EAAE,EAAE;QACrD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,SAAS,CACL,mDAAmD,IAAI,CAAC,KAAK,IAAI,CACpE,CAAA;QACL,CAAC;QACD,MAAM,UAAU,GACZ,IAAI,CAAC,KAAK,KAAK,MAAM;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO;gBACtB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAA;QAChB,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,UAAU,CAAA;QACzC,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,wBAAwB,CAAC;SACjC,WAAW,CAAC,kDAAkD,CAAC;SAC/D,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,KAAK,EAAE,YAAoB,EAAE,IAAuB,EAAE,EAAE;QAC5D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QACjD,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,wBAAwB,CAAC;SACjC,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,KAAK,EAAE,YAAoB,EAAE,IAAuB,EAAE,EAAE;QAC5D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAC1D,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,YAAY,CAC9B,CAAA;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACxC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;SACrC,CAAC,CAAA;QAEF,MAAM,MAAM,GAAwC,EAAE,CAAA;QAEtD,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,oBAAoB,IAAI,CAAC,UAAU,qBAAqB,UAAU,IAAI;aAClF,CAAC,CAAA;QACN,CAAC;QACD,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,wBAAwB,IAAI,CAAC,eAAe,mBAAmB,OAAO,GAAG;aACrF,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QAC5D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;QAE1D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,oBAAoB,GAAG,gCAAgC;iBACnE,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,sBAAsB,GAAG,4CAA4C;iBACjF,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;YACvD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC5B,MAAM;iBACD,YAAY,EAAE;iBACd,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC7D,CAAA;YACD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;gBAC1C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC5B,MAAM,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,6BAA6B;wBACnC,OAAO,EAAE,2BAA2B,EAAE,kCAAkC;qBAC3E,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAA;QAE9B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;QAC7B,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBACzB,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;QACzD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,yBAAyB,QAAQ,IAAI,CAAC,CAAA;QACpE,CAAC;QACD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QACvD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CACR,+DAA+D,CAClE;SACA,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CACH,kCAAkC,EAClC,8BAA8B,CACjC;SACA,MAAM,CAAC,wBAAwB,EAAE,kCAAkC,CAAC;SACpE,MAAM,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;SACxD,MAAM,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;SAC7D,MAAM,CACH,iCAAiC,EACjC,+BAA+B,CAClC;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EAAE,IAQN,EAAE,EAAE;QACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChD,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;SACrC,CAAC,CAAA;QAEF,wCAAwC;QACxC,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC;YACnC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;YAC5D,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAA;YACzD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9B,CAAA;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,CACrD,CAAA;YACD,IACI,YAAY,CAAC,UAAU,KAAK,UAAU;gBACtC,YAAY,CAAC,eAAe,KAAK,OAAO;gBACxC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClB,KAAK,CAAC,MAAM,GAAG,CAAC,EAClB,CAAC;gBACC,SAAS,CACL,yHAAyH,CAC5H,CAAA;YACL,CAAC;QACL,CAAC;QAED,gDAAgD;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CACzC,CAAA;QACD,MAAM,kBAAkB,GAAmC,EAAE,CAAA;QAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CACnC,YAAY,CAAC,WAAW,CAC3B,EAAE,CAAC;YACA,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC9B,IAAI,EAAE,KAAK,SAAS;gBAAE,kBAAkB,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;QACtD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAC1B;YACI,SAAS,EAAE,kBAAkB;YAC7B,qBAAqB,EAAE;gBACnB,GAAG,YAAY,CAAC,qBAAqB;aACxC;SACJ,EACD;YACI,2BAA2B,EACvB,IAAI,CAAC,2BAA2B,IAAI,KAAK;YAC7C,uBAAuB,EAAE,CAAC,IAAI,CAAC,kBAAkB;YACjD,kBAAkB,EAAE,CAAC,IAAI,CAAC,aAAa;YACvC,aAAa,EAAE,CAAC,IAAI,CAAC,eAAe;SACvC,CACJ,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,SAAS,CAAC,oBAAoB,CAAC,CAAA;YAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;gBAClD,SAAS,CACL,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CACxD,CAAA;YACL,CAAC;YACD,OAAM;QACV,CAAC;QAED,SAAS,CAAC,sBAAsB,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAA;QAChE,SAAS,CACL,sBAAsB,MAAM,CAAC,yBAAyB,EAAE,CAC3D,CAAA;QACD,SAAS,CAAC,sBAAsB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;QACxD,SAAS,CAAC,sBAAsB,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAA;IAC9D,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,gBAAgB,CAAC;SACzB,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CACH,eAAe,EACf,oCAAoC,EACpC,sBAAsB,CACzB;SACA,MAAM,CAAC,qBAAqB,EAAE,6BAA6B,CAAC;SAC5D,MAAM,CAAC,+BAA+B,EAAE,8BAA8B,CAAC;SACvE,MAAM,CACH,sCAAsC,EACtC,sDAAsD,CACzD;SACA,MAAM,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;SAC7D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EAAE,IAON,EAAE,EAAE;QACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC;YAChC,IAAI,EACA,IAAI,CAAC,IAAI,KAAK,YAAY;gBACtB,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,qBAAqB;YAC/B,YAAY,EACR,IAAI,CAAC,YAAY,KAAK,SAAS;gBAC3B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;gBAC3B,CAAC,CAAC,SAAS;YACnB,qBAAqB,EACjB,IAAI,CAAC,qBAAqB,KAAK,SAAS;gBACpC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC;gBACpC,CAAC,CAAC,SAAS;YACnB,gCAAgC,EAC5B,IAAI,CAAC,gCAAgC,IAAI,KAAK;YAClD,aAAa,EAAE,CAAC,IAAI,CAAC,eAAe;SACvC,CAAC,CAAA;QAEF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,SAAS,CAAC,wBAAwB,CAAC,CAAA;YACnC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;gBAClD,SAAS,CACL,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CACxD,CAAA;YACL,CAAC;YACD,OAAM;QACV,CAAC;QAED,MAAM,QAAQ,GACV,MAAM,CAAC,OAAO,KAAK,IAAI;YACnB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK;gBACxB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,qBAAqB,CAAA;QAEjC,SAAS,CAAC,yBAAyB,QAAQ,EAAE,CAAC,CAAA;QAC9C,SAAS,CAAC,yBAAyB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAA;QACtD,SAAS,CACL,yBAAyB,MAAM,CAAC,qBAAqB,EAAE,CAC1D,CAAA;QACD,SAAS,CACL,yBAAyB,MAAM,CAAC,wBAAwB,EAAE,CAC7D,CAAA;QACD,SAAS,CACL,yBAAyB,MAAM,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,EAAE,CACjE,CAAA;QAED,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,SAAS,CAAC,6BAA6B,CAAC,CAAA;YACxC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,eAAgB,EAAE,CAAC;gBACvC,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAA;YACnD,CAAC;QACL,CAAC;IACL,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,kDAAkD,CAAC;SAC/D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;QAE5C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChC,SAAS,CAAC,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;QAClE,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,0BAA0B,EAAE,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;YACf,OAAM;QACV,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAClC,SAAS,CACL,GAAG,UAAU,MAAM,IAAI,CAAC,MAAM,iBAAiB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC/E,CAAA;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,KAAyB,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;AACV,CAAC"}
|
|
1
|
+
{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/cli/commands/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,kBAAkB,EAClB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,EACvB,aAAa,GAChB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,MAAM,UAAU,wBAAwB,CACpC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,yBAAyB,CAAC,CAAA;IAE3C,QAAQ;SACH,OAAO,CAAC,4BAA4B,CAAC;SACrC,WAAW,CACR,2DAA2D,CAC9D;SACA,MAAM,CACH,mBAAmB,EACnB,2DAA2D,EAC3D,OAAO,CACV;SACA,MAAM,CACH,KAAK,EACD,WAA+B,EAC/B,IAAyB,EAC3B,EAAE;QACA,MAAM,QAAQ,GAAG,uBAAuB,CAAC,WAAW,CAAC,CAAA;QACrD,IAAI,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACrD,SAAS,CACL,qDAAqD,IAAI,CAAC,OAAO,IAAI,CACxE,CAAA;QACL,CAAC;QACD,MAAM,YAAY,GACd,IAAI,CAAC,OAAO,KAAK,MAAM;YACnB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAA;QAChB,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,MAAM,WAAW,GAAmC,EAAE,CAAA;QACtD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,YAAY,CAAA;QACxC,CAAC;QAED,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE;YAC/C,UAAU;YACV,eAAe,EAAE,OAAO;YACxB,WAAW;YACX,qBAAqB,EAAE,EAAE;SAC5B,CAAC,CAAA;QACF,SAAS,CAAC,QAAQ,CAAC,CAAA;IACvB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,8CAA8C,CAAC;SAC3D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,KAAK,CAAC,CAAA;QACpB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,SAAS,CAAC,CAAC,CAAC,CAAA;QACvC,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnC,CAAA;YACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;gBACnC,SAAS,CAAC,GAAG,MAAM,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;YACD,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,SAAS,CAAC,EAAE,CAAC,CAAA;gBACb,SAAS,CAAC,uBAAuB,CAAC,CAAA;gBAClC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;oBAC1C,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;gBACxB,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,+BAA+B,CAAC;SACxC,WAAW,CACR,oEAAoE,CACvE;SACA,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CACH,KAAK,EACD,MAAc,EACd,QAAgB,EAChB,IAAuB,EACzB,EAAE;QACA,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IACI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAC5D,CAAC;YACC,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;YAC9C,SAAS,CACL,oBAAoB,MAAM,4CAA4C,CACzE,CAAA;QACL,CAAC;QAED,MAAM,WAAW,GACb,QAAQ,KAAK,MAAM;YACf,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,QAAQ,KAAK,OAAO;gBACpB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,QAAQ,KAAK,OAAO;oBACpB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,SAAS,CACL,mDAAmD,QAAQ,IAAI,CAClE,CAAA;QAEf,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,WAAW,CAAA;QACtC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CACH,iBAAiB,EACjB,oCAAoC,EACpC,OAAO,CACV;SACA,MAAM,CAAC,KAAK,EAAE,IAAsC,EAAE,EAAE;QACrD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,SAAS,CACL,mDAAmD,IAAI,CAAC,KAAK,IAAI,CACpE,CAAA;QACL,CAAC;QACD,MAAM,UAAU,GACZ,IAAI,CAAC,KAAK,KAAK,MAAM;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO;gBACtB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAA;QAChB,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,UAAU,CAAA;QACzC,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,wBAAwB,CAAC;SACjC,WAAW,CAAC,kDAAkD,CAAC;SAC/D,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,KAAK,EAAE,YAAoB,EAAE,IAAuB,EAAE,EAAE;QAC5D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QACjD,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,wBAAwB,CAAC;SACjC,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,KAAK,EAAE,YAAoB,EAAE,IAAuB,EAAE,EAAE;QAC5D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAC1D,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,YAAY,CAC9B,CAAA;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACxC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;SACrC,CAAC,CAAA;QAEF,MAAM,MAAM,GAAwC,EAAE,CAAA;QAEtD,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,oBAAoB,IAAI,CAAC,UAAU,qBAAqB,UAAU,IAAI;aAClF,CAAC,CAAA;QACN,CAAC;QACD,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,wBAAwB,IAAI,CAAC,eAAe,mBAAmB,OAAO,GAAG;aACrF,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QAC5D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;QAE1D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,oBAAoB,GAAG,gCAAgC;iBACnE,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,sBAAsB,GAAG,4CAA4C;iBACjF,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;YACvD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC5B,MAAM;iBACD,YAAY,EAAE;iBACd,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC7D,CAAA;YACD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;gBAC1C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC5B,MAAM,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,6BAA6B;wBACnC,OAAO,EAAE,2BAA2B,EAAE,kCAAkC;qBAC3E,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAA;QAE9B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;QAC7B,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBACzB,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;QACzD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,yBAAyB,QAAQ,IAAI,CAAC,CAAA;QACpE,CAAC;QACD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QACvD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CACR,+DAA+D,CAClE;SACA,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CACH,kCAAkC,EAClC,8BAA8B,CACjC;SACA,MAAM,CAAC,wBAAwB,EAAE,kCAAkC,CAAC;SACpE,MAAM,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;SACxD,MAAM,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;SAC7D,MAAM,CACH,iCAAiC,EACjC,+BAA+B,CAClC;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EAAE,IAQN,EAAE,EAAE;QACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChD,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;SACrC,CAAC,CAAA;QAEF,wCAAwC;QACxC,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC;YACnC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;YAC5D,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAA;YACzD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9B,CAAA;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,CACrD,CAAA;YACD,IACI,YAAY,CAAC,UAAU,KAAK,UAAU;gBACtC,YAAY,CAAC,eAAe,KAAK,OAAO;gBACxC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClB,KAAK,CAAC,MAAM,GAAG,CAAC,EAClB,CAAC;gBACC,SAAS,CACL,yHAAyH,CAC5H,CAAA;YACL,CAAC;QACL,CAAC;QAED,gDAAgD;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CACzC,CAAA;QACD,MAAM,kBAAkB,GAAmC,EAAE,CAAA;QAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CACnC,YAAY,CAAC,WAAW,CAC3B,EAAE,CAAC;YACA,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC9B,IAAI,EAAE,KAAK,SAAS;gBAAE,kBAAkB,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;QACtD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAC1B;YACI,SAAS,EAAE,kBAAkB;YAC7B,qBAAqB,EAAE;gBACnB,GAAG,YAAY,CAAC,qBAAqB;aACxC;SACJ,EACD;YACI,2BAA2B,EACvB,IAAI,CAAC,2BAA2B,IAAI,KAAK;YAC7C,uBAAuB,EAAE,CAAC,IAAI,CAAC,kBAAkB;YACjD,kBAAkB,EAAE,CAAC,IAAI,CAAC,aAAa;YACvC,aAAa,EAAE,CAAC,IAAI,CAAC,eAAe;SACvC,CACJ,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,SAAS,CAAC,oBAAoB,CAAC,CAAA;YAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;gBAClD,SAAS,CACL,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CACxD,CAAA;YACL,CAAC;YACD,OAAM;QACV,CAAC;QAED,SAAS,CAAC,sBAAsB,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAA;QAChE,SAAS,CACL,sBAAsB,MAAM,CAAC,yBAAyB,EAAE,CAC3D,CAAA;QACD,SAAS,CAAC,sBAAsB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;QACxD,SAAS,CAAC,sBAAsB,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAA;IAC9D,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,gBAAgB,CAAC;SACzB,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CACH,eAAe,EACf,oCAAoC,EACpC,sBAAsB,CACzB;SACA,MAAM,CAAC,qBAAqB,EAAE,6BAA6B,CAAC;SAC5D,MAAM,CAAC,+BAA+B,EAAE,8BAA8B,CAAC;SACvE,MAAM,CACH,sCAAsC,EACtC,sDAAsD,CACzD;SACA,MAAM,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;SAC7D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EAAE,IAON,EAAE,EAAE;QACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC;YAChC,IAAI,EACA,IAAI,CAAC,IAAI,KAAK,YAAY;gBACtB,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,qBAAqB;YAC/B,YAAY,EACR,IAAI,CAAC,YAAY,KAAK,SAAS;gBAC3B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;gBAC3B,CAAC,CAAC,SAAS;YACnB,qBAAqB,EACjB,IAAI,CAAC,qBAAqB,KAAK,SAAS;gBACpC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC;gBACpC,CAAC,CAAC,SAAS;YACnB,gCAAgC,EAC5B,IAAI,CAAC,gCAAgC,IAAI,KAAK;YAClD,aAAa,EAAE,CAAC,IAAI,CAAC,eAAe;SACvC,CAAC,CAAA;QAEF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,SAAS,CAAC,wBAAwB,CAAC,CAAA;YACnC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;gBAClD,SAAS,CACL,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CACxD,CAAA;YACL,CAAC;YACD,OAAM;QACV,CAAC;QAED,MAAM,QAAQ,GACV,MAAM,CAAC,OAAO,KAAK,IAAI;YACnB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK;gBACxB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,qBAAqB,CAAA;QAEjC,SAAS,CAAC,yBAAyB,QAAQ,EAAE,CAAC,CAAA;QAC9C,SAAS,CAAC,yBAAyB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAA;QACtD,SAAS,CACL,yBAAyB,MAAM,CAAC,qBAAqB,EAAE,CAC1D,CAAA;QACD,SAAS,CACL,yBAAyB,MAAM,CAAC,wBAAwB,EAAE,CAC7D,CAAA;QACD,SAAS,CACL,yBAAyB,MAAM,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,EAAE,CACjE,CAAA;QAED,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,SAAS,CAAC,6BAA6B,CAAC,CAAA;YACxC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,eAAgB,EAAE,CAAC;gBACvC,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAA;YACnD,CAAC;QACL,CAAC;IACL,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,kDAAkD,CAAC;SAC/D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;QAE5C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChC,SAAS,CAAC,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;QAClE,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,0BAA0B,EAAE,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;YACf,OAAM;QACV,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAClC,SAAS,CACL,GAAG,UAAU,MAAM,IAAI,CAAC,MAAM,iBAAiB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC/E,CAAA;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,KAAyB,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;AACV,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/expressions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;
|
|
1
|
+
{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/expressions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAmCnC,wBAAgB,0BAA0B,CACtC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CA2WN"}
|
|
@@ -55,6 +55,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
55
55
|
id,
|
|
56
56
|
argumentId,
|
|
57
57
|
argumentVersion: version,
|
|
58
|
+
premiseId,
|
|
58
59
|
parentId,
|
|
59
60
|
position,
|
|
60
61
|
type: "variable",
|
|
@@ -68,6 +69,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
68
69
|
id,
|
|
69
70
|
argumentId,
|
|
70
71
|
argumentVersion: version,
|
|
72
|
+
premiseId,
|
|
71
73
|
parentId,
|
|
72
74
|
position,
|
|
73
75
|
type: "operator",
|
|
@@ -79,6 +81,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
79
81
|
id,
|
|
80
82
|
argumentId,
|
|
81
83
|
argumentVersion: version,
|
|
84
|
+
premiseId,
|
|
82
85
|
parentId,
|
|
83
86
|
position,
|
|
84
87
|
type: "formula",
|
|
@@ -118,7 +121,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
118
121
|
? e.message
|
|
119
122
|
: "Failed to add expression.");
|
|
120
123
|
}
|
|
121
|
-
await writePremiseData(argumentId, version, premiseId, pm.
|
|
124
|
+
await writePremiseData(argumentId, version, premiseId, pm.toPremiseData());
|
|
122
125
|
printLine(id);
|
|
123
126
|
});
|
|
124
127
|
exprs
|
|
@@ -157,6 +160,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
157
160
|
id,
|
|
158
161
|
argumentId,
|
|
159
162
|
argumentVersion: version,
|
|
163
|
+
premiseId,
|
|
160
164
|
parentId,
|
|
161
165
|
position,
|
|
162
166
|
type: "variable",
|
|
@@ -170,6 +174,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
170
174
|
id,
|
|
171
175
|
argumentId,
|
|
172
176
|
argumentVersion: version,
|
|
177
|
+
premiseId,
|
|
173
178
|
parentId,
|
|
174
179
|
position,
|
|
175
180
|
type: "operator",
|
|
@@ -181,6 +186,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
181
186
|
id,
|
|
182
187
|
argumentId,
|
|
183
188
|
argumentVersion: version,
|
|
189
|
+
premiseId,
|
|
184
190
|
parentId,
|
|
185
191
|
position,
|
|
186
192
|
type: "formula",
|
|
@@ -197,7 +203,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
197
203
|
? e.message
|
|
198
204
|
: "Failed to insert expression.");
|
|
199
205
|
}
|
|
200
|
-
await writePremiseData(argumentId, version, premiseId, pm.
|
|
206
|
+
await writePremiseData(argumentId, version, premiseId, pm.toPremiseData());
|
|
201
207
|
printLine(id);
|
|
202
208
|
});
|
|
203
209
|
exprs
|
|
@@ -215,7 +221,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
215
221
|
const { result: removed } = pm.removeExpression(expressionId, true);
|
|
216
222
|
if (!removed)
|
|
217
223
|
errorExit(`Expression "${expressionId}" not found.`);
|
|
218
|
-
await writePremiseData(argumentId, version, premiseId, pm.
|
|
224
|
+
await writePremiseData(argumentId, version, premiseId, pm.toPremiseData());
|
|
219
225
|
printLine("success");
|
|
220
226
|
});
|
|
221
227
|
exprs
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/cli/commands/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAGnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,EACH,aAAa,EACb,eAAe,EACf,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAE/B,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,
|
|
1
|
+
{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/cli/commands/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAGnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,EACH,aAAa,EACb,eAAe,EACf,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAE/B,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,IAIzB;IACG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,cAAc,IAAI,CAAC,UAAU,EAAE,CAAA;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,YAAY,IAAI,CAAC,QAAQ,EAAE,CAAA;IAChE,OAAO,EAAE,CAAA;AACb,CAAC;AAED,MAAM,UAAU,0BAA0B,CACtC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,KAAK,GAAG,YAAY;SACrB,OAAO,CAAC,aAAa,CAAC;SACtB,WAAW,CAAC,4BAA4B,CAAC,CAAA;IAE9C,KAAK;SACA,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,gCAAgC,CAAC;SAC7C,cAAc,CACX,eAAe,EACf,8CAA8C,CACjD;SACA,MAAM,CAAC,WAAW,EAAE,yCAAyC,CAAC;SAC9D,MAAM,CACH,yBAAyB,EACzB,sCAAsC,CACzC;SACA,MAAM,CAAC,gBAAgB,EAAE,yBAAyB,CAAC;SACnD,MAAM,CACH,uBAAuB,EACvB,uCAAuC,CAC1C;SACA,MAAM,CAAC,sBAAsB,EAAE,sCAAsC,CAAC;SACtE,MAAM,CACH,6BAA6B,EAC7B,iCAAiC,CACpC;SACA,MAAM,CACH,iBAAiB,EACjB,sDAAsD,CACzD;SACA,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IASC,EACH,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YACH,SAAS,CAAC,YAAY,SAAS,wBAAwB,CAAC,CAAA;QAE5D,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,EAAE,CAAA;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAA;QACtC,MAAM,QAAQ,GACV,IAAI,CAAC,QAAQ,KAAK,SAAS;YACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YACvB,CAAC,CAAC,gBAAgB,CAAA;QAE1B,IAAI,UAA4B,CAAA;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,UAAU;gBAChB,SAAS,CAAC,6CAA6C,CAAC,CAAA;YAC5D,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,QAAQ;gBACd,SAAS,CAAC,0CAA0C,CAAC,CAAA;YACzD,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI,CAAC,QAAoC;aACtD,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,SAAS;aAClB,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,SAAS,CACL,iBAAiB,IAAI,CAAC,IAAI,wCAAwC,CACrE,CAAA;QACL,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAA;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAA;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAA;QAE/C,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;YACzC,SAAS,CACL,kDAAkD,CACrD,CAAA;QACL,CAAC;QACD,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACxB,SAAS,CAAC,sCAAsC,CAAC,CAAA;QACrD,CAAC;QAED,IAAI,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACZ,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,mBAAmB,EAAE,GAC1C,UAAU,CAAA;gBACd,EAAE,CAAC,qBAAqB,CACpB,IAAI,CAAC,MAAO,EACZ,QAAQ,EACR,mBAAmB,CACtB,CAAA;YACL,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBAClB,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,mBAAmB,EAAE,GAC1C,UAAU,CAAA;gBACd,EAAE,CAAC,qBAAqB,CACpB,IAAI,CAAC,KAAM,EACX,OAAO,EACP,mBAAmB,CACtB,CAAA;YACL,CAAC;iBAAM,IAAI,WAAW,EAAE,CAAC;gBACrB,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;YAChC,CAAC;iBAAM,CAAC;gBACJ,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,mBAAmB,EAAE,GAC1C,UAAU,CAAA;gBACd,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAA;YACtD,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,SAAS,CACL,CAAC,YAAY,KAAK;gBACd,CAAC,CAAC,CAAC,CAAC,OAAO;gBACX,CAAC,CAAC,2BAA2B,CACpC,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,CAClB,UAAU,EACV,OAAO,EACP,SAAS,EACT,EAAE,CAAC,aAAa,EAAE,CACrB,CAAA;QACD,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CACJ,CAAA;IAEL,KAAK;SACA,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,+CAA+C,CAAC;SAC5D,cAAc,CACX,eAAe,EACf,8CAA8C,CACjD;SACA,MAAM,CAAC,WAAW,EAAE,yCAAyC,CAAC;SAC9D,MAAM,CAAC,yBAAyB,EAAE,sBAAsB,CAAC;SACzD,MAAM,CAAC,gBAAgB,EAAE,yBAAyB,CAAC;SACnD,MAAM,CACH,6BAA6B,EAC7B,iCAAiC,CACpC;SACA,MAAM,CAAC,iBAAiB,EAAE,8BAA8B,CAAC;SACzD,MAAM,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;SAClD,MAAM,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;SACpD,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IASC,EACH,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,SAAS,CACL,gEAAgE,CACnE,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YACH,SAAS,CAAC,YAAY,SAAS,wBAAwB,CAAC,CAAA;QAE5D,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,UAAU,EAAE,CAAA;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAA;QACtC,MAAM,QAAQ,GACV,IAAI,CAAC,QAAQ,KAAK,SAAS;YACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YACvB,CAAC,CAAC,gBAAgB,CAAA;QAE1B,IAAI,UAA4B,CAAA;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,UAAU;gBAChB,SAAS,CAAC,6CAA6C,CAAC,CAAA;YAC5D,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,QAAQ;gBACd,SAAS,CAAC,0CAA0C,CAAC,CAAA;YACzD,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI,CAAC,QAAoC;aACtD,CAAA;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,UAAU,GAAG;gBACT,EAAE;gBACF,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,IAAI,EAAE,SAAS;aAClB,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,iBAAiB,IAAI,CAAC,IAAI,IAAI,CAAC,CAAA;QAC7C,CAAC;QAED,IAAI,CAAC;YACD,EAAE,CAAC,gBAAgB,CACf,UAAU,EACV,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,WAAW,CACnB,CAAA;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,SAAS,CACL,CAAC,YAAY,KAAK;gBACd,CAAC,CAAC,CAAC,CAAC,OAAO;gBACX,CAAC,CAAC,8BAA8B,CACvC,CAAA;QACL,CAAC;QAED,MAAM,gBAAgB,CAClB,UAAU,EACV,OAAO,EACP,SAAS,EACT,EAAE,CAAC,aAAa,EAAE,CACrB,CAAA;QACD,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CACJ,CAAA;IAEL,KAAK;SACA,OAAO,CAAC,qCAAqC,CAAC;SAC9C,WAAW,CAAC,sCAAsC,CAAC;SACnD,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,YAAoB,EAAE,EAAE;QACtD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAS,CAAC,YAAY,SAAS,wBAAwB,CAAC,CAAA;QAEjE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;QACnE,IAAI,CAAC,OAAO;YAAE,SAAS,CAAC,eAAe,YAAY,cAAc,CAAC,CAAA;QAElE,MAAM,gBAAgB,CAClB,UAAU,EACV,OAAO,EACP,SAAS,EACT,EAAE,CAAC,aAAa,EAAE,CACrB,CAAA;QACD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,KAAK;SACA,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAwB,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QAClE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/C,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAC3B,CAAA;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;QACrB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;gBACpC,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,aAAa,IAAI,CAAC,QAAQ,IAAI,MAAM,eAAe,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3H,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,KAAK;SACA,OAAO,CAAC,mCAAmC,CAAC;SAC5C,WAAW,CAAC,0BAA0B,CAAC;SACvC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,YAAoB,EACpB,IAAwB,EAC1B,EAAE;QACA,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAC9B,UAAU,EACV,OAAO,EACP,SAAS,CACZ,CAAA;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,IAAI;YAAE,SAAS,CAAC,eAAe,YAAY,cAAc,CAAC,CAAA;QAC/D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,eAAe,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACnC,SAAS,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,eAAe,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,eAAe,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;YACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,SAAS,CAAC,eAAe,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;YAC/C,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,SAAS,CAAC,eAAe,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;YAC7C,CAAC;QACL,CAAC;IACL,CAAC,CACJ,CAAA;AACT,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA8CnC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,
|
|
1
|
+
{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA8CnC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAkRN"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { randomUUID } from "node:crypto";
|
|
2
2
|
import { Command } from "commander";
|
|
3
|
-
import {
|
|
3
|
+
import { PremiseEngine } from "../../lib/core/PremiseEngine.js";
|
|
4
4
|
import { VariableManager } from "../../lib/core/VariableManager.js";
|
|
5
5
|
import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
|
|
6
6
|
import { readArgumentMeta, readVersionMeta } from "../storage/arguments.js";
|
|
@@ -54,13 +54,18 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
|
|
|
54
54
|
readPremiseMeta(argumentId, version, pid),
|
|
55
55
|
readPremiseData(argumentId, version, pid),
|
|
56
56
|
]);
|
|
57
|
-
// Hydrate a temporary
|
|
57
|
+
// Hydrate a temporary PremiseEngine for display string
|
|
58
58
|
const { id: _id, ...premiseExtras } = meta;
|
|
59
|
-
const vm = new VariableManager(
|
|
60
|
-
|
|
59
|
+
const vm = new VariableManager();
|
|
60
|
+
for (const v of allVariables) {
|
|
61
|
+
vm.addVariable({ ...v, argumentVersion: version });
|
|
62
|
+
}
|
|
63
|
+
const pm = new PremiseEngine({
|
|
64
|
+
id: pid,
|
|
65
|
+
argumentId: argument.id,
|
|
61
66
|
argumentVersion: version,
|
|
62
|
-
|
|
63
|
-
|
|
67
|
+
...premiseExtras,
|
|
68
|
+
}, { argument, variables: vm });
|
|
64
69
|
// Add expressions BFS-order
|
|
65
70
|
const remaining = [...data.expressions];
|
|
66
71
|
const added = new Set();
|
|
@@ -69,6 +74,7 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
|
|
|
69
74
|
if (expr.parentId === null) {
|
|
70
75
|
pm.addExpression({
|
|
71
76
|
...expr,
|
|
77
|
+
premiseId: pid,
|
|
72
78
|
argumentVersion: version,
|
|
73
79
|
});
|
|
74
80
|
added.add(expr.id);
|
|
@@ -84,6 +90,7 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
|
|
|
84
90
|
added.has(expr.parentId)) {
|
|
85
91
|
pm.addExpression({
|
|
86
92
|
...expr,
|
|
93
|
+
premiseId: pid,
|
|
87
94
|
argumentVersion: version,
|
|
88
95
|
});
|
|
89
96
|
added.add(expr.id);
|
|
@@ -203,17 +210,26 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
|
|
|
203
210
|
readPremiseData(argumentId, version, premiseId),
|
|
204
211
|
]);
|
|
205
212
|
const { id: _id, ...renderPremiseExtras } = meta;
|
|
206
|
-
const renderVm = new VariableManager(
|
|
207
|
-
|
|
213
|
+
const renderVm = new VariableManager();
|
|
214
|
+
for (const v of allVariables) {
|
|
215
|
+
renderVm.addVariable({ ...v, argumentVersion: version });
|
|
216
|
+
}
|
|
217
|
+
const pm = new PremiseEngine({
|
|
218
|
+
id: premiseId,
|
|
219
|
+
argumentId: argument.id,
|
|
208
220
|
argumentVersion: version,
|
|
209
|
-
|
|
210
|
-
|
|
221
|
+
...renderPremiseExtras,
|
|
222
|
+
}, { argument, variables: renderVm });
|
|
211
223
|
const remaining = [...data.expressions];
|
|
212
224
|
const added = new Set();
|
|
213
225
|
for (let i = remaining.length - 1; i >= 0; i--) {
|
|
214
226
|
const expr = remaining[i];
|
|
215
227
|
if (expr.parentId === null) {
|
|
216
|
-
pm.addExpression({
|
|
228
|
+
pm.addExpression({
|
|
229
|
+
...expr,
|
|
230
|
+
premiseId: premiseId,
|
|
231
|
+
argumentVersion: version,
|
|
232
|
+
});
|
|
217
233
|
added.add(expr.id);
|
|
218
234
|
remaining.splice(i, 1);
|
|
219
235
|
}
|
|
@@ -226,6 +242,7 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
|
|
|
226
242
|
if (expr.parentId !== null && added.has(expr.parentId)) {
|
|
227
243
|
pm.addExpression({
|
|
228
244
|
...expr,
|
|
245
|
+
premiseId: premiseId,
|
|
229
246
|
argumentVersion: version,
|
|
230
247
|
});
|
|
231
248
|
added.add(expr.id);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AAEnE,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CACxB,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACvC,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;KACvC,CAAC,CAAA;IACF,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAEnC,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,sBAAsB,CAAC;SACnC,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;SAC3D,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE;YACxC,EAAE;YACF,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/C,CAAC,CAAA;QACF,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE;YAC5C,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,EAAE;SAClB,CAAC,CAAA;QACF,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,mBAAmB,CAAC;SAChC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;aAC5C,CAAC,CAAA;YAEF,uDAAuD;YACvD,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;YAC1C,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAA;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3B,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;YACtD,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;gBACI,EAAE,EAAE,GAAG;gBACP,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,eAAe,EAAE,OAAO;gBACxB,GAAG,aAAa;aACH,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC9B,CAAA;YAED,4BAA4B;YAC5B,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACzB,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,GAAG;wBACd,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC1B,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,GAAG,IAAI,CAAA;YACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACtC,QAAQ,GAAG,KAAK,CAAA;gBAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;oBACzB,IACI,IAAI,CAAC,QAAQ,KAAK,IAAI;wBACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC1B,CAAC;wBACC,EAAE,CAAC,aAAa,CAAC;4BACb,GAAG,IAAI;4BACP,SAAS,EAAE,GAAG;4BACd,eAAe,EAAE,OAAO;yBAC3B,CAAC,CAAA;wBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;wBACtB,QAAQ,GAAG,IAAI,CAAA;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;QAC7B,CAAC,CAAC,CACL,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,IAAI;gBACP,GAAG,IAAI;aACV,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,OAAO,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,YAAY,CAAA;gBACxC,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE;oBAChC,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,YAAY,CAAA;gBAClB,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,WAAW,MAAM,OAAO,MAAM,KAAK,EAAE,CACxD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAA2B,EAAE,EAAE;QAC7D,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,mBAAmB,SAAS,IAAI,CAAC,CAAA;QAC/D,CAAC;QAED,iBAAiB;QACjB,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAClD,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE;gBAClC,GAAG,KAAK;gBACR,mBAAmB,EAAE,SAAS;aACjC,CAAC,CAAA;QACN,CAAC;QAED,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QACtD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC;SAC1C,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;SAC3C,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IAA8C,EAChD,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,SAAS,CACL,qDAAqD,CACxD,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAC9B,UAAU,EACV,OAAO,EACP,SAAS,CACZ,CAAA;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,KAAK,CAAA;QACrB,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAC3B,CAAC;QACD,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QACjD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAwB,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB;gBAClC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,CACxC;gBACH,CAAC,CAAC,SAAS,CAAA;YACf,MAAM,WAAW,GACb,QAAQ,EAAE,IAAI,KAAK,UAAU;gBAC7B,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS;oBAC5B,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;gBAC5B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,YAAY,CAAA;YACtB,SAAS,CAAC,iBAAiB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,iBAAiB,IAAI,CAAC,KAAK,IAAI,YAAY,EAAE,CAAC,CAAA;YACxD,SAAS,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAA;YACzC,SAAS,CAAC,iBAAiB,IAAI,CAAC,gBAAgB,IAAI,QAAQ,EAAE,CAAC,CAAA;YAC/D,SAAS,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,iBAAiB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAA;QACzD,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAA;QAChD,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;YACI,EAAE,EAAE,SAAS;YACb,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,OAAO;YACxB,GAAG,mBAAmB;SACT,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CACpC,CAAA;QAED,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;AACV,CAAC"}
|
package/dist/cli/engine.d.ts
CHANGED
|
@@ -3,7 +3,7 @@ import { ArgumentEngine } from "../lib/core/ArgumentEngine.js";
|
|
|
3
3
|
* Builds a fully-hydrated ArgumentEngine from the on-disk state for the
|
|
4
4
|
* given argument ID and version number.
|
|
5
5
|
*
|
|
6
|
-
* All argument-level variables are registered with every
|
|
6
|
+
* All argument-level variables are registered with every PremiseEngine so
|
|
7
7
|
* that expression validation and evaluation work correctly.
|
|
8
8
|
*
|
|
9
9
|
* Expressions are added in BFS order (root first, then children) to satisfy
|
package/dist/cli/engine.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAoB9D;;;;;;;;;GASG;AACH,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,cAAc,CAAC,
|
|
1
|
+
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAoB9D;;;;;;;;;GASG;AACH,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,cAAc,CAAC,CAgFzB;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CA8CzE"}
|