modality-ts 0.0.8 → 0.0.10

package/dist/extract/sources/swr/discover.js

@@ -0,0 +1,175 @@
+import * as ts from "typescript";
+import { inferPayloadDomain, typeAliasDeclarations } from "./domains.js";
+export function discoverSwrHooks(sourceText, fileName = "App.tsx") {
+    const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
+    const useSwrNames = useSwrImportNames(source);
+    if (useSwrNames.size === 0)
+        return [];
+    const typeAliases = typeAliasDeclarations(source);
+    const decls = [];
+    const visit = (node) => {
+        if (ts.isCallExpression(node) &&
+            ts.isIdentifier(node.expression) &&
+            useSwrNames.has(node.expression.text)) {
+            const key = keyFromExpression(node.arguments[0]);
+            if (key) {
+                const id = swrIdFromKey(key.id);
+                const origin = { file: fileName, ...lineAndColumn(source, node) };
+                decls.push({
+                    id: `swr:${id}`,
+                    kind: "swr/useSWR",
+                    origin,
+                    metadata: {
+                        key: key.id,
+                        id,
+                        op: `GET ${key.id}`,
+                        payloadDomain: inferPayloadDomain(node.typeArguments?.[0], typeAliases),
+                        ...(key.activeWhen ? { activeWhen: key.activeWhen } : {}),
+                        ...optionsMetadata(node.arguments[2]),
+                    },
+                });
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return decls;
+}
+export function useSwrImportNames(source) {
+    const names = new Set();
+    for (const statement of source.statements) {
+        if (!ts.isImportDeclaration(statement) ||
+            !ts.isStringLiteral(statement.moduleSpecifier) ||
+            statement.moduleSpecifier.text !== "swr")
+            continue;
+        if (statement.importClause?.name)
+            names.add(statement.importClause.name.text);
+        const bindings = statement.importClause?.namedBindings;
+        if (!bindings || !ts.isNamedImports(bindings))
+            continue;
+        for (const specifier of bindings.elements) {
+            const imported = specifier.propertyName?.text ?? specifier.name.text;
+            if (imported === "useSWR")
+                names.add(specifier.name.text);
+        }
+    }
+    return names;
+}
+export function keyFromExpression(expr) {
+    if (!expr)
+        return undefined;
+    if (ts.isStringLiteral(expr) && expr.text.length > 0)
+        return { id: expr.text };
+    if (ts.isNoSubstitutionTemplateLiteral(expr) && expr.text.length > 0)
+        return { id: expr.text };
+    if (ts.isArrayLiteralExpression(expr)) {
+        const parts = expr.elements.map(keyPartFromExpression);
+        if (parts.length > 0 &&
+            parts.every((part) => Boolean(part)))
+            return { id: parts.join(":") };
+    }
+    if (ts.isConditionalExpression(expr) && isNullish(expr.whenFalse)) {
+        const key = keyFromExpression(expr.whenTrue);
+        const activeWhen = exprFromCondition(expr.condition);
+        if (key && activeWhen)
+            return { ...key, activeWhen };
+    }
+    if (ts.isConditionalExpression(expr) && isNullish(expr.whenTrue)) {
+        const key = keyFromExpression(expr.whenFalse);
+        const activeWhen = exprFromCondition(expr.condition);
+        if (key && activeWhen)
+            return { ...key, activeWhen: notExpr(activeWhen) };
+    }
+    return undefined;
+}
+function keyPartFromExpression(expr) {
+    if (ts.isStringLiteral(expr) || ts.isNoSubstitutionTemplateLiteral(expr))
+        return expr.text;
+    if (ts.isNumericLiteral(expr))
+        return expr.text;
+    if (ts.isIdentifier(expr))
+        return expr.text;
+    return undefined;
+}
+function exprFromCondition(expr) {
+    if (ts.isIdentifier(expr))
+        return { kind: "read", var: expr.text };
+    if (expr.kind === ts.SyntaxKind.TrueKeyword)
+        return { kind: "lit", value: true };
+    if (expr.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "lit", value: false };
+    if (ts.isBinaryExpression(expr) &&
+        (expr.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+            expr.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken)) {
+        const left = ts.isIdentifier(expr.left)
+            ? { kind: "read", var: expr.left.text }
+            : undefined;
+        const right = literalExpr(expr.right);
+        if (left && right)
+            return {
+                kind: expr.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken
+                    ? "eq"
+                    : "neq",
+                args: [left, right],
+            };
+    }
+    if (ts.isPrefixUnaryExpression(expr) &&
+        expr.operator === ts.SyntaxKind.ExclamationToken) {
+        const inner = exprFromCondition(expr.operand);
+        if (inner)
+            return { kind: "not", args: [inner] };
+    }
+    return undefined;
+}
+function literalExpr(expr) {
+    if (ts.isStringLiteral(expr))
+        return { kind: "lit", value: expr.text };
+    if (ts.isNumericLiteral(expr))
+        return { kind: "lit", value: Number(expr.text) };
+    if (expr.kind === ts.SyntaxKind.TrueKeyword)
+        return { kind: "lit", value: true };
+    if (expr.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "lit", value: false };
+    if (expr.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "lit", value: null };
+    return undefined;
+}
+function isNullish(expr) {
+    return (expr.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(expr) && expr.text === "undefined"));
+}
+function optionsMetadata(expr) {
+    if (!expr || !ts.isObjectLiteralExpression(expr))
+        return {};
+    const metadata = {};
+    for (const prop of expr.properties) {
+        if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name))
+            continue;
+        if (prop.name.text === "revalidateOnFocus" &&
+            prop.initializer.kind === ts.SyntaxKind.TrueKeyword)
+            metadata.revalidateOnFocus = true;
+        if (prop.name.text === "revalidateOnFocus" &&
+            prop.initializer.kind === ts.SyntaxKind.FalseKeyword)
+            metadata.revalidateOnFocus = false;
+    }
+    return metadata;
+}
+export function swrIdFromKey(key) {
+    return (key
+        .replace(/^\/+/, "")
+        .replace(/[^A-Za-z0-9]+/g, "_")
+        .replace(/^_+|_+$/g, "") || "root");
+}
+function lineAndColumn(source, node) {
+    const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
+    return { line: pos.line + 1, column: pos.character + 1 };
+}
+function lit(value) {
+    return { kind: "lit", value };
+}
+function notExpr(expr) {
+    if (expr.kind === "not")
+        return expr.args[0] ?? lit(true);
+    return { kind: "not", args: [expr] };
+}
+//# sourceMappingURL=discover.js.map

