modality-ts 0.0.7 → 0.0.9

package/dist/extract/engine/ts/transition/expressions.js

@@ -0,0 +1,353 @@
+import * as ts from "typescript";
+import { isPropertyAccessLike, literalValue, propertyName, } from "../ast.js";
+import { firstValue } from "../domains.js";
+export function setterArgumentExpr(argument, setter, setters, locals) {
+    if (ts.isObjectLiteralExpression(argument)) {
+        const object = objectLiteralAssignmentExpr(argument, setter.domain, setters, locals);
+        if (object)
+            return object;
+    }
+    if ((ts.isArrowFunction(argument) || ts.isFunctionExpression(argument)) &&
+        argument.parameters.length === 1 &&
+        ts.isIdentifier(argument.parameters[0].name)) {
+        if (ts.isBlock(argument.body))
+            return undefined;
+        return valueExpr(argument.body, setters, new Map([
+            ...locals,
+            [argument.parameters[0].name.text, readBinding(setter.varId)],
+        ]));
+    }
+    return valueExpr(argument, setters, locals);
+}
+export function objectLiteralAssignmentExpr(expression, domain, setters, locals) {
+    const value = {};
+    const reads = new Set();
+    const fields = domain.kind === "record"
+        ? domain.fields
+        : domain.kind === "tagged"
+            ? taggedFieldsForObject(expression, domain)
+            : {};
+    for (const property of expression.properties) {
+        if (!ts.isPropertyAssignment(property))
+            return undefined;
+        const name = propertyName(property.name);
+        if (!name)
+            return undefined;
+        const literal = literalValue(property.initializer);
+        if (literal !== undefined) {
+            value[name] = literal;
+            continue;
+        }
+        const bound = valueExpr(property.initializer, setters, locals);
+        if (bound?.expr.kind === "lit") {
+            value[name] = bound.expr.value;
+            for (const read of bound.reads)
+                reads.add(read);
+            continue;
+        }
+        value[name] = firstValue(fields[name] ?? { kind: "tokens", count: 1 });
+    }
+    return { expr: { kind: "lit", value }, reads: [...reads] };
+}
+export function taggedFieldsForObject(expression, domain) {
+    const tagProperty = expression.properties.find((property) => ts.isPropertyAssignment(property) &&
+        propertyName(property.name) === domain.tag);
+    const tag = tagProperty ? literalValue(tagProperty.initializer) : undefined;
+    const variant = typeof tag === "string" ? domain.variants[tag] : undefined;
+    return variant?.kind === "record" ? variant.fields : {};
+}
+export function valueExpr(expression, setters, locals) {
+    const value = literalValue(expression);
+    if (value !== undefined)
+        return { expr: { kind: "lit", value }, reads: [] };
+    if (ts.isIdentifier(expression) || isPropertyAccessLike(expression))
+        return modeledReadExpr(expression, setters, locals);
+    if (ts.isPrefixUnaryExpression(expression) &&
+        expression.operator === ts.SyntaxKind.ExclamationToken) {
+        const parsed = booleanExpr(expression.operand, setters, locals);
+        return parsed
+            ? { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads }
+            : undefined;
+    }
+    if (ts.isParenthesizedExpression(expression))
+        return valueExpr(expression.expression, setters, locals);
+    if (ts.isBinaryExpression(expression) &&
+        (expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+            expression.operatorToken.kind === ts.SyntaxKind.BarBarToken)) {
+        return booleanExpr(expression, setters, locals);
+    }
+    if (ts.isBinaryExpression(expression) &&
+        expression.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken) {
+        return nullishOptionalReadExpr(expression, setters, locals);
+    }
+    if (ts.isConditionalExpression(expression)) {
+        const condition = booleanExpr(expression.condition, setters, locals);
+        const whenTrue = valueExpr(expression.whenTrue, setters, locals);
+        const whenFalse = valueExpr(expression.whenFalse, setters, locals);
+        if (!condition || !whenTrue || !whenFalse)
+            return undefined;
+        return {
+            expr: {
+                kind: "cond",
+                args: [condition.expr, whenTrue.expr, whenFalse.expr],
+            },
+            reads: [
+                ...new Set([...condition.reads, ...whenTrue.reads, ...whenFalse.reads]),
+            ],
+        };
+    }
+    if (ts.isObjectLiteralExpression(expression))
+        return objectSpreadUpdateExpr(expression, setters, locals);
+    return undefined;
+}
+export function objectSpreadUpdateExpr(expression, setters, locals) {
+    if (expression.properties.length < 2)
+        return undefined;
+    const [spread, ...properties] = expression.properties;
+    if (!ts.isSpreadAssignment(spread))
+        return undefined;
+    let current = valueExpr(spread.expression, setters, locals);
+    if (!current)
+        return undefined;
+    const reads = new Set(current.reads);
+    for (const property of properties) {
+        if (!ts.isPropertyAssignment(property))
+            return undefined;
+        const name = propertyName(property.name);
+        if (!name)
+            return undefined;
+        const value = valueExpr(property.initializer, setters, locals);
+        if (!value)
+            return undefined;
+        for (const read of value.reads)
+            reads.add(read);
+        current = {
+            expr: {
+                kind: "updateField",
+                target: current.expr,
+                path: [name],
+                value: value.expr,
+            },
+            reads: [...reads],
+        };
+    }
+    return current;
+}
+export function nullishOptionalReadExpr(expression, setters, locals = new Map()) {
+    const fallback = literalValue(expression.right);
+    if (fallback === undefined)
+        return undefined;
+    const read = optionalReadPath(expression.left);
+    if (!read?.optional || read.path.length === 0)
+        return undefined;
+    const local = locals.get(read.base);
+    const varId = local?.expr.kind === "read"
+        ? local.expr.var
+        : stateVarForName(read.base, setters);
+    if (!varId)
+        return undefined;
+    const basePath = local?.expr.kind === "read" ? (local.expr.path ?? []) : [];
+    return {
+        expr: {
+            kind: "cond",
+            args: [
+                {
+                    kind: "eq",
+                    args: [
+                        {
+                            kind: "read",
+                            var: varId,
+                            ...(basePath.length > 0 ? { path: basePath } : {}),
+                        },
+                        { kind: "lit", value: null },
+                    ],
+                },
+                { kind: "lit", value: fallback },
+                { kind: "read", var: varId, path: [...basePath, ...read.path] },
+            ],
+        },
+        reads: [varId],
+    };
+}
+export function optionalReadPath(expression) {
+    if (ts.isIdentifier(expression))
+        return { base: expression.text, path: [], optional: false };
+    if (isPropertyAccessLike(expression)) {
+        const base = optionalReadPath(expression.expression);
+        if (!base)
+            return undefined;
+        return {
+            base: base.base,
+            path: [...base.path, expression.name.text],
+            optional: base.optional ||
+                Boolean(expression.questionDotToken),
+        };
+    }
+    return undefined;
+}
+export function booleanExpr(expression, setters, locals) {
+    if (expression.kind === ts.SyntaxKind.TrueKeyword)
+        return { expr: { kind: "lit", value: true }, reads: [] };
+    if (expression.kind === ts.SyntaxKind.FalseKeyword)
+        return { expr: { kind: "lit", value: false }, reads: [] };
+    if (ts.isIdentifier(expression))
+        return valueExpr(expression, setters, locals);
+    if (ts.isPrefixUnaryExpression(expression) &&
+        expression.operator === ts.SyntaxKind.ExclamationToken) {
+        const parsed = booleanExpr(expression.operand, setters, locals);
+        return parsed
+            ? { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads }
+            : undefined;
+    }
+    if (ts.isParenthesizedExpression(expression))
+        return booleanExpr(expression.expression, setters, locals);
+    if (ts.isBinaryExpression(expression)) {
+        if (expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+            expression.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+            const left = booleanExpr(expression.left, setters, locals);
+            const right = booleanExpr(expression.right, setters, locals);
+            if (!left || !right)
+                return undefined;
+            return {
+                expr: {
+                    kind: expression.operatorToken.kind ===
+                        ts.SyntaxKind.AmpersandAmpersandToken
+                        ? "and"
+                        : "or",
+                    args: [left.expr, right.expr],
+                },
+                reads: [...new Set([...left.reads, ...right.reads])],
+            };
+        }
+        if (expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+            expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken ||
+            expression.operatorToken.kind ===
+                ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+            expression.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken) {
+            const left = valueExpr(expression.left, setters, locals);
+            const right = valueExpr(expression.right, setters, locals);
+            if (!left || !right)
+                return undefined;
+            return {
+                expr: {
+                    kind: expression.operatorToken.kind ===
+                        ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+                        expression.operatorToken.kind ===
+                            ts.SyntaxKind.ExclamationEqualsToken
+                        ? "neq"
+                        : "eq",
+                    args: [left.expr, right.expr],
+                },
+                reads: [...new Set([...left.reads, ...right.reads])],
+            };
+        }
+    }
+    return undefined;
+}
+export function modeledReadExpr(expression, setters, locals) {
+    const path = propertyAccessPath(expression);
+    if (!path || path.length === 0)
+        return undefined;
+    const [base, ...segments] = path;
+    const local = locals.get(base);
+    if (local) {
+        if (segments.length === 0)
+            return local;
+        if (local.expr.kind !== "read")
+            return undefined;
+        return {
+            expr: {
+                kind: "read",
+                var: local.expr.var,
+                path: [...(local.expr.path ?? []), ...segments],
+            },
+            reads: local.reads,
+        };
+    }
+    const setter = setterForName(base, setters);
+    const stateVar = setter?.varId;
+    if (!stateVar)
+        return undefined;
+    if (setter.domain.kind === "tagged" &&
+        segments.length > 0 &&
+        segments[0] !== setter.domain.tag) {
+        return {
+            expr: {
+                kind: "lit",
+                value: firstValue(taggedPathDomain(setter.domain, segments) ?? {
+                    kind: "tokens",
+                    count: 1,
+                }),
+            },
+            reads: [],
+        };
+    }
+    return {
+        expr: {
+            kind: "read",
+            var: stateVar,
+            ...(segments.length > 0 ? { path: segments } : {}),
+        },
+        reads: [stateVar],
+    };
+}
+export function readBinding(varId) {
+    return { expr: { kind: "read", var: varId }, reads: [varId] };
+}
+export function stateVarForName(name, setters) {
+    return setterForName(name, setters)?.varId;
+}
+export function setterForName(name, setters) {
+    return (setters.get(name) ??
+        [...setters.values()].find((setter) => setter.stateName === name));
+}
+export function taggedPathDomain(domain, path) {
+    const [field, ...rest] = path;
+    if (!field)
+        return domain;
+    const variants = Object.values(domain.variants).filter((variant) => variant.kind === "record");
+    const fieldDomains = variants
+        .map((variant) => variant.fields[field])
+        .filter((candidate) => Boolean(candidate));
+    if (fieldDomains.length === 0)
+        return undefined;
+    const first = fieldDomains[0];
+    if (rest.length === 0)
+        return first;
+    return first.kind === "record" ? domainAtRecordPath(first, rest) : undefined;
+}
+export function domainAtRecordPath(domain, path) {
+    const [field, ...rest] = path;
+    if (!field)
+        return domain;
+    const next = domain.fields[field];
+    if (!next || rest.length === 0)
+        return next;
+    return next.kind === "record" ? domainAtRecordPath(next, rest) : undefined;
+}
+export function andGuard(left, right) {
+    if (isTrueLiteral(left))
+        return right;
+    if (isTrueLiteral(right))
+        return left;
+    return { kind: "and", args: [left, right] };
+}
+export function isTrueLiteral(expr) {
+    return expr.kind === "lit" && expr.value === true;
+}
+export function isEventAttribute(name) {
+    return (name === "onClick" ||
+        name === "onSubmit" ||
+        name === "onChange" ||
+        name === "onInput");
+}
+export function propertyAccessPath(node) {
+    if (ts.isIdentifier(node))
+        return [node.text];
+    if (isPropertyAccessLike(node)) {
+        const base = propertyAccessPath(node.expression);
+        return base ? [...base, node.name.text] : undefined;
+    }
+    return undefined;
+}
+//# sourceMappingURL=expressions.js.map

