@graview/core 0.1.0 → 0.1.3

package/dist/document/expr/evaluate.js

@@ -0,0 +1,344 @@
+import { withArticle } from "../../schema/define-node.js";
+/*
+ * THE RULE LANGUAGE, JUDGED.
+ *
+ * Every evaluation runs under a budget of steps. A rule cannot loop — the
+ * language has no loops — but `count(all('task') where …)` inside a rule over
+ * every task is quadratic, and a host of strangers' apps cannot let one
+ * document spend another's CPU. Exceeding the budget is an answer
+ * (`ExprBudgetError`), never a hang.
+ */
+export const DEFAULT_BUDGET = 10_000;
+export class NodeSet {
+    nodes;
+    constructor(nodes) {
+        this.nodes = nodes;
+    }
+}
+export class ExprEvalError extends Error {
+    sentence;
+    at;
+    constructor(sentence, at) {
+        super(sentence);
+        this.sentence = sentence;
+        this.at = at;
+    }
+}
+export class ExprBudgetError extends ExprEvalError {
+}
+const isNode = (v) => v !== null && typeof v === "object" && !Array.isArray(v) && !(v instanceof NodeSet) && typeof v.id === "string";
+const describe = (v) => v === null ? "nothing" : v instanceof NodeSet ? "a set of records" : Array.isArray(v) ? "a list" : isNode(v) ? "a record" : typeof v === "string" ? "a word" : typeof v;
+/** Evaluate an expression. Throws `ExprEvalError` (with a sentence) on a type mistake or an exhausted budget. */
+export function evaluateExpr(expr, ctx) {
+    let steps = ctx.budget ?? DEFAULT_BUDGET;
+    const spend = (n, at) => {
+        steps -= n;
+        if (steps < 0)
+            throw new ExprBudgetError("this rule looks at too much of the graph to judge in one go", at);
+    };
+    const today = ctx.today ?? new Date().toISOString().slice(0, 10);
+    const now = ctx.now ?? new Date().toISOString();
+    const field = (node, name, at) => {
+        spend(1, at);
+        const shape = ctx.kinds.get(node.kind);
+        // A record's OWN values only: `constructor` or `__proto__` is not a field of anything, and reading one would hand a template a function.
+        const own = Object.prototype.hasOwnProperty.call(node, name);
+        if (shape?.fields.has(name) || own) {
+            const v = own ? node[name] : undefined;
+            return v === undefined ? null : v;
+        }
+        const card = shape?.edges.get(name);
+        if (card) {
+            const targets = ctx.graph.out(node.id, name);
+            spend(targets.length, at);
+            return card === "one" ? (targets[0] ?? null) : new NodeSet(targets);
+        }
+        if (name === "id")
+            return node.id;
+        throw new ExprEvalError(`${withArticle(node.kind)} has no field or relation called "${name}"`, at);
+    };
+    const asSet = (v, at, fn) => {
+        if (v instanceof NodeSet)
+            return v;
+        if (v === null)
+            return new NodeSet([]);
+        if (isNode(v))
+            return new NodeSet([v]);
+        throw new ExprEvalError(`${fn}(…) needs a set of records, and was given ${describe(v)}`, at);
+    };
+    const asString = (v, at, fn) => {
+        if (v === null)
+            return null;
+        if (typeof v === "string")
+            return v;
+        if (typeof v === "number" || typeof v === "boolean")
+            return String(v);
+        throw new ExprEvalError(`${fn}(…) needs a word, and was given ${describe(v)}`, at);
+    };
+    const asDate = (v, at, fn) => {
+        const s = asString(v, at, fn);
+        if (s === null)
+            return null;
+        const t = Date.parse(s.length === 10 ? `${s}T00:00:00Z` : s);
+        if (Number.isNaN(t))
+            throw new ExprEvalError(`${fn}(…) needs a date, and "${s}" is not one`, at);
+        return t;
+    };
+    const equal = (a, b) => {
+        if (isNode(a) && isNode(b))
+            return a.id === b.id;
+        if (isNode(a) && typeof b === "string")
+            return a.id === b;
+        if (typeof a === "string" && isNode(b))
+            return a === b.id;
+        if (Array.isArray(a) && Array.isArray(b))
+            return a.length === b.length && a.every((x, i) => equal(x, b[i]));
+        return a === b;
+    };
+    const truthy = (v, at, where) => {
+        if (v === null)
+            return false;
+        if (typeof v === "boolean")
+            return v;
+        throw new ExprEvalError(`${where} must be true or false, and was ${describe(v)}`, at);
+    };
+    const withSubject = (subject, e) => run(e, subject);
+    function run(e, subject) {
+        spend(1, e.at);
+        switch (e.t) {
+            case "lit":
+                return e.value;
+            case "list":
+                return e.items.map((item) => run(item, subject));
+            case "ident": {
+                const bound = ctx.bindings && Object.prototype.hasOwnProperty.call(ctx.bindings, e.name) ? ctx.bindings[e.name] : undefined;
+                if (bound !== undefined)
+                    return bound;
+                if (subject)
+                    return field(subject, e.name, e.at);
+                throw new ExprEvalError(`"${e.name}" means nothing in a rule over the whole graph`, e.at);
+            }
+            case "member": {
+                const object = run(e.object, subject);
+                if (object === null)
+                    return null;
+                if (isNode(object))
+                    return field(object, e.name, e.at);
+                throw new ExprEvalError(`".${e.name}" needs a record before it, and was given ${describe(object)}`, e.at);
+            }
+            case "unary": {
+                const v = run(e.operand, subject);
+                if (e.op === "!")
+                    return !truthy(v, e.at, "what follows not");
+                if (v === null)
+                    return null;
+                if (typeof v !== "number")
+                    throw new ExprEvalError(`"-" needs a number, and was given ${describe(v)}`, e.at);
+                return -v;
+            }
+            case "where": {
+                const set = asSet(run(e.set, subject), e.at, "where");
+                spend(set.nodes.length, e.at);
+                return new NodeSet(set.nodes.filter((member) => truthy(withSubject(member, e.filter), e.at, "a where condition")));
+            }
+            case "binary":
+                return binary(e, subject);
+            case "call":
+                return call(e, subject);
+        }
+    }
+    function binary(e, subject) {
+        if (e.op === "&&")
+            return truthy(run(e.left, subject), e.at, "each side of and") && truthy(run(e.right, subject), e.at, "each side of and");
+        if (e.op === "||")
+            return truthy(run(e.left, subject), e.at, "each side of or") || truthy(run(e.right, subject), e.at, "each side of or");
+        const a = run(e.left, subject);
+        const b = run(e.right, subject);
+        switch (e.op) {
+            case "==":
+                return equal(a, b);
+            case "!=":
+                return !equal(a, b);
+            case "in": {
+                if (b === null)
+                    return false;
+                if (b instanceof NodeSet)
+                    return b.nodes.some((n) => equal(a, n));
+                if (Array.isArray(b))
+                    return b.some((x) => equal(a, x));
+                if (typeof b === "string" && typeof a === "string")
+                    return b.includes(a);
+                throw new ExprEvalError(`"in" needs a list or a set on its right, and was given ${describe(b)}`, e.at);
+            }
+            case "<":
+            case "<=":
+            case ">":
+            case ">=": {
+                if (a === null || b === null)
+                    return false;
+                const comparable = (typeof a === "number" && typeof b === "number") || (typeof a === "string" && typeof b === "string");
+                if (!comparable)
+                    throw new ExprEvalError(`cannot compare ${describe(a)} with ${describe(b)}`, e.at);
+                return e.op === "<" ? a < b : e.op === "<=" ? a <= b : e.op === ">" ? a > b : a >= b;
+            }
+            default: {
+                if (a === null || b === null)
+                    return null;
+                if (e.op === "+" && (typeof a === "string" || typeof b === "string")) {
+                    const s = `${asString(a, e.at, "+")}${asString(b, e.at, "+")}`;
+                    if (s.length > 10_000)
+                        throw new ExprEvalError("that makes a word too long", e.at);
+                    return s;
+                }
+                if (typeof a !== "number" || typeof b !== "number")
+                    throw new ExprEvalError(`"${e.op}" needs numbers, and was given ${describe(a)} and ${describe(b)}`, e.at);
+                if ((e.op === "/" || e.op === "%") && b === 0)
+                    return null;
+                return e.op === "+" ? a + b : e.op === "-" ? a - b : e.op === "*" ? a * b : e.op === "/" ? a / b : a % b;
+            }
+        }
+    }
+    function call(e, subject) {
+        const arity = (n, m = n) => {
+            if (e.args.length < n || e.args.length > m) {
+                throw new ExprEvalError(`${e.fn}(…) takes ${n === m ? n : `${n} to ${m}`} argument${m === 1 ? "" : "s"}`, e.at);
+            }
+        };
+        const arg = (i) => run(e.args[i], subject);
+        const word = (i) => {
+            const v = arg(i);
+            if (typeof v !== "string")
+                throw new ExprEvalError(`${e.fn}(…) needs a quoted name, like ${e.fn}('name')`, e.at);
+            return v;
+        };
+        switch (e.fn) {
+            case "out":
+            case "in": {
+                arity(1);
+                const edge = word(0);
+                if (!subject)
+                    throw new ExprEvalError(`${e.fn}('${edge}') needs a record to start from`, e.at);
+                const nodes = e.fn === "out" ? ctx.graph.out(subject.id, edge) : ctx.graph.in(subject.id, edge);
+                spend(nodes.length, e.at);
+                return new NodeSet(nodes);
+            }
+            case "all": {
+                arity(1);
+                const nodes = ctx.graph.nodesOfKind(word(0));
+                spend(nodes.length, e.at);
+                return new NodeSet(nodes);
+            }
+            case "count":
+                arity(1);
+                return asSet(arg(0), e.at, "count").nodes.length;
+            case "exists":
+                arity(1);
+                return asSet(arg(0), e.at, "exists").nodes.length > 0;
+            case "every":
+            case "some": {
+                arity(2);
+                const set = asSet(arg(0), e.at, e.fn);
+                spend(set.nodes.length, e.at);
+                const test = (n) => truthy(withSubject(n, e.args[1]), e.at, `the condition in ${e.fn}(…)`);
+                return e.fn === "every" ? set.nodes.every(test) : set.nodes.some(test);
+            }
+            case "sum":
+            case "min":
+            case "max": {
+                arity(2);
+                const set = asSet(arg(0), e.at, e.fn);
+                // The field may be quoted or bare: sum(S, 'quote') and sum(S, quote) mean the same.
+                const second = e.args[1];
+                const name = second.t === "ident" ? second.name : word(1);
+                const values = set.nodes
+                    .map((n) => field(n, name, e.at))
+                    .filter((v) => {
+                    if (v === null)
+                        return false;
+                    if (typeof v !== "number")
+                        throw new ExprEvalError(`${e.fn}(…, '${name}') needs a number field, and found ${describe(v)}`, e.at);
+                    return true;
+                });
+                if (e.fn === "sum")
+                    return values.reduce((s, v) => s + v, 0);
+                if (values.length === 0)
+                    return null;
+                return e.fn === "min" ? Math.min(...values) : Math.max(...values);
+            }
+            case "present": {
+                arity(1);
+                const v = arg(0);
+                if (v === null || v === "")
+                    return false;
+                if (Array.isArray(v))
+                    return v.length > 0;
+                if (v instanceof NodeSet)
+                    return v.nodes.length > 0;
+                return true;
+            }
+            case "len": {
+                arity(1);
+                const v = arg(0);
+                if (v === null)
+                    return 0;
+                if (typeof v === "string" || Array.isArray(v))
+                    return v.length;
+                if (v instanceof NodeSet)
+                    return v.nodes.length;
+                throw new ExprEvalError(`len(…) needs a word or a list, and was given ${describe(v)}`, e.at);
+            }
+            case "contains":
+            case "startsWith": {
+                arity(2);
+                const a = arg(0);
+                const b = arg(1);
+                if (a === null || b === null)
+                    return false;
+                if (e.fn === "contains" && Array.isArray(a))
+                    return a.some((x) => equal(x, b));
+                const s = asString(a, e.at, e.fn);
+                const t = asString(b, e.at, e.fn);
+                return e.fn === "contains" ? s.toLowerCase().includes(t.toLowerCase()) : s.startsWith(t);
+            }
+            case "lower": {
+                arity(1);
+                const s = asString(arg(0), e.at, "lower");
+                return s === null ? null : s.toLowerCase();
+            }
+            case "today":
+                arity(0);
+                return today;
+            case "now":
+                arity(0);
+                return now;
+            case "date": {
+                arity(1);
+                const t = asDate(arg(0), e.at, "date");
+                return t === null ? null : new Date(t).toISOString().slice(0, 10);
+            }
+            case "days":
+            case "hours": {
+                arity(2);
+                const a = asDate(arg(0), e.at, e.fn);
+                const b = asDate(arg(1), e.at, e.fn);
+                if (a === null || b === null)
+                    return null;
+                const span = (b - a) / (e.fn === "days" ? 86_400_000 : 3_600_000);
+                return e.fn === "days" ? Math.round(span) : span;
+            }
+            case "if": {
+                arity(3);
+                return truthy(arg(0), e.at, "the condition in if(…)") ? arg(1) : arg(2);
+            }
+            default:
+                throw new ExprEvalError(`"${e.fn}" is not a function the rule language knows`, e.at);
+        }
+    }
+    return run(expr, ctx.subject);
+}
+/** The names of every function the language knows — the check reports any other. */
+export const FUNCTIONS = [
+    "out", "in", "all", "count", "exists", "every", "some", "sum", "min", "max", "present", "len",
+    "contains", "startsWith", "lower", "today", "now", "date", "days", "hours", "if",
+];
+//# sourceMappingURL=evaluate.js.map

