@powersync/service-sync-rules 0.29.9 → 0.30.0

package/dist/sync_plan/expression.d.ts

@@ -0,0 +1,109 @@
+/**
+ * An enumeration of all scalar SQL expressions supported by the sync service.
+ *
+ * Note that these expressions can be serialized, and the evaluation of serialized expressions must be stable.
+ *
+ * The `Data` type parameter encodes what external data references an {@link ExternalData} node may reference: Bucket
+ * data sources can only reference row data (e.g. to evaluate filters), while queriers can only reference connection
+ * data. Adding the parameter to expressions ensures the entire subtree can only reference expected sources.
+ */
+export type SqlExpression<Data> = ExternalData<Data> | UnaryExpression<Data> | BinaryExpression<Data> | BetweenExpression<Data> | ScalarInExpression<Data> | CaseWhenExpression<Data> | CastExpression<Data> | ScalarFunctionCallExpression<Data> | LiteralExpression;
+/**
+ * External data injected into the expression during evaluation.
+ *
+ * What kinds of external data is allowed depends on the expression. For instance, expressions for bucket data sources
+ * may only reference columns in the current row.
+ */
+export type ExternalData<Data> = {
+    type: 'data';
+    source: Data;
+};
+export type UnaryOperator = 'not' | '+';
+export type UnaryExpression<Data> = {
+    type: 'unary';
+    operand: SqlExpression<Data>;
+    operator: UnaryOperator;
+};
+export type BinaryOperator = 'or' | 'and' | '=' | 'is' | '<' | '<=' | '>' | '>=' | '&' | '|' | '<<' | '>>' | '+' | '-' | '*' | '/' | '%' | '||';
+/**
+ * A binary expression in SQLite, `$left $op $right`.
+ *
+ * Note that the `LIKE`, `GLOB`, `REGEXP` and `MATCH`, `->` and `->>` operators are not represented as binary
+ * expressions but rather as the functions SQLite [would call for them](https://www.sqlite.org/lang_expr.html#the_like_glob_regexp_match_and_extract_operators).
+ * Also, note that negated operators (e.g. `!=` or `NOT IN`) are represented by wrapping the expression in a unary
+ * `NOT`. This makes transformations to DNF easier.
+ */
+export type BinaryExpression<Data> = {
+    type: 'binary';
+    left: SqlExpression<Data>;
+    operator: BinaryOperator;
+    right: SqlExpression<Data>;
+};
+export type BetweenExpression<Data> = {
+    type: 'between';
+    value: SqlExpression<Data>;
+    low: SqlExpression<Data>;
+    high: SqlExpression<Data>;
+};
+/**
+ * An `expr IN ($in0, $in1, ..., $inN)` expression.
+ */
+export type ScalarInExpression<Data> = {
+    type: 'scalar_in';
+    target: SqlExpression<Data>;
+    in: SqlExpression<Data>[];
+};
+/**
+ * A `CASE WHEN` expression as supported by SQLite.
+ */
+export type CaseWhenExpression<Data> = {
+    type: 'case_when';
+    operand?: SqlExpression<Data>;
+    whens: {
+        when: SqlExpression<Data>;
+        then: SqlExpression<Data>;
+    }[];
+    else?: SqlExpression<Data>;
+};
+/**
+ * A `CAST` expression.
+ */
+export type CastExpression<Data> = {
+    type: 'cast';
+    operand: SqlExpression<Data>;
+    cast_as: 'text' | 'numeric' | 'real' | 'integer' | 'blob';
+};
+/**
+ * A constant literal in SQL.
+ */
+export type LiteralExpression = {
+    type: 'lit_null';
+} | {
+    type: 'lit_double';
+    value: number;
+} | {
+    type: 'lit_int';
+    /**
+     * The integer value as a base 10 string. We don't use the correct `bigint` type to be able to serialize and
+     * deserialize with the default JSON implementation.
+     */
+    base10: string;
+} | {
+    type: 'lit_string';
+    value: string;
+};
+/**
+ * A scalar (non-aggregate, non-window, non-table-valued) function call in SQL.
+ */
+export type ScalarFunctionCallExpression<Data> = {
+    type: 'function';
+    function: string;
+    parameters: SqlExpression<Data>[];
+};
+export type ArgumentCount = number | {
+    min: number;
+    max?: number;
+    mustBeEven?: boolean;
+    mustBeOdd?: boolean;
+};
+export declare const supportedFunctions: Record<string, ArgumentCount>;

