@polintpro/proposit-core 0.2.5 → 0.2.7
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 +150 -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 +21 -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 +17 -9
- 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 +2 -1
- package/dist/lib/consts.js.map +1 -1
- package/dist/lib/core/ArgumentEngine.d.ts +64 -13
- package/dist/lib/core/ArgumentEngine.d.ts.map +1 -1
- package/dist/lib/core/ArgumentEngine.js +243 -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 +200 -0
- package/dist/lib/core/PremiseEngine.d.ts.map +1 -0
- package/dist/lib/core/PremiseEngine.js +872 -0
- package/dist/lib/core/PremiseEngine.js.map +1 -0
- package/dist/lib/core/VariableManager.d.ts +15 -3
- package/dist/lib/core/VariableManager.d.ts.map +1 -1
- package/dist/lib/core/VariableManager.js +34 -13
- package/dist/lib/core/VariableManager.js.map +1 -1
- package/dist/lib/core/diff.d.ts +2 -2
- package/dist/lib/core/diff.d.ts.map +1 -1
- package/dist/lib/core/diff.js +12 -16
- 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 +8 -29
- package/dist/lib/schemata/propositional.d.ts.map +1 -1
- package/dist/lib/schemata/propositional.js +4 -10
- package/dist/lib/schemata/propositional.js.map +1 -1
- package/dist/lib/types/checksum.d.ts +1 -1
- package/dist/lib/types/checksum.d.ts.map +1 -1
- package/dist/lib/types/evaluation.d.ts +1 -9
- package/dist/lib/types/evaluation.d.ts.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
|
|
|
@@ -348,6 +349,77 @@ Returns all registered variables sorted by ID, with checksums.
|
|
|
348
349
|
|
|
349
350
|
---
|
|
350
351
|
|
|
352
|
+
#### `getVariable(variableId)` → `TPropositionalVariable | undefined`
|
|
353
|
+
|
|
354
|
+
Returns a variable by ID in O(1) time, or `undefined` if not found.
|
|
355
|
+
|
|
356
|
+
---
|
|
357
|
+
|
|
358
|
+
#### `hasVariable(variableId)` → `boolean`
|
|
359
|
+
|
|
360
|
+
Returns `true` if a variable with the given ID exists. O(1).
|
|
361
|
+
|
|
362
|
+
---
|
|
363
|
+
|
|
364
|
+
#### `getVariableBySymbol(symbol)` → `TPropositionalVariable | undefined`
|
|
365
|
+
|
|
366
|
+
Returns the variable with the given symbol in O(1) time, or `undefined` if no variable has that symbol.
|
|
367
|
+
|
|
368
|
+
---
|
|
369
|
+
|
|
370
|
+
#### `buildVariableIndex(keyFn)` → `Map<K, TVar>`
|
|
371
|
+
|
|
372
|
+
Builds a `Map` keyed by a caller-supplied function over all variables. Useful for indexing by extension fields (e.g. `statementId`). The caller should cache the result — this is O(n) per call.
|
|
373
|
+
|
|
374
|
+
```typescript
|
|
375
|
+
// Example: index variables by a custom extension field
|
|
376
|
+
const byStatementId = engine.buildVariableIndex((v) => v.statementId)
|
|
377
|
+
```
|
|
378
|
+
|
|
379
|
+
---
|
|
380
|
+
|
|
381
|
+
#### `getExpression(expressionId)` → `TPropositionalExpression | undefined`
|
|
382
|
+
|
|
383
|
+
Returns an expression by ID from any premise in O(1) time. Uses the shared expression index internally.
|
|
384
|
+
|
|
385
|
+
---
|
|
386
|
+
|
|
387
|
+
#### `hasExpression(expressionId)` → `boolean`
|
|
388
|
+
|
|
389
|
+
Returns `true` if an expression with the given ID exists in any premise. O(1).
|
|
390
|
+
|
|
391
|
+
---
|
|
392
|
+
|
|
393
|
+
#### `getExpressionPremiseId(expressionId)` → `string | undefined`
|
|
394
|
+
|
|
395
|
+
Returns the ID of the premise containing the given expression, or `undefined`. O(1).
|
|
396
|
+
|
|
397
|
+
---
|
|
398
|
+
|
|
399
|
+
#### `findPremiseByExpressionId(expressionId)` → `PremiseEngine | undefined`
|
|
400
|
+
|
|
401
|
+
Returns the `PremiseEngine` instance that contains the given expression, or `undefined`. O(1).
|
|
402
|
+
|
|
403
|
+
---
|
|
404
|
+
|
|
405
|
+
#### `getAllExpressions()` → `TPropositionalExpression[]`
|
|
406
|
+
|
|
407
|
+
Returns all expressions across all premises, sorted by ID.
|
|
408
|
+
|
|
409
|
+
---
|
|
410
|
+
|
|
411
|
+
#### `getExpressionsByVariableId(variableId)` → `TPropositionalExpression[]`
|
|
412
|
+
|
|
413
|
+
Returns all expressions that reference the given variable ID, across all premises.
|
|
414
|
+
|
|
415
|
+
---
|
|
416
|
+
|
|
417
|
+
#### `listRootExpressions()` → `TPropositionalExpression[]`
|
|
418
|
+
|
|
419
|
+
Returns the root expression from each premise that has one.
|
|
420
|
+
|
|
421
|
+
---
|
|
422
|
+
|
|
351
423
|
#### `setConclusionPremise(premiseId)` → `TCoreMutationResult<TCoreArgumentRoleState>`
|
|
352
424
|
|
|
353
425
|
Designates a premise as the conclusion. Throws if the premise does not exist.
|
|
@@ -362,7 +434,7 @@ Removes the conclusion role assignment.
|
|
|
362
434
|
|
|
363
435
|
#### `getConclusionPremise()` → `PremiseManager | undefined`
|
|
364
436
|
|
|
365
|
-
Returns the conclusion `
|
|
437
|
+
Returns the conclusion `PremiseEngine`, if one has been set.
|
|
366
438
|
|
|
367
439
|
---
|
|
368
440
|
|
|
@@ -417,13 +489,37 @@ Options:
|
|
|
417
489
|
|
|
418
490
|
---
|
|
419
491
|
|
|
420
|
-
#### `
|
|
492
|
+
#### `snapshot()` → `TArgumentEngineSnapshot`
|
|
493
|
+
|
|
494
|
+
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()`.
|
|
495
|
+
|
|
496
|
+
---
|
|
497
|
+
|
|
498
|
+
#### `static fromSnapshot(snapshot)` → `ArgumentEngine`
|
|
499
|
+
|
|
500
|
+
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()`.
|
|
501
|
+
|
|
502
|
+
---
|
|
503
|
+
|
|
504
|
+
#### `rollback(snapshot)` → `void`
|
|
421
505
|
|
|
422
|
-
|
|
506
|
+
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).
|
|
423
507
|
|
|
424
508
|
---
|
|
425
509
|
|
|
426
|
-
|
|
510
|
+
#### `static fromData(argument, variables, premises, expressions, roles, config?)` → `ArgumentEngine`
|
|
511
|
+
|
|
512
|
+
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.
|
|
513
|
+
|
|
514
|
+
---
|
|
515
|
+
|
|
516
|
+
#### `toDisplayString()` → `string`
|
|
517
|
+
|
|
518
|
+
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.
|
|
519
|
+
|
|
520
|
+
---
|
|
521
|
+
|
|
522
|
+
### `PremiseEngine` (renamed from `PremiseManager`)
|
|
427
523
|
|
|
428
524
|
#### `deleteExpressionsUsingVariable(variableId)` → `TCoreMutationResult<TPropositionalExpression[]>`
|
|
429
525
|
|
|
@@ -539,9 +635,21 @@ Returns the expression tree rendered with standard logical notation (¬ ∧ ∨
|
|
|
539
635
|
|
|
540
636
|
---
|
|
541
637
|
|
|
542
|
-
#### `
|
|
638
|
+
#### `toPremiseData()` → `TPremise`
|
|
543
639
|
|
|
544
|
-
Returns a serialisable
|
|
640
|
+
Returns a serialisable premise object (`{ id, argumentId, argumentVersion, checksum }` plus any extension fields). Does not include `rootExpressionId`, expressions, or variables — use `getRootExpressionId()`, `getExpressions()`, and `getReferencedVariableIds()` for those.
|
|
641
|
+
|
|
642
|
+
---
|
|
643
|
+
|
|
644
|
+
#### `snapshot()` → `TPremiseEngineSnapshot`
|
|
645
|
+
|
|
646
|
+
Returns a snapshot of the premise's owned state (premise metadata, expression snapshot, config). Excludes dependencies (argument, variables) owned by the parent `ArgumentEngine`.
|
|
647
|
+
|
|
648
|
+
---
|
|
649
|
+
|
|
650
|
+
#### `static fromSnapshot(snapshot, argument, variables, expressionIndex?)` → `PremiseEngine`
|
|
651
|
+
|
|
652
|
+
Reconstructs a `PremiseEngine` from a snapshot, with the argument and `VariableManager` passed as dependencies. An optional `expressionIndex` map (expressionId → premiseId) is populated with the restored expressions.
|
|
545
653
|
|
|
546
654
|
---
|
|
547
655
|
|
|
@@ -614,7 +722,7 @@ const ast: FormulaAST = parseFormula("(P and Q) implies R")
|
|
|
614
722
|
|
|
615
723
|
#### `DEFAULT_CHECKSUM_CONFIG`
|
|
616
724
|
|
|
617
|
-
Readonly default checksum configuration with `Set<string>` fields for each entity type (`expressionFields`, `variableFields`, `premiseFields`, `argumentFields`, `roleFields`). Used by `ArgumentEngine` and `
|
|
725
|
+
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
726
|
|
|
619
727
|
---
|
|
620
728
|
|
|
@@ -640,15 +748,15 @@ const config = createChecksumConfig({
|
|
|
640
748
|
|
|
641
749
|
Constants, types, and a helper for midpoint-based position computation, exported from `utils/position.ts`:
|
|
642
750
|
|
|
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.
|
|
751
|
+
| Export | Value / Signature | Description |
|
|
752
|
+
| ------------------------- | -------------------------------------- | ----------------------------------------------------- |
|
|
753
|
+
| `POSITION_MIN` | `-2147483647` | Default lower bound (signed int32). |
|
|
754
|
+
| `POSITION_MAX` | `2147483647` | Default upper bound (signed int32). |
|
|
755
|
+
| `POSITION_INITIAL` | `0` | Default position for first children. |
|
|
756
|
+
| `DEFAULT_POSITION_CONFIG` | `{ min, max, initial }` | Default `TCorePositionConfig` matching the above. |
|
|
757
|
+
| `TCorePositionConfig` | `{ min, max, initial }` | Type for configurable position range. |
|
|
758
|
+
| `TLogicEngineOptions` | `{ checksumConfig?, positionConfig? }` | Universal config type for all engine/manager classes. |
|
|
759
|
+
| `midpoint(a, b)` | `a + (b - a) / 2` | Overflow-safe midpoint of two positions. |
|
|
652
760
|
|
|
653
761
|
~52 bisections at the same insertion point before losing floating-point precision.
|
|
654
762
|
|
|
@@ -668,6 +776,21 @@ A version of `TPropositionalExpression` with both the `position` and `checksum`
|
|
|
668
776
|
|
|
669
777
|
---
|
|
670
778
|
|
|
779
|
+
#### Snapshot Types
|
|
780
|
+
|
|
781
|
+
Hierarchical snapshot types for capturing and restoring engine state:
|
|
782
|
+
|
|
783
|
+
| Type | Contains |
|
|
784
|
+
| ---------------------------- | --------------------------------------------------------------------------------------- |
|
|
785
|
+
| `TExpressionManagerSnapshot` | `expressions` (with checksums), `config` |
|
|
786
|
+
| `TVariableManagerSnapshot` | `variables`, `config` |
|
|
787
|
+
| `TPremiseEngineSnapshot` | `premise` metadata, `rootExpressionId`, `expressions` snapshot, `config` |
|
|
788
|
+
| `TArgumentEngineSnapshot` | `argument`, `variables` snapshot, `premises` snapshots, `conclusionPremiseId`, `config` |
|
|
789
|
+
|
|
790
|
+
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()`.
|
|
791
|
+
|
|
792
|
+
---
|
|
793
|
+
|
|
671
794
|
## CLI
|
|
672
795
|
|
|
673
796
|
The package ships a command-line interface for managing arguments stored on disk.
|
|
@@ -853,7 +976,7 @@ proposit-core <id> <ver> analysis export [--json]
|
|
|
853
976
|
- **`check-validity`** — runs the full truth-table search (`--mode first-counterexample|exhaustive`).
|
|
854
977
|
- **`validate-argument`** — checks structural readiness (conclusion set, inference premises, etc.).
|
|
855
978
|
- **`refs`** — lists every variable referenced across all premises.
|
|
856
|
-
- **`export`** — dumps the full `ArgumentEngine` state
|
|
979
|
+
- **`export`** — dumps the full `ArgumentEngine` state as JSON (uses `snapshot()` internally).
|
|
857
980
|
|
|
858
981
|
## Development
|
|
859
982
|
|
|
@@ -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,CAwWN"}
|
|
@@ -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,11 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
118
121
|
? e.message
|
|
119
122
|
: "Failed to add expression.");
|
|
120
123
|
}
|
|
121
|
-
await writePremiseData(argumentId, version, premiseId,
|
|
124
|
+
await writePremiseData(argumentId, version, premiseId, {
|
|
125
|
+
rootExpressionId: pm.getRootExpressionId(),
|
|
126
|
+
variables: [...pm.getReferencedVariableIds()].sort(),
|
|
127
|
+
expressions: pm.getExpressions(),
|
|
128
|
+
});
|
|
122
129
|
printLine(id);
|
|
123
130
|
});
|
|
124
131
|
exprs
|
|
@@ -157,6 +164,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
157
164
|
id,
|
|
158
165
|
argumentId,
|
|
159
166
|
argumentVersion: version,
|
|
167
|
+
premiseId,
|
|
160
168
|
parentId,
|
|
161
169
|
position,
|
|
162
170
|
type: "variable",
|
|
@@ -170,6 +178,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
170
178
|
id,
|
|
171
179
|
argumentId,
|
|
172
180
|
argumentVersion: version,
|
|
181
|
+
premiseId,
|
|
173
182
|
parentId,
|
|
174
183
|
position,
|
|
175
184
|
type: "operator",
|
|
@@ -181,6 +190,7 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
181
190
|
id,
|
|
182
191
|
argumentId,
|
|
183
192
|
argumentVersion: version,
|
|
193
|
+
premiseId,
|
|
184
194
|
parentId,
|
|
185
195
|
position,
|
|
186
196
|
type: "formula",
|
|
@@ -197,7 +207,11 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
197
207
|
? e.message
|
|
198
208
|
: "Failed to insert expression.");
|
|
199
209
|
}
|
|
200
|
-
await writePremiseData(argumentId, version, premiseId,
|
|
210
|
+
await writePremiseData(argumentId, version, premiseId, {
|
|
211
|
+
rootExpressionId: pm.getRootExpressionId(),
|
|
212
|
+
variables: [...pm.getReferencedVariableIds()].sort(),
|
|
213
|
+
expressions: pm.getExpressions(),
|
|
214
|
+
});
|
|
201
215
|
printLine(id);
|
|
202
216
|
});
|
|
203
217
|
exprs
|
|
@@ -215,7 +229,11 @@ export function registerExpressionCommands(versionedCmd, argumentId, version) {
|
|
|
215
229
|
const { result: removed } = pm.removeExpression(expressionId, true);
|
|
216
230
|
if (!removed)
|
|
217
231
|
errorExit(`Expression "${expressionId}" not found.`);
|
|
218
|
-
await writePremiseData(argumentId, version, premiseId,
|
|
232
|
+
await writePremiseData(argumentId, version, premiseId, {
|
|
233
|
+
rootExpressionId: pm.getRootExpressionId(),
|
|
234
|
+
variables: [...pm.getReferencedVariableIds()].sort(),
|
|
235
|
+
expressions: pm.getExpressions(),
|
|
236
|
+
});
|
|
219
237
|
printLine("success");
|
|
220
238
|
});
|
|
221
239
|
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,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,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,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,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,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE;YACnD,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;QACF,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);
|