package/dist/document/expr/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/document/expr/evaluate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAI1D;;;;;;;;GAQG;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC;AAErC,MAAM,OAAO,OAAO;IACG;IAArB,YAAqB,KAA8B;QAA9B,UAAK,GAAL,KAAK,CAAyB;IAAG,CAAC;CACxD;AAsBD,MAAM,OAAO,aAAc,SAAQ,KAAK;IAE3B;IACA;IAFX,YACW,QAAgB,EAChB,EAAU;QAEnB,KAAK,CAAC,QAAQ,CAAC,CAAC;QAHP,aAAQ,GAAR,QAAQ,CAAQ;QAChB,OAAE,GAAF,EAAE,CAAQ;IAGrB,CAAC;CACF;AAED,MAAM,OAAO,eAAgB,SAAQ,aAAa;CAAG;AAErD,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAqB,EAAE,CAC7C,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,IAAI,OAAQ,CAAkB,CAAC,EAAE,KAAK,QAAQ,CAAC;AAEpI,MAAM,QAAQ,GAAG,CAAC,CAAQ,EAAU,EAAE,CACpC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAE1K,iHAAiH;AACjH,MAAM,UAAU,YAAY,CAAC,IAAU,EAAE,GAAgB;IACvD,IAAI,KAAK,GAAG,GAAG,CAAC,MAAM,IAAI,cAAc,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAU,EAAE,EAAE;QACtC,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,eAAe,CAAC,6DAA6D,EAAE,EAAE,CAAC,CAAC;IAC9G,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAEhD,MAAM,KAAK,GAAG,CAAC,IAAkB,EAAE,IAAY,EAAE,EAAU,EAAS,EAAE;QACpE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACb,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,yIAAyI;QACzI,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAI,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAW,CAAC;QAC/C,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC7C,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC1B,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,aAAa,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;IACrG,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,CAAQ,EAAE,EAAU,EAAE,EAAU,EAAW,EAAE;QAC1D,IAAI,CAAC,YAAY,OAAO;YAAE,OAAO,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,IAAI,aAAa,CAAC,GAAG,EAAE,6CAA6C,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAQ,EAAE,EAAU,EAAE,EAAU,EAAiB,EAAE;QACnE,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,IAAI,aAAa,CAAC,GAAG,EAAE,mCAAmC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAE,EAAU,EAAE,EAAU,EAAiB,EAAE;QACjE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,aAAa,CAAC,GAAG,EAAE,0BAA0B,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QACjG,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;QAC5C,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QAC7G,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAE,EAAU,EAAE,KAAa,EAAW,EAAE;QAC9D,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC7B,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QACrC,MAAM,IAAI,aAAa,CAAC,GAAG,KAAK,mCAAmC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACxF,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,OAA4B,EAAE,CAAO,EAAS,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAEtF,SAAS,GAAG,CAAC,CAAO,EAAE,OAA4B;QAChD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACf,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,KAAK,KAAK;gBACR,OAAO,CAAC,CAAC,KAAK,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YACnD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5H,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBACtC,IAAI,OAAO;oBAAE,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACjD,MAAM,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,gDAAgD,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5F,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACtC,IAAI,MAAM,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBACjC,IAAI,MAAM,CAAC,MAAM,CAAC;oBAAE,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACvD,MAAM,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,6CAA6C,QAAQ,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5G,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBAClC,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG;oBAAE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;gBAC9D,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,MAAM,IAAI,aAAa,CAAC,qCAAqC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC7G,OAAO,CAAC,CAAC,CAAC;YACZ,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;gBACtD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9B,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC;YACrH,CAAC;YACD,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5B,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,SAAS,MAAM,CAAC,CAAiC,EAAE,OAA4B;QAC7E,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;QAC5I,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,iBAAiB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAC1I,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YACb,KAAK,IAAI;gBACP,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,KAAK,IAAI;gBACP,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtB,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAC;gBAC7B,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAClE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACxD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBACzE,MAAM,IAAI,aAAa,CAAC,0DAA0D,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACzG,CAAC;YACD,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAC;gBAC3C,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;gBACxH,IAAI,CAAC,UAAU;oBAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,QAAQ,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpG,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvF,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACR,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC1C,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;oBACrE,MAAM,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC/D,IAAI,CAAC,CAAC,MAAM,GAAG,MAAM;wBAAE,MAAM,IAAI,aAAa,CAAC,4BAA4B,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;oBACnF,OAAO,CAAC,CAAC;gBACX,CAAC;gBACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,MAAM,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,kCAAkC,QAAQ,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9J,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC3D,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3G,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,IAAI,CAAC,CAA+B,EAAE,OAA4B;QACzE,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;YACjC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3C,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAClH,CAAC;QACH,CAAC,CAAC;QACF,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE;YACzB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,iCAAiC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACjH,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YACb,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrB,IAAI,CAAC,OAAO;oBAAE,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,iCAAiC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC/F,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAChG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC1B,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC1B,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;YACD,KAAK,OAAO;gBACV,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;YACnD,KAAK,QAAQ;gBACX,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YACxD,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9B,MAAM,IAAI,GAAG,CAAC,CAAe,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC1G,OAAO,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtC,oFAAoF;gBACpF,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;gBAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC1D,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK;qBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;qBAChC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE;oBACzB,IAAI,CAAC,KAAK,IAAI;wBAAE,OAAO,KAAK,CAAC;oBAC7B,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,sCAAsC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;oBACjI,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC,CAAC;gBACL,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;oBAAE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrC,OAAO,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE;oBAAE,OAAO,KAAK,CAAC;gBACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC1C,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,CAAC,CAAC;gBACzB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,CAAC,MAAM,CAAC;gBAC/D,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChD,MAAM,IAAI,aAAa,CAAC,gDAAgD,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/F,CAAC;YACD,KAAK,UAAU,CAAC;YAChB,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAC;gBAC3C,IAAI,CAAC,CAAC,EAAE,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/E,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAE,CAAC;gBACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAE,CAAC;gBACnC,OAAO,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3F,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;gBAC1C,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC7C,CAAC;YACD,KAAK,OAAO;gBACV,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,OAAO,KAAK,CAAC;YACf,KAAK,KAAK;gBACR,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,OAAO,GAAG,CAAC;YACb,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBACvC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAClE,OAAO,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACnD,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD;gBACE,MAAM,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,6CAA6C,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED,oFAAoF;AACpF,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK;IAC7F,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI;CACxE,CAAC"}

