@omgbase/oqx 0.1.0 → 0.3.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/README.md +23 -15
- package/dist/adapters/indexed.d.ts +11 -0
- package/dist/adapters/indexed.d.ts.map +1 -0
- package/dist/adapters/indexed.js +57 -0
- package/dist/adapters/indexed.js.map +1 -0
- package/dist/adapters/sqlite.d.ts +23 -0
- package/dist/adapters/sqlite.d.ts.map +1 -0
- package/dist/adapters/sqlite.js +113 -0
- package/dist/adapters/sqlite.js.map +1 -0
- package/dist/ast.d.ts +121 -0
- package/dist/ast.d.ts.map +1 -0
- package/dist/ast.js +7 -0
- package/dist/ast.js.map +1 -0
- package/dist/context.d.ts +38 -0
- package/dist/context.d.ts.map +1 -0
- package/dist/context.js +47 -0
- package/dist/context.js.map +1 -0
- package/dist/engine.d.ts +49 -0
- package/dist/engine.d.ts.map +1 -0
- package/dist/engine.js +437 -0
- package/dist/engine.js.map +1 -0
- package/dist/errors.d.ts +6 -0
- package/dist/errors.d.ts.map +1 -0
- package/dist/errors.js +13 -0
- package/dist/errors.js.map +1 -0
- package/dist/index.d.ts +34 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +74 -0
- package/dist/index.js.map +1 -0
- package/dist/lexer.d.ts +17 -0
- package/dist/lexer.d.ts.map +1 -0
- package/dist/lexer.js +187 -0
- package/dist/lexer.js.map +1 -0
- package/dist/parser.d.ts +6 -0
- package/dist/parser.d.ts.map +1 -0
- package/dist/parser.js +584 -0
- package/dist/parser.js.map +1 -0
- package/dist/plan.d.ts +21 -0
- package/dist/plan.d.ts.map +1 -0
- package/dist/plan.js +56 -0
- package/dist/plan.js.map +1 -0
- package/dist/planner.d.ts +24 -0
- package/dist/planner.d.ts.map +1 -0
- package/dist/planner.js +27 -0
- package/dist/planner.js.map +1 -0
- package/dist/semantics.d.ts +22 -0
- package/dist/semantics.d.ts.map +1 -0
- package/dist/semantics.js +142 -0
- package/dist/semantics.js.map +1 -0
- package/package.json +16 -6
- package/src/engine.ts +78 -26
package/dist/parser.js
ADDED
|
@@ -0,0 +1,584 @@
|
|
|
1
|
+
// OQX parser for the generic kernel. Parses query STRUCTURE (source chain,
|
|
2
|
+
// where/select/order/follow, the where-clause boolean tree, and postfix consumer
|
|
3
|
+
// directives) and, for scalar interiors, builds an evaluable expression AST with
|
|
4
|
+
// an embedded Pratt parser sharing the same token cursor.
|
|
5
|
+
//
|
|
6
|
+
// Two design-kernel rules (see the OQX syntax notes) shape the grammar:
|
|
7
|
+
// 1. Dot navigation belongs to the host object model — a receiver/source is a
|
|
8
|
+
// dotted identifier chain (or a `${…}` binding), NOT a method call.
|
|
9
|
+
// 2. Whitespace directives (collect/exists/count/first/single) belong to OQX —
|
|
10
|
+
// a consumer is `<receiver> <directive> { <block> }`, never a method.
|
|
11
|
+
//
|
|
12
|
+
// Departure from the reference parser: top-level clauses may appear in any order,
|
|
13
|
+
// so the SQL-style projection-first form `name, id from ${people} where …` is
|
|
14
|
+
// accepted (the reference requires `from` first).
|
|
15
|
+
import { lexTemplate, lexString } from "./lexer.js";
|
|
16
|
+
import { OqxError } from "./errors.js";
|
|
17
|
+
const CONSUMERS = new Set(["collect", "exists", "count", "first", "single"]);
|
|
18
|
+
const RELOPS = new Set(["==", "!=", "<", "<=", ">", ">="]);
|
|
19
|
+
const CMP_OPS = new Set(["==", "!=", "<", "<=", ">", ">="]);
|
|
20
|
+
const ADD_OPS = new Set(["+", "-"]);
|
|
21
|
+
const MUL_OPS = new Set(["*", "/", "%"]);
|
|
22
|
+
/** Parse a tagged-template call into a Query. */
|
|
23
|
+
export function parseTemplate(fragments, values) {
|
|
24
|
+
return new Parser(lexTemplate(fragments, values)).parseQuery();
|
|
25
|
+
}
|
|
26
|
+
/** Parse a plain query string (no bindings) into a Query. */
|
|
27
|
+
export function parseString(src) {
|
|
28
|
+
return new Parser(lexString(src)).parseQuery();
|
|
29
|
+
}
|
|
30
|
+
class Parser {
|
|
31
|
+
tokens;
|
|
32
|
+
pos = 0;
|
|
33
|
+
constructor(tokens) {
|
|
34
|
+
this.tokens = tokens;
|
|
35
|
+
}
|
|
36
|
+
// ---- cursor helpers -------------------------------------------------------
|
|
37
|
+
peek() { return this.tokens[this.pos]; }
|
|
38
|
+
peekAt(n) { return this.tokens[this.pos + n]; }
|
|
39
|
+
next() { return this.tokens[this.pos++]; }
|
|
40
|
+
at(type, value) {
|
|
41
|
+
const t = this.peek();
|
|
42
|
+
return t.type === type && (value === undefined || t.value === value);
|
|
43
|
+
}
|
|
44
|
+
atOp(value) {
|
|
45
|
+
const t = this.peek();
|
|
46
|
+
return t.type === "op" && t.value === value;
|
|
47
|
+
}
|
|
48
|
+
fail(msg) {
|
|
49
|
+
throw new OqxError(`${msg} (at offset ${this.peek().pos})`, "parse");
|
|
50
|
+
}
|
|
51
|
+
// ---- top level ------------------------------------------------------------
|
|
52
|
+
parseQuery() {
|
|
53
|
+
// Directive form: `<receiver> <consumer> { … }` consuming the whole query.
|
|
54
|
+
const directive = this.tryOp();
|
|
55
|
+
if (directive && this.at("eof")) {
|
|
56
|
+
return {
|
|
57
|
+
source: directive.receiver,
|
|
58
|
+
from: directive.sub.from,
|
|
59
|
+
where: directive.sub.where,
|
|
60
|
+
select: directive.sub.select,
|
|
61
|
+
orderBy: directive.sub.orderBy,
|
|
62
|
+
consumer: directive.op,
|
|
63
|
+
follow: directive.sub.follow,
|
|
64
|
+
};
|
|
65
|
+
}
|
|
66
|
+
if (directive)
|
|
67
|
+
this.fail(`unexpected ${this.tokDesc()} after the top-level directive`);
|
|
68
|
+
// Body form: order-flexible clauses; the first `from` is the source.
|
|
69
|
+
const body = this.parseBody(true);
|
|
70
|
+
if (!this.at("eof"))
|
|
71
|
+
this.fail(`unexpected ${this.tokDesc()} after the query`);
|
|
72
|
+
if (body.froms.length === 0) {
|
|
73
|
+
this.fail("a query must select a source with `from <collection>`");
|
|
74
|
+
}
|
|
75
|
+
return {
|
|
76
|
+
source: body.froms[0],
|
|
77
|
+
from: body.froms.slice(1),
|
|
78
|
+
where: body.where,
|
|
79
|
+
select: body.select,
|
|
80
|
+
orderBy: body.orderBy,
|
|
81
|
+
consumer: "collect",
|
|
82
|
+
follow: body.follow,
|
|
83
|
+
};
|
|
84
|
+
}
|
|
85
|
+
tokDesc() {
|
|
86
|
+
const t = this.peek();
|
|
87
|
+
return t.type === "eof" ? "end of query" : `'${t.value || t.type}'`;
|
|
88
|
+
}
|
|
89
|
+
// ---- clause body (shared by top level and consumer blocks) ----------------
|
|
90
|
+
parseBody(orderByAllowed) {
|
|
91
|
+
const froms = [];
|
|
92
|
+
let where = null;
|
|
93
|
+
let select = [];
|
|
94
|
+
let orderBy = null;
|
|
95
|
+
let follow = null;
|
|
96
|
+
let sawWhere = false, sawSelect = false, sawOrder = false;
|
|
97
|
+
while (!this.at("eof") && !this.at("rbrace")) {
|
|
98
|
+
if (this.atFollow()) {
|
|
99
|
+
if (follow)
|
|
100
|
+
this.fail("duplicate `follow` clause");
|
|
101
|
+
follow = this.parseFollow();
|
|
102
|
+
continue;
|
|
103
|
+
}
|
|
104
|
+
if (this.at("kw", "from")) {
|
|
105
|
+
this.next();
|
|
106
|
+
froms.push(this.parseValueExpr());
|
|
107
|
+
continue;
|
|
108
|
+
}
|
|
109
|
+
if (this.at("kw", "where")) {
|
|
110
|
+
if (sawWhere)
|
|
111
|
+
this.fail("duplicate `where` clause");
|
|
112
|
+
sawWhere = true;
|
|
113
|
+
this.next();
|
|
114
|
+
where = this.parseWhere();
|
|
115
|
+
continue;
|
|
116
|
+
}
|
|
117
|
+
if (this.at("kw", "select") || this.at("caret")) {
|
|
118
|
+
if (sawSelect)
|
|
119
|
+
this.fail("duplicate projection");
|
|
120
|
+
sawSelect = true;
|
|
121
|
+
if (this.at("kw"))
|
|
122
|
+
this.next(); // consume `select`; a leading `^` is part of the item
|
|
123
|
+
select = this.parseSelectItems();
|
|
124
|
+
continue;
|
|
125
|
+
}
|
|
126
|
+
if (orderByAllowed && this.atOrderBy()) {
|
|
127
|
+
if (sawOrder)
|
|
128
|
+
this.fail("duplicate `order by` clause");
|
|
129
|
+
sawOrder = true;
|
|
130
|
+
this.next();
|
|
131
|
+
this.next(); // `order` `by`
|
|
132
|
+
orderBy = this.parseOrderSpecs();
|
|
133
|
+
continue;
|
|
134
|
+
}
|
|
135
|
+
if (this.looksLikePredicate()) {
|
|
136
|
+
if (sawWhere)
|
|
137
|
+
this.fail("duplicate `where` (an implicit predicate cannot follow a `where`)");
|
|
138
|
+
sawWhere = true;
|
|
139
|
+
where = this.parseWhere();
|
|
140
|
+
continue;
|
|
141
|
+
}
|
|
142
|
+
if (this.at("ident") || this.at("binding")) {
|
|
143
|
+
if (sawSelect)
|
|
144
|
+
this.fail("duplicate projection (an implicit select cannot follow a `select`)");
|
|
145
|
+
sawSelect = true;
|
|
146
|
+
select = this.parseSelectItems();
|
|
147
|
+
continue;
|
|
148
|
+
}
|
|
149
|
+
this.fail(`unexpected ${this.tokDesc()} — expected from/where/select${orderByAllowed ? "/order by" : ""}/follow`);
|
|
150
|
+
}
|
|
151
|
+
return { froms, where, select, orderBy, follow };
|
|
152
|
+
}
|
|
153
|
+
// Decide, by syntactic shape only, whether a leading unkeyworded run is a
|
|
154
|
+
// predicate (→ implicit where) or a projection (→ implicit select). A depth-0
|
|
155
|
+
// comparison / && / || / `in` before any comma/colon marks a predicate; a bare
|
|
156
|
+
// reference or a `name:`/comma projection list marks a projection.
|
|
157
|
+
looksLikePredicate() {
|
|
158
|
+
if (this.at("op"))
|
|
159
|
+
return true; // leading unary `!` (or a stray operator)
|
|
160
|
+
if (this.at("lparen"))
|
|
161
|
+
return true; // a grouped boolean expression
|
|
162
|
+
let depth = 0;
|
|
163
|
+
for (let i = this.pos; i < this.tokens.length; i++) {
|
|
164
|
+
const t = this.tokens[i];
|
|
165
|
+
if (t.type === "eof" || t.type === "rbrace")
|
|
166
|
+
break;
|
|
167
|
+
if (depth === 0) {
|
|
168
|
+
if (t.type === "colon" || t.type === "comma")
|
|
169
|
+
return false;
|
|
170
|
+
if (t.type === "kw")
|
|
171
|
+
break;
|
|
172
|
+
if (t.type === "op" && (CMP_OPS.has(t.value) || t.value === "&&" || t.value === "||"))
|
|
173
|
+
return true;
|
|
174
|
+
if (t.type === "ident" && t.value === "in")
|
|
175
|
+
return true;
|
|
176
|
+
if (t.type === "ident" && (t.value === "order" || t.value === "follow")) {
|
|
177
|
+
const nx = this.tokens[i + 1];
|
|
178
|
+
if (nx && nx.type === "ident")
|
|
179
|
+
break;
|
|
180
|
+
}
|
|
181
|
+
}
|
|
182
|
+
if (t.type === "lparen")
|
|
183
|
+
depth++;
|
|
184
|
+
else if (t.type === "rparen") {
|
|
185
|
+
if (depth === 0)
|
|
186
|
+
break;
|
|
187
|
+
depth--;
|
|
188
|
+
}
|
|
189
|
+
}
|
|
190
|
+
return false;
|
|
191
|
+
}
|
|
192
|
+
atOrderBy() {
|
|
193
|
+
const t = this.peek();
|
|
194
|
+
const nx = this.peekAt(1);
|
|
195
|
+
return t.type === "ident" && t.value === "order" && !!nx && nx.type === "ident" && nx.value === "by";
|
|
196
|
+
}
|
|
197
|
+
atFollow() {
|
|
198
|
+
if (!this.at("ident", "follow"))
|
|
199
|
+
return false;
|
|
200
|
+
const nx = this.peekAt(1);
|
|
201
|
+
return !!nx && (nx.type === "ident" || nx.type === "binding");
|
|
202
|
+
}
|
|
203
|
+
// ---- follow ---------------------------------------------------------------
|
|
204
|
+
parseFollow() {
|
|
205
|
+
this.next(); // `follow`
|
|
206
|
+
let distinct = false;
|
|
207
|
+
if (this.at("ident", "distinct")) {
|
|
208
|
+
const nx = this.peekAt(1);
|
|
209
|
+
if (nx && (nx.type === "ident" || nx.type === "binding")) {
|
|
210
|
+
this.next();
|
|
211
|
+
distinct = true;
|
|
212
|
+
}
|
|
213
|
+
}
|
|
214
|
+
const receiver = this.parseReceiver();
|
|
215
|
+
const follow = { receiver, distinct, where: null, frontier: null, depth: null, by: null };
|
|
216
|
+
if (!this.at("lbrace"))
|
|
217
|
+
return follow;
|
|
218
|
+
this.next(); // '{'
|
|
219
|
+
while (!this.at("eof") && !this.at("rbrace")) {
|
|
220
|
+
if (this.at("kw", "where")) {
|
|
221
|
+
if (follow.where)
|
|
222
|
+
this.fail("duplicate `where` in follow clause");
|
|
223
|
+
this.next();
|
|
224
|
+
follow.where = this.parseValueExpr();
|
|
225
|
+
}
|
|
226
|
+
else if (this.at("ident", "frontier")) {
|
|
227
|
+
if (follow.frontier)
|
|
228
|
+
this.fail("duplicate `frontier` in follow clause");
|
|
229
|
+
this.next();
|
|
230
|
+
follow.frontier = this.parseValueExpr();
|
|
231
|
+
}
|
|
232
|
+
else if (this.at("ident", "by")) {
|
|
233
|
+
if (follow.by !== null)
|
|
234
|
+
this.fail("duplicate `by` in follow clause");
|
|
235
|
+
this.next();
|
|
236
|
+
follow.by = this.parseValueExpr();
|
|
237
|
+
}
|
|
238
|
+
else if (this.at("ident", "depth")) {
|
|
239
|
+
if (follow.depth !== null)
|
|
240
|
+
this.fail("duplicate `depth` in follow clause");
|
|
241
|
+
this.next();
|
|
242
|
+
if (!this.at("number"))
|
|
243
|
+
this.fail("expected an integer after `depth`");
|
|
244
|
+
const v = Number(this.next().value);
|
|
245
|
+
if (!Number.isInteger(v) || v < 1 || v > 8)
|
|
246
|
+
this.fail("follow depth must be an integer between 1 and 8");
|
|
247
|
+
follow.depth = v;
|
|
248
|
+
}
|
|
249
|
+
else {
|
|
250
|
+
this.fail(`unexpected ${this.tokDesc()} in follow block — expected where/frontier/depth/by`);
|
|
251
|
+
}
|
|
252
|
+
}
|
|
253
|
+
if (!this.at("rbrace"))
|
|
254
|
+
this.fail("expected '}' to close the follow block");
|
|
255
|
+
this.next();
|
|
256
|
+
return follow;
|
|
257
|
+
}
|
|
258
|
+
// A receiver/source: a `${…}` binding, or a dotted identifier navigation chain.
|
|
259
|
+
parseReceiver() {
|
|
260
|
+
if (this.at("binding"))
|
|
261
|
+
return { kind: "binding", index: this.next().index };
|
|
262
|
+
if (!this.at("ident"))
|
|
263
|
+
this.fail("expected a collection navigation (a property/relation name)");
|
|
264
|
+
return this.parseNavFrom(this.next()).expr;
|
|
265
|
+
}
|
|
266
|
+
parseNavFrom(head) {
|
|
267
|
+
let expr = { kind: "ident", name: head.value };
|
|
268
|
+
let name = head.value;
|
|
269
|
+
while (this.at("dot")) {
|
|
270
|
+
this.next();
|
|
271
|
+
if (!this.at("ident"))
|
|
272
|
+
this.fail("expected an identifier after '.' in a navigation");
|
|
273
|
+
name = this.next().value;
|
|
274
|
+
expr = { kind: "member", recv: expr, name };
|
|
275
|
+
}
|
|
276
|
+
return { expr, name };
|
|
277
|
+
}
|
|
278
|
+
// ---- select ---------------------------------------------------------------
|
|
279
|
+
parseSelectItems() {
|
|
280
|
+
const items = [this.parseSelectItem()];
|
|
281
|
+
while (this.at("comma")) {
|
|
282
|
+
this.next();
|
|
283
|
+
items.push(this.parseSelectItem());
|
|
284
|
+
}
|
|
285
|
+
return items;
|
|
286
|
+
}
|
|
287
|
+
parseSelectItem() {
|
|
288
|
+
// Leading `^`s mark a lift; the count is how many scopes out it binds.
|
|
289
|
+
let lift = 0;
|
|
290
|
+
while (this.at("caret")) {
|
|
291
|
+
this.next();
|
|
292
|
+
lift++;
|
|
293
|
+
}
|
|
294
|
+
if (!this.at("ident"))
|
|
295
|
+
this.fail("expected a projection name");
|
|
296
|
+
const nameTok = this.next();
|
|
297
|
+
if (this.at("colon")) {
|
|
298
|
+
this.next();
|
|
299
|
+
const name = nameTok.value;
|
|
300
|
+
const op = this.tryOp();
|
|
301
|
+
if (op) {
|
|
302
|
+
if (op.op !== "collect" && op.op !== "first" && op.op !== "single") {
|
|
303
|
+
this.fail(`projection '${name}' must use collect/first/single, not ${op.op}`);
|
|
304
|
+
}
|
|
305
|
+
if (lift)
|
|
306
|
+
this.fail(`a lift (^${name}) value must be a scalar expression, not ${op.op} { … }`);
|
|
307
|
+
return { kind: "collect", name, op };
|
|
308
|
+
}
|
|
309
|
+
const expr = this.parseValueExpr();
|
|
310
|
+
return { kind: "field", name, expr, lift };
|
|
311
|
+
}
|
|
312
|
+
// bare/dotted projection: key defaults to the last navigation segment.
|
|
313
|
+
const { expr, name } = this.parseNavFrom(nameTok);
|
|
314
|
+
return { kind: "field", name, expr, lift };
|
|
315
|
+
}
|
|
316
|
+
// ---- order by -------------------------------------------------------------
|
|
317
|
+
parseOrderSpecs() {
|
|
318
|
+
const specs = [this.parseOrderSpec()];
|
|
319
|
+
while (this.at("comma")) {
|
|
320
|
+
this.next();
|
|
321
|
+
specs.push(this.parseOrderSpec());
|
|
322
|
+
}
|
|
323
|
+
return specs;
|
|
324
|
+
}
|
|
325
|
+
parseOrderSpec() {
|
|
326
|
+
const expr = this.parseValueExpr();
|
|
327
|
+
let desc = false;
|
|
328
|
+
if (this.at("ident", "asc"))
|
|
329
|
+
this.next();
|
|
330
|
+
else if (this.at("ident", "desc")) {
|
|
331
|
+
this.next();
|
|
332
|
+
desc = true;
|
|
333
|
+
}
|
|
334
|
+
return { expr, desc };
|
|
335
|
+
}
|
|
336
|
+
// ---- where boolean tree: or → and → not → primary -------------------------
|
|
337
|
+
parseWhere() { return this.parseWhereOr(); }
|
|
338
|
+
parseWhereOr() {
|
|
339
|
+
const left = this.parseWhereAnd();
|
|
340
|
+
if (!this.atOp("||"))
|
|
341
|
+
return left;
|
|
342
|
+
const parts = [left];
|
|
343
|
+
while (this.atOp("||")) {
|
|
344
|
+
this.next();
|
|
345
|
+
parts.push(this.parseWhereAnd());
|
|
346
|
+
}
|
|
347
|
+
return { kind: "or", parts };
|
|
348
|
+
}
|
|
349
|
+
parseWhereAnd() {
|
|
350
|
+
const left = this.parseWhereNot();
|
|
351
|
+
if (!this.atOp("&&"))
|
|
352
|
+
return left;
|
|
353
|
+
const parts = [left];
|
|
354
|
+
while (this.atOp("&&")) {
|
|
355
|
+
this.next();
|
|
356
|
+
parts.push(this.parseWhereNot());
|
|
357
|
+
}
|
|
358
|
+
return { kind: "and", parts };
|
|
359
|
+
}
|
|
360
|
+
parseWhereNot() {
|
|
361
|
+
if (this.atOp("!")) {
|
|
362
|
+
this.next();
|
|
363
|
+
return { kind: "not", expr: this.parseWhereNot() };
|
|
364
|
+
}
|
|
365
|
+
return this.parseWherePrimary();
|
|
366
|
+
}
|
|
367
|
+
parseWherePrimary() {
|
|
368
|
+
if (this.at("lparen")) {
|
|
369
|
+
this.next();
|
|
370
|
+
const e = this.parseWhere();
|
|
371
|
+
if (!this.at("rparen"))
|
|
372
|
+
this.fail("expected ')' to close a grouped where expression");
|
|
373
|
+
this.next();
|
|
374
|
+
return e;
|
|
375
|
+
}
|
|
376
|
+
const op = this.tryOp();
|
|
377
|
+
if (op)
|
|
378
|
+
return this.finishWhereOp(op);
|
|
379
|
+
const expr = this.parseCmp();
|
|
380
|
+
return { kind: "scalar", expr };
|
|
381
|
+
}
|
|
382
|
+
// Validate a consumer op used in where position and attach any `count { … } <op> N`.
|
|
383
|
+
finishWhereOp(op) {
|
|
384
|
+
if (op.op === "first" || op.op === "single") {
|
|
385
|
+
this.fail(`${op.op} { … } is a select-position lookup; in where use exists { … } or count { … } <op> N`);
|
|
386
|
+
}
|
|
387
|
+
if (op.op === "collect") {
|
|
388
|
+
const allLift = op.sub.select.length > 0 && op.sub.select.every((s) => s.kind === "field" && s.lift > 0);
|
|
389
|
+
if (!allLift)
|
|
390
|
+
this.fail("collect { … } in where must project only ^lift values (else use exists/count)");
|
|
391
|
+
}
|
|
392
|
+
if (this.peek().type === "op" && RELOPS.has(this.peek().value)) {
|
|
393
|
+
if (op.op !== "count")
|
|
394
|
+
this.fail(`only count { … } is comparable; '${op.op} { … } <op> N' is not valid`);
|
|
395
|
+
const relop = this.next().value;
|
|
396
|
+
if (!this.at("number"))
|
|
397
|
+
this.fail(`expected an integer after 'count { … } ${relop}'`);
|
|
398
|
+
const v = Number(this.next().value);
|
|
399
|
+
if (!Number.isInteger(v))
|
|
400
|
+
this.fail("count comparison takes an integer");
|
|
401
|
+
op.countCmp = { op: relop, value: v };
|
|
402
|
+
}
|
|
403
|
+
return op;
|
|
404
|
+
}
|
|
405
|
+
// Detect + parse a postfix consumer op `<receiver> <consumer> { <sub> }`.
|
|
406
|
+
// Returns null (rewinding) when the lookahead is not a consumer op.
|
|
407
|
+
tryOp() {
|
|
408
|
+
const start = this.pos;
|
|
409
|
+
let receiver;
|
|
410
|
+
if (this.at("binding"))
|
|
411
|
+
receiver = { kind: "binding", index: this.next().index };
|
|
412
|
+
else if (this.at("ident"))
|
|
413
|
+
receiver = this.parseNavFrom(this.next()).expr;
|
|
414
|
+
else
|
|
415
|
+
return null;
|
|
416
|
+
if (this.at("ident") && CONSUMERS.has(this.peek().value) && this.peekAt(1)?.type === "lbrace") {
|
|
417
|
+
const op = this.next().value;
|
|
418
|
+
this.next(); // '{'
|
|
419
|
+
const sub = this.parseSubquery();
|
|
420
|
+
if (!this.at("rbrace"))
|
|
421
|
+
this.fail(`expected '}' to close the ${op} { … } block`);
|
|
422
|
+
this.next();
|
|
423
|
+
return { kind: "op", receiver, op, sub };
|
|
424
|
+
}
|
|
425
|
+
this.pos = start;
|
|
426
|
+
return null;
|
|
427
|
+
}
|
|
428
|
+
parseSubquery() {
|
|
429
|
+
const body = this.parseBody(true);
|
|
430
|
+
return { from: body.froms, where: body.where, select: body.select, orderBy: body.orderBy, follow: body.follow };
|
|
431
|
+
}
|
|
432
|
+
// ---- expression Pratt parser ----------------------------------------------
|
|
433
|
+
// Value position (select/order/follow/source): full boolean+arithmetic.
|
|
434
|
+
parseValueExpr() { return this.parseOr(); }
|
|
435
|
+
parseOr() {
|
|
436
|
+
let left = this.parseAnd();
|
|
437
|
+
while (this.atOp("||")) {
|
|
438
|
+
this.next();
|
|
439
|
+
left = { kind: "logical", op: "||", left, right: this.parseAnd() };
|
|
440
|
+
}
|
|
441
|
+
return left;
|
|
442
|
+
}
|
|
443
|
+
parseAnd() {
|
|
444
|
+
let left = this.parseCmp();
|
|
445
|
+
while (this.atOp("&&")) {
|
|
446
|
+
this.next();
|
|
447
|
+
left = { kind: "logical", op: "&&", left, right: this.parseCmp() };
|
|
448
|
+
}
|
|
449
|
+
return left;
|
|
450
|
+
}
|
|
451
|
+
// Comparison / membership (also the entry point for a where scalar leaf, so a
|
|
452
|
+
// where leaf never swallows the where-tree's && / ||).
|
|
453
|
+
parseCmp() {
|
|
454
|
+
let left = this.parseAdd();
|
|
455
|
+
if (this.peek().type === "op" && CMP_OPS.has(this.peek().value)) {
|
|
456
|
+
const op = this.next().value;
|
|
457
|
+
return { kind: "binary", op, left, right: this.parseAdd() };
|
|
458
|
+
}
|
|
459
|
+
if (this.at("ident", "in")) {
|
|
460
|
+
this.next();
|
|
461
|
+
return { kind: "in", left, right: this.parseAdd() };
|
|
462
|
+
}
|
|
463
|
+
return left;
|
|
464
|
+
}
|
|
465
|
+
parseAdd() {
|
|
466
|
+
let left = this.parseMul();
|
|
467
|
+
while (this.peek().type === "op" && ADD_OPS.has(this.peek().value)) {
|
|
468
|
+
const op = this.next().value;
|
|
469
|
+
left = { kind: "binary", op, left, right: this.parseMul() };
|
|
470
|
+
}
|
|
471
|
+
return left;
|
|
472
|
+
}
|
|
473
|
+
parseMul() {
|
|
474
|
+
let left = this.parseUnary();
|
|
475
|
+
while (this.peek().type === "op" && MUL_OPS.has(this.peek().value)) {
|
|
476
|
+
const op = this.next().value;
|
|
477
|
+
left = { kind: "binary", op, left, right: this.parseUnary() };
|
|
478
|
+
}
|
|
479
|
+
return left;
|
|
480
|
+
}
|
|
481
|
+
parseUnary() {
|
|
482
|
+
if (this.atOp("!")) {
|
|
483
|
+
this.next();
|
|
484
|
+
return { kind: "unary", op: "!", expr: this.parseUnary() };
|
|
485
|
+
}
|
|
486
|
+
if (this.atOp("-")) {
|
|
487
|
+
this.next();
|
|
488
|
+
return { kind: "unary", op: "-", expr: this.parseUnary() };
|
|
489
|
+
}
|
|
490
|
+
return this.parsePostfix();
|
|
491
|
+
}
|
|
492
|
+
parsePostfix() {
|
|
493
|
+
let expr = this.parsePrimary();
|
|
494
|
+
for (;;) {
|
|
495
|
+
if (this.at("dot")) {
|
|
496
|
+
this.next();
|
|
497
|
+
if (!this.at("ident"))
|
|
498
|
+
this.fail("expected a property name after '.'");
|
|
499
|
+
const name = this.next().value;
|
|
500
|
+
if (this.at("lparen")) {
|
|
501
|
+
expr = { kind: "call", recv: expr, name, args: this.parseArgs() };
|
|
502
|
+
}
|
|
503
|
+
else {
|
|
504
|
+
expr = { kind: "member", recv: expr, name };
|
|
505
|
+
}
|
|
506
|
+
}
|
|
507
|
+
else if (this.at("lparen") && expr.kind === "ident") {
|
|
508
|
+
// free function call: name(args)
|
|
509
|
+
expr = { kind: "call", recv: null, name: expr.name, args: this.parseArgs() };
|
|
510
|
+
}
|
|
511
|
+
else if (this.at("lbrace")) {
|
|
512
|
+
break; // a consumer block boundary — not part of a value expression
|
|
513
|
+
}
|
|
514
|
+
else {
|
|
515
|
+
break;
|
|
516
|
+
}
|
|
517
|
+
}
|
|
518
|
+
return expr;
|
|
519
|
+
}
|
|
520
|
+
parseArgs() {
|
|
521
|
+
this.next(); // '('
|
|
522
|
+
const args = [];
|
|
523
|
+
if (!this.at("rparen")) {
|
|
524
|
+
args.push(this.parseValueExpr());
|
|
525
|
+
while (this.at("comma")) {
|
|
526
|
+
this.next();
|
|
527
|
+
args.push(this.parseValueExpr());
|
|
528
|
+
}
|
|
529
|
+
}
|
|
530
|
+
if (!this.at("rparen"))
|
|
531
|
+
this.fail("expected ')' to close call arguments");
|
|
532
|
+
this.next();
|
|
533
|
+
return args;
|
|
534
|
+
}
|
|
535
|
+
parsePrimary() {
|
|
536
|
+
const t = this.peek();
|
|
537
|
+
// `^name` / `^^name` — an outer reference reading `levels` scopes out. (As a
|
|
538
|
+
// select-item head `^name:` is a lift, handled in parseSelectItem; here, in
|
|
539
|
+
// expression position, `^` reads an enclosing row's field even when the
|
|
540
|
+
// current row shadows the name.)
|
|
541
|
+
if (t.type === "caret") {
|
|
542
|
+
let levels = 0;
|
|
543
|
+
while (this.at("caret")) {
|
|
544
|
+
this.next();
|
|
545
|
+
levels++;
|
|
546
|
+
}
|
|
547
|
+
if (!this.at("ident"))
|
|
548
|
+
this.fail("expected an identifier after '^' (an outer reference)");
|
|
549
|
+
return { kind: "outer", levels, name: this.next().value };
|
|
550
|
+
}
|
|
551
|
+
if (t.type === "number") {
|
|
552
|
+
this.next();
|
|
553
|
+
return { kind: "lit", value: Number(t.value) };
|
|
554
|
+
}
|
|
555
|
+
if (t.type === "string") {
|
|
556
|
+
this.next();
|
|
557
|
+
return { kind: "lit", value: t.value };
|
|
558
|
+
}
|
|
559
|
+
if (t.type === "binding") {
|
|
560
|
+
this.next();
|
|
561
|
+
return { kind: "binding", index: t.index };
|
|
562
|
+
}
|
|
563
|
+
if (t.type === "lparen") {
|
|
564
|
+
this.next();
|
|
565
|
+
const e = this.parseValueExpr();
|
|
566
|
+
if (!this.at("rparen"))
|
|
567
|
+
this.fail("expected ')'");
|
|
568
|
+
this.next();
|
|
569
|
+
return e;
|
|
570
|
+
}
|
|
571
|
+
if (t.type === "ident") {
|
|
572
|
+
this.next();
|
|
573
|
+
if (t.value === "true")
|
|
574
|
+
return { kind: "lit", value: true };
|
|
575
|
+
if (t.value === "false")
|
|
576
|
+
return { kind: "lit", value: false };
|
|
577
|
+
if (t.value === "null")
|
|
578
|
+
return { kind: "lit", value: null };
|
|
579
|
+
return { kind: "ident", name: t.value };
|
|
580
|
+
}
|
|
581
|
+
this.fail(`unexpected ${this.tokDesc()} — expected a value`);
|
|
582
|
+
}
|
|
583
|
+
}
|
|
584
|
+
//# sourceMappingURL=parser.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,iFAAiF;AACjF,iFAAiF;AACjF,0DAA0D;AAC1D,EAAE;AACF,wEAAwE;AACxE,gFAAgF;AAChF,yEAAyE;AACzE,iFAAiF;AACjF,2EAA2E;AAC3E,EAAE;AACF,kFAAkF;AAClF,8EAA8E;AAC9E,kDAAkD;AAGlD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAKvC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AACrF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACnE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACpE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAEjD,iDAAiD;AACjD,MAAM,UAAU,aAAa,CAAC,SAA4B,EAAE,MAAc;IACxE,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;AACjE,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;AACjD,CAAC;AAUD,MAAM,MAAM;IACF,MAAM,CAAU;IAChB,GAAG,GAAG,CAAC,CAAC;IAEhB,YAAY,MAAe;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,8EAA8E;IACtE,IAAI,KAAY,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,CAAS,IAAuB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,KAAY,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAE,CAAC,CAAC,CAAC;IAClD,EAAE,CAAC,IAAa,EAAE,KAAc;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACvE,CAAC;IACO,IAAI,CAAC,KAAa;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC;IAC9C,CAAC;IACO,IAAI,CAAC,GAAW;QACtB,MAAM,IAAI,QAAQ,CAAC,GAAG,GAAG,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,8EAA8E;IAC9E,UAAU;QACR,2EAA2E;QAC3E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO;gBACL,MAAM,EAAE,SAAS,CAAC,QAAQ;gBAC1B,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI;gBACxB,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK;gBAC1B,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM;gBAC5B,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,OAAO;gBAC9B,QAAQ,EAAE,SAAS,CAAC,EAAE;gBACtB,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM;aAC7B,CAAC;QACJ,CAAC;QACD,IAAI,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,EAAE,gCAAgC,CAAC,CAAC;QAEvF,qEAAqE;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;QAC/E,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QACrE,CAAC;QACD,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE;YACtB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC;IACJ,CAAC;IAEO,OAAO;QACb,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;IACtE,CAAC;IAED,8EAA8E;IACtE,SAAS,CAAC,cAAuB;QACvC,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,IAAI,KAAK,GAAiB,IAAI,CAAC;QAC/B,IAAI,MAAM,GAAiB,EAAE,CAAC;QAC9B,IAAI,OAAO,GAAuB,IAAI,CAAC;QACvC,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,QAAQ,GAAG,KAAK,EAAE,SAAS,GAAG,KAAK,EAAE,QAAQ,GAAG,KAAK,CAAC;QAE1D,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,IAAI,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACpB,IAAI,MAAM;oBAAE,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;gBACnD,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;gBAClC,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3B,IAAI,QAAQ;oBAAE,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;gBACpD,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1B,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChD,IAAI,SAAS;oBAAE,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;gBACjD,SAAS,GAAG,IAAI,CAAC;gBACjB,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,sDAAsD;gBACtF,MAAM,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,IAAI,cAAc,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;gBACvC,IAAI,QAAQ;oBAAE,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;gBACvD,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,eAAe;gBACzC,OAAO,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC;gBAC9B,IAAI,QAAQ;oBAAE,IAAI,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;gBAC7F,QAAQ,GAAG,IAAI,CAAC;gBAChB,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1B,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3C,IAAI,SAAS;oBAAE,IAAI,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;gBAC/F,SAAS,GAAG,IAAI,CAAC;gBACjB,MAAM,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,EAAE,gCAAgC,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACpH,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACnD,CAAC;IAED,0EAA0E;IAC1E,8EAA8E;IAC9E,+EAA+E;IAC/E,mEAAmE;IAC3D,kBAAkB;QACxB,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,0CAA0C;QAC1E,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;QACnE,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM;YACnD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,KAAK,CAAC;gBAC3D,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,MAAM;gBAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACnG,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBACxD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;oBACxE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC9B,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;wBAAE,MAAM;gBACvC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,EAAE,CAAC;iBAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAAC,IAAI,KAAK,KAAK,CAAC;oBAAE,MAAM;gBAAC,KAAK,EAAE,CAAC;YAAC,CAAC;QACpE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,SAAS;QACf,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;IACvG,CAAC;IAEO,QAAQ;QACd,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAChE,CAAC;IAED,8EAA8E;IACtE,WAAW;QACjB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW;QACxB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,QAAQ,GAAG,IAAI,CAAC;YAAC,CAAC;QAC7F,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACtC,MAAM,MAAM,GAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QAClG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,OAAO,MAAM,CAAC;QACtC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM;QACnB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3B,IAAI,MAAM,CAAC,KAAK;oBAAE,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;gBAClE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YACvC,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;gBACxC,IAAI,MAAM,CAAC,QAAQ;oBAAE,IAAI,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;gBACxE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YAC1C,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;gBACrE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YACpC,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrC,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;gBAC3E,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;gBACvE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;gBACzG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,EAAE,qDAAqD,CAAC,CAAC;YAC/F,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;QAC5E,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,gFAAgF;IACxE,aAAa;QACnB,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,KAAM,EAAE,CAAC;QAC9E,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IAC7C,CAAC;IAEO,YAAY,CAAC,IAAW;QAC9B,IAAI,IAAI,GAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACrD,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACtB,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;YACrF,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;YACzB,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC9C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;IAED,8EAA8E;IACtE,gBAAgB;QACtB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QAAC,CAAC;QAC7E,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,eAAe;QACrB,uEAAuE;QACvE,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;QAAC,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC;YAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,EAAE,EAAE,CAAC;gBACP,IAAI,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;oBACnE,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,wCAAwC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBAChF,CAAC;gBACD,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,4CAA4C,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC/F,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YACvC,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC7C,CAAC;QACD,uEAAuE;QACvE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC7C,CAAC;IAED,8EAA8E;IACtE,eAAe;QACrB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QAAC,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,cAAc;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;aACpC,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,IAAI,CAAC;QAAC,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;IAED,8EAA8E;IACtE,UAAU,KAAY,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAEnD,YAAY;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;QAAC,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC/B,CAAC;IAEO,aAAa;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;QAAC,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAChC,CAAC;IAEO,aAAa;QACnB,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QAAC,CAAC;QACxF,OAAO,IAAI,CAAC,iBAAiB,EAAE,CAAC;IAClC,CAAC;IAEO,iBAAiB;QACvB,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;YACtF,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAClC,CAAC;IAED,qFAAqF;IAC7E,aAAa,CAAC,EAAU;QAC9B,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,qFAAqF,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,EAAE,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YACzG,IAAI,CAAC,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,+EAA+E,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/D,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,oCAAoC,EAAE,CAAC,EAAE,6BAA6B,CAAC,CAAC;YACzG,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAc,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,0CAA0C,KAAK,GAAG,CAAC,CAAC;YACtF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YACzE,EAAE,CAAC,QAAQ,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACxC,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,0EAA0E;IAC1E,oEAAoE;IAC5D,KAAK;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QACvB,IAAI,QAAc,CAAC;QACnB,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC;YAAE,QAAQ,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,KAAM,EAAE,CAAC;aAC7E,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;YAAE,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;;YACrE,OAAO,IAAI,CAAC;QAEjB,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9F,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAiB,CAAC;YACzC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM;YACnB,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE,cAAc,CAAC,CAAC;YACjF,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,aAAa;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAClH,CAAC;IAED,8EAA8E;IAC9E,wEAAwE;IAChE,cAAc,KAAW,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAEjD,OAAO;QACb,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;QAAC,CAAC;QAC5G,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,QAAQ;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;QAAC,CAAC;QAC5G,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8EAA8E;IAC9E,uDAAuD;IAC/C,QAAQ;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;YAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC9D,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;QAAC,CAAC;QACjG,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,QAAQ;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACnE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;YAC7B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC9D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,QAAQ;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACnE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;YAC7B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QAChE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,UAAU;QAChB,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QAAC,CAAC;QAChG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QAAC,CAAC;QAChG,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7B,CAAC;IAEO,YAAY;QAClB,IAAI,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/B,SAAS,CAAC;YACR,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnB,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;gBACvE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;gBAC/B,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACtB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;gBACpE,CAAC;qBAAM,CAAC;oBACN,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC9C,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACtD,iCAAiC;gBACjC,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YAC/E,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,6DAA6D;YACtE,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,SAAS;QACf,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM;QACnB,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;YACjC,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;YAAC,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAC1E,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,YAAY;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,6EAA6E;QAC7E,4EAA4E;QAC5E,wEAAwE;QACxE,iCAAiC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,MAAM,EAAE,CAAC;YAAC,CAAC;YACnD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;YAC1F,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAAC,CAAC;QACzF,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;QACjF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC;QAAC,CAAC;QACvF,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAC5D,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC9D,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAC5D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IAC/D,CAAC;CACF"}
|
package/dist/plan.d.ts
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import type { Query, Where, Expr } from "./ast.js";
|
|
2
|
+
/** The synthetic root name the residual query scans — the rows a plan produced. */
|
|
3
|
+
export declare const ROWS_ROOT = "__oqx_rows__";
|
|
4
|
+
/** Split a top-level where into pushable scalar conjuncts and a residual tree. */
|
|
5
|
+
export declare function partitionPushable(where: Where | null, canPush: (e: Expr) => boolean): {
|
|
6
|
+
pushed: Expr[];
|
|
7
|
+
residual: Where | null;
|
|
8
|
+
};
|
|
9
|
+
/** Rebuild a query to run in-memory over a plan's produced rows: scan the rows
|
|
10
|
+
* root, drop pushed top-level `from`/predicates, keep projection/order/consumer. */
|
|
11
|
+
export declare function residualQuery(query: Query, residualWhere: Where | null): Query;
|
|
12
|
+
/** A literal or binding — a value known without a row context. */
|
|
13
|
+
export declare function isConst(e: Expr): boolean;
|
|
14
|
+
/** Evaluate a constant expression against the query bindings. */
|
|
15
|
+
export declare function constValue(e: Expr, params: readonly unknown[]): unknown;
|
|
16
|
+
/** Recognize `field == const` / `const == field` (field is a bare row column). */
|
|
17
|
+
export declare function asEquality(e: Expr): {
|
|
18
|
+
field: string;
|
|
19
|
+
value: Expr;
|
|
20
|
+
} | null;
|
|
21
|
+
//# sourceMappingURL=plan.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEnD,mFAAmF;AACnF,eAAO,MAAM,SAAS,iBAAiB,CAAC;AAExC,kFAAkF;AAClF,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,GAAG,IAAI,EACnB,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO,GAC5B;IAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAAC,QAAQ,EAAE,KAAK,GAAG,IAAI,CAAA;CAAE,CAW5C;AAED;oFACoF;AACpF,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,GAAG,IAAI,GAAG,KAAK,CAE9E;AAED,kEAAkE;AAClE,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO,CAExC;AAED,iEAAiE;AACjE,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,CAIvE;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,IAAI,CAKzE"}
|