package/dist/extract/engine/ts/transition/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,YAAY,EACZ,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAI3C,MAAM,UAAU,kBAAkB,CAChC,QAAuB,EACvB,MAAqB,EACrB,OAAmC,EACnC,MAA8B;IAE9B,IAAI,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,2BAA2B,CACxC,QAAQ,EACR,MAAM,CAAC,MAAM,EACb,OAAO,EACP,MAAM,CACP,CAAC;QACF,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACnE,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAChC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAC5C,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,OAAO,SAAS,CACd,QAAQ,CAAC,IAAI,EACb,OAAO,EACP,IAAI,GAAG,CAAC;YACN,GAAG,MAAM;YACT,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SAC9D,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,UAAsC,EACtC,MAAsB,EACtB,OAAmC,EACnC,MAA8B;IAE9B,MAAM,KAAK,GAA0B,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,MAAM,CAAC,MAAM;QACf,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YACxB,CAAC,CAAC,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC;YAC3C,CAAC,CAAC,EAAE,CAAC;IACX,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC7C,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAC;QACzD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACnD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/D,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAsC,EACtC,MAAmD;IAEnD,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,QAAQ,EAAqC,EAAE,CAC9C,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QACjC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,GAAG,CAC7C,CAAC;IACF,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,UAAyB,EACzB,OAAmC,EACnC,MAA8B;IAE9B,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACjE,OAAO,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACtD,IACE,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC;QACtC,UAAU,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACtD,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAChE,OAAO,MAAM;YACX,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACrE,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1C,OAAO,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3D,IACE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACjC,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YACtE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAC9D,CAAC;QACD,OAAO,WAAW,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IACD,IACE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACjC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,EACrE,CAAC;QACD,OAAO,uBAAuB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACjE,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACnE,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5D,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;aACtD;YACD,KAAK,EAAE;gBACL,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;aACxE;SACF,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1C,OAAO,sBAAsB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,UAAsC,EACtC,OAAmC,EACnC,MAA8B;IAE9B,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,CAAC,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAC;QACzD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChD,OAAO,GAAG;YACR,IAAI,EAAE;gBACJ,IAAI,EAAE,aAAa;gBACnB,MAAM,EAAE,OAAO,CAAC,IAAI;gBACpB,IAAI,EAAE,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,KAAK,CAAC,IAAI;aAClB;YACD,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC;SAClB,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD,MAAM,UAAU,uBAAuB,CACrC,UAA+B,EAC/B,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,EAAE,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,KAAK,GACT,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;QACzB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG;QAChB,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,MAAM;4BACZ,GAAG,EAAE,KAAK;4BACV,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACnD;wBACD,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;qBAC7B;iBACF;gBACD,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE;gBAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE;aAChE;SACF;QACD,KAAK,EAAE,CAAC,KAAK,CAAC;KACf,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAyB;IAEzB,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC9D,IAAI,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1C,QAAQ,EACN,IAAI,CAAC,QAAQ;gBACb,OAAO,CAEH,UAGD,CAAC,gBAAgB,CACnB;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,UAAyB,EACzB,OAAmC,EACnC,MAA8B;IAE9B,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC/C,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAChD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAC7B,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,IACE,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC;QACtC,UAAU,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACtD,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAChE,OAAO,MAAM;YACX,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACrE,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1C,OAAO,WAAW,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,IACE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YACvE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAC3D,CAAC;YACD,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YACtC,OAAO;gBACL,IAAI,EAAE;oBACJ,IAAI,EACF,UAAU,CAAC,aAAa,CAAC,IAAI;wBAC7B,EAAE,CAAC,UAAU,CAAC,uBAAuB;wBACnC,CAAC,CAAC,KAAK;wBACP,CAAC,CAAC,IAAI;oBACV,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;iBAC9B;gBACD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;aACrD,CAAC;QACJ,CAAC;QACD,IACE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YACvE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YACjE,UAAU,CAAC,aAAa,CAAC,IAAI;gBAC3B,EAAE,CAAC,UAAU,CAAC,4BAA4B;YAC5C,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EACtE,CAAC;YACD,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YACzD,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YACtC,OAAO;gBACL,IAAI,EAAE;oBACJ,IAAI,EACF,UAAU,CAAC,aAAa,CAAC,IAAI;wBAC3B,EAAE,CAAC,UAAU,CAAC,4BAA4B;wBAC5C,UAAU,CAAC,aAAa,CAAC,IAAI;4BAC3B,EAAE,CAAC,UAAU,CAAC,sBAAsB;wBACpC,CAAC,CAAC,KAAK;wBACP,CAAC,CAAC,IAAI;oBACV,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;iBAC9B;gBACD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;aACrD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,UAAyB,EACzB,OAAmC,EACnC,MAA8B;IAE9B,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QACjD,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,MAAM;gBACZ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG;gBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC;aAChD;YACD,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,EAAE,KAAK,CAAC;IAC/B,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC/B,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EACjC,CAAC;QACD,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,UAAU,CACf,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI;oBAC3C,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,CAAC;iBACT,CACF;aACF;YACD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,QAAQ;YACb,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnD;QACD,KAAK,EAAE,CAAC,QAAQ,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,OAAmC;IAEnC,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,OAAmC;IAEnC,OAAO,CACL,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QACjB,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAAmD,EACnD,IAAuB;IAEvB,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC9B,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CACpD,CAAC,OAAO,EAA0D,EAAE,CAClE,OAAO,CAAC,IAAI,KAAK,QAAQ,CAC5B,CAAC;IACF,MAAM,YAAY,GAAG,QAAQ;SAC1B,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SACvC,MAAM,CAAC,CAAC,SAAS,EAA+B,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAmD,EACnD,IAAuB;IAEvB,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC9B,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAa;IAClD,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,SAAS,CACnB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAmB;IACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/extract/engine/ts/transition/guards.d.ts