package/dist/sync_plan/expression.js

@@ -0,0 +1,85 @@
+export const supportedFunctions = {
+    // https://sqlite.org/lang_corefunc.html#list_of_core_functions
+    abs: 1,
+    char: { min: 0 },
+    coalesce: { min: 2 },
+    concat: { min: 1 },
+    concat_ws: { min: 2 },
+    format: { min: 1 },
+    glob: 2,
+    hex: 1,
+    ifnull: { min: 2 },
+    if: { min: 2 },
+    iif: { min: 2 },
+    instr: 2,
+    length: 1,
+    // TODO: Establish defaults for case sensitivity, changing escape characters, ICU support.
+    // We might just want to remove LIKE support since we don't seem to have it in sql_functions.ts
+    like: { min: 2, max: 3 },
+    //  likelihood: 2,
+    //  likely: 1,
+    lower: 1,
+    ltrim: { min: 1, max: 2 },
+    max: { min: 2 },
+    min: { min: 2 },
+    nullif: 2,
+    octet_length: 1,
+    printf: { min: 1 },
+    quote: 1,
+    replace: 3,
+    round: { min: 1, max: 2 },
+    rtrim: { min: 1, max: 2 },
+    sign: 1,
+    substr: { min: 2, max: 3 },
+    substring: { min: 2, max: 3 },
+    trim: { min: 1, max: 2 },
+    typeof: 1,
+    unhex: { min: 1, max: 2 },
+    unicode: 1,
+    unistr: 1,
+    unistr_quote: 1,
+    //  unlikely: 1,
+    upper: 1,
+    zeroblob: 1,
+    // Scalar functions from https://sqlite.org/json1.html#overview
+    // We disallow jsonb functions because they're not implemented in sql_functions.ts and we want to preserve
+    // compatibility with that.
+    json: 1,
+    //  jsonb: 1,
+    json_array: { min: 0 },
+    //  jsonb_array: { min: 0 },
+    json_array_length: { min: 1, max: 2 },
+    json_error_position: 1,
+    json_extract: { min: 2 },
+    //  jsonb_extract: { min: 2 },
+    json_insert: { min: 3, mustBeOdd: true },
+    //  jsonb_insert: { min: 3, mustBeOdd: true },
+    json_object: { min: 0, mustBeEven: true },
+    //  jsonb_object: { min: 0, mustBeEven: true },
+    json_patch: 2,
+    //  jsonb_patch: 2,
+    json_pretty: 1,
+    json_remove: { min: 2 },
+    //  jsonb_remove: { min: 2 },
+    json_replace: { min: 3, mustBeOdd: true },
+    //  jsonb_replace: { min: 3, mustBeOdd: true },
+    json_set: { min: 3, mustBeOdd: true },
+    //  jsonb_set: { min: 3, mustBeOdd: true },
+    json_type: { min: 1, max: 2 },
+    json_valid: { min: 1, max: 2 },
+    json_quote: { min: 1 },
+    // https://www.sqlite.org/lang_datefunc.html, but we only support datetime and unixepoch
+    // TODO: Ensure our support matches the current unixepoch behavior in sql_functions.ts, register as user-defined
+    // function to patch default if in doubt.
+    unixepoch: { min: 1 },
+    datetime: { min: 1 },
+    // PowerSync-specific, mentioned in https://docs.powersync.com/sync/rules/supported-sql#functions
+    base64: 1,
+    json_keys: 1,
+    uuid_blob: 1,
+    st_asgeojson: 1,
+    st_astext: 1,
+    st_x: 1,
+    st_y: 1
+};
+//# sourceMappingURL=expression.js.map

