zenstack 1.0.16 → 1.1.0

package/utils/typescript-expression-transformer.js

@@ -0,0 +1,326 @@
+"use strict";
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeScriptExpressionTransformer = exports.TypeScriptExpressionTransformerError = void 0;
+const ast_1 = require("@zenstackhq/language/ast");
+const sdk_1 = require("@zenstackhq/sdk");
+const ts_pattern_1 = require("ts-pattern");
+const ast_utils_1 = require("./ast-utils");
+class TypeScriptExpressionTransformerError extends Error {
+    constructor(message) {
+        super(message);
+    }
+}
+exports.TypeScriptExpressionTransformerError = TypeScriptExpressionTransformerError;
+// a registry of function handlers marked with @func
+const functionHandlers = new Map();
+// function handler decorator
+function func(name) {
+    return function (target, propertyKey, descriptor) {
+        if (!functionHandlers.get(name)) {
+            functionHandlers.set(name, descriptor);
+        }
+        return descriptor;
+    };
+}
+/**
+ * Transforms ZModel expression to plain TypeScript expression.
+ */
+class TypeScriptExpressionTransformer {
+    /**
+     * Constructs a new TypeScriptExpressionTransformer.
+     *
+     * @param isPostGuard indicates if we're writing for post-update conditions
+     */
+    constructor(options) {
+        this.options = options;
+    }
+    /**
+     * Transforms the given expression to a TypeScript expression.
+     * @param normalizeUndefined if undefined values should be normalized to null
+     * @returns
+     */
+    transform(expr, normalizeUndefined = true) {
+        switch (expr.$type) {
+            case ast_1.StringLiteral:
+            case ast_1.NumberLiteral:
+            case ast_1.BooleanLiteral:
+                return this.literal(expr);
+            case ast_1.ArrayExpr:
+                return this.array(expr, normalizeUndefined);
+            case ast_1.NullExpr:
+                return this.null();
+            case ast_1.ThisExpr:
+                return this.this(expr);
+            case ast_1.ReferenceExpr:
+                return this.reference(expr);
+            case ast_1.InvocationExpr:
+                return this.invocation(expr, normalizeUndefined);
+            case ast_1.MemberAccessExpr:
+                return this.memberAccess(expr, normalizeUndefined);
+            case ast_1.UnaryExpr:
+                return this.unary(expr, normalizeUndefined);
+            case ast_1.BinaryExpr:
+                return this.binary(expr, normalizeUndefined);
+            default:
+                throw new TypeScriptExpressionTransformerError(`Unsupported expression type: ${expr.$type}`);
+        }
+    }
+    this(_expr) {
+        // "this" is mapped to the input argument
+        return 'input';
+    }
+    memberAccess(expr, normalizeUndefined) {
+        var _a;
+        if (!expr.member.ref) {
+            throw new TypeScriptExpressionTransformerError(`Unresolved MemberAccessExpr`);
+        }
+        if ((0, ast_1.isThisExpr)(expr.operand)) {
+            return expr.member.ref.name;
+        }
+        else if ((0, sdk_1.isFutureExpr)(expr.operand)) {
+            if (((_a = this.options) === null || _a === void 0 ? void 0 : _a.isPostGuard) !== true) {
+                throw new TypeScriptExpressionTransformerError(`future() is only supported in postUpdate rules`);
+            }
+            return expr.member.ref.name;
+        }
+        else {
+            if (normalizeUndefined) {
+                // normalize field access to null instead of undefined to avoid accidentally use undefined in filter
+                return `(${this.transform(expr.operand, normalizeUndefined)}?.${expr.member.ref.name} ?? null)`;
+            }
+            else {
+                return `${this.transform(expr.operand, normalizeUndefined)}?.${expr.member.ref.name}`;
+            }
+        }
+    }
+    invocation(expr, normalizeUndefined) {
+        if (!expr.function.ref) {
+            throw new TypeScriptExpressionTransformerError(`Unresolved InvocationExpr`);
+        }
+        const funcName = expr.function.ref.name;
+        const isStdFunc = (0, sdk_1.isFromStdlib)(expr.function.ref);
+        if (!isStdFunc) {
+            throw new TypeScriptExpressionTransformerError('User-defined functions are not supported yet');
+        }
+        const handler = functionHandlers.get(funcName);
+        if (!handler) {
+            throw new TypeScriptExpressionTransformerError(`Unsupported function: ${funcName}`);
+        }
+        const args = expr.args.map((arg) => arg.value);
+        return handler.value.call(this, args, normalizeUndefined);
+    }
+    // #region function invocation handlers
+    // arguments have been type-checked
+    _auth() {
+        return 'user';
+    }
+    _now() {
+        return `(new Date())`;
+    }
+    _length(args) {
+        const field = this.transform(args[0], false);
+        const min = (0, sdk_1.getLiteral)(args[1]);
+        const max = (0, sdk_1.getLiteral)(args[2]);
+        let result;
+        if (min === undefined) {
+            result = `(${field}?.length > 0)`;
+        }
+        else if (max === undefined) {
+            result = `(${field}?.length >= ${min})`;
+        }
+        else {
+            result = `(${field}?.length >= ${min} && ${field}?.length <= ${max})`;
+        }
+        return this.ensureBoolean(result);
+    }
+    _contains(args, normalizeUndefined) {
+        const field = this.transform(args[0], false);
+        const caseInsensitive = (0, sdk_1.getLiteral)(args[2]) === true;
+        let result;
+        if (caseInsensitive) {
+            result = `${field}?.toLowerCase().includes(${this.transform(args[1], normalizeUndefined)}?.toLowerCase())`;
+        }
+        else {
+            result = `${field}?.includes(${this.transform(args[1], normalizeUndefined)})`;
+        }
+        return this.ensureBoolean(result);
+    }
+    _startsWith(args, normalizeUndefined) {
+        const field = this.transform(args[0], false);
+        const result = `${field}?.startsWith(${this.transform(args[1], normalizeUndefined)})`;
+        return this.ensureBoolean(result);
+    }
+    _endsWith(args, normalizeUndefined) {
+        const field = this.transform(args[0], false);
+        const result = `${field}?.endsWith(${this.transform(args[1], normalizeUndefined)})`;
+        return this.ensureBoolean(result);
+    }
+    _regex(args) {
+        const field = this.transform(args[0], false);
+        const pattern = (0, sdk_1.getLiteral)(args[1]);
+        return `new RegExp(${JSON.stringify(pattern)}).test(${field})`;
+    }
+    _email(args) {
+        const field = this.transform(args[0], false);
+        return `z.string().email().safeParse(${field}).success`;
+    }
+    _datetime(args) {
+        const field = this.transform(args[0], false);
+        return `z.string().datetime({ offset: true }).safeParse(${field}).success`;
+    }
+    _url(args) {
+        const field = this.transform(args[0], false);
+        return `z.string().url().safeParse(${field}).success`;
+    }
+    _has(args, normalizeUndefined) {
+        const field = this.transform(args[0], false);
+        const result = `${field}?.includes(${this.transform(args[1], normalizeUndefined)})`;
+        return this.ensureBoolean(result);
+    }
+    _hasEvery(args, normalizeUndefined) {
+        const field = this.transform(args[0], false);
+        const result = `${this.transform(args[1], normalizeUndefined)}?.every((item) => ${field}?.includes(item))`;
+        return this.ensureBoolean(result);
+    }
+    _hasSome(args, normalizeUndefined) {
+        const field = this.transform(args[0], false);
+        const result = `${this.transform(args[1], normalizeUndefined)}?.some((item) => ${field}?.includes(item))`;
+        return this.ensureBoolean(result);
+    }
+    _isEmpty(args) {
+        const field = this.transform(args[0], false);
+        const result = `(!${field} || ${field}?.length === 0)`;
+        return this.ensureBoolean(result);
+    }
+    ensureBoolean(expr) {
+        return `(${expr} ?? false)`;
+    }
+    // #endregion
+    reference(expr) {
+        var _a, _b;
+        if (!expr.target.ref) {
+            throw new TypeScriptExpressionTransformerError(`Unresolved ReferenceExpr`);
+        }
+        if ((0, ast_1.isEnumField)(expr.target.ref)) {
+            return `${expr.target.ref.$container.name}.${expr.target.ref.name}`;
+        }
+        else {
+            if ((_a = this.options) === null || _a === void 0 ? void 0 : _a.isPostGuard) {
+                // if we're processing post-update, any direct field access should be
+                // treated as access to context.preValue, which is entity's value before
+                // the update
+                return `context.preValue?.${expr.target.ref.name}`;
+            }
+            else {
+                return ((_b = this.options) === null || _b === void 0 ? void 0 : _b.fieldReferenceContext)
+                    ? `${this.options.fieldReferenceContext}?.${expr.target.ref.name}`
+                    : expr.target.ref.name;
+            }
+        }
+    }
+    null() {
+        return 'null';
+    }
+    array(expr, normalizeUndefined) {
+        return `[${expr.items.map((item) => this.transform(item, normalizeUndefined)).join(', ')}]`;
+    }
+    literal(expr) {
+        if (expr.$type === ast_1.StringLiteral) {
+            return `'${expr.value}'`;
+        }
+        else {
+            return expr.value.toString();
+        }
+    }
+    unary(expr, normalizeUndefined) {
+        return `(${expr.operator} ${this.transform(expr.operand, normalizeUndefined)})`;
+    }
+    binary(expr, normalizeUndefined) {
+        const _default = `(${this.transform(expr.left, normalizeUndefined)} ${expr.operator} ${this.transform(expr.right, normalizeUndefined)})`;
+        return (0, ts_pattern_1.match)(expr.operator)
+            .with('in', () => `(${this.transform(expr.right, false)}?.includes(${this.transform(expr.left, normalizeUndefined)}) ?? false)`)
+            .with(ts_pattern_1.P.union('==', '!='), () => {
+            var _a;
+            if ((0, ast_1.isThisExpr)(expr.left) || (0, ast_1.isThisExpr)(expr.right)) {
+                // map equality comparison with `this` to id comparison
+                const _this = (0, ast_1.isThisExpr)(expr.left) ? expr.left : expr.right;
+                const model = (_a = _this.$resolvedType) === null || _a === void 0 ? void 0 : _a.decl;
+                const idFields = (0, ast_utils_1.getIdFields)(model);
+                if (!idFields || idFields.length === 0) {
+                    throw new TypeScriptExpressionTransformerError(`model "${model.name}" does not have an id field`);
+                }
+                let result = `allFieldsEqual(${this.transform(expr.left, false)}, 
+                ${this.transform(expr.right, false)}, [${idFields.map((f) => "'" + f.name + "'").join(', ')}])`;
+                if (expr.operator === '!=') {
+                    result = `!${result}`;
+                }
+                return result;
+            }
+            else {
+                return _default;
+            }
+        })
+            .with(ts_pattern_1.P.union('?', '!', '^'), (op) => this.collectionPredicate(expr, op, normalizeUndefined))
+            .otherwise(() => _default);
+    }
+    collectionPredicate(expr, operator, normalizeUndefined) {
+        const operand = this.transform(expr.left, normalizeUndefined);
+        const innerTransformer = new TypeScriptExpressionTransformer(Object.assign(Object.assign({}, this.options), { fieldReferenceContext: '_item' }));
+        const predicate = innerTransformer.transform(expr.right, normalizeUndefined);
+        return (0, ts_pattern_1.match)(operator)
+            .with('?', () => `!!((${operand})?.some((_item: any) => ${predicate}))`)
+            .with('!', () => `!!((${operand})?.every((_item: any) => ${predicate}))`)
+            .with('^', () => `!((${operand})?.some((_item: any) => ${predicate}))`)
+            .exhaustive();
+    }
+}
+__decorate([
+    func('auth')
+], TypeScriptExpressionTransformer.prototype, "_auth", null);
+__decorate([
+    func('now')
+], TypeScriptExpressionTransformer.prototype, "_now", null);
+__decorate([
+    func('length')
+], TypeScriptExpressionTransformer.prototype, "_length", null);
+__decorate([
+    func('contains')
+], TypeScriptExpressionTransformer.prototype, "_contains", null);
+__decorate([
+    func('startsWith')
+], TypeScriptExpressionTransformer.prototype, "_startsWith", null);
+__decorate([
+    func('endsWith')
+], TypeScriptExpressionTransformer.prototype, "_endsWith", null);
+__decorate([
+    func('regex')
+], TypeScriptExpressionTransformer.prototype, "_regex", null);
+__decorate([
+    func('email')
+], TypeScriptExpressionTransformer.prototype, "_email", null);
+__decorate([
+    func('datetime')
+], TypeScriptExpressionTransformer.prototype, "_datetime", null);
+__decorate([
+    func('url')
+], TypeScriptExpressionTransformer.prototype, "_url", null);
+__decorate([
+    func('has')
+], TypeScriptExpressionTransformer.prototype, "_has", null);
+__decorate([
+    func('hasEvery')
+], TypeScriptExpressionTransformer.prototype, "_hasEvery", null);
+__decorate([
+    func('hasSome')
+], TypeScriptExpressionTransformer.prototype, "_hasSome", null);
+__decorate([
+    func('isEmpty')
+], TypeScriptExpressionTransformer.prototype, "_isEmpty", null);
+exports.TypeScriptExpressionTransformer = TypeScriptExpressionTransformer;
+//# sourceMappingURL=typescript-expression-transformer.js.map

