@ldclabs/kip-lang 2.0.2 → 2.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +69 -0
- package/README.md +4 -4
- package/dist/ast.d.ts +75 -58
- package/dist/ast.d.ts.map +1 -1
- package/dist/exec-ast.d.ts +51 -50
- package/dist/exec-ast.d.ts.map +1 -1
- package/dist/formatter.d.ts.map +1 -1
- package/dist/formatter.js +62 -121
- package/dist/formatter.js.map +1 -1
- package/dist/index.d.ts +2 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js.map +1 -1
- package/dist/lower.d.ts.map +1 -1
- package/dist/lower.js +112 -97
- package/dist/lower.js.map +1 -1
- package/dist/parser.d.ts.map +1 -1
- package/dist/parser.js +146 -224
- package/dist/parser.js.map +1 -1
- package/dist/semantics.js +66 -35
- package/dist/semantics.js.map +1 -1
- package/dist/token.d.ts +4 -11
- package/dist/token.d.ts.map +1 -1
- package/dist/token.js +8 -22
- package/dist/token.js.map +1 -1
- package/dist/version.d.ts +1 -1
- package/dist/version.js +1 -1
- package/package.json +2 -2
- package/src/ast.ts +73 -70
- package/src/exec-ast.ts +53 -42
- package/src/formatter.ts +61 -139
- package/src/index.ts +7 -13
- package/src/lower.ts +134 -106
- package/src/parser.ts +161 -250
- package/src/semantics.ts +63 -37
- package/src/token.ts +8 -22
- package/src/version.ts +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -2,6 +2,75 @@
|
|
|
2
2
|
|
|
3
3
|
All notable changes to `@ldclabs/kip-lang` are documented here.
|
|
4
4
|
|
|
5
|
+
## 2.2.0
|
|
6
|
+
|
|
7
|
+
Tracks the 2.0-draft syntax convergence (Spec §35, §48.1, §51.2, §52.8,
|
|
8
|
+
§57, §63.3, §68): one lifecycle statement, one trailing guard position, one
|
|
9
|
+
history axis. Source text written for 2.x lifecycle statements no longer
|
|
10
|
+
parses; the exec AST changes shape for every consumer of `expect_version`.
|
|
11
|
+
|
|
12
|
+
### Changed (breaking)
|
|
13
|
+
|
|
14
|
+
- **`TRANSITION <target> TO "<state>" [BY <ref>] [SET FIELDS] [SET STRUCTURAL]
|
|
15
|
+
[WHERE] [LIMIT] {EXPECT VERSION}` replaces `RETRACT ASSERTION`,
|
|
16
|
+
`SUPERSEDE ASSERTION`, `CORRECT EVIDENCE`, `TRANSITION ACTIVITY`, `ARCHIVE`
|
|
17
|
+
and `TOMBSTONE`.** The quoted state names the move; semantics check that the
|
|
18
|
+
state exists (KIP_2001), that `BY` is present exactly for `superseded` /
|
|
19
|
+
`corrected`, and that `SET FIELDS` / `SET STRUCTURAL` appear only on
|
|
20
|
+
Activity states. `ASSERT ... SUPERSEDING :old` now desugars to
|
|
21
|
+
`TRANSITION :old TO "superseded" BY <new assertion>`.
|
|
22
|
+
- **`EXPECT STATE` is gone.** The engine validates the current lifecycle state
|
|
23
|
+
itself (`InvalidLifecycleTransition`), so the guard carried no information.
|
|
24
|
+
- **`EXPECT VERSION` is always the trailing clause** — after `WHERE` and
|
|
25
|
+
`LIMIT`, after `UPSERT`'s closing brace, after `ENSURE PROPOSITION`'s tuple —
|
|
26
|
+
and gains version planes: `EXPECT VERSION :v [OF ATTRIBUTES | STRUCTURAL |
|
|
27
|
+
RETENTION | FACET "X"]`, repeatable one guard per plane. `UPDATE ?x EXPECT
|
|
28
|
+
VERSION :v SET ...` and `UPSERT CONCEPT ?x { ... EXPECT VERSION :v ... }`
|
|
29
|
+
no longer parse. Exec AST: every `expect_version: ExpectVersion | null`
|
|
30
|
+
field became `expect_versions: ExpectVersion[]`, and `ExpectVersion` gained
|
|
31
|
+
`plane` (`'Attributes' | 'Structural' | 'Retention' | { Facet } | null`).
|
|
32
|
+
Lowering rejects a repeated plane.
|
|
33
|
+
- **`AS OF SEQ` is the only history axis.** `AS OF TX` and `AS OF TIME` are
|
|
34
|
+
removed from KQL, META and EXPORT; resolve a transaction id through
|
|
35
|
+
`DESCRIBE TRANSACTION`, an instant through `DESCRIBE SNAPSHOT AT TIME :t`.
|
|
36
|
+
Exec AST `AsOf` is now `{ Seq }` only.
|
|
37
|
+
- **META:** `SNAPSHOT` (the token statement), `DESCRIBE EXECUTION CONTEXT` and
|
|
38
|
+
`DESCRIBE PROJECTION CAPABILITY` are removed — `DESCRIBE PRIMER` /
|
|
39
|
+
`DESCRIBE CAPABILITIES` carry that information. `DESCRIBE SNAPSHOT` takes
|
|
40
|
+
`[AS OF SEQ :s | AT TIME :t]`; `DescribeStatement` gains `atTime`.
|
|
41
|
+
- Tokens removed: `TX`, `RETRACT`, `SUPERSEDE`, `CORRECT`, `ARCHIVE`,
|
|
42
|
+
`TOMBSTONE`, `STATE`, `EXECUTION`, `CONTEXT`, `CAPABILITY`, `PROJECTION`.
|
|
43
|
+
Token added: `AT`. Those words are ordinary identifiers again.
|
|
44
|
+
- Exported types: `TransitionStatement`, `VersionPlane`, `ExpectVersion`,
|
|
45
|
+
`ExecVersionPlane`, `Transition` replace the removed per-statement types.
|
|
46
|
+
- `lower()` now throws on a `TRANSITION` that omits `BY` for `superseded` /
|
|
47
|
+
`corrected`, adds `BY` to any other state, or finalizes fields / topology
|
|
48
|
+
on a non-Activity state — Spec §52.5 calls these syntax errors, so they are
|
|
49
|
+
part of the executability contract, not only editor diagnostics.
|
|
50
|
+
|
|
51
|
+
### Added
|
|
52
|
+
|
|
53
|
+
- The syntax-docs test's KML coverage map now keys `transition_statement` to
|
|
54
|
+
the `TRANSITION ` marker and drops `snapshot_statement`; the EBNF header
|
|
55
|
+
notes (KML 5 / 5a / 6a) describe the same decisions.
|
|
56
|
+
|
|
57
|
+
## 2.1.0
|
|
58
|
+
|
|
59
|
+
### Added
|
|
60
|
+
|
|
61
|
+
- **`PURGE PAYLOAD` (Spec §60.6).** Erases Evidence payload bytes while the
|
|
62
|
+
element survives, so the statement takes no `REFERENCE POLICY` clause and
|
|
63
|
+
demands the same exact `CONFIRM "PURGE"` literal as element purge. Parsed,
|
|
64
|
+
formatted, lowered (`PurgePayload` exec command), and covered by the same
|
|
65
|
+
unbounded-`WHERE` LIMIT warning as the rest of the removal ladder.
|
|
66
|
+
- **`LIST DEPENDENTS :id [DEPTH :n] [LIMIT :n] [CURSOR :c]` (Spec §63.5).**
|
|
67
|
+
Bounded reverse provenance closure: the cognition derived from one element,
|
|
68
|
+
reached through Activity `inputs → outputs`. The operand is required; the
|
|
69
|
+
parser rejects a bare `LIST DEPENDENTS`.
|
|
70
|
+
- Exec AST: `ListCommand` gains `element` / `depth` (null for every other
|
|
71
|
+
target) and `ListTarget` gains `Dependents`; wire consumers deserializing
|
|
72
|
+
`ListCommand` must accept the two new fields.
|
|
73
|
+
|
|
5
74
|
## 2.0.2
|
|
6
75
|
|
|
7
76
|
### Fixed
|
package/README.md
CHANGED
|
@@ -15,13 +15,13 @@ envelopes remain engine responsibilities.
|
|
|
15
15
|
|
|
16
16
|
The parser targets the KIP 2.0 command-text syntax — all three languages:
|
|
17
17
|
**KQL** (`FIND`) to read, **KML** (`ASSERT`, `MUTATE`, `CREATE`, `UPSERT`,
|
|
18
|
-
`UPDATE`,
|
|
19
|
-
change cognition, and **META** (`DESCRIBE`, `LIST`,
|
|
20
|
-
`VALIDATE`, `PREVIEW`, `HISTORY`, `CHANGES`, `
|
|
18
|
+
`UPDATE`, the single `TRANSITION` lifecycle statement, `SET RETENTION`,
|
|
19
|
+
`PURGE`, `MERGE`) to change cognition, and **META** (`DESCRIBE`, `LIST`,
|
|
20
|
+
`SEARCH`, `VERIFY`, `VALIDATE`, `PREVIEW`, `HISTORY`, `CHANGES`, `EXPORT CAPSULE`) to
|
|
21
21
|
ground and introspect. That includes the five Core element kinds (Concept,
|
|
22
22
|
Proposition, Assertion, Evidence, Activity), `BELIEF` / `BELIEF SLOT`
|
|
23
23
|
projection patterns, `STRUCTURAL` topology patterns, facets, the independent
|
|
24
|
-
`AS OF` / `FOR TIME` time axes, `:parameter` placeholders in full value
|
|
24
|
+
`AS OF SEQ` / `FOR TIME` time axes, `:parameter` placeholders in full value
|
|
25
25
|
positions, ASCII case-insensitive keywords, JSON-compatible object literals
|
|
26
26
|
with unquoted identifier keys, and batch-friendly multi-command source text.
|
|
27
27
|
The request envelope (`kip`, `request_id`, `space`, `execution`, `ingest`,
|
package/dist/ast.d.ts
CHANGED
|
@@ -20,9 +20,9 @@ export type KmlStatement = MutateStatement | MutationClause;
|
|
|
20
20
|
* `MUTATE` itself is excluded: the grammar forbids nesting one mutation
|
|
21
21
|
* transaction inside another.
|
|
22
22
|
*/
|
|
23
|
-
export type MutationClause = CreateConceptStatement | UpsertConceptStatement | EnsurePropositionStatement | AssertStatement | CreateEvidenceStatement | CreateAssertionStatement | CreateActivityStatement | UpdateStatement |
|
|
23
|
+
export type MutationClause = CreateConceptStatement | UpsertConceptStatement | EnsurePropositionStatement | AssertStatement | CreateEvidenceStatement | CreateAssertionStatement | CreateActivityStatement | UpdateStatement | TransitionStatement | SetRetentionStatement | PurgeStatement | PurgePayloadStatement | MergeConceptStatement;
|
|
24
24
|
/** META — introspection, grounding, verification, history, export. */
|
|
25
|
-
export type MetaStatement = DescribeStatement | ListStatement | SearchStatement | VerifyStatement | ValidateStatement | PreviewStatement | HistoryStatement | ChangesStatement |
|
|
25
|
+
export type MetaStatement = DescribeStatement | ListStatement | SearchStatement | VerifyStatement | ValidateStatement | PreviewStatement | HistoryStatement | ChangesStatement | ExportCapsuleStatement;
|
|
26
26
|
/** `schema_symbol = string_literal | parameter` */
|
|
27
27
|
export type SchemaSymbol = StringLiteral | ParameterRef;
|
|
28
28
|
/** `scalar_value` / `scalar_or_parameter` / `meta_value` = `parameter | literal` */
|
|
@@ -42,10 +42,15 @@ export interface FindStatement extends BaseNode {
|
|
|
42
42
|
limit?: LimitClause;
|
|
43
43
|
cursor?: CursorClause;
|
|
44
44
|
}
|
|
45
|
-
/**
|
|
45
|
+
/**
|
|
46
|
+
* `AS OF SEQ` — which cognitive history the read runs against.
|
|
47
|
+
*
|
|
48
|
+
* Cognitive time is a sequence coordinate. A transaction id or a wall-clock
|
|
49
|
+
* instant is resolved to one first (`DESCRIBE TRANSACTION`, `DESCRIBE SNAPSHOT
|
|
50
|
+
* AT TIME`), so the read itself names the sequence it ran against.
|
|
51
|
+
*/
|
|
46
52
|
export interface AsOfClause extends BaseNode {
|
|
47
53
|
kind: 'AsOfClause';
|
|
48
|
-
basis: 'SEQ' | 'TX' | 'TIME';
|
|
49
54
|
value: ScalarValue;
|
|
50
55
|
}
|
|
51
56
|
/** `FOR TIME` — world-valid time, an axis independent of {@link AsOfClause}. */
|
|
@@ -244,7 +249,6 @@ export interface UpsertConceptStatement extends BaseNode {
|
|
|
244
249
|
kind: 'UpsertConceptStatement';
|
|
245
250
|
handle: Handle;
|
|
246
251
|
match?: MatchClause;
|
|
247
|
-
expectVersion?: ExpectVersionClause;
|
|
248
252
|
setFields?: SetFieldsClause;
|
|
249
253
|
setAttributes?: SetAttributesClause;
|
|
250
254
|
setFacets: SetFacetClause[];
|
|
@@ -252,12 +256,14 @@ export interface UpsertConceptStatement extends BaseNode {
|
|
|
252
256
|
unsetFacets: UnsetFacetClause[];
|
|
253
257
|
setStructural?: SetStructuralClause;
|
|
254
258
|
unsetStructural?: UnsetStructuralClause;
|
|
259
|
+
/** Trailing preconditions, after the closing brace (Spec §35.1). */
|
|
260
|
+
expectVersions: ExpectVersionClause[];
|
|
255
261
|
}
|
|
256
262
|
export interface EnsurePropositionStatement extends BaseNode {
|
|
257
263
|
kind: 'EnsurePropositionStatement';
|
|
258
264
|
handle?: Handle;
|
|
259
265
|
tuple: PropositionTuple;
|
|
260
|
-
|
|
266
|
+
expectVersions: ExpectVersionClause[];
|
|
261
267
|
}
|
|
262
268
|
/**
|
|
263
269
|
* `ASSERT (s, p, o) { by:, mode:, ... } [SUPERSEDING ref]`.
|
|
@@ -373,14 +379,25 @@ export interface StructuralRemoval extends BaseNode {
|
|
|
373
379
|
field: SchemaSymbol;
|
|
374
380
|
value: Expression;
|
|
375
381
|
}
|
|
382
|
+
/**
|
|
383
|
+
* `EXPECT VERSION n [OF ATTRIBUTES | STRUCTURAL | RETENTION | FACET "X"]`.
|
|
384
|
+
*
|
|
385
|
+
* Without a plane the guard compares the element's `_system.version`; with
|
|
386
|
+
* one it compares that plane's own version, so a lifecycle verdict guarded on
|
|
387
|
+
* `ATTRIBUTES` is not spoiled by a metabolism sweep that touched a Facet
|
|
388
|
+
* (Spec §35.1). A statement may carry several, at most one per plane.
|
|
389
|
+
*/
|
|
376
390
|
export interface ExpectVersionClause extends BaseNode {
|
|
377
391
|
kind: 'ExpectVersionClause';
|
|
378
392
|
value: ScalarValue;
|
|
393
|
+
plane?: VersionPlane;
|
|
379
394
|
}
|
|
380
|
-
export
|
|
381
|
-
kind: '
|
|
382
|
-
|
|
383
|
-
|
|
395
|
+
export type VersionPlane = {
|
|
396
|
+
kind: 'ATTRIBUTES' | 'STRUCTURAL' | 'RETENTION';
|
|
397
|
+
} | {
|
|
398
|
+
kind: 'FACET';
|
|
399
|
+
facet: SchemaSymbol;
|
|
400
|
+
};
|
|
384
401
|
/**
|
|
385
402
|
* `UPDATE` reaches mutable state only.
|
|
386
403
|
*
|
|
@@ -391,42 +408,40 @@ export interface ExpectStateClause extends BaseNode {
|
|
|
391
408
|
export interface UpdateStatement extends BaseNode {
|
|
392
409
|
kind: 'UpdateStatement';
|
|
393
410
|
target: TargetRef;
|
|
394
|
-
expectVersion?: ExpectVersionClause;
|
|
395
411
|
actions: UpdateAction[];
|
|
396
412
|
/**
|
|
397
413
|
* Binds a `?variable` target; a direct `:id` / `"id"` target already names
|
|
398
|
-
* the element and may omit it — the same rule as
|
|
399
|
-
* SET RETENTION
|
|
414
|
+
* the element and may omit it — the same rule as TRANSITION, PURGE and
|
|
415
|
+
* SET RETENTION (Spec §58).
|
|
400
416
|
*/
|
|
401
417
|
where?: WhereClause;
|
|
402
418
|
limit?: LimitClause;
|
|
419
|
+
/** Trailing preconditions: `[WHERE] [LIMIT] {EXPECT VERSION}` (Spec §52.8). */
|
|
420
|
+
expectVersions: ExpectVersionClause[];
|
|
403
421
|
}
|
|
404
422
|
export type UpdateAction = SetFieldsClause | SetAttributesClause | SetFacetClause | UnsetAttributesClause | UnsetFacetClause | SetStructuralClause | UnsetStructuralClause;
|
|
405
|
-
|
|
406
|
-
|
|
407
|
-
|
|
408
|
-
|
|
409
|
-
|
|
410
|
-
|
|
411
|
-
|
|
412
|
-
|
|
413
|
-
|
|
414
|
-
|
|
415
|
-
|
|
416
|
-
|
|
417
|
-
|
|
418
|
-
export interface
|
|
419
|
-
kind: '
|
|
420
|
-
target: TargetRef;
|
|
421
|
-
by: TargetRef;
|
|
422
|
-
expectState?: ExpectStateClause;
|
|
423
|
-
}
|
|
424
|
-
export interface TransitionActivityStatement extends BaseNode {
|
|
425
|
-
kind: 'TransitionActivityStatement';
|
|
423
|
+
/**
|
|
424
|
+
* `TRANSITION target TO "state" [BY ref] [SET FIELDS] [SET STRUCTURAL]
|
|
425
|
+
* [WHERE] [LIMIT] {EXPECT VERSION}` — the one lifecycle statement (Spec §52.5).
|
|
426
|
+
*
|
|
427
|
+
* The state names the move and the engine checks it against the target's
|
|
428
|
+
* kind: an Assertion goes to `retracted` or `superseded` (`BY` the newer
|
|
429
|
+
* Assertion), Evidence to `corrected` (`BY` the new Evidence), a pending
|
|
430
|
+
* Activity to `running` or a terminal state (finalizing fields and topology
|
|
431
|
+
* in the same statement), and any element to `archived` or `tombstoned`.
|
|
432
|
+
* The transition itself validates the current state, which is why there is
|
|
433
|
+
* no `EXPECT STATE`: a move from the wrong state fails
|
|
434
|
+
* `InvalidLifecycleTransition`, and a version guard covers the rest.
|
|
435
|
+
*/
|
|
436
|
+
export interface TransitionStatement extends BaseNode {
|
|
437
|
+
kind: 'TransitionStatement';
|
|
426
438
|
target: TargetRef;
|
|
427
439
|
to: ScalarValue;
|
|
440
|
+
by?: TargetRef;
|
|
428
441
|
finalize: (SetFieldsClause | SetStructuralClause)[];
|
|
429
|
-
|
|
442
|
+
where?: WhereClause;
|
|
443
|
+
limit?: LimitClause;
|
|
444
|
+
expectVersions: ExpectVersionClause[];
|
|
430
445
|
}
|
|
431
446
|
export interface SetRetentionStatement extends BaseNode {
|
|
432
447
|
kind: 'SetRetentionStatement';
|
|
@@ -434,21 +449,7 @@ export interface SetRetentionStatement extends BaseNode {
|
|
|
434
449
|
assignments: ObjectLiteral;
|
|
435
450
|
where?: WhereClause;
|
|
436
451
|
limit?: LimitClause;
|
|
437
|
-
|
|
438
|
-
}
|
|
439
|
-
export interface ArchiveStatement extends BaseNode {
|
|
440
|
-
kind: 'ArchiveStatement';
|
|
441
|
-
target: TargetRef;
|
|
442
|
-
where?: WhereClause;
|
|
443
|
-
limit?: LimitClause;
|
|
444
|
-
expectState?: ExpectStateClause;
|
|
445
|
-
}
|
|
446
|
-
export interface TombstoneStatement extends BaseNode {
|
|
447
|
-
kind: 'TombstoneStatement';
|
|
448
|
-
target: TargetRef;
|
|
449
|
-
where?: WhereClause;
|
|
450
|
-
limit?: LimitClause;
|
|
451
|
-
expectState?: ExpectStateClause;
|
|
452
|
+
expectVersions: ExpectVersionClause[];
|
|
452
453
|
}
|
|
453
454
|
/** Physical erasure. The grammar freezes the confirmation as `CONFIRM "PURGE"`. */
|
|
454
455
|
export interface PurgeStatement extends BaseNode {
|
|
@@ -456,18 +457,32 @@ export interface PurgeStatement extends BaseNode {
|
|
|
456
457
|
target: TargetRef;
|
|
457
458
|
where?: WhereClause;
|
|
458
459
|
limit?: LimitClause;
|
|
460
|
+
expectVersions: ExpectVersionClause[];
|
|
459
461
|
referencePolicy?: ScalarValue;
|
|
460
462
|
confirm: StringLiteral;
|
|
461
463
|
}
|
|
464
|
+
/**
|
|
465
|
+
* Erases Evidence payload bytes while the element survives (Spec §60.6).
|
|
466
|
+
* The element survives, so there is no REFERENCE POLICY clause; the
|
|
467
|
+
* confirmation literal is the same `CONFIRM "PURGE"` as element purge.
|
|
468
|
+
*/
|
|
469
|
+
export interface PurgePayloadStatement extends BaseNode {
|
|
470
|
+
kind: 'PurgePayloadStatement';
|
|
471
|
+
target: TargetRef;
|
|
472
|
+
where?: WhereClause;
|
|
473
|
+
limit?: LimitClause;
|
|
474
|
+
expectVersions: ExpectVersionClause[];
|
|
475
|
+
confirm: StringLiteral;
|
|
476
|
+
}
|
|
462
477
|
/** Non-destructive: the source stays addressable as merged history. */
|
|
463
478
|
export interface MergeConceptStatement extends BaseNode {
|
|
464
479
|
kind: 'MergeConceptStatement';
|
|
465
480
|
source: TargetRef;
|
|
466
481
|
into: TargetRef;
|
|
467
482
|
where?: WhereClause;
|
|
468
|
-
|
|
483
|
+
expectVersions: ExpectVersionClause[];
|
|
469
484
|
}
|
|
470
|
-
export type DescribeTargetKind = 'PRIMER' | 'PROTOCOL' | '
|
|
485
|
+
export type DescribeTargetKind = 'PRIMER' | 'PROTOCOL' | 'CAPABILITIES' | 'SPACE' | 'SCHEMA_ENVIRONMENT' | 'PACKAGE' | 'TYPE' | 'PREDICATE' | 'FACET' | 'STRUCTURAL_FIELD' | 'COMPATIBILITY' | 'ERROR' | 'TRANSACTION' | 'TRANSACTION_BY_IDEMPOTENCY_KEY' | 'SNAPSHOT' | 'CAPSULE' | 'EPISTEMIC_POLICY' | 'TRUST' | 'ACCESS';
|
|
471
486
|
export interface DescribeStatement extends BaseNode {
|
|
472
487
|
kind: 'DescribeStatement';
|
|
473
488
|
target: DescribeTargetKind;
|
|
@@ -478,17 +493,23 @@ export interface DescribeStatement extends BaseNode {
|
|
|
478
493
|
/** `DESCRIBE COMPATIBILITY FROM ... TO ...` */
|
|
479
494
|
from?: ScalarValue;
|
|
480
495
|
to?: ScalarValue;
|
|
481
|
-
/** `DESCRIBE SCHEMA ENVIRONMENT` / `DESCRIBE SNAPSHOT` */
|
|
496
|
+
/** `DESCRIBE SCHEMA ENVIRONMENT` / `DESCRIBE SNAPSHOT` — `AS OF SEQ` */
|
|
482
497
|
asOf?: AsOfClause;
|
|
498
|
+
/** `DESCRIBE SNAPSHOT AT TIME` — resolves a wall-clock instant to a sequence. */
|
|
499
|
+
atTime?: ScalarValue;
|
|
483
500
|
/** `DESCRIBE ACCESS WITH {...}` */
|
|
484
501
|
with?: ObjectLiteral;
|
|
485
502
|
}
|
|
486
|
-
export type ListTargetKind = 'SPACES' | 'SCHEMA_PACKAGES' | 'TYPES' | 'PREDICATES' | 'FACETS' | 'STRUCTURAL_FIELDS' | 'EPISTEMIC_POLICIES';
|
|
503
|
+
export type ListTargetKind = 'SPACES' | 'SCHEMA_PACKAGES' | 'TYPES' | 'PREDICATES' | 'FACETS' | 'STRUCTURAL_FIELDS' | 'EPISTEMIC_POLICIES' | 'DEPENDENTS';
|
|
487
504
|
export interface ListStatement extends BaseNode {
|
|
488
505
|
kind: 'ListStatement';
|
|
489
506
|
target: ListTargetKind;
|
|
490
507
|
/** `LIST SCHEMA PACKAGES STATUS ...` */
|
|
491
508
|
status?: ScalarValue;
|
|
509
|
+
/** `LIST DEPENDENTS :id` — the element whose derived cognition is listed. */
|
|
510
|
+
element?: ScalarValue;
|
|
511
|
+
/** `LIST DEPENDENTS ... DEPTH :n` — traversal bound (Spec §63.5). */
|
|
512
|
+
depth?: ScalarValue;
|
|
492
513
|
limit?: LimitClause;
|
|
493
514
|
cursor?: CursorClause;
|
|
494
515
|
}
|
|
@@ -546,10 +567,6 @@ export interface ChangesStatement extends BaseNode {
|
|
|
546
567
|
value: ScalarValue;
|
|
547
568
|
limit?: LimitClause;
|
|
548
569
|
}
|
|
549
|
-
export interface SnapshotStatement extends BaseNode {
|
|
550
|
-
kind: 'SnapshotStatement';
|
|
551
|
-
asOf?: AsOfClause;
|
|
552
|
-
}
|
|
553
570
|
export interface ExportCapsuleStatement extends BaseNode {
|
|
554
571
|
kind: 'ExportCapsuleStatement';
|
|
555
572
|
target: TargetRef;
|
package/dist/ast.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAIvC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,eAAe,CAAC,EAAE,MAAM,EAAE,CAAA;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAA;CACzB;AAID,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB;AAED,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,CAAA;AAEnE,+BAA+B;AAC/B,MAAM,MAAM,YAAY,GAAG,aAAa,CAAA;AAExC,6CAA6C;AAC7C,MAAM,MAAM,YAAY,GAAG,eAAe,GAAG,cAAc,CAAA;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,sBAAsB,GACtB,sBAAsB,GACtB,0BAA0B,GAC1B,eAAe,GACf,uBAAuB,GACvB,wBAAwB,GACxB,uBAAuB,GACvB,eAAe,GACf,yBAAyB,GACzB,2BAA2B,GAC3B,wBAAwB,GACxB,2BAA2B,GAC3B,qBAAqB,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,cAAc,GACd,qBAAqB,CAAA;AAEzB,sEAAsE;AACtE,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,aAAa,GACb,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,gBAAgB,GAChB,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,sBAAsB,CAAA;AAI1B,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,YAAY,CAAA;AAEvD,oFAAoF;AACpF,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,CAAA;AAEf,2DAA2D;AAC3D,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,YAAY,GAAG,aAAa,CAAA;AAElE,wEAAwE;AACxE,MAAM,MAAM,MAAM,GAAG,WAAW,CAAA;AAIhC,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,KAAK,EAAE,WAAW,CAAA;IAClB,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,2EAA2E;AAC3E,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,KAAK,GAAG,IAAI,GAAG,MAAM,CAAA;IAC5B,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,gFAAgF;AAChF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,UAAU,EAAE,UAAU,CAAA;IACtB,SAAS,CAAC,EAAE,KAAK,GAAG,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,KAAK,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,iBAAiB,GACjB,YAAY,GACZ,SAAS,GACT,cAAc,GACd,WAAW,CAAA;AAEf,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,WAAW,CAAA;IACrB,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,CAAA;IACjB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,oBAAoB,CAAA;IAC1B,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,gBAAgB,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,OAAO,EAAE,IAAI,CAAA;IACb,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,IAAI,CAAA;CACb;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,QAAQ,EAAE,WAAW,CAAA;IACrB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB;;;;OAIG;IACH,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,8EAA8E;IAC9E,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,aAAa,CAAA;IACzB,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,IAAI,CAAA;IACb,SAAS,EAAE,aAAa,CAAA;CACzB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,UAAU,EAAE,UAAU,CAAA;CACvB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAID;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,6DAA6D;IAC7D,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,sBAAsB,CAAA;IAClC,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,MAAM,MAAM,IAAI,GACZ,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,aAAa,GACb,gBAAgB,CAAA;AAEpB,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,CAAA;AAEtE;;;;;;GAMG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,KAAK,EAAE,iBAAiB,EAAE,CAAA;CAC3B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,aAAa,CAAA;IACnB,UAAU,CAAC,EAAE,cAAc,CAAA;CAC5B;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,GAAG,EAAE,MAAM,CAAA;IACX,8BAA8B;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAA;CAClB;AAID;;;;;;GAMG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAID,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,cAAc,EAAE,CAAA;CAC1B;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,eAAe,CAAC,EAAE,qBAAqB,CAAA;IACvC,WAAW,EAAE,gBAAgB,EAAE,CAAA;IAC/B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,eAAe,CAAC,EAAE,qBAAqB,CAAA;CACxC;AAED,MAAM,WAAW,0BAA2B,SAAQ,QAAQ;IAC1D,IAAI,EAAE,4BAA4B,CAAA;IAClC,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;IAC1B,WAAW,CAAC,EAAE,SAAS,CAAA;CACxB;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,wBAAyB,SAAQ,QAAQ;IACxD,IAAI,EAAE,0BAA0B,CAAA;IAChC,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAID,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,YAAY,CAAA;CACpB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,YAAY,CAAA;IACnB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,oBAAoB,EAAE,CAAA;CACpC;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,QAAQ;IACpD,IAAI,EAAE,sBAAsB,CAAA;IAC5B,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,QAAQ,EAAE,iBAAiB,EAAE,CAAA;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,KAAK,EAAE,WAAW,CAAA;CACnB;AAID;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,SAAS,CAAA;IACjB,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB;;;;OAIG;IACH,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB;AAED,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,mBAAmB,GACnB,cAAc,GACd,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,CAAA;AAIzB,MAAM,WAAW,yBAA0B,SAAQ,QAAQ;IACzD,IAAI,EAAE,2BAA2B,CAAA;IACjC,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,2BAA4B,SAAQ,QAAQ;IAC3D,IAAI,EAAE,6BAA6B,CAAA;IACnC,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,SAAS,CAAA;IACb,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,wBAAyB,SAAQ,QAAQ;IACxD,IAAI,EAAE,0BAA0B,CAAA;IAChC,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,SAAS,CAAA;IACb,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,2BAA4B,SAAQ,QAAQ;IAC3D,IAAI,EAAE,6BAA6B,CAAA;IACnC,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,WAAW,CAAA;IACf,QAAQ,EAAE,CAAC,eAAe,GAAG,mBAAmB,CAAC,EAAE,CAAA;IACnD,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAID,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,WAAW,EAAE,aAAa,CAAA;IAC1B,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,oBAAoB,CAAA;IAC1B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,mFAAmF;AACnF,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,eAAe,CAAC,EAAE,WAAW,CAAA;IAC7B,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,uEAAuE;AACvE,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAID,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,GACR,UAAU,GACV,mBAAmB,GACnB,cAAc,GACd,OAAO,GACP,oBAAoB,GACpB,SAAS,GACT,MAAM,GACN,WAAW,GACX,OAAO,GACP,kBAAkB,GAClB,eAAe,GACf,OAAO,GACP,aAAa,GACb,gCAAgC,GAChC,UAAU,GACV,SAAS,GACT,kBAAkB,GAClB,uBAAuB,GACvB,OAAO,GACP,QAAQ,CAAA;AAEZ,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,sDAAsD;IACtD,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,iCAAiC;IACjC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,+CAA+C;IAC/C,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,0DAA0D;IAC1D,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,mCAAmC;IACnC,IAAI,CAAC,EAAE,aAAa,CAAA;CACrB;AAID,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,iBAAiB,GACjB,OAAO,GACP,YAAY,GACZ,QAAQ,GACR,mBAAmB,GACnB,oBAAoB,CAAA;AAExB,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,MAAM,EAAE,cAAc,CAAA;IACtB,wCAAwC;IACxC,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,UAAU,GAClB,SAAS,GACT,aAAa,GACb,WAAW,GACX,UAAU,GACV,UAAU,GACV,WAAW,CAAA;AAEf;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,SAAS,CAAC,EAAE,WAAW,CAAA;IACvB,gDAAgD;IAChD,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,gBAAgB,GAChB,SAAS,GACT,MAAM,GACN,YAAY,CAAA;AAEhB,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,gBAAgB,CAAA;IACxB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,MAAM,kBAAkB,GAC1B,KAAK,GACL,KAAK,GACL,SAAS,GACT,gBAAgB,GAChB,aAAa,CAAA;AAEjB,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,KAAK,GAAG,gBAAgB,CAAA;IAChC,KAAK,EAAE,WAAW,CAAA;IAClB,4CAA4C;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,SAAS,GAAG,OAAO,CAAA;IAC3B,qCAAqC;IACrC,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,OAAO,GAAG,WAAW,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;IAClB,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAID,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAID,MAAM,MAAM,UAAU,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,WAAW,GACX,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,gBAAgB,CAAA;AAEpB,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAA;IACnB,OAAO,EAAE,UAAU,CAAA;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,UAAU,EAAE,CAAA;CACnB;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;IACjB,QAAQ,EAAE,UAAU,CAAA;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,CAAA;AAE3C,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,GAAG,EAAE,aAAa,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;CACpB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,8CAA8C;IAC9C,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,oFAAoF;IACpF,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,UAAU,CAAA;CAClB"}
|
|
1
|
+
{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAIvC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,eAAe,CAAC,EAAE,MAAM,EAAE,CAAA;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAA;CACzB;AAID,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB;AAED,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,CAAA;AAEnE,+BAA+B;AAC/B,MAAM,MAAM,YAAY,GAAG,aAAa,CAAA;AAExC,6CAA6C;AAC7C,MAAM,MAAM,YAAY,GAAG,eAAe,GAAG,cAAc,CAAA;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,sBAAsB,GACtB,sBAAsB,GACtB,0BAA0B,GAC1B,eAAe,GACf,uBAAuB,GACvB,wBAAwB,GACxB,uBAAuB,GACvB,eAAe,GACf,mBAAmB,GACnB,qBAAqB,GACrB,cAAc,GACd,qBAAqB,GACrB,qBAAqB,CAAA;AAEzB,sEAAsE;AACtE,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,aAAa,GACb,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,gBAAgB,GAChB,gBAAgB,GAChB,gBAAgB,GAChB,sBAAsB,CAAA;AAI1B,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,YAAY,CAAA;AAEvD,oFAAoF;AACpF,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,CAAA;AAEf,2DAA2D;AAC3D,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,YAAY,GAAG,aAAa,CAAA;AAElE,wEAAwE;AACxE,MAAM,MAAM,MAAM,GAAG,WAAW,CAAA;AAIhC,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,KAAK,EAAE,WAAW,CAAA;IAClB,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,gFAAgF;AAChF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,UAAU,EAAE,UAAU,CAAA;IACtB,SAAS,CAAC,EAAE,KAAK,GAAG,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,KAAK,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,iBAAiB,GACjB,YAAY,GACZ,SAAS,GACT,cAAc,GACd,WAAW,CAAA;AAEf,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,WAAW,CAAA;IACrB,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,CAAA;IACjB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,oBAAoB,CAAA;IAC1B,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,gBAAgB,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,OAAO,EAAE,IAAI,CAAA;IACb,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,IAAI,CAAA;CACb;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,QAAQ,EAAE,WAAW,CAAA;IACrB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB;;;;OAIG;IACH,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,8EAA8E;IAC9E,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,aAAa,CAAA;IACzB,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,IAAI,CAAA;IACb,SAAS,EAAE,aAAa,CAAA;CACzB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,UAAU,EAAE,UAAU,CAAA;CACvB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAID;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,6DAA6D;IAC7D,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,sBAAsB,CAAA;IAClC,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,MAAM,MAAM,IAAI,GACZ,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,aAAa,GACb,gBAAgB,CAAA;AAEpB,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,CAAA;AAEtE;;;;;;GAMG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,KAAK,EAAE,iBAAiB,EAAE,CAAA;CAC3B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,aAAa,CAAA;IACnB,UAAU,CAAC,EAAE,cAAc,CAAA;CAC5B;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,GAAG,EAAE,MAAM,CAAA;IACX,8BAA8B;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAA;CAClB;AAID;;;;;;GAMG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAID,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,cAAc,EAAE,CAAA;CAC1B;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,eAAe,CAAC,EAAE,qBAAqB,CAAA;IACvC,WAAW,EAAE,gBAAgB,EAAE,CAAA;IAC/B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,eAAe,CAAC,EAAE,qBAAqB,CAAA;IACvC,oEAAoE;IACpE,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,MAAM,WAAW,0BAA2B,SAAQ,QAAQ;IAC1D,IAAI,EAAE,4BAA4B,CAAA;IAClC,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;IAC1B,WAAW,CAAC,EAAE,SAAS,CAAA;CACxB;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,wBAAyB,SAAQ,QAAQ;IACxD,IAAI,EAAE,0BAA0B,CAAA;IAChC,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAID,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,YAAY,CAAA;CACpB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,YAAY,CAAA;IACnB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,oBAAoB,EAAE,CAAA;CACpC;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,QAAQ;IACpD,IAAI,EAAE,sBAAsB,CAAA;IAC5B,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,QAAQ,EAAE,iBAAiB,EAAE,CAAA;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;IAClB,KAAK,CAAC,EAAE,YAAY,CAAA;CACrB;AAED,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,YAAY,GAAG,YAAY,GAAG,WAAW,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAA;AAI1C;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,SAAS,CAAA;IACjB,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB;;;;OAIG;IACH,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,+EAA+E;IAC/E,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,mBAAmB,GACnB,cAAc,GACd,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,CAAA;AAIzB;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,WAAW,CAAA;IACf,EAAE,CAAC,EAAE,SAAS,CAAA;IACd,QAAQ,EAAE,CAAC,eAAe,GAAG,mBAAmB,CAAC,EAAE,CAAA;IACnD,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAID,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,WAAW,EAAE,aAAa,CAAA;IAC1B,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,mFAAmF;AACnF,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;IACrC,eAAe,CAAC,EAAE,WAAW,CAAA;IAC7B,OAAO,EAAE,aAAa,CAAA;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;IACrC,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,uEAAuE;AACvE,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAID,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,GACR,UAAU,GACV,cAAc,GACd,OAAO,GACP,oBAAoB,GACpB,SAAS,GACT,MAAM,GACN,WAAW,GACX,OAAO,GACP,kBAAkB,GAClB,eAAe,GACf,OAAO,GACP,aAAa,GACb,gCAAgC,GAChC,UAAU,GACV,SAAS,GACT,kBAAkB,GAClB,OAAO,GACP,QAAQ,CAAA;AAEZ,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,sDAAsD;IACtD,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,iCAAiC;IACjC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,+CAA+C;IAC/C,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,wEAAwE;IACxE,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,iFAAiF;IACjF,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,mCAAmC;IACnC,IAAI,CAAC,EAAE,aAAa,CAAA;CACrB;AAID,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,iBAAiB,GACjB,OAAO,GACP,YAAY,GACZ,QAAQ,GACR,mBAAmB,GACnB,oBAAoB,GACpB,YAAY,CAAA;AAEhB,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,MAAM,EAAE,cAAc,CAAA;IACtB,wCAAwC;IACxC,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,qEAAqE;IACrE,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,UAAU,GAClB,SAAS,GACT,aAAa,GACb,WAAW,GACX,UAAU,GACV,UAAU,GACV,WAAW,CAAA;AAEf;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,SAAS,CAAC,EAAE,WAAW,CAAA;IACvB,gDAAgD;IAChD,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,gBAAgB,GAChB,SAAS,GACT,MAAM,GACN,YAAY,CAAA;AAEhB,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,gBAAgB,CAAA;IACxB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,MAAM,kBAAkB,GAC1B,KAAK,GACL,KAAK,GACL,SAAS,GACT,gBAAgB,GAChB,aAAa,CAAA;AAEjB,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,KAAK,GAAG,gBAAgB,CAAA;IAChC,KAAK,EAAE,WAAW,CAAA;IAClB,4CAA4C;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,SAAS,GAAG,OAAO,CAAA;IAC3B,qCAAqC;IACrC,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,OAAO,GAAG,WAAW,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;IAClB,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB;AAID,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAID,MAAM,MAAM,UAAU,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,WAAW,GACX,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,gBAAgB,CAAA;AAEpB,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAA;IACnB,OAAO,EAAE,UAAU,CAAA;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,UAAU,EAAE,CAAA;CACnB;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;IACjB,QAAQ,EAAE,UAAU,CAAA;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,CAAA;AAE3C,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,GAAG,EAAE,aAAa,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;CACpB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,8CAA8C;IAC9C,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,oFAAoF;IACpF,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,UAAU,CAAA;CAClB"}
|
package/dist/exec-ast.d.ts
CHANGED
|
@@ -193,12 +193,9 @@ export interface KqlQuery {
|
|
|
193
193
|
limit: Scalar | null;
|
|
194
194
|
cursor: Scalar | null;
|
|
195
195
|
}
|
|
196
|
+
/** Cognitive time is a sequence coordinate; ids and instants resolve to one first. */
|
|
196
197
|
export type AsOf = {
|
|
197
198
|
Seq: Scalar;
|
|
198
|
-
} | {
|
|
199
|
-
Tx: Scalar;
|
|
200
|
-
} | {
|
|
201
|
-
Time: Scalar;
|
|
202
199
|
};
|
|
203
200
|
export interface FindClause {
|
|
204
201
|
expressions: FindExpression[];
|
|
@@ -351,24 +348,27 @@ export type MutationClause = {
|
|
|
351
348
|
} | {
|
|
352
349
|
Update: UpdateStatement;
|
|
353
350
|
} | {
|
|
354
|
-
|
|
355
|
-
} | {
|
|
356
|
-
SupersedeAssertion: SupersedeAssertion;
|
|
357
|
-
} | {
|
|
358
|
-
CorrectEvidence: CorrectEvidence;
|
|
359
|
-
} | {
|
|
360
|
-
TransitionActivity: TransitionActivity;
|
|
351
|
+
Transition: Transition;
|
|
361
352
|
} | {
|
|
362
353
|
SetRetention: SetRetention;
|
|
363
|
-
} | {
|
|
364
|
-
Archive: RemovalStatement;
|
|
365
|
-
} | {
|
|
366
|
-
Tombstone: RemovalStatement;
|
|
367
354
|
} | {
|
|
368
355
|
Purge: PurgeStatement;
|
|
356
|
+
} | {
|
|
357
|
+
PurgePayload: PurgePayloadStatement;
|
|
369
358
|
} | {
|
|
370
359
|
MergeConcept: MergeConcept;
|
|
371
360
|
};
|
|
361
|
+
/**
|
|
362
|
+
* `EXPECT VERSION n [OF plane]` (Spec §35.1). Without a plane the guard is
|
|
363
|
+
* on the element's `_system.version`; with one, on that plane's own version.
|
|
364
|
+
*/
|
|
365
|
+
export interface ExpectVersion {
|
|
366
|
+
version: Scalar;
|
|
367
|
+
plane: VersionPlane | null;
|
|
368
|
+
}
|
|
369
|
+
export type VersionPlane = 'Attributes' | 'Structural' | 'Retention' | {
|
|
370
|
+
Facet: SymbolRef;
|
|
371
|
+
};
|
|
372
372
|
export interface ConceptCreate {
|
|
373
373
|
handle: string;
|
|
374
374
|
type: SymbolRef | null;
|
|
@@ -382,7 +382,7 @@ export interface ConceptCreate {
|
|
|
382
382
|
export interface ConceptUpsert {
|
|
383
383
|
handle: string;
|
|
384
384
|
match: ObjectMatcher | null;
|
|
385
|
-
|
|
385
|
+
expect_versions: ExpectVersion[];
|
|
386
386
|
set_fields: Assignments | null;
|
|
387
387
|
set_attributes: Assignments | null;
|
|
388
388
|
set_facets: FacetAssignment[];
|
|
@@ -404,7 +404,7 @@ export interface EnsureProposition {
|
|
|
404
404
|
subject: Term;
|
|
405
405
|
predicate: PredAtom;
|
|
406
406
|
object: Term;
|
|
407
|
-
|
|
407
|
+
expect_versions: ExpectVersion[];
|
|
408
408
|
}
|
|
409
409
|
export interface FacetAssignment {
|
|
410
410
|
facet: SymbolRef;
|
|
@@ -455,14 +455,14 @@ export type UpdateExpr = {
|
|
|
455
455
|
export type UpdateFunction = 'Add' | 'Mul' | 'Clamp' | 'Coalesce';
|
|
456
456
|
export interface UpdateStatement {
|
|
457
457
|
target: ElementRef;
|
|
458
|
-
expect_version: Scalar | null;
|
|
459
458
|
actions: UpdateAction[];
|
|
460
459
|
/**
|
|
461
460
|
* `null` when the statement names its target directly and omits WHERE —
|
|
462
|
-
* the same shape as the removal family (Spec §58).
|
|
461
|
+
* the same shape as TRANSITION and the removal family (Spec §58).
|
|
463
462
|
*/
|
|
464
463
|
where_clauses: WhereClause[] | null;
|
|
465
464
|
limit: Scalar | null;
|
|
465
|
+
expect_versions: ExpectVersion[];
|
|
466
466
|
}
|
|
467
467
|
export type UpdateAction = {
|
|
468
468
|
SetFields: Assignments;
|
|
@@ -479,47 +479,47 @@ export type UpdateAction = {
|
|
|
479
479
|
} | {
|
|
480
480
|
UnsetStructural: StructuralRemoval[];
|
|
481
481
|
};
|
|
482
|
-
|
|
483
|
-
|
|
484
|
-
|
|
485
|
-
|
|
486
|
-
|
|
487
|
-
|
|
488
|
-
export interface
|
|
489
|
-
target: ElementRef;
|
|
490
|
-
by: ElementRef;
|
|
491
|
-
expect_state: Scalar | null;
|
|
492
|
-
}
|
|
493
|
-
export interface CorrectEvidence {
|
|
494
|
-
target: ElementRef;
|
|
495
|
-
by: ElementRef;
|
|
496
|
-
expect_state: Scalar | null;
|
|
497
|
-
}
|
|
498
|
-
export interface TransitionActivity {
|
|
482
|
+
/**
|
|
483
|
+
* The one lifecycle statement (Spec §52.5): `to` names the move, the engine
|
|
484
|
+
* validates it against the target's kind and current state. `by` carries the
|
|
485
|
+
* replacing element for `superseded` / `corrected`; `set_fields` and
|
|
486
|
+
* `set_structural` finalize a pending Activity in the same transition.
|
|
487
|
+
*/
|
|
488
|
+
export interface Transition {
|
|
499
489
|
target: ElementRef;
|
|
500
490
|
to: Scalar;
|
|
491
|
+
by: ElementRef | null;
|
|
501
492
|
set_fields: Assignments | null;
|
|
502
493
|
set_structural: StructuralEdge[] | null;
|
|
503
|
-
|
|
494
|
+
where_clauses: WhereClause[] | null;
|
|
495
|
+
limit: Scalar | null;
|
|
496
|
+
expect_versions: ExpectVersion[];
|
|
504
497
|
}
|
|
505
498
|
export interface SetRetention {
|
|
506
499
|
target: ElementRef;
|
|
507
500
|
values: Assignments;
|
|
508
501
|
where_clauses: WhereClause[] | null;
|
|
509
502
|
limit: Scalar | null;
|
|
510
|
-
|
|
503
|
+
expect_versions: ExpectVersion[];
|
|
511
504
|
}
|
|
512
|
-
export interface
|
|
505
|
+
export interface PurgeStatement {
|
|
513
506
|
target: ElementRef;
|
|
514
507
|
where_clauses: WhereClause[] | null;
|
|
515
508
|
limit: Scalar | null;
|
|
516
|
-
|
|
509
|
+
expect_versions: ExpectVersion[];
|
|
510
|
+
reference_policy: Scalar | null;
|
|
511
|
+
/** Always the literal `PURGE`; the grammar freezes the spelling. */
|
|
512
|
+
confirm: string;
|
|
517
513
|
}
|
|
518
|
-
|
|
514
|
+
/**
|
|
515
|
+
* Payload-only purge (Spec §60.6): Evidence bytes are destroyed, the element
|
|
516
|
+
* survives, so no reference policy exists.
|
|
517
|
+
*/
|
|
518
|
+
export interface PurgePayloadStatement {
|
|
519
519
|
target: ElementRef;
|
|
520
520
|
where_clauses: WhereClause[] | null;
|
|
521
521
|
limit: Scalar | null;
|
|
522
|
-
|
|
522
|
+
expect_versions: ExpectVersion[];
|
|
523
523
|
/** Always the literal `PURGE`; the grammar freezes the spelling. */
|
|
524
524
|
confirm: string;
|
|
525
525
|
}
|
|
@@ -527,7 +527,7 @@ export interface MergeConcept {
|
|
|
527
527
|
source: ElementRef;
|
|
528
528
|
into: ElementRef;
|
|
529
529
|
where_clauses: WhereClause[] | null;
|
|
530
|
-
|
|
530
|
+
expect_versions: ExpectVersion[];
|
|
531
531
|
}
|
|
532
532
|
export type MetaCommand = {
|
|
533
533
|
Describe: DescribeTarget;
|
|
@@ -548,10 +548,6 @@ export type MetaCommand = {
|
|
|
548
548
|
History: HistoryCommand;
|
|
549
549
|
} | {
|
|
550
550
|
Changes: ChangesCommand;
|
|
551
|
-
} | {
|
|
552
|
-
Snapshot: {
|
|
553
|
-
as_of: AsOf | null;
|
|
554
|
-
};
|
|
555
551
|
} | {
|
|
556
552
|
ExportCapsule: ExportCapsuleCommand;
|
|
557
553
|
};
|
|
@@ -559,7 +555,7 @@ export type DescribeTarget = {
|
|
|
559
555
|
Primer: {
|
|
560
556
|
mode: Scalar | null;
|
|
561
557
|
};
|
|
562
|
-
} | 'Protocol' | '
|
|
558
|
+
} | 'Protocol' | 'Capabilities' | {
|
|
563
559
|
Space: {
|
|
564
560
|
value: Scalar | null;
|
|
565
561
|
};
|
|
@@ -591,6 +587,7 @@ export type DescribeTarget = {
|
|
|
591
587
|
} | {
|
|
592
588
|
Snapshot: {
|
|
593
589
|
as_of: AsOf | null;
|
|
590
|
+
at_time: Scalar | null;
|
|
594
591
|
};
|
|
595
592
|
} | {
|
|
596
593
|
Capsule: Scalar;
|
|
@@ -598,7 +595,7 @@ export type DescribeTarget = {
|
|
|
598
595
|
EpistemicPolicy: {
|
|
599
596
|
value: Scalar | null;
|
|
600
597
|
};
|
|
601
|
-
} |
|
|
598
|
+
} | {
|
|
602
599
|
Trust: {
|
|
603
600
|
value: Scalar | null;
|
|
604
601
|
};
|
|
@@ -611,10 +608,14 @@ export interface ListCommand {
|
|
|
611
608
|
target: ListTarget;
|
|
612
609
|
/** `LIST SCHEMA PACKAGES STATUS ...` only. */
|
|
613
610
|
status: Scalar | null;
|
|
611
|
+
/** `LIST DEPENDENTS :id` only — the traversal root. */
|
|
612
|
+
element: Scalar | null;
|
|
613
|
+
/** `LIST DEPENDENTS ... DEPTH :n` only. */
|
|
614
|
+
depth: Scalar | null;
|
|
614
615
|
limit: Scalar | null;
|
|
615
616
|
cursor: Scalar | null;
|
|
616
617
|
}
|
|
617
|
-
export type ListTarget = 'Spaces' | 'SchemaPackages' | 'Types' | 'Predicates' | 'Facets' | 'StructuralFields' | 'EpistemicPolicies';
|
|
618
|
+
export type ListTarget = 'Spaces' | 'SchemaPackages' | 'Types' | 'Predicates' | 'Facets' | 'StructuralFields' | 'EpistemicPolicies' | 'Dependents';
|
|
618
619
|
export interface SearchCommand {
|
|
619
620
|
target: SearchTarget;
|
|
620
621
|
term: Scalar;
|