@@ -0,0 +1,21 @@
+import * as ts from "typescript";
+import type { ExprIR, Transition } from "modality-ts/core";
+import type { BoundExpr, ExtractionWarning, SetterBinding } from "../types.js";
+export interface ParsedGuard {
+    expr: ExprIR;
+    reads: string[];
+}
+export declare function applyParsedGuard(transitions: Transition[], parsed: ParsedGuard | undefined): Transition[];
+export declare function combineParsedGuards(guards: readonly (ParsedGuard | undefined)[]): ParsedGuard | undefined;
+export declare function renderGuardFor(eventAttribute: ts.JsxAttribute, setters: Map<string, SetterBinding>, warnings: ExtractionWarning[], source: ts.SourceFile, component: string, locals?: Map<string, BoundExpr>): ParsedGuard | undefined;
+export declare function jsxElementForAttribute(attribute: ts.JsxAttribute): ts.JsxElement | ts.JsxSelfClosingElement | undefined;
+export declare function disabledGuardFor(eventAttribute: ts.JsxAttribute, setters: Map<string, SetterBinding>, warnings: ExtractionWarning[], source: ts.SourceFile, component: string, locals?: Map<string, BoundExpr>): ParsedGuard | undefined;
+export declare function submitButtonDisabledAttribute(eventAttribute: ts.JsxAttribute): ts.JsxAttribute | undefined;
+export declare function jsxAttributeBoolean(attribute: ts.JsxAttribute, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): ParsedGuard | undefined;
+export declare function parseGuardExpression(expression: ts.Expression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): ParsedGuard | undefined;
+export declare function parseBinaryGuardExpression(expression: ts.BinaryExpression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): ParsedGuard | undefined;
+export declare function parseGuardOperand(expression: ts.Expression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): ParsedGuard | undefined;
+export declare function parseConjunctiveGuardExpression(expression: ts.Expression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): ParsedGuard | undefined;
+export declare function andGuard(left: ExprIR, right: ExprIR): ExprIR;
+export declare function isTrueLiteral(expr: ExprIR): boolean;
+//# sourceMappingURL=guards.d.ts.map