package/utils/typescript-expression-transformer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-expression-transformer.js","sourceRoot":"","sources":["../../src/utils/typescript-expression-transformer.ts"],"names":[],"mappings":";;;;;;;;;AAAA,kDAiBkC;AAClC,yCAA4F;AAC5F,2CAAsC;AACtC,2CAA0C;AAE1C,MAAa,oCAAqC,SAAQ,KAAK;IAC3D,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;CACJ;AAJD,oFAIC;AAQD,oDAAoD;AACpD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;AAE/D,6BAA6B;AAC7B,SAAS,IAAI,CAAC,IAAY;IACtB,OAAO,UAAU,MAAe,EAAE,WAAmB,EAAE,UAA8B;QACjF,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YAC7B,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;SAC1C;QACD,OAAO,UAAU,CAAC;IACtB,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,MAAa,+BAA+B;IACxC;;;;OAIG;IACH,YAA6B,OAAgB;QAAhB,YAAO,GAAP,OAAO,CAAS;IAAG,CAAC;IAEjD;;;;OAIG;IACH,SAAS,CAAC,IAAgB,EAAE,kBAAkB,GAAG,IAAI;QACjD,QAAQ,IAAI,CAAC,KAAK,EAAE;YAChB,KAAK,mBAAa,CAAC;YACnB,KAAK,mBAAa,CAAC;YACnB,KAAK,oBAAc;gBACf,OAAO,IAAI,CAAC,OAAO,CAAC,IAAmB,CAAC,CAAC;YAE7C,KAAK,eAAS;gBACV,OAAO,IAAI,CAAC,KAAK,CAAC,IAAiB,EAAE,kBAAkB,CAAC,CAAC;YAE7D,KAAK,cAAQ;gBACT,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;YAEvB,KAAK,cAAQ;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,IAAgB,CAAC,CAAC;YAEvC,KAAK,mBAAa;gBACd,OAAO,IAAI,CAAC,SAAS,CAAC,IAAqB,CAAC,CAAC;YAEjD,KAAK,oBAAc;gBACf,OAAO,IAAI,CAAC,UAAU,CAAC,IAAsB,EAAE,kBAAkB,CAAC,CAAC;YAEvE,KAAK,sBAAgB;gBACjB,OAAO,IAAI,CAAC,YAAY,CAAC,IAAwB,EAAE,kBAAkB,CAAC,CAAC;YAE3E,KAAK,eAAS;gBACV,OAAO,IAAI,CAAC,KAAK,CAAC,IAAiB,EAAE,kBAAkB,CAAC,CAAC;YAE7D,KAAK,gBAAU;gBACX,OAAO,IAAI,CAAC,MAAM,CAAC,IAAkB,EAAE,kBAAkB,CAAC,CAAC;YAE/D;gBACI,MAAM,IAAI,oCAAoC,CAAC,gCAAgC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;SACpG;IACL,CAAC;IAEO,IAAI,CAAC,KAAe;QACxB,yCAAyC;QACzC,OAAO,OAAO,CAAC;IACnB,CAAC;IAEO,YAAY,CAAC,IAAsB,EAAE,kBAA2B;;QACpE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE;YAClB,MAAM,IAAI,oCAAoC,CAAC,6BAA6B,CAAC,CAAC;SACjF;QAED,IAAI,IAAA,gBAAU,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;SAC/B;aAAM,IAAI,IAAA,kBAAY,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YACnC,IAAI,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,WAAW,MAAK,IAAI,EAAE;gBACpC,MAAM,IAAI,oCAAoC,CAAC,gDAAgD,CAAC,CAAC;aACpG;YACD,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;SAC/B;aAAM;YACH,IAAI,kBAAkB,EAAE;gBACpB,oGAAoG;gBACpG,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,kBAAkB,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC;aACnG;iBAAM;gBACH,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,kBAAkB,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;aACzF;SACJ;IACL,CAAC;IAEO,UAAU,CAAC,IAAoB,EAAE,kBAA2B;QAChE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE;YACpB,MAAM,IAAI,oCAAoC,CAAC,2BAA2B,CAAC,CAAC;SAC/E;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QACxC,MAAM,SAAS,GAAG,IAAA,kBAAY,EAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAElD,IAAI,CAAC,SAAS,EAAE;YACZ,MAAM,IAAI,oCAAoC,CAAC,8CAA8C,CAAC,CAAC;SAClG;QAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,EAAE;YACV,MAAM,IAAI,oCAAoC,CAAC,yBAAyB,QAAQ,EAAE,CAAC,CAAC;SACvF;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC9D,CAAC;IAED,uCAAuC;IAEvC,mCAAmC;IAG3B,KAAK;QACT,OAAO,MAAM,CAAC;IAClB,CAAC;IAGO,IAAI;QACR,OAAO,cAAc,CAAC;IAC1B,CAAC;IAGO,OAAO,CAAC,IAAkB;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,MAAc,CAAC;QACnB,IAAI,GAAG,KAAK,SAAS,EAAE;YACnB,MAAM,GAAG,IAAI,KAAK,eAAe,CAAC;SACrC;aAAM,IAAI,GAAG,KAAK,SAAS,EAAE;YAC1B,MAAM,GAAG,IAAI,KAAK,eAAe,GAAG,GAAG,CAAC;SAC3C;aAAM;YACH,MAAM,GAAG,IAAI,KAAK,eAAe,GAAG,OAAO,KAAK,eAAe,GAAG,GAAG,CAAC;SACzE;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGO,SAAS,CAAC,IAAkB,EAAE,kBAA2B;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,eAAe,GAAG,IAAA,gBAAU,EAAU,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAC9D,IAAI,MAAc,CAAC;QACnB,IAAI,eAAe,EAAE;YACjB,MAAM,GAAG,GAAG,KAAK,4BAA4B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;SAC9G;aAAM;YACH,MAAM,GAAG,GAAG,KAAK,cAAc,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC;SACjF;QACD,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGO,WAAW,CAAC,IAAkB,EAAE,kBAA2B;QAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,KAAK,gBAAgB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC;QACtF,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGO,SAAS,CAAC,IAAkB,EAAE,kBAA2B;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,KAAK,cAAc,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC;QACpF,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGO,MAAM,CAAC,IAAkB;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAA,gBAAU,EAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,OAAO,cAAc,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,KAAK,GAAG,CAAC;IACnE,CAAC;IAGO,MAAM,CAAC,IAAkB;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,gCAAgC,KAAK,WAAW,CAAC;IAC5D,CAAC;IAGO,SAAS,CAAC,IAAkB;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,mDAAmD,KAAK,WAAW,CAAC;IAC/E,CAAC;IAGO,IAAI,CAAC,IAAkB;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,8BAA8B,KAAK,WAAW,CAAC;IAC1D,CAAC;IAGO,IAAI,CAAC,IAAkB,EAAE,kBAA2B;QACxD,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,KAAK,cAAc,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC;QACpF,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGO,SAAS,CAAC,IAAkB,EAAE,kBAA2B;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,qBAAqB,KAAK,mBAAmB,CAAC;QAC3G,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGO,QAAQ,CAAC,IAAkB,EAAE,kBAA2B;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,oBAAoB,KAAK,mBAAmB,CAAC;QAC1G,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGO,QAAQ,CAAC,IAAkB;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,KAAK,KAAK,OAAO,KAAK,iBAAiB,CAAC;QACvD,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAEO,aAAa,CAAC,IAAY;QAC9B,OAAO,IAAI,IAAI,YAAY,CAAC;IAChC,CAAC;IAED,aAAa;IAEL,SAAS,CAAC,IAAmB;;QACjC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE;YAClB,MAAM,IAAI,oCAAoC,CAAC,0BAA0B,CAAC,CAAC;SAC9E;QAED,IAAI,IAAA,iBAAW,EAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;YAC9B,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;SACvE;aAAM;YACH,IAAI,MAAA,IAAI,CAAC,OAAO,0CAAE,WAAW,EAAE;gBAC3B,qEAAqE;gBACrE,wEAAwE;gBACxE,aAAa;gBACb,OAAO,qBAAqB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;aACtD;iBAAM;gBACH,OAAO,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,qBAAqB;oBACtC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;oBAClE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;aAC9B;SACJ;IACL,CAAC;IAEO,IAAI;QACR,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,KAAK,CAAC,IAAe,EAAE,kBAA2B;QACtD,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAChG,CAAC;IAEO,OAAO,CAAC,IAAiB;QAC7B,IAAI,IAAI,CAAC,KAAK,KAAK,mBAAa,EAAE;YAC9B,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;SAC5B;aAAM;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;SAChC;IACL,CAAC;IAEO,KAAK,CAAC,IAAe,EAAE,kBAA2B;QACtD,OAAO,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC;IACpF,CAAC;IAEO,MAAM,CAAC,IAAgB,EAAE,kBAA2B;QACxD,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,SAAS,CACjG,IAAI,CAAC,KAAK,EACV,kBAAkB,CACrB,GAAG,CAAC;QAEL,OAAO,IAAA,kBAAK,EAAC,IAAI,CAAC,QAAQ,CAAC;aACtB,IAAI,CACD,IAAI,EACJ,GAAG,EAAE,CACD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,cAAc,IAAI,CAAC,SAAS,CAC7D,IAAI,CAAC,IAAI,EACT,kBAAkB,CACrB,aAAa,CACrB;aACA,IAAI,CAAC,cAAC,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE;;YAC5B,IAAI,IAAA,gBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAA,gBAAU,EAAC,IAAI,CAAC,KAAK,CAAC,EAAE;gBACjD,uDAAuD;gBACvD,MAAM,KAAK,GAAG,IAAA,gBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7D,MAAM,KAAK,GAAG,MAAA,KAAK,CAAC,aAAa,0CAAE,IAAiB,CAAC;gBACrD,MAAM,QAAQ,GAAG,IAAA,uBAAW,EAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;oBACpC,MAAM,IAAI,oCAAoC,CAC1C,UAAU,KAAK,CAAC,IAAI,6BAA6B,CACpD,CAAC;iBACL;gBACD,IAAI,MAAM,GAAG,kBAAkB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;kBACjE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5F,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE;oBACxB,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;iBACzB;gBACD,OAAO,MAAM,CAAC;aACjB;iBAAM;gBACH,OAAO,QAAQ,CAAC;aACnB;QACL,CAAC,CAAC;aACD,IAAI,CAAC,cAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,kBAAkB,CAAC,CAAC;aAC5F,SAAS,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IAEO,mBAAmB,CAAC,IAAgB,EAAE,QAAyB,EAAE,kBAA2B;QAChG,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC9D,MAAM,gBAAgB,GAAG,IAAI,+BAA+B,iCACrD,IAAI,CAAC,OAAO,KACf,qBAAqB,EAAE,OAAO,IAChC,CAAC;QACH,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QAE7E,OAAO,IAAA,kBAAK,EAAC,QAAQ,CAAC;aACjB,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,OAAO,2BAA2B,SAAS,IAAI,CAAC;aACvE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,OAAO,4BAA4B,SAAS,IAAI,CAAC;aACxE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,OAAO,2BAA2B,SAAS,IAAI,CAAC;aACtE,UAAU,EAAE,CAAC;IACtB,CAAC;CACJ;AA9MG;IADC,IAAI,CAAC,MAAM,CAAC;4DAGZ;AAGD;IADC,IAAI,CAAC,KAAK,CAAC;2DAGX;AAGD;IADC,IAAI,CAAC,QAAQ,CAAC;8DAcd;AAGD;IADC,IAAI,CAAC,UAAU,CAAC;gEAWhB;AAGD;IADC,IAAI,CAAC,YAAY,CAAC;kEAKlB;AAGD;IADC,IAAI,CAAC,UAAU,CAAC;gEAKhB;AAGD;IADC,IAAI,CAAC,OAAO,CAAC;6DAKb;AAGD;IADC,IAAI,CAAC,OAAO,CAAC;6DAIb;AAGD;IADC,IAAI,CAAC,UAAU,CAAC;gEAIhB;AAGD;IADC,IAAI,CAAC,KAAK,CAAC;2DAIX;AAGD;IADC,IAAI,CAAC,KAAK,CAAC;2DAKX;AAGD;IADC,IAAI,CAAC,UAAU,CAAC;gEAKhB;AAGD;IADC,IAAI,CAAC,SAAS,CAAC;+DAKf;AAGD;IADC,IAAI,CAAC,SAAS,CAAC;+DAKf;AA7ML,0EAoTC"}

