modality-ts 0.0.8 → 0.0.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (615) hide show
  1. package/README.md +9 -7
  2. package/dist/check/diagnostics/bounds.d.ts +4 -0
  3. package/dist/check/diagnostics/bounds.d.ts.map +1 -0
  4. package/dist/check/diagnostics/bounds.js +25 -0
  5. package/dist/check/diagnostics/bounds.js.map +1 -0
  6. package/dist/check/diagnostics/vacuity.d.ts +3 -0
  7. package/dist/check/diagnostics/vacuity.d.ts.map +1 -0
  8. package/dist/check/diagnostics/vacuity.js +22 -0
  9. package/dist/check/diagnostics/vacuity.js.map +1 -0
  10. package/dist/check/engine/check-model.d.ts +4 -0
  11. package/dist/check/engine/check-model.d.ts.map +1 -0
  12. package/dist/check/engine/check-model.js +162 -0
  13. package/dist/check/engine/check-model.js.map +1 -0
  14. package/dist/check/engine/initial-states.d.ts +3 -0
  15. package/dist/check/engine/initial-states.d.ts.map +1 -0
  16. package/dist/check/engine/initial-states.js +11 -0
  17. package/dist/check/engine/initial-states.js.map +1 -0
  18. package/dist/check/engine/model-api.d.ts +4 -0
  19. package/dist/check/engine/model-api.d.ts.map +1 -0
  20. package/dist/check/engine/model-api.js +15 -0
  21. package/dist/check/engine/model-api.js.map +1 -0
  22. package/dist/check/engine/mounts.d.ts +3 -0
  23. package/dist/check/engine/mounts.d.ts.map +1 -0
  24. package/dist/check/engine/mounts.js +13 -0
  25. package/dist/check/engine/mounts.js.map +1 -0
  26. package/dist/check/engine/stabilize.d.ts +3 -0
  27. package/dist/check/engine/stabilize.d.ts.map +1 -0
  28. package/dist/check/engine/stabilize.js +82 -0
  29. package/dist/check/engine/stabilize.js.map +1 -0
  30. package/dist/check/engine/state-utils.d.ts +12 -0
  31. package/dist/check/engine/state-utils.d.ts.map +1 -0
  32. package/dist/check/engine/state-utils.js +30 -0
  33. package/dist/check/engine/state-utils.js.map +1 -0
  34. package/dist/check/engine/transitions.d.ts +4 -0
  35. package/dist/check/engine/transitions.d.ts.map +1 -0
  36. package/dist/check/engine/transitions.js +15 -0
  37. package/dist/check/engine/transitions.js.map +1 -0
  38. package/dist/check/index.d.ts +14 -0
  39. package/dist/check/index.d.ts.map +1 -0
  40. package/dist/check/index.js +13 -0
  41. package/dist/check/index.js.map +1 -0
  42. package/dist/check/properties/checked-state.d.ts +3 -0
  43. package/dist/check/properties/checked-state.d.ts.map +1 -0
  44. package/dist/check/properties/checked-state.js +21 -0
  45. package/dist/check/properties/checked-state.js.map +1 -0
  46. package/dist/check/properties/finalize.d.ts +4 -0
  47. package/dist/check/properties/finalize.d.ts.map +1 -0
  48. package/dist/check/properties/finalize.js +71 -0
  49. package/dist/check/properties/finalize.js.map +1 -0
  50. package/dist/check/properties/leads-to.d.ts +8 -0
  51. package/dist/check/properties/leads-to.d.ts.map +1 -0
  52. package/dist/check/properties/leads-to.js +69 -0
  53. package/dist/check/properties/leads-to.js.map +1 -0
  54. package/dist/check/properties/observe.d.ts +5 -0
  55. package/dist/check/properties/observe.d.ts.map +1 -0
  56. package/dist/check/properties/observe.js +56 -0
  57. package/dist/check/properties/observe.js.map +1 -0
  58. package/dist/check/properties/reachable-from.d.ts +8 -0
  59. package/dist/check/properties/reachable-from.d.ts.map +1 -0
  60. package/dist/check/properties/reachable-from.js +19 -0
  61. package/dist/check/properties/reachable-from.js.map +1 -0
  62. package/dist/check/runtime/domains.d.ts +5 -0
  63. package/dist/check/runtime/domains.d.ts.map +1 -0
  64. package/dist/check/runtime/domains.js +53 -0
  65. package/dist/check/runtime/domains.js.map +1 -0
  66. package/dist/check/runtime/effects.d.ts +9 -0
  67. package/dist/check/runtime/effects.d.ts.map +1 -0
  68. package/dist/check/runtime/effects.js +86 -0
  69. package/dist/check/runtime/effects.js.map +1 -0
  70. package/dist/check/runtime/expr.d.ts +7 -0
  71. package/dist/check/runtime/expr.d.ts.map +1 -0
  72. package/dist/check/runtime/expr.js +49 -0
  73. package/dist/check/runtime/expr.js.map +1 -0
  74. package/dist/check/runtime/navigation.d.ts +7 -0
  75. package/dist/check/runtime/navigation.d.ts.map +1 -0
  76. package/dist/check/runtime/navigation.js +60 -0
  77. package/dist/check/runtime/navigation.js.map +1 -0
  78. package/dist/check/runtime/opaque.d.ts +3 -0
  79. package/dist/check/runtime/opaque.d.ts.map +1 -0
  80. package/dist/check/runtime/opaque.js +72 -0
  81. package/dist/check/runtime/opaque.js.map +1 -0
  82. package/dist/check/runtime/paths.d.ts +4 -0
  83. package/dist/check/runtime/paths.d.ts.map +1 -0
  84. package/dist/check/runtime/paths.js +28 -0
  85. package/dist/check/runtime/paths.js.map +1 -0
  86. package/dist/check/runtime/pending.d.ts +9 -0
  87. package/dist/check/runtime/pending.d.ts.map +1 -0
  88. package/dist/check/runtime/pending.js +5 -0
  89. package/dist/check/runtime/pending.js.map +1 -0
  90. package/dist/check/runtime/tokens.d.ts +7 -0
  91. package/dist/check/runtime/tokens.d.ts.map +1 -0
  92. package/dist/check/runtime/tokens.js +36 -0
  93. package/dist/check/runtime/tokens.js.map +1 -0
  94. package/dist/check/slicing/slice-model.d.ts +5 -0
  95. package/dist/check/slicing/slice-model.d.ts.map +1 -0
  96. package/dist/check/slicing/slice-model.js +48 -0
  97. package/dist/check/slicing/slice-model.js.map +1 -0
  98. package/dist/check/traces/step-facts.d.ts +3 -0
  99. package/dist/check/traces/step-facts.d.ts.map +1 -0
  100. package/dist/check/traces/step-facts.js +35 -0
  101. package/dist/check/traces/step-facts.js.map +1 -0
  102. package/dist/check/traces/trace.d.ts +8 -0
  103. package/dist/check/traces/trace.d.ts.map +1 -0
  104. package/dist/check/traces/trace.js +42 -0
  105. package/dist/check/traces/trace.js.map +1 -0
  106. package/dist/{checker/search/index.d.ts → check/types.d.ts} +16 -6
  107. package/dist/check/types.d.ts.map +1 -0
  108. package/dist/{kernel/ir → check}/types.js.map +1 -1
  109. package/dist/cli/check.d.ts +3 -0
  110. package/dist/cli/check.d.ts.map +1 -0
  111. package/dist/cli/check.js +2 -0
  112. package/dist/cli/check.js.map +1 -0
  113. package/dist/cli/ci.d.ts.map +1 -0
  114. package/dist/cli/ci.js.map +1 -0
  115. package/dist/{modality → cli}/cli.d.ts.map +1 -1
  116. package/dist/{modality → cli}/cli.js +183 -50
  117. package/dist/cli/cli.js.map +1 -0
  118. package/dist/cli/codegen/model.d.ts +3 -0
  119. package/dist/cli/codegen/model.d.ts.map +1 -0
  120. package/dist/{modality → cli}/codegen/model.js +18 -10
  121. package/dist/cli/codegen/model.js.map +1 -0
  122. package/dist/{modality → cli}/codegen/replay-test.d.ts +1 -1
  123. package/dist/cli/codegen/replay-test.d.ts.map +1 -0
  124. package/dist/{modality → cli}/codegen/replay-test.js +12 -12
  125. package/dist/cli/codegen/replay-test.js.map +1 -0
  126. package/dist/cli/conform.d.ts +3 -0
  127. package/dist/cli/conform.d.ts.map +1 -0
  128. package/dist/cli/conform.js +2 -0
  129. package/dist/cli/conform.js.map +1 -0
  130. package/dist/cli/defaults.d.ts +13 -0
  131. package/dist/cli/defaults.d.ts.map +1 -0
  132. package/dist/cli/defaults.js +57 -0
  133. package/dist/cli/defaults.js.map +1 -0
  134. package/dist/cli/export-tla.d.ts +3 -0
  135. package/dist/cli/export-tla.d.ts.map +1 -0
  136. package/dist/cli/export-tla.js +2 -0
  137. package/dist/cli/export-tla.js.map +1 -0
  138. package/dist/{modality → cli}/extract.d.ts +1 -1
  139. package/dist/cli/extract.d.ts.map +1 -0
  140. package/dist/cli/extract.js.map +1 -0
  141. package/dist/{modality → cli}/features/check/command.d.ts +3 -2
  142. package/dist/cli/features/check/command.d.ts.map +1 -0
  143. package/dist/{modality → cli}/features/check/command.js +67 -27
  144. package/dist/cli/features/check/command.js.map +1 -0
  145. package/dist/cli/features/check/index.d.ts +3 -0
  146. package/dist/cli/features/check/index.d.ts.map +1 -0
  147. package/dist/cli/features/check/index.js +2 -0
  148. package/dist/cli/features/check/index.js.map +1 -0
  149. package/dist/cli/features/ci/command.d.ts.map +1 -0
  150. package/dist/{modality → cli}/features/ci/command.js +66 -26
  151. package/dist/cli/features/ci/command.js.map +1 -0
  152. package/dist/cli/features/ci/index.d.ts.map +1 -0
  153. package/dist/cli/features/ci/index.js.map +1 -0
  154. package/dist/{modality → cli}/features/conform/command.d.ts +1 -1
  155. package/dist/cli/features/conform/command.d.ts.map +1 -0
  156. package/dist/{modality → cli}/features/conform/command.js +67 -25
  157. package/dist/cli/features/conform/command.js.map +1 -0
  158. package/dist/cli/features/conform/index.d.ts.map +1 -0
  159. package/dist/cli/features/conform/index.js.map +1 -0
  160. package/dist/{modality → cli}/features/export/command.d.ts +1 -1
  161. package/dist/cli/features/export/command.d.ts.map +1 -0
  162. package/dist/{modality → cli}/features/export/command.js +72 -27
  163. package/dist/cli/features/export/command.js.map +1 -0
  164. package/dist/{modality → cli}/features/export/index.d.ts +2 -2
  165. package/dist/cli/features/export/index.d.ts.map +1 -0
  166. package/dist/cli/features/export/index.js +2 -0
  167. package/dist/cli/features/export/index.js.map +1 -0
  168. package/dist/{modality → cli}/features/extract/command.d.ts +5 -4
  169. package/dist/cli/features/extract/command.d.ts.map +1 -0
  170. package/dist/{modality → cli}/features/extract/command.js +295 -82
  171. package/dist/cli/features/extract/command.js.map +1 -0
  172. package/dist/{modality → cli}/features/extract/index.d.ts +1 -1
  173. package/dist/cli/features/extract/index.d.ts.map +1 -0
  174. package/dist/cli/features/extract/index.js.map +1 -0
  175. package/dist/cli/features/init/command.d.ts +9 -0
  176. package/dist/cli/features/init/command.d.ts.map +1 -0
  177. package/dist/cli/features/init/command.js +23 -0
  178. package/dist/cli/features/init/command.js.map +1 -0
  179. package/dist/cli/features/init/index.d.ts +3 -0
  180. package/dist/cli/features/init/index.d.ts.map +1 -0
  181. package/dist/cli/features/init/index.js +2 -0
  182. package/dist/cli/features/init/index.js.map +1 -0
  183. package/dist/{modality → cli}/features/replay/command.d.ts +1 -1
  184. package/dist/cli/features/replay/command.d.ts.map +1 -0
  185. package/dist/{modality → cli}/features/replay/command.js +42 -16
  186. package/dist/cli/features/replay/command.js.map +1 -0
  187. package/dist/cli/features/replay/index.d.ts.map +1 -0
  188. package/dist/cli/features/replay/index.js.map +1 -0
  189. package/dist/{harness → cli/harness}/index.d.ts +1 -1
  190. package/dist/cli/harness/index.d.ts.map +1 -0
  191. package/dist/{harness → cli/harness}/index.js +128 -37
  192. package/dist/cli/harness/index.js.map +1 -0
  193. package/dist/{modality → cli}/overlay.d.ts +1 -1
  194. package/dist/cli/overlay.d.ts.map +1 -0
  195. package/dist/{modality → cli}/overlay.js +1 -1
  196. package/dist/cli/overlay.js.map +1 -0
  197. package/dist/{modality → cli}/registry/index.d.ts +2 -2
  198. package/dist/cli/registry/index.d.ts.map +1 -0
  199. package/dist/{modality → cli}/registry/index.js +32 -17
  200. package/dist/cli/registry/index.js.map +1 -0
  201. package/dist/cli/replay.d.ts +3 -0
  202. package/dist/cli/replay.d.ts.map +1 -0
  203. package/dist/cli/replay.js.map +1 -0
  204. package/dist/{runtime → cli/runtime}/index.d.ts +1 -1
  205. package/dist/cli/runtime/index.d.ts.map +1 -0
  206. package/dist/{runtime → cli/runtime}/index.js +37 -10
  207. package/dist/cli/runtime/index.js.map +1 -0
  208. package/dist/core/artifacts/index.d.ts.map +1 -0
  209. package/dist/{kernel → core}/artifacts/index.js +7 -2
  210. package/dist/core/artifacts/index.js.map +1 -0
  211. package/dist/core/index.d.ts.map +1 -0
  212. package/dist/core/index.js.map +1 -0
  213. package/dist/core/ir/canonical.d.ts.map +1 -0
  214. package/dist/{kernel → core}/ir/canonical.js +30 -7
  215. package/dist/core/ir/canonical.js.map +1 -0
  216. package/dist/core/ir/domains.d.ts.map +1 -0
  217. package/dist/{kernel → core}/ir/domains.js +18 -6
  218. package/dist/core/ir/domains.js.map +1 -0
  219. package/dist/core/ir/types.d.ts.map +1 -0
  220. package/dist/{kernel/trace → core/ir}/types.js.map +1 -1
  221. package/dist/core/ir/validator.d.ts.map +1 -0
  222. package/dist/{kernel → core}/ir/validator.js +48 -19
  223. package/dist/core/ir/validator.js.map +1 -0
  224. package/dist/core/overlay/index.d.ts.map +1 -0
  225. package/dist/{kernel → core}/overlay/index.js +35 -14
  226. package/dist/core/overlay/index.js.map +1 -0
  227. package/dist/core/props/index.d.ts.map +1 -0
  228. package/dist/{kernel → core}/props/index.js +69 -21
  229. package/dist/core/props/index.js.map +1 -0
  230. package/dist/{kernel → core}/report/types.d.ts.map +1 -1
  231. package/dist/{kernel → core}/report/types.js.map +1 -1
  232. package/dist/core/trace/types.d.ts.map +1 -0
  233. package/dist/core/trace/types.js +2 -0
  234. package/dist/core/trace/types.js.map +1 -0
  235. package/dist/extract/engine/index.d.ts +4 -0
  236. package/dist/extract/engine/index.d.ts.map +1 -0
  237. package/dist/extract/engine/index.js +4 -0
  238. package/dist/extract/engine/index.js.map +1 -0
  239. package/dist/{extraction → extract/engine}/pipeline/index.d.ts +1 -2
  240. package/dist/extract/engine/pipeline/index.d.ts.map +1 -0
  241. package/dist/{extraction → extract/engine}/pipeline/index.js +55 -18
  242. package/dist/extract/engine/pipeline/index.js.map +1 -0
  243. package/dist/{extraction → extract/engine}/spi/index.d.ts +17 -1
  244. package/dist/extract/engine/spi/index.d.ts.map +1 -0
  245. package/dist/extract/engine/spi/index.js.map +1 -0
  246. package/dist/extract/engine/ts/ast.d.ts +23 -0
  247. package/dist/extract/engine/ts/ast.d.ts.map +1 -0
  248. package/dist/extract/engine/ts/ast.js +97 -0
  249. package/dist/extract/engine/ts/ast.js.map +1 -0
  250. package/dist/extract/engine/ts/components.d.ts +21 -0
  251. package/dist/extract/engine/ts/components.d.ts.map +1 -0
  252. package/dist/extract/engine/ts/components.js +287 -0
  253. package/dist/extract/engine/ts/components.js.map +1 -0
  254. package/dist/extract/engine/ts/context.d.ts +10 -0
  255. package/dist/extract/engine/ts/context.d.ts.map +1 -0
  256. package/dist/extract/engine/ts/context.js +273 -0
  257. package/dist/extract/engine/ts/context.js.map +1 -0
  258. package/dist/extract/engine/ts/domains.d.ts +8 -0
  259. package/dist/extract/engine/ts/domains.d.ts.map +1 -0
  260. package/dist/extract/engine/ts/domains.js +262 -0
  261. package/dist/extract/engine/ts/domains.js.map +1 -0
  262. package/dist/extract/engine/ts/expressions.d.ts +2 -0
  263. package/dist/extract/engine/ts/expressions.d.ts.map +1 -0
  264. package/dist/extract/engine/ts/expressions.js +2 -0
  265. package/dist/extract/engine/ts/expressions.js.map +1 -0
  266. package/dist/extract/engine/ts/handlers.d.ts +4 -0
  267. package/dist/extract/engine/ts/handlers.d.ts.map +1 -0
  268. package/dist/extract/engine/ts/handlers.js +3 -0
  269. package/dist/extract/engine/ts/handlers.js.map +1 -0
  270. package/dist/extract/engine/ts/ids.d.ts +7 -0
  271. package/dist/extract/engine/ts/ids.d.ts.map +1 -0
  272. package/dist/extract/engine/ts/ids.js +63 -0
  273. package/dist/extract/engine/ts/ids.js.map +1 -0
  274. package/dist/extract/engine/ts/input-transitions.d.ts +5 -0
  275. package/dist/extract/engine/ts/input-transitions.d.ts.map +1 -0
  276. package/dist/extract/engine/ts/input-transitions.js +132 -0
  277. package/dist/extract/engine/ts/input-transitions.js.map +1 -0
  278. package/dist/extract/engine/ts/jsx.d.ts +3 -0
  279. package/dist/extract/engine/ts/jsx.d.ts.map +1 -0
  280. package/dist/extract/engine/ts/jsx.js +3 -0
  281. package/dist/extract/engine/ts/jsx.js.map +1 -0
  282. package/dist/extract/engine/ts/react-source-transitions.d.ts +24 -0
  283. package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -0
  284. package/dist/extract/engine/ts/react-source-transitions.js +243 -0
  285. package/dist/extract/engine/ts/react-source-transitions.js.map +1 -0
  286. package/dist/extract/engine/ts/routes.d.ts +9 -0
  287. package/dist/extract/engine/ts/routes.d.ts.map +1 -0
  288. package/dist/extract/engine/ts/routes.js +94 -0
  289. package/dist/extract/engine/ts/routes.js.map +1 -0
  290. package/dist/extract/engine/ts/source.d.ts +3 -0
  291. package/dist/extract/engine/ts/source.d.ts.map +1 -0
  292. package/dist/extract/engine/ts/source.js +5 -0
  293. package/dist/extract/engine/ts/source.js.map +1 -0
  294. package/dist/extract/engine/ts/static-navigation.d.ts +5 -0
  295. package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -0
  296. package/dist/extract/engine/ts/static-navigation.js +425 -0
  297. package/dist/extract/engine/ts/static-navigation.js.map +1 -0
  298. package/dist/extract/engine/ts/transition/async.d.ts +45 -0
  299. package/dist/extract/engine/ts/transition/async.d.ts.map +1 -0
  300. package/dist/extract/engine/ts/transition/async.js +578 -0
  301. package/dist/extract/engine/ts/transition/async.js.map +1 -0
  302. package/dist/extract/engine/ts/transition/component-props.d.ts +26 -0
  303. package/dist/extract/engine/ts/transition/component-props.d.ts.map +1 -0
  304. package/dist/extract/engine/ts/transition/component-props.js +200 -0
  305. package/dist/extract/engine/ts/transition/component-props.js.map +1 -0
  306. package/dist/extract/engine/ts/transition/effects.d.ts +12 -0
  307. package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -0
  308. package/dist/extract/engine/ts/transition/effects.js +139 -0
  309. package/dist/extract/engine/ts/transition/effects.js.map +1 -0
  310. package/dist/extract/engine/ts/transition/expressions.d.ts +34 -0
  311. package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -0
  312. package/dist/extract/engine/ts/transition/expressions.js +374 -0
  313. package/dist/extract/engine/ts/transition/expressions.js.map +1 -0
  314. package/dist/extract/engine/ts/transition/guards.d.ts +21 -0
  315. package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -0
  316. package/dist/extract/engine/ts/transition/guards.js +258 -0
  317. package/dist/extract/engine/ts/transition/guards.js.map +1 -0
  318. package/dist/extract/engine/ts/transition/handlers.d.ts +32 -0
  319. package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -0
  320. package/dist/extract/engine/ts/transition/handlers.js +294 -0
  321. package/dist/extract/engine/ts/transition/handlers.js.map +1 -0
  322. package/dist/extract/engine/ts/transition/locals.d.ts +20 -0
  323. package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -0
  324. package/dist/extract/engine/ts/transition/locals.js +123 -0
  325. package/dist/extract/engine/ts/transition/locals.js.map +1 -0
  326. package/dist/extract/engine/ts/transition/navigation.d.ts +21 -0
  327. package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -0
  328. package/dist/extract/engine/ts/transition/navigation.js +129 -0
  329. package/dist/extract/engine/ts/transition/navigation.js.map +1 -0
  330. package/dist/extract/engine/ts/transition/plugin-calls.d.ts +10 -0
  331. package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -0
  332. package/dist/extract/engine/ts/transition/plugin-calls.js +114 -0
  333. package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -0
  334. package/dist/extract/engine/ts/transition/statement-summary.d.ts +34 -0
  335. package/dist/extract/engine/ts/transition/statement-summary.d.ts.map +1 -0
  336. package/dist/extract/engine/ts/transition/statement-summary.js +502 -0
  337. package/dist/extract/engine/ts/transition/statement-summary.js.map +1 -0
  338. package/dist/extract/engine/ts/transition/timers.d.ts +15 -0
  339. package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -0
  340. package/dist/extract/engine/ts/transition/timers.js +109 -0
  341. package/dist/extract/engine/ts/transition/timers.js.map +1 -0
  342. package/dist/extract/engine/ts/transition/ui.d.ts +12 -0
  343. package/dist/extract/engine/ts/transition/ui.d.ts.map +1 -0
  344. package/dist/extract/engine/ts/transition/ui.js +113 -0
  345. package/dist/extract/engine/ts/transition/ui.js.map +1 -0
  346. package/dist/extract/engine/ts/traversal.d.ts +3 -0
  347. package/dist/extract/engine/ts/traversal.d.ts.map +1 -0
  348. package/dist/extract/engine/ts/traversal.js +6 -0
  349. package/dist/extract/engine/ts/traversal.js.map +1 -0
  350. package/dist/extract/engine/ts/types.d.ts +46 -0
  351. package/dist/extract/engine/ts/types.d.ts.map +1 -0
  352. package/dist/extract/engine/ts/types.js +2 -0
  353. package/dist/extract/engine/ts/types.js.map +1 -0
  354. package/dist/extract/index.d.ts +2 -0
  355. package/dist/extract/index.d.ts.map +1 -0
  356. package/dist/extract/index.js +2 -0
  357. package/dist/extract/index.js.map +1 -0
  358. package/dist/extract/sources/jotai/discover.d.ts +3 -0
  359. package/dist/extract/sources/jotai/discover.d.ts.map +1 -0
  360. package/dist/extract/sources/jotai/discover.js +65 -0
  361. package/dist/extract/sources/jotai/discover.js.map +1 -0
  362. package/dist/extract/sources/jotai/domains.d.ts +6 -0
  363. package/dist/extract/sources/jotai/domains.d.ts.map +1 -0
  364. package/dist/extract/sources/jotai/domains.js +283 -0
  365. package/dist/extract/sources/jotai/domains.js.map +1 -0
  366. package/dist/{sources → extract/sources}/jotai/harness.d.ts +2 -2
  367. package/dist/extract/sources/jotai/harness.d.ts.map +1 -0
  368. package/dist/{sources → extract/sources}/jotai/harness.js +1 -1
  369. package/dist/extract/sources/jotai/harness.js.map +1 -0
  370. package/dist/extract/sources/jotai/index.d.ts +4 -0
  371. package/dist/extract/sources/jotai/index.d.ts.map +1 -0
  372. package/dist/extract/sources/jotai/index.js +3 -0
  373. package/dist/extract/sources/jotai/index.js.map +1 -0
  374. package/dist/extract/sources/jotai/plugin.d.ts +4 -0
  375. package/dist/extract/sources/jotai/plugin.d.ts.map +1 -0
  376. package/dist/extract/sources/jotai/plugin.js +19 -0
  377. package/dist/extract/sources/jotai/plugin.js.map +1 -0
  378. package/dist/extract/sources/jotai/transitions.d.ts +15 -0
  379. package/dist/extract/sources/jotai/transitions.d.ts.map +1 -0
  380. package/dist/extract/sources/jotai/transitions.js +44 -0
  381. package/dist/extract/sources/jotai/transitions.js.map +1 -0
  382. package/dist/extract/sources/jotai/writes.d.ts +8 -0
  383. package/dist/extract/sources/jotai/writes.d.ts.map +1 -0
  384. package/dist/extract/sources/jotai/writes.js +173 -0
  385. package/dist/extract/sources/jotai/writes.js.map +1 -0
  386. package/dist/{sources → extract/sources}/router/harness.d.ts +1 -1
  387. package/dist/extract/sources/router/harness.d.ts.map +1 -0
  388. package/dist/{sources → extract/sources}/router/harness.js +6 -2
  389. package/dist/extract/sources/router/harness.js.map +1 -0
  390. package/dist/extract/sources/router/index.d.ts +9 -0
  391. package/dist/extract/sources/router/index.d.ts.map +1 -0
  392. package/dist/extract/sources/router/index.js +22 -0
  393. package/dist/extract/sources/router/index.js.map +1 -0
  394. package/dist/extract/sources/router/navigation.d.ts +5 -0
  395. package/dist/extract/sources/router/navigation.d.ts.map +1 -0
  396. package/dist/extract/sources/router/navigation.js +16 -0
  397. package/dist/extract/sources/router/navigation.js.map +1 -0
  398. package/dist/extract/sources/router/routes.d.ts +4 -0
  399. package/dist/extract/sources/router/routes.d.ts.map +1 -0
  400. package/dist/extract/sources/router/routes.js +28 -0
  401. package/dist/extract/sources/router/routes.js.map +1 -0
  402. package/dist/extract/sources/shared/react-transition-extract.d.ts +13 -0
  403. package/dist/extract/sources/shared/react-transition-extract.d.ts.map +1 -0
  404. package/dist/extract/sources/shared/react-transition-extract.js +22 -0
  405. package/dist/extract/sources/shared/react-transition-extract.js.map +1 -0
  406. package/dist/extract/sources/swr/discover.d.ts +11 -0
  407. package/dist/extract/sources/swr/discover.d.ts.map +1 -0
  408. package/dist/extract/sources/swr/discover.js +175 -0
  409. package/dist/extract/sources/swr/discover.js.map +1 -0
  410. package/dist/extract/sources/swr/domains.d.ts +5 -0
  411. package/dist/extract/sources/swr/domains.d.ts.map +1 -0
  412. package/dist/extract/sources/swr/domains.js +99 -0
  413. package/dist/extract/sources/swr/domains.js.map +1 -0
  414. package/dist/{sources → extract/sources}/swr/harness.d.ts +2 -2
  415. package/dist/extract/sources/swr/harness.d.ts.map +1 -0
  416. package/dist/{sources → extract/sources}/swr/harness.js +3 -1
  417. package/dist/extract/sources/swr/harness.js.map +1 -0
  418. package/dist/extract/sources/swr/index.d.ts +6 -0
  419. package/dist/extract/sources/swr/index.d.ts.map +1 -0
  420. package/dist/extract/sources/swr/index.js +4 -0
  421. package/dist/extract/sources/swr/index.js.map +1 -0
  422. package/dist/extract/sources/swr/plugin.d.ts +4 -0
  423. package/dist/extract/sources/swr/plugin.d.ts.map +1 -0
  424. package/dist/extract/sources/swr/plugin.js +21 -0
  425. package/dist/extract/sources/swr/plugin.js.map +1 -0
  426. package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts} +4 -6
  427. package/dist/extract/sources/swr/template.d.ts.map +1 -0
  428. package/dist/extract/sources/swr/template.js +331 -0
  429. package/dist/extract/sources/swr/template.js.map +1 -0
  430. package/dist/extract/sources/swr/transitions.d.ts +15 -0
  431. package/dist/extract/sources/swr/transitions.d.ts.map +1 -0
  432. package/dist/extract/sources/swr/transitions.js +43 -0
  433. package/dist/extract/sources/swr/transitions.js.map +1 -0
  434. package/dist/extract/sources/swr/writes.d.ts +3 -0
  435. package/dist/extract/sources/swr/writes.d.ts.map +1 -0
  436. package/dist/extract/sources/swr/writes.js +54 -0
  437. package/dist/extract/sources/swr/writes.js.map +1 -0
  438. package/dist/{sources → extract/sources}/use-state/harness.d.ts +2 -2
  439. package/dist/extract/sources/use-state/harness.d.ts.map +1 -0
  440. package/dist/{sources → extract/sources}/use-state/harness.js +1 -1
  441. package/dist/extract/sources/use-state/harness.js.map +1 -0
  442. package/dist/extract/sources/use-state/index.d.ts +4 -0
  443. package/dist/extract/sources/use-state/index.d.ts.map +1 -0
  444. package/dist/{sources → extract/sources}/use-state/index.js +84 -31
  445. package/dist/extract/sources/use-state/index.js.map +1 -0
  446. package/dist/extract/sources/use-state/transitions.d.ts +4 -0
  447. package/dist/extract/sources/use-state/transitions.d.ts.map +1 -0
  448. package/dist/extract/sources/use-state/transitions.js +27 -0
  449. package/dist/extract/sources/use-state/transitions.js.map +1 -0
  450. package/dist/extract/sources/use-state/types.d.ts +67 -0
  451. package/dist/extract/sources/use-state/types.d.ts.map +1 -0
  452. package/dist/extract/sources/use-state/types.js +2 -0
  453. package/dist/extract/sources/use-state/types.js.map +1 -0
  454. package/package.json +85 -71
  455. package/dist/checker/encode/index.d.ts +0 -2
  456. package/dist/checker/encode/index.d.ts.map +0 -1
  457. package/dist/checker/encode/index.js +0 -2
  458. package/dist/checker/encode/index.js.map +0 -1
  459. package/dist/checker/index.d.ts +0 -6
  460. package/dist/checker/index.d.ts.map +0 -1
  461. package/dist/checker/index.js +0 -6
  462. package/dist/checker/index.js.map +0 -1
  463. package/dist/checker/monitors/index.d.ts +0 -2
  464. package/dist/checker/monitors/index.d.ts.map +0 -1
  465. package/dist/checker/monitors/index.js.map +0 -1
  466. package/dist/checker/search/eval.d.ts +0 -16
  467. package/dist/checker/search/eval.d.ts.map +0 -1
  468. package/dist/checker/search/eval.js +0 -308
  469. package/dist/checker/search/eval.js.map +0 -1
  470. package/dist/checker/search/index.d.ts.map +0 -1
  471. package/dist/checker/search/index.js +0 -556
  472. package/dist/checker/search/index.js.map +0 -1
  473. package/dist/checker/slicing/index.d.ts +0 -2
  474. package/dist/checker/slicing/index.d.ts.map +0 -1
  475. package/dist/checker/slicing/index.js +0 -2
  476. package/dist/checker/slicing/index.js.map +0 -1
  477. package/dist/checker/traces/index.d.ts +0 -2
  478. package/dist/checker/traces/index.d.ts.map +0 -1
  479. package/dist/checker/traces/index.js +0 -2
  480. package/dist/checker/traces/index.js.map +0 -1
  481. package/dist/extraction/index.d.ts +0 -34
  482. package/dist/extraction/index.d.ts.map +0 -1
  483. package/dist/extraction/index.js +0 -2982
  484. package/dist/extraction/index.js.map +0 -1
  485. package/dist/extraction/pipeline/index.d.ts.map +0 -1
  486. package/dist/extraction/pipeline/index.js.map +0 -1
  487. package/dist/extraction/spi/index.d.ts.map +0 -1
  488. package/dist/extraction/spi/index.js +0 -2
  489. package/dist/extraction/spi/index.js.map +0 -1
  490. package/dist/harness/index.d.ts.map +0 -1
  491. package/dist/harness/index.js.map +0 -1
  492. package/dist/kernel/artifacts/index.d.ts.map +0 -1
  493. package/dist/kernel/artifacts/index.js.map +0 -1
  494. package/dist/kernel/index.d.ts.map +0 -1
  495. package/dist/kernel/index.js.map +0 -1
  496. package/dist/kernel/ir/canonical.d.ts.map +0 -1
  497. package/dist/kernel/ir/canonical.js.map +0 -1
  498. package/dist/kernel/ir/domains.d.ts.map +0 -1
  499. package/dist/kernel/ir/domains.js.map +0 -1
  500. package/dist/kernel/ir/types.d.ts.map +0 -1
  501. package/dist/kernel/ir/validator.d.ts.map +0 -1
  502. package/dist/kernel/ir/validator.js.map +0 -1
  503. package/dist/kernel/overlay/index.d.ts.map +0 -1
  504. package/dist/kernel/overlay/index.js.map +0 -1
  505. package/dist/kernel/props/index.d.ts.map +0 -1
  506. package/dist/kernel/props/index.js.map +0 -1
  507. package/dist/kernel/trace/types.d.ts.map +0 -1
  508. package/dist/modality/check.d.ts +0 -3
  509. package/dist/modality/check.d.ts.map +0 -1
  510. package/dist/modality/check.js +0 -2
  511. package/dist/modality/check.js.map +0 -1
  512. package/dist/modality/ci.d.ts.map +0 -1
  513. package/dist/modality/ci.js.map +0 -1
  514. package/dist/modality/cli.js.map +0 -1
  515. package/dist/modality/codegen/model.d.ts +0 -3
  516. package/dist/modality/codegen/model.d.ts.map +0 -1
  517. package/dist/modality/codegen/model.js.map +0 -1
  518. package/dist/modality/codegen/replay-test.d.ts.map +0 -1
  519. package/dist/modality/codegen/replay-test.js.map +0 -1
  520. package/dist/modality/conform.d.ts +0 -3
  521. package/dist/modality/conform.d.ts.map +0 -1
  522. package/dist/modality/conform.js +0 -2
  523. package/dist/modality/conform.js.map +0 -1
  524. package/dist/modality/export-tla.d.ts +0 -3
  525. package/dist/modality/export-tla.d.ts.map +0 -1
  526. package/dist/modality/export-tla.js +0 -2
  527. package/dist/modality/export-tla.js.map +0 -1
  528. package/dist/modality/extract.d.ts.map +0 -1
  529. package/dist/modality/extract.js.map +0 -1
  530. package/dist/modality/features/check/command.d.ts.map +0 -1
  531. package/dist/modality/features/check/command.js.map +0 -1
  532. package/dist/modality/features/check/index.d.ts +0 -3
  533. package/dist/modality/features/check/index.d.ts.map +0 -1
  534. package/dist/modality/features/check/index.js +0 -2
  535. package/dist/modality/features/check/index.js.map +0 -1
  536. package/dist/modality/features/ci/command.d.ts.map +0 -1
  537. package/dist/modality/features/ci/command.js.map +0 -1
  538. package/dist/modality/features/ci/index.d.ts.map +0 -1
  539. package/dist/modality/features/ci/index.js.map +0 -1
  540. package/dist/modality/features/conform/command.d.ts.map +0 -1
  541. package/dist/modality/features/conform/command.js.map +0 -1
  542. package/dist/modality/features/conform/index.d.ts.map +0 -1
  543. package/dist/modality/features/conform/index.js.map +0 -1
  544. package/dist/modality/features/export/command.d.ts.map +0 -1
  545. package/dist/modality/features/export/command.js.map +0 -1
  546. package/dist/modality/features/export/index.d.ts.map +0 -1
  547. package/dist/modality/features/export/index.js +0 -2
  548. package/dist/modality/features/export/index.js.map +0 -1
  549. package/dist/modality/features/extract/command.d.ts.map +0 -1
  550. package/dist/modality/features/extract/command.js.map +0 -1
  551. package/dist/modality/features/extract/index.d.ts.map +0 -1
  552. package/dist/modality/features/extract/index.js.map +0 -1
  553. package/dist/modality/features/replay/command.d.ts.map +0 -1
  554. package/dist/modality/features/replay/command.js.map +0 -1
  555. package/dist/modality/features/replay/index.d.ts.map +0 -1
  556. package/dist/modality/features/replay/index.js.map +0 -1
  557. package/dist/modality/overlay.d.ts.map +0 -1
  558. package/dist/modality/overlay.js.map +0 -1
  559. package/dist/modality/registry/index.d.ts.map +0 -1
  560. package/dist/modality/registry/index.js.map +0 -1
  561. package/dist/modality/replay.d.ts +0 -3
  562. package/dist/modality/replay.d.ts.map +0 -1
  563. package/dist/modality/replay.js.map +0 -1
  564. package/dist/runtime/index.d.ts.map +0 -1
  565. package/dist/runtime/index.js.map +0 -1
  566. package/dist/sources/jotai/harness.d.ts.map +0 -1
  567. package/dist/sources/jotai/harness.js.map +0 -1
  568. package/dist/sources/jotai/index.d.ts +0 -11
  569. package/dist/sources/jotai/index.d.ts.map +0 -1
  570. package/dist/sources/jotai/index.js +0 -432
  571. package/dist/sources/jotai/index.js.map +0 -1
  572. package/dist/sources/router/harness.d.ts.map +0 -1
  573. package/dist/sources/router/harness.js.map +0 -1
  574. package/dist/sources/router/index.d.ts +0 -15
  575. package/dist/sources/router/index.d.ts.map +0 -1
  576. package/dist/sources/router/index.js +0 -41
  577. package/dist/sources/router/index.js.map +0 -1
  578. package/dist/sources/swr/harness.d.ts.map +0 -1
  579. package/dist/sources/swr/harness.js.map +0 -1
  580. package/dist/sources/swr/index.d.ts.map +0 -1
  581. package/dist/sources/swr/index.js +0 -528
  582. package/dist/sources/swr/index.js.map +0 -1
  583. package/dist/sources/use-state/harness.d.ts.map +0 -1
  584. package/dist/sources/use-state/harness.js.map +0 -1
  585. package/dist/sources/use-state/index.d.ts +0 -9
  586. package/dist/sources/use-state/index.d.ts.map +0 -1
  587. package/dist/sources/use-state/index.js.map +0 -1
  588. /package/dist/{kernel/ir → check}/types.js +0 -0
  589. /package/dist/{modality → cli}/ci.d.ts +0 -0
  590. /package/dist/{modality → cli}/ci.js +0 -0
  591. /package/dist/{modality → cli}/cli.d.ts +0 -0
  592. /package/dist/{modality → cli}/extract.js +0 -0
  593. /package/dist/{modality → cli}/features/ci/command.d.ts +0 -0
  594. /package/dist/{modality → cli}/features/ci/index.d.ts +0 -0
  595. /package/dist/{modality → cli}/features/ci/index.js +0 -0
  596. /package/dist/{modality → cli}/features/conform/index.d.ts +0 -0
  597. /package/dist/{modality → cli}/features/conform/index.js +0 -0
  598. /package/dist/{modality → cli}/features/extract/index.js +0 -0
  599. /package/dist/{modality → cli}/features/replay/index.d.ts +0 -0
  600. /package/dist/{modality → cli}/features/replay/index.js +0 -0
  601. /package/dist/{modality → cli}/replay.js +0 -0
  602. /package/dist/{kernel → core}/artifacts/index.d.ts +0 -0
  603. /package/dist/{kernel → core}/index.d.ts +0 -0
  604. /package/dist/{kernel → core}/index.js +0 -0
  605. /package/dist/{kernel → core}/ir/canonical.d.ts +0 -0
  606. /package/dist/{kernel → core}/ir/domains.d.ts +0 -0
  607. /package/dist/{kernel → core}/ir/types.d.ts +0 -0
  608. /package/dist/{kernel/report → core/ir}/types.js +0 -0
  609. /package/dist/{kernel → core}/ir/validator.d.ts +0 -0
  610. /package/dist/{kernel → core}/overlay/index.d.ts +0 -0
  611. /package/dist/{kernel → core}/props/index.d.ts +0 -0
  612. /package/dist/{kernel → core}/report/types.d.ts +0 -0
  613. /package/dist/{kernel/trace → core/report}/types.js +0 -0
  614. /package/dist/{kernel → core}/trace/types.d.ts +0 -0
  615. /package/dist/{checker/monitors → extract/engine/spi}/index.js +0 -0