package/dist/sync_plan/expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["../../src/sync_plan/expression.ts"],"names":[],"mappings":"AAqIA,MAAM,CAAC,MAAM,kBAAkB,GAAkC;IAC/D,+DAA+D;IAC/D,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAChB,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACpB,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACrB,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACd,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACf,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC;IACT,0FAA0F;IAC1F,+FAA+F;IAC/F,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACxB,kBAAkB;IAClB,cAAc;IACd,KAAK,EAAE,CAAC;IACR,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACf,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACf,MAAM,EAAE,CAAC;IACT,YAAY,EAAE,CAAC;IACf,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAClB,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC1B,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC7B,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACxB,MAAM,EAAE,CAAC;IACT,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,OAAO,EAAE,CAAC;IACV,MAAM,EAAE,CAAC;IACT,YAAY,EAAE,CAAC;IACf,gBAAgB;IAChB,KAAK,EAAE,CAAC;IACR,QAAQ,EAAE,CAAC;IACX,+DAA+D;IAC/D,0GAA0G;IAC1G,2BAA2B;IAC3B,IAAI,EAAE,CAAC;IACP,aAAa;IACb,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACtB,4BAA4B;IAC5B,iBAAiB,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IACrC,mBAAmB,EAAE,CAAC;IACtB,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACxB,8BAA8B;IAC9B,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;IACxC,8CAA8C;IAC9C,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;IACzC,+CAA+C;IAC/C,UAAU,EAAE,CAAC;IACb,mBAAmB;IACnB,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACvB,6BAA6B;IAC7B,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;IACzC,+CAA+C;IAC/C,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;IACrC,2CAA2C;IAC3C,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC7B,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC9B,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAEtB,wFAAwF;IACxF,gHAAgH;IAChH,yCAAyC;IACzC,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACrB,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IAEpB,iGAAiG;IACjG,MAAM,EAAE,CAAC;IACT,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,CAAC;IACZ,YAAY,EAAE,CAAC;IACf,SAAS,EAAE,CAAC;IACZ,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;CACR,CAAC"}

package/dist/sync_plan/expression_to_sql.d.ts

@@ -0,0 +1,43 @@
+import { BetweenExpression, BinaryExpression, CaseWhenExpression, CastExpression, ExternalData, LiteralExpression, ScalarFunctionCallExpression, ScalarInExpression, SqlExpression, UnaryExpression } from './expression.js';
+import { ExpressionVisitor } from './expression_visitor.js';
+/**
+ * Renders {@link SqlExpression}s into SQL text supported by SQLite.
+ */
+export declare class ExpressionToSqlite<Data> implements ExpressionVisitor<Data, void, Precedence | 0> {
+    sql: string;
+    private needsSpace;
+    addExpression(expr: SqlExpression<Data>, precedence?: Precedence | 0): void;
+    private space;
+    addLexeme(text: string, options?: {
+        spaceLeft?: boolean;
+        spaceRight?: boolean;
+    }): number;
+    identifier(name: string): void;
+    private string;
+    private commaSeparated;
+    private parenthesis;
+    private maybeParenthesis;
+    visitExternalData(_expr: ExternalData<Data>): void;
+    visitUnaryExpression(expr: UnaryExpression<Data>, outerPrecedence: Precedence | 0): void;
+    visitBinaryExpression(expr: BinaryExpression<Data>, outerPrecedence: Precedence | 0): void;
+    visitBetweenExpression(expr: BetweenExpression<Data>, outerPrecedence: 0 | Precedence): void;
+    visitScalarInExpression(expr: ScalarInExpression<Data>, arg: Precedence | 0): void;
+    visitCaseWhenExpression(expr: CaseWhenExpression<Data>, arg: Precedence | 0): void;
+    visitCastExpression(expr: CastExpression<Data>, arg: Precedence | 0): void;
+    visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<Data>, arg: Precedence | 0): void;
+    visitLiteralExpression(expr: LiteralExpression, arg: Precedence | 0): void;
+    static toSqlite(expr: SqlExpression<unknown>): string;
+}
+export declare enum Precedence {
+    or = 1,
+    and = 2,
+    not = 3,
+    equals = 4,
+    comparison = 5,
+    binary = 6,
+    addition = 7,
+    multiplication = 8,
+    concat = 9,
+    collate = 10,
+    unary = 11
+}

