modality-ts 0.0.9 → 0.0.10

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

@@ -0,0 +1,19 @@
+import * as harness from "./harness.js";
+import { discoverJotaiAtoms } from "./discover.js";
+import { discoverJotaiSafetyWarnings, discoverJotaiWriteChannels, } from "./writes.js";
+export function jotaiSource() {
+    return {
+        id: "jotai",
+        version: "0.1.0",
+        packageNames: ["jotai"],
+        discover: (ctx) => discoverJotaiAtoms(ctx.sourceText, ctx.fileName),
+        writeChannels: (ctx) => discoverJotaiWriteChannels(ctx.sourceText, ctx.fileName),
+        safetyWarnings: (ctx) => discoverJotaiSafetyWarnings(ctx.sourceText, ctx.fileName),
+        harness,
+        conformance: {
+            testedVersions: "jotai>=2",
+        },
+    };
+}
+export default jotaiSource;
+//# sourceMappingURL=plugin.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/plugin.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,aAAa,CAAC;AAErB,MAAM,UAAU,WAAW;IACzB,OAAO;QACL,EAAE,EAAE,OAAO;QACX,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,CAAC,OAAO,CAAC;QACvB,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QACnE,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CACrB,0BAA0B,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC1D,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CACtB,2BAA2B,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC3D,OAAO;QACP,WAAW,EAAE;YACX,cAAc,EAAE,UAAU;SAC3B;KACF,CAAC;AACJ,CAAC;AAED,eAAe,WAAW,CAAC"}

package/dist/extract/sources/jotai/transitions.d.ts

@@ -0,0 +1,15 @@
+import type { StateVarDecl } from "modality-ts/core";
+import type { RouterPlugin, StateSourcePlugin, WriteChannel } from "modality-ts/extract/engine/spi";
+import type { ExtractedModelSkeleton } from "../use-state/types.js";
+export interface JotaiExtractionOptions {
+    route?: string;
+    fileName?: string;
+    effectApis?: readonly string[];
+    routePatterns?: readonly string[];
+    stateVars?: readonly StateVarDecl[];
+    writeChannels?: readonly WriteChannel[];
+    sourcePlugins?: readonly StateSourcePlugin[];
+    routerPlugin?: RouterPlugin;
+}
+export declare function extractJotaiSkeleton(sourceText: string, options?: JotaiExtractionOptions): ExtractedModelSkeleton;
+//# sourceMappingURL=transitions.d.ts.map

package/dist/extract/sources/jotai/transitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACb,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAQpE,MAAM,WAAW,sBAAsB;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,aAAa,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,sBAA2B,GACnC,sBAAsB,CAwCxB"}

package/dist/extract/sources/jotai/transitions.js

@@ -0,0 +1,44 @@
+import { extractSharedReactTransitions } from "../shared/react-transition-extract.js";
+import { discoverJotaiAtoms } from "./discover.js";
+import { discoverJotaiSafetyWarnings, discoverJotaiWriteChannels, } from "./writes.js";
+import { jotaiSource } from "./plugin.js";
+export function extractJotaiSkeleton(sourceText, options = {}) {
+    const fileName = options.fileName ?? "App.tsx";
+    const route = options.route ?? "/";
+    const discovered = discoverJotaiAtoms(sourceText, fileName);
+    const vars = [
+        ...discovered
+            .map((decl) => decl.var)
+            .filter((decl) => Boolean(decl)),
+        ...(options.stateVars ?? []),
+    ];
+    const writeChannels = [
+        ...discoverJotaiWriteChannels(sourceText, fileName),
+        ...(options.writeChannels ?? []),
+    ];
+    const sourcePlugins = [
+        jotaiSource(),
+        ...(options.sourcePlugins ?? []),
+    ];
+    const safetyWarnings = discoverJotaiSafetyWarnings(sourceText, fileName).map((warning) => ({
+        message: warning.message,
+        ...(warning.source ? { line: warning.source.line } : {}),
+    }));
+    const { transitions, warnings = [] } = extractSharedReactTransitions({
+        sourceText,
+        fileName,
+        route,
+        effectApis: options.effectApis ?? [],
+        routePatterns: options.routePatterns ?? [],
+        stateVars: vars,
+        ...(writeChannels.length > 0 ? { writeChannels } : {}),
+        sourcePlugins,
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+    });
+    return {
+        vars,
+        transitions: [...transitions],
+        warnings: [...safetyWarnings, ...warnings],
+    };
+}
+//# sourceMappingURL=transitions.js.map

