modality-ts 0.0.7 → 0.0.9

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 (578) hide show
  1. package/dist/check/diagnostics/bounds.d.ts +4 -0
  2. package/dist/check/diagnostics/bounds.d.ts.map +1 -0
  3. package/dist/check/diagnostics/bounds.js +25 -0
  4. package/dist/check/diagnostics/bounds.js.map +1 -0
  5. package/dist/check/diagnostics/vacuity.d.ts +3 -0
  6. package/dist/check/diagnostics/vacuity.d.ts.map +1 -0
  7. package/dist/check/diagnostics/vacuity.js +22 -0
  8. package/dist/check/diagnostics/vacuity.js.map +1 -0
  9. package/dist/check/engine/check-model.d.ts +4 -0
  10. package/dist/check/engine/check-model.d.ts.map +1 -0
  11. package/dist/check/engine/check-model.js +162 -0
  12. package/dist/check/engine/check-model.js.map +1 -0
  13. package/dist/check/engine/initial-states.d.ts +3 -0
  14. package/dist/check/engine/initial-states.d.ts.map +1 -0
  15. package/dist/check/engine/initial-states.js +11 -0
  16. package/dist/check/engine/initial-states.js.map +1 -0
  17. package/dist/check/engine/model-api.d.ts +4 -0
  18. package/dist/check/engine/model-api.d.ts.map +1 -0
  19. package/dist/check/engine/model-api.js +15 -0
  20. package/dist/check/engine/model-api.js.map +1 -0
  21. package/dist/check/engine/mounts.d.ts +3 -0
  22. package/dist/check/engine/mounts.d.ts.map +1 -0
  23. package/dist/check/engine/mounts.js +13 -0
  24. package/dist/check/engine/mounts.js.map +1 -0
  25. package/dist/check/engine/stabilize.d.ts +3 -0
  26. package/dist/check/engine/stabilize.d.ts.map +1 -0
  27. package/dist/check/engine/stabilize.js +82 -0
  28. package/dist/check/engine/stabilize.js.map +1 -0
  29. package/dist/check/engine/state-utils.d.ts +12 -0
  30. package/dist/check/engine/state-utils.d.ts.map +1 -0
  31. package/dist/check/engine/state-utils.js +30 -0
  32. package/dist/check/engine/state-utils.js.map +1 -0
  33. package/dist/check/engine/transitions.d.ts +4 -0
  34. package/dist/check/engine/transitions.d.ts.map +1 -0
  35. package/dist/check/engine/transitions.js +15 -0
  36. package/dist/check/engine/transitions.js.map +1 -0
  37. package/dist/check/index.d.ts +14 -0
  38. package/dist/check/index.d.ts.map +1 -0
  39. package/dist/check/index.js +13 -0
  40. package/dist/check/index.js.map +1 -0
  41. package/dist/check/properties/checked-state.d.ts +3 -0
  42. package/dist/check/properties/checked-state.d.ts.map +1 -0
  43. package/dist/check/properties/checked-state.js +21 -0
  44. package/dist/check/properties/checked-state.js.map +1 -0
  45. package/dist/check/properties/finalize.d.ts +4 -0
  46. package/dist/check/properties/finalize.d.ts.map +1 -0
  47. package/dist/check/properties/finalize.js +71 -0
  48. package/dist/check/properties/finalize.js.map +1 -0
  49. package/dist/check/properties/leads-to.d.ts +8 -0
  50. package/dist/check/properties/leads-to.d.ts.map +1 -0
  51. package/dist/check/properties/leads-to.js +69 -0
  52. package/dist/check/properties/leads-to.js.map +1 -0
  53. package/dist/check/properties/observe.d.ts +5 -0
  54. package/dist/check/properties/observe.d.ts.map +1 -0
  55. package/dist/check/properties/observe.js +56 -0
  56. package/dist/check/properties/observe.js.map +1 -0
  57. package/dist/check/properties/reachable-from.d.ts +8 -0
  58. package/dist/check/properties/reachable-from.d.ts.map +1 -0
  59. package/dist/check/properties/reachable-from.js +19 -0
  60. package/dist/check/properties/reachable-from.js.map +1 -0
  61. package/dist/check/runtime/domains.d.ts +5 -0
  62. package/dist/check/runtime/domains.d.ts.map +1 -0
  63. package/dist/check/runtime/domains.js +53 -0
  64. package/dist/check/runtime/domains.js.map +1 -0
  65. package/dist/check/runtime/effects.d.ts +9 -0
  66. package/dist/check/runtime/effects.d.ts.map +1 -0
  67. package/dist/check/runtime/effects.js +86 -0
  68. package/dist/check/runtime/effects.js.map +1 -0
  69. package/dist/check/runtime/expr.d.ts +7 -0
  70. package/dist/check/runtime/expr.d.ts.map +1 -0
  71. package/dist/check/runtime/expr.js +49 -0
  72. package/dist/check/runtime/expr.js.map +1 -0
  73. package/dist/check/runtime/navigation.d.ts +7 -0
  74. package/dist/check/runtime/navigation.d.ts.map +1 -0
  75. package/dist/check/runtime/navigation.js +60 -0
  76. package/dist/check/runtime/navigation.js.map +1 -0
  77. package/dist/check/runtime/opaque.d.ts +3 -0
  78. package/dist/check/runtime/opaque.d.ts.map +1 -0
  79. package/dist/check/runtime/opaque.js +72 -0
  80. package/dist/check/runtime/opaque.js.map +1 -0
  81. package/dist/check/runtime/paths.d.ts +4 -0
  82. package/dist/check/runtime/paths.d.ts.map +1 -0
  83. package/dist/check/runtime/paths.js +28 -0
  84. package/dist/check/runtime/paths.js.map +1 -0
  85. package/dist/check/runtime/pending.d.ts +9 -0
  86. package/dist/check/runtime/pending.d.ts.map +1 -0
  87. package/dist/check/runtime/pending.js +5 -0
  88. package/dist/check/runtime/pending.js.map +1 -0
  89. package/dist/check/runtime/tokens.d.ts +7 -0
  90. package/dist/check/runtime/tokens.d.ts.map +1 -0
  91. package/dist/check/runtime/tokens.js +36 -0
  92. package/dist/check/runtime/tokens.js.map +1 -0
  93. package/dist/check/slicing/slice-model.d.ts +5 -0
  94. package/dist/check/slicing/slice-model.d.ts.map +1 -0
  95. package/dist/check/slicing/slice-model.js +48 -0
  96. package/dist/check/slicing/slice-model.js.map +1 -0
  97. package/dist/check/traces/step-facts.d.ts +3 -0
  98. package/dist/check/traces/step-facts.d.ts.map +1 -0
  99. package/dist/check/traces/step-facts.js +35 -0
  100. package/dist/check/traces/step-facts.js.map +1 -0
  101. package/dist/check/traces/trace.d.ts +8 -0
  102. package/dist/check/traces/trace.d.ts.map +1 -0
  103. package/dist/check/traces/trace.js +42 -0
  104. package/dist/check/traces/trace.js.map +1 -0
  105. package/dist/{checker/search/index.d.ts → check/types.d.ts} +16 -6
  106. package/dist/check/types.d.ts.map +1 -0
  107. package/dist/{kernel/ir → check}/types.js.map +1 -1
  108. package/dist/cli/check.d.ts +3 -0
  109. package/dist/cli/check.d.ts.map +1 -0
  110. package/dist/cli/check.js +2 -0
  111. package/dist/cli/check.js.map +1 -0
  112. package/dist/cli/ci.d.ts.map +1 -0
  113. package/dist/cli/ci.js.map +1 -0
  114. package/dist/{modality → cli}/cli.d.ts.map +1 -1
  115. package/dist/{modality → cli}/cli.js +131 -18
  116. package/dist/cli/cli.js.map +1 -0
  117. package/dist/cli/codegen/model.d.ts +3 -0
  118. package/dist/cli/codegen/model.d.ts.map +1 -0
  119. package/dist/{modality → cli}/codegen/model.js +18 -10
  120. package/dist/cli/codegen/model.js.map +1 -0
  121. package/dist/{modality → cli}/codegen/replay-test.d.ts +1 -1
  122. package/dist/cli/codegen/replay-test.d.ts.map +1 -0
  123. package/dist/{modality → cli}/codegen/replay-test.js +12 -12
  124. package/dist/cli/codegen/replay-test.js.map +1 -0
  125. package/dist/cli/conform.d.ts +3 -0
  126. package/dist/cli/conform.d.ts.map +1 -0
  127. package/dist/cli/conform.js +2 -0
  128. package/dist/cli/conform.js.map +1 -0
  129. package/dist/cli/export-tla.d.ts +3 -0
  130. package/dist/cli/export-tla.d.ts.map +1 -0
  131. package/dist/cli/export-tla.js +2 -0
  132. package/dist/cli/export-tla.js.map +1 -0
  133. package/dist/{modality → cli}/extract.d.ts +1 -1
  134. package/dist/cli/extract.d.ts.map +1 -0
  135. package/dist/cli/extract.js.map +1 -0
  136. package/dist/{modality → cli}/features/check/command.d.ts +2 -2
  137. package/dist/cli/features/check/command.d.ts.map +1 -0
  138. package/dist/{modality → cli}/features/check/command.js +53 -17
  139. package/dist/cli/features/check/command.js.map +1 -0
  140. package/dist/cli/features/check/index.d.ts +3 -0
  141. package/dist/cli/features/check/index.d.ts.map +1 -0
  142. package/dist/cli/features/check/index.js +2 -0
  143. package/dist/cli/features/check/index.js.map +1 -0
  144. package/dist/cli/features/ci/command.d.ts.map +1 -0
  145. package/dist/{modality → cli}/features/ci/command.js +66 -26
  146. package/dist/cli/features/ci/command.js.map +1 -0
  147. package/dist/cli/features/ci/index.d.ts.map +1 -0
  148. package/dist/cli/features/ci/index.js.map +1 -0
  149. package/dist/{modality → cli}/features/conform/command.d.ts +1 -1
  150. package/dist/cli/features/conform/command.d.ts.map +1 -0
  151. package/dist/{modality → cli}/features/conform/command.js +67 -25
  152. package/dist/cli/features/conform/command.js.map +1 -0
  153. package/dist/cli/features/conform/index.d.ts.map +1 -0
  154. package/dist/cli/features/conform/index.js.map +1 -0
  155. package/dist/{modality → cli}/features/export/command.d.ts +1 -1
  156. package/dist/cli/features/export/command.d.ts.map +1 -0
  157. package/dist/{modality → cli}/features/export/command.js +72 -27
  158. package/dist/cli/features/export/command.js.map +1 -0
  159. package/dist/{modality → cli}/features/export/index.d.ts +2 -2
  160. package/dist/cli/features/export/index.d.ts.map +1 -0
  161. package/dist/cli/features/export/index.js +2 -0
  162. package/dist/cli/features/export/index.js.map +1 -0
  163. package/dist/{modality → cli}/features/extract/command.d.ts +3 -3
  164. package/dist/cli/features/extract/command.d.ts.map +1 -0
  165. package/dist/{modality → cli}/features/extract/command.js +219 -77
  166. package/dist/cli/features/extract/command.js.map +1 -0
  167. package/dist/{modality → cli}/features/extract/index.d.ts +1 -1
  168. package/dist/cli/features/extract/index.d.ts.map +1 -0
  169. package/dist/cli/features/extract/index.js.map +1 -0
  170. package/dist/{modality → cli}/features/replay/command.d.ts +1 -1
  171. package/dist/cli/features/replay/command.d.ts.map +1 -0
  172. package/dist/{modality → cli}/features/replay/command.js +42 -16
  173. package/dist/cli/features/replay/command.js.map +1 -0
  174. package/dist/cli/features/replay/index.d.ts.map +1 -0
  175. package/dist/cli/features/replay/index.js.map +1 -0
  176. package/dist/{harness → cli/harness}/index.d.ts +1 -1
  177. package/dist/cli/harness/index.d.ts.map +1 -0
  178. package/dist/{harness → cli/harness}/index.js +128 -37
  179. package/dist/cli/harness/index.js.map +1 -0
  180. package/dist/{modality → cli}/overlay.d.ts +1 -1
  181. package/dist/cli/overlay.d.ts.map +1 -0
  182. package/dist/{modality → cli}/overlay.js +1 -1
  183. package/dist/cli/overlay.js.map +1 -0
  184. package/dist/{modality → cli}/registry/index.d.ts +2 -2
  185. package/dist/cli/registry/index.d.ts.map +1 -0
  186. package/dist/{modality → cli}/registry/index.js +32 -17
  187. package/dist/cli/registry/index.js.map +1 -0
  188. package/dist/cli/replay.d.ts +3 -0
  189. package/dist/cli/replay.d.ts.map +1 -0
  190. package/dist/cli/replay.js.map +1 -0
  191. package/dist/{runtime → cli/runtime}/index.d.ts +1 -1
  192. package/dist/cli/runtime/index.d.ts.map +1 -0
  193. package/dist/{runtime → cli/runtime}/index.js +37 -10
  194. package/dist/cli/runtime/index.js.map +1 -0
  195. package/dist/core/artifacts/index.d.ts.map +1 -0
  196. package/dist/{kernel → core}/artifacts/index.js +7 -2
  197. package/dist/core/artifacts/index.js.map +1 -0
  198. package/dist/core/index.d.ts.map +1 -0
  199. package/dist/core/index.js.map +1 -0
  200. package/dist/core/ir/canonical.d.ts.map +1 -0
  201. package/dist/{kernel → core}/ir/canonical.js +30 -7
  202. package/dist/core/ir/canonical.js.map +1 -0
  203. package/dist/core/ir/domains.d.ts.map +1 -0
  204. package/dist/{kernel → core}/ir/domains.js +18 -6
  205. package/dist/core/ir/domains.js.map +1 -0
  206. package/dist/core/ir/types.d.ts.map +1 -0
  207. package/dist/{kernel/trace → core/ir}/types.js.map +1 -1
  208. package/dist/core/ir/validator.d.ts.map +1 -0
  209. package/dist/{kernel → core}/ir/validator.js +48 -19
  210. package/dist/core/ir/validator.js.map +1 -0
  211. package/dist/core/overlay/index.d.ts.map +1 -0
  212. package/dist/{kernel → core}/overlay/index.js +35 -14
  213. package/dist/core/overlay/index.js.map +1 -0
  214. package/dist/core/props/index.d.ts.map +1 -0
  215. package/dist/{kernel → core}/props/index.js +69 -21
  216. package/dist/core/props/index.js.map +1 -0
  217. package/dist/{kernel → core}/report/types.d.ts.map +1 -1
  218. package/dist/{kernel → core}/report/types.js.map +1 -1
  219. package/dist/core/trace/types.d.ts.map +1 -0
  220. package/dist/core/trace/types.js +2 -0
  221. package/dist/core/trace/types.js.map +1 -0
  222. package/dist/extract/engine/index.d.ts +4 -0
  223. package/dist/extract/engine/index.d.ts.map +1 -0
  224. package/dist/extract/engine/index.js +4 -0
  225. package/dist/extract/engine/index.js.map +1 -0
  226. package/dist/{extraction → extract/engine}/pipeline/index.d.ts +1 -2
  227. package/dist/extract/engine/pipeline/index.d.ts.map +1 -0
  228. package/dist/{extraction → extract/engine}/pipeline/index.js +55 -18
  229. package/dist/extract/engine/pipeline/index.js.map +1 -0
  230. package/dist/{extraction → extract/engine}/spi/index.d.ts +17 -1
  231. package/dist/extract/engine/spi/index.d.ts.map +1 -0
  232. package/dist/extract/engine/spi/index.js.map +1 -0
  233. package/dist/extract/engine/ts/ast.d.ts +23 -0
  234. package/dist/extract/engine/ts/ast.d.ts.map +1 -0
  235. package/dist/extract/engine/ts/ast.js +97 -0
  236. package/dist/extract/engine/ts/ast.js.map +1 -0
  237. package/dist/extract/engine/ts/components.d.ts +21 -0
  238. package/dist/extract/engine/ts/components.d.ts.map +1 -0
  239. package/dist/extract/engine/ts/components.js +287 -0
  240. package/dist/extract/engine/ts/components.js.map +1 -0
  241. package/dist/extract/engine/ts/context.d.ts +10 -0
  242. package/dist/extract/engine/ts/context.d.ts.map +1 -0
  243. package/dist/extract/engine/ts/context.js +273 -0
  244. package/dist/extract/engine/ts/context.js.map +1 -0
  245. package/dist/extract/engine/ts/domains.d.ts +8 -0
  246. package/dist/extract/engine/ts/domains.d.ts.map +1 -0
  247. package/dist/extract/engine/ts/domains.js +262 -0
  248. package/dist/extract/engine/ts/domains.js.map +1 -0
  249. package/dist/extract/engine/ts/expressions.d.ts +2 -0
  250. package/dist/extract/engine/ts/expressions.d.ts.map +1 -0
  251. package/dist/extract/engine/ts/expressions.js +2 -0
  252. package/dist/extract/engine/ts/expressions.js.map +1 -0
  253. package/dist/extract/engine/ts/handlers.d.ts +4 -0
  254. package/dist/extract/engine/ts/handlers.d.ts.map +1 -0
  255. package/dist/extract/engine/ts/handlers.js +3 -0
  256. package/dist/extract/engine/ts/handlers.js.map +1 -0
  257. package/dist/extract/engine/ts/ids.d.ts +7 -0
  258. package/dist/extract/engine/ts/ids.d.ts.map +1 -0
  259. package/dist/extract/engine/ts/ids.js +63 -0
  260. package/dist/extract/engine/ts/ids.js.map +1 -0
  261. package/dist/extract/engine/ts/input-transitions.d.ts +5 -0
  262. package/dist/extract/engine/ts/input-transitions.d.ts.map +1 -0
  263. package/dist/extract/engine/ts/input-transitions.js +132 -0
  264. package/dist/extract/engine/ts/input-transitions.js.map +1 -0
  265. package/dist/extract/engine/ts/jsx.d.ts +3 -0
  266. package/dist/extract/engine/ts/jsx.d.ts.map +1 -0
  267. package/dist/extract/engine/ts/jsx.js +3 -0
  268. package/dist/extract/engine/ts/jsx.js.map +1 -0
  269. package/dist/extract/engine/ts/react-source-transitions.d.ts +24 -0
  270. package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -0
  271. package/dist/extract/engine/ts/react-source-transitions.js +243 -0
  272. package/dist/extract/engine/ts/react-source-transitions.js.map +1 -0
  273. package/dist/extract/engine/ts/routes.d.ts +9 -0
  274. package/dist/extract/engine/ts/routes.d.ts.map +1 -0
  275. package/dist/extract/engine/ts/routes.js +94 -0
  276. package/dist/extract/engine/ts/routes.js.map +1 -0
  277. package/dist/extract/engine/ts/source.d.ts +3 -0
  278. package/dist/extract/engine/ts/source.d.ts.map +1 -0
  279. package/dist/extract/engine/ts/source.js +5 -0
  280. package/dist/extract/engine/ts/source.js.map +1 -0
  281. package/dist/extract/engine/ts/static-navigation.d.ts +5 -0
  282. package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -0
  283. package/dist/extract/engine/ts/static-navigation.js +425 -0
  284. package/dist/extract/engine/ts/static-navigation.js.map +1 -0
  285. package/dist/extract/engine/ts/transition/async.d.ts +44 -0
  286. package/dist/extract/engine/ts/transition/async.d.ts.map +1 -0
  287. package/dist/extract/engine/ts/transition/async.js +546 -0
  288. package/dist/extract/engine/ts/transition/async.js.map +1 -0
  289. package/dist/extract/engine/ts/transition/component-props.d.ts +26 -0
  290. package/dist/extract/engine/ts/transition/component-props.d.ts.map +1 -0
  291. package/dist/extract/engine/ts/transition/component-props.js +200 -0
  292. package/dist/extract/engine/ts/transition/component-props.js.map +1 -0
  293. package/dist/extract/engine/ts/transition/effects.d.ts +33 -0
  294. package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -0
  295. package/dist/extract/engine/ts/transition/effects.js +303 -0
  296. package/dist/extract/engine/ts/transition/effects.js.map +1 -0
  297. package/dist/extract/engine/ts/transition/expressions.d.ts +33 -0
  298. package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -0
  299. package/dist/extract/engine/ts/transition/expressions.js +353 -0
  300. package/dist/extract/engine/ts/transition/expressions.js.map +1 -0
  301. package/dist/extract/engine/ts/transition/guards.d.ts +21 -0
  302. package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -0
  303. package/dist/extract/engine/ts/transition/guards.js +249 -0
  304. package/dist/extract/engine/ts/transition/guards.js.map +1 -0
  305. package/dist/extract/engine/ts/transition/handlers.d.ts +53 -0
  306. package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -0
  307. package/dist/extract/engine/ts/transition/handlers.js +438 -0
  308. package/dist/extract/engine/ts/transition/handlers.js.map +1 -0
  309. package/dist/extract/engine/ts/transition/locals.d.ts +16 -0
  310. package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -0
  311. package/dist/extract/engine/ts/transition/locals.js +113 -0
  312. package/dist/extract/engine/ts/transition/locals.js.map +1 -0
  313. package/dist/extract/engine/ts/transition/navigation.d.ts +21 -0
  314. package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -0
  315. package/dist/extract/engine/ts/transition/navigation.js +129 -0
  316. package/dist/extract/engine/ts/transition/navigation.js.map +1 -0
  317. package/dist/extract/engine/ts/transition/plugin-calls.d.ts +10 -0
  318. package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -0
  319. package/dist/extract/engine/ts/transition/plugin-calls.js +114 -0
  320. package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -0
  321. package/dist/extract/engine/ts/transition/timers.d.ts +15 -0
  322. package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -0
  323. package/dist/extract/engine/ts/transition/timers.js +121 -0
  324. package/dist/extract/engine/ts/transition/timers.js.map +1 -0
  325. package/dist/extract/engine/ts/transition/ui.d.ts +12 -0
  326. package/dist/extract/engine/ts/transition/ui.d.ts.map +1 -0
  327. package/dist/extract/engine/ts/transition/ui.js +113 -0
  328. package/dist/extract/engine/ts/transition/ui.js.map +1 -0
  329. package/dist/extract/engine/ts/traversal.d.ts +3 -0
  330. package/dist/extract/engine/ts/traversal.d.ts.map +1 -0
  331. package/dist/extract/engine/ts/traversal.js +6 -0
  332. package/dist/extract/engine/ts/traversal.js.map +1 -0
  333. package/dist/extract/engine/ts/types.d.ts +46 -0
  334. package/dist/extract/engine/ts/types.d.ts.map +1 -0
  335. package/dist/extract/engine/ts/types.js +2 -0
  336. package/dist/extract/engine/ts/types.js.map +1 -0
  337. package/dist/extract/index.d.ts +2 -0
  338. package/dist/extract/index.d.ts.map +1 -0
  339. package/dist/extract/index.js +2 -0
  340. package/dist/extract/index.js.map +1 -0
  341. package/dist/extract/sources/jotai/discover.d.ts +3 -0
  342. package/dist/extract/sources/jotai/discover.d.ts.map +1 -0
  343. package/dist/extract/sources/jotai/discover.js +65 -0
  344. package/dist/extract/sources/jotai/discover.js.map +1 -0
  345. package/dist/extract/sources/jotai/domains.d.ts +6 -0
  346. package/dist/extract/sources/jotai/domains.d.ts.map +1 -0
  347. package/dist/extract/sources/jotai/domains.js +283 -0
  348. package/dist/extract/sources/jotai/domains.js.map +1 -0
  349. package/dist/{sources → extract/sources}/jotai/harness.d.ts +2 -2
  350. package/dist/extract/sources/jotai/harness.d.ts.map +1 -0
  351. package/dist/{sources → extract/sources}/jotai/harness.js +1 -1
  352. package/dist/extract/sources/jotai/harness.js.map +1 -0
  353. package/dist/extract/sources/jotai/index.d.ts +4 -0
  354. package/dist/extract/sources/jotai/index.d.ts.map +1 -0
  355. package/dist/extract/sources/jotai/index.js +19 -0
  356. package/dist/extract/sources/jotai/index.js.map +1 -0
  357. package/dist/extract/sources/jotai/writes.d.ts +8 -0
  358. package/dist/extract/sources/jotai/writes.d.ts.map +1 -0
  359. package/dist/extract/sources/jotai/writes.js +173 -0
  360. package/dist/extract/sources/jotai/writes.js.map +1 -0
  361. package/dist/{sources → extract/sources}/router/harness.d.ts +1 -1
  362. package/dist/extract/sources/router/harness.d.ts.map +1 -0
  363. package/dist/{sources → extract/sources}/router/harness.js +6 -2
  364. package/dist/extract/sources/router/harness.js.map +1 -0
  365. package/dist/extract/sources/router/index.d.ts +9 -0
  366. package/dist/extract/sources/router/index.d.ts.map +1 -0
  367. package/dist/extract/sources/router/index.js +22 -0
  368. package/dist/extract/sources/router/index.js.map +1 -0
  369. package/dist/extract/sources/router/navigation.d.ts +5 -0
  370. package/dist/extract/sources/router/navigation.d.ts.map +1 -0
  371. package/dist/extract/sources/router/navigation.js +16 -0
  372. package/dist/extract/sources/router/navigation.js.map +1 -0
  373. package/dist/extract/sources/router/routes.d.ts +4 -0
  374. package/dist/extract/sources/router/routes.d.ts.map +1 -0
  375. package/dist/extract/sources/router/routes.js +28 -0
  376. package/dist/extract/sources/router/routes.js.map +1 -0
  377. package/dist/extract/sources/swr/discover.d.ts +11 -0
  378. package/dist/extract/sources/swr/discover.d.ts.map +1 -0
  379. package/dist/extract/sources/swr/discover.js +175 -0
  380. package/dist/extract/sources/swr/discover.js.map +1 -0
  381. package/dist/extract/sources/swr/domains.d.ts +5 -0
  382. package/dist/extract/sources/swr/domains.d.ts.map +1 -0
  383. package/dist/extract/sources/swr/domains.js +99 -0
  384. package/dist/extract/sources/swr/domains.js.map +1 -0
  385. package/dist/{sources → extract/sources}/swr/harness.d.ts +2 -2
  386. package/dist/extract/sources/swr/harness.d.ts.map +1 -0
  387. package/dist/{sources → extract/sources}/swr/harness.js +3 -1
  388. package/dist/extract/sources/swr/harness.js.map +1 -0
  389. package/dist/extract/sources/swr/index.d.ts +6 -0
  390. package/dist/extract/sources/swr/index.d.ts.map +1 -0
  391. package/dist/extract/sources/swr/index.js +22 -0
  392. package/dist/extract/sources/swr/index.js.map +1 -0
  393. package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts} +4 -6
  394. package/dist/extract/sources/swr/template.d.ts.map +1 -0
  395. package/dist/extract/sources/swr/template.js +331 -0
  396. package/dist/extract/sources/swr/template.js.map +1 -0
  397. package/dist/extract/sources/swr/writes.d.ts +3 -0
  398. package/dist/extract/sources/swr/writes.d.ts.map +1 -0
  399. package/dist/extract/sources/swr/writes.js +54 -0
  400. package/dist/extract/sources/swr/writes.js.map +1 -0
  401. package/dist/{sources → extract/sources}/use-state/harness.d.ts +2 -2
  402. package/dist/extract/sources/use-state/harness.d.ts.map +1 -0
  403. package/dist/{sources → extract/sources}/use-state/harness.js +1 -1
  404. package/dist/extract/sources/use-state/harness.js.map +1 -0
  405. package/dist/extract/sources/use-state/index.d.ts +4 -0
  406. package/dist/extract/sources/use-state/index.d.ts.map +1 -0
  407. package/dist/{sources → extract/sources}/use-state/index.js +92 -35
  408. package/dist/extract/sources/use-state/index.js.map +1 -0
  409. package/dist/extract/sources/use-state/transitions.d.ts +4 -0
  410. package/dist/extract/sources/use-state/transitions.d.ts.map +1 -0
  411. package/dist/extract/sources/use-state/transitions.js +20 -0
  412. package/dist/extract/sources/use-state/transitions.js.map +1 -0
  413. package/dist/extract/sources/use-state/types.d.ts +67 -0
  414. package/dist/extract/sources/use-state/types.d.ts.map +1 -0
  415. package/dist/extract/sources/use-state/types.js +2 -0
  416. package/dist/extract/sources/use-state/types.js.map +1 -0
  417. package/package.json +85 -71
  418. package/dist/checker/encode/index.d.ts +0 -2
  419. package/dist/checker/encode/index.d.ts.map +0 -1
  420. package/dist/checker/encode/index.js +0 -2
  421. package/dist/checker/encode/index.js.map +0 -1
  422. package/dist/checker/index.d.ts +0 -6
  423. package/dist/checker/index.d.ts.map +0 -1
  424. package/dist/checker/index.js +0 -6
  425. package/dist/checker/index.js.map +0 -1
  426. package/dist/checker/monitors/index.d.ts +0 -2
  427. package/dist/checker/monitors/index.d.ts.map +0 -1
  428. package/dist/checker/monitors/index.js.map +0 -1
  429. package/dist/checker/search/eval.d.ts +0 -16
  430. package/dist/checker/search/eval.d.ts.map +0 -1
  431. package/dist/checker/search/eval.js +0 -308
  432. package/dist/checker/search/eval.js.map +0 -1
  433. package/dist/checker/search/index.d.ts.map +0 -1
  434. package/dist/checker/search/index.js +0 -556
  435. package/dist/checker/search/index.js.map +0 -1
  436. package/dist/checker/slicing/index.d.ts +0 -2
  437. package/dist/checker/slicing/index.d.ts.map +0 -1
  438. package/dist/checker/slicing/index.js +0 -2
  439. package/dist/checker/slicing/index.js.map +0 -1
  440. package/dist/checker/traces/index.d.ts +0 -2
  441. package/dist/checker/traces/index.d.ts.map +0 -1
  442. package/dist/checker/traces/index.js +0 -2
  443. package/dist/checker/traces/index.js.map +0 -1
  444. package/dist/extraction/index.d.ts +0 -34
  445. package/dist/extraction/index.d.ts.map +0 -1
  446. package/dist/extraction/index.js +0 -2977
  447. package/dist/extraction/index.js.map +0 -1
  448. package/dist/extraction/pipeline/index.d.ts.map +0 -1
  449. package/dist/extraction/pipeline/index.js.map +0 -1
  450. package/dist/extraction/spi/index.d.ts.map +0 -1
  451. package/dist/extraction/spi/index.js +0 -2
  452. package/dist/extraction/spi/index.js.map +0 -1
  453. package/dist/harness/index.d.ts.map +0 -1
  454. package/dist/harness/index.js.map +0 -1
  455. package/dist/kernel/artifacts/index.d.ts.map +0 -1
  456. package/dist/kernel/artifacts/index.js.map +0 -1
  457. package/dist/kernel/index.d.ts.map +0 -1
  458. package/dist/kernel/index.js.map +0 -1
  459. package/dist/kernel/ir/canonical.d.ts.map +0 -1
  460. package/dist/kernel/ir/canonical.js.map +0 -1
  461. package/dist/kernel/ir/domains.d.ts.map +0 -1
  462. package/dist/kernel/ir/domains.js.map +0 -1
  463. package/dist/kernel/ir/types.d.ts.map +0 -1
  464. package/dist/kernel/ir/validator.d.ts.map +0 -1
  465. package/dist/kernel/ir/validator.js.map +0 -1
  466. package/dist/kernel/overlay/index.d.ts.map +0 -1
  467. package/dist/kernel/overlay/index.js.map +0 -1
  468. package/dist/kernel/props/index.d.ts.map +0 -1
  469. package/dist/kernel/props/index.js.map +0 -1
  470. package/dist/kernel/trace/types.d.ts.map +0 -1
  471. package/dist/modality/check.d.ts +0 -3
  472. package/dist/modality/check.d.ts.map +0 -1
  473. package/dist/modality/check.js +0 -2
  474. package/dist/modality/check.js.map +0 -1
  475. package/dist/modality/ci.d.ts.map +0 -1
  476. package/dist/modality/ci.js.map +0 -1
  477. package/dist/modality/cli.js.map +0 -1
  478. package/dist/modality/codegen/model.d.ts +0 -3
  479. package/dist/modality/codegen/model.d.ts.map +0 -1
  480. package/dist/modality/codegen/model.js.map +0 -1
  481. package/dist/modality/codegen/replay-test.d.ts.map +0 -1
  482. package/dist/modality/codegen/replay-test.js.map +0 -1
  483. package/dist/modality/conform.d.ts +0 -3
  484. package/dist/modality/conform.d.ts.map +0 -1
  485. package/dist/modality/conform.js +0 -2
  486. package/dist/modality/conform.js.map +0 -1
  487. package/dist/modality/export-tla.d.ts +0 -3
  488. package/dist/modality/export-tla.d.ts.map +0 -1
  489. package/dist/modality/export-tla.js +0 -2
  490. package/dist/modality/export-tla.js.map +0 -1
  491. package/dist/modality/extract.d.ts.map +0 -1
  492. package/dist/modality/extract.js.map +0 -1
  493. package/dist/modality/features/check/command.d.ts.map +0 -1
  494. package/dist/modality/features/check/command.js.map +0 -1
  495. package/dist/modality/features/check/index.d.ts +0 -3
  496. package/dist/modality/features/check/index.d.ts.map +0 -1
  497. package/dist/modality/features/check/index.js +0 -2
  498. package/dist/modality/features/check/index.js.map +0 -1
  499. package/dist/modality/features/ci/command.d.ts.map +0 -1
  500. package/dist/modality/features/ci/command.js.map +0 -1
  501. package/dist/modality/features/ci/index.d.ts.map +0 -1
  502. package/dist/modality/features/ci/index.js.map +0 -1
  503. package/dist/modality/features/conform/command.d.ts.map +0 -1
  504. package/dist/modality/features/conform/command.js.map +0 -1
  505. package/dist/modality/features/conform/index.d.ts.map +0 -1
  506. package/dist/modality/features/conform/index.js.map +0 -1
  507. package/dist/modality/features/export/command.d.ts.map +0 -1
  508. package/dist/modality/features/export/command.js.map +0 -1
  509. package/dist/modality/features/export/index.d.ts.map +0 -1
  510. package/dist/modality/features/export/index.js +0 -2
  511. package/dist/modality/features/export/index.js.map +0 -1
  512. package/dist/modality/features/extract/command.d.ts.map +0 -1
  513. package/dist/modality/features/extract/command.js.map +0 -1
  514. package/dist/modality/features/extract/index.d.ts.map +0 -1
  515. package/dist/modality/features/extract/index.js.map +0 -1
  516. package/dist/modality/features/replay/command.d.ts.map +0 -1
  517. package/dist/modality/features/replay/command.js.map +0 -1
  518. package/dist/modality/features/replay/index.d.ts.map +0 -1
  519. package/dist/modality/features/replay/index.js.map +0 -1
  520. package/dist/modality/overlay.d.ts.map +0 -1
  521. package/dist/modality/overlay.js.map +0 -1
  522. package/dist/modality/registry/index.d.ts.map +0 -1
  523. package/dist/modality/registry/index.js.map +0 -1
  524. package/dist/modality/replay.d.ts +0 -3
  525. package/dist/modality/replay.d.ts.map +0 -1
  526. package/dist/modality/replay.js.map +0 -1
  527. package/dist/runtime/index.d.ts.map +0 -1
  528. package/dist/runtime/index.js.map +0 -1
  529. package/dist/sources/jotai/harness.d.ts.map +0 -1
  530. package/dist/sources/jotai/harness.js.map +0 -1
  531. package/dist/sources/jotai/index.d.ts +0 -11
  532. package/dist/sources/jotai/index.d.ts.map +0 -1
  533. package/dist/sources/jotai/index.js +0 -428
  534. package/dist/sources/jotai/index.js.map +0 -1
  535. package/dist/sources/router/harness.d.ts.map +0 -1
  536. package/dist/sources/router/harness.js.map +0 -1
  537. package/dist/sources/router/index.d.ts +0 -15
  538. package/dist/sources/router/index.d.ts.map +0 -1
  539. package/dist/sources/router/index.js +0 -41
  540. package/dist/sources/router/index.js.map +0 -1
  541. package/dist/sources/swr/harness.d.ts.map +0 -1
  542. package/dist/sources/swr/harness.js.map +0 -1
  543. package/dist/sources/swr/index.d.ts.map +0 -1
  544. package/dist/sources/swr/index.js +0 -528
  545. package/dist/sources/swr/index.js.map +0 -1
  546. package/dist/sources/use-state/harness.d.ts.map +0 -1
  547. package/dist/sources/use-state/harness.js.map +0 -1
  548. package/dist/sources/use-state/index.d.ts +0 -9
  549. package/dist/sources/use-state/index.d.ts.map +0 -1
  550. package/dist/sources/use-state/index.js.map +0 -1
  551. /package/dist/{kernel/ir → check}/types.js +0 -0
  552. /package/dist/{modality → cli}/ci.d.ts +0 -0
  553. /package/dist/{modality → cli}/ci.js +0 -0
  554. /package/dist/{modality → cli}/cli.d.ts +0 -0
  555. /package/dist/{modality → cli}/extract.js +0 -0
  556. /package/dist/{modality → cli}/features/ci/command.d.ts +0 -0
  557. /package/dist/{modality → cli}/features/ci/index.d.ts +0 -0
  558. /package/dist/{modality → cli}/features/ci/index.js +0 -0
  559. /package/dist/{modality → cli}/features/conform/index.d.ts +0 -0
  560. /package/dist/{modality → cli}/features/conform/index.js +0 -0
  561. /package/dist/{modality → cli}/features/extract/index.js +0 -0
  562. /package/dist/{modality → cli}/features/replay/index.d.ts +0 -0
  563. /package/dist/{modality → cli}/features/replay/index.js +0 -0
  564. /package/dist/{modality → cli}/replay.js +0 -0
  565. /package/dist/{kernel → core}/artifacts/index.d.ts +0 -0
  566. /package/dist/{kernel → core}/index.d.ts +0 -0
  567. /package/dist/{kernel → core}/index.js +0 -0
  568. /package/dist/{kernel → core}/ir/canonical.d.ts +0 -0
  569. /package/dist/{kernel → core}/ir/domains.d.ts +0 -0
  570. /package/dist/{kernel → core}/ir/types.d.ts +0 -0
  571. /package/dist/{kernel/report → core/ir}/types.js +0 -0
  572. /package/dist/{kernel → core}/ir/validator.d.ts +0 -0
  573. /package/dist/{kernel → core}/overlay/index.d.ts +0 -0
  574. /package/dist/{kernel → core}/props/index.d.ts +0 -0
  575. /package/dist/{kernel → core}/report/types.d.ts +0 -0
  576. /package/dist/{kernel/trace → core/report}/types.js +0 -0
  577. /package/dist/{kernel → core}/trace/types.d.ts +0 -0
  578. /package/dist/{checker/monitors → extract/engine/spi}/index.js +0 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"guards.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/guards.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAO1C,MAAM,UAAU,gBAAgB,CAC9B,WAAyB,EACzB,MAA+B;IAE/B,IAAI,CAAC,MAAM;QAAE,OAAO,WAAW,CAAC;IAChC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACpC,UAAU,CAAC,GAAG,KAAK,MAAM;QACvB,CAAC,CAAC;YACE,GAAG,UAAU;YACb,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC;YAC9C,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;SAC5D;QACH,CAAC,CAAC,UAAU,CACf,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAA4C;IAE5C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAwB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QACxD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,cAA+B,EAC/B,OAAmC,EACnC,QAA6B,EAC7B,MAAqB,EACrB,SAAiB,EACjB,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,OAAO,GAAG,sBAAsB,CAAC,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,OAAO,GAAY,OAAO,CAAC;IAC/B,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,IACE,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC7B,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YACnE,MAAM,CAAC,KAAK,KAAK,OAAO,EACxB,CAAC;YACD,MAAM,MAAM,GAAG,+BAA+B,CAC5C,MAAM,CAAC,IAAI,EACX,OAAO,EACP,MAAM,CACP,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,4BAA4B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACvF,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC;iBACtC,CAAC,CAAC;gBACH,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACtE,MAAM,MAAM,GAAG,+BAA+B,CAC5C,MAAM,CAAC,SAAS,EAChB,OAAO,EACP,MAAM,CACP,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,4BAA4B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACvF,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;iBAC3C,CAAC,CAAC;gBACH,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,+BAA+B,CAC5C,MAAM,CAAC,SAAS,EAChB,OAAO,EACP,MAAM,CACP,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,4BAA4B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACvF,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;iBAC3C,CAAC,CAAC;gBACH,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;gBAC1C,KAAK,EAAE,MAAM,CAAC,KAAK;aACpB,CAAC,CAAC;YACH,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IACE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAC1B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YACvB,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EACxB,CAAC;YACD,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,SAA0B;IAE1B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7B,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC;QACpE,OAAO,OAAO,CAAC,MAAM,CAAC;IACxB,OAAO,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,cAA+B,EAC/B,OAAmC,EACnC,QAA6B,EAC7B,MAAqB,EACrB,SAAiB,EACjB,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC;IACpC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,QAAQ,GACZ,KAAK,CAAC,UAAU,CAAC,IAAI,CACnB,CAAC,QAAQ,EAA+B,EAAE,CACxC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9B,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YAChC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAC5C,IAAI,6BAA6B,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,8BAA8B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;YACzF,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC;SACnC,CAAC,CAAC;QACH,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,cAA+B;IAE/B,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAEvC,OAAO,SAAS,CAAC;IACnB,MAAM,OAAO,GAAG,sBAAsB,CAAC,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,KAAkC,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1E,IACE,GAAG,KAAK,QAAQ;gBAChB,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,QAAQ,EACrD,CAAC;gBACD,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACrC,CAAC,QAAQ,EAA+B,EAAE,CACxC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;oBAC3B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAC9B,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;wBAChC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAC5C,CAAC;gBACF,IAAI,KAAK;oBAAE,OAAO;YACpB,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,SAA0B,EAC1B,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IAAI,CAAC,SAAS,CAAC,WAAW;QACxB,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3D,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC3C,OAAO;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE;YACnE,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1C,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;QAEjC,OAAO,SAAS,CAAC;IACnB,OAAO,+BAA+B,CACpC,SAAS,CAAC,WAAW,CAAC,UAAU,EAChC,OAAO,EACP,MAAM,CACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAyB,EACzB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC/C,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAChD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACjE,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,IACE,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC;QACtC,UAAU,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACtD,CAAC;QACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACzE,OAAO,MAAM;YACX,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACrE,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1C,OAAO,oBAAoB,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACtE,IAAI,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACnC,OAAO,0BAA0B,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACjE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAA+B,EAC/B,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IACE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QACvE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAC3D,CAAC;QACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,oBAAoB,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EACF,UAAU,CAAC,aAAa,CAAC,IAAI;oBAC7B,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACnC,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI;gBACV,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;aAC9B;YACD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;SACrD,CAAC;IACJ,CAAC;IACD,IACE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QACvE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QACjE,UAAU,CAAC,aAAa,CAAC,IAAI;YAC3B,EAAE,CAAC,UAAU,CAAC,4BAA4B;QAC5C,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EACtE,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,iBAAiB,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EACF,UAAU,CAAC,aAAa,CAAC,IAAI;oBAC3B,EAAE,CAAC,UAAU,CAAC,4BAA4B;oBAC5C,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;oBACpE,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI;gBACV,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;aAC9B;YACD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;SACrD,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,UAAyB,EACzB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACjE,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,UAAyB,EACzB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1C,OAAO,+BAA+B,CACpC,UAAU,CAAC,UAAU,EACrB,OAAO,EACP,MAAM,CACP,CAAC;IACJ,IACE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACjC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACvE,CAAC;QACD,OAAO,mBAAmB,CAAC;YACzB,+BAA+B,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;YACjE,+BAA+B,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC;SACnE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAa;IAClD,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;AACpD,CAAC"}