package/dist/sync_plan/expression_to_sql.js

@@ -0,0 +1,190 @@
+import { visitExpr } from './expression_visitor.js';
+/**
+ * Renders {@link SqlExpression}s into SQL text supported by SQLite.
+ */
+export class ExpressionToSqlite {
+    sql = '';
+    needsSpace = false;
+    addExpression(expr, precedence = 0) {
+        visitExpr(this, expr, precedence);
+    }
+    space() {
+        this.sql += ' ';
+    }
+    addLexeme(text, options) {
+        const spaceLeft = options?.spaceLeft ?? true;
+        const spaceRight = options?.spaceRight ?? true;
+        if (this.needsSpace && spaceLeft) {
+            this.space();
+        }
+        const startOffset = this.sql.length;
+        this.sql += text;
+        this.needsSpace = spaceRight;
+        return startOffset;
+    }
+    identifier(name) {
+        this.addLexeme(`"${name.replaceAll('"', '""')}"`);
+    }
+    string(name) {
+        this.addLexeme(`'${name.replaceAll("'", "''")}'`);
+    }
+    commaSeparated(exprList) {
+        let first = true;
+        for (const expr of exprList) {
+            if (!first) {
+                this.addLexeme(',', { spaceLeft: false });
+            }
+            this.addExpression(expr);
+            first = false;
+        }
+    }
+    parenthesis(inner) {
+        this.addLexeme('(', { spaceRight: false });
+        inner();
+        this.addLexeme(')', { spaceLeft: false });
+    }
+    maybeParenthesis(outerPrecedence, innerPrecedence, inner) {
+        if (outerPrecedence > innerPrecedence) {
+            this.parenthesis(inner);
+        }
+        else {
+            inner();
+        }
+    }
+    visitExternalData(_expr) {
+        this.addLexeme('?');
+    }
+    visitUnaryExpression(expr, outerPrecedence) {
+        const innerPrecedence = unaryPrecedence[expr.operator];
+        this.maybeParenthesis(outerPrecedence, innerPrecedence, () => {
+            this.addLexeme(expr.operator);
+            this.addExpression(expr.operand, innerPrecedence);
+        });
+    }
+    visitBinaryExpression(expr, outerPrecedence) {
+        const innerPrecedence = binaryPrecedence[expr.operator];
+        this.maybeParenthesis(outerPrecedence, innerPrecedence, () => {
+            this.addExpression(expr.left, innerPrecedence);
+            this.addLexeme(expr.operator);
+            this.addExpression(expr.right, innerPrecedence);
+        });
+    }
+    visitBetweenExpression(expr, outerPrecedence) {
+        const innerPrecedence = Precedence.equals;
+        this.maybeParenthesis(outerPrecedence, innerPrecedence, () => {
+            this.addExpression(expr.value, Precedence.equals);
+            this.addLexeme('BETWEEN');
+            this.addExpression(expr.low, Precedence.equals);
+            this.addLexeme('AND');
+            this.addExpression(expr.high, Precedence.equals);
+        });
+    }
+    visitScalarInExpression(expr, arg) {
+        if (expr.in.length == 0) {
+            // x IN () is invalid, but it can't be true either way.
+            this.addLexeme('FALSE');
+            return;
+        }
+        this.maybeParenthesis(arg, Precedence.equals, () => {
+            this.addExpression(expr.target, Precedence.equals);
+            this.addLexeme('IN');
+            this.parenthesis(() => this.commaSeparated(expr.in));
+        });
+    }
+    visitCaseWhenExpression(expr, arg) {
+        this.addLexeme('CASE');
+        if (expr.operand) {
+            this.addExpression(expr.operand);
+        }
+        for (const when of expr.whens) {
+            this.addLexeme('WHEN');
+            this.addExpression(when.when);
+            this.addLexeme('THEN');
+            this.addExpression(when.then);
+        }
+        if (expr.else) {
+            this.addLexeme('ELSE');
+            this.addExpression(expr.else);
+        }
+        this.addLexeme('END');
+    }
+    visitCastExpression(expr, arg) {
+        this.addLexeme('CAST(', { spaceRight: false });
+        this.addExpression(expr.operand);
+        this.addLexeme('AS');
+        this.addLexeme(expr.cast_as);
+        this.addLexeme(')', { spaceLeft: false });
+    }
+    visitScalarFunctionCallExpression(expr, arg) {
+        this.identifier(expr.function);
+        this.addLexeme('(', { spaceLeft: false, spaceRight: false });
+        this.commaSeparated(expr.parameters);
+        this.addLexeme(')', { spaceLeft: false });
+    }
+    visitLiteralExpression(expr, arg) {
+        if (expr.type == 'lit_null') {
+            this.addLexeme('NULL');
+        }
+        else if (expr.type == 'lit_double') {
+            let lexeme = expr.value.toString();
+            if (Number.isInteger(expr.value)) {
+                // If we have a double value that happens to be an integer, we still want to treat that as a double in SQLite.
+                lexeme += '.0';
+            }
+            this.addLexeme(lexeme);
+        }
+        else if (expr.type == 'lit_int') {
+            this.addLexeme(expr.base10);
+        }
+        else {
+            this.string(expr.value);
+        }
+    }
+    static toSqlite(expr) {
+        const visitor = new ExpressionToSqlite();
+        visitor.addExpression(expr);
+        return visitor.sql;
+    }
+}
+export var Precedence;
+(function (Precedence) {
+    Precedence[Precedence["or"] = 1] = "or";
+    Precedence[Precedence["and"] = 2] = "and";
+    Precedence[Precedence["not"] = 3] = "not";
+    Precedence[Precedence["equals"] = 4] = "equals";
+    Precedence[Precedence["comparison"] = 5] = "comparison";
+    Precedence[Precedence["binary"] = 6] = "binary";
+    Precedence[Precedence["addition"] = 7] = "addition";
+    Precedence[Precedence["multiplication"] = 8] = "multiplication";
+    Precedence[Precedence["concat"] = 9] = "concat";
+    Precedence[Precedence["collate"] = 10] = "collate";
+    Precedence[Precedence["unary"] = 11] = "unary";
+})(Precedence || (Precedence = {}));
+// https://www.sqlite.org/lang_expr.html#operators_and_parse_affecting_attributes
+const binaryPrecedence = {
+    or: Precedence.or,
+    and: Precedence.and,
+    '=': Precedence.equals,
+    is: Precedence.equals,
+    '<': Precedence.comparison,
+    '>': Precedence.comparison,
+    '<=': Precedence.comparison,
+    '>=': Precedence.comparison,
+    '&': Precedence.binary,
+    '|': Precedence.binary,
+    '<<': Precedence.binary,
+    '>>': Precedence.binary,
+    '+': Precedence.addition,
+    '-': Precedence.addition,
+    '*': Precedence.multiplication,
+    '/': Precedence.multiplication,
+    '%': Precedence.multiplication,
+    '||': Precedence.concat
+};
+const unaryPrecedence = {
+    not: Precedence.not,
+    //'~': Precedence.unary,
+    '+': Precedence.unary
+    //'-': Precedence.unary
+};
+//# sourceMappingURL=expression_to_sql.js.map