package/dist/extract/sources/swr/discover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/discover.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAEzE,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,EAClB,QAAQ,GAAG,SAAS;IAEpB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EACrC,CAAC;YACD,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChC,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBAClE,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,OAAO,EAAE,EAAE;oBACf,IAAI,EAAE,YAAY;oBAClB,MAAM;oBACN,QAAQ,EAAE;wBACR,GAAG,EAAE,GAAG,CAAC,EAAE;wBACX,EAAE;wBACF,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,EAAE;wBACnB,aAAa,EAAE,kBAAkB,CAC/B,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EACvB,WAAW,CACH;wBACV,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAClE,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;qBACtC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAqB;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;YAC9C,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,KAAK;YAExC,SAAS;QACX,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI;YAC9B,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACvD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACrE,IAAI,QAAQ,KAAK,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAA+B;IAE/B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAClD,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAClE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QACvD,IACE,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAEpD,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACnC,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAClE,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,GAAG,IAAI,UAAU;YAAE,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjE,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,GAAG,IAAI,UAAU;YAAE,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;IAC5E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAmB;IAChD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QACtE,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAChD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAmB;IAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACvC,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAChE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,EACzE,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YACrC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAChD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,IAAI,KAAK;YACf,OAAO;gBACL,IAAI,EACF,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBAC/D,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK;gBACX,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;aACpB,CAAC;IACN,CAAC;IACD,IACE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAChD,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACvE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACtC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,IAAmB;IACpC,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,IAA+B;IAE/B,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5E,IACE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;YACtC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAEnD,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;QACpC,IACE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;YACtC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAEpD,QAAQ,CAAC,iBAAiB,GAAG,KAAK,CAAC;IACvC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAW;IACtC,OAAO,CACL,GAAG;SACA,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC;SAC9B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,MAAM,CACrC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAqB,EACrB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC;AACD,SAAS,GAAG,CAAC,KAAY;IACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACvC,CAAC"}

package/dist/extract/sources/swr/domains.d.ts

@@ -0,0 +1,5 @@
+import type { AbstractDomain } from "modality-ts/core";
+import * as ts from "typescript";
+export declare function inferPayloadDomain(typeArg: ts.TypeNode | undefined, typeAliases?: ReadonlyMap<string, ts.TypeNode>): AbstractDomain;
+export declare function typeAliasDeclarations(source: ts.SourceFile): Map<string, ts.TypeNode>;
+//# sourceMappingURL=domains.d.ts.map