package/dist/extract/engine/ts/transition/guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/guards.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAI/E,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,UAAU,EAAE,EACzB,MAAM,EAAE,WAAW,GAAG,SAAS,GAC9B,UAAU,EAAE,CAWd;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,EAAE,GAC3C,WAAW,GAAG,SAAS,CAOzB;AAED,wBAAgB,cAAc,CAC5B,cAAc,EAAE,EAAE,CAAC,YAAY,EAC/B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,iBAAiB,EAAE,EAC7B,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,SAAS,EAAE,MAAM,EACjB,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,WAAW,GAAG,SAAS,CA6EzB;AAED,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,EAAE,CAAC,YAAY,GACzB,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,qBAAqB,GAAG,SAAS,CAOtD;AAED,wBAAgB,gBAAgB,CAC9B,cAAc,EAAE,EAAE,CAAC,YAAY,EAC/B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,iBAAiB,EAAE,EAC7B,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,SAAS,EAAE,MAAM,EACjB,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,WAAW,GAAG,SAAS,CAqBzB;AAED,wBAAgB,6BAA6B,CAC3C,cAAc,EAAE,EAAE,CAAC,YAAY,GAC9B,EAAE,CAAC,YAAY,GAAG,SAAS,CA+B7B;AAED,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,WAAW,GAAG,SAAS,CAkBzB;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,WAAW,GAAG,SAAS,CAqBzB;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,EAAE,CAAC,gBAAgB,EAC/B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,WAAW,GAAG,SAAS,CA4CzB;AAED,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,WAAW,GAAG,SAAS,CAMzB;AAED,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,WAAW,GAAG,SAAS,CAiBzB;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAI5D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD"}