package/utils/version-utils.js

@@ -7,7 +7,13 @@ function getVersion() {
         return require('../package.json').version;
     }
     catch (_a) {
-        return require('../../package.json').version;
+        try {
+            // dev environment
+            return require('../../package.json').version;
+        }
+        catch (_b) {
+            return undefined;
+        }
     }
 }
 exports.getVersion = getVersion;

package/utils/version-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"version-utils.js","sourceRoot":"","sources":["../../src/utils/version-utils.ts"],"names":[],"mappings":";;;AAAA,uDAAuD;AACvD,SAAgB,UAAU;IACtB,IAAI;QACA,OAAO,OAAO,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC;KAC7C;IAAC,WAAM;QACJ,OAAO,OAAO,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC;KAChD;AACL,CAAC;AAND,gCAMC"}
+{"version":3,"file":"version-utils.js","sourceRoot":"","sources":["../../src/utils/version-utils.ts"],"names":[],"mappings":";;;AAAA,uDAAuD;AACvD,SAAgB,UAAU;IACtB,IAAI;QACA,OAAO,OAAO,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC;KAC7C;IAAC,WAAM;QACJ,IAAI;YACA,kBAAkB;YAClB,OAAO,OAAO,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC;SAChD;QAAC,WAAM;YACJ,OAAO,SAAS,CAAC;SACpB;KACJ;AACL,CAAC;AAXD,gCAWC"}