package/dist/extract/sources/jotai/transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/transitions.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AAEtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAa1C,MAAM,UAAU,oBAAoB,CAClC,UAAkB,EAClB,UAAkC,EAAE;IAEpC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG;QACX,GAAG,UAAU;aACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;aACvB,MAAM,CAAC,CAAC,IAAI,EAAwB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;KAC7B,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,GAAG,0BAA0B,CAAC,UAAU,EAAE,QAAQ,CAAC;QACnD,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;KACjC,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,WAAW,EAAE;QACb,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;KACjC,CAAC;IACF,MAAM,cAAc,GAAG,2BAA2B,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,CAC1E,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACZ,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzD,CAAC,CACH,CAAC;IACF,MAAM,EAAE,WAAW,EAAE,QAAQ,GAAG,EAAE,EAAE,GAAG,6BAA6B,CAAC;QACnE,UAAU;QACV,QAAQ;QACR,KAAK;QACL,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,SAAS,EAAE,IAAI;QACf,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,aAAa;QACb,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC;QAC7B,QAAQ,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,QAAQ,CAAC;KAC3C,CAAC;AACJ,CAAC"}

package/dist/extract/sources/shared/react-transition-extract.d.ts

@@ -0,0 +1,13 @@
+import type { Value } from "modality-ts/core";
+import type { ExtractCtx, SourceExtractionResult, WriteChannel } from "../../engine/spi/index.js";
+export type SharedReactTransitionCtx = Omit<ExtractCtx, "stateVars" | "writeChannels"> & {
+    stateVars?: readonly ExtractCtx["stateVars"][number][];
+    writeChannels?: readonly WriteChannel[];
+    asyncOutcomes?: Record<string, {
+        success: Value;
+        error?: Value;
+    }>;
+};
+export declare function extractSharedReactTransitions(ctx: SharedReactTransitionCtx): SourceExtractionResult;
+export declare function extractSharedReactTransitionInventory(ctx: SharedReactTransitionCtx): import("../../engine/ts/react-source-transitions.js").ReactSourceTransitionResult;
+//# sourceMappingURL=react-transition-extract.d.ts.map

package/dist/extract/sources/shared/react-transition-extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-transition-extract.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/shared/react-transition-extract.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EACV,UAAU,EACV,sBAAsB,EACtB,YAAY,EACb,MAAM,2BAA2B,CAAC;AAEnC,MAAM,MAAM,wBAAwB,GAAG,IAAI,CACzC,UAAU,EACV,WAAW,GAAG,eAAe,CAC9B,GAAG;IACF,SAAS,CAAC,EAAE,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IACvD,aAAa,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,OAAO,EAAE,KAAK,CAAC;QAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;CACnE,CAAC;AAkBF,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,wBAAwB,GAC5B,sBAAsB,CAMxB;AAED,wBAAgB,qCAAqC,CACnD,GAAG,EAAE,wBAAwB,qFAM9B"}

package/dist/extract/sources/shared/react-transition-extract.js

@@ -0,0 +1,22 @@
+import { extractReactSourceTransitions } from "../../engine/ts/react-source-transitions.js";
+function reactSourceTransitionOptions(ctx) {
+    return {
+        route: ctx.route,
+        fileName: ctx.fileName,
+        effectApis: ctx.effectApis,
+        routePatterns: ctx.routePatterns,
+        asyncOutcomes: ctx.asyncOutcomes,
+        sourcePlugins: ctx.sourcePlugins,
+        ...(ctx.stateVars ? { stateVars: ctx.stateVars } : {}),
+        ...(ctx.writeChannels ? { writeChannels: ctx.writeChannels } : {}),
+        ...(ctx.routerPlugin ? { routerPlugin: ctx.routerPlugin } : {}),
+    };
+}
+export function extractSharedReactTransitions(ctx) {
+    const { transitions, warnings } = extractReactSourceTransitions(ctx.sourceText, reactSourceTransitionOptions(ctx));
+    return { transitions, warnings };
+}
+export function extractSharedReactTransitionInventory(ctx) {
+    return extractReactSourceTransitions(ctx.sourceText, reactSourceTransitionOptions(ctx));
+}
+//# sourceMappingURL=react-transition-extract.js.map

