mindoodb 0.0.23 → 0.0.32

package/dist/core/expressions/builder.js

@@ -0,0 +1,249 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createViewLanguage = createViewLanguage;
+const EXPRESSION_KINDS = new Set([
+    "literal",
+    "field",
+    "value",
+    "origin",
+    "variable",
+    "operation",
+    "if",
+    "let",
+    "decrypt",
+    "json",
+]);
+function variable(name) {
+    return { kind: "variable", name };
+}
+/** Distinguishes AST nodes from plain literals before normalizing builder input. */
+function isExpression(value) {
+    return typeof value === "object"
+        && value !== null
+        && "kind" in value
+        && typeof value.kind === "string"
+        && EXPRESSION_KINDS.has(value.kind);
+}
+/** Normalizes raw builder input into an expression node. */
+function toExpression(value) {
+    return isExpression(value) ? value : { kind: "literal", value };
+}
+/** Vectorized form of `toExpression()` for variadic helpers. */
+function toExpressionList(values) {
+    return values.map((value) => toExpression(value));
+}
+/**
+ * Creates the typed builder API used by applications to author Formula
+ * expressions in TypeScript.
+ *
+ * The first generic parameter describes the source document shape used by
+ * `field()`. The optional second generic parameter describes previously
+ * computed column values referenced via `value()`.
+ */
+function createViewLanguage() {
+    return {
+        literal(value) {
+            return { kind: "literal", value };
+        },
+        string(value) {
+            return { kind: "literal", value };
+        },
+        number(value) {
+            return { kind: "literal", value };
+        },
+        boolean(value) {
+            return { kind: "literal", value };
+        },
+        field(path) {
+            return { kind: "field", path };
+        },
+        value(path) {
+            return { kind: "value", path };
+        },
+        origin() {
+            return { kind: "origin" };
+        },
+        createdAt() {
+            return { kind: "operation", op: "createdAt", args: [] };
+        },
+        decryptionKeyId() {
+            return { kind: "operation", op: "decryptionKeyId", args: [] };
+        },
+        isWitnessed() {
+            return { kind: "operation", op: "isWitnessed", args: [] };
+        },
+        isAwaitingWitness() {
+            return { kind: "operation", op: "isAwaitingWitness", args: [] };
+        },
+        attachmentNames() {
+            return { kind: "operation", op: "attachmentNames", args: [] };
+        },
+        attachmentLengths() {
+            return { kind: "operation", op: "attachmentLengths", args: [] };
+        },
+        attachmentCount() {
+            return { kind: "operation", op: "attachmentCount", args: [] };
+        },
+        childCount() {
+            return { kind: "operation", op: "childCount", args: [] };
+        },
+        childCategoryCount() {
+            return { kind: "operation", op: "childCategoryCount", args: [] };
+        },
+        childDocumentCount() {
+            return { kind: "operation", op: "childDocumentCount", args: [] };
+        },
+        descendantCount() {
+            return { kind: "operation", op: "descendantCount", args: [] };
+        },
+        descendantCategoryCount() {
+            return { kind: "operation", op: "descendantCategoryCount", args: [] };
+        },
+        descendantDocumentCount() {
+            return { kind: "operation", op: "descendantDocumentCount", args: [] };
+        },
+        siblingCount() {
+            return { kind: "operation", op: "siblingCount", args: [] };
+        },
+        add(left, right) {
+            return { kind: "operation", op: "add", args: [toExpression(left), toExpression(right)] };
+        },
+        sub(left, right) {
+            return { kind: "operation", op: "sub", args: [toExpression(left), toExpression(right)] };
+        },
+        mul(left, right) {
+            return { kind: "operation", op: "mul", args: [toExpression(left), toExpression(right)] };
+        },
+        div(left, right) {
+            return { kind: "operation", op: "div", args: [toExpression(left), toExpression(right)] };
+        },
+        mod(left, right) {
+            return { kind: "operation", op: "mod", args: [toExpression(left), toExpression(right)] };
+        },
+        eq(left, right) {
+            return { kind: "operation", op: "eq", args: [toExpression(left), toExpression(right)] };
+        },
+        neq(left, right) {
+            return { kind: "operation", op: "neq", args: [toExpression(left), toExpression(right)] };
+        },
+        gt(left, right) {
+            return { kind: "operation", op: "gt", args: [toExpression(left), toExpression(right)] };
+        },
+        gte(left, right) {
+            return { kind: "operation", op: "gte", args: [toExpression(left), toExpression(right)] };
+        },
+        lt(left, right) {
+            return { kind: "operation", op: "lt", args: [toExpression(left), toExpression(right)] };
+        },
+        lte(left, right) {
+            return { kind: "operation", op: "lte", args: [toExpression(left), toExpression(right)] };
+        },
+        and(...args) {
+            return { kind: "operation", op: "and", args: toExpressionList(args) };
+        },
+        or(...args) {
+            return { kind: "operation", op: "or", args: toExpressionList(args) };
+        },
+        not(value) {
+            return { kind: "operation", op: "not", args: [toExpression(value)] };
+        },
+        concat(...args) {
+            return { kind: "operation", op: "concat", args: toExpressionList(args) };
+        },
+        lower(value) {
+            return { kind: "operation", op: "lower", args: [toExpression(value)] };
+        },
+        upper(value) {
+            return { kind: "operation", op: "upper", args: [toExpression(value)] };
+        },
+        trim(value) {
+            return { kind: "operation", op: "trim", args: [toExpression(value)] };
+        },
+        left(value, by) {
+            return { kind: "operation", op: "left", args: [toExpression(value), toExpression(by)] };
+        },
+        right(value, by) {
+            return { kind: "operation", op: "right", args: [toExpression(value), toExpression(by)] };
+        },
+        toNumber(value) {
+            return { kind: "operation", op: "number", args: [toExpression(value)] };
+        },
+        toString(value) {
+            return { kind: "operation", op: "string", args: [toExpression(value)] };
+        },
+        toBoolean(value) {
+            return { kind: "operation", op: "boolean", args: [toExpression(value)] };
+        },
+        contains(left, right) {
+            return { kind: "operation", op: "contains", args: [toExpression(left), toExpression(right)] };
+        },
+        startsWith(left, right) {
+            return { kind: "operation", op: "startsWith", args: [toExpression(left), toExpression(right)] };
+        },
+        endsWith(left, right) {
+            return { kind: "operation", op: "endsWith", args: [toExpression(left), toExpression(right)] };
+        },
+        coalesce(...args) {
+            return { kind: "operation", op: "coalesce", args: toExpressionList(args) };
+        },
+        exists(value) {
+            return { kind: "operation", op: "exists", args: [toExpression(value)] };
+        },
+        notExists(value) {
+            return { kind: "operation", op: "notExists", args: [toExpression(value)] };
+        },
+        pathJoin(...args) {
+            return { kind: "operation", op: "pathJoin", args: toExpressionList(args) };
+        },
+        datePart(value, part) {
+            return { kind: "operation", op: "datePart", args: [toExpression(value)], part };
+        },
+        decryptField(field, key) {
+            return { kind: "decrypt", field, key: key === undefined ? undefined : toExpression(key) };
+        },
+        decryptJson(field, path, key) {
+            return { kind: "decrypt", field, json: true, path, key: key === undefined ? undefined : toExpression(key) };
+        },
+        json(field, path) {
+            return { kind: "json", field, path };
+        },
+        /**
+         * Branching in the style of Domino's `@If`: any number of
+         * condition/value pairs followed by one final default value —
+         * `ifElse(cond1, val1, cond2, val2, ..., default)`. Conditions are
+         * checked in order; the value of the first matching condition wins,
+         * otherwise the default. The classic three-argument form
+         * `ifElse(condition, whenTrue, whenFalse)` is the smallest case.
+         *
+         * Multi-branch calls desugar into nested `if` AST nodes, so the
+         * serialized expression format is unchanged.
+         */
+        ifElse(condition, whenTrue, ...moreBranchesAndDefault) {
+            const args = [condition, whenTrue, ...moreBranchesAndDefault];
+            if (args.length < 3 || args.length % 2 === 0) {
+                throw new Error("ifElse expects condition/value pairs followed by one default value " +
+                    "(odd argument count >= 3), e.g. ifElse(cond1, val1, cond2, val2, default).");
+            }
+            let result = toExpression(args[args.length - 1]);
+            for (let i = args.length - 3; i >= 0; i -= 2) {
+                result = {
+                    kind: "if",
+                    condition: toExpression(args[i]),
+                    whenTrue: toExpression(args[i + 1]),
+                    whenFalse: result,
+                };
+            }
+            return result;
+        },
+        let(bindings, build) {
+            const normalizedBindings = Object.fromEntries(Object.entries(bindings).map(([name, value]) => [name, toExpression(value)]));
+            const refs = Object.fromEntries(Object.keys(normalizedBindings).map((name) => [name, variable(name)]));
+            return {
+                kind: "let",
+                bindings: normalizedBindings,
+                result: toExpression(build(refs)),
+            };
+        },
+    };
+}
+//# sourceMappingURL=builder.js.map