package/plugins/access-policy/typescript-expression-transformer.d.ts

@@ -1,26 +0,0 @@
-import { Expression } from '@zenstackhq/language/ast';
-/**
- * Transforms ZModel expression to plain TypeScript expression.
- */
-export default class TypeScriptExpressionTransformer {
-    private readonly isPostGuard;
-    /**
-     * Constructs a new TypeScriptExpressionTransformer.
-     *
-     * @param isPostGuard indicates if we're writing for post-update conditions
-     */
-    constructor(isPostGuard?: boolean);
-    /**
-     *
-     * @param expr
-     * @returns
-     */
-    transform(expr: Expression): string;
-    private this;
-    private memberAccess;
-    private invocation;
-    private reference;
-    private null;
-    private array;
-    private literal;
-}

package/plugins/access-policy/typescript-expression-transformer.js

@@ -1,111 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const ast_1 = require("@zenstackhq/language/ast");
-const sdk_1 = require("@zenstackhq/sdk");
-const ast_utils_1 = require("../../utils/ast-utils");
-const utils_1 = require("./utils");
-/**
- * Transforms ZModel expression to plain TypeScript expression.
- */
-class TypeScriptExpressionTransformer {
-    /**
-     * Constructs a new TypeScriptExpressionTransformer.
-     *
-     * @param isPostGuard indicates if we're writing for post-update conditions
-     */
-    constructor(isPostGuard = false) {
-        this.isPostGuard = isPostGuard;
-    }
-    /**
-     *
-     * @param expr
-     * @returns
-     */
-    transform(expr) {
-        switch (expr.$type) {
-            case ast_1.LiteralExpr:
-                return this.literal(expr);
-            case ast_1.ArrayExpr:
-                return this.array(expr);
-            case ast_1.NullExpr:
-                return this.null();
-            case ast_1.ThisExpr:
-                return this.this(expr);
-            case ast_1.ReferenceExpr:
-                return this.reference(expr);
-            case ast_1.InvocationExpr:
-                return this.invocation(expr);
-            case ast_1.MemberAccessExpr:
-                return this.memberAccess(expr);
-            default:
-                throw new sdk_1.PluginError(`Unsupported expression type: ${expr.$type}`);
-        }
-    }
-    // eslint-disable-next-line @typescript-eslint/no-unused-vars
-    this(expr) {
-        // "this" is mapped to id comparison
-        return 'id';
-    }
-    memberAccess(expr) {
-        if (!expr.member.ref) {
-            throw new sdk_1.PluginError(`Unresolved MemberAccessExpr`);
-        }
-        if ((0, ast_1.isThisExpr)(expr.operand)) {
-            return expr.member.ref.name;
-        }
-        else if ((0, utils_1.isFutureExpr)(expr.operand)) {
-            if (!this.isPostGuard) {
-                throw new sdk_1.PluginError(`future() is only supported in postUpdate rules`);
-            }
-            return expr.member.ref.name;
-        }
-        else {
-            // normalize field access to null instead of undefined to avoid accidentally use undefined in filter
-            return `(${this.transform(expr.operand)} ? ${this.transform(expr.operand)}.${expr.member.ref.name} : null)`;
-        }
-    }
-    invocation(expr) {
-        var _a;
-        if ((0, ast_utils_1.isAuthInvocation)(expr)) {
-            return 'user';
-        }
-        else {
-            throw new sdk_1.PluginError(`Function invocation is not supported: ${(_a = expr.function.ref) === null || _a === void 0 ? void 0 : _a.name}`);
-        }
-    }
-    reference(expr) {
-        if (!expr.target.ref) {
-            throw new sdk_1.PluginError(`Unresolved ReferenceExpr`);
-        }
-        if ((0, ast_1.isEnumField)(expr.target.ref)) {
-            return `${expr.target.ref.$container.name}.${expr.target.ref.name}`;
-        }
-        else {
-            if (this.isPostGuard) {
-                // if we're processing post-update, any direct field access should be
-                // treated as access to context.preValue, which is entity's value before
-                // the update
-                return `context.preValue?.${expr.target.ref.name}`;
-            }
-            else {
-                return expr.target.ref.name;
-            }
-        }
-    }
-    null() {
-        return 'null';
-    }
-    array(expr) {
-        return `[${expr.items.map((item) => this.transform(item)).join(', ')}]`;
-    }
-    literal(expr) {
-        if (typeof expr.value === 'string') {
-            return `'${expr.value}'`;
-        }
-        else {
-            return expr.value.toString();
-        }
-    }
-}
-exports.default = TypeScriptExpressionTransformer;
-//# sourceMappingURL=typescript-expression-transformer.js.map