package/dist/document/expr/index.d.ts

@@ -0,0 +1,8 @@
+export { parseExpr, ExprSyntaxError, MAX_EXPRESSION_LENGTH } from "./parse.js";
+export { printExpr } from "./print.js";
+export type { Expr, BinaryOp } from "./parse.js";
+export { evaluateExpr, ExprEvalError, ExprBudgetError, NodeSet, DEFAULT_BUDGET, FUNCTIONS } from "./evaluate.js";
+export type { EvalContext, KindShape, Value } from "./evaluate.js";
+export { analyzeExpr } from "./analyze.js";
+export type { ExprShape } from "./analyze.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/document/expr/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/document/expr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AACjH,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC"}

package/dist/document/expr/index.js

@@ -0,0 +1,5 @@
+export { parseExpr, ExprSyntaxError, MAX_EXPRESSION_LENGTH } from "./parse.js";
+export { printExpr } from "./print.js";
+export { evaluateExpr, ExprEvalError, ExprBudgetError, NodeSet, DEFAULT_BUDGET, FUNCTIONS } from "./evaluate.js";
+export { analyzeExpr } from "./analyze.js";
+//# sourceMappingURL=index.js.map

package/dist/document/expr/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/document/expr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAEjH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC"}

package/dist/document/expr/parse.d.ts