package/dist/core/expressions/builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../../src/core/expressions/builder.ts"],"names":[],"mappings":";;AAyFA,gDA6NC;AA5SD,MAAM,gBAAgB,GAAgC,IAAI,GAAG,CAAC;IAC5D,SAAS;IACT,OAAO;IACP,OAAO;IACP,QAAQ;IACR,UAAU;IACV,WAAW;IACX,IAAI;IACJ,KAAK;IACL,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAqCH,SAAS,QAAQ,CAAc,IAAY;IACzC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,oFAAoF;AACpF,SAAS,YAAY,CAAc,KAAoC;IACrE,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC3B,KAAK,KAAK,IAAI;WACd,MAAM,IAAI,KAAK;WACf,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;WAC9B,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAsB,CAAC,CAAC;AAC1D,CAAC;AAED,4DAA4D;AAC5D,SAAS,YAAY,CAAI,KAAoC;IAC3D,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAClE,CAAC;AAED,gEAAgE;AAChE,SAAS,gBAAgB,CAAI,MAAuC;IAClE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,kBAAkB;IAIhC,OAAO;QACL,OAAO,CAAI,KAAQ;YACjB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,CAAC,KAAa;YAClB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,CAAC,KAAa;YAClB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACpC,CAAC;QACD,OAAO,CAAC,KAAc;YACpB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACpC,CAAC;QACD,KAAK,CAAgD,IAAW;YAC9D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACjC,CAAC;QACD,KAAK,CAAoD,IAAW;YAClE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACjC,CAAC;QACD,MAAM;YACJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5B,CAAC;QACD,SAAS;YACP,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC1D,CAAC;QACD,eAAe;YACb,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAChE,CAAC;QACD,WAAW;YACT,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC5D,CAAC;QACD,iBAAiB;YACf,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAClE,CAAC;QACD,eAAe;YACb,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAChE,CAAC;QACD,iBAAiB;YACf,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAClE,CAAC;QACD,eAAe;YACb,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAChE,CAAC;QACD,UAAU;YACR,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC3D,CAAC;QACD,kBAAkB;YAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACnE,CAAC;QACD,kBAAkB;YAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACnE,CAAC;QACD,eAAe;YACb,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAChE,CAAC;QACD,uBAAuB;YACrB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACxE,CAAC;QACD,uBAAuB;YACrB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACxE,CAAC;QACD,YAAY;YACV,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC7D,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,EAAE,CAAC,IAAgC,EAAE,KAAiC;YACpE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1F,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,EAAE,CAAC,IAAgC,EAAE,KAAiC;YACpE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1F,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,EAAE,CAAC,IAAgC,EAAE,KAAiC;YACpE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1F,CAAC;QACD,GAAG,CAAC,IAAgC,EAAE,KAAiC;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,GAAG,CAAC,GAAG,IAA2C;YAChD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,CAAC;QACD,EAAE,CAAC,GAAG,IAA2C;YAC/C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,CAAC;QACD,GAAG,CAAC,KAA0C;YAC5C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACvE,CAAC;QACD,MAAM,CAAC,GAAG,IAAkC;YAC1C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3E,CAAC;QACD,KAAK,CAAC,KAAiC;YACrC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,CAAC,KAAiC;YACrC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,IAAI,CAAC,KAAiC;YACpC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACxE,CAAC;QACD,IAAI,CAAC,KAAiC,EAAE,EAA8B;YACpE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC1F,CAAC;QACD,KAAK,CAAC,KAAiC,EAAE,EAA8B;YACrE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC;QACD,QAAQ,CAAC,KAAiC;YACxC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1E,CAAC;QACD,QAAQ,CAAC,KAAiC;YACxC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1E,CAAC;QACD,SAAS,CAAC,KAAiC;YACzC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3E,CAAC;QACD,QAAQ,CAAC,IAAgC,EAAE,KAAiC;YAC1E,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAChG,CAAC;QACD,UAAU,CAAC,IAAgC,EAAE,KAAiC;YAC5E,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAClG,CAAC;QACD,QAAQ,CAAC,IAAgC,EAAE,KAAiC;YAC1E,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAChG,CAAC;QACD,QAAQ,CAAI,GAAG,IAAqC;YAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,CAAC;QACD,MAAM,CAAC,KAAiC;YACtC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1E,CAAC;QACD,SAAS,CAAC,KAAiC;YACzC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC7E,CAAC;QACD,QAAQ,CAAC,GAAG,IAAkC;YAC5C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,CAAC;QACD,QAAQ,CAAC,KAAiC,EAAE,IAAuC;YACjF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAClF,CAAC;QACD,YAAY,CAAC,KAAa,EAAE,GAAwC;YAClE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5F,CAAC;QACD,WAAW,CAAC,KAAa,EAAE,IAAa,EAAE,GAAwC;YAChF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9G,CAAC;QACD,IAAI,CAAC,KAAa,EAAE,IAAa;YAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACvC,CAAC;QACD;;;;;;;;;;WAUG;QACH,MAAM,CACJ,SAA8C,EAC9C,QAAuC,EACvC,GAAG,sBAAoD;YAEvD,MAAM,IAAI,GAAiC,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,sBAAsB,CAAC,CAAC;YAC5F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CACb,qEAAqE;oBACrE,4EAA4E,CAC7E,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YACjD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,MAAM,GAAG;oBACP,IAAI,EAAE,IAAI;oBACV,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAiC;oBAChE,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACnC,SAAS,EAAE,MAAM;iBAClB,CAAC;YACJ,CAAC;YACD,OAAO,MAAkC,CAAC;QAC5C,CAAC;QACD,GAAG,CACD,QAAmB,EACnB,KAA+E;YAE/E,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAC3C,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CACpC,CAAC;YAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAC7B,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CACzC,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,kBAAkB;gBAC5B,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;aAClC,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/core/expressions/evaluateExpression.d.ts