package/dist/extract/engine/ts/transition/guards.js

@@ -0,0 +1,249 @@
+import * as ts from "typescript";
+import { isPropertyAccessLike, lineAndColumn, literalValue, } from "../ast.js";
+import { valueExpr } from "./expressions.js";
+import { stringAttribute } from "./ui.js";
+export function applyParsedGuard(transitions, parsed) {
+    if (!parsed)
+        return transitions;
+    return transitions.map((transition) => transition.cls === "user"
+        ? {
+            ...transition,
+            guard: andGuard(parsed.expr, transition.guard),
+            reads: [...new Set([...transition.reads, ...parsed.reads])],
+        }
+        : transition);
+}
+export function combineParsedGuards(guards) {
+    const parsed = guards.filter((guard) => Boolean(guard));
+    if (parsed.length === 0)
+        return undefined;
+    return {
+        expr: parsed.map((guard) => guard.expr).reduce(andGuard),
+        reads: [...new Set(parsed.flatMap((guard) => guard.reads))],
+    };
+}
+export function renderGuardFor(eventAttribute, setters, warnings, source, component, locals = new Map()) {
+    const element = jsxElementForAttribute(eventAttribute);
+    if (!element)
+        return undefined;
+    const guards = [];
+    let current = element;
+    while (current.parent) {
+        const parent = current.parent;
+        if (ts.isBinaryExpression(parent) &&
+            parent.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken &&
+            parent.right === current) {
+            const parsed = parseConjunctiveGuardExpression(parent.left, setters, locals);
+            if (!parsed) {
+                warnings.push({
+                    message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
+                    ...lineAndColumn(source, parent.left),
+                });
+                return undefined;
+            }
+            guards.push(parsed);
+            current = parent;
+            continue;
+        }
+        if (ts.isConditionalExpression(parent) && parent.whenTrue === current) {
+            const parsed = parseConjunctiveGuardExpression(parent.condition, setters, locals);
+            if (!parsed) {
+                warnings.push({
+                    message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
+                    ...lineAndColumn(source, parent.condition),
+                });
+                return undefined;
+            }
+            guards.push(parsed);
+            current = parent;
+            continue;
+        }
+        if (ts.isConditionalExpression(parent) && parent.whenFalse === current) {
+            const parsed = parseConjunctiveGuardExpression(parent.condition, setters, locals);
+            if (!parsed) {
+                warnings.push({
+                    message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
+                    ...lineAndColumn(source, parent.condition),
+                });
+                return undefined;
+            }
+            guards.push({
+                expr: { kind: "not", args: [parsed.expr] },
+                reads: parsed.reads,
+            });
+            current = parent;
+            continue;
+        }
+        if (ts.isParenthesizedExpression(parent) ||
+            ts.isJsxExpression(parent) ||
+            ts.isJsxElement(parent) ||
+            ts.isJsxFragment(parent)) {
+            current = parent;
+            continue;
+        }
+        return combineParsedGuards(guards);
+    }
+    return combineParsedGuards(guards);
+}
+export function jsxElementForAttribute(attribute) {
+    const attrs = attribute.parent;
+    if (!ts.isJsxAttributes(attrs))
+        return undefined;
+    const element = attrs.parent;
+    if (ts.isJsxOpeningElement(element) && ts.isJsxElement(element.parent))
+        return element.parent;
+    return ts.isJsxSelfClosingElement(element) ? element : undefined;
+}
+export function disabledGuardFor(eventAttribute, setters, warnings, source, component, locals = new Map()) {
+    const attrs = eventAttribute.parent;
+    if (!ts.isJsxAttributes(attrs))
+        return undefined;
+    const disabled = attrs.properties.find((property) => ts.isJsxAttribute(property) &&
+        ts.isIdentifier(property.name) &&
+        (property.name.text === "disabled" ||
+            property.name.text === "aria-disabled")) ?? submitButtonDisabledAttribute(eventAttribute);
+    if (!disabled)
+        return undefined;
+    const parsed = jsxAttributeBoolean(disabled, setters, locals);
+    if (!parsed) {
+        warnings.push({
+            message: `Unsupported disabled guard ${component}.${eventAttribute.name.getText(source)}`,
+            ...lineAndColumn(source, disabled),
+        });
+        return undefined;
+    }
+    return { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads };
+}
+export function submitButtonDisabledAttribute(eventAttribute) {
+    if (!ts.isIdentifier(eventAttribute.name) ||
+        eventAttribute.name.text !== "onSubmit")
+        return undefined;
+    const element = jsxElementForAttribute(eventAttribute);
+    if (!element || !ts.isJsxElement(element))
+        return undefined;
+    let found;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
+            const tag = ts.isIdentifier(node.tagName) ? node.tagName.text : undefined;
+            if (tag === "button" &&
+                stringAttribute(node.attributes, "type") === "submit") {
+                found = node.attributes.properties.find((property) => ts.isJsxAttribute(property) &&
+                    ts.isIdentifier(property.name) &&
+                    (property.name.text === "disabled" ||
+                        property.name.text === "aria-disabled"));
+                if (found)
+                    return;
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(element);
+    return found;
+}
+export function jsxAttributeBoolean(attribute, setters, locals = new Map()) {
+    if (!attribute.initializer)
+        return { expr: { kind: "lit", value: true }, reads: [] };
+    if (ts.isStringLiteral(attribute.initializer))
+        return {
+            expr: { kind: "lit", value: attribute.initializer.text === "true" },
+            reads: [],
+        };
+    if (!ts.isJsxExpression(attribute.initializer) ||
+        !attribute.initializer.expression)
+        return undefined;
+    return parseConjunctiveGuardExpression(attribute.initializer.expression, setters, locals);
+}
+export function parseGuardExpression(expression, setters, locals = new Map()) {
+    if (expression.kind === ts.SyntaxKind.TrueKeyword)
+        return { expr: { kind: "lit", value: true }, reads: [] };
+    if (expression.kind === ts.SyntaxKind.FalseKeyword)
+        return { expr: { kind: "lit", value: false }, reads: [] };
+    if (ts.isIdentifier(expression) || isPropertyAccessLike(expression))
+        return valueExpr(expression, setters, locals);
+    if (ts.isPrefixUnaryExpression(expression) &&
+        expression.operator === ts.SyntaxKind.ExclamationToken) {
+        const parsed = parseGuardExpression(expression.operand, setters, locals);
+        return parsed
+            ? { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads }
+            : undefined;
+    }
+    if (ts.isParenthesizedExpression(expression))
+        return parseGuardExpression(expression.expression, setters, locals);
+    if (ts.isBinaryExpression(expression))
+        return parseBinaryGuardExpression(expression, setters, locals);
+    return undefined;
+}
+export function parseBinaryGuardExpression(expression, setters, locals = new Map()) {
+    if (expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+        expression.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+        const left = parseGuardExpression(expression.left, setters, locals);
+        const right = parseGuardExpression(expression.right, setters, locals);
+        if (!left || !right)
+            return undefined;
+        return {
+            expr: {
+                kind: expression.operatorToken.kind ===
+                    ts.SyntaxKind.AmpersandAmpersandToken
+                    ? "and"
+                    : "or",
+                args: [left.expr, right.expr],
+            },
+            reads: [...new Set([...left.reads, ...right.reads])],
+        };
+    }
+    if (expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+        expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken ||
+        expression.operatorToken.kind ===
+            ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+        expression.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken) {
+        const left = parseGuardOperand(expression.left, setters, locals);
+        const right = parseGuardOperand(expression.right, setters, locals);
+        if (!left || !right)
+            return undefined;
+        return {
+            expr: {
+                kind: expression.operatorToken.kind ===
+                    ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+                    expression.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken
+                    ? "neq"
+                    : "eq",
+                args: [left.expr, right.expr],
+            },
+            reads: [...new Set([...left.reads, ...right.reads])],
+        };
+    }
+    return undefined;
+}
+export function parseGuardOperand(expression, setters, locals = new Map()) {
+    const value = literalValue(expression);
+    if (value !== undefined)
+        return { expr: { kind: "lit", value }, reads: [] };
+    if (ts.isIdentifier(expression) || isPropertyAccessLike(expression))
+        return valueExpr(expression, setters, locals);
+    return parseGuardExpression(expression, setters, locals);
+}
+export function parseConjunctiveGuardExpression(expression, setters, locals = new Map()) {
+    if (ts.isParenthesizedExpression(expression))
+        return parseConjunctiveGuardExpression(expression.expression, setters, locals);
+    if (ts.isBinaryExpression(expression) &&
+        expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+        return combineParsedGuards([
+            parseConjunctiveGuardExpression(expression.left, setters, locals),
+            parseConjunctiveGuardExpression(expression.right, setters, locals),
+        ]);
+    }
+    return parseGuardExpression(expression, setters, locals);
+}
+export function andGuard(left, right) {
+    if (isTrueLiteral(left))
+        return right;
+    if (isTrueLiteral(right))
+        return left;
+    return { kind: "and", args: [left, right] };
+}
+export function isTrueLiteral(expr) {
+    return expr.kind === "lit" && expr.value === true;
+}
+//# sourceMappingURL=guards.js.map