package/dist/sync_plan/expression_to_sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression_to_sql.js","sourceRoot":"","sources":["../../src/sync_plan/expression_to_sql.ts"],"names":[],"mappings":"AAcA,OAAO,EAAqB,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEvE;;GAEG;AACH,MAAM,OAAO,kBAAkB;IAC7B,GAAG,GAAG,EAAE,CAAC;IAED,UAAU,GAAG,KAAK,CAAC;IAE3B,aAAa,CAAC,IAAyB,EAAE,aAA6B,CAAC;QACrE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACpC,CAAC;IAEO,KAAK;QACX,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC;IAClB,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,OAAuD;QAC7E,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,IAAI,IAAI,CAAC;QAC7C,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC;QAE/C,IAAI,IAAI,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC;QACjB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAEO,MAAM,CAAC,IAAY;QACzB,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAEO,cAAc,CAAC,QAAuC;QAC5D,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5C,CAAC;YAED,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACzB,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,KAAiB;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3C,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IAEO,gBAAgB,CAAC,eAA+B,EAAE,eAA2B,EAAE,KAAiB;QACtG,IAAI,eAAe,GAAG,eAAe,EAAE,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IAED,iBAAiB,CAAC,KAAyB;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IAED,oBAAoB,CAAC,IAA2B,EAAE,eAA+B;QAC/E,MAAM,eAAe,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE;YAC3D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,qBAAqB,CAAC,IAA4B,EAAE,eAA+B;QACjF,MAAM,eAAe,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE;YAC3D,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC/C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,IAA6B,EAAE,eAA+B;QACnF,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE;YAC3D,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YAChD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACtB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB,CAAC,IAA8B,EAAE,GAAmB;QACzE,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACxB,uDAAuD;YACvD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QAED,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE;YACjD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB,CAAC,IAA8B,EAAE,GAAmB;QACzE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACvB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,mBAAmB,CAAC,IAA0B,EAAE,GAAmB;QACjE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,iCAAiC,CAAC,IAAwC,EAAE,GAAmB;QAC7F,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,sBAAsB,CAAC,IAAuB,EAAE,GAAmB;QACjE,IAAI,IAAI,CAAC,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;YACrC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnC,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,8GAA8G;gBAC9G,MAAM,IAAI,IAAI,CAAC;YACjB,CAAC;YAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAA4B;QAC1C,MAAM,OAAO,GAAG,IAAI,kBAAkB,EAAW,CAAC;QAClD,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,OAAO,CAAC,GAAG,CAAC;IACrB,CAAC;CACF;AAED,MAAM,CAAN,IAAY,UAYX;AAZD,WAAY,UAAU;IACpB,uCAAM,CAAA;IACN,yCAAO,CAAA;IACP,yCAAO,CAAA;IACP,+CAAU,CAAA;IACV,uDAAc,CAAA;IACd,+CAAU,CAAA;IACV,mDAAY,CAAA;IACZ,+DAAkB,CAAA;IAClB,+CAAU,CAAA;IACV,kDAAY,CAAA;IACZ,8CAAU,CAAA;AACZ,CAAC,EAZW,UAAU,KAAV,UAAU,QAYrB;AAED,iFAAiF;AACjF,MAAM,gBAAgB,GAAuC;IAC3D,EAAE,EAAE,UAAU,CAAC,EAAE;IACjB,GAAG,EAAE,UAAU,CAAC,GAAG;IACnB,GAAG,EAAE,UAAU,CAAC,MAAM;IACtB,EAAE,EAAE,UAAU,CAAC,MAAM;IACrB,GAAG,EAAE,UAAU,CAAC,UAAU;IAC1B,GAAG,EAAE,UAAU,CAAC,UAAU;IAC1B,IAAI,EAAE,UAAU,CAAC,UAAU;IAC3B,IAAI,EAAE,UAAU,CAAC,UAAU;IAC3B,GAAG,EAAE,UAAU,CAAC,MAAM;IACtB,GAAG,EAAE,UAAU,CAAC,MAAM;IACtB,IAAI,EAAE,UAAU,CAAC,MAAM;IACvB,IAAI,EAAE,UAAU,CAAC,MAAM;IACvB,GAAG,EAAE,UAAU,CAAC,QAAQ;IACxB,GAAG,EAAE,UAAU,CAAC,QAAQ;IACxB,GAAG,EAAE,UAAU,CAAC,cAAc;IAC9B,GAAG,EAAE,UAAU,CAAC,cAAc;IAC9B,GAAG,EAAE,UAAU,CAAC,cAAc;IAC9B,IAAI,EAAE,UAAU,CAAC,MAAM;CACxB,CAAC;AAEF,MAAM,eAAe,GAAsC;IACzD,GAAG,EAAE,UAAU,CAAC,GAAG;IACnB,wBAAwB;IACxB,GAAG,EAAE,UAAU,CAAC,KAAK;IACrB,uBAAuB;CACxB,CAAC"}