@@ -0,0 +1,78 @@
+import type { MindooDBAppExpression } from "./types";
+/**
+ * Expression evaluation — the runtime counterpart of the builder
+ * (`createViewLanguage`) and the formula parser. Moved into mindoodb core
+ * from the `mindoodb-view-language` package so ad-hoc queries and
+ * summary-backed views evaluate the same language the apps author views in
+ * (the old package re-exports these symbols for compatibility).
+ *
+ * The view-tree builder intentionally did NOT move: its role is taken over
+ * by summary-backed ephemeral VirtualViews (`db.queryView()`).
+ */
+/**
+ * Context an expression is evaluated against. `doc` carries the document's
+ * (or summary entry's) field values; `values` earlier column results;
+ * `counts` is only populated in view contexts.
+ */
+export type ExpressionEvaluationContext = {
+    doc: Record<string, unknown>;
+    values: Record<string, unknown>;
+    origin: string;
+    createdAt?: string | null;
+    decryptionKeyId?: string | null;
+    witnessed?: boolean;
+    awaitingWitness?: boolean;
+    counts?: Partial<ExpressionViewRowCounts>;
+    variables: Record<string, unknown>;
+    /** Pre-resolved plaintext for `decrypt` nodes, keyed by field name. */
+    decrypted?: Record<string, unknown>;
+};
+/** A field whose ciphertext a view/query definition needs decrypted before evaluation. */
+export type DecryptRequest = {
+    field: string;
+    key?: MindooDBAppExpression;
+};
+export type ExpressionViewRowCounts = {
+    childCount: number;
+    childCategoryCount: number;
+    childDocumentCount: number;
+    descendantCount: number;
+    descendantCategoryCount: number;
+    descendantDocumentCount: number;
+    siblingCount: number;
+};
+/** Operation nodes that only make sense inside a materialized view tree. */
+export declare const VIEW_CONTEXT_OPERATIONS: ReadonlySet<string>;
+/** Reads a dot-separated path from an object and returns `undefined` when any segment is missing. */
+export declare function getFieldValue(source: Record<string, unknown>, path: string): unknown;
+export declare function expressionToNumber(value: unknown): number | null;
+export declare function expressionToBoolean(value: unknown): boolean;
+/**
+ * Evaluates an expression against a document plus the current view/value
+ * context. This is the runtime counterpart of the builder and parser.
+ */
+export declare function evaluateExpression(expression: MindooDBAppExpression, context: ExpressionEvaluationContext): unknown;
+/**
+ * Walks an expression tree and collects every `decrypt` node so the host
+ * runtime knows which `_encrypted` fields it must decrypt before evaluation.
+ * `json` nodes need no decryption and are ignored.
+ */
+export declare function collectDecryptRequests(expression: MindooDBAppExpression): DecryptRequest[];
+/**
+ * Collects every document field path (`field` and `json` nodes) an
+ * expression references. Basis of the query engine's coverage check against
+ * the summary configuration. Attachment operations count as a reference to
+ * `_attachments` — they read that managed field even without a field node.
+ */
+export declare function getReferencedFields(expression: MindooDBAppExpression): string[];
+/**
+ * Collects expression capabilities relevant for the query engine's
+ * guardrails: whether the expression needs decryption or a view-tree
+ * context (neither can be answered from the summary buffer).
+ */
+export declare function analyzeExpressionRequirements(expression: MindooDBAppExpression): {
+    needsDecryption: boolean;
+    needsViewContext: boolean;
+    viewContextOperations: string[];
+};
+//# sourceMappingURL=evaluateExpression.d.ts.map

package/dist/core/expressions/evaluateExpression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluateExpression.d.ts","sourceRoot":"","sources":["../../../src/core/expressions/evaluateExpression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAErD;;;;;;;;;GASG;AAEH;;;;GAIG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,MAAM,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC1C,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACrC,CAAC;AAEF,0FAA0F;AAC1F,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,qBAAqB,CAAC;CAC7B,CAAC;AAOF,MAAM,MAAM,uBAAuB,GAAG;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,uBAAuB,EAAE,MAAM,CAAC;IAChC,uBAAuB,EAAE,MAAM,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,4EAA4E;AAC5E,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAQtD,CAAC;AAEH,qGAAqG;AACrG,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAUpF;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAShE;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAY3D;AAqMD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,qBAAqB,EAAE,OAAO,EAAE,2BAA2B,GAAG,OAAO,CAyCnH;AAqCD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,qBAAqB,GAAG,cAAc,EAAE,CAQ1F;AAUD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,GAAG,MAAM,EAAE,CAY/E;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAAC,UAAU,EAAE,qBAAqB,GAAG;IAChF,eAAe,EAAE,OAAO,CAAC;IACzB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC,CAeA"}