@@ -0,0 +1,258 @@
1
+ import * as ts from "typescript";
2
+ import { isPropertyAccessLike, lineAndColumn, literalValue, } from "../ast.js";
3
+ import { unwrapTsExpression, valueExpr } from "./expressions.js";
4
+ import { stringAttribute } from "./ui.js";
5
+ export function applyParsedGuard(transitions, parsed) {
6
+ if (!parsed)
7
+ return transitions;
8
+ return transitions.map((transition) => transition.cls === "user"
9
+ ? {
10
+ ...transition,
11
+ guard: andGuard(parsed.expr, transition.guard),
12
+ reads: [...new Set([...transition.reads, ...parsed.reads])],
13
+ }
14
+ : transition);
15
+ }
16
+ export function combineParsedGuards(guards) {
17
+ const parsed = guards.filter((guard) => Boolean(guard));
18
+ if (parsed.length === 0)
19
+ return undefined;
20
+ return {
21
+ expr: parsed.map((guard) => guard.expr).reduce(andGuard),
22
+ reads: [...new Set(parsed.flatMap((guard) => guard.reads))],
23
+ };
24
+ }
25
+ export function renderGuardFor(eventAttribute, setters, warnings, source, component, locals = new Map()) {
26
+ const element = jsxElementForAttribute(eventAttribute);
27
+ if (!element)
28
+ return undefined;
29
+ const guards = [];
30
+ let current = element;
31
+ while (current.parent) {
32
+ const parent = current.parent;
33
+ if (ts.isBinaryExpression(parent) &&
34
+ parent.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken &&
35
+ parent.right === current) {
36
+ const parsed = parseConjunctiveGuardExpression(parent.left, setters, locals);
37
+ if (!parsed) {
38
+ warnings.push({
39
+ message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
40
+ ...lineAndColumn(source, parent.left),
41
+ });
42
+ return undefined;
43
+ }
44
+ guards.push(parsed);
45
+ current = parent;
46
+ continue;
47
+ }
48
+ if (ts.isConditionalExpression(parent) && parent.whenTrue === current) {
49
+ const parsed = parseConjunctiveGuardExpression(parent.condition, setters, locals);
50
+ if (!parsed) {
51
+ warnings.push({
52
+ message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
53
+ ...lineAndColumn(source, parent.condition),
54
+ });
55
+ return undefined;
56
+ }
57
+ guards.push(parsed);
58
+ current = parent;
59
+ continue;
60
+ }
61
+ if (ts.isConditionalExpression(parent) && parent.whenFalse === current) {
62
+ const parsed = parseConjunctiveGuardExpression(parent.condition, setters, locals);
63
+ if (!parsed) {
64
+ warnings.push({
65
+ message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
66
+ ...lineAndColumn(source, parent.condition),
67
+ });
68
+ return undefined;
69
+ }
70
+ guards.push({
71
+ expr: { kind: "not", args: [parsed.expr] },
72
+ reads: parsed.reads,
73
+ });
74
+ current = parent;
75
+ continue;
76
+ }
77
+ if (ts.isParenthesizedExpression(parent) ||
78
+ ts.isJsxExpression(parent) ||
79
+ ts.isJsxElement(parent) ||
80
+ ts.isJsxFragment(parent)) {
81
+ current = parent;
82
+ continue;
83
+ }
84
+ return combineParsedGuards(guards);
85
+ }
86
+ return combineParsedGuards(guards);
87
+ }
88
+ export function jsxElementForAttribute(attribute) {
89
+ const attrs = attribute.parent;
90
+ if (!ts.isJsxAttributes(attrs))
91
+ return undefined;
92
+ const element = attrs.parent;
93
+ if (ts.isJsxOpeningElement(element) && ts.isJsxElement(element.parent))
94
+ return element.parent;
95
+ return ts.isJsxSelfClosingElement(element) ? element : undefined;
96
+ }
97
+ export function disabledGuardFor(eventAttribute, setters, warnings, source, component, locals = new Map()) {
98
+ const attrs = eventAttribute.parent;
99
+ if (!ts.isJsxAttributes(attrs))
100
+ return undefined;
101
+ const disabled = attrs.properties.find((property) => ts.isJsxAttribute(property) &&
102
+ ts.isIdentifier(property.name) &&
103
+ (property.name.text === "disabled" ||
104
+ property.name.text === "aria-disabled")) ?? submitButtonDisabledAttribute(eventAttribute);
105
+ if (!disabled)
106
+ return undefined;
107
+ const parsed = jsxAttributeBoolean(disabled, setters, locals);
108
+ if (!parsed) {
109
+ warnings.push({
110
+ message: `Unsupported disabled guard ${component}.${eventAttribute.name.getText(source)}`,
111
+ ...lineAndColumn(source, disabled),
112
+ });
113
+ return undefined;
114
+ }
115
+ return { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads };
116
+ }
117
+ export function submitButtonDisabledAttribute(eventAttribute) {
118
+ if (!ts.isIdentifier(eventAttribute.name) ||
119
+ eventAttribute.name.text !== "onSubmit")
120
+ return undefined;
121
+ const element = jsxElementForAttribute(eventAttribute);
122
+ if (!element || !ts.isJsxElement(element))
123
+ return undefined;
124
+ let found;
125
+ const visit = (node) => {
126
+ if (found)
127
+ return;
128
+ if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
129
+ const tag = ts.isIdentifier(node.tagName) ? node.tagName.text : undefined;
130
+ if (tag === "button" &&
131
+ stringAttribute(node.attributes, "type") === "submit") {
132
+ found = node.attributes.properties.find((property) => ts.isJsxAttribute(property) &&
133
+ ts.isIdentifier(property.name) &&
134
+ (property.name.text === "disabled" ||
135
+ property.name.text === "aria-disabled"));
136
+ if (found)
137
+ return;
138
+ }
139
+ }
140
+ ts.forEachChild(node, visit);
141
+ };
142
+ visit(element);
143
+ return found;
144
+ }
145
+ export function jsxAttributeBoolean(attribute, setters, locals = new Map()) {
146
+ if (!attribute.initializer)
147
+ return { expr: { kind: "lit", value: true }, reads: [] };
148
+ if (ts.isStringLiteral(attribute.initializer))
149
+ return {
150
+ expr: { kind: "lit", value: attribute.initializer.text === "true" },
151
+ reads: [],
152
+ };
153
+ if (!ts.isJsxExpression(attribute.initializer) ||
154
+ !attribute.initializer.expression)
155
+ return undefined;
156
+ return parseConjunctiveGuardExpression(attribute.initializer.expression, setters, locals);
157
+ }
158
+ export function parseGuardExpression(expression, setters, locals = new Map()) {
159
+ const unwrapped = unwrapTsExpression(expression);
160
+ if (unwrapped !== expression)
161
+ return parseGuardExpression(unwrapped, setters, locals);
162
+ if (expression.kind === ts.SyntaxKind.TrueKeyword)
163
+ return { expr: { kind: "lit", value: true }, reads: [] };
164
+ if (expression.kind === ts.SyntaxKind.FalseKeyword)
165
+ return { expr: { kind: "lit", value: false }, reads: [] };
166
+ if (ts.isIdentifier(expression) || isPropertyAccessLike(expression))
167
+ return valueExpr(expression, setters, locals);
168
+ if (ts.isPrefixUnaryExpression(expression) &&
169
+ expression.operator === ts.SyntaxKind.ExclamationToken) {
170
+ const parsed = parseGuardExpression(expression.operand, setters, locals);
171
+ return parsed
172
+ ? { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads }
173
+ : undefined;
174
+ }
175
+ if (ts.isParenthesizedExpression(expression))
176
+ return parseGuardExpression(expression.expression, setters, locals);
177
+ if (ts.isBinaryExpression(expression))
178
+ return parseBinaryGuardExpression(expression, setters, locals);
179
+ return undefined;
180
+ }
181
+ export function parseBinaryGuardExpression(expression, setters, locals = new Map()) {
182
+ if (expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
183
+ expression.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
184
+ const left = parseGuardExpression(expression.left, setters, locals);
185
+ const right = parseGuardExpression(expression.right, setters, locals);
186
+ if (!left || !right)
187
+ return undefined;
188
+ return {
189
+ expr: {
190
+ kind: expression.operatorToken.kind ===
191
+ ts.SyntaxKind.AmpersandAmpersandToken
192
+ ? "and"
193
+ : "or",
194
+ args: [left.expr, right.expr],
195
+ },
196
+ reads: [...new Set([...left.reads, ...right.reads])],
197
+ };
198
+ }
199
+ if (expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
200
+ expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken ||
201
+ expression.operatorToken.kind ===
202
+ ts.SyntaxKind.ExclamationEqualsEqualsToken ||
203
+ expression.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken) {
204
+ const left = parseGuardOperand(expression.left, setters, locals);
205
+ const right = parseGuardOperand(expression.right, setters, locals);
206
+ if (!left || !right)
207
+ return undefined;
208
+ return {
209
+ expr: {
210
+ kind: expression.operatorToken.kind ===
211
+ ts.SyntaxKind.ExclamationEqualsEqualsToken ||
212
+ expression.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken
213
+ ? "neq"
214
+ : "eq",
215
+ args: [left.expr, right.expr],
216
+ },
217
+ reads: [...new Set([...left.reads, ...right.reads])],
218
+ };
219
+ }
220
+ return undefined;
221
+ }
222
+ export function parseGuardOperand(expression, setters, locals = new Map()) {
223
+ const unwrapped = unwrapTsExpression(expression);
224
+ if (unwrapped !== expression)
225
+ return parseGuardOperand(unwrapped, setters, locals);
226
+ const value = literalValue(expression);
227
+ if (value !== undefined)
228
+ return { expr: { kind: "lit", value }, reads: [] };
229
+ if (ts.isIdentifier(expression) || isPropertyAccessLike(expression))
230
+ return valueExpr(expression, setters, locals);
231
+ return parseGuardExpression(expression, setters, locals);
232
+ }
233
+ export function parseConjunctiveGuardExpression(expression, setters, locals = new Map()) {
234
+ const unwrapped = unwrapTsExpression(expression);
235
+ if (unwrapped !== expression)
236
+ return parseConjunctiveGuardExpression(unwrapped, setters, locals);
237
+ if (ts.isParenthesizedExpression(expression))
238
+ return parseConjunctiveGuardExpression(expression.expression, setters, locals);
239
+ if (ts.isBinaryExpression(expression) &&
240
+ expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
241
+ return combineParsedGuards([
242
+ parseConjunctiveGuardExpression(expression.left, setters, locals),
243
+ parseConjunctiveGuardExpression(expression.right, setters, locals),
244
+ ]);
245
+ }
246
+ return parseGuardExpression(expression, setters, locals);
247
+ }
248
+ export function andGuard(left, right) {
249
+ if (isTrueLiteral(left))
250
+ return right;
251
+ if (isTrueLiteral(right))
252
+ return left;
253
+ return { kind: "and", args: [left, right] };
254
+ }
255
+ export function isTrueLiteral(expr) {
256
+ return expr.kind === "lit" && expr.value === true;
257
+ }
258
+ //# sourceMappingURL=guards.js.map
@@ -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,kBAAkB,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACjE,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,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,UAAU;QAC1B,OAAO,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1D,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,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACnF,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,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,UAAU;QAC1B,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrE,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,32 @@
1
+ import type { AbstractDomain, ExprIR, Locator, Transition, Value } from "modality-ts/core";
2
+ import * as ts from "typescript";
3
+ import type { RouterPlugin, StateSourcePlugin } from "../../spi/index.js";
4
+ import type { BoundExpr, ComponentDecl, ContextBindings, ExtractableHandler, ExtractionWarning, 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 loopWriteTransitions(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, component: string, locator: Locator | undefined): Transition[];
29
+ 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;
30
+ export declare function stateNameForVar(varId: string, setters: Map<string, SetterBinding>): string | undefined;
31
+ export declare function escapedSetterTransitions(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, setters: readonly SetterBinding[], locator: Locator | undefined): Transition[];
32
+ //# 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,EACV,cAAc,EACd,MAAM,EACN,OAAO,EACP,UAAU,EACV,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAM1E,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACd,MAAM,aAAa,CAAC;AAsBrB,OAAO,EAIL,KAAK,WAAW,EAGjB,MAAM,aAAa,CAAC;AAuBrB,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,CAiMd;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,CAyBxB;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,CAuBd;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,eAAe,CAC7B,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,MAAM,GAAG,SAAS,CAGpB;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,294 @@
1
+ import * as ts from "typescript";
2
+ import { lineAndColumn } from "../ast.js";
3
+ import { handlerExpression, jsxTagName } from "../components.js";
4
+ import { emptyContextBindings } from "../context.js";
5
+ import { safeId, tagStableIdKey, uniqueStrings } from "../ids.js";
6
+ import { inputTransitions } from "../input-transitions.js";
7
+ import { containsAwaitedEffect, containsAwaitInLoop, transitionsFromAsyncHandler, } from "./async.js";
8
+ import { componentPropTrigger, transparentComponentPropTrigger, } from "./component-props.js";
9
+ import { effectWriteVars, escapedSetters, havocSetterTransition, identityEffect, isLoopStatement, setterCallFrom, settersWrittenIn, singleSetterEffect, uniqueSetters, } from "./effects.js";
10
+ import { setterArgumentExpr } from "./expressions.js";
11
+ import { applyParsedGuard, combineParsedGuards, disabledGuardFor, parseGuardExpression, renderGuardFor, } from "./guards.js";
12
+ import { callSummaryFromHandler, componentGuardLocalsFor, componentScopeLocalsFor, inlinedHelperCall, } from "./locals.js";
13
+ import { navigationTransition } from "./navigation.js";
14
+ import { noopCallTransition, pluginWriteTransition, swrMutateTransition, } from "./plugin-calls.js";
15
+ import { effectFromSummaries, summarizeHandlerStatements, } from "./statement-summary.js";
16
+ import { isInputValueExpression, labelForEvent, locatorForEventAttribute, } from "./ui.js";
17
+ export function transitionsFromJsxAttribute(source, fileName, node, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, routePatterns, contextBindings, warnings) {
18
+ if (!node.initializer)
19
+ return [];
20
+ const expression = ts.isJsxExpression(node.initializer)
21
+ ? node.initializer.expression
22
+ : undefined;
23
+ const handler = handlerExpression(expression, handlers);
24
+ if (!handler)
25
+ return [];
26
+ if (!ts.isIdentifier(node.name))
27
+ return [];
28
+ const attr = node.name.text;
29
+ const locator = locatorForEventAttribute(node);
30
+ return tagStableIdKey(transitionsFromResolvedHandler(source, fileName, node, attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, locator, routePatterns, contextBindings, warnings), handler);
31
+ }
32
+ export function transitionsFromComponentPropAttribute(source, fileName, node, setters, handlers, components, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, warnings) {
33
+ if (!node.initializer || !ts.isIdentifier(node.name))
34
+ return [];
35
+ const tag = jsxTagName(node);
36
+ if (!tag)
37
+ return [];
38
+ const callee = components.get(tag);
39
+ if (!callee)
40
+ return [];
41
+ const trigger = componentPropTrigger(source, callee, node.name.text, setters, warnings) ??
42
+ transparentComponentPropTrigger(callee, node.name.text);
43
+ if (!trigger)
44
+ return [];
45
+ const expression = ts.isJsxExpression(node.initializer)
46
+ ? node.initializer.expression
47
+ : undefined;
48
+ const handler = handlerExpression(expression, handlers);
49
+ if (!handler)
50
+ return [];
51
+ const guardLocals = componentGuardLocalsFor(node, setters);
52
+ const callerGuard = combineParsedGuards([
53
+ renderGuardFor(node, setters, warnings, source, component, guardLocals),
54
+ disabledGuardFor(node, setters, warnings, source, component, guardLocals),
55
+ ]);
56
+ 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);
57
+ }
58
+ export function transitionsFromBoundedListAttribute(source, fileName, node, setters, handlers, component, listInfo) {
59
+ if (!node.initializer || !ts.isIdentifier(node.name))
60
+ return [];
61
+ const expression = ts.isJsxExpression(node.initializer)
62
+ ? node.initializer.expression
63
+ : undefined;
64
+ const handler = handlerExpression(expression, handlers);
65
+ if (!handler)
66
+ return [];
67
+ const attr = node.name.text;
68
+ const summary = callSummaryFromHandler(handler, setters, new Map([[listInfo.itemName, readListItemBinding(listInfo.varId, 0)]]));
69
+ if (!summary)
70
+ return [];
71
+ const setterCall = setterCallFrom(summary.call, setters);
72
+ if (!setterCall)
73
+ return [];
74
+ const baseLocator = locatorForEventAttribute(node);
75
+ const transitions = [];
76
+ for (let index = 0; index < listInfo.domain.maxLen; index += 1) {
77
+ const locals = new Map(summary.locals);
78
+ locals.set(listInfo.itemName, readListItemBinding(listInfo.varId, index));
79
+ const assigned = setterArgumentExpr(setterCall.argument, setterCall.setter, setters, locals);
80
+ if (!assigned)
81
+ return [];
82
+ const locator = baseLocator
83
+ ? { kind: "positional", base: baseLocator, index }
84
+ : undefined;
85
+ const guard = boundedListIndexGuard(listInfo.varId, index);
86
+ transitions.push({
87
+ id: `${component}.${attr}.${setterCall.setter.stateName}.${index}`,
88
+ cls: "user",
89
+ label: labelForEvent(attr, locator),
90
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
91
+ guard,
92
+ effect: {
93
+ kind: "assign",
94
+ var: setterCall.setter.varId,
95
+ expr: assigned.expr,
96
+ },
97
+ reads: uniqueStrings([listInfo.varId, ...assigned.reads]),
98
+ writes: [setterCall.setter.varId],
99
+ confidence: index <= 1 ? "exact" : "over-approx",
100
+ });
101
+ }
102
+ return transitions;
103
+ }
104
+ export function readListItemBinding(varId, index) {
105
+ return {
106
+ expr: { kind: "read", var: varId, path: [String(index)] },
107
+ reads: [varId],
108
+ };
109
+ }
110
+ export function boundedListIndexGuard(varId, index) {
111
+ const len = {
112
+ kind: "lenCat",
113
+ arg: { kind: "read", var: varId },
114
+ };
115
+ if (index === 0)
116
+ return { kind: "neq", args: [len, { kind: "lit", value: "0" }] };
117
+ return { kind: "eq", args: [len, { kind: "lit", value: "many" }] };
118
+ }
119
+ export function transitionsFromResolvedHandler(source, fileName, node, attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, locator, routePatterns, contextBindings, warnings) {
120
+ if (containsAwaitInLoop(handler)) {
121
+ warnings.push({
122
+ message: `Unextractable handler ${component}.${attr}`,
123
+ ...lineAndColumn(source, handler),
124
+ });
125
+ return [];
126
+ }
127
+ const asyncTransitions = transitionsFromAsyncHandler(source, fileName, attr, handler, setters, component, effectApis, asyncOutcomes, locator, routePatterns, warnings);
128
+ if (asyncTransitions.length > 0)
129
+ return applyParsedGuard(asyncTransitions, disabledGuard);
130
+ if (ts.isBlock(handler.body) &&
131
+ containsAwaitedEffect(handler.body.statements, effectApis)) {
132
+ warnings.push({
133
+ message: `Unextractable handler ${component}.${attr}`,
134
+ ...lineAndColumn(source, handler),
135
+ });
136
+ return [];
137
+ }
138
+ const conditionalTransition = conditionalTransitionFromHandler(source, fileName, node, attr, handler, setters, component, locator);
139
+ if (conditionalTransition)
140
+ return applyParsedGuard([conditionalTransition], disabledGuard);
141
+ const sequentialTransition = sequentialTransitionFromHandler(source, fileName, node, attr, handler, setters, handlers, component, locator);
142
+ if (sequentialTransition)
143
+ return applyParsedGuard([sequentialTransition], disabledGuard);
144
+ const loopTransitions = loopWriteTransitions(source, fileName, node, attr, handler, setters, component, locator);
145
+ if (loopTransitions.length > 0)
146
+ return applyParsedGuard(loopTransitions, disabledGuard);
147
+ const summary = callSummaryFromHandler(handler, setters, componentScopeLocalsFor(node, setters, contextBindings));
148
+ if (!summary)
149
+ return [];
150
+ const inlined = inlinedHelperCall(summary.call, handlers, setters);
151
+ const inlinedCall = inlined?.call ?? summary.call;
152
+ const locals = inlined?.locals ?? summary.locals;
153
+ const navigation = navigationTransition(source, fileName, node, attr, component, inlinedCall, locator, routerPlugin, routePatterns);
154
+ if (navigation)
155
+ return applyParsedGuard([navigation], disabledGuard);
156
+ const pluginWrite = pluginWriteTransition(source, fileName, node, attr, component, inlinedCall, setters, locals, sourcePlugins, locator);
157
+ if (pluginWrite)
158
+ return applyParsedGuard([pluginWrite], disabledGuard);
159
+ const swrMutate = swrMutateTransition(source, fileName, node, attr, component, inlinedCall, locator);
160
+ if (swrMutate)
161
+ return applyParsedGuard([swrMutate], disabledGuard);
162
+ const noop = noopCallTransition(source, fileName, node, attr, component, inlinedCall, locator);
163
+ if (noop)
164
+ return applyParsedGuard([noop], disabledGuard);
165
+ const setterCall = setterCallFrom(inlinedCall, setters);
166
+ if (!setterCall) {
167
+ const escaped = escapedSetters(inlinedCall, setters, locals);
168
+ if (escaped.length === 0)
169
+ return [];
170
+ return applyParsedGuard(escapedSetterTransitions(source, fileName, node, attr, component, escaped, locator), disabledGuard);
171
+ }
172
+ const { setter, argument } = setterCall;
173
+ if ((attr === "onChange" || attr === "onInput") &&
174
+ isInputValueExpression(inlinedCall.arguments[0], handler.parameters[0])) {
175
+ return applyParsedGuard(inputTransitions(source, fileName, node, attr, component, setter, locator), disabledGuard);
176
+ }
177
+ const assignment = setterArgumentExpr(argument, setter, setters, locals);
178
+ if (!assignment) {
179
+ return applyParsedGuard([
180
+ havocSetterTransition(source, fileName, node, attr, component, setter, locator, "unrepresentable"),
181
+ ], disabledGuard);
182
+ }
183
+ return applyParsedGuard([
184
+ {
185
+ id: `${component}.${attr}.${setter.stateName}`,
186
+ cls: "user",
187
+ label: labelForEvent(attr, locator),
188
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
189
+ guard: { kind: "lit", value: true },
190
+ effect: { kind: "assign", var: setter.varId, expr: assignment.expr },
191
+ reads: assignment.reads,
192
+ writes: [setter.varId],
193
+ confidence: "exact",
194
+ },
195
+ ], disabledGuard);
196
+ }
197
+ export function sequentialTransitionFromHandler(source, fileName, node, attr, handler, setters, handlers, component, locator) {
198
+ const summaries = summarizeHandlerStatements(handler, setters, { handlers });
199
+ const onlySummary = summaries?.[0];
200
+ if (!summaries ||
201
+ summaries.length === 0 ||
202
+ (summaries.length === 1 && onlySummary?.effect.kind !== "if"))
203
+ return undefined;
204
+ const effect = effectFromSummaries(summaries);
205
+ const effects = effect.kind === "seq" ? effect.effects : [effect];
206
+ const writes = uniqueStrings(effects.flatMap(effectWriteVars));
207
+ return {
208
+ id: `${component}.${attr}.${writes.map((id) => stateNameForVar(id, setters) ?? safeId(id)).join("_")}.seq`,
209
+ cls: "user",
210
+ label: labelForEvent(attr, locator),
211
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
212
+ guard: { kind: "lit", value: true },
213
+ effect,
214
+ reads: uniqueStrings(summaries.flatMap((summary) => summary.reads)),
215
+ writes,
216
+ confidence: effects.some((effect) => effect.kind === "havoc")
217
+ ? "over-approx"
218
+ : "exact",
219
+ };
220
+ }
221
+ export function loopWriteTransitions(source, fileName, node, attr, handler, setters, component, locator) {
222
+ if (!ts.isBlock(handler.body))
223
+ return [];
224
+ const loopSetters = [];
225
+ const visit = (candidate) => {
226
+ if (isLoopStatement(candidate)) {
227
+ loopSetters.push(...settersWrittenIn(candidate, setters));
228
+ return;
229
+ }
230
+ ts.forEachChild(candidate, visit);
231
+ };
232
+ visit(handler.body);
233
+ return uniqueSetters(loopSetters).map((setter) => havocSetterTransition(source, fileName, node, attr, component, setter, locator, "loop"));
234
+ }
235
+ export function conditionalTransitionFromHandler(source, fileName, node, attr, handler, setters, component, locator) {
236
+ const body = handler.body;
237
+ if (!ts.isBlock(body) ||
238
+ body.statements.length !== 1 ||
239
+ !ts.isIfStatement(body.statements[0]))
240
+ return undefined;
241
+ const statement = body.statements[0];
242
+ const condition = parseGuardExpression(statement.expression, setters);
243
+ if (!condition)
244
+ return undefined;
245
+ const thenEffect = singleSetterEffect(statement.thenStatement, setters) ?? identityEffect();
246
+ const elseEffect = statement.elseStatement
247
+ ? (singleSetterEffect(statement.elseStatement, setters) ?? identityEffect())
248
+ : identityEffect();
249
+ if (thenEffect.kind === "seq" && elseEffect.kind === "seq")
250
+ return undefined;
251
+ const writes = [
252
+ ...new Set([
253
+ ...effectWriteVars(thenEffect),
254
+ ...effectWriteVars(elseEffect),
255
+ ]),
256
+ ];
257
+ const suffix = writes.map((id) => stateNameForVar(id, setters) ?? safeId(id)).join("_") ||
258
+ "if";
259
+ return {
260
+ id: `${component}.${attr}.${suffix}.if`,
261
+ cls: "user",
262
+ label: labelForEvent(attr, locator),
263
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
264
+ guard: { kind: "lit", value: true },
265
+ effect: {
266
+ kind: "if",
267
+ cond: condition.expr,
268
+ // biome-ignore lint/suspicious/noThenProperty: Effect IR serializes if branches with a "then" field.
269
+ then: thenEffect,
270
+ else: elseEffect,
271
+ },
272
+ reads: condition.reads,
273
+ writes,
274
+ confidence: "exact",
275
+ };
276
+ }
277
+ export function stateNameForVar(varId, setters) {
278
+ return [...setters.values()].find((setter) => setter.varId === varId)
279
+ ?.stateName;
280
+ }
281
+ export function escapedSetterTransitions(source, fileName, node, attr, component, setters, locator) {
282
+ return setters.map((setter) => ({
283
+ id: `${component}.${attr}.${setter.stateName}.escaped`,
284
+ cls: "user",
285
+ label: labelForEvent(attr, locator),
286
+ source: [{ file: fileName, ...lineAndColumn(source, node) }],
287
+ guard: { kind: "lit", value: true },
288
+ effect: { kind: "havoc", var: setter.varId },
289
+ reads: [],
290
+ writes: [setter.varId],
291
+ confidence: "over-approx",
292
+ }));
293
+ }
294
+ //# sourceMappingURL=handlers.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"handlers.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/handlers.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAS3D,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,2BAA2B,GAC5B,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,oBAAoB,EACpB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,eAAe,EACf,cAAc,EACd,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAEhB,oBAAoB,EACpB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,GAClB,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,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,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,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,yBAAyB,SAAS,IAAI,IAAI,EAAE;YACrD,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,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,IACE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QACxB,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAC1D,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,yBAAyB,SAAS,IAAI,IAAI,EAAE;YACrD,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,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,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,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,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,MAAM,SAAS,GAAG,0BAA0B,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7E,MAAM,WAAW,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,IACE,CAAC,SAAS;QACV,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,EAAE,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAE7D,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClE,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;QACN,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,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,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1D,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpB,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,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,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"}