package/dist/extract/sources/shared/react-transition-extract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-transition-extract.js","sourceRoot":"","sources":["../../../../src/extract/sources/shared/react-transition-extract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AAiB5F,SAAS,4BAA4B,CACnC,GAA6B;IAE7B,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,GAA6B;IAE7B,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,6BAA6B,CAC7D,GAAG,CAAC,UAAU,EACd,4BAA4B,CAAC,GAAG,CAAC,CAClC,CAAC;IACF,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,GAA6B;IAE7B,OAAO,6BAA6B,CAClC,GAAG,CAAC,UAAU,EACd,4BAA4B,CAAC,GAAG,CAAC,CAClC,CAAC;AACJ,CAAC"}

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

@@ -1,6 +1,6 @@
-import type { StateSourcePlugin } from "modality-ts/extract/engine/spi";
+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";
-export declare function swrSource(): StateSourcePlugin;
-export default swrSource;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAMxE,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;AAEvB,wBAAgB,SAAS,IAAI,iBAAiB,CAe7C;AAED,eAAe,SAAS,CAAC"}
+{"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

@@ -1,22 +1,4 @@
-import * as harness from "./harness.js";
-import { discoverSwrHooks } from "./discover.js";
-import { templateForSwrDecl } from "./template.js";
-import { discoverSwrReadChannels } from "./writes.js";
+export { swrSource, default } from "./plugin.js";
+export { extractSwrSkeleton } from "./transitions.js";
 export { createSwrKeyWindowTemplate, createSwrTemplate, outcomeFor, swrVarId, swrVars, swrView, swrWindowEntryId, swrWindowEvictedSummaryId, swrWindowView, } from "./template.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=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/index.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,OAAO,EACL,0BAA0B,EAC1B,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,yBAAyB,EACzB,aAAa,GACd,MAAM,eAAe,CAAC;AAQvB,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"}