package/dist/extract/sources/swr/domains.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,EAChC,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAa,GACxD,cAAc,CAwBhB;AA6ED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,EAAE,CAAC,UAAU,GACpB,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,CAS1B"}

package/dist/extract/sources/swr/domains.js

@@ -0,0 +1,99 @@
+import * as ts from "typescript";
+export function inferPayloadDomain(typeArg, typeAliases = new Map()) {
+    if (!typeArg)
+        return { kind: "tokens", count: 1 };
+    switch (typeArg.kind) {
+        case ts.SyntaxKind.BooleanKeyword:
+            return { kind: "bool" };
+        case ts.SyntaxKind.LiteralType:
+            return domainFromLiteralType(typeArg);
+        case ts.SyntaxKind.UnionType:
+            return domainFromUnion(typeArg, typeAliases);
+        case ts.SyntaxKind.TypeLiteral:
+            return domainFromTypeLiteral(typeArg, typeAliases);
+        case ts.SyntaxKind.ArrayType:
+            return { kind: "lengthCat" };
+        case ts.SyntaxKind.TypeReference: {
+            const name = typeArg.typeName.getText();
+            const alias = typeAliases.get(name);
+            if (alias)
+                return inferPayloadDomain(alias, typeAliases);
+            if (name === "Array" || name === "ReadonlyArray")
+                return { kind: "lengthCat" };
+            return { kind: "tokens", count: 1 };
+        }
+        default:
+            return { kind: "tokens", count: 1 };
+    }
+}
+function domainFromLiteralType(node) {
+    const lit = node.literal;
+    if (lit.kind === ts.SyntaxKind.TrueKeyword ||
+        lit.kind === ts.SyntaxKind.FalseKeyword)
+        return { kind: "bool" };
+    if (ts.isStringLiteral(lit))
+        return { kind: "enum", values: [lit.text] };
+    if (ts.isNumericLiteral(lit))
+        return { kind: "boundedInt", min: Number(lit.text), max: Number(lit.text) };
+    if (lit.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "option", inner: { kind: "tokens", count: 1 } };
+    return { kind: "tokens", count: 1 };
+}
+function domainFromUnion(node, typeAliases = new Map()) {
+    const nonNull = node.types.filter((part) => part.kind !== ts.SyntaxKind.UndefinedKeyword &&
+        !(ts.isLiteralTypeNode(part) &&
+            part.literal.kind === ts.SyntaxKind.NullKeyword));
+    if (nonNull.length !== node.types.length && nonNull.length > 0) {
+        return {
+            kind: "option",
+            inner: nonNull.length === 1
+                ? inferPayloadDomain(nonNull[0], typeAliases)
+                : domainFromUnionMembers(nonNull),
+        };
+    }
+    return domainFromUnionMembers(node.types);
+}
+function domainFromUnionMembers(types) {
+    const literalValues = [];
+    const numericValues = [];
+    for (const part of types) {
+        if (!ts.isLiteralTypeNode(part))
+            return { kind: "tokens", count: 1 };
+        const lit = part.literal;
+        if (ts.isStringLiteral(lit))
+            literalValues.push(lit.text);
+        else if (ts.isNumericLiteral(lit))
+            numericValues.push(Number(lit.text));
+        else
+            return { kind: "tokens", count: 1 };
+    }
+    if (numericValues.length === types.length)
+        return {
+            kind: "boundedInt",
+            min: Math.min(...numericValues),
+            max: Math.max(...numericValues),
+        };
+    return { kind: "enum", values: literalValues };
+}
+function domainFromTypeLiteral(node, typeAliases) {
+    const fields = {};
+    for (const member of node.members) {
+        if (!ts.isPropertySignature(member) ||
+            !member.type ||
+            !ts.isIdentifier(member.name))
+            continue;
+        fields[member.name.text] = inferPayloadDomain(member.type, typeAliases);
+    }
+    return { kind: "record", fields };
+}
+export function typeAliasDeclarations(source) {
+    const aliases = new Map();
+    const visit = (node) => {
+        if (ts.isTypeAliasDeclaration(node) && ts.isIdentifier(node.name))
+            aliases.set(node.name.text, node.type);
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return aliases;
+}
+//# sourceMappingURL=domains.js.map

package/dist/extract/sources/swr/domains.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domains.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/domains.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,UAAU,kBAAkB,CAChC,OAAgC,EAChC,cAAgD,IAAI,GAAG,EAAE;IAEzD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,OAA6B,CAAC,CAAC;QAC9D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,eAAe,CAAC,OAA2B,EAAE,WAAW,CAAC,CAAC;QACnE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,OAA6B,EAAE,WAAW,CAAC,CAAC;QAC3E,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAI,OAAgC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK;gBAAE,OAAO,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YACzD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe;gBAC9C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACtC,CAAC;QACD;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;IACzB,IACE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACtC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAEvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACzE,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,IAAsB,EACtB,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,CAAC,CACC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAChD,CACJ,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EACH,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC7C,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC;SACtC,CAAC;IACJ,CAAC;IACD,OAAO,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA6B;IAC3D,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;;YACnE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QACvC,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;YAC/B,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;SAChC,CAAC;IACJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,WAA6C;IAE7C,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC/B,CAAC,MAAM,CAAC,IAAI;YACZ,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAE7B,SAAS;QACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/{sources → extract/sources}/swr/harness.d.ts

@@ -1,5 +1,5 @@
-import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extraction/spi";
-import type { AbstractDomain, ModelState, Value } from "modality-ts/kernel";
+import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extract/engine/spi";
+import type { AbstractDomain, ModelState, Value } from "modality-ts/core";
 export interface SwrHarnessHooks extends HarnessHooks {
     initialState: ModelState;
     cache: Map<string, Value>;

package/dist/extract/sources/swr/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,cAAc,EACf,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE1E,MAAM,WAAW,eAAgB,SAAQ,YAAY;IACnD,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAC3B;AAED,wBAAgB,KAAK,CACnB,GAAG,EAAE,UAAU,GAAG;IAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;CAAE,GACvE,eAAe,CAQjB;AAED,wBAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,YAAY,GACpB,YAAY,GAAG,cAAc,CAO/B;AAED,wBAAgB,OAAO,CACrB,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,MAAM,GACb,cAAc,GAAG,SAAS,CAE5B"}

package/dist/{sources → extract/sources}/swr/harness.js

@@ -1,7 +1,9 @@
 export function setup(ctx) {
     return {
         initialState: ctx.initialState ?? {},
-        cache: ctx.cache instanceof Map ? ctx.cache : new Map(Object.entries(ctx.cache ?? {}))
+        cache: ctx.cache instanceof Map
+            ? ctx.cache
+            : new Map(Object.entries(ctx.cache ?? {})),
     };
 }
 export function observe(varId, handles) {

package/dist/extract/sources/swr/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/harness.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,KAAK,CACnB,GAAwE;IAExE,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;QACpC,KAAK,EACH,GAAG,CAAC,KAAK,YAAY,GAAG;YACtB,CAAC,CAAC,GAAG,CAAC,KAAK;YACX,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,KAAa,EACb,OAAqB;IAErB,MAAM,GAAG,GAAG,OAA0B,CAAC;IACvC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,CAAC;IAClE,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,CAAC;IACrE,IAAI,KAAK,IAAI,GAAG,CAAC,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;IAC1E,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAAuB,EACvB,MAAc;IAEd,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC"}

package/dist/extract/sources/swr/index.d.ts

@@ -0,0 +1,6 @@
+export { swrSource, default } from "./plugin.js";
+export { extractSwrSkeleton } from "./transitions.js";
+export type { SwrExtractionOptions } from "./transitions.js";
+export { createSwrKeyWindowTemplate, createSwrTemplate, outcomeFor, swrVarId, swrVars, swrView, swrWindowEntryId, swrWindowEvictedSummaryId, swrWindowView, } from "./template.js";
+export type { SwrKeyWindowEntry, SwrKeyWindowTemplateOptions, SwrTemplateOptions, SwrView, } from "./template.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/extract/sources/swr/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EACL,0BAA0B,EAC1B,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,yBAAyB,EACzB,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,YAAY,EACV,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,EAClB,OAAO,GACR,MAAM,eAAe,CAAC"}

package/dist/extract/sources/swr/index.js

@@ -0,0 +1,4 @@
+export { swrSource, default } from "./plugin.js";
+export { extractSwrSkeleton } from "./transitions.js";
+export { createSwrKeyWindowTemplate, createSwrTemplate, outcomeFor, swrVarId, swrVars, swrView, swrWindowEntryId, swrWindowEvictedSummaryId, swrWindowView, } from "./template.js";
+//# sourceMappingURL=index.js.map

package/dist/extract/sources/swr/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEtD,OAAO,EACL,0BAA0B,EAC1B,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,yBAAyB,EACzB,aAAa,GACd,MAAM,eAAe,CAAC"}

package/dist/extract/sources/swr/plugin.d.ts

@@ -0,0 +1,4 @@
+import type { StateSourcePlugin } from "modality-ts/extract/engine/spi";
+export declare function swrSource(): StateSourcePlugin;
+export default swrSource;
+//# sourceMappingURL=plugin.d.ts.map

package/dist/extract/sources/swr/plugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/plugin.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAMxE,wBAAgB,SAAS,IAAI,iBAAiB,CAe7C;AAED,eAAe,SAAS,CAAC"}

package/dist/extract/sources/swr/plugin.js

@@ -0,0 +1,21 @@
+import * as harness from "./harness.js";
+import { discoverSwrHooks } from "./discover.js";
+import { templateForSwrDecl } from "./template.js";
+import { discoverSwrReadChannels } from "./writes.js";
+export function swrSource() {
+    return {
+        id: "swr",
+        version: "0.1.0",
+        packageNames: ["swr"],
+        discover: (ctx) => discoverSwrHooks(ctx.sourceText, ctx.fileName),
+        writeChannels: (ctx) => discoverSwrReadChannels(ctx.sourceText, ctx.fileName),
+        template: (decl) => templateForSwrDecl(decl),
+        harness,
+        conformance: {
+            templateProbes: [],
+            testedVersions: "swr>=2",
+        },
+    };
+}
+export default swrSource;
+//# sourceMappingURL=plugin.js.map

package/dist/extract/sources/swr/plugin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/plugin.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAEtD,MAAM,UAAU,SAAS;IACvB,OAAO;QACL,EAAE,EAAE,KAAK;QACT,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,CAAC,KAAK,CAAC;QACrB,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QACjE,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CACrB,uBAAuB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QACvD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC5C,OAAO;QACP,WAAW,EAAE;YACX,cAAc,EAAE,EAAE;YAClB,cAAc,EAAE,QAAQ;SACzB;KACF,CAAC;AACJ,CAAC;AAED,eAAe,SAAS,CAAC"}

package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts}

@@ -1,5 +1,5 @@
-import type { AbstractDomain, ExprIR, ModelState, StateVarDecl, TemplateFragment, Value } from "modality-ts/kernel";
-import type { SourceDecl, StateSourcePlugin, WriteChannel } from "modality-ts/extraction/spi";
+import type { AbstractDomain, ExprIR, ModelState, StateVarDecl, TemplateFragment, Value } from "modality-ts/core";
+import type { SourceDecl } from "modality-ts/extract/engine/spi";
 export interface SwrTemplateOptions {
     id: string;
     op: string;
@@ -36,9 +36,7 @@ export interface SwrView {
     loadedEmpty: boolean;
     loadedSome: boolean;
 }
-export declare function swrSource(): StateSourcePlugin;
-export declare function discoverSwrReadChannels(sourceText: string, fileName?: string): WriteChannel[];
-export declare function discoverSwrHooks(sourceText: string, fileName?: string): SourceDecl[];
+export declare function templateForSwrDecl(decl: SourceDecl): TemplateFragment;
 export declare function createSwrTemplate(options: SwrTemplateOptions): TemplateFragment;
 export declare function createSwrKeyWindowTemplate(options: SwrKeyWindowTemplateOptions): TemplateFragment;
 export declare function swrVars(options: SwrTemplateOptions): StateVarDecl[];
@@ -52,4 +50,4 @@ export declare function swrVarId(id: string, field: "data" | "isValidating" | "e
 export declare function swrWindowEntryId(id: string, key: string): string;
 export declare function swrWindowEvictedSummaryId(id: string): string;
 export declare function outcomeFor(value: Value): string;
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=template.d.ts.map

package/dist/extract/sources/swr/template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/template.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,cAAc,EACd,MAAM,EACN,UAAU,EACV,YAAY,EACZ,gBAAgB,EAEhB,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAEjE,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,EAAE,cAAc,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,2BAA2B;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,EAAE,cAAc,CAAC;IAC9B,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IACnB,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAarE;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,kBAAkB,GAC1B,gBAAgB,CA0FlB;AAmED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,2BAA2B,GACnC,gBAAgB,CA8BlB;AAiBD,wBAAgB,OAAO,CAAC,OAAO,EAAE,kBAAkB,GAAG,YAAY,EAAE,CAwBnE;AAgCD,wBAAgB,OAAO,CACrB,KAAK,EAAE,UAAU,EACjB,EAAE,EAAE,MAAM,EACV,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GACjC,OAAO,CAgBT;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,UAAU,EACjB,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GACjC,OAAO,CAKT;AAED,wBAAgB,QAAQ,CACtB,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,OAAO,GACvC,MAAM,CAER;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE5D;AAuFD,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAE/C"}