modality-ts 0.0.8 → 0.0.10

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 (615) hide show
  1. package/README.md +9 -7
  2. package/dist/check/diagnostics/bounds.d.ts +4 -0
  3. package/dist/check/diagnostics/bounds.d.ts.map +1 -0
  4. package/dist/check/diagnostics/bounds.js +25 -0
  5. package/dist/check/diagnostics/bounds.js.map +1 -0
  6. package/dist/check/diagnostics/vacuity.d.ts +3 -0
  7. package/dist/check/diagnostics/vacuity.d.ts.map +1 -0
  8. package/dist/check/diagnostics/vacuity.js +22 -0
  9. package/dist/check/diagnostics/vacuity.js.map +1 -0
  10. package/dist/check/engine/check-model.d.ts +4 -0
  11. package/dist/check/engine/check-model.d.ts.map +1 -0
  12. package/dist/check/engine/check-model.js +162 -0
  13. package/dist/check/engine/check-model.js.map +1 -0
  14. package/dist/check/engine/initial-states.d.ts +3 -0
  15. package/dist/check/engine/initial-states.d.ts.map +1 -0
  16. package/dist/check/engine/initial-states.js +11 -0
  17. package/dist/check/engine/initial-states.js.map +1 -0
  18. package/dist/check/engine/model-api.d.ts +4 -0
  19. package/dist/check/engine/model-api.d.ts.map +1 -0
  20. package/dist/check/engine/model-api.js +15 -0
  21. package/dist/check/engine/model-api.js.map +1 -0
  22. package/dist/check/engine/mounts.d.ts +3 -0
  23. package/dist/check/engine/mounts.d.ts.map +1 -0
  24. package/dist/check/engine/mounts.js +13 -0
  25. package/dist/check/engine/mounts.js.map +1 -0
  26. package/dist/check/engine/stabilize.d.ts +3 -0
  27. package/dist/check/engine/stabilize.d.ts.map +1 -0
  28. package/dist/check/engine/stabilize.js +82 -0
  29. package/dist/check/engine/stabilize.js.map +1 -0
  30. package/dist/check/engine/state-utils.d.ts +12 -0
  31. package/dist/check/engine/state-utils.d.ts.map +1 -0
  32. package/dist/check/engine/state-utils.js +30 -0
  33. package/dist/check/engine/state-utils.js.map +1 -0
  34. package/dist/check/engine/transitions.d.ts +4 -0
  35. package/dist/check/engine/transitions.d.ts.map +1 -0
  36. package/dist/check/engine/transitions.js +15 -0
  37. package/dist/check/engine/transitions.js.map +1 -0
  38. package/dist/check/index.d.ts +14 -0
  39. package/dist/check/index.d.ts.map +1 -0
  40. package/dist/check/index.js +13 -0
  41. package/dist/check/index.js.map +1 -0
  42. package/dist/check/properties/checked-state.d.ts +3 -0
  43. package/dist/check/properties/checked-state.d.ts.map +1 -0
  44. package/dist/check/properties/checked-state.js +21 -0
  45. package/dist/check/properties/checked-state.js.map +1 -0
  46. package/dist/check/properties/finalize.d.ts +4 -0
  47. package/dist/check/properties/finalize.d.ts.map +1 -0
  48. package/dist/check/properties/finalize.js +71 -0
  49. package/dist/check/properties/finalize.js.map +1 -0
  50. package/dist/check/properties/leads-to.d.ts +8 -0
  51. package/dist/check/properties/leads-to.d.ts.map +1 -0
  52. package/dist/check/properties/leads-to.js +69 -0
  53. package/dist/check/properties/leads-to.js.map +1 -0
  54. package/dist/check/properties/observe.d.ts +5 -0
  55. package/dist/check/properties/observe.d.ts.map +1 -0
  56. package/dist/check/properties/observe.js +56 -0
  57. package/dist/check/properties/observe.js.map +1 -0
  58. package/dist/check/properties/reachable-from.d.ts +8 -0
  59. package/dist/check/properties/reachable-from.d.ts.map +1 -0
  60. package/dist/check/properties/reachable-from.js +19 -0
  61. package/dist/check/properties/reachable-from.js.map +1 -0
  62. package/dist/check/runtime/domains.d.ts +5 -0
  63. package/dist/check/runtime/domains.d.ts.map +1 -0
  64. package/dist/check/runtime/domains.js +53 -0
  65. package/dist/check/runtime/domains.js.map +1 -0
  66. package/dist/check/runtime/effects.d.ts +9 -0
  67. package/dist/check/runtime/effects.d.ts.map +1 -0
  68. package/dist/check/runtime/effects.js +86 -0
  69. package/dist/check/runtime/effects.js.map +1 -0
  70. package/dist/check/runtime/expr.d.ts +7 -0
  71. package/dist/check/runtime/expr.d.ts.map +1 -0
  72. package/dist/check/runtime/expr.js +49 -0
  73. package/dist/check/runtime/expr.js.map +1 -0
  74. package/dist/check/runtime/navigation.d.ts +7 -0
  75. package/dist/check/runtime/navigation.d.ts.map +1 -0
  76. package/dist/check/runtime/navigation.js +60 -0
  77. package/dist/check/runtime/navigation.js.map +1 -0
  78. package/dist/check/runtime/opaque.d.ts +3 -0
  79. package/dist/check/runtime/opaque.d.ts.map +1 -0
  80. package/dist/check/runtime/opaque.js +72 -0
  81. package/dist/check/runtime/opaque.js.map +1 -0
  82. package/dist/check/runtime/paths.d.ts +4 -0
  83. package/dist/check/runtime/paths.d.ts.map +1 -0
  84. package/dist/check/runtime/paths.js +28 -0
  85. package/dist/check/runtime/paths.js.map +1 -0
  86. package/dist/check/runtime/pending.d.ts +9 -0
  87. package/dist/check/runtime/pending.d.ts.map +1 -0
  88. package/dist/check/runtime/pending.js +5 -0
  89. package/dist/check/runtime/pending.js.map +1 -0
  90. package/dist/check/runtime/tokens.d.ts +7 -0
  91. package/dist/check/runtime/tokens.d.ts.map +1 -0
  92. package/dist/check/runtime/tokens.js +36 -0
  93. package/dist/check/runtime/tokens.js.map +1 -0
  94. package/dist/check/slicing/slice-model.d.ts +5 -0
  95. package/dist/check/slicing/slice-model.d.ts.map +1 -0
  96. package/dist/check/slicing/slice-model.js +48 -0
  97. package/dist/check/slicing/slice-model.js.map +1 -0
  98. package/dist/check/traces/step-facts.d.ts +3 -0
  99. package/dist/check/traces/step-facts.d.ts.map +1 -0
  100. package/dist/check/traces/step-facts.js +35 -0
  101. package/dist/check/traces/step-facts.js.map +1 -0
  102. package/dist/check/traces/trace.d.ts +8 -0
  103. package/dist/check/traces/trace.d.ts.map +1 -0
  104. package/dist/check/traces/trace.js +42 -0
  105. package/dist/check/traces/trace.js.map +1 -0
  106. package/dist/{checker/search/index.d.ts → check/types.d.ts} +16 -6
  107. package/dist/check/types.d.ts.map +1 -0
  108. package/dist/{kernel/ir → check}/types.js.map +1 -1
  109. package/dist/cli/check.d.ts +3 -0
  110. package/dist/cli/check.d.ts.map +1 -0
  111. package/dist/cli/check.js +2 -0
  112. package/dist/cli/check.js.map +1 -0
  113. package/dist/cli/ci.d.ts.map +1 -0
  114. package/dist/cli/ci.js.map +1 -0
  115. package/dist/{modality → cli}/cli.d.ts.map +1 -1
  116. package/dist/{modality → cli}/cli.js +183 -50
  117. package/dist/cli/cli.js.map +1 -0
  118. package/dist/cli/codegen/model.d.ts +3 -0
  119. package/dist/cli/codegen/model.d.ts.map +1 -0
  120. package/dist/{modality → cli}/codegen/model.js +18 -10
  121. package/dist/cli/codegen/model.js.map +1 -0
  122. package/dist/{modality → cli}/codegen/replay-test.d.ts +1 -1
  123. package/dist/cli/codegen/replay-test.d.ts.map +1 -0
  124. package/dist/{modality → cli}/codegen/replay-test.js +12 -12
  125. package/dist/cli/codegen/replay-test.js.map +1 -0
  126. package/dist/cli/conform.d.ts +3 -0
  127. package/dist/cli/conform.d.ts.map +1 -0
  128. package/dist/cli/conform.js +2 -0
  129. package/dist/cli/conform.js.map +1 -0
  130. package/dist/cli/defaults.d.ts +13 -0
  131. package/dist/cli/defaults.d.ts.map +1 -0
  132. package/dist/cli/defaults.js +57 -0
  133. package/dist/cli/defaults.js.map +1 -0
  134. package/dist/cli/export-tla.d.ts +3 -0
  135. package/dist/cli/export-tla.d.ts.map +1 -0
  136. package/dist/cli/export-tla.js +2 -0
  137. package/dist/cli/export-tla.js.map +1 -0
  138. package/dist/{modality → cli}/extract.d.ts +1 -1
  139. package/dist/cli/extract.d.ts.map +1 -0
  140. package/dist/cli/extract.js.map +1 -0
  141. package/dist/{modality → cli}/features/check/command.d.ts +3 -2
  142. package/dist/cli/features/check/command.d.ts.map +1 -0
  143. package/dist/{modality → cli}/features/check/command.js +67 -27
  144. package/dist/cli/features/check/command.js.map +1 -0
  145. package/dist/cli/features/check/index.d.ts +3 -0
  146. package/dist/cli/features/check/index.d.ts.map +1 -0
  147. package/dist/cli/features/check/index.js +2 -0
  148. package/dist/cli/features/check/index.js.map +1 -0
  149. package/dist/cli/features/ci/command.d.ts.map +1 -0
  150. package/dist/{modality → cli}/features/ci/command.js +66 -26
  151. package/dist/cli/features/ci/command.js.map +1 -0
  152. package/dist/cli/features/ci/index.d.ts.map +1 -0
  153. package/dist/cli/features/ci/index.js.map +1 -0
  154. package/dist/{modality → cli}/features/conform/command.d.ts +1 -1
  155. package/dist/cli/features/conform/command.d.ts.map +1 -0
  156. package/dist/{modality → cli}/features/conform/command.js +67 -25
  157. package/dist/cli/features/conform/command.js.map +1 -0
  158. package/dist/cli/features/conform/index.d.ts.map +1 -0
  159. package/dist/cli/features/conform/index.js.map +1 -0
  160. package/dist/{modality → cli}/features/export/command.d.ts +1 -1
  161. package/dist/cli/features/export/command.d.ts.map +1 -0
  162. package/dist/{modality → cli}/features/export/command.js +72 -27
  163. package/dist/cli/features/export/command.js.map +1 -0
  164. package/dist/{modality → cli}/features/export/index.d.ts +2 -2
  165. package/dist/cli/features/export/index.d.ts.map +1 -0
  166. package/dist/cli/features/export/index.js +2 -0
  167. package/dist/cli/features/export/index.js.map +1 -0
  168. package/dist/{modality → cli}/features/extract/command.d.ts +5 -4
  169. package/dist/cli/features/extract/command.d.ts.map +1 -0
  170. package/dist/{modality → cli}/features/extract/command.js +295 -82
  171. package/dist/cli/features/extract/command.js.map +1 -0
  172. package/dist/{modality → cli}/features/extract/index.d.ts +1 -1
  173. package/dist/cli/features/extract/index.d.ts.map +1 -0
  174. package/dist/cli/features/extract/index.js.map +1 -0
  175. package/dist/cli/features/init/command.d.ts +9 -0
  176. package/dist/cli/features/init/command.d.ts.map +1 -0
  177. package/dist/cli/features/init/command.js +23 -0
  178. package/dist/cli/features/init/command.js.map +1 -0
  179. package/dist/cli/features/init/index.d.ts +3 -0
  180. package/dist/cli/features/init/index.d.ts.map +1 -0
  181. package/dist/cli/features/init/index.js +2 -0
  182. package/dist/cli/features/init/index.js.map +1 -0
  183. package/dist/{modality → cli}/features/replay/command.d.ts +1 -1
  184. package/dist/cli/features/replay/command.d.ts.map +1 -0
  185. package/dist/{modality → cli}/features/replay/command.js +42 -16
  186. package/dist/cli/features/replay/command.js.map +1 -0
  187. package/dist/cli/features/replay/index.d.ts.map +1 -0
  188. package/dist/cli/features/replay/index.js.map +1 -0
  189. package/dist/{harness → cli/harness}/index.d.ts +1 -1
  190. package/dist/cli/harness/index.d.ts.map +1 -0
  191. package/dist/{harness → cli/harness}/index.js +128 -37
  192. package/dist/cli/harness/index.js.map +1 -0
  193. package/dist/{modality → cli}/overlay.d.ts +1 -1
  194. package/dist/cli/overlay.d.ts.map +1 -0
  195. package/dist/{modality → cli}/overlay.js +1 -1
  196. package/dist/cli/overlay.js.map +1 -0
  197. package/dist/{modality → cli}/registry/index.d.ts +2 -2
  198. package/dist/cli/registry/index.d.ts.map +1 -0
  199. package/dist/{modality → cli}/registry/index.js +32 -17
  200. package/dist/cli/registry/index.js.map +1 -0
  201. package/dist/cli/replay.d.ts +3 -0
  202. package/dist/cli/replay.d.ts.map +1 -0
  203. package/dist/cli/replay.js.map +1 -0
  204. package/dist/{runtime → cli/runtime}/index.d.ts +1 -1
  205. package/dist/cli/runtime/index.d.ts.map +1 -0
  206. package/dist/{runtime → cli/runtime}/index.js +37 -10
  207. package/dist/cli/runtime/index.js.map +1 -0
  208. package/dist/core/artifacts/index.d.ts.map +1 -0
  209. package/dist/{kernel → core}/artifacts/index.js +7 -2
  210. package/dist/core/artifacts/index.js.map +1 -0
  211. package/dist/core/index.d.ts.map +1 -0
  212. package/dist/core/index.js.map +1 -0
  213. package/dist/core/ir/canonical.d.ts.map +1 -0
  214. package/dist/{kernel → core}/ir/canonical.js +30 -7
  215. package/dist/core/ir/canonical.js.map +1 -0
  216. package/dist/core/ir/domains.d.ts.map +1 -0
  217. package/dist/{kernel → core}/ir/domains.js +18 -6
  218. package/dist/core/ir/domains.js.map +1 -0
  219. package/dist/core/ir/types.d.ts.map +1 -0
  220. package/dist/{kernel/trace → core/ir}/types.js.map +1 -1
  221. package/dist/core/ir/validator.d.ts.map +1 -0
  222. package/dist/{kernel → core}/ir/validator.js +48 -19
  223. package/dist/core/ir/validator.js.map +1 -0
  224. package/dist/core/overlay/index.d.ts.map +1 -0
  225. package/dist/{kernel → core}/overlay/index.js +35 -14
  226. package/dist/core/overlay/index.js.map +1 -0
  227. package/dist/core/props/index.d.ts.map +1 -0
  228. package/dist/{kernel → core}/props/index.js +69 -21
  229. package/dist/core/props/index.js.map +1 -0
  230. package/dist/{kernel → core}/report/types.d.ts.map +1 -1
  231. package/dist/{kernel → core}/report/types.js.map +1 -1
  232. package/dist/core/trace/types.d.ts.map +1 -0
  233. package/dist/core/trace/types.js +2 -0
  234. package/dist/core/trace/types.js.map +1 -0
  235. package/dist/extract/engine/index.d.ts +4 -0
  236. package/dist/extract/engine/index.d.ts.map +1 -0
  237. package/dist/extract/engine/index.js +4 -0
  238. package/dist/extract/engine/index.js.map +1 -0
  239. package/dist/{extraction → extract/engine}/pipeline/index.d.ts +1 -2
  240. package/dist/extract/engine/pipeline/index.d.ts.map +1 -0
  241. package/dist/{extraction → extract/engine}/pipeline/index.js +55 -18
  242. package/dist/extract/engine/pipeline/index.js.map +1 -0
  243. package/dist/{extraction → extract/engine}/spi/index.d.ts +17 -1
  244. package/dist/extract/engine/spi/index.d.ts.map +1 -0
  245. package/dist/extract/engine/spi/index.js.map +1 -0
  246. package/dist/extract/engine/ts/ast.d.ts +23 -0
  247. package/dist/extract/engine/ts/ast.d.ts.map +1 -0
  248. package/dist/extract/engine/ts/ast.js +97 -0
  249. package/dist/extract/engine/ts/ast.js.map +1 -0
  250. package/dist/extract/engine/ts/components.d.ts +21 -0
  251. package/dist/extract/engine/ts/components.d.ts.map +1 -0
  252. package/dist/extract/engine/ts/components.js +287 -0
  253. package/dist/extract/engine/ts/components.js.map +1 -0
  254. package/dist/extract/engine/ts/context.d.ts +10 -0
  255. package/dist/extract/engine/ts/context.d.ts.map +1 -0
  256. package/dist/extract/engine/ts/context.js +273 -0
  257. package/dist/extract/engine/ts/context.js.map +1 -0
  258. package/dist/extract/engine/ts/domains.d.ts +8 -0
  259. package/dist/extract/engine/ts/domains.d.ts.map +1 -0
  260. package/dist/extract/engine/ts/domains.js +262 -0
  261. package/dist/extract/engine/ts/domains.js.map +1 -0
  262. package/dist/extract/engine/ts/expressions.d.ts +2 -0
  263. package/dist/extract/engine/ts/expressions.d.ts.map +1 -0
  264. package/dist/extract/engine/ts/expressions.js +2 -0
  265. package/dist/extract/engine/ts/expressions.js.map +1 -0
  266. package/dist/extract/engine/ts/handlers.d.ts +4 -0
  267. package/dist/extract/engine/ts/handlers.d.ts.map +1 -0
  268. package/dist/extract/engine/ts/handlers.js +3 -0
  269. package/dist/extract/engine/ts/handlers.js.map +1 -0
  270. package/dist/extract/engine/ts/ids.d.ts +7 -0
  271. package/dist/extract/engine/ts/ids.d.ts.map +1 -0
  272. package/dist/extract/engine/ts/ids.js +63 -0
  273. package/dist/extract/engine/ts/ids.js.map +1 -0
  274. package/dist/extract/engine/ts/input-transitions.d.ts +5 -0
  275. package/dist/extract/engine/ts/input-transitions.d.ts.map +1 -0
  276. package/dist/extract/engine/ts/input-transitions.js +132 -0
  277. package/dist/extract/engine/ts/input-transitions.js.map +1 -0
  278. package/dist/extract/engine/ts/jsx.d.ts +3 -0
  279. package/dist/extract/engine/ts/jsx.d.ts.map +1 -0
  280. package/dist/extract/engine/ts/jsx.js +3 -0
  281. package/dist/extract/engine/ts/jsx.js.map +1 -0
  282. package/dist/extract/engine/ts/react-source-transitions.d.ts +24 -0
  283. package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -0
  284. package/dist/extract/engine/ts/react-source-transitions.js +243 -0
  285. package/dist/extract/engine/ts/react-source-transitions.js.map +1 -0
  286. package/dist/extract/engine/ts/routes.d.ts +9 -0
  287. package/dist/extract/engine/ts/routes.d.ts.map +1 -0
  288. package/dist/extract/engine/ts/routes.js +94 -0
  289. package/dist/extract/engine/ts/routes.js.map +1 -0
  290. package/dist/extract/engine/ts/source.d.ts +3 -0
  291. package/dist/extract/engine/ts/source.d.ts.map +1 -0
  292. package/dist/extract/engine/ts/source.js +5 -0
  293. package/dist/extract/engine/ts/source.js.map +1 -0
  294. package/dist/extract/engine/ts/static-navigation.d.ts +5 -0
  295. package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -0
  296. package/dist/extract/engine/ts/static-navigation.js +425 -0
  297. package/dist/extract/engine/ts/static-navigation.js.map +1 -0
  298. package/dist/extract/engine/ts/transition/async.d.ts +45 -0
  299. package/dist/extract/engine/ts/transition/async.d.ts.map +1 -0
  300. package/dist/extract/engine/ts/transition/async.js +578 -0
  301. package/dist/extract/engine/ts/transition/async.js.map +1 -0
  302. package/dist/extract/engine/ts/transition/component-props.d.ts +26 -0
  303. package/dist/extract/engine/ts/transition/component-props.d.ts.map +1 -0
  304. package/dist/extract/engine/ts/transition/component-props.js +200 -0
  305. package/dist/extract/engine/ts/transition/component-props.js.map +1 -0
  306. package/dist/extract/engine/ts/transition/effects.d.ts +12 -0
  307. package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -0
  308. package/dist/extract/engine/ts/transition/effects.js +139 -0
  309. package/dist/extract/engine/ts/transition/effects.js.map +1 -0
  310. package/dist/extract/engine/ts/transition/expressions.d.ts +34 -0
  311. package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -0
  312. package/dist/extract/engine/ts/transition/expressions.js +374 -0
  313. package/dist/extract/engine/ts/transition/expressions.js.map +1 -0
  314. package/dist/extract/engine/ts/transition/guards.d.ts +21 -0
  315. package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -0
  316. package/dist/extract/engine/ts/transition/guards.js +258 -0
  317. package/dist/extract/engine/ts/transition/guards.js.map +1 -0
  318. package/dist/extract/engine/ts/transition/handlers.d.ts +32 -0
  319. package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -0
  320. package/dist/extract/engine/ts/transition/handlers.js +294 -0
  321. package/dist/extract/engine/ts/transition/handlers.js.map +1 -0
  322. package/dist/extract/engine/ts/transition/locals.d.ts +20 -0
  323. package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -0
  324. package/dist/extract/engine/ts/transition/locals.js +123 -0
  325. package/dist/extract/engine/ts/transition/locals.js.map +1 -0
  326. package/dist/extract/engine/ts/transition/navigation.d.ts +21 -0
  327. package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -0
  328. package/dist/extract/engine/ts/transition/navigation.js +129 -0
  329. package/dist/extract/engine/ts/transition/navigation.js.map +1 -0
  330. package/dist/extract/engine/ts/transition/plugin-calls.d.ts +10 -0
  331. package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -0
  332. package/dist/extract/engine/ts/transition/plugin-calls.js +114 -0
  333. package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -0
  334. package/dist/extract/engine/ts/transition/statement-summary.d.ts +34 -0
  335. package/dist/extract/engine/ts/transition/statement-summary.d.ts.map +1 -0
  336. package/dist/extract/engine/ts/transition/statement-summary.js +502 -0
  337. package/dist/extract/engine/ts/transition/statement-summary.js.map +1 -0
  338. package/dist/extract/engine/ts/transition/timers.d.ts +15 -0
  339. package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -0
  340. package/dist/extract/engine/ts/transition/timers.js +109 -0
  341. package/dist/extract/engine/ts/transition/timers.js.map +1 -0
  342. package/dist/extract/engine/ts/transition/ui.d.ts +12 -0
  343. package/dist/extract/engine/ts/transition/ui.d.ts.map +1 -0
  344. package/dist/extract/engine/ts/transition/ui.js +113 -0
  345. package/dist/extract/engine/ts/transition/ui.js.map +1 -0
  346. package/dist/extract/engine/ts/traversal.d.ts +3 -0
  347. package/dist/extract/engine/ts/traversal.d.ts.map +1 -0
  348. package/dist/extract/engine/ts/traversal.js +6 -0
  349. package/dist/extract/engine/ts/traversal.js.map +1 -0
  350. package/dist/extract/engine/ts/types.d.ts +46 -0
  351. package/dist/extract/engine/ts/types.d.ts.map +1 -0
  352. package/dist/extract/engine/ts/types.js +2 -0
  353. package/dist/extract/engine/ts/types.js.map +1 -0
  354. package/dist/extract/index.d.ts +2 -0
  355. package/dist/extract/index.d.ts.map +1 -0
  356. package/dist/extract/index.js +2 -0
  357. package/dist/extract/index.js.map +1 -0
  358. package/dist/extract/sources/jotai/discover.d.ts +3 -0
  359. package/dist/extract/sources/jotai/discover.d.ts.map +1 -0
  360. package/dist/extract/sources/jotai/discover.js +65 -0
  361. package/dist/extract/sources/jotai/discover.js.map +1 -0
  362. package/dist/extract/sources/jotai/domains.d.ts +6 -0
  363. package/dist/extract/sources/jotai/domains.d.ts.map +1 -0
  364. package/dist/extract/sources/jotai/domains.js +283 -0
  365. package/dist/extract/sources/jotai/domains.js.map +1 -0
  366. package/dist/{sources → extract/sources}/jotai/harness.d.ts +2 -2
  367. package/dist/extract/sources/jotai/harness.d.ts.map +1 -0
  368. package/dist/{sources → extract/sources}/jotai/harness.js +1 -1
  369. package/dist/extract/sources/jotai/harness.js.map +1 -0
  370. package/dist/extract/sources/jotai/index.d.ts +4 -0
  371. package/dist/extract/sources/jotai/index.d.ts.map +1 -0
  372. package/dist/extract/sources/jotai/index.js +3 -0
  373. package/dist/extract/sources/jotai/index.js.map +1 -0
  374. package/dist/extract/sources/jotai/plugin.d.ts +4 -0
  375. package/dist/extract/sources/jotai/plugin.d.ts.map +1 -0
  376. package/dist/extract/sources/jotai/plugin.js +19 -0
  377. package/dist/extract/sources/jotai/plugin.js.map +1 -0
  378. package/dist/extract/sources/jotai/transitions.d.ts +15 -0
  379. package/dist/extract/sources/jotai/transitions.d.ts.map +1 -0
  380. package/dist/extract/sources/jotai/transitions.js +44 -0
  381. package/dist/extract/sources/jotai/transitions.js.map +1 -0
  382. package/dist/extract/sources/jotai/writes.d.ts +8 -0
  383. package/dist/extract/sources/jotai/writes.d.ts.map +1 -0
  384. package/dist/extract/sources/jotai/writes.js +173 -0
  385. package/dist/extract/sources/jotai/writes.js.map +1 -0
  386. package/dist/{sources → extract/sources}/router/harness.d.ts +1 -1
  387. package/dist/extract/sources/router/harness.d.ts.map +1 -0
  388. package/dist/{sources → extract/sources}/router/harness.js +6 -2
  389. package/dist/extract/sources/router/harness.js.map +1 -0
  390. package/dist/extract/sources/router/index.d.ts +9 -0
  391. package/dist/extract/sources/router/index.d.ts.map +1 -0
  392. package/dist/extract/sources/router/index.js +22 -0
  393. package/dist/extract/sources/router/index.js.map +1 -0
  394. package/dist/extract/sources/router/navigation.d.ts +5 -0
  395. package/dist/extract/sources/router/navigation.d.ts.map +1 -0
  396. package/dist/extract/sources/router/navigation.js +16 -0
  397. package/dist/extract/sources/router/navigation.js.map +1 -0
  398. package/dist/extract/sources/router/routes.d.ts +4 -0
  399. package/dist/extract/sources/router/routes.d.ts.map +1 -0
  400. package/dist/extract/sources/router/routes.js +28 -0
  401. package/dist/extract/sources/router/routes.js.map +1 -0
  402. package/dist/extract/sources/shared/react-transition-extract.d.ts +13 -0
  403. package/dist/extract/sources/shared/react-transition-extract.d.ts.map +1 -0
  404. package/dist/extract/sources/shared/react-transition-extract.js +22 -0
  405. package/dist/extract/sources/shared/react-transition-extract.js.map +1 -0
  406. package/dist/extract/sources/swr/discover.d.ts +11 -0
  407. package/dist/extract/sources/swr/discover.d.ts.map +1 -0
  408. package/dist/extract/sources/swr/discover.js +175 -0
  409. package/dist/extract/sources/swr/discover.js.map +1 -0
  410. package/dist/extract/sources/swr/domains.d.ts +5 -0
  411. package/dist/extract/sources/swr/domains.d.ts.map +1 -0
  412. package/dist/extract/sources/swr/domains.js +99 -0
  413. package/dist/extract/sources/swr/domains.js.map +1 -0
  414. package/dist/{sources → extract/sources}/swr/harness.d.ts +2 -2
  415. package/dist/extract/sources/swr/harness.d.ts.map +1 -0
  416. package/dist/{sources → extract/sources}/swr/harness.js +3 -1
  417. package/dist/extract/sources/swr/harness.js.map +1 -0
  418. package/dist/extract/sources/swr/index.d.ts +6 -0
  419. package/dist/extract/sources/swr/index.d.ts.map +1 -0
  420. package/dist/extract/sources/swr/index.js +4 -0
  421. package/dist/extract/sources/swr/index.js.map +1 -0
  422. package/dist/extract/sources/swr/plugin.d.ts +4 -0
  423. package/dist/extract/sources/swr/plugin.d.ts.map +1 -0
  424. package/dist/extract/sources/swr/plugin.js +21 -0
  425. package/dist/extract/sources/swr/plugin.js.map +1 -0
  426. package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts} +4 -6
  427. package/dist/extract/sources/swr/template.d.ts.map +1 -0
  428. package/dist/extract/sources/swr/template.js +331 -0
  429. package/dist/extract/sources/swr/template.js.map +1 -0
  430. package/dist/extract/sources/swr/transitions.d.ts +15 -0
  431. package/dist/extract/sources/swr/transitions.d.ts.map +1 -0
  432. package/dist/extract/sources/swr/transitions.js +43 -0
  433. package/dist/extract/sources/swr/transitions.js.map +1 -0
  434. package/dist/extract/sources/swr/writes.d.ts +3 -0
  435. package/dist/extract/sources/swr/writes.d.ts.map +1 -0
  436. package/dist/extract/sources/swr/writes.js +54 -0
  437. package/dist/extract/sources/swr/writes.js.map +1 -0
  438. package/dist/{sources → extract/sources}/use-state/harness.d.ts +2 -2
  439. package/dist/extract/sources/use-state/harness.d.ts.map +1 -0
  440. package/dist/{sources → extract/sources}/use-state/harness.js +1 -1
  441. package/dist/extract/sources/use-state/harness.js.map +1 -0
  442. package/dist/extract/sources/use-state/index.d.ts +4 -0
  443. package/dist/extract/sources/use-state/index.d.ts.map +1 -0
  444. package/dist/{sources → extract/sources}/use-state/index.js +84 -31
  445. package/dist/extract/sources/use-state/index.js.map +1 -0
  446. package/dist/extract/sources/use-state/transitions.d.ts +4 -0
  447. package/dist/extract/sources/use-state/transitions.d.ts.map +1 -0
  448. package/dist/extract/sources/use-state/transitions.js +27 -0
  449. package/dist/extract/sources/use-state/transitions.js.map +1 -0
  450. package/dist/extract/sources/use-state/types.d.ts +67 -0
  451. package/dist/extract/sources/use-state/types.d.ts.map +1 -0
  452. package/dist/extract/sources/use-state/types.js +2 -0
  453. package/dist/extract/sources/use-state/types.js.map +1 -0
  454. package/package.json +85 -71
  455. package/dist/checker/encode/index.d.ts +0 -2
  456. package/dist/checker/encode/index.d.ts.map +0 -1
  457. package/dist/checker/encode/index.js +0 -2
  458. package/dist/checker/encode/index.js.map +0 -1
  459. package/dist/checker/index.d.ts +0 -6
  460. package/dist/checker/index.d.ts.map +0 -1
  461. package/dist/checker/index.js +0 -6
  462. package/dist/checker/index.js.map +0 -1
  463. package/dist/checker/monitors/index.d.ts +0 -2
  464. package/dist/checker/monitors/index.d.ts.map +0 -1
  465. package/dist/checker/monitors/index.js.map +0 -1
  466. package/dist/checker/search/eval.d.ts +0 -16
  467. package/dist/checker/search/eval.d.ts.map +0 -1
  468. package/dist/checker/search/eval.js +0 -308
  469. package/dist/checker/search/eval.js.map +0 -1
  470. package/dist/checker/search/index.d.ts.map +0 -1
  471. package/dist/checker/search/index.js +0 -556
  472. package/dist/checker/search/index.js.map +0 -1
  473. package/dist/checker/slicing/index.d.ts +0 -2
  474. package/dist/checker/slicing/index.d.ts.map +0 -1
  475. package/dist/checker/slicing/index.js +0 -2
  476. package/dist/checker/slicing/index.js.map +0 -1
  477. package/dist/checker/traces/index.d.ts +0 -2
  478. package/dist/checker/traces/index.d.ts.map +0 -1
  479. package/dist/checker/traces/index.js +0 -2
  480. package/dist/checker/traces/index.js.map +0 -1
  481. package/dist/extraction/index.d.ts +0 -34
  482. package/dist/extraction/index.d.ts.map +0 -1
  483. package/dist/extraction/index.js +0 -2982
  484. package/dist/extraction/index.js.map +0 -1
  485. package/dist/extraction/pipeline/index.d.ts.map +0 -1
  486. package/dist/extraction/pipeline/index.js.map +0 -1
  487. package/dist/extraction/spi/index.d.ts.map +0 -1
  488. package/dist/extraction/spi/index.js +0 -2
  489. package/dist/extraction/spi/index.js.map +0 -1
  490. package/dist/harness/index.d.ts.map +0 -1
  491. package/dist/harness/index.js.map +0 -1
  492. package/dist/kernel/artifacts/index.d.ts.map +0 -1
  493. package/dist/kernel/artifacts/index.js.map +0 -1
  494. package/dist/kernel/index.d.ts.map +0 -1
  495. package/dist/kernel/index.js.map +0 -1
  496. package/dist/kernel/ir/canonical.d.ts.map +0 -1
  497. package/dist/kernel/ir/canonical.js.map +0 -1
  498. package/dist/kernel/ir/domains.d.ts.map +0 -1
  499. package/dist/kernel/ir/domains.js.map +0 -1
  500. package/dist/kernel/ir/types.d.ts.map +0 -1
  501. package/dist/kernel/ir/validator.d.ts.map +0 -1
  502. package/dist/kernel/ir/validator.js.map +0 -1
  503. package/dist/kernel/overlay/index.d.ts.map +0 -1
  504. package/dist/kernel/overlay/index.js.map +0 -1
  505. package/dist/kernel/props/index.d.ts.map +0 -1
  506. package/dist/kernel/props/index.js.map +0 -1
  507. package/dist/kernel/trace/types.d.ts.map +0 -1
  508. package/dist/modality/check.d.ts +0 -3
  509. package/dist/modality/check.d.ts.map +0 -1
  510. package/dist/modality/check.js +0 -2
  511. package/dist/modality/check.js.map +0 -1
  512. package/dist/modality/ci.d.ts.map +0 -1
  513. package/dist/modality/ci.js.map +0 -1
  514. package/dist/modality/cli.js.map +0 -1
  515. package/dist/modality/codegen/model.d.ts +0 -3
  516. package/dist/modality/codegen/model.d.ts.map +0 -1
  517. package/dist/modality/codegen/model.js.map +0 -1
  518. package/dist/modality/codegen/replay-test.d.ts.map +0 -1
  519. package/dist/modality/codegen/replay-test.js.map +0 -1
  520. package/dist/modality/conform.d.ts +0 -3
  521. package/dist/modality/conform.d.ts.map +0 -1
  522. package/dist/modality/conform.js +0 -2
  523. package/dist/modality/conform.js.map +0 -1
  524. package/dist/modality/export-tla.d.ts +0 -3
  525. package/dist/modality/export-tla.d.ts.map +0 -1
  526. package/dist/modality/export-tla.js +0 -2
  527. package/dist/modality/export-tla.js.map +0 -1
  528. package/dist/modality/extract.d.ts.map +0 -1
  529. package/dist/modality/extract.js.map +0 -1
  530. package/dist/modality/features/check/command.d.ts.map +0 -1
  531. package/dist/modality/features/check/command.js.map +0 -1
  532. package/dist/modality/features/check/index.d.ts +0 -3
  533. package/dist/modality/features/check/index.d.ts.map +0 -1
  534. package/dist/modality/features/check/index.js +0 -2
  535. package/dist/modality/features/check/index.js.map +0 -1
  536. package/dist/modality/features/ci/command.d.ts.map +0 -1
  537. package/dist/modality/features/ci/command.js.map +0 -1
  538. package/dist/modality/features/ci/index.d.ts.map +0 -1
  539. package/dist/modality/features/ci/index.js.map +0 -1
  540. package/dist/modality/features/conform/command.d.ts.map +0 -1
  541. package/dist/modality/features/conform/command.js.map +0 -1
  542. package/dist/modality/features/conform/index.d.ts.map +0 -1
  543. package/dist/modality/features/conform/index.js.map +0 -1
  544. package/dist/modality/features/export/command.d.ts.map +0 -1
  545. package/dist/modality/features/export/command.js.map +0 -1
  546. package/dist/modality/features/export/index.d.ts.map +0 -1
  547. package/dist/modality/features/export/index.js +0 -2
  548. package/dist/modality/features/export/index.js.map +0 -1
  549. package/dist/modality/features/extract/command.d.ts.map +0 -1
  550. package/dist/modality/features/extract/command.js.map +0 -1
  551. package/dist/modality/features/extract/index.d.ts.map +0 -1
  552. package/dist/modality/features/extract/index.js.map +0 -1
  553. package/dist/modality/features/replay/command.d.ts.map +0 -1
  554. package/dist/modality/features/replay/command.js.map +0 -1
  555. package/dist/modality/features/replay/index.d.ts.map +0 -1
  556. package/dist/modality/features/replay/index.js.map +0 -1
  557. package/dist/modality/overlay.d.ts.map +0 -1
  558. package/dist/modality/overlay.js.map +0 -1
  559. package/dist/modality/registry/index.d.ts.map +0 -1
  560. package/dist/modality/registry/index.js.map +0 -1
  561. package/dist/modality/replay.d.ts +0 -3
  562. package/dist/modality/replay.d.ts.map +0 -1
  563. package/dist/modality/replay.js.map +0 -1
  564. package/dist/runtime/index.d.ts.map +0 -1
  565. package/dist/runtime/index.js.map +0 -1
  566. package/dist/sources/jotai/harness.d.ts.map +0 -1
  567. package/dist/sources/jotai/harness.js.map +0 -1
  568. package/dist/sources/jotai/index.d.ts +0 -11
  569. package/dist/sources/jotai/index.d.ts.map +0 -1
  570. package/dist/sources/jotai/index.js +0 -432
  571. package/dist/sources/jotai/index.js.map +0 -1
  572. package/dist/sources/router/harness.d.ts.map +0 -1
  573. package/dist/sources/router/harness.js.map +0 -1
  574. package/dist/sources/router/index.d.ts +0 -15
  575. package/dist/sources/router/index.d.ts.map +0 -1
  576. package/dist/sources/router/index.js +0 -41
  577. package/dist/sources/router/index.js.map +0 -1
  578. package/dist/sources/swr/harness.d.ts.map +0 -1
  579. package/dist/sources/swr/harness.js.map +0 -1
  580. package/dist/sources/swr/index.d.ts.map +0 -1
  581. package/dist/sources/swr/index.js +0 -528
  582. package/dist/sources/swr/index.js.map +0 -1
  583. package/dist/sources/use-state/harness.d.ts.map +0 -1
  584. package/dist/sources/use-state/harness.js.map +0 -1
  585. package/dist/sources/use-state/index.d.ts +0 -9
  586. package/dist/sources/use-state/index.d.ts.map +0 -1
  587. package/dist/sources/use-state/index.js.map +0 -1
  588. /package/dist/{kernel/ir → check}/types.js +0 -0
  589. /package/dist/{modality → cli}/ci.d.ts +0 -0
  590. /package/dist/{modality → cli}/ci.js +0 -0
  591. /package/dist/{modality → cli}/cli.d.ts +0 -0
  592. /package/dist/{modality → cli}/extract.js +0 -0
  593. /package/dist/{modality → cli}/features/ci/command.d.ts +0 -0
  594. /package/dist/{modality → cli}/features/ci/index.d.ts +0 -0
  595. /package/dist/{modality → cli}/features/ci/index.js +0 -0
  596. /package/dist/{modality → cli}/features/conform/index.d.ts +0 -0
  597. /package/dist/{modality → cli}/features/conform/index.js +0 -0
  598. /package/dist/{modality → cli}/features/extract/index.js +0 -0
  599. /package/dist/{modality → cli}/features/replay/index.d.ts +0 -0
  600. /package/dist/{modality → cli}/features/replay/index.js +0 -0
  601. /package/dist/{modality → cli}/replay.js +0 -0
  602. /package/dist/{kernel → core}/artifacts/index.d.ts +0 -0
  603. /package/dist/{kernel → core}/index.d.ts +0 -0
  604. /package/dist/{kernel → core}/index.js +0 -0
  605. /package/dist/{kernel → core}/ir/canonical.d.ts +0 -0
  606. /package/dist/{kernel → core}/ir/domains.d.ts +0 -0
  607. /package/dist/{kernel → core}/ir/types.d.ts +0 -0
  608. /package/dist/{kernel/report → core/ir}/types.js +0 -0
  609. /package/dist/{kernel → core}/ir/validator.d.ts +0 -0
  610. /package/dist/{kernel → core}/overlay/index.d.ts +0 -0
  611. /package/dist/{kernel → core}/props/index.d.ts +0 -0
  612. /package/dist/{kernel → core}/report/types.d.ts +0 -0
  613. /package/dist/{kernel/trace → core/report}/types.js +0 -0
  614. /package/dist/{kernel → core}/trace/types.d.ts +0 -0
  615. /package/dist/{checker/monitors → extract/engine/spi}/index.js +0 -0
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/sources/router/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,OAAO,MAAM,cAAc,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,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,eAAe,EAAE,MAAM,EAAE,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,UAAU,IAAI,aAAa,EAAE,EAAE,CAAC;QACzL,cAAc;QACd,OAAO;KACR,CAAC;AACJ,CAAC;AAED,eAAe,YAAY,CAAC;AAE5B,MAAM,UAAU,SAAS,CAAC,MAAyB,EAAE,OAAwB;IAC3E,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,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE;QAC7G;YACE,EAAE,EAAE,aAAa;YACjB,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC,EAAE;YAC5F,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE;SACZ;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,IAAwB;IACrE,IAAI,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACpH,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QAClH,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,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;AAED,SAAS,YAAY,CAAC,MAAyB,EAAE,YAAoB;IACnE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../src/sources/swr/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACzG,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE5E,MAAM,WAAW,eAAgB,SAAQ,YAAY;IACnD,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAC3B;AAED,wBAAgB,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG;IAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;CAAE,GAAG,eAAe,CAK/G;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,YAAY,GAAG,cAAc,CAO3F;AAED,wBAAgB,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE3F"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../src/sources/swr/harness.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,KAAK,CAAC,GAAwE;IAC5F,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;QACpC,KAAK,EAAE,GAAG,CAAC,KAAK,YAAY,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,OAAqB;IAC1D,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,CAAC,OAAuB,EAAE,MAAc;IAC7D,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 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sources/swr/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAc,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChI,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAI9F,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,SAAS,IAAI,iBAAiB,CAc7C;AAED,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAY,GAAG,YAAY,EAAE,CA2BhG;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAY,GAAG,UAAU,EAAE,CAgCvF;AA4KD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,kBAAkB,GAAG,gBAAgB,CAsE/E;AAwDD,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,2BAA2B,GAAG,gBAAgB,CAqBjG;AAcD,wBAAgB,OAAO,CAAC,OAAO,EAAE,kBAAkB,GAAG,YAAY,EAAE,CAMnE;AAWD,wBAAgB,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,OAAO,CAalG;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,OAAO,CAK5H;AAED,wBAAgB,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,OAAO,GAAG,MAAM,CAErF;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE5D;AAmED,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAE/C"}
@@ -1,528 +0,0 @@
1
- import { canonicalJson, enumerateDomain } from "modality-ts/kernel";
2
- import * as ts from "typescript";
3
- import * as harness from "./harness.js";
4
- export function swrSource() {
5
- return {
6
- id: "swr",
7
- version: "0.1.0",
8
- packageNames: ["swr"],
9
- discover: (ctx) => discoverSwrHooks(ctx.sourceText, ctx.fileName),
10
- writeChannels: (ctx) => discoverSwrReadChannels(ctx.sourceText, ctx.fileName),
11
- template: (decl) => templateForSwrDecl(decl),
12
- harness,
13
- conformance: {
14
- templateProbes: [],
15
- testedVersions: "swr>=2"
16
- }
17
- };
18
- }
19
- export function discoverSwrReadChannels(sourceText, fileName = "App.tsx") {
20
- const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
21
- const useSwrNames = useSwrImportNames(source);
22
- const channels = [];
23
- const visit = (node) => {
24
- if (ts.isVariableDeclaration(node) && ts.isObjectBindingPattern(node.name) && node.initializer && ts.isCallExpression(node.initializer) && ts.isIdentifier(node.initializer.expression) && useSwrNames.has(node.initializer.expression.text)) {
25
- const key = keyFromExpression(node.initializer.arguments[0]);
26
- if (key) {
27
- const id = swrIdFromKey(key.id);
28
- for (const element of node.name.elements) {
29
- if (!ts.isIdentifier(element.name))
30
- continue;
31
- const property = element.propertyName && ts.isIdentifier(element.propertyName) ? element.propertyName.text : element.name.text;
32
- if (property === "data" || property === "isValidating" || property === "error") {
33
- channels.push({
34
- id: `swr:${id}.${property}.read`,
35
- varId: swrVarId(id, property === "data" ? "data" : property),
36
- symbolName: element.name.text,
37
- source: { file: fileName, ...lineAndColumn(source, node) }
38
- });
39
- }
40
- }
41
- }
42
- }
43
- ts.forEachChild(node, visit);
44
- };
45
- visit(source);
46
- return channels;
47
- }
48
- export function discoverSwrHooks(sourceText, fileName = "App.tsx") {
49
- const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
50
- const useSwrNames = useSwrImportNames(source);
51
- if (useSwrNames.size === 0)
52
- return [];
53
- const typeAliases = typeAliasDeclarations(source);
54
- const decls = [];
55
- const visit = (node) => {
56
- if (ts.isCallExpression(node) && ts.isIdentifier(node.expression) && useSwrNames.has(node.expression.text)) {
57
- const key = keyFromExpression(node.arguments[0]);
58
- if (key) {
59
- const id = swrIdFromKey(key.id);
60
- const origin = { file: fileName, ...lineAndColumn(source, node) };
61
- decls.push({
62
- id: `swr:${id}`,
63
- kind: "swr/useSWR",
64
- origin,
65
- metadata: {
66
- key: key.id,
67
- id,
68
- op: `GET ${key.id}`,
69
- payloadDomain: inferPayloadDomain(node.typeArguments?.[0], typeAliases),
70
- ...(key.activeWhen ? { activeWhen: key.activeWhen } : {}),
71
- ...optionsMetadata(node.arguments[2])
72
- }
73
- });
74
- }
75
- }
76
- ts.forEachChild(node, visit);
77
- };
78
- visit(source);
79
- return decls;
80
- }
81
- function templateForSwrDecl(decl) {
82
- const metadata = decl.metadata ?? {};
83
- return createSwrTemplate({
84
- id: stringMetadata(metadata, "id", decl.id.replace(/^swr:/, "")),
85
- op: stringMetadata(metadata, "op", decl.id),
86
- payloadDomain: domainMetadata(metadata.payloadDomain),
87
- activeWhen: exprMetadata(metadata.activeWhen),
88
- revalidateOnFocus: booleanMetadata(metadata, "revalidateOnFocus", false),
89
- sourceFile: decl.origin !== "system" && decl.origin !== "library-template" ? decl.origin.file : undefined
90
- });
91
- }
92
- function useSwrImportNames(source) {
93
- const names = new Set();
94
- for (const statement of source.statements) {
95
- if (!ts.isImportDeclaration(statement) || !ts.isStringLiteral(statement.moduleSpecifier) || statement.moduleSpecifier.text !== "swr")
96
- continue;
97
- if (statement.importClause?.name)
98
- names.add(statement.importClause.name.text);
99
- const bindings = statement.importClause?.namedBindings;
100
- if (!bindings || !ts.isNamedImports(bindings))
101
- continue;
102
- for (const specifier of bindings.elements) {
103
- const imported = specifier.propertyName?.text ?? specifier.name.text;
104
- if (imported === "useSWR")
105
- names.add(specifier.name.text);
106
- }
107
- }
108
- return names;
109
- }
110
- function keyFromExpression(expr) {
111
- if (!expr)
112
- return undefined;
113
- if (ts.isStringLiteral(expr) && expr.text.length > 0)
114
- return { id: expr.text };
115
- if (ts.isNoSubstitutionTemplateLiteral(expr) && expr.text.length > 0)
116
- return { id: expr.text };
117
- if (ts.isArrayLiteralExpression(expr)) {
118
- const parts = expr.elements.map(keyPartFromExpression);
119
- if (parts.length > 0 && parts.every((part) => Boolean(part)))
120
- return { id: parts.join(":") };
121
- }
122
- if (ts.isConditionalExpression(expr) && isNullish(expr.whenFalse)) {
123
- const key = keyFromExpression(expr.whenTrue);
124
- const activeWhen = exprFromCondition(expr.condition);
125
- if (key && activeWhen)
126
- return { ...key, activeWhen };
127
- }
128
- if (ts.isConditionalExpression(expr) && isNullish(expr.whenTrue)) {
129
- const key = keyFromExpression(expr.whenFalse);
130
- const activeWhen = exprFromCondition(expr.condition);
131
- if (key && activeWhen)
132
- return { ...key, activeWhen: notExpr(activeWhen) };
133
- }
134
- return undefined;
135
- }
136
- function keyPartFromExpression(expr) {
137
- if (ts.isStringLiteral(expr) || ts.isNoSubstitutionTemplateLiteral(expr))
138
- return expr.text;
139
- if (ts.isNumericLiteral(expr))
140
- return expr.text;
141
- if (ts.isIdentifier(expr))
142
- return expr.text;
143
- return undefined;
144
- }
145
- function exprFromCondition(expr) {
146
- if (ts.isIdentifier(expr))
147
- return { kind: "read", var: expr.text };
148
- if (expr.kind === ts.SyntaxKind.TrueKeyword)
149
- return { kind: "lit", value: true };
150
- if (expr.kind === ts.SyntaxKind.FalseKeyword)
151
- return { kind: "lit", value: false };
152
- if (ts.isBinaryExpression(expr) && (expr.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken || expr.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken)) {
153
- const left = ts.isIdentifier(expr.left) ? { kind: "read", var: expr.left.text } : undefined;
154
- const right = literalExpr(expr.right);
155
- if (left && right)
156
- return { kind: expr.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ? "eq" : "neq", args: [left, right] };
157
- }
158
- if (ts.isPrefixUnaryExpression(expr) && expr.operator === ts.SyntaxKind.ExclamationToken) {
159
- const inner = exprFromCondition(expr.operand);
160
- if (inner)
161
- return { kind: "not", args: [inner] };
162
- }
163
- return undefined;
164
- }
165
- function literalExpr(expr) {
166
- if (ts.isStringLiteral(expr))
167
- return { kind: "lit", value: expr.text };
168
- if (ts.isNumericLiteral(expr))
169
- return { kind: "lit", value: Number(expr.text) };
170
- if (expr.kind === ts.SyntaxKind.TrueKeyword)
171
- return { kind: "lit", value: true };
172
- if (expr.kind === ts.SyntaxKind.FalseKeyword)
173
- return { kind: "lit", value: false };
174
- if (expr.kind === ts.SyntaxKind.NullKeyword)
175
- return { kind: "lit", value: null };
176
- return undefined;
177
- }
178
- function isNullish(expr) {
179
- return expr.kind === ts.SyntaxKind.NullKeyword || (ts.isIdentifier(expr) && expr.text === "undefined");
180
- }
181
- function optionsMetadata(expr) {
182
- if (!expr || !ts.isObjectLiteralExpression(expr))
183
- return {};
184
- const metadata = {};
185
- for (const prop of expr.properties) {
186
- if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name))
187
- continue;
188
- if (prop.name.text === "revalidateOnFocus" && prop.initializer.kind === ts.SyntaxKind.TrueKeyword)
189
- metadata.revalidateOnFocus = true;
190
- if (prop.name.text === "revalidateOnFocus" && prop.initializer.kind === ts.SyntaxKind.FalseKeyword)
191
- metadata.revalidateOnFocus = false;
192
- }
193
- return metadata;
194
- }
195
- function inferPayloadDomain(typeArg, typeAliases = new Map()) {
196
- if (!typeArg)
197
- return { kind: "tokens", count: 1 };
198
- switch (typeArg.kind) {
199
- case ts.SyntaxKind.BooleanKeyword:
200
- return { kind: "bool" };
201
- case ts.SyntaxKind.LiteralType:
202
- return domainFromLiteralType(typeArg);
203
- case ts.SyntaxKind.UnionType:
204
- return domainFromUnion(typeArg, typeAliases);
205
- case ts.SyntaxKind.TypeLiteral:
206
- return domainFromTypeLiteral(typeArg, typeAliases);
207
- case ts.SyntaxKind.ArrayType:
208
- return { kind: "lengthCat" };
209
- case ts.SyntaxKind.TypeReference: {
210
- const name = typeArg.typeName.getText();
211
- const alias = typeAliases.get(name);
212
- if (alias)
213
- return inferPayloadDomain(alias, typeAliases);
214
- if (name === "Array" || name === "ReadonlyArray")
215
- return { kind: "lengthCat" };
216
- return { kind: "tokens", count: 1 };
217
- }
218
- default:
219
- return { kind: "tokens", count: 1 };
220
- }
221
- }
222
- function domainFromLiteralType(node) {
223
- const lit = node.literal;
224
- if (lit.kind === ts.SyntaxKind.TrueKeyword || lit.kind === ts.SyntaxKind.FalseKeyword)
225
- return { kind: "bool" };
226
- if (ts.isStringLiteral(lit))
227
- return { kind: "enum", values: [lit.text] };
228
- if (ts.isNumericLiteral(lit))
229
- return { kind: "boundedInt", min: Number(lit.text), max: Number(lit.text) };
230
- if (lit.kind === ts.SyntaxKind.NullKeyword)
231
- return { kind: "option", inner: { kind: "tokens", count: 1 } };
232
- return { kind: "tokens", count: 1 };
233
- }
234
- function domainFromUnion(node, typeAliases = new Map()) {
235
- const nonNull = node.types.filter((part) => part.kind !== ts.SyntaxKind.UndefinedKeyword && !(ts.isLiteralTypeNode(part) && part.literal.kind === ts.SyntaxKind.NullKeyword));
236
- if (nonNull.length !== node.types.length && nonNull.length > 0) {
237
- return { kind: "option", inner: nonNull.length === 1 ? inferPayloadDomain(nonNull[0], typeAliases) : domainFromUnionMembers(nonNull) };
238
- }
239
- return domainFromUnionMembers(node.types);
240
- }
241
- function domainFromUnionMembers(types) {
242
- const literalValues = [];
243
- const numericValues = [];
244
- for (const part of types) {
245
- if (!ts.isLiteralTypeNode(part))
246
- return { kind: "tokens", count: 1 };
247
- const lit = part.literal;
248
- if (ts.isStringLiteral(lit))
249
- literalValues.push(lit.text);
250
- else if (ts.isNumericLiteral(lit))
251
- numericValues.push(Number(lit.text));
252
- else
253
- return { kind: "tokens", count: 1 };
254
- }
255
- if (numericValues.length === types.length)
256
- return { kind: "boundedInt", min: Math.min(...numericValues), max: Math.max(...numericValues) };
257
- return { kind: "enum", values: literalValues };
258
- }
259
- function domainFromTypeLiteral(node, typeAliases) {
260
- const fields = {};
261
- for (const member of node.members) {
262
- if (!ts.isPropertySignature(member) || !member.type || !ts.isIdentifier(member.name))
263
- continue;
264
- fields[member.name.text] = inferPayloadDomain(member.type, typeAliases);
265
- }
266
- return { kind: "record", fields };
267
- }
268
- function typeAliasDeclarations(source) {
269
- const aliases = new Map();
270
- const visit = (node) => {
271
- if (ts.isTypeAliasDeclaration(node) && ts.isIdentifier(node.name))
272
- aliases.set(node.name.text, node.type);
273
- ts.forEachChild(node, visit);
274
- };
275
- visit(source);
276
- return aliases;
277
- }
278
- export function createSwrTemplate(options) {
279
- const vars = swrVars(options);
280
- const active = options.activeWhen ?? lit(true);
281
- const source = options.sourceFile ? [{ file: options.sourceFile }] : [];
282
- const dataVar = swrVarId(options.id, "data");
283
- const validatingVar = swrVarId(options.id, "isValidating");
284
- const errorVar = swrVarId(options.id, "error");
285
- const transitions = [
286
- {
287
- id: `swr:${options.id}:fetch`,
288
- cls: "library",
289
- label: { kind: "timer", key: options.id },
290
- source,
291
- guard: active,
292
- effect: {
293
- kind: "seq",
294
- effects: [
295
- { kind: "assign", var: validatingVar, expr: lit(true) },
296
- { kind: "enqueue", op: options.op, continuation: `swr:${options.id}:resolve`, args: {} }
297
- ]
298
- },
299
- reads: [...exprReadList(active)],
300
- writes: [validatingVar, "sys:pending"],
301
- confidence: "exact"
302
- },
303
- ...(options.revalidateOnFocus ? [fetchTransition(options, active, source, "focus")] : []),
304
- ...(options.mutate ? mutateTransitions(options, active, source, dataVar, validatingVar, errorVar) : []),
305
- ...successTransitions(options),
306
- {
307
- id: `swr:${options.id}:resolve:error`,
308
- cls: "env",
309
- label: { kind: "resolve", op: options.op, outcome: "error" },
310
- source,
311
- guard: pendingIs(options.op),
312
- effect: {
313
- kind: "seq",
314
- effects: [
315
- { kind: "dequeue", index: 0 },
316
- { kind: "assign", var: validatingVar, expr: lit(false) },
317
- { kind: "assign", var: errorVar, expr: lit(true) }
318
- ]
319
- },
320
- reads: ["sys:pending"],
321
- writes: ["sys:pending", validatingVar, errorVar],
322
- confidence: "exact"
323
- }
324
- ];
325
- return { vars, transitions };
326
- function successTransitions(template) {
327
- return enumerateDomain(template.payloadDomain).map((value, index) => ({
328
- id: `swr:${template.id}:resolve:success:${index}`,
329
- cls: "env",
330
- label: { kind: "resolve", op: template.op, outcome: `success:${index}` },
331
- source,
332
- guard: pendingIs(template.op),
333
- effect: {
334
- kind: "seq",
335
- effects: [
336
- { kind: "dequeue", index: 0 },
337
- { kind: "assign", var: dataVar, expr: lit(value) },
338
- { kind: "assign", var: validatingVar, expr: lit(false) },
339
- { kind: "assign", var: errorVar, expr: lit(false) }
340
- ]
341
- },
342
- reads: ["sys:pending"],
343
- writes: ["sys:pending", dataVar, validatingVar, errorVar],
344
- confidence: "exact"
345
- }));
346
- }
347
- }
348
- function fetchTransition(options, active, source, trigger) {
349
- const validatingVar = swrVarId(options.id, "isValidating");
350
- return {
351
- id: trigger === "timer" ? `swr:${options.id}:fetch` : `swr:${options.id}:focus-revalidate`,
352
- cls: "library",
353
- label: trigger === "timer" ? { kind: "timer", key: options.id } : { kind: "focus-revalidate", key: options.id },
354
- source,
355
- guard: active,
356
- effect: {
357
- kind: "seq",
358
- effects: [
359
- { kind: "assign", var: validatingVar, expr: lit(true) },
360
- { kind: "enqueue", op: options.op, continuation: `swr:${options.id}:resolve`, args: {} }
361
- ]
362
- },
363
- reads: [...exprReadList(active)],
364
- writes: [validatingVar, "sys:pending"],
365
- confidence: "exact"
366
- };
367
- }
368
- function mutateTransitions(options, active, source, dataVar, validatingVar, errorVar) {
369
- return enumerateDomain(options.payloadDomain).map((value, index) => ({
370
- id: `swr:${options.id}:mutate:${index}`,
371
- cls: "library",
372
- label: { kind: "internal", text: `mutate ${options.id}:${index}` },
373
- source,
374
- guard: active,
375
- effect: {
376
- kind: "seq",
377
- effects: [
378
- { kind: "assign", var: dataVar, expr: lit(value) },
379
- { kind: "assign", var: validatingVar, expr: lit(false) },
380
- { kind: "assign", var: errorVar, expr: lit(false) }
381
- ]
382
- },
383
- reads: [...exprReadList(active)],
384
- writes: [dataVar, validatingVar, errorVar],
385
- confidence: "exact"
386
- }));
387
- }
388
- export function createSwrKeyWindowTemplate(options) {
389
- const windowSize = options.windowSize ?? 2;
390
- const entries = selectKeyWindowEntries(options.entries, windowSize, options.currentKey);
391
- const selectedIds = new Set(entries.map((entry) => entry.id));
392
- const hasEvictedEntries = options.entries.some((entry) => !selectedIds.has(entry.id));
393
- const fragments = entries.map((entry) => createSwrTemplate({
394
- id: swrWindowEntryId(options.id, entry.id),
395
- op: entry.op ?? `${options.op}:${entry.id}`,
396
- payloadDomain: options.payloadDomain,
397
- activeWhen: combineActive(options.activeWhen, entry.activeWhen),
398
- revalidateOnFocus: options.revalidateOnFocus,
399
- mutate: options.mutate,
400
- sourceFile: options.sourceFile
401
- }));
402
- const summaryVars = options.evictedSummary !== false && hasEvictedEntries ? swrEvictedSummaryVars(options.id, options.payloadDomain) : [];
403
- return {
404
- vars: [...fragments.flatMap((fragment) => fragment.vars), ...summaryVars],
405
- transitions: fragments.flatMap((fragment) => fragment.transitions)
406
- };
407
- }
408
- function selectKeyWindowEntries(entries, windowSize, currentKey) {
409
- if (windowSize <= 0)
410
- return [];
411
- const currentIndex = currentKey === undefined ? -1 : entries.findIndex((entry) => entry.id === currentKey);
412
- if (currentIndex < 0)
413
- return entries.slice(0, windowSize);
414
- const start = Math.max(0, currentIndex - windowSize + 1);
415
- return entries.slice(start, currentIndex + 1);
416
- }
417
- export function swrVars(options) {
418
- return [
419
- { id: swrVarId(options.id, "data"), domain: { kind: "option", inner: options.payloadDomain }, origin: "library-template", scope: { kind: "global" }, initial: null },
420
- { id: swrVarId(options.id, "isValidating"), domain: { kind: "bool" }, origin: "library-template", scope: { kind: "global" }, initial: false },
421
- { id: swrVarId(options.id, "error"), domain: { kind: "bool" }, origin: "library-template", scope: { kind: "global" }, initial: false }
422
- ];
423
- }
424
- function swrEvictedSummaryVars(id, payloadDomain) {
425
- const summaryId = swrWindowEvictedSummaryId(id);
426
- return [
427
- { id: swrVarId(summaryId, "data"), domain: { kind: "option", inner: payloadDomain }, origin: "library-template", scope: { kind: "global" }, initial: [null, ...enumerateDomain(payloadDomain)] },
428
- { id: swrVarId(summaryId, "isValidating"), domain: { kind: "bool" }, origin: "library-template", scope: { kind: "global" }, initial: false },
429
- { id: swrVarId(summaryId, "error"), domain: { kind: "bool" }, origin: "library-template", scope: { kind: "global" }, initial: [false, true] }
430
- ];
431
- }
432
- export function swrView(state, id, options = {}) {
433
- const data = state[swrVarId(id, "data")] ?? null;
434
- const error = state[swrVarId(id, "error")] === true;
435
- const isValidating = state[swrVarId(id, "isValidating")] === true;
436
- return {
437
- active: options.active ?? true,
438
- data,
439
- error,
440
- isLoading: data === null && isValidating,
441
- isValidating,
442
- loadedEmpty: data === "0",
443
- loadedSome: data === "1" || data === "many" || (Array.isArray(data) && data.length > 0)
444
- };
445
- }
446
- export function swrWindowView(state, id, currentKey, options = {}) {
447
- const entryId = swrWindowEntryId(id, currentKey);
448
- return Object.hasOwn(state, swrVarId(entryId, "data"))
449
- ? swrView(state, entryId, options)
450
- : swrView(state, swrWindowEvictedSummaryId(id), options);
451
- }
452
- export function swrVarId(id, field) {
453
- return `swr:${id}:${field}`;
454
- }
455
- export function swrWindowEntryId(id, key) {
456
- return `${id}:${key}`;
457
- }
458
- export function swrWindowEvictedSummaryId(id) {
459
- return `${id}:evicted`;
460
- }
461
- function swrIdFromKey(key) {
462
- return key.replace(/^\/+/, "").replace(/[^A-Za-z0-9]+/g, "_").replace(/^_+|_+$/g, "") || "root";
463
- }
464
- function stringMetadata(metadata, key, fallback) {
465
- const value = metadata[key];
466
- return typeof value === "string" ? value : fallback;
467
- }
468
- function booleanMetadata(metadata, key, fallback) {
469
- const value = metadata[key];
470
- return typeof value === "boolean" ? value : fallback;
471
- }
472
- function domainMetadata(value) {
473
- if (isDomain(value))
474
- return value;
475
- return { kind: "tokens", count: 1 };
476
- }
477
- function exprMetadata(value) {
478
- return isExpr(value) ? value : undefined;
479
- }
480
- function isDomain(value) {
481
- return Boolean(value && typeof value === "object" && !Array.isArray(value) && "kind" in value);
482
- }
483
- function isExpr(value) {
484
- return Boolean(value && typeof value === "object" && !Array.isArray(value) && "kind" in value);
485
- }
486
- function pendingIs(op) {
487
- return { kind: "eq", args: [{ kind: "read", var: "sys:pending", path: ["0", "opId"] }, lit(op)] };
488
- }
489
- function lit(value) {
490
- return { kind: "lit", value };
491
- }
492
- function notExpr(expr) {
493
- if (expr.kind === "not")
494
- return expr.args[0] ?? lit(true);
495
- return { kind: "not", args: [expr] };
496
- }
497
- function combineActive(global, local) {
498
- if (!global)
499
- return local;
500
- if (!local)
501
- return global;
502
- return { kind: "and", args: [global, local] };
503
- }
504
- function exprReadList(expr) {
505
- const reads = new Set();
506
- const walk = (node) => {
507
- if (node.kind === "read")
508
- reads.add(node.var);
509
- if ("args" in node)
510
- node.args.forEach(walk);
511
- if (node.kind === "updateField") {
512
- walk(node.target);
513
- walk(node.value);
514
- }
515
- if (node.kind === "tagIs" || node.kind === "lenCat")
516
- walk(node.arg);
517
- };
518
- walk(expr);
519
- return [...reads];
520
- }
521
- export function outcomeFor(value) {
522
- return canonicalJson(value);
523
- }
524
- function lineAndColumn(source, node) {
525
- const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
526
- return { line: pos.line + 1, column: pos.character + 1 };
527
- }
528
- //# sourceMappingURL=index.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/sources/swr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGpE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AA0CxC,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,CAAC,uBAAuB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC7E,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,MAAM,UAAU,uBAAuB,CAAC,UAAkB,EAAE,QAAQ,GAAG,SAAS;IAC9E,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1G,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7O,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7D,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;wBAAE,SAAS;oBAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC/H,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,cAAc,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;wBAC/E,QAAQ,CAAC,IAAI,CAAC;4BACZ,EAAE,EAAE,OAAO,EAAE,IAAI,QAAQ,OAAO;4BAChC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;4BAC5D,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;4BAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;yBAC3D,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,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,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,QAAQ,GAAG,SAAS;IACvE,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC1G,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,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3G,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,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAU;wBAChF,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,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrC,OAAO,iBAAiB,CAAC;QACvB,EAAE,EAAE,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChE,EAAE,EAAE,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAC3C,aAAa,EAAE,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC;QACrD,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC7C,iBAAiB,EAAE,eAAe,CAAC,QAAQ,EAAE,mBAAmB,EAAE,KAAK,CAAC;QACxE,UAAU,EAAE,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KAC1G,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAqB;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAC/I,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,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,SAAS,iBAAiB,CAAC,IAA+B;IACxD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/E,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/F,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/G,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;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC3F,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;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnF,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,EAAE,CAAC;QACjL,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACrG,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,IAAI,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;IAC5I,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACzF,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;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACjF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,IAAmB;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AACzG,CAAC;AAED,SAAS,eAAe,CAAC,IAA+B;IACtD,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,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC;QACrI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,QAAQ,CAAC,iBAAiB,GAAG,KAAK,CAAC;IACzI,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgC,EAAE,cAAgD,IAAI,GAAG,EAAE;IACrH,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;gBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC/E,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,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC/G,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;QAAE,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;IAC1G,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC3G,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CAAC,IAAsB,EAAE,cAAgD,IAAI,GAAG,EAAE;IACxG,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9K,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;IACzI,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;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC;IAC3I,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB,EAAE,WAA6C;IACpG,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/F,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,SAAS,qBAAqB,CAAC,MAAqB;IAClD,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;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1G,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;AAED,MAAM,UAAU,iBAAiB,CAAC,OAA2B;IAC3D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAiB;QAChC;YACE,EAAE,EAAE,OAAO,OAAO,CAAC,EAAE,QAAQ;YAC7B,GAAG,EAAE,SAAS;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;YACzC,MAAM;YACN,KAAK,EAAE,MAAM;YACb,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;oBACvD,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,OAAO,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE;iBACzF;aACF;YACD,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC;YACtC,UAAU,EAAE,OAAO;SACpB;QACD,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,GAAG,kBAAkB,CAAC,OAAO,CAAC;QAC9B;YACE,EAAE,EAAE,OAAO,OAAO,CAAC,EAAE,gBAAgB;YACrC,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;YAC5D,MAAM;YACN,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;oBAC7B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;oBACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;iBACnD;aACF;YACD,KAAK,EAAE,CAAC,aAAa,CAAC;YACtB,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,QAAQ,CAAC;YAChD,UAAU,EAAE,OAAO;SACpB;KACF,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAE7B,SAAS,kBAAkB,CAAC,QAA4B;QACtD,OAAO,eAAe,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACpE,EAAE,EAAE,OAAO,QAAQ,CAAC,EAAE,oBAAoB,KAAK,EAAE;YACjD,GAAG,EAAE,KAAc;YACnB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,WAAW,KAAK,EAAE,EAAE;YACjF,MAAM;YACN,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE;gBACN,IAAI,EAAE,KAAc;gBACpB,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,CAAC,EAAE;oBACtC,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;oBAC3D,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;oBACjE,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;iBAC7D;aACF;YACD,KAAK,EAAE,CAAC,aAAa,CAAC;YACtB,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC;YACzD,UAAU,EAAE,OAAgB;SAC7B,CAAC,CAAC,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,OAA2B,EAC3B,MAAc,EACd,MAA4B,EAC5B,OAA0B;IAE1B,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;IAC3D,OAAO;QACL,EAAE,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,mBAAmB;QAC1F,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QAC/G,MAAM;QACN,KAAK,EAAE,MAAM;QACb,MAAM,EAAE;YACN,IAAI,EAAE,KAAK;YACX,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;gBACvD,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,OAAO,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE;aACzF;SACF;QACD,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC;QACtC,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,OAA2B,EAC3B,MAAc,EACd,MAA4B,EAC5B,OAAe,EACf,aAAqB,EACrB,QAAgB;IAEhB,OAAO,eAAe,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACnE,EAAE,EAAE,OAAO,OAAO,CAAC,EAAE,WAAW,KAAK,EAAE;QACvC,GAAG,EAAE,SAAkB;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,UAAU,OAAO,CAAC,EAAE,IAAI,KAAK,EAAE,EAAE;QAC3E,MAAM;QACN,KAAK,EAAE,MAAM;QACb,MAAM,EAAE;YACN,IAAI,EAAE,KAAc;YACpB,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;gBAC3D,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;gBACjE,EAAE,IAAI,EAAE,QAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;aAC7D;SACF;QACD,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC;QAC1C,UAAU,EAAE,OAAgB;KAC7B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,OAAoC;IAC7E,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,sBAAsB,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,iBAAiB,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACtF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACtC,iBAAiB,CAAC;QAChB,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,GAAG,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,EAAE,EAAE;QAC3C,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;QAC/D,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;KAC/B,CAAC,CACH,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,KAAK,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1I,OAAO;QACL,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC;QACzE,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAqC,EACrC,UAAkB,EAClB,UAA8B;IAE9B,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,YAAY,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;IAC3G,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC;IACzD,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAA2B;IACjD,OAAO;QACL,EAAE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;QACpK,EAAE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;QAC7I,EAAE,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;KACvI,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,EAAU,EAAE,aAA6B;IACtE,MAAM,SAAS,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;IAChD,OAAO;QACL,EAAE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,eAAe,CAAC,aAAa,CAAC,CAAC,EAAE;QAChM,EAAE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;QAC5I,EAAE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE;KAC9I,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAiB,EAAE,EAAU,EAAE,UAAgC,EAAE;IACvF,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC;IACpD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,KAAK,IAAI,CAAC;IAClE,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI;QAC9B,IAAI;QACJ,KAAK;QACL,SAAS,EAAE,IAAI,KAAK,IAAI,IAAI,YAAY;QACxC,YAAY;QACZ,WAAW,EAAE,IAAI,KAAK,GAAG;QACzB,UAAU,EAAE,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;KACxF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAiB,EAAE,EAAU,EAAE,UAAkB,EAAE,UAAgC,EAAE;IACjH,MAAM,OAAO,GAAG,gBAAgB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACpD,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC;QAClC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,yBAAyB,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,EAAU,EAAE,KAAwC;IAC3E,OAAO,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,EAAU,EAAE,GAAW;IACtD,OAAO,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAU;IAClD,OAAO,GAAG,EAAE,UAAU,CAAC;AACzB,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC;AAClG,CAAC;AAED,SAAS,cAAc,CAAC,QAA+B,EAAE,GAAW,EAAE,QAAgB;IACpF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CAAC,QAA+B,EAAE,GAAW,EAAE,QAAiB;IACtF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AACvD,CAAC;AAED,SAAS,cAAc,CAAC,KAAwB;IAC9C,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,YAAY,CAAC,KAAwB;IAC5C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3C,CAAC;AAED,SAAS,QAAQ,CAAC,KAAwB;IACxC,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,MAAM,CAAC,KAAwB;IACtC,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACpG,CAAC;AAED,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;AAED,SAAS,aAAa,CAAC,MAA0B,EAAE,KAAyB;IAC1E,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,MAAM,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtE,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,aAAa,CAAC,MAAqB,EAAE,IAAa;IACzD,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"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../src/sources/use-state/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACzG,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE5E,MAAM,WAAW,oBAAqB,SAAQ,YAAY;IACxD,YAAY,EAAE,UAAU,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC;CACrC;AAED,wBAAgB,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;CAAE,GAAG,oBAAoB,CAKtG;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,YAAY,GAAG,cAAc,CAM3F;AAED,wBAAgB,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE3F"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../src/sources/use-state/harness.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,KAAK,CAAC,GAA0D;IAC9E,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;QACpC,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,OAAqB;IAC1D,MAAM,QAAQ,GAAG,OAA+B,CAAC;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;IACrC,IAAI,KAAK,IAAI,QAAQ,CAAC,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;IACpF,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAuB,EAAE,MAAc;IAC7D,OAAO,SAAS,CAAC;AACnB,CAAC"}
@@ -1,9 +0,0 @@
1
- import * as ts from "typescript";
2
- import type { StateSourcePlugin, SourceDecl, WriteChannel } from "modality-ts/extraction/spi";
3
- import { type AbstractDomain } from "modality-ts/kernel";
4
- export declare function useStateSource(): StateSourcePlugin;
5
- export default useStateSource;
6
- export declare function discoverUseState(sourceText: string, fileName?: string, route?: string): SourceDecl[];
7
- export declare function discoverUseStateWriteChannels(sourceText: string, fileName?: string): WriteChannel[];
8
- export declare function inferDomainFromTypeNode(node: ts.TypeNode | undefined, typeAliases?: ReadonlyMap<string, ts.TypeNode>): AbstractDomain;
9
- //# sourceMappingURL=index.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sources/use-state/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAiB,KAAK,cAAc,EAAoD,MAAM,oBAAoB,CAAC;AAG1H,wBAAgB,cAAc,IAAI,iBAAiB,CAYlD;AAED,eAAe,cAAc,CAAC;AAE9B,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAY,EAAE,KAAK,SAAM,GAAG,UAAU,EAAE,CAuCpG;AAED,wBAAgB,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,SAAY,GAAG,YAAY,EAAE,CAWtG;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,EAAE,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAa,GAAG,cAAc,CAuBhJ"}