+{"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/extract/sources/swr/transitions.d.ts

@@ -0,0 +1,15 @@
+import type { StateVarDecl } from "modality-ts/core";
+import type { RouterPlugin, StateSourcePlugin, WriteChannel } from "modality-ts/extract/engine/spi";
+import type { ExtractedModelSkeleton } from "../use-state/types.js";
+export interface SwrExtractionOptions {
+    route?: string;
+    fileName?: string;
+    effectApis?: readonly string[];
+    routePatterns?: readonly string[];
+    stateVars?: readonly StateVarDecl[];
+    writeChannels?: readonly WriteChannel[];
+    sourcePlugins?: readonly StateSourcePlugin[];
+    routerPlugin?: RouterPlugin;
+}
+export declare function extractSwrSkeleton(sourceText: string, options?: SwrExtractionOptions): ExtractedModelSkeleton;
+//# sourceMappingURL=transitions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACb,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAMpE,MAAM,WAAW,oBAAoB;IACnC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,aAAa,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,oBAAyB,GACjC,sBAAsB,CAsCxB"}

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

@@ -0,0 +1,43 @@
+import { extractSharedReactTransitions } from "../shared/react-transition-extract.js";
+import { discoverSwrHooks } from "./discover.js";
+import { swrSource } from "./plugin.js";
+import { templateForSwrDecl } from "./template.js";
+import { discoverSwrReadChannels } from "./writes.js";
+export function extractSwrSkeleton(sourceText, options = {}) {
+    const fileName = options.fileName ?? "App.tsx";
+    const route = options.route ?? "/";
+    const decls = discoverSwrHooks(sourceText, fileName);
+    const templateFragments = decls.map((decl) => templateForSwrDecl(decl));
+    const vars = [
+        ...decls
+            .map((decl) => decl.var)
+            .filter((decl) => Boolean(decl)),
+        ...templateFragments.flatMap((fragment) => fragment.vars),
+        ...(options.stateVars ?? []),
+    ];
+    const writeChannels = [
+        ...discoverSwrReadChannels(sourceText, fileName),
+        ...(options.writeChannels ?? []),
+    ];
+    const sourcePlugins = [swrSource(), ...(options.sourcePlugins ?? [])];
+    const { transitions, warnings = [] } = extractSharedReactTransitions({
+        sourceText,
+        fileName,
+        route,
+        effectApis: options.effectApis ?? [],
+        routePatterns: options.routePatterns ?? [],
+        stateVars: vars,
+        ...(writeChannels.length > 0 ? { writeChannels } : {}),
+        sourcePlugins,
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+    });
+    return {
+        vars,
+        transitions: [
+            ...transitions,
+            ...templateFragments.flatMap((fragment) => fragment.transitions),
+        ],
+        warnings: [...warnings],
+    };
+}
+//# sourceMappingURL=transitions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/transitions.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AAEtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAatD,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,UAAgC,EAAE;IAElC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,iBAAiB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,kBAAkB,CAAC,IAAI,CAAC,CACzB,CAAC;IACF,MAAM,IAAI,GAAG;QACX,GAAG,KAAK;aACL,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;aACvB,MAAM,CAAC,CAAC,IAAI,EAAwB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;QACzD,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;KAC7B,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,GAAG,uBAAuB,CAAC,UAAU,EAAE,QAAQ,CAAC;QAChD,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;KACjC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,EAAE,WAAW,EAAE,QAAQ,GAAG,EAAE,EAAE,GAAG,6BAA6B,CAAC;QACnE,UAAU;QACV,QAAQ;QACR,KAAK;QACL,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,SAAS,EAAE,IAAI;QACf,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,aAAa;QACb,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,WAAW,EAAE;YACX,GAAG,WAAW;YACd,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;SACjE;QACD,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;KACxB,CAAC;AACJ,CAAC"}

package/dist/extract/sources/use-state/transitions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/transitions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,sBAAsB,EACtB,yBAAyB,EACzB,wBAAwB,EACzB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,yBAA8B,GACtC,wBAAwB,CAE1B;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,yBAA8B,GACtC,sBAAsB,CAcxB"}
+{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/transitions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,sBAAsB,EACtB,yBAAyB,EACzB,wBAAwB,EACzB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,yBAA8B,GACtC,wBAAwB,CAE1B;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,yBAA8B,GACtC,sBAAsB,CAqBxB"}

package/dist/extract/sources/use-state/transitions.js

@@ -1,20 +1,27 @@
-import { extractReactSourceTransitions } from "../../engine/ts/react-source-transitions.js";
+import { extractSharedReactTransitionInventory } from "../shared/react-transition-extract.js";
 export function extractUseStateVars(sourceText, options = {}) {
     return extractUseStateSkeleton(sourceText, options);
 }
 export function extractUseStateSkeleton(sourceText, options = {}) {
     const fileName = options.fileName ?? "App.tsx";
     const route = options.route ?? "/";
-    return extractReactSourceTransitions(sourceText, {
-        route,
+    const ctx = {
+        sourceText,
         fileName,
-        effectApis: options.effectApis,
-        routePatterns: options.routePatterns,
+        route,
+        effectApis: options.effectApis ?? [],
+        routePatterns: options.routePatterns ?? [],
         asyncOutcomes: options.asyncOutcomes,
-        stateVars: options.stateVars,
-        writeChannels: options.writeChannels,
-        sourcePlugins: options.sourcePlugins,
+        sourcePlugins: options.sourcePlugins ?? [],
+        ...(options.stateVars ? { stateVars: options.stateVars } : {}),
+        ...(options.writeChannels ? { writeChannels: options.writeChannels } : {}),
         ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
-    });
+    };
+    const result = extractSharedReactTransitionInventory(ctx);
+    return {
+        vars: result.vars,
+        transitions: result.transitions,
+        warnings: result.warnings,
+    };
 }
 //# sourceMappingURL=transitions.js.map

package/dist/extract/sources/use-state/transitions.js.map

@@ -1 +1 @@
-{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AAO5F,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,UAAqC,EAAE;IAEvC,OAAO,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,UAAkB,EAClB,UAAqC,EAAE;IAEvC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,OAAO,6BAA6B,CAAC,UAAU,EAAE;QAC/C,KAAK;QACL,QAAQ;QACR,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../../src/extract/sources/use-state/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qCAAqC,EAAE,MAAM,uCAAuC,CAAC;AAO9F,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,UAAqC,EAAE;IAEvC,OAAO,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,UAAkB,EAClB,UAAqC,EAAE;IAEvC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,MAAM,GAAG,GAAG;QACV,UAAU;QACV,QAAQ;QACR,KAAK;QACL,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC;IACF,MAAM,MAAM,GAAG,qCAAqC,CAAC,GAAG,CAAC,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "modality-ts",
-  "version": "0.0.9",
+  "version": "0.0.10",
   "description": "Model-checking-based testing tools for React state-transition bugs.",
   "license": "MIT",
   "repository": {