package/dist/sync_plan/expression_visitor.d.ts

@@ -0,0 +1,57 @@
+import { BetweenExpression, BinaryExpression, CaseWhenExpression, CastExpression, ExternalData, LiteralExpression, ScalarFunctionCallExpression, ScalarInExpression, SqlExpression, UnaryExpression } from './expression.js';
+/**
+ * Callbacks for each type of SQL expression we support.
+ *
+ * The {@link visit} function can be used to call the appropriate callback given an expression.
+ */
+export interface ExpressionVisitor<Data, R, Arg = undefined> {
+    visitExternalData(expr: ExternalData<Data>, arg: Arg): R;
+    visitUnaryExpression(expr: UnaryExpression<Data>, arg: Arg): R;
+    visitBinaryExpression(expr: BinaryExpression<Data>, arg: Arg): R;
+    visitBetweenExpression(expr: BetweenExpression<Data>, arg: Arg): R;
+    visitScalarInExpression(expr: ScalarInExpression<Data>, arg: Arg): R;
+    visitCaseWhenExpression(expr: CaseWhenExpression<Data>, arg: Arg): R;
+    visitCastExpression(expr: CastExpression<Data>, arg: Arg): R;
+    visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<Data>, arg: Arg): R;
+    visitLiteralExpression(expr: LiteralExpression, arg: Arg): R;
+}
+/**
+ * Invokes the appropriate visit method for the given expression.
+ */
+export declare function visitExpr<Data, R, Arg>(visitor: ExpressionVisitor<Data, R, Arg>, expr: SqlExpression<Data>, arg: Arg): R;
+/**
+ * A utility for traversing through a {@link SqlExpression} tree.
+ */
+export declare abstract class RecursiveExpressionVisitor<Data, R, Arg = undefined> implements ExpressionVisitor<Data, R, Arg> {
+    abstract defaultExpression(expr: SqlExpression<Data>, arg: Arg): R;
+    /**
+     * Invokes the appropriate visit method for the given expression.
+     */
+    visit(expr: SqlExpression<Data>, arg: Arg): R;
+    visitChildren(expr: SqlExpression<Data>, arg: Arg): void;
+    visitExternalData(expr: ExternalData<Data>, arg: Arg): R;
+    visitUnaryExpression(expr: UnaryExpression<Data>, arg: Arg): R;
+    visitBinaryExpression(expr: BinaryExpression<Data>, arg: Arg): R;
+    visitBetweenExpression(expr: BetweenExpression<Data>, arg: Arg): R;
+    visitScalarInExpression(expr: ScalarInExpression<Data>, arg: Arg): R;
+    visitCaseWhenExpression(expr: CaseWhenExpression<Data>, arg: Arg): R;
+    visitCastExpression(expr: CastExpression<Data>, arg: Arg): R;
+    visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<Data>, arg: Arg): R;
+    visitLiteralExpression(expr: LiteralExpression, arg: Arg): R;
+}
+/**
+ * A visitor applying a mapping function to external data references in expressions.
+ */
+export declare class MapSourceVisitor<DataIn, DataOut> implements ExpressionVisitor<DataIn, SqlExpression<DataOut>> {
+    private readonly map;
+    constructor(map: (a: DataIn) => DataOut);
+    visitExternalData(expr: ExternalData<DataIn>): SqlExpression<DataOut>;
+    visitUnaryExpression(expr: UnaryExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
+    visitBinaryExpression(expr: BinaryExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
+    visitBetweenExpression(expr: BetweenExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
+    visitScalarInExpression(expr: ScalarInExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
+    visitCaseWhenExpression(expr: CaseWhenExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
+    visitCastExpression(expr: CastExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
+    visitScalarFunctionCallExpression(expr: ScalarFunctionCallExpression<DataIn>, arg: undefined): SqlExpression<DataOut>;
+    visitLiteralExpression(expr: LiteralExpression, arg: undefined): SqlExpression<DataOut>;
+}