modality-ts 0.0.9 → 0.0.11

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (238) hide show
  1. package/README.md +11 -7
  2. package/dist/check/diagnostics/bounds.d.ts +2 -1
  3. package/dist/check/diagnostics/bounds.d.ts.map +1 -1
  4. package/dist/check/diagnostics/bounds.js +3 -3
  5. package/dist/check/diagnostics/bounds.js.map +1 -1
  6. package/dist/check/engine/check-model.d.ts +3 -0
  7. package/dist/check/engine/check-model.d.ts.map +1 -1
  8. package/dist/check/engine/check-model.js +408 -43
  9. package/dist/check/engine/check-model.js.map +1 -1
  10. package/dist/check/engine/model-api.d.ts.map +1 -1
  11. package/dist/check/engine/model-api.js +5 -3
  12. package/dist/check/engine/model-api.js.map +1 -1
  13. package/dist/check/engine/stabilize.d.ts +2 -1
  14. package/dist/check/engine/stabilize.d.ts.map +1 -1
  15. package/dist/check/engine/stabilize.js +31 -9
  16. package/dist/check/engine/stabilize.js.map +1 -1
  17. package/dist/check/engine/state-utils.d.ts +3 -2
  18. package/dist/check/engine/state-utils.d.ts.map +1 -1
  19. package/dist/check/engine/state-utils.js +20 -7
  20. package/dist/check/engine/state-utils.js.map +1 -1
  21. package/dist/check/engine/transitions.d.ts +9 -1
  22. package/dist/check/engine/transitions.d.ts.map +1 -1
  23. package/dist/check/engine/transitions.js +32 -5
  24. package/dist/check/engine/transitions.js.map +1 -1
  25. package/dist/check/index.d.ts +1 -1
  26. package/dist/check/index.d.ts.map +1 -1
  27. package/dist/check/index.js.map +1 -1
  28. package/dist/check/properties/finalize.d.ts +4 -3
  29. package/dist/check/properties/finalize.d.ts.map +1 -1
  30. package/dist/check/properties/finalize.js +45 -9
  31. package/dist/check/properties/finalize.js.map +1 -1
  32. package/dist/check/properties/leads-to.d.ts.map +1 -1
  33. package/dist/check/properties/leads-to.js +4 -3
  34. package/dist/check/properties/leads-to.js.map +1 -1
  35. package/dist/check/properties/observe.d.ts +4 -3
  36. package/dist/check/properties/observe.d.ts.map +1 -1
  37. package/dist/check/properties/observe.js +5 -5
  38. package/dist/check/properties/observe.js.map +1 -1
  39. package/dist/check/properties/reachable-from.d.ts +4 -2
  40. package/dist/check/properties/reachable-from.d.ts.map +1 -1
  41. package/dist/check/properties/reachable-from.js +2 -2
  42. package/dist/check/properties/reachable-from.js.map +1 -1
  43. package/dist/check/slicing/slice-model.d.ts +1 -0
  44. package/dist/check/slicing/slice-model.d.ts.map +1 -1
  45. package/dist/check/slicing/slice-model.js +38 -12
  46. package/dist/check/slicing/slice-model.js.map +1 -1
  47. package/dist/check/traces/trace.d.ts +7 -2
  48. package/dist/check/traces/trace.d.ts.map +1 -1
  49. package/dist/check/traces/trace.js +9 -4
  50. package/dist/check/traces/trace.js.map +1 -1
  51. package/dist/check/types.d.ts +83 -3
  52. package/dist/check/types.d.ts.map +1 -1
  53. package/dist/cli/cli.js +134 -42
  54. package/dist/cli/cli.js.map +1 -1
  55. package/dist/cli/defaults.d.ts +13 -0
  56. package/dist/cli/defaults.d.ts.map +1 -0
  57. package/dist/cli/defaults.js +57 -0
  58. package/dist/cli/defaults.js.map +1 -0
  59. package/dist/cli/features/check/command.d.ts +7 -0
  60. package/dist/cli/features/check/command.d.ts.map +1 -1
  61. package/dist/cli/features/check/command.js +90 -13
  62. package/dist/cli/features/check/command.js.map +1 -1
  63. package/dist/cli/features/conform/command.d.ts.map +1 -1
  64. package/dist/cli/features/conform/command.js +3 -1
  65. package/dist/cli/features/conform/command.js.map +1 -1
  66. package/dist/cli/features/export/command.js +12 -4
  67. package/dist/cli/features/export/command.js.map +1 -1
  68. package/dist/cli/features/extract/command.d.ts +2 -1
  69. package/dist/cli/features/extract/command.d.ts.map +1 -1
  70. package/dist/cli/features/extract/command.js +375 -94
  71. package/dist/cli/features/extract/command.js.map +1 -1
  72. package/dist/cli/features/init/command.d.ts +9 -0
  73. package/dist/cli/features/init/command.d.ts.map +1 -0
  74. package/dist/cli/features/init/command.js +23 -0
  75. package/dist/cli/features/init/command.js.map +1 -0
  76. package/dist/cli/features/init/index.d.ts +3 -0
  77. package/dist/cli/features/init/index.d.ts.map +1 -0
  78. package/dist/cli/features/init/index.js +2 -0
  79. package/dist/cli/features/init/index.js.map +1 -0
  80. package/dist/cli/harness/index.d.ts.map +1 -1
  81. package/dist/cli/harness/index.js +17 -4
  82. package/dist/cli/harness/index.js.map +1 -1
  83. package/dist/cli/registry/index.d.ts +4 -4
  84. package/dist/cli/registry/index.d.ts.map +1 -1
  85. package/dist/cli/registry/index.js +6 -4
  86. package/dist/cli/registry/index.js.map +1 -1
  87. package/dist/core/ir/domains.d.ts +2 -0
  88. package/dist/core/ir/domains.d.ts.map +1 -1
  89. package/dist/core/ir/domains.js +71 -0
  90. package/dist/core/ir/domains.js.map +1 -1
  91. package/dist/core/ir/validator.d.ts +4 -1
  92. package/dist/core/ir/validator.d.ts.map +1 -1
  93. package/dist/core/ir/validator.js +45 -12
  94. package/dist/core/ir/validator.js.map +1 -1
  95. package/dist/core/props/index.d.ts.map +1 -1
  96. package/dist/core/props/index.js.map +1 -1
  97. package/dist/core/report/types.d.ts +68 -0
  98. package/dist/core/report/types.d.ts.map +1 -1
  99. package/dist/extract/engine/pipeline/index.d.ts +3 -1
  100. package/dist/extract/engine/pipeline/index.d.ts.map +1 -1
  101. package/dist/extract/engine/pipeline/index.js +10 -23
  102. package/dist/extract/engine/pipeline/index.js.map +1 -1
  103. package/dist/extract/engine/spi/index.d.ts +38 -7
  104. package/dist/extract/engine/spi/index.d.ts.map +1 -1
  105. package/dist/extract/engine/spi/index.js +1 -1
  106. package/dist/extract/engine/spi/index.js.map +1 -1
  107. package/dist/extract/engine/ts/domains.d.ts +1 -1
  108. package/dist/extract/engine/ts/domains.d.ts.map +1 -1
  109. package/dist/extract/engine/ts/domains.js +25 -17
  110. package/dist/extract/engine/ts/domains.js.map +1 -1
  111. package/dist/extract/engine/ts/react-source-transitions.d.ts +2 -1
  112. package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -1
  113. package/dist/extract/engine/ts/react-source-transitions.js +17 -7
  114. package/dist/extract/engine/ts/react-source-transitions.js.map +1 -1
  115. package/dist/extract/engine/ts/routes.d.ts +2 -2
  116. package/dist/extract/engine/ts/routes.d.ts.map +1 -1
  117. package/dist/extract/engine/ts/routes.js +5 -24
  118. package/dist/extract/engine/ts/routes.js.map +1 -1
  119. package/dist/extract/engine/ts/static-navigation.d.ts +2 -1
  120. package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -1
  121. package/dist/extract/engine/ts/static-navigation.js +30 -20
  122. package/dist/extract/engine/ts/static-navigation.js.map +1 -1
  123. package/dist/extract/engine/ts/transition/async.d.ts +3 -10
  124. package/dist/extract/engine/ts/transition/async.d.ts.map +1 -1
  125. package/dist/extract/engine/ts/transition/async.js +60 -59
  126. package/dist/extract/engine/ts/transition/async.js.map +1 -1
  127. package/dist/extract/engine/ts/transition/effects.d.ts +2 -23
  128. package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -1
  129. package/dist/extract/engine/ts/transition/effects.js +10 -171
  130. package/dist/extract/engine/ts/transition/effects.js.map +1 -1
  131. package/dist/extract/engine/ts/transition/expressions.d.ts +1 -0
  132. package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -1
  133. package/dist/extract/engine/ts/transition/expressions.js +24 -1
  134. package/dist/extract/engine/ts/transition/expressions.js.map +1 -1
  135. package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -1
  136. package/dist/extract/engine/ts/transition/guards.js +11 -2
  137. package/dist/extract/engine/ts/transition/guards.js.map +1 -1
  138. package/dist/extract/engine/ts/transition/handlers.d.ts +2 -23
  139. package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -1
  140. package/dist/extract/engine/ts/transition/handlers.js +46 -188
  141. package/dist/extract/engine/ts/transition/handlers.js.map +1 -1
  142. package/dist/extract/engine/ts/transition/locals.d.ts +4 -0
  143. package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -1
  144. package/dist/extract/engine/ts/transition/locals.js +27 -16
  145. package/dist/extract/engine/ts/transition/locals.js.map +1 -1
  146. package/dist/extract/engine/ts/transition/navigation.d.ts +7 -5
  147. package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -1
  148. package/dist/extract/engine/ts/transition/navigation.js +85 -41
  149. package/dist/extract/engine/ts/transition/navigation.js.map +1 -1
  150. package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -1
  151. package/dist/extract/engine/ts/transition/plugin-calls.js +1 -1
  152. package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -1
  153. package/dist/extract/engine/ts/transition/statement-summary.d.ts +34 -0
  154. package/dist/extract/engine/ts/transition/statement-summary.d.ts.map +1 -0
  155. package/dist/extract/engine/ts/transition/statement-summary.js +502 -0
  156. package/dist/extract/engine/ts/transition/statement-summary.js.map +1 -0
  157. package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -1
  158. package/dist/extract/engine/ts/transition/timers.js +7 -17
  159. package/dist/extract/engine/ts/transition/timers.js.map +1 -1
  160. package/dist/extract/sources/jotai/domains.d.ts +2 -1
  161. package/dist/extract/sources/jotai/domains.d.ts.map +1 -1
  162. package/dist/extract/sources/jotai/domains.js +2 -164
  163. package/dist/extract/sources/jotai/domains.js.map +1 -1
  164. package/dist/extract/sources/jotai/harness.d.ts.map +1 -1
  165. package/dist/extract/sources/jotai/harness.js +5 -2
  166. package/dist/extract/sources/jotai/harness.js.map +1 -1
  167. package/dist/extract/sources/jotai/index.d.ts +3 -3
  168. package/dist/extract/sources/jotai/index.d.ts.map +1 -1
  169. package/dist/extract/sources/jotai/index.js +2 -18
  170. package/dist/extract/sources/jotai/index.js.map +1 -1
  171. package/dist/extract/sources/jotai/plugin.d.ts +4 -0
  172. package/dist/extract/sources/jotai/plugin.d.ts.map +1 -0
  173. package/dist/extract/sources/jotai/plugin.js +19 -0
  174. package/dist/extract/sources/jotai/plugin.js.map +1 -0
  175. package/dist/extract/sources/jotai/transitions.d.ts +15 -0
  176. package/dist/extract/sources/jotai/transitions.d.ts.map +1 -0
  177. package/dist/extract/sources/jotai/transitions.js +41 -0
  178. package/dist/extract/sources/jotai/transitions.js.map +1 -0
  179. package/dist/extract/sources/router/discover.d.ts +9 -0
  180. package/dist/extract/sources/router/discover.d.ts.map +1 -0
  181. package/dist/extract/sources/router/discover.js +135 -0
  182. package/dist/extract/sources/router/discover.js.map +1 -0
  183. package/dist/extract/sources/router/index.d.ts +7 -3
  184. package/dist/extract/sources/router/index.d.ts.map +1 -1
  185. package/dist/extract/sources/router/index.js +21 -12
  186. package/dist/extract/sources/router/index.js.map +1 -1
  187. package/dist/extract/sources/router/navigation.d.ts +3 -4
  188. package/dist/extract/sources/router/navigation.d.ts.map +1 -1
  189. package/dist/extract/sources/router/navigation.js +33 -1
  190. package/dist/extract/sources/router/navigation.js.map +1 -1
  191. package/dist/extract/sources/router/redirects.d.ts +4 -0
  192. package/dist/extract/sources/router/redirects.d.ts.map +1 -0
  193. package/dist/extract/sources/router/redirects.js +37 -0
  194. package/dist/extract/sources/router/redirects.js.map +1 -0
  195. package/dist/extract/sources/router/routes.d.ts +2 -2
  196. package/dist/extract/sources/router/routes.d.ts.map +1 -1
  197. package/dist/extract/sources/router/routes.js +24 -6
  198. package/dist/extract/sources/router/routes.js.map +1 -1
  199. package/dist/extract/sources/shared/react-transition-extract.d.ts +14 -0
  200. package/dist/extract/sources/shared/react-transition-extract.d.ts.map +1 -0
  201. package/dist/extract/sources/shared/react-transition-extract.js +23 -0
  202. package/dist/extract/sources/shared/react-transition-extract.js.map +1 -0
  203. package/dist/extract/sources/swr/domains.d.ts +3 -2
  204. package/dist/extract/sources/swr/domains.d.ts.map +1 -1
  205. package/dist/extract/sources/swr/domains.js +3 -96
  206. package/dist/extract/sources/swr/domains.js.map +1 -1
  207. package/dist/extract/sources/swr/harness.d.ts.map +1 -1
  208. package/dist/extract/sources/swr/harness.js +13 -6
  209. package/dist/extract/sources/swr/harness.js.map +1 -1
  210. package/dist/extract/sources/swr/index.d.ts +3 -3
  211. package/dist/extract/sources/swr/index.d.ts.map +1 -1
  212. package/dist/extract/sources/swr/index.js +2 -20
  213. package/dist/extract/sources/swr/index.js.map +1 -1
  214. package/dist/extract/sources/swr/plugin.d.ts +4 -0
  215. package/dist/extract/sources/swr/plugin.d.ts.map +1 -0
  216. package/dist/extract/sources/swr/plugin.js +21 -0
  217. package/dist/extract/sources/swr/plugin.js.map +1 -0
  218. package/dist/extract/sources/swr/template.js +1 -1
  219. package/dist/extract/sources/swr/template.js.map +1 -1
  220. package/dist/extract/sources/swr/transitions.d.ts +15 -0
  221. package/dist/extract/sources/swr/transitions.d.ts.map +1 -0
  222. package/dist/extract/sources/swr/transitions.js +43 -0
  223. package/dist/extract/sources/swr/transitions.js.map +1 -0
  224. package/dist/extract/sources/swr/writes.d.ts.map +1 -1
  225. package/dist/extract/sources/swr/writes.js +1 -1
  226. package/dist/extract/sources/swr/writes.js.map +1 -1
  227. package/dist/extract/sources/use-state/harness.d.ts.map +1 -1
  228. package/dist/extract/sources/use-state/harness.js +5 -2
  229. package/dist/extract/sources/use-state/harness.js.map +1 -1
  230. package/dist/extract/sources/use-state/index.d.ts.map +1 -1
  231. package/dist/extract/sources/use-state/index.js +1 -166
  232. package/dist/extract/sources/use-state/index.js.map +1 -1
  233. package/dist/extract/sources/use-state/transitions.d.ts.map +1 -1
  234. package/dist/extract/sources/use-state/transitions.js +17 -9
  235. package/dist/extract/sources/use-state/transitions.js.map +1 -1
  236. package/dist/extract/sources/use-state/types.d.ts +1 -0
  237. package/dist/extract/sources/use-state/types.d.ts.map +1 -1
  238. package/package.json +2 -2