@@ -0,0 +1,53 @@
1
+ import * as ts from "typescript";
2
+ import { type AbstractDomain, type ExprIR, type Locator, type Transition, type Value } from "modality-ts/core";
3
+ import type { RouterPlugin, StateSourcePlugin } from "../../spi/index.js";
4
+ import type { BoundExpr, ComponentDecl, ContextBindings, ExtractableHandler, ExtractionWarning, EffectSummary, SetterBinding } from "../types.js";
5
+ import { type ParsedGuard } from "./guards.js";
6
+ export declare function transitionsFromJsxAttribute(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, effectApis: Set<string>, asyncOutcomes: Record<string, {
7
+ success: Value;
8
+ error?: Value;
9
+ }>, sourcePlugins: readonly StateSourcePlugin[], routerPlugin: RouterPlugin | undefined, disabledGuard: ParsedGuard | undefined, routePatterns: readonly string[], contextBindings: ContextBindings, warnings: ExtractionWarning[]): Transition[];
10
+ export declare function transitionsFromComponentPropAttribute(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, components: Map<string, ComponentDecl>, component: string, effectApis: Set<string>, asyncOutcomes: Record<string, {
11
+ success: Value;
12
+ error?: Value;
13
+ }>, sourcePlugins: readonly StateSourcePlugin[], routerPlugin: RouterPlugin | undefined, warnings: ExtractionWarning[]): Transition[];
14
+ export declare function transitionsFromBoundedListAttribute(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, listInfo: {
15
+ varId: string;
16
+ domain: Extract<AbstractDomain, {
17
+ kind: "boundedList";
18
+ }>;
19
+ itemName: string;
20
+ }): Transition[];
21
+ export declare function readListItemBinding(varId: string, index: number): BoundExpr;
22
+ export declare function boundedListIndexGuard(varId: string, index: number): ExprIR;
23
+ export declare function transitionsFromResolvedHandler(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, effectApis: Set<string>, asyncOutcomes: Record<string, {
24
+ success: Value;
25
+ error?: Value;
26
+ }>, sourcePlugins: readonly StateSourcePlugin[], routerPlugin: RouterPlugin | undefined, disabledGuard: ParsedGuard | undefined, locator: Locator | undefined, routePatterns: readonly string[], contextBindings: ContextBindings, warnings: ExtractionWarning[]): Transition[];
27
+ export declare function sequentialTransitionFromHandler(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, locator: Locator | undefined): Transition | undefined;
28
+ export declare function helperSummariesFromStatement(statement: ts.Statement, handlers: Map<string, ExtractableHandler>, setters: Map<string, SetterBinding>): EffectSummary[] | undefined;
29
+ export declare function loopWriteTransitions(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, component: string, locator: Locator | undefined): Transition[];
30
+ export declare function conditionalTransitionFromHandler(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, component: string, locator: Locator | undefined): Transition | undefined;
31
+ export declare function singleSetterEffect(statement: ts.Statement, setters: Map<string, SetterBinding>): Extract<Transition["effect"], {
32
+ kind: "assign";
33
+ }> | undefined;
34
+ export declare function identityEffect(): Extract<Transition["effect"], {
35
+ kind: "seq";
36
+ }>;
37
+ export declare function effectWriteVars(effect: Transition["effect"]): string[];
38
+ export declare function stateNameForVar(varId: string, setters: Map<string, SetterBinding>): string | undefined;
39
+ export declare function componentGuardLocalsFor(attribute: ts.JsxAttribute, setters: Map<string, SetterBinding>): Map<string, BoundExpr>;
40
+ export declare function componentScopeLocalsFor(attribute: ts.JsxAttribute, setters: Map<string, SetterBinding>, contextBindings: ContextBindings): Map<string, BoundExpr>;
41
+ export declare function variableDeclarations(node: ts.Node): ts.VariableDeclaration[];
42
+ export declare function enclosingFunctionBody(node: ts.Node): ts.Block | undefined;
43
+ export declare function callSummaryFromHandler(handler: ExtractableHandler, setters: Map<string, SetterBinding>, initialLocals?: Map<string, BoundExpr>): {
44
+ call: ts.CallExpression;
45
+ locals: Map<string, BoundExpr>;
46
+ } | undefined;
47
+ export declare function bindConstStatement(statement: ts.Statement, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>, partialBoolean?: boolean): boolean;
48
+ export declare function inlinedHelperCall(call: ts.CallExpression, handlers: Map<string, ExtractableHandler>, setters: Map<string, SetterBinding>): {
49
+ call: ts.CallExpression;
50
+ locals: Map<string, BoundExpr>;
51
+ } | undefined;
52
+ export declare function escapedSetterTransitions(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, setters: readonly SetterBinding[], locator: Locator | undefined): Transition[];
53
+ //# sourceMappingURL=handlers.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/handlers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAgBjC,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,MAAM,EACX,KAAK,OAAO,EACZ,KAAK,UAAU,EACf,KAAK,KAAK,EACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACd,MAAM,aAAa,CAAC;AAsBrB,OAAO,EAOL,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AAarB,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,EAChE,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,aAAa,EAAE,WAAW,GAAG,SAAS,EACtC,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CAgCd;AAED,wBAAgB,qCAAqC,CACnD,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACtC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,EAChE,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CA0Cd;AAED,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE;IACR,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE;QAAE,IAAI,EAAE,aAAa,CAAA;KAAE,CAAC,CAAC;IACzD,QAAQ,EAAE,MAAM,CAAC;CAClB,GACA,UAAU,EAAE,CAiDd;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAK3E;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAQ1E;AAED,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,EAChE,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,aAAa,EAAE,WAAW,GAAG,SAAS,EACtC,OAAO,EAAE,OAAO,GAAG,SAAS,EAC5B,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CAgLd;AAED,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,GAAG,SAAS,CA+BxB;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,GAAG,SAAS,CAiB7B;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,EAAE,CAoBd;AAED,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,GAAG,SAAS,CA2CxB;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAI/D;AAED,wBAAgB,cAAc,IAAI,OAAO,CACvC,UAAU,CAAC,QAAQ,CAAC,EACpB;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAChB,CAEA;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,MAAM,EAAE,CActE;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,MAAM,GAAG,SAAS,CAGpB;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAUxB;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,eAAe,EAAE,eAAe,GAC/B,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAaxB;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAG5E;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,KAAK,GAAG,SAAS,CAezE;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,aAAa,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GAChD;IAAE,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE,GAAG,SAAS,CA4BzE;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAC9B,cAAc,UAAQ,GACrB,OAAO,CA6BT;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC;IAAE,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE,GAAG,SAAS,CAKzE;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,SAAS,aAAa,EAAE,EACjC,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,EAAE,CAYd"}
@@ -0,0 +1,438 @@
1
+ import * as ts from "typescript";
2
+ import { lineAndColumn } from "../ast.js";
3
+ import { handlerExpression, jsxTagName, } from "../components.js";
4
+ import { bindContextHookObjectDeclaration, emptyContextBindings, } from "../context.js";
5
+ import { safeId, tagStableIdKey, uniqueStrings, } from "../ids.js";
6
+ import { inputTransitions } from "../input-transitions.js";
7
+ import {} from "modality-ts/core";
8
+ import { transitionsFromAsyncHandler } from "./async.js";
9
+ import { componentPropTrigger, transparentComponentPropTrigger, } from "./component-props.js";
10
+ import { escapedSetters, havocSetterTransition, isLoopStatement, setterCallFrom, setterAssignEffect, settersWrittenIn, summarizeSetterStatement, uniqueSetters, } from "./effects.js";
11
+ import { booleanExpr, setterArgumentExpr, stateVarForName, valueExpr, } from "./expressions.js";
12
+ import { applyParsedGuard, combineParsedGuards, disabledGuardFor, parseConjunctiveGuardExpression, parseGuardExpression, renderGuardFor, } from "./guards.js";
13
+ import { navigationTransition } from "./navigation.js";
14
+ import { noopCallTransition, pluginWriteTransition, swrMutateTransition, } from "./plugin-calls.js";
15
+ import { isInputValueExpression, labelForEvent, locatorForEventAttribute, } from "./ui.js";
16
+ export function transitionsFromJsxAttribute(source, fileName, node, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, routePatterns, contextBindings, warnings) {
17
+ if (!node.initializer)
18
+ return [];
19
+ const expression = ts.isJsxExpression(node.initializer)
20
+ ? node.initializer.expression
21
+ : undefined;
22
+ const handler = handlerExpression(expression, handlers);
23
+ if (!handler)
24
+ return [];
25
+ if (!ts.isIdentifier(node.name))
26
+ return [];
27
+ const attr = node.name.text;
28
+ const locator = locatorForEventAttribute(node);
29
+ return tagStableIdKey(transitionsFromResolvedHandler(source, fileName, node, attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, locator, routePatterns, contextBindings, warnings), handler);
30
+ }
31
+ export function transitionsFromComponentPropAttribute(source, fileName, node, setters, handlers, components, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, warnings) {
32
+ if (!node.initializer || !ts.isIdentifier(node.name))
33
+ return [];
34
+ const tag = jsxTagName(node);
35
+ if (!tag)
36
+ return [];
37
+ const callee = components.get(tag);
38
+ if (!callee)
39
+ return [];
40
+ const trigger = componentPropTrigger(source, callee, node.name.text, setters, warnings) ??
41
+ transparentComponentPropTrigger(callee, node.name.text);
42
+ if (!trigger)
43
+ return [];
44
+ const expression = ts.isJsxExpression(node.initializer)
45
+ ? node.initializer.expression
46
+ : undefined;
47
+ const handler = handlerExpression(expression, handlers);
48
+ if (!handler)
49
+ return [];
50
+ const guardLocals = componentGuardLocalsFor(node, setters);
51
+ const callerGuard = combineParsedGuards([
52
+ renderGuardFor(node, setters, warnings, source, component, guardLocals),
53
+ disabledGuardFor(node, setters, warnings, source, component, guardLocals),
54
+ ]);
55
+ return tagStableIdKey(transitionsFromResolvedHandler(source, fileName, node, trigger.attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, combineParsedGuards([trigger.guard, callerGuard]), trigger.locator, [], emptyContextBindings(), warnings), handler);
56
+ }
57
+ export function transitionsFromBoundedListAttribute(source, fileName, node, setters, handlers, component, listInfo) {
58
+ if (!node.initializer || !ts.isIdentifier(node.name))
59
+ return [];
60
+ const expression = ts.isJsxExpression(node.initializer)
61
+ ? node.initializer.expression
62
+ : undefined;
63
+ const handler = handlerExpression(expression, handlers);
64
+ if (!handler)
65
+ return [];
66
+ const attr = node.name.text;
67
+ const summary = callSummaryFromHandler(handler, setters, new Map([[listInfo.itemName, readListItemBinding(listInfo.varId, 0)]]));
68
+ if (!summary)
69
+ return [];
70
+ const setterCall = setterCallFrom(summary.call, setters);
71
+ if (!setterCall)
72
+ return [];
73
+ const baseLocator = locatorForEventAttribute(node);
74
+ const transitions = [];
75
+ for (let index = 0; index < listInfo.domain.maxLen; index += 1) {
76
+ const locals = new Map(summary.locals);
77
+ locals.set(listInfo.itemName, readListItemBinding(listInfo.varId, index));
78
+ const assigned = setterArgumentExpr(setterCall.argument, setterCall.setter, setters, locals);
79
+ if (!assigned)
80
+ return [];
81
+ const locator = baseLocator
82
+ ? { kind: "positional", base: baseLocator, index }
83
+ : undefined;
84
+ const guard = boundedListIndexGuard(listInfo.varId, index);
85
+ transitions.push({
86
+ id: `${component}.${attr}.${setterCall.setter.stateName}.${index}`,
87
+ cls: "user",
88
+ label: labelForEvent(attr, locator),
89
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
90
+ guard,
91
+ effect: {
92
+ kind: "assign",
93
+ var: setterCall.setter.varId,
94
+ expr: assigned.expr,
95
+ },
96
+ reads: uniqueStrings([listInfo.varId, ...assigned.reads]),
97
+ writes: [setterCall.setter.varId],
98
+ confidence: index <= 1 ? "exact" : "over-approx",
99
+ });
100
+ }
101
+ return transitions;
102
+ }
103
+ export function readListItemBinding(varId, index) {
104
+ return {
105
+ expr: { kind: "read", var: varId, path: [String(index)] },
106
+ reads: [varId],
107
+ };
108
+ }
109
+ export function boundedListIndexGuard(varId, index) {
110
+ const len = {
111
+ kind: "lenCat",
112
+ arg: { kind: "read", var: varId },
113
+ };
114
+ if (index === 0)
115
+ return { kind: "neq", args: [len, { kind: "lit", value: "0" }] };
116
+ return { kind: "eq", args: [len, { kind: "lit", value: "many" }] };
117
+ }
118
+ export function transitionsFromResolvedHandler(source, fileName, node, attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, locator, routePatterns, contextBindings, warnings) {
119
+ const asyncTransitions = transitionsFromAsyncHandler(source, fileName, attr, handler, setters, component, effectApis, asyncOutcomes, locator, routePatterns, warnings);
120
+ if (asyncTransitions.length > 0)
121
+ return applyParsedGuard(asyncTransitions, disabledGuard);
122
+ const conditionalTransition = conditionalTransitionFromHandler(source, fileName, node, attr, handler, setters, component, locator);
123
+ if (conditionalTransition)
124
+ return applyParsedGuard([conditionalTransition], disabledGuard);
125
+ const loopTransitions = loopWriteTransitions(source, fileName, node, attr, handler, setters, component, locator);
126
+ if (loopTransitions.length > 0)
127
+ return applyParsedGuard(loopTransitions, disabledGuard);
128
+ const sequentialTransition = sequentialTransitionFromHandler(source, fileName, node, attr, handler, setters, handlers, component, locator);
129
+ if (sequentialTransition)
130
+ return applyParsedGuard([sequentialTransition], disabledGuard);
131
+ const summary = callSummaryFromHandler(handler, setters, componentScopeLocalsFor(node, setters, contextBindings));
132
+ if (!summary)
133
+ return [];
134
+ const inlined = inlinedHelperCall(summary.call, handlers, setters);
135
+ const inlinedCall = inlined?.call ?? summary.call;
136
+ const locals = inlined?.locals ?? summary.locals;
137
+ const navigation = navigationTransition(source, fileName, node, attr, component, inlinedCall, locator, routerPlugin, routePatterns);
138
+ if (navigation)
139
+ return applyParsedGuard([navigation], disabledGuard);
140
+ const pluginWrite = pluginWriteTransition(source, fileName, node, attr, component, inlinedCall, setters, locals, sourcePlugins, locator);
141
+ if (pluginWrite)
142
+ return applyParsedGuard([pluginWrite], disabledGuard);
143
+ const swrMutate = swrMutateTransition(source, fileName, node, attr, component, inlinedCall, locator);
144
+ if (swrMutate)
145
+ return applyParsedGuard([swrMutate], disabledGuard);
146
+ const noop = noopCallTransition(source, fileName, node, attr, component, inlinedCall, locator);
147
+ if (noop)
148
+ return applyParsedGuard([noop], disabledGuard);
149
+ const setterCall = setterCallFrom(inlinedCall, setters);
150
+ if (!setterCall) {
151
+ const escaped = escapedSetters(inlinedCall, setters, locals);
152
+ if (escaped.length === 0)
153
+ return [];
154
+ return applyParsedGuard(escapedSetterTransitions(source, fileName, node, attr, component, escaped, locator), disabledGuard);
155
+ }
156
+ const { setter, argument } = setterCall;
157
+ if ((attr === "onChange" || attr === "onInput") &&
158
+ isInputValueExpression(inlinedCall.arguments[0], handler.parameters[0])) {
159
+ return applyParsedGuard(inputTransitions(source, fileName, node, attr, component, setter, locator), disabledGuard);
160
+ }
161
+ const assignment = setterArgumentExpr(argument, setter, setters, locals);
162
+ if (!assignment) {
163
+ return applyParsedGuard([
164
+ havocSetterTransition(source, fileName, node, attr, component, setter, locator, "unrepresentable"),
165
+ ], disabledGuard);
166
+ }
167
+ return applyParsedGuard([
168
+ {
169
+ id: `${component}.${attr}.${setter.stateName}`,
170
+ cls: "user",
171
+ label: labelForEvent(attr, locator),
172
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
173
+ guard: { kind: "lit", value: true },
174
+ effect: { kind: "assign", var: setter.varId, expr: assignment.expr },
175
+ reads: assignment.reads,
176
+ writes: [setter.varId],
177
+ confidence: "exact",
178
+ },
179
+ ], disabledGuard);
180
+ }
181
+ export function sequentialTransitionFromHandler(source, fileName, node, attr, handler, setters, handlers, component, locator) {
182
+ if (!ts.isBlock(handler.body))
183
+ return undefined;
184
+ const locals = new Map();
185
+ const summaries = [];
186
+ for (const statement of handler.body.statements) {
187
+ if (bindConstStatement(statement, setters, locals))
188
+ continue;
189
+ const helper = helperSummariesFromStatement(statement, handlers, setters);
190
+ if (helper) {
191
+ summaries.push(...helper);
192
+ continue;
193
+ }
194
+ const summary = summarizeSetterStatement(statement, setters, locals);
195
+ if (!summary)
196
+ return undefined;
197
+ summaries.push(summary);
198
+ }
199
+ if (summaries.length <= 1)
200
+ return undefined;
201
+ const effects = summaries.map((summary) => summary.effect);
202
+ const writes = uniqueStrings(effects.flatMap(effectWriteVars));
203
+ return {
204
+ id: `${component}.${attr}.${writes.map((id) => stateNameForVar(id, setters) ?? safeId(id)).join("_")}.seq`,
205
+ cls: "user",
206
+ label: labelForEvent(attr, locator),
207
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
208
+ guard: { kind: "lit", value: true },
209
+ effect: { kind: "seq", effects },
210
+ reads: uniqueStrings(summaries.flatMap((summary) => summary.reads)),
211
+ writes,
212
+ confidence: effects.some((effect) => effect.kind === "havoc")
213
+ ? "over-approx"
214
+ : "exact",
215
+ };
216
+ }
217
+ export function helperSummariesFromStatement(statement, handlers, setters) {
218
+ if (!ts.isExpressionStatement(statement) ||
219
+ !ts.isCallExpression(statement.expression) ||
220
+ !ts.isIdentifier(statement.expression.expression))
221
+ return undefined;
222
+ const helper = handlers.get(statement.expression.expression.text);
223
+ if (!helper || !ts.isBlock(helper.body))
224
+ return undefined;
225
+ const locals = new Map();
226
+ const summaries = [];
227
+ for (const child of helper.body.statements) {
228
+ if (bindConstStatement(child, setters, locals))
229
+ continue;
230
+ const summary = summarizeSetterStatement(child, setters, locals);
231
+ if (summary)
232
+ summaries.push(summary);
233
+ }
234
+ return summaries.length > 0 ? summaries : undefined;
235
+ }
236
+ export function loopWriteTransitions(source, fileName, node, attr, handler, setters, component, locator) {
237
+ if (!ts.isBlock(handler.body))
238
+ return [];
239
+ const loopSetters = [];
240
+ for (const statement of handler.body.statements) {
241
+ if (!isLoopStatement(statement))
242
+ continue;
243
+ for (const setter of settersWrittenIn(statement, setters))
244
+ loopSetters.push(setter);
245
+ }
246
+ return uniqueSetters(loopSetters).map((setter) => havocSetterTransition(source, fileName, node, attr, component, setter, locator, "loop"));
247
+ }
248
+ export function conditionalTransitionFromHandler(source, fileName, node, attr, handler, setters, component, locator) {
249
+ const body = handler.body;
250
+ if (!ts.isBlock(body) ||
251
+ body.statements.length !== 1 ||
252
+ !ts.isIfStatement(body.statements[0]))
253
+ return undefined;
254
+ const statement = body.statements[0];
255
+ const condition = parseGuardExpression(statement.expression, setters);
256
+ if (!condition)
257
+ return undefined;
258
+ const thenEffect = singleSetterEffect(statement.thenStatement, setters) ?? identityEffect();
259
+ const elseEffect = statement.elseStatement
260
+ ? (singleSetterEffect(statement.elseStatement, setters) ?? identityEffect())
261
+ : identityEffect();
262
+ if (thenEffect.kind === "seq" && elseEffect.kind === "seq")
263
+ return undefined;
264
+ const writes = [
265
+ ...new Set([
266
+ ...effectWriteVars(thenEffect),
267
+ ...effectWriteVars(elseEffect),
268
+ ]),
269
+ ];
270
+ const suffix = writes.map((id) => stateNameForVar(id, setters) ?? safeId(id)).join("_") ||
271
+ "if";
272
+ return {
273
+ id: `${component}.${attr}.${suffix}.if`,
274
+ cls: "user",
275
+ label: labelForEvent(attr, locator),
276
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
277
+ guard: { kind: "lit", value: true },
278
+ effect: {
279
+ kind: "if",
280
+ cond: condition.expr,
281
+ // biome-ignore lint/suspicious/noThenProperty: Effect IR serializes if branches with a "then" field.
282
+ then: thenEffect,
283
+ else: elseEffect,
284
+ },
285
+ reads: condition.reads,
286
+ writes,
287
+ confidence: "exact",
288
+ };
289
+ }
290
+ export function singleSetterEffect(statement, setters) {
291
+ if (ts.isBlock(statement) && statement.statements.length === 1)
292
+ return setterAssignEffect(statement.statements[0], setters);
293
+ return setterAssignEffect(statement, setters);
294
+ }
295
+ export function identityEffect() {
296
+ return { kind: "seq", effects: [] };
297
+ }
298
+ export function effectWriteVars(effect) {
299
+ if (effect.kind === "assign" ||
300
+ effect.kind === "havoc" ||
301
+ effect.kind === "choose")
302
+ return [effect.var];
303
+ if (effect.kind === "seq")
304
+ return effect.effects.flatMap(effectWriteVars);
305
+ if (effect.kind === "if")
306
+ return [...effectWriteVars(effect.then), ...effectWriteVars(effect.else)];
307
+ if (effect.kind === "enqueue" || effect.kind === "dequeue")
308
+ return ["sys:pending"];
309
+ if (effect.kind === "navigate")
310
+ return ["sys:route", "sys:history"];
311
+ return [...effect.ref.declaredWrites];
312
+ }
313
+ export function stateNameForVar(varId, setters) {
314
+ return [...setters.values()].find((setter) => setter.varId === varId)
315
+ ?.stateName;
316
+ }
317
+ export function componentGuardLocalsFor(attribute, setters) {
318
+ const body = enclosingFunctionBody(attribute);
319
+ if (!body)
320
+ return new Map();
321
+ const locals = new Map();
322
+ for (const statement of body.statements) {
323
+ if (statement.pos > attribute.pos)
324
+ break;
325
+ if (ts.isReturnStatement(statement))
326
+ break;
327
+ bindConstStatement(statement, setters, locals, true);
328
+ }
329
+ return locals;
330
+ }
331
+ export function componentScopeLocalsFor(attribute, setters, contextBindings) {
332
+ const body = enclosingFunctionBody(attribute);
333
+ if (!body)
334
+ return new Map();
335
+ const locals = new Map();
336
+ for (const statement of body.statements) {
337
+ if (statement.pos > attribute.pos)
338
+ break;
339
+ if (ts.isReturnStatement(statement))
340
+ break;
341
+ bindConstStatement(statement, setters, locals, true);
342
+ for (const declaration of variableDeclarations(statement)) {
343
+ bindContextHookObjectDeclaration(declaration, contextBindings, setters);
344
+ }
345
+ }
346
+ return locals;
347
+ }
348
+ export function variableDeclarations(node) {
349
+ if (!ts.isVariableStatement(node))
350
+ return [];
351
+ return [...node.declarationList.declarations];
352
+ }
353
+ export function enclosingFunctionBody(node) {
354
+ let current = node;
355
+ while (current) {
356
+ if ((ts.isFunctionDeclaration(current) ||
357
+ ts.isFunctionExpression(current) ||
358
+ ts.isArrowFunction(current)) &&
359
+ current.body &&
360
+ ts.isBlock(current.body)) {
361
+ return current.body;
362
+ }
363
+ current = current.parent;
364
+ }
365
+ return undefined;
366
+ }
367
+ export function callSummaryFromHandler(handler, setters, initialLocals = new Map()) {
368
+ const body = handler.body;
369
+ if (ts.isCallExpression(body))
370
+ return { call: body, locals: new Map(initialLocals) };
371
+ if (ts.isVoidExpression(body) && ts.isCallExpression(body.expression))
372
+ return { call: body.expression, locals: new Map(initialLocals) };
373
+ if (ts.isBlock(body)) {
374
+ const locals = new Map(initialLocals);
375
+ for (let index = 0; index < body.statements.length; index += 1) {
376
+ const statement = body.statements[index];
377
+ const isLast = index === body.statements.length - 1;
378
+ if (isLast &&
379
+ ts.isExpressionStatement(statement) &&
380
+ ts.isCallExpression(statement.expression))
381
+ return { call: statement.expression, locals };
382
+ if (isLast &&
383
+ ts.isExpressionStatement(statement) &&
384
+ ts.isVoidExpression(statement.expression) &&
385
+ ts.isCallExpression(statement.expression.expression))
386
+ return { call: statement.expression.expression, locals };
387
+ if (!bindConstStatement(statement, setters, locals))
388
+ return undefined;
389
+ }
390
+ }
391
+ return undefined;
392
+ }
393
+ export function bindConstStatement(statement, setters, locals, partialBoolean = false) {
394
+ if (!ts.isVariableStatement(statement))
395
+ return false;
396
+ if ((ts.getCombinedNodeFlags(statement.declarationList) &
397
+ ts.NodeFlags.Const) ===
398
+ 0)
399
+ return false;
400
+ for (const declaration of statement.declarationList.declarations) {
401
+ if (!ts.isIdentifier(declaration.name) || !declaration.initializer)
402
+ return false;
403
+ const setterAlias = ts.isIdentifier(declaration.initializer)
404
+ ? (setters.get(declaration.initializer.text) ??
405
+ locals.get(declaration.initializer.text)?.setter)
406
+ : undefined;
407
+ const binding = setterAlias
408
+ ? { expr: { kind: "lit", value: null }, reads: [], setter: setterAlias }
409
+ : (valueExpr(declaration.initializer, setters, locals) ??
410
+ (partialBoolean
411
+ ? parseConjunctiveGuardExpression(declaration.initializer, setters, locals)
412
+ : booleanExpr(declaration.initializer, setters, locals)));
413
+ if (!binding)
414
+ return false;
415
+ locals.set(declaration.name.text, binding);
416
+ }
417
+ return true;
418
+ }
419
+ export function inlinedHelperCall(call, handlers, setters) {
420
+ if (!ts.isIdentifier(call.expression) || call.arguments.length !== 0)
421
+ return undefined;
422
+ const helper = handlers.get(call.expression.text);
423
+ return helper ? callSummaryFromHandler(helper, setters) : undefined;
424
+ }
425
+ export function escapedSetterTransitions(source, fileName, node, attr, component, setters, locator) {
426
+ return setters.map((setter) => ({
427
+ id: `${component}.${attr}.${setter.stateName}.escaped`,
428
+ cls: "user",
429
+ label: labelForEvent(attr, locator),
430
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
431
+ guard: { kind: "lit", value: true },
432
+ effect: { kind: "havoc", var: setter.varId },
433
+ reads: [],
434
+ writes: [setter.varId],
435
+ confidence: "over-approx",
436
+ }));
437
+ }
438
+ //# sourceMappingURL=handlers.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"handlers.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/handlers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EACL,iBAAiB,EACjB,UAAU,GACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,gCAAgC,EAChC,oBAAoB,GACrB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,MAAM,EACN,cAAc,EACd,aAAa,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAMN,MAAM,kBAAkB,CAAC;AAW1B,OAAO,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EACL,oBAAoB,EACpB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,wBAAwB,EACxB,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,+BAA+B,EAC/B,oBAAoB,EACpB,cAAc,GAEf,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,sBAAsB,EACtB,aAAa,EACb,wBAAwB,GACzB,MAAM,SAAS,CAAC;AAEjB,MAAM,UAAU,2BAA2B,CACzC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,UAAuB,EACvB,aAAgE,EAChE,aAA2C,EAC3C,YAAsC,EACtC,aAAsC,EACtC,aAAgC,EAChC,eAAgC,EAChC,QAA6B;IAE7B,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO,cAAc,CACnB,8BAA8B,CAC5B,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,QAAQ,EACR,SAAS,EACT,UAAU,EACV,aAAa,EACb,aAAa,EACb,YAAY,EACZ,aAAa,EACb,OAAO,EACP,aAAa,EACb,eAAe,EACf,QAAQ,CACT,EACD,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,OAAmC,EACnC,QAAyC,EACzC,UAAsC,EACtC,SAAiB,EACjB,UAAuB,EACvB,aAAgE,EAChE,aAA2C,EAC3C,YAAsC,EACtC,QAA6B;IAE7B,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAChE,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,OAAO,GACX,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC;QACvE,+BAA+B,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,mBAAmB,CAAC;QACtC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC;QACvE,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC;KAC1E,CAAC,CAAC;IACH,OAAO,cAAc,CACnB,8BAA8B,CAC5B,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,OAAO,CAAC,IAAI,EACZ,OAAO,EACP,OAAO,EACP,QAAQ,EACR,SAAS,EACT,UAAU,EACV,aAAa,EACb,aAAa,EACb,YAAY,EACZ,mBAAmB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EACjD,OAAO,CAAC,OAAO,EACf,EAAE,EACF,oBAAoB,EAAE,EACtB,QAAQ,CACT,EACD,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,QAIC;IAED,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAChE,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,OAAO,GAAG,sBAAsB,CACpC,OAAO,EACP,OAAO,EACP,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACvE,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,kBAAkB,CACjC,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,MAAM,EACjB,OAAO,EACP,MAAM,CACP,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,WAAW;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,YAAqB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE;YAC3D,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3D,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,SAAS,IAAI,KAAK,EAAE;YAClE,GAAG,EAAE,MAAe;YACpB,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;YACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK;YACL,MAAM,EAAE;gBACN,IAAI,EAAE,QAAiB;gBACvB,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK;gBAC5B,IAAI,EAAE,QAAQ,CAAC,IAAI;aACpB;YACD,KAAK,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;YACjC,UAAU,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAE,OAAiB,CAAC,CAAC,CAAE,aAAuB;SACvE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,KAAa;IAC9D,OAAO;QACL,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE;QACzD,KAAK,EAAE,CAAC,KAAK,CAAC;KACf,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAa,EAAE,KAAa;IAChE,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,QAAiB;QACvB,GAAG,EAAE,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,EAAE,KAAK,EAAE;KAC3C,CAAC;IACF,IAAI,KAAK,KAAK,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,UAAuB,EACvB,aAAgE,EAChE,aAA2C,EAC3C,YAAsC,EACtC,aAAsC,EACtC,OAA4B,EAC5B,aAAgC,EAChC,eAAgC,EAChC,QAA6B;IAE7B,MAAM,gBAAgB,GAAG,2BAA2B,CAClD,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,OAAO,EACP,SAAS,EACT,UAAU,EACV,aAAa,EACb,OAAO,EACP,aAAa,EACb,QAAQ,CACT,CAAC;IACF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC;QAC7B,OAAO,gBAAgB,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;IAC3D,MAAM,qBAAqB,GAAG,gCAAgC,CAC5D,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,SAAS,EACT,OAAO,CACR,CAAC;IACF,IAAI,qBAAqB;QACvB,OAAO,gBAAgB,CAAC,CAAC,qBAAqB,CAAC,EAAE,aAAa,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,oBAAoB,CAC1C,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,SAAS,EACT,OAAO,CACR,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;QAC5B,OAAO,gBAAgB,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;IAC1D,MAAM,oBAAoB,GAAG,+BAA+B,CAC1D,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,QAAQ,EACR,SAAS,EACT,OAAO,CACR,CAAC;IACF,IAAI,oBAAoB;QACtB,OAAO,gBAAgB,CAAC,CAAC,oBAAoB,CAAC,EAAE,aAAa,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,sBAAsB,CACpC,OAAO,EACP,OAAO,EACP,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CACxD,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,OAAO,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAClD,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;IACjD,MAAM,UAAU,GAAG,oBAAoB,CACrC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,YAAY,EACZ,aAAa,CACd,CAAC;IACF,IAAI,UAAU;QAAE,OAAO,gBAAgB,CAAC,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,qBAAqB,CACvC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,MAAM,EACN,aAAa,EACb,OAAO,CACR,CAAC;IACF,IAAI,WAAW;QAAE,OAAO,gBAAgB,CAAC,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,mBAAmB,CACnC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,CACR,CAAC;IACF,IAAI,SAAS;QAAE,OAAO,gBAAgB,CAAC,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,kBAAkB,CAC7B,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,CACR,CAAC;IACF,IAAI,IAAI;QAAE,OAAO,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,OAAO,gBAAgB,CACrB,wBAAwB,CACtB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,OAAO,EACP,OAAO,CACR,EACD,aAAa,CACd,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC;IACxC,IACE,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,CAAC;QAC3C,sBAAsB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EACvE,CAAC;QACD,OAAO,gBAAgB,CACrB,gBAAgB,CACd,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,MAAM,EACN,OAAO,CACR,EACD,aAAa,CACd,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,gBAAgB,CACrB;YACE,qBAAqB,CACnB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,MAAM,EACN,OAAO,EACP,iBAAiB,CAClB;SACF,EACD,aAAa,CACd,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CACrB;QACE;YACE,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE;YAC9C,GAAG,EAAE,MAAM;YACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;YACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;YACnC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;YACpE,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YACtB,UAAU,EAAE,OAAO;SACpB;KACF,EACD,aAAa,CACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,OAA4B;IAE5B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChD,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC;YAAE,SAAS;QAC7D,MAAM,MAAM,GAAG,4BAA4B,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,MAAM,EAAE,CAAC;YACX,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC/B,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;IAC/D,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;QAC1G,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE;QAChC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnE,MAAM;QACN,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;YAC3D,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,OAAO;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,SAAuB,EACvB,QAAyC,EACzC,OAAmC;IAEnC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAC1C,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC;QAEjD,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3C,IAAI,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC;YAAE,SAAS;QACzD,MAAM,OAAO,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACjE,IAAI,OAAO;YAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,SAAiB,EACjB,OAA4B;IAE5B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChD,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC;YAAE,SAAS;QAC1C,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC;YACvD,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,aAAa,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/C,qBAAqB,CACnB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,MAAM,EACN,OAAO,EACP,MAAM,CACP,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,SAAiB,EACjB,OAA4B;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IACE,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QACjB,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5B,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAErC,OAAO,SAAS,CAAC;IACnB,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,UAAU,GACd,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;IAC3E,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa;QACxC,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;QAC5E,CAAC,CAAC,cAAc,EAAE,CAAC;IACrB,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7E,MAAM,MAAM,GAAG;QACb,GAAG,IAAI,GAAG,CAAC;YACT,GAAG,eAAe,CAAC,UAAU,CAAC;YAC9B,GAAG,eAAe,CAAC,UAAU,CAAC;SAC/B,CAAC;KACH,CAAC;IACF,MAAM,MAAM,GACV,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACxE,IAAI,CAAC;IACP,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,KAAK;QACvC,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,MAAM,EAAE;YACN,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,qGAAqG;YACrG,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,UAAU;SACjB;QACD,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM;QACN,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAmC;IAEnC,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5D,OAAO,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,cAAc;IAI5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAA4B;IAC1D,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,CAAC,IAAI,KAAK,QAAQ;QAExB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QACxD,OAAO,CAAC,aAAa,CAAC,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAa,EACb,OAAmC;IAEnC,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC;QACnE,EAAE,SAAS,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAA0B,EAC1B,OAAmC;IAEnC,MAAM,IAAI,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG;YAAE,MAAM;QACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;YAAE,MAAM;QAC3C,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAA0B,EAC1B,OAAmC,EACnC,eAAgC;IAEhC,MAAM,IAAI,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG;YAAE,MAAM;QACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;YAAE,MAAM;QAC3C,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1D,gCAAgC,CAAC,WAAW,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAChD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,OAAO,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,OAAO,OAAO,EAAE,CAAC;QACf,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YAC9B,OAAO,CAAC,IAAI;YACZ,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EACxB,CAAC;YACD,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAA2B,EAC3B,OAAmC,EACnC,gBAAwC,IAAI,GAAG,EAAE;IAEjD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;IACxD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;QACnE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;IACnE,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAoB,aAAa,CAAC,CAAC;QACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;YACpD,IACE,MAAM;gBACN,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;gBACnC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;gBAEzC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;YAChD,IACE,MAAM;gBACN,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;gBACnC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;gBACzC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC;gBAEpD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;YAC3D,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC;gBAAE,OAAO,SAAS,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAmC,EACnC,MAA8B,EAC9B,cAAc,GAAG,KAAK;IAEtB,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,eAAe,CAAC;QACjD,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QACrB,CAAC;QAED,OAAO,KAAK,CAAC;IACf,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;QACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;YAChE,OAAO,KAAK,CAAC;QACf,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC;YAC1D,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,OAAO,GAA0B,WAAW;YAChD,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;YACxE,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC;gBACpD,CAAC,cAAc;oBACb,CAAC,CAAC,+BAA+B,CAC7B,WAAW,CAAC,WAAW,EACvB,OAAO,EACP,MAAM,CACP;oBACH,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAuB,EACvB,QAAyC,EACzC,OAAmC;IAEnC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,OAAiC,EACjC,OAA4B;IAE5B,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9B,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,UAAU;QACtD,GAAG,EAAE,MAAe;QACpB,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,IAAI,EAAE;QAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;QACrD,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;QACtB,UAAU,EAAE,aAAsB;KACnC,CAAC,CAAC,CAAC;AACN,CAAC"}
@@ -0,0 +1,16 @@
1
+ import * as ts from "typescript";
2
+ import type { BoundExpr, ContextBindings, ExtractableHandler, SetterBinding } from "../types.js";
3
+ export declare function componentGuardLocalsFor(attribute: ts.JsxAttribute, setters: Map<string, SetterBinding>): Map<string, BoundExpr>;
4
+ export declare function componentScopeLocalsFor(attribute: ts.JsxAttribute, setters: Map<string, SetterBinding>, contextBindings: ContextBindings): Map<string, BoundExpr>;
5
+ export declare function variableDeclarations(node: ts.Node): ts.VariableDeclaration[];
6
+ export declare function enclosingFunctionBody(node: ts.Node): ts.Block | undefined;
7
+ export declare function callSummaryFromHandler(handler: ExtractableHandler, setters: Map<string, SetterBinding>, initialLocals?: Map<string, BoundExpr>): {
8
+ call: ts.CallExpression;
9
+ locals: Map<string, BoundExpr>;
10
+ } | undefined;
11
+ export declare function bindConstStatement(statement: ts.Statement, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>, partialBoolean?: boolean): boolean;
12
+ export declare function inlinedHelperCall(call: ts.CallExpression, handlers: Map<string, ExtractableHandler>, setters: Map<string, SetterBinding>): {
13
+ call: ts.CallExpression;
14
+ locals: Map<string, BoundExpr>;
15
+ } | undefined;
16
+ //# sourceMappingURL=locals.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"locals.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/locals.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EACV,SAAS,EACT,eAAe,EACf,kBAAkB,EAClB,aAAa,EACd,MAAM,aAAa,CAAC;AAIrB,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAUxB;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,eAAe,EAAE,eAAe,GAC/B,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAaxB;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAG5E;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,KAAK,GAAG,SAAS,CAezE;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,aAAa,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GAChD;IAAE,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE,GAAG,SAAS,CA4BzE;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAC9B,cAAc,UAAQ,GACrB,OAAO,CA6BT;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC;IAAE,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE,GAAG,SAAS,CAKzE"}