package/plugins/access-policy/typescript-expression-transformer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"typescript-expression-transformer.js","sourceRoot":"","sources":["../../../src/plugins/access-policy/typescript-expression-transformer.ts"],"names":[],"mappings":";;AAAA,kDAWkC;AAClC,yCAA8C;AAC9C,qDAAyD;AACzD,mCAAuC;AAEvC;;GAEG;AACH,MAAqB,+BAA+B;IAChD;;;;OAIG;IACH,YAA6B,cAAc,KAAK;QAAnB,gBAAW,GAAX,WAAW,CAAQ;IAAG,CAAC;IAEpD;;;;OAIG;IACH,SAAS,CAAC,IAAgB;QACtB,QAAQ,IAAI,CAAC,KAAK,EAAE;YAChB,KAAK,iBAAW;gBACZ,OAAO,IAAI,CAAC,OAAO,CAAC,IAAmB,CAAC,CAAC;YAE7C,KAAK,eAAS;gBACV,OAAO,IAAI,CAAC,KAAK,CAAC,IAAiB,CAAC,CAAC;YAEzC,KAAK,cAAQ;gBACT,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;YAEvB,KAAK,cAAQ;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,IAAgB,CAAC,CAAC;YAEvC,KAAK,mBAAa;gBACd,OAAO,IAAI,CAAC,SAAS,CAAC,IAAqB,CAAC,CAAC;YAEjD,KAAK,oBAAc;gBACf,OAAO,IAAI,CAAC,UAAU,CAAC,IAAsB,CAAC,CAAC;YAEnD,KAAK,sBAAgB;gBACjB,OAAO,IAAI,CAAC,YAAY,CAAC,IAAwB,CAAC,CAAC;YAEvD;gBACI,MAAM,IAAI,iBAAW,CAAC,gCAAgC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;SAC3E;IACL,CAAC;IAED,6DAA6D;IACrD,IAAI,CAAC,IAAc;QACvB,oCAAoC;QACpC,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,YAAY,CAAC,IAAsB;QACvC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE;YAClB,MAAM,IAAI,iBAAW,CAAC,6BAA6B,CAAC,CAAC;SACxD;QAED,IAAI,IAAA,gBAAU,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;SAC/B;aAAM,IAAI,IAAA,oBAAY,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YACnC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;gBACnB,MAAM,IAAI,iBAAW,CAAC,gDAAgD,CAAC,CAAC;aAC3E;YACD,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;SAC/B;aAAM;YACH,oGAAoG;YACpG,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC;SAC/G;IACL,CAAC;IAEO,UAAU,CAAC,IAAoB;;QACnC,IAAI,IAAA,4BAAgB,EAAC,IAAI,CAAC,EAAE;YACxB,OAAO,MAAM,CAAC;SACjB;aAAM;YACH,MAAM,IAAI,iBAAW,CAAC,yCAAyC,MAAA,IAAI,CAAC,QAAQ,CAAC,GAAG,0CAAE,IAAI,EAAE,CAAC,CAAC;SAC7F;IACL,CAAC;IAEO,SAAS,CAAC,IAAmB;QACjC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE;YAClB,MAAM,IAAI,iBAAW,CAAC,0BAA0B,CAAC,CAAC;SACrD;QAED,IAAI,IAAA,iBAAW,EAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;YAC9B,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;SACvE;aAAM;YACH,IAAI,IAAI,CAAC,WAAW,EAAE;gBAClB,qEAAqE;gBACrE,wEAAwE;gBACxE,aAAa;gBACb,OAAO,qBAAqB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;aACtD;iBAAM;gBACH,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;aAC/B;SACJ;IACL,CAAC;IAEO,IAAI;QACR,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,KAAK,CAAC,IAAe;QACzB,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC5E,CAAC;IAEO,OAAO,CAAC,IAAiB;QAC7B,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE;YAChC,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;SAC5B;aAAM;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;SAChC;IACL,CAAC;CACJ;AA3GD,kDA2GC"}