@@ -0,0 +1,50 @@
+export type Expr = {
+    readonly t: "lit";
+    readonly value: string | number | boolean | null;
+    readonly at: number;
+} | {
+    readonly t: "ident";
+    readonly name: string;
+    readonly at: number;
+} | {
+    readonly t: "list";
+    readonly items: readonly Expr[];
+    readonly at: number;
+} | {
+    readonly t: "member";
+    readonly object: Expr;
+    readonly name: string;
+    readonly at: number;
+} | {
+    readonly t: "unary";
+    readonly op: "!" | "-";
+    readonly operand: Expr;
+    readonly at: number;
+} | {
+    readonly t: "binary";
+    readonly op: BinaryOp;
+    readonly left: Expr;
+    readonly right: Expr;
+    readonly at: number;
+} | {
+    readonly t: "call";
+    readonly fn: string;
+    readonly args: readonly Expr[];
+    readonly at: number;
+} | {
+    readonly t: "where";
+    readonly set: Expr;
+    readonly filter: Expr;
+    readonly at: number;
+};
+export type BinaryOp = "||" | "&&" | "==" | "!=" | "<" | "<=" | ">" | ">=" | "in" | "+" | "-" | "*" | "/" | "%";
+export declare class ExprSyntaxError extends Error {
+    readonly sentence: string;
+    readonly at: number;
+    readonly source: string;
+    constructor(sentence: string, at: number, source: string);
+}
+export declare const MAX_EXPRESSION_LENGTH = 2000;
+/** Parse an expression, or throw an `ExprSyntaxError` whose sentence a person can act on. */
+export declare function parseExpr(source: string): Expr;
+//# sourceMappingURL=parse.d.ts.map

package/dist/document/expr/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/document/expr/parse.ts"],"names":[],"mappings":"AAUA,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC5F;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC3F;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,GAAG,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC5F;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC/G;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAChG;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5F,MAAM,MAAM,QAAQ,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAEhH,qBAAa,eAAgB,SAAQ,KAAK;IAEtC,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAFd,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,EACV,MAAM,EAAE,MAAM;CAI1B;AAWD,eAAO,MAAM,qBAAqB,OAAO,CAAC;AAkD1C,6FAA6F;AAC7F,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CA8J9C"}