@@ -1,22 +1,31 @@
1
+ import { discoverRoutes, routeForComponent } from "./discover.js";
1
2
  import * as harness from "./harness.js";
2
- import { navigationCall } from "./navigation.js";
3
- import { routeVars } from "./routes.js";
4
- export function routerSource(options = {}) {
3
+ import { classifyNavigationCall, classifyNavigationJsx } from "./navigation.js";
4
+ import { locationVars } from "./routes.js";
5
+ export function reactRouterAdapter(options = {}) {
5
6
  const historyMaxLen = options.historyMaxLen ?? 4;
7
+ const withHistoryBounds = (resolvedOptions) => ({
8
+ ...resolvedOptions,
9
+ bounds: {
10
+ ...resolvedOptions.bounds,
11
+ maxHistory: resolvedOptions.bounds?.maxHistory ?? historyMaxLen,
12
+ },
13
+ });
6
14
  return {
7
15
  id: options.id ?? "router",
8
16
  version: "0.1.0",
9
17
  packageNames: options.packageNames ?? ["react-router", "react-router-dom"],
10
- routeVars: (routes, resolvedOptions) => routeVars(routes, {
11
- ...resolvedOptions,
12
- bounds: {
13
- ...resolvedOptions.bounds,
14
- maxHistory: resolvedOptions.bounds?.maxHistory ?? historyMaxLen,
15
- },
16
- }),
17
- navigationCall,
18
+ discoverRoutes,
19
+ classifyNavigationCall,
20
+ classifyNavigationJsx,
21
+ routeForComponent,
22
+ locationVars: (inventory, resolvedOptions, lowering) => locationVars(inventory, withHistoryBounds(resolvedOptions), lowering),
18
23
  harness,
19
24
  };
20
25
  }
21
- export default routerSource;
26
+ /** @deprecated use reactRouterAdapter */
27
+ export const routerSource = reactRouterAdapter;
28
+ export { parseReactRouterRoutes } from "./discover.js";
29
+ export { synthesizeRedirectTransitions } from "./redirects.js";
30
+ export default reactRouterAdapter;
22
31
  //# sourceMappingURL=index.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAQxC,MAAM,UAAU,YAAY,CAAC,UAA+B,EAAE;IAC5D,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,QAAQ;QAC1B,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,CAAC,cAAc,EAAE,kBAAkB,CAAC;QAC1E,SAAS,EAAE,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,CACrC,SAAS,CAAC,MAAM,EAAE;YAChB,GAAG,eAAe;YAClB,MAAM,EAAE;gBACN,GAAG,eAAe,CAAC,MAAM;gBACzB,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,UAAU,IAAI,aAAa;aAChE;SACF,CAAC;QACJ,cAAc;QACd,OAAO;KACR,CAAC;AACJ,CAAC;AAED,eAAe,YAAY,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAQ3C,MAAM,UAAU,kBAAkB,CAChC,UAA+B,EAAE;IAEjC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,MAAM,iBAAiB,GAAG,CACxB,eAAgC,EACf,EAAE,CAAC,CAAC;QACrB,GAAG,eAAe;QAClB,MAAM,EAAE;YACN,GAAG,eAAe,CAAC,MAAM;YACzB,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,UAAU,IAAI,aAAa;SAChE;KACF,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,QAAQ;QAC1B,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,CAAC,cAAc,EAAE,kBAAkB,CAAC;QAC1E,cAAc;QACd,sBAAsB;QACtB,qBAAqB;QACrB,iBAAiB;QACjB,YAAY,EAAE,CAAC,SAAS,EAAE,eAAe,EAAE,QAAQ,EAAE,EAAE,CACrD,YAAY,CAAC,SAAS,EAAE,iBAAiB,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC;QACvE,OAAO;KACR,CAAC;AACJ,CAAC;AAED,yCAAyC;AACzC,MAAM,CAAC,MAAM,YAAY,GAAG,kBAAkB,CAAC;AAE/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,gBAAgB,CAAC;AAE/D,eAAe,kBAAkB,CAAC"}
@@ -1,5 +1,4 @@
1
- export declare function navigationCall(callee: string, args: readonly unknown[]): {
2
- mode: "push" | "replace" | "back";
3
- to?: string;
4
- } | "unsupported";
1
+ import type { NavIntent } from "modality-ts/extract/engine/spi";
2
+ export declare function classifyNavigationCall(callee: string, args: readonly unknown[]): NavIntent | "unsupported";
3
+ export declare function classifyNavigationJsx(tag: string, attrs: ReadonlyMap<string, unknown>): NavIntent | "unsupported";
5
4
  //# sourceMappingURL=navigation.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/navigation.ts"],"names":[],"mappings":"AAAA,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,OAAO,EAAE,GACvB;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,aAAa,CAepE"}
1
+ {"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/navigation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAEhE,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,OAAO,EAAE,GACvB,SAAS,GAAG,aAAa,CA8B3B;AAED,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,GAClC,SAAS,GAAG,aAAa,CAiB3B"}
@@ -1,6 +1,14 @@
1
- export function navigationCall(callee, args) {
1
+ export function classifyNavigationCall(callee, args) {
2
+ if (callee.endsWith(".forward") || callee.endsWith(".go") || callee === "go")
3
+ return "unsupported";
2
4
  if (callee === "navigate" && args.length === 1 && typeof args[0] === "string")
3
5
  return { mode: "push", to: args[0] };
6
+ if (callee === "navigate" &&
7
+ args.length === 2 &&
8
+ typeof args[0] === "string" &&
9
+ isReplaceOptions(args[1])) {
10
+ return { mode: "replace", to: args[0] };
11
+ }
4
12
  if ((callee.endsWith(".push") || callee.endsWith(".replace")) &&
5
13
  args.length === 1 &&
6
14
  typeof args[0] === "string") {
@@ -13,4 +21,28 @@ export function navigationCall(callee, args) {
13
21
  return { mode: "back" };
14
22
  return "unsupported";
15
23
  }
24
+ export function classifyNavigationJsx(tag, attrs) {
25
+ if (tag === "Link") {
26
+ const to = attrs.get("to");
27
+ if (typeof to === "string")
28
+ return { mode: "push", to };
29
+ return "unsupported";
30
+ }
31
+ if (tag === "Navigate") {
32
+ const to = attrs.get("to");
33
+ if (typeof to !== "string")
34
+ return "unsupported";
35
+ return {
36
+ mode: attrs.has("replace") ? "replace" : "push",
37
+ to,
38
+ };
39
+ }
40
+ return "unsupported";
41
+ }
42
+ function isReplaceOptions(value) {
43
+ return (typeof value === "object" &&
44
+ value !== null &&
45
+ "replace" in value &&
46
+ value.replace === true);
47
+ }
16
48
  //# sourceMappingURL=navigation.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"navigation.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/navigation.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,IAAwB;IAExB,IAAI,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACvC,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAC3B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YACtD,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;SACZ,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC3E,OAAO,aAAa,CAAC;AACvB,CAAC"}
1
+ {"version":3,"file":"navigation.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/navigation.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,sBAAsB,CACpC,MAAc,EACd,IAAwB;IAExB,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,KAAK,IAAI;QAC1E,OAAO,aAAa,CAAC;IAEvB,IAAI,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvC,IACE,MAAM,KAAK,UAAU;QACrB,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC3B,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACzB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1C,CAAC;IAED,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAC3B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YACtD,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;SACZ,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAE3E,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,GAAW,EACX,KAAmC;IAEnC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACxD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,OAAO,aAAa,CAAC;QACjD,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YAC/C,EAAE;SACH,CAAC;IACJ,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,SAAS,IAAI,KAAK;QACjB,KAA8B,CAAC,OAAO,KAAK,IAAI,CACjD,CAAC;AACJ,CAAC"}
@@ -0,0 +1,4 @@
1
+ import type { Transition } from "modality-ts/core";
2
+ import type { RouteInventory } from "modality-ts/extract/engine/spi";
3
+ export declare function synthesizeRedirectTransitions(inventory: RouteInventory): readonly Transition[];
4
+ //# sourceMappingURL=redirects.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"redirects.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/redirects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAY,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAIrE,wBAAgB,6BAA6B,CAC3C,SAAS,EAAE,cAAc,GACxB,SAAS,UAAU,EAAE,CAkCvB"}
@@ -0,0 +1,37 @@
1
+ import { safeId } from "../../engine/ts/ids.js";
2
+ import { routeMountGuard } from "../../engine/ts/routes.js";
3
+ export function synthesizeRedirectTransitions(inventory) {
4
+ const modeledPatterns = new Set(inventory.routes
5
+ .filter((node) => node.kind === "page" || node.kind === "index")
6
+ .map((node) => node.pattern));
7
+ const transitions = [];
8
+ for (const node of inventory.routes) {
9
+ const target = node.redirectTo;
10
+ if (!target || !modeledPatterns.has(target))
11
+ continue;
12
+ transitions.push({
13
+ id: `route:${node.pattern}.redirect.${safeId(target)}`,
14
+ cls: "nav",
15
+ label: { kind: "navigate", mode: "push", to: target },
16
+ source: [],
17
+ guard: routeMountGuard(node.pattern),
18
+ effect: {
19
+ kind: "navigate",
20
+ mode: "replace",
21
+ to: { kind: "lit", value: target },
22
+ },
23
+ reads: ["sys:route", "sys:history"],
24
+ writes: ["sys:route", "sys:history"],
25
+ confidence: "exact",
26
+ });
27
+ }
28
+ return transitions.sort((left, right) => left.id.localeCompare(right.id) ||
29
+ navigateTarget(left.effect).localeCompare(navigateTarget(right.effect)));
30
+ }
31
+ function navigateTarget(effect) {
32
+ if (effect.kind === "navigate" && effect.to?.kind === "lit") {
33
+ return String(effect.to.value);
34
+ }
35
+ return "";
36
+ }
37
+ //# sourceMappingURL=redirects.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"redirects.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/redirects.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,MAAM,UAAU,6BAA6B,CAC3C,SAAyB;IAEzB,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,SAAS,CAAC,MAAM;SACb,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;SAC/D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAC/B,CAAC;IACF,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAEtD,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,SAAS,IAAI,CAAC,OAAO,aAAa,MAAM,CAAC,MAAM,CAAC,EAAE;YACtD,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE;YACrD,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC;YACpC,MAAM,EAAE;gBACN,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE;aACnC;YACD,KAAK,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC;YACnC,MAAM,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC;YACpC,UAAU,EAAE,OAAO;SACpB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,WAAW,CAAC,IAAI,CACrB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,MAAgB;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,EAAE,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}
@@ -1,4 +1,4 @@
1
- import type { ResolvedOptions } from "modality-ts/extract/engine/spi";
1
+ import type { LocationLowering, ResolvedOptions, RouteInventory } from "modality-ts/extract/engine/spi";
2
2
  import type { StateVarDecl } from "modality-ts/core";
3
- export declare function routeVars(routes: readonly string[], options: ResolvedOptions): readonly StateVarDecl[];
3
+ export declare function locationVars(inventory: RouteInventory, options: ResolvedOptions, lowering: LocationLowering): readonly StateVarDecl[];
4
4
  //# sourceMappingURL=routes.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"routes.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/routes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAkB,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErE,wBAAgB,SAAS,CACvB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,eAAe,GACvB,SAAS,YAAY,EAAE,CAuBzB"}
1
+ {"version":3,"file":"routes.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/routes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,eAAe,EACf,cAAc,EACf,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAkB,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErE,wBAAgB,YAAY,CAC1B,SAAS,EAAE,cAAc,EACzB,OAAO,EAAE,eAAe,EACxB,QAAQ,EAAE,gBAAgB,GACzB,SAAS,YAAY,EAAE,CA0CzB"}
@@ -1,6 +1,20 @@
1
- export function routeVars(routes, options) {
2
- const values = uniqueRoutes(routes, options.route);
3
- const routeDomain = { kind: "enum", values };
1
+ export function locationVars(inventory, options, lowering) {
2
+ const uiPatterns = inventory.routes
3
+ .filter((node) => node.kind === "page" || node.kind === "index")
4
+ .map((node) => node.pattern);
5
+ const routeValues = uniqueRoutes([
6
+ options.route,
7
+ ...uiPatterns,
8
+ ...lowering.pushTargets,
9
+ ]);
10
+ const routeDomain = { kind: "enum", values: routeValues };
11
+ const historyRoutes = clampToRouteDomain(lowering.hasUnboundPush
12
+ ? routeValues
13
+ : uniqueRoutes([
14
+ options.route,
15
+ ...lowering.pushTargets,
16
+ ...lowering.pushOrigins,
17
+ ]), routeValues);
4
18
  return [
5
19
  {
6
20
  id: "sys:route",
@@ -13,7 +27,7 @@ export function routeVars(routes, options) {
13
27
  id: "sys:history",
14
28
  domain: {
15
29
  kind: "boundedList",
16
- inner: routeDomain,
30
+ inner: { kind: "enum", values: historyRoutes },
17
31
  maxLen: options.bounds?.maxHistory ?? 4,
18
32
  },
19
33
  origin: "system",
@@ -22,7 +36,11 @@ export function routeVars(routes, options) {
22
36
  },
23
37
  ];
24
38
  }
25
- function uniqueRoutes(routes, initialRoute) {
26
- return [...new Set([initialRoute, ...routes])];
39
+ function clampToRouteDomain(historyRoutes, routeValues) {
40
+ const allowed = new Set(routeValues);
41
+ return uniqueRoutes(historyRoutes.filter((route) => allowed.has(route)));
42
+ }
43
+ function uniqueRoutes(routes) {
44
+ return [...new Set(routes)];
27
45
  }
28
46
  //# sourceMappingURL=routes.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"routes.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/routes.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,SAAS,CACvB,MAAyB,EACzB,OAAwB;IAExB,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,WAAW,GAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC7D,OAAO;QACL;YACE,EAAE,EAAE,WAAW;YACf,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,OAAO,CAAC,KAAK;SACvB;QACD;YACE,EAAE,EAAE,aAAa;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC;aACxC;YACD,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,MAAyB,EACzB,YAAoB;IAEpB,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}
1
+ {"version":3,"file":"routes.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/routes.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,YAAY,CAC1B,SAAyB,EACzB,OAAwB,EACxB,QAA0B;IAE1B,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM;SAChC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;SAC/D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,WAAW,GAAG,YAAY,CAAC;QAC/B,OAAO,CAAC,KAAK;QACb,GAAG,UAAU;QACb,GAAG,QAAQ,CAAC,WAAW;KACxB,CAAC,CAAC;IACH,MAAM,WAAW,GAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAE1E,MAAM,aAAa,GAAG,kBAAkB,CACtC,QAAQ,CAAC,cAAc;QACrB,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,YAAY,CAAC;YACX,OAAO,CAAC,KAAK;YACb,GAAG,QAAQ,CAAC,WAAW;YACvB,GAAG,QAAQ,CAAC,WAAW;SACxB,CAAC,EACN,WAAW,CACZ,CAAC;IAEF,OAAO;QACL;YACE,EAAE,EAAE,WAAW;YACf,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,OAAO,CAAC,KAAK;SACvB;QACD;YACE,EAAE,EAAE,aAAa;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE;gBAC9C,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC;aACxC;YACD,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,aAAgC,EAChC,WAA8B;IAE9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IACrC,OAAO,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,YAAY,CAAC,MAAyB;IAC7C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC"}
@@ -0,0 +1,14 @@
1
+ import type { Value } from "modality-ts/core";
2
+ import type { ExtractCtx, SourceExtractionResult, WriteChannel } from "../../engine/spi/index.js";
3
+ export type SharedReactTransitionCtx = Omit<ExtractCtx, "stateVars" | "writeChannels"> & {
4
+ stateVars?: readonly ExtractCtx["stateVars"][number][];
5
+ writeChannels?: readonly WriteChannel[];
6
+ asyncOutcomes?: Record<string, {
7
+ success: Value;
8
+ error?: Value;
9
+ }>;
10
+ inventory?: import("../../engine/spi/index.js").RouteInventory;
11
+ };
12
+ export declare function extractSharedReactTransitions(ctx: SharedReactTransitionCtx): SourceExtractionResult;
13
+ export declare function extractSharedReactTransitionInventory(ctx: SharedReactTransitionCtx): import("../../engine/ts/react-source-transitions.js").ReactSourceTransitionResult;
14
+ //# sourceMappingURL=react-transition-extract.d.ts.map
@@ -0,0 +1 @@
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;IAClE,SAAS,CAAC,EAAE,OAAO,2BAA2B,EAAE,cAAc,CAAC;CAChE,CAAC;AAiBF,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,wBAAwB,GAC5B,sBAAsB,CAMxB;AAED,wBAAgB,qCAAqC,CACnD,GAAG,EAAE,wBAAwB,qFAM9B"}
@@ -0,0 +1,23 @@
1
+ import { extractReactSourceTransitions } from "../../engine/ts/react-source-transitions.js";
2
+ function reactSourceTransitionOptions(ctx) {
3
+ return {
4
+ route: ctx.route,
5
+ fileName: ctx.fileName,
6
+ effectApis: ctx.effectApis,
7
+ routePatterns: ctx.routePatterns,
8
+ asyncOutcomes: ctx.asyncOutcomes,
9
+ sourcePlugins: ctx.sourcePlugins,
10
+ ...(ctx.stateVars ? { stateVars: ctx.stateVars } : {}),
11
+ ...(ctx.writeChannels ? { writeChannels: ctx.writeChannels } : {}),
12
+ ...(ctx.routerPlugin ? { routerPlugin: ctx.routerPlugin } : {}),
13
+ ...(ctx.inventory ? { inventory: ctx.inventory } : {}),
14
+ };
15
+ }
16
+ export function extractSharedReactTransitions(ctx) {
17
+ const { transitions, warnings } = extractReactSourceTransitions(ctx.sourceText, reactSourceTransitionOptions(ctx));
18
+ return { transitions, warnings };
19
+ }
20
+ export function extractSharedReactTransitionInventory(ctx) {
21
+ return extractReactSourceTransitions(ctx.sourceText, reactSourceTransitionOptions(ctx));
22
+ }
23
+ //# sourceMappingURL=react-transition-extract.js.map
@@ -0,0 +1 @@
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;AAkB5F,SAAS,4BAA4B,CAAC,GAA6B;IACjE,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;QAC/D,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvD,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"}
@@ -1,5 +1,6 @@
1
1
  import type { AbstractDomain } from "modality-ts/core";
2
- import * as ts from "typescript";
2
+ import { typeAliasDeclarations } from "modality-ts/extract/engine/spi";
3
+ import type * as ts from "typescript";
4
+ export { typeAliasDeclarations };
3
5
  export declare function inferPayloadDomain(typeArg: ts.TypeNode | undefined, typeAliases?: ReadonlyMap<string, ts.TypeNode>): AbstractDomain;
4
- export declare function typeAliasDeclarations(source: ts.SourceFile): Map<string, ts.TypeNode>;
5
6
  //# sourceMappingURL=domains.d.ts.map
@@ -1 +1 @@
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"}
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,EAEL,qBAAqB,EACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAEtC,OAAO,EAAE,qBAAqB,EAAE,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,CAEhB"}
@@ -1,99 +1,6 @@
1
- import * as ts from "typescript";
1
+ import { inferDomainFromTypeNode, typeAliasDeclarations, } from "modality-ts/extract/engine/spi";
2
+ export { typeAliasDeclarations };
2
3
  export function inferPayloadDomain(typeArg, typeAliases = new Map()) {
3
- if (!typeArg)
4
- return { kind: "tokens", count: 1 };
5
- switch (typeArg.kind) {
6
- case ts.SyntaxKind.BooleanKeyword:
7
- return { kind: "bool" };
8
- case ts.SyntaxKind.LiteralType:
9
- return domainFromLiteralType(typeArg);
10
- case ts.SyntaxKind.UnionType:
11
- return domainFromUnion(typeArg, typeAliases);
12
- case ts.SyntaxKind.TypeLiteral:
13
- return domainFromTypeLiteral(typeArg, typeAliases);
14
- case ts.SyntaxKind.ArrayType:
15
- return { kind: "lengthCat" };
16
- case ts.SyntaxKind.TypeReference: {
17
- const name = typeArg.typeName.getText();
18
- const alias = typeAliases.get(name);
19
- if (alias)
20
- return inferPayloadDomain(alias, typeAliases);
21
- if (name === "Array" || name === "ReadonlyArray")
22
- return { kind: "lengthCat" };
23
- return { kind: "tokens", count: 1 };
24
- }
25
- default:
26
- return { kind: "tokens", count: 1 };
27
- }
28
- }
29
- function domainFromLiteralType(node) {
30
- const lit = node.literal;
31
- if (lit.kind === ts.SyntaxKind.TrueKeyword ||
32
- lit.kind === ts.SyntaxKind.FalseKeyword)
33
- return { kind: "bool" };
34
- if (ts.isStringLiteral(lit))
35
- return { kind: "enum", values: [lit.text] };
36
- if (ts.isNumericLiteral(lit))
37
- return { kind: "boundedInt", min: Number(lit.text), max: Number(lit.text) };
38
- if (lit.kind === ts.SyntaxKind.NullKeyword)
39
- return { kind: "option", inner: { kind: "tokens", count: 1 } };
40
- return { kind: "tokens", count: 1 };
41
- }
42
- function domainFromUnion(node, typeAliases = new Map()) {
43
- const nonNull = node.types.filter((part) => part.kind !== ts.SyntaxKind.UndefinedKeyword &&
44
- !(ts.isLiteralTypeNode(part) &&
45
- part.literal.kind === ts.SyntaxKind.NullKeyword));
46
- if (nonNull.length !== node.types.length && nonNull.length > 0) {
47
- return {
48
- kind: "option",
49
- inner: nonNull.length === 1
50
- ? inferPayloadDomain(nonNull[0], typeAliases)
51
- : domainFromUnionMembers(nonNull),
52
- };
53
- }
54
- return domainFromUnionMembers(node.types);
55
- }
56
- function domainFromUnionMembers(types) {
57
- const literalValues = [];
58
- const numericValues = [];
59
- for (const part of types) {
60
- if (!ts.isLiteralTypeNode(part))
61
- return { kind: "tokens", count: 1 };
62
- const lit = part.literal;
63
- if (ts.isStringLiteral(lit))
64
- literalValues.push(lit.text);
65
- else if (ts.isNumericLiteral(lit))
66
- numericValues.push(Number(lit.text));
67
- else
68
- return { kind: "tokens", count: 1 };
69
- }
70
- if (numericValues.length === types.length)
71
- return {
72
- kind: "boundedInt",
73
- min: Math.min(...numericValues),
74
- max: Math.max(...numericValues),
75
- };
76
- return { kind: "enum", values: literalValues };
77
- }
78
- function domainFromTypeLiteral(node, typeAliases) {
79
- const fields = {};
80
- for (const member of node.members) {
81
- if (!ts.isPropertySignature(member) ||
82
- !member.type ||
83
- !ts.isIdentifier(member.name))
84
- continue;
85
- fields[member.name.text] = inferPayloadDomain(member.type, typeAliases);
86
- }
87
- return { kind: "record", fields };
88
- }
89
- export function typeAliasDeclarations(source) {
90
- const aliases = new Map();
91
- const visit = (node) => {
92
- if (ts.isTypeAliasDeclaration(node) && ts.isIdentifier(node.name))
93
- aliases.set(node.name.text, node.type);
94
- ts.forEachChild(node, visit);
95
- };
96
- visit(source);
97
- return aliases;
4
+ return inferDomainFromTypeNode(typeArg, typeAliases);
98
5
  }
99
6
  //# sourceMappingURL=domains.js.map
@@ -1 +1 @@
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"}
1
+ {"version":3,"file":"domains.js","sourceRoot":"","sources":["../../../../src/extract/sources/swr/domains.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,gCAAgC,CAAC;AAGxC,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,MAAM,UAAU,kBAAkB,CAChC,OAAgC,EAChC,cAAgD,IAAI,GAAG,EAAE;IAEzD,OAAO,uBAAuB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AACvD,CAAC"}
@@ -1 +1 @@
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"}
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,CAc/B;AAED,wBAAgB,OAAO,CACrB,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,MAAM,GACb,cAAc,GAAG,SAAS,CAE5B"}
@@ -8,13 +8,20 @@ export function setup(ctx) {
8
8
  }
9
9
  export function observe(varId, handles) {
10
10
  const swr = handles;
11
- if (swr.cache.has(varId))
12
- return { value: swr.cache.get(varId) };
11
+ const cached = swr.cache.get(varId);
12
+ if (cached !== undefined)
13
+ return { value: cached };
13
14
  const key = cacheKeyForVar(varId);
14
- if (key && swr.cache.has(key))
15
- return { value: swr.cache.get(key) };
16
- if (varId in swr.initialState)
17
- return { value: swr.initialState[varId] };
15
+ if (key) {
16
+ const keyed = swr.cache.get(key);
17
+ if (keyed !== undefined)
18
+ return { value: keyed };
19
+ }
20
+ if (varId in swr.initialState) {
21
+ const initial = swr.initialState[varId];
22
+ if (initial !== undefined)
23
+ return { value: initial };
24
+ }
18
25
  return "unobservable";
19
26
  }
20
27
  export function witness(_domain, _varId) {
@@ -1 +1 @@
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"}
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,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACnD,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACvD,CAAC;IACD,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"}
@@ -1,6 +1,6 @@
1
- import type { StateSourcePlugin } from "modality-ts/extract/engine/spi";
1
+ export { swrSource, default } from "./plugin.js";
2
+ export { extractSwrSkeleton } from "./transitions.js";
3
+ export type { SwrExtractionOptions } from "./transitions.js";
2
4
  export { createSwrKeyWindowTemplate, createSwrTemplate, outcomeFor, swrVarId, swrVars, swrView, swrWindowEntryId, swrWindowEvictedSummaryId, swrWindowView, } from "./template.js";
3
5
  export type { SwrKeyWindowEntry, SwrKeyWindowTemplateOptions, SwrTemplateOptions, SwrView, } from "./template.js";
4
- export declare function swrSource(): StateSourcePlugin;
5
- export default swrSource;
6
6
  //# sourceMappingURL=index.d.ts.map
@@ -1 +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"}
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"}
@@ -1,22 +1,4 @@
1
- import * as harness from "./harness.js";
2
- import { discoverSwrHooks } from "./discover.js";
3
- import { templateForSwrDecl } from "./template.js";
4
- import { discoverSwrReadChannels } from "./writes.js";
1
+ export { swrSource, default } from "./plugin.js";
2
+ export { extractSwrSkeleton } from "./transitions.js";
5
3
  export { createSwrKeyWindowTemplate, createSwrTemplate, outcomeFor, swrVarId, swrVars, swrView, swrWindowEntryId, swrWindowEvictedSummaryId, swrWindowView, } from "./template.js";
6
- export function swrSource() {
7
- return {
8
- id: "swr",
9
- version: "0.1.0",
10
- packageNames: ["swr"],
11
- discover: (ctx) => discoverSwrHooks(ctx.sourceText, ctx.fileName),
12
- writeChannels: (ctx) => discoverSwrReadChannels(ctx.sourceText, ctx.fileName),
13
- template: (decl) => templateForSwrDecl(decl),
14
- harness,
15
- conformance: {
16
- templateProbes: [],
17
- testedVersions: "swr>=2",
18
- },
19
- };
20
- }
21
- export default swrSource;
22
4
  //# sourceMappingURL=index.js.map
@@ -1 +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"}
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"}
@@ -0,0 +1,4 @@
1
+ import type { StateSourcePlugin } from "modality-ts/extract/engine/spi";
2
+ export declare function swrSource(): StateSourcePlugin;
3
+ export default swrSource;
4
+ //# sourceMappingURL=plugin.d.ts.map
@@ -0,0 +1 @@
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"}
@@ -0,0 +1,21 @@
1
+ import * as harness from "./harness.js";
2
+ import { discoverSwrHooks } from "./discover.js";
3
+ import { templateForSwrDecl } from "./template.js";
4
+ import { discoverSwrReadChannels } from "./writes.js";
5
+ export function swrSource() {
6
+ return {
7
+ id: "swr",
8
+ version: "0.1.0",
9
+ packageNames: ["swr"],
10
+ discover: (ctx) => discoverSwrHooks(ctx.sourceText, ctx.fileName),
11
+ writeChannels: (ctx) => discoverSwrReadChannels(ctx.sourceText, ctx.fileName),
12
+ template: (decl) => templateForSwrDecl(decl),
13
+ harness,
14
+ conformance: {
15
+ templateProbes: [],
16
+ testedVersions: "swr>=2",
17
+ },
18
+ };
19
+ }
20
+ export default swrSource;
21
+ //# sourceMappingURL=plugin.js.map
@@ -0,0 +1 @@
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"}
@@ -296,7 +296,7 @@ function pendingIs(op) {
296
296
  function lit(value) {
297
297
  return { kind: "lit", value };
298
298
  }
299
- function notExpr(expr) {
299
+ function _notExpr(expr) {
300
300
  if (expr.kind === "not")
301
301
  return expr.args[0] ?? lit(true);
302
302
  return { kind: "not", args: [expr] };