package/plugins/access-policy/utils.d.ts

@@ -1,5 +0,0 @@
-import { Expression } from '@zenstackhq/language/ast';
-/**
- * Returns if the given expression is a "future()" method call.
- */
-export declare function isFutureExpr(expr: Expression): boolean;

package/plugins/access-policy/utils.js

@@ -1,14 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.isFutureExpr = void 0;
-const ast_1 = require("@zenstackhq/language/ast");
-const utils_1 = require("../../language-server/utils");
-/**
- * Returns if the given expression is a "future()" method call.
- */
-function isFutureExpr(expr) {
-    var _a;
-    return !!((0, ast_1.isInvocationExpr)(expr) && ((_a = expr.function.ref) === null || _a === void 0 ? void 0 : _a.name) === 'future' && (0, utils_1.isFromStdlib)(expr.function.ref));
-}
-exports.isFutureExpr = isFutureExpr;
-//# sourceMappingURL=utils.js.map

package/plugins/access-policy/utils.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/plugins/access-policy/utils.ts"],"names":[],"mappings":";;;AAAA,kDAAwE;AACxE,uDAA2D;AAE3D;;GAEG;AACH,SAAgB,YAAY,CAAC,IAAgB;;IACzC,OAAO,CAAC,CAAC,CAAC,IAAA,sBAAgB,EAAC,IAAI,CAAC,IAAI,CAAA,MAAA,IAAI,CAAC,QAAQ,CAAC,GAAG,0CAAE,IAAI,MAAK,QAAQ,IAAI,IAAA,oBAAY,EAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACjH,CAAC;AAFD,oCAEC"}

package/plugins/access-policy/zod-schema-generator.d.ts

@@ -1,12 +0,0 @@
-import { DataModel } from '@zenstackhq/language/ast';
-import { CodeBlockWriter } from 'ts-morph';
-/**
- * Writes Zod schema for data models.
- */
-export declare class ZodSchemaGenerator {
-    generate(writer: CodeBlockWriter, models: DataModel[]): void;
-    private hasValidationAttributes;
-    private makeFieldValidator;
-    private makeZodSchema;
-    private getAttrLiteralArg;
-}