modality-ts 0.0.8 → 0.0.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (578) hide show
  1. package/dist/check/diagnostics/bounds.d.ts +4 -0
  2. package/dist/check/diagnostics/bounds.d.ts.map +1 -0
  3. package/dist/check/diagnostics/bounds.js +25 -0
  4. package/dist/check/diagnostics/bounds.js.map +1 -0
  5. package/dist/check/diagnostics/vacuity.d.ts +3 -0
  6. package/dist/check/diagnostics/vacuity.d.ts.map +1 -0
  7. package/dist/check/diagnostics/vacuity.js +22 -0
  8. package/dist/check/diagnostics/vacuity.js.map +1 -0
  9. package/dist/check/engine/check-model.d.ts +4 -0
  10. package/dist/check/engine/check-model.d.ts.map +1 -0
  11. package/dist/check/engine/check-model.js +162 -0
  12. package/dist/check/engine/check-model.js.map +1 -0
  13. package/dist/check/engine/initial-states.d.ts +3 -0
  14. package/dist/check/engine/initial-states.d.ts.map +1 -0
  15. package/dist/check/engine/initial-states.js +11 -0
  16. package/dist/check/engine/initial-states.js.map +1 -0
  17. package/dist/check/engine/model-api.d.ts +4 -0
  18. package/dist/check/engine/model-api.d.ts.map +1 -0
  19. package/dist/check/engine/model-api.js +15 -0
  20. package/dist/check/engine/model-api.js.map +1 -0
  21. package/dist/check/engine/mounts.d.ts +3 -0
  22. package/dist/check/engine/mounts.d.ts.map +1 -0
  23. package/dist/check/engine/mounts.js +13 -0
  24. package/dist/check/engine/mounts.js.map +1 -0
  25. package/dist/check/engine/stabilize.d.ts +3 -0
  26. package/dist/check/engine/stabilize.d.ts.map +1 -0
  27. package/dist/check/engine/stabilize.js +82 -0
  28. package/dist/check/engine/stabilize.js.map +1 -0
  29. package/dist/check/engine/state-utils.d.ts +12 -0
  30. package/dist/check/engine/state-utils.d.ts.map +1 -0
  31. package/dist/check/engine/state-utils.js +30 -0
  32. package/dist/check/engine/state-utils.js.map +1 -0
  33. package/dist/check/engine/transitions.d.ts +4 -0
  34. package/dist/check/engine/transitions.d.ts.map +1 -0
  35. package/dist/check/engine/transitions.js +15 -0
  36. package/dist/check/engine/transitions.js.map +1 -0
  37. package/dist/check/index.d.ts +14 -0
  38. package/dist/check/index.d.ts.map +1 -0
  39. package/dist/check/index.js +13 -0
  40. package/dist/check/index.js.map +1 -0
  41. package/dist/check/properties/checked-state.d.ts +3 -0
  42. package/dist/check/properties/checked-state.d.ts.map +1 -0
  43. package/dist/check/properties/checked-state.js +21 -0
  44. package/dist/check/properties/checked-state.js.map +1 -0
  45. package/dist/check/properties/finalize.d.ts +4 -0
  46. package/dist/check/properties/finalize.d.ts.map +1 -0
  47. package/dist/check/properties/finalize.js +71 -0
  48. package/dist/check/properties/finalize.js.map +1 -0
  49. package/dist/check/properties/leads-to.d.ts +8 -0
  50. package/dist/check/properties/leads-to.d.ts.map +1 -0
  51. package/dist/check/properties/leads-to.js +69 -0
  52. package/dist/check/properties/leads-to.js.map +1 -0
  53. package/dist/check/properties/observe.d.ts +5 -0
  54. package/dist/check/properties/observe.d.ts.map +1 -0
  55. package/dist/check/properties/observe.js +56 -0
  56. package/dist/check/properties/observe.js.map +1 -0
  57. package/dist/check/properties/reachable-from.d.ts +8 -0
  58. package/dist/check/properties/reachable-from.d.ts.map +1 -0
  59. package/dist/check/properties/reachable-from.js +19 -0
  60. package/dist/check/properties/reachable-from.js.map +1 -0
  61. package/dist/check/runtime/domains.d.ts +5 -0
  62. package/dist/check/runtime/domains.d.ts.map +1 -0
  63. package/dist/check/runtime/domains.js +53 -0
  64. package/dist/check/runtime/domains.js.map +1 -0
  65. package/dist/check/runtime/effects.d.ts +9 -0
  66. package/dist/check/runtime/effects.d.ts.map +1 -0
  67. package/dist/check/runtime/effects.js +86 -0
  68. package/dist/check/runtime/effects.js.map +1 -0
  69. package/dist/check/runtime/expr.d.ts +7 -0
  70. package/dist/check/runtime/expr.d.ts.map +1 -0
  71. package/dist/check/runtime/expr.js +49 -0
  72. package/dist/check/runtime/expr.js.map +1 -0
  73. package/dist/check/runtime/navigation.d.ts +7 -0
  74. package/dist/check/runtime/navigation.d.ts.map +1 -0
  75. package/dist/check/runtime/navigation.js +60 -0
  76. package/dist/check/runtime/navigation.js.map +1 -0
  77. package/dist/check/runtime/opaque.d.ts +3 -0
  78. package/dist/check/runtime/opaque.d.ts.map +1 -0
  79. package/dist/check/runtime/opaque.js +72 -0
  80. package/dist/check/runtime/opaque.js.map +1 -0
  81. package/dist/check/runtime/paths.d.ts +4 -0
  82. package/dist/check/runtime/paths.d.ts.map +1 -0
  83. package/dist/check/runtime/paths.js +28 -0
  84. package/dist/check/runtime/paths.js.map +1 -0
  85. package/dist/check/runtime/pending.d.ts +9 -0
  86. package/dist/check/runtime/pending.d.ts.map +1 -0
  87. package/dist/check/runtime/pending.js +5 -0
  88. package/dist/check/runtime/pending.js.map +1 -0
  89. package/dist/check/runtime/tokens.d.ts +7 -0
  90. package/dist/check/runtime/tokens.d.ts.map +1 -0
  91. package/dist/check/runtime/tokens.js +36 -0
  92. package/dist/check/runtime/tokens.js.map +1 -0
  93. package/dist/check/slicing/slice-model.d.ts +5 -0
  94. package/dist/check/slicing/slice-model.d.ts.map +1 -0
  95. package/dist/check/slicing/slice-model.js +48 -0
  96. package/dist/check/slicing/slice-model.js.map +1 -0
  97. package/dist/check/traces/step-facts.d.ts +3 -0
  98. package/dist/check/traces/step-facts.d.ts.map +1 -0
  99. package/dist/check/traces/step-facts.js +35 -0
  100. package/dist/check/traces/step-facts.js.map +1 -0
  101. package/dist/check/traces/trace.d.ts +8 -0
  102. package/dist/check/traces/trace.d.ts.map +1 -0
  103. package/dist/check/traces/trace.js +42 -0
  104. package/dist/check/traces/trace.js.map +1 -0
  105. package/dist/{checker/search/index.d.ts → check/types.d.ts} +16 -6
  106. package/dist/check/types.d.ts.map +1 -0
  107. package/dist/{kernel/ir → check}/types.js.map +1 -1
  108. package/dist/cli/check.d.ts +3 -0
  109. package/dist/cli/check.d.ts.map +1 -0
  110. package/dist/cli/check.js +2 -0
  111. package/dist/cli/check.js.map +1 -0
  112. package/dist/cli/ci.d.ts.map +1 -0
  113. package/dist/cli/ci.js.map +1 -0
  114. package/dist/{modality → cli}/cli.d.ts.map +1 -1
  115. package/dist/{modality → cli}/cli.js +131 -18
  116. package/dist/cli/cli.js.map +1 -0
  117. package/dist/cli/codegen/model.d.ts +3 -0
  118. package/dist/cli/codegen/model.d.ts.map +1 -0
  119. package/dist/{modality → cli}/codegen/model.js +18 -10
  120. package/dist/cli/codegen/model.js.map +1 -0
  121. package/dist/{modality → cli}/codegen/replay-test.d.ts +1 -1
  122. package/dist/cli/codegen/replay-test.d.ts.map +1 -0
  123. package/dist/{modality → cli}/codegen/replay-test.js +12 -12
  124. package/dist/cli/codegen/replay-test.js.map +1 -0
  125. package/dist/cli/conform.d.ts +3 -0
  126. package/dist/cli/conform.d.ts.map +1 -0
  127. package/dist/cli/conform.js +2 -0
  128. package/dist/cli/conform.js.map +1 -0
  129. package/dist/cli/export-tla.d.ts +3 -0
  130. package/dist/cli/export-tla.d.ts.map +1 -0
  131. package/dist/cli/export-tla.js +2 -0
  132. package/dist/cli/export-tla.js.map +1 -0
  133. package/dist/{modality → cli}/extract.d.ts +1 -1
  134. package/dist/cli/extract.d.ts.map +1 -0
  135. package/dist/cli/extract.js.map +1 -0
  136. package/dist/{modality → cli}/features/check/command.d.ts +2 -2
  137. package/dist/cli/features/check/command.d.ts.map +1 -0
  138. package/dist/{modality → cli}/features/check/command.js +53 -17
  139. package/dist/cli/features/check/command.js.map +1 -0
  140. package/dist/cli/features/check/index.d.ts +3 -0
  141. package/dist/cli/features/check/index.d.ts.map +1 -0
  142. package/dist/cli/features/check/index.js +2 -0
  143. package/dist/cli/features/check/index.js.map +1 -0
  144. package/dist/cli/features/ci/command.d.ts.map +1 -0
  145. package/dist/{modality → cli}/features/ci/command.js +66 -26
  146. package/dist/cli/features/ci/command.js.map +1 -0
  147. package/dist/cli/features/ci/index.d.ts.map +1 -0
  148. package/dist/cli/features/ci/index.js.map +1 -0
  149. package/dist/{modality → cli}/features/conform/command.d.ts +1 -1
  150. package/dist/cli/features/conform/command.d.ts.map +1 -0
  151. package/dist/{modality → cli}/features/conform/command.js +67 -25
  152. package/dist/cli/features/conform/command.js.map +1 -0
  153. package/dist/cli/features/conform/index.d.ts.map +1 -0
  154. package/dist/cli/features/conform/index.js.map +1 -0
  155. package/dist/{modality → cli}/features/export/command.d.ts +1 -1
  156. package/dist/cli/features/export/command.d.ts.map +1 -0
  157. package/dist/{modality → cli}/features/export/command.js +72 -27
  158. package/dist/cli/features/export/command.js.map +1 -0
  159. package/dist/{modality → cli}/features/export/index.d.ts +2 -2
  160. package/dist/cli/features/export/index.d.ts.map +1 -0
  161. package/dist/cli/features/export/index.js +2 -0
  162. package/dist/cli/features/export/index.js.map +1 -0
  163. package/dist/{modality → cli}/features/extract/command.d.ts +3 -3
  164. package/dist/cli/features/extract/command.d.ts.map +1 -0
  165. package/dist/{modality → cli}/features/extract/command.js +219 -77
  166. package/dist/cli/features/extract/command.js.map +1 -0
  167. package/dist/{modality → cli}/features/extract/index.d.ts +1 -1
  168. package/dist/cli/features/extract/index.d.ts.map +1 -0
  169. package/dist/cli/features/extract/index.js.map +1 -0
  170. package/dist/{modality → cli}/features/replay/command.d.ts +1 -1
  171. package/dist/cli/features/replay/command.d.ts.map +1 -0
  172. package/dist/{modality → cli}/features/replay/command.js +42 -16
  173. package/dist/cli/features/replay/command.js.map +1 -0
  174. package/dist/cli/features/replay/index.d.ts.map +1 -0
  175. package/dist/cli/features/replay/index.js.map +1 -0
  176. package/dist/{harness → cli/harness}/index.d.ts +1 -1
  177. package/dist/cli/harness/index.d.ts.map +1 -0
  178. package/dist/{harness → cli/harness}/index.js +128 -37
  179. package/dist/cli/harness/index.js.map +1 -0
  180. package/dist/{modality → cli}/overlay.d.ts +1 -1
  181. package/dist/cli/overlay.d.ts.map +1 -0
  182. package/dist/{modality → cli}/overlay.js +1 -1
  183. package/dist/cli/overlay.js.map +1 -0
  184. package/dist/{modality → cli}/registry/index.d.ts +2 -2
  185. package/dist/cli/registry/index.d.ts.map +1 -0
  186. package/dist/{modality → cli}/registry/index.js +32 -17
  187. package/dist/cli/registry/index.js.map +1 -0
  188. package/dist/cli/replay.d.ts +3 -0
  189. package/dist/cli/replay.d.ts.map +1 -0
  190. package/dist/cli/replay.js.map +1 -0
  191. package/dist/{runtime → cli/runtime}/index.d.ts +1 -1
  192. package/dist/cli/runtime/index.d.ts.map +1 -0
  193. package/dist/{runtime → cli/runtime}/index.js +37 -10
  194. package/dist/cli/runtime/index.js.map +1 -0
  195. package/dist/core/artifacts/index.d.ts.map +1 -0
  196. package/dist/{kernel → core}/artifacts/index.js +7 -2
  197. package/dist/core/artifacts/index.js.map +1 -0
  198. package/dist/core/index.d.ts.map +1 -0
  199. package/dist/core/index.js.map +1 -0
  200. package/dist/core/ir/canonical.d.ts.map +1 -0
  201. package/dist/{kernel → core}/ir/canonical.js +30 -7
  202. package/dist/core/ir/canonical.js.map +1 -0
  203. package/dist/core/ir/domains.d.ts.map +1 -0
  204. package/dist/{kernel → core}/ir/domains.js +18 -6
  205. package/dist/core/ir/domains.js.map +1 -0
  206. package/dist/core/ir/types.d.ts.map +1 -0
  207. package/dist/{kernel/trace → core/ir}/types.js.map +1 -1
  208. package/dist/core/ir/validator.d.ts.map +1 -0
  209. package/dist/{kernel → core}/ir/validator.js +48 -19
  210. package/dist/core/ir/validator.js.map +1 -0
  211. package/dist/core/overlay/index.d.ts.map +1 -0
  212. package/dist/{kernel → core}/overlay/index.js +35 -14
  213. package/dist/core/overlay/index.js.map +1 -0
  214. package/dist/core/props/index.d.ts.map +1 -0
  215. package/dist/{kernel → core}/props/index.js +69 -21
  216. package/dist/core/props/index.js.map +1 -0
  217. package/dist/{kernel → core}/report/types.d.ts.map +1 -1
  218. package/dist/{kernel → core}/report/types.js.map +1 -1
  219. package/dist/core/trace/types.d.ts.map +1 -0
  220. package/dist/core/trace/types.js +2 -0
  221. package/dist/core/trace/types.js.map +1 -0
  222. package/dist/extract/engine/index.d.ts +4 -0
  223. package/dist/extract/engine/index.d.ts.map +1 -0
  224. package/dist/extract/engine/index.js +4 -0
  225. package/dist/extract/engine/index.js.map +1 -0
  226. package/dist/{extraction → extract/engine}/pipeline/index.d.ts +1 -2
  227. package/dist/extract/engine/pipeline/index.d.ts.map +1 -0
  228. package/dist/{extraction → extract/engine}/pipeline/index.js +55 -18
  229. package/dist/extract/engine/pipeline/index.js.map +1 -0
  230. package/dist/{extraction → extract/engine}/spi/index.d.ts +17 -1
  231. package/dist/extract/engine/spi/index.d.ts.map +1 -0
  232. package/dist/extract/engine/spi/index.js.map +1 -0
  233. package/dist/extract/engine/ts/ast.d.ts +23 -0
  234. package/dist/extract/engine/ts/ast.d.ts.map +1 -0
  235. package/dist/extract/engine/ts/ast.js +97 -0
  236. package/dist/extract/engine/ts/ast.js.map +1 -0
  237. package/dist/extract/engine/ts/components.d.ts +21 -0
  238. package/dist/extract/engine/ts/components.d.ts.map +1 -0
  239. package/dist/extract/engine/ts/components.js +287 -0
  240. package/dist/extract/engine/ts/components.js.map +1 -0
  241. package/dist/extract/engine/ts/context.d.ts +10 -0
  242. package/dist/extract/engine/ts/context.d.ts.map +1 -0
  243. package/dist/extract/engine/ts/context.js +273 -0
  244. package/dist/extract/engine/ts/context.js.map +1 -0
  245. package/dist/extract/engine/ts/domains.d.ts +8 -0
  246. package/dist/extract/engine/ts/domains.d.ts.map +1 -0
  247. package/dist/extract/engine/ts/domains.js +262 -0
  248. package/dist/extract/engine/ts/domains.js.map +1 -0
  249. package/dist/extract/engine/ts/expressions.d.ts +2 -0
  250. package/dist/extract/engine/ts/expressions.d.ts.map +1 -0
  251. package/dist/extract/engine/ts/expressions.js +2 -0
  252. package/dist/extract/engine/ts/expressions.js.map +1 -0
  253. package/dist/extract/engine/ts/handlers.d.ts +4 -0
  254. package/dist/extract/engine/ts/handlers.d.ts.map +1 -0
  255. package/dist/extract/engine/ts/handlers.js +3 -0
  256. package/dist/extract/engine/ts/handlers.js.map +1 -0
  257. package/dist/extract/engine/ts/ids.d.ts +7 -0
  258. package/dist/extract/engine/ts/ids.d.ts.map +1 -0
  259. package/dist/extract/engine/ts/ids.js +63 -0
  260. package/dist/extract/engine/ts/ids.js.map +1 -0
  261. package/dist/extract/engine/ts/input-transitions.d.ts +5 -0
  262. package/dist/extract/engine/ts/input-transitions.d.ts.map +1 -0
  263. package/dist/extract/engine/ts/input-transitions.js +132 -0
  264. package/dist/extract/engine/ts/input-transitions.js.map +1 -0
  265. package/dist/extract/engine/ts/jsx.d.ts +3 -0
  266. package/dist/extract/engine/ts/jsx.d.ts.map +1 -0
  267. package/dist/extract/engine/ts/jsx.js +3 -0
  268. package/dist/extract/engine/ts/jsx.js.map +1 -0
  269. package/dist/extract/engine/ts/react-source-transitions.d.ts +24 -0
  270. package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -0
  271. package/dist/extract/engine/ts/react-source-transitions.js +243 -0
  272. package/dist/extract/engine/ts/react-source-transitions.js.map +1 -0
  273. package/dist/extract/engine/ts/routes.d.ts +9 -0
  274. package/dist/extract/engine/ts/routes.d.ts.map +1 -0
  275. package/dist/extract/engine/ts/routes.js +94 -0
  276. package/dist/extract/engine/ts/routes.js.map +1 -0
  277. package/dist/extract/engine/ts/source.d.ts +3 -0
  278. package/dist/extract/engine/ts/source.d.ts.map +1 -0
  279. package/dist/extract/engine/ts/source.js +5 -0
  280. package/dist/extract/engine/ts/source.js.map +1 -0
  281. package/dist/extract/engine/ts/static-navigation.d.ts +5 -0
  282. package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -0
  283. package/dist/extract/engine/ts/static-navigation.js +425 -0
  284. package/dist/extract/engine/ts/static-navigation.js.map +1 -0
  285. package/dist/extract/engine/ts/transition/async.d.ts +44 -0
  286. package/dist/extract/engine/ts/transition/async.d.ts.map +1 -0
  287. package/dist/extract/engine/ts/transition/async.js +546 -0
  288. package/dist/extract/engine/ts/transition/async.js.map +1 -0
  289. package/dist/extract/engine/ts/transition/component-props.d.ts +26 -0
  290. package/dist/extract/engine/ts/transition/component-props.d.ts.map +1 -0
  291. package/dist/extract/engine/ts/transition/component-props.js +200 -0
  292. package/dist/extract/engine/ts/transition/component-props.js.map +1 -0
  293. package/dist/extract/engine/ts/transition/effects.d.ts +33 -0
  294. package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -0
  295. package/dist/extract/engine/ts/transition/effects.js +303 -0
  296. package/dist/extract/engine/ts/transition/effects.js.map +1 -0
  297. package/dist/extract/engine/ts/transition/expressions.d.ts +33 -0
  298. package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -0
  299. package/dist/extract/engine/ts/transition/expressions.js +353 -0
  300. package/dist/extract/engine/ts/transition/expressions.js.map +1 -0
  301. package/dist/extract/engine/ts/transition/guards.d.ts +21 -0
  302. package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -0
  303. package/dist/extract/engine/ts/transition/guards.js +249 -0
  304. package/dist/extract/engine/ts/transition/guards.js.map +1 -0
  305. package/dist/extract/engine/ts/transition/handlers.d.ts +53 -0
  306. package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -0
  307. package/dist/extract/engine/ts/transition/handlers.js +438 -0
  308. package/dist/extract/engine/ts/transition/handlers.js.map +1 -0
  309. package/dist/extract/engine/ts/transition/locals.d.ts +16 -0
  310. package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -0
  311. package/dist/extract/engine/ts/transition/locals.js +113 -0
  312. package/dist/extract/engine/ts/transition/locals.js.map +1 -0
  313. package/dist/extract/engine/ts/transition/navigation.d.ts +21 -0
  314. package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -0
  315. package/dist/extract/engine/ts/transition/navigation.js +129 -0
  316. package/dist/extract/engine/ts/transition/navigation.js.map +1 -0
  317. package/dist/extract/engine/ts/transition/plugin-calls.d.ts +10 -0
  318. package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -0
  319. package/dist/extract/engine/ts/transition/plugin-calls.js +114 -0
  320. package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -0
  321. package/dist/extract/engine/ts/transition/timers.d.ts +15 -0
  322. package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -0
  323. package/dist/extract/engine/ts/transition/timers.js +121 -0
  324. package/dist/extract/engine/ts/transition/timers.js.map +1 -0
  325. package/dist/extract/engine/ts/transition/ui.d.ts +12 -0
  326. package/dist/extract/engine/ts/transition/ui.d.ts.map +1 -0
  327. package/dist/extract/engine/ts/transition/ui.js +113 -0
  328. package/dist/extract/engine/ts/transition/ui.js.map +1 -0
  329. package/dist/extract/engine/ts/traversal.d.ts +3 -0
  330. package/dist/extract/engine/ts/traversal.d.ts.map +1 -0
  331. package/dist/extract/engine/ts/traversal.js +6 -0
  332. package/dist/extract/engine/ts/traversal.js.map +1 -0
  333. package/dist/extract/engine/ts/types.d.ts +46 -0
  334. package/dist/extract/engine/ts/types.d.ts.map +1 -0
  335. package/dist/extract/engine/ts/types.js +2 -0
  336. package/dist/extract/engine/ts/types.js.map +1 -0
  337. package/dist/extract/index.d.ts +2 -0
  338. package/dist/extract/index.d.ts.map +1 -0
  339. package/dist/extract/index.js +2 -0
  340. package/dist/extract/index.js.map +1 -0
  341. package/dist/extract/sources/jotai/discover.d.ts +3 -0
  342. package/dist/extract/sources/jotai/discover.d.ts.map +1 -0
  343. package/dist/extract/sources/jotai/discover.js +65 -0
  344. package/dist/extract/sources/jotai/discover.js.map +1 -0
  345. package/dist/extract/sources/jotai/domains.d.ts +6 -0
  346. package/dist/extract/sources/jotai/domains.d.ts.map +1 -0
  347. package/dist/extract/sources/jotai/domains.js +283 -0
  348. package/dist/extract/sources/jotai/domains.js.map +1 -0
  349. package/dist/{sources → extract/sources}/jotai/harness.d.ts +2 -2
  350. package/dist/extract/sources/jotai/harness.d.ts.map +1 -0
  351. package/dist/{sources → extract/sources}/jotai/harness.js +1 -1
  352. package/dist/extract/sources/jotai/harness.js.map +1 -0
  353. package/dist/extract/sources/jotai/index.d.ts +4 -0
  354. package/dist/extract/sources/jotai/index.d.ts.map +1 -0
  355. package/dist/extract/sources/jotai/index.js +19 -0
  356. package/dist/extract/sources/jotai/index.js.map +1 -0
  357. package/dist/extract/sources/jotai/writes.d.ts +8 -0
  358. package/dist/extract/sources/jotai/writes.d.ts.map +1 -0
  359. package/dist/extract/sources/jotai/writes.js +173 -0
  360. package/dist/extract/sources/jotai/writes.js.map +1 -0
  361. package/dist/{sources → extract/sources}/router/harness.d.ts +1 -1
  362. package/dist/extract/sources/router/harness.d.ts.map +1 -0
  363. package/dist/{sources → extract/sources}/router/harness.js +6 -2
  364. package/dist/extract/sources/router/harness.js.map +1 -0
  365. package/dist/extract/sources/router/index.d.ts +9 -0
  366. package/dist/extract/sources/router/index.d.ts.map +1 -0
  367. package/dist/extract/sources/router/index.js +22 -0
  368. package/dist/extract/sources/router/index.js.map +1 -0
  369. package/dist/extract/sources/router/navigation.d.ts +5 -0
  370. package/dist/extract/sources/router/navigation.d.ts.map +1 -0
  371. package/dist/extract/sources/router/navigation.js +16 -0
  372. package/dist/extract/sources/router/navigation.js.map +1 -0
  373. package/dist/extract/sources/router/routes.d.ts +4 -0
  374. package/dist/extract/sources/router/routes.d.ts.map +1 -0
  375. package/dist/extract/sources/router/routes.js +28 -0
  376. package/dist/extract/sources/router/routes.js.map +1 -0
  377. package/dist/extract/sources/swr/discover.d.ts +11 -0
  378. package/dist/extract/sources/swr/discover.d.ts.map +1 -0
  379. package/dist/extract/sources/swr/discover.js +175 -0
  380. package/dist/extract/sources/swr/discover.js.map +1 -0
  381. package/dist/extract/sources/swr/domains.d.ts +5 -0
  382. package/dist/extract/sources/swr/domains.d.ts.map +1 -0
  383. package/dist/extract/sources/swr/domains.js +99 -0
  384. package/dist/extract/sources/swr/domains.js.map +1 -0
  385. package/dist/{sources → extract/sources}/swr/harness.d.ts +2 -2
  386. package/dist/extract/sources/swr/harness.d.ts.map +1 -0
  387. package/dist/{sources → extract/sources}/swr/harness.js +3 -1
  388. package/dist/extract/sources/swr/harness.js.map +1 -0
  389. package/dist/extract/sources/swr/index.d.ts +6 -0
  390. package/dist/extract/sources/swr/index.d.ts.map +1 -0
  391. package/dist/extract/sources/swr/index.js +22 -0
  392. package/dist/extract/sources/swr/index.js.map +1 -0
  393. package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts} +4 -6
  394. package/dist/extract/sources/swr/template.d.ts.map +1 -0
  395. package/dist/extract/sources/swr/template.js +331 -0
  396. package/dist/extract/sources/swr/template.js.map +1 -0
  397. package/dist/extract/sources/swr/writes.d.ts +3 -0
  398. package/dist/extract/sources/swr/writes.d.ts.map +1 -0
  399. package/dist/extract/sources/swr/writes.js +54 -0
  400. package/dist/extract/sources/swr/writes.js.map +1 -0
  401. package/dist/{sources → extract/sources}/use-state/harness.d.ts +2 -2
  402. package/dist/extract/sources/use-state/harness.d.ts.map +1 -0
  403. package/dist/{sources → extract/sources}/use-state/harness.js +1 -1
  404. package/dist/extract/sources/use-state/harness.js.map +1 -0
  405. package/dist/extract/sources/use-state/index.d.ts +4 -0
  406. package/dist/extract/sources/use-state/index.d.ts.map +1 -0
  407. package/dist/{sources → extract/sources}/use-state/index.js +84 -31
  408. package/dist/extract/sources/use-state/index.js.map +1 -0
  409. package/dist/extract/sources/use-state/transitions.d.ts +4 -0
  410. package/dist/extract/sources/use-state/transitions.d.ts.map +1 -0
  411. package/dist/extract/sources/use-state/transitions.js +20 -0
  412. package/dist/extract/sources/use-state/transitions.js.map +1 -0
  413. package/dist/extract/sources/use-state/types.d.ts +67 -0
  414. package/dist/extract/sources/use-state/types.d.ts.map +1 -0
  415. package/dist/extract/sources/use-state/types.js +2 -0
  416. package/dist/extract/sources/use-state/types.js.map +1 -0
  417. package/package.json +85 -71
  418. package/dist/checker/encode/index.d.ts +0 -2
  419. package/dist/checker/encode/index.d.ts.map +0 -1
  420. package/dist/checker/encode/index.js +0 -2
  421. package/dist/checker/encode/index.js.map +0 -1
  422. package/dist/checker/index.d.ts +0 -6
  423. package/dist/checker/index.d.ts.map +0 -1
  424. package/dist/checker/index.js +0 -6
  425. package/dist/checker/index.js.map +0 -1
  426. package/dist/checker/monitors/index.d.ts +0 -2
  427. package/dist/checker/monitors/index.d.ts.map +0 -1
  428. package/dist/checker/monitors/index.js.map +0 -1
  429. package/dist/checker/search/eval.d.ts +0 -16
  430. package/dist/checker/search/eval.d.ts.map +0 -1
  431. package/dist/checker/search/eval.js +0 -308
  432. package/dist/checker/search/eval.js.map +0 -1
  433. package/dist/checker/search/index.d.ts.map +0 -1
  434. package/dist/checker/search/index.js +0 -556
  435. package/dist/checker/search/index.js.map +0 -1
  436. package/dist/checker/slicing/index.d.ts +0 -2
  437. package/dist/checker/slicing/index.d.ts.map +0 -1
  438. package/dist/checker/slicing/index.js +0 -2
  439. package/dist/checker/slicing/index.js.map +0 -1
  440. package/dist/checker/traces/index.d.ts +0 -2
  441. package/dist/checker/traces/index.d.ts.map +0 -1
  442. package/dist/checker/traces/index.js +0 -2
  443. package/dist/checker/traces/index.js.map +0 -1
  444. package/dist/extraction/index.d.ts +0 -34
  445. package/dist/extraction/index.d.ts.map +0 -1
  446. package/dist/extraction/index.js +0 -2982
  447. package/dist/extraction/index.js.map +0 -1
  448. package/dist/extraction/pipeline/index.d.ts.map +0 -1
  449. package/dist/extraction/pipeline/index.js.map +0 -1
  450. package/dist/extraction/spi/index.d.ts.map +0 -1
  451. package/dist/extraction/spi/index.js +0 -2
  452. package/dist/extraction/spi/index.js.map +0 -1
  453. package/dist/harness/index.d.ts.map +0 -1
  454. package/dist/harness/index.js.map +0 -1
  455. package/dist/kernel/artifacts/index.d.ts.map +0 -1
  456. package/dist/kernel/artifacts/index.js.map +0 -1
  457. package/dist/kernel/index.d.ts.map +0 -1
  458. package/dist/kernel/index.js.map +0 -1
  459. package/dist/kernel/ir/canonical.d.ts.map +0 -1
  460. package/dist/kernel/ir/canonical.js.map +0 -1
  461. package/dist/kernel/ir/domains.d.ts.map +0 -1
  462. package/dist/kernel/ir/domains.js.map +0 -1
  463. package/dist/kernel/ir/types.d.ts.map +0 -1
  464. package/dist/kernel/ir/validator.d.ts.map +0 -1
  465. package/dist/kernel/ir/validator.js.map +0 -1
  466. package/dist/kernel/overlay/index.d.ts.map +0 -1
  467. package/dist/kernel/overlay/index.js.map +0 -1
  468. package/dist/kernel/props/index.d.ts.map +0 -1
  469. package/dist/kernel/props/index.js.map +0 -1
  470. package/dist/kernel/trace/types.d.ts.map +0 -1
  471. package/dist/modality/check.d.ts +0 -3
  472. package/dist/modality/check.d.ts.map +0 -1
  473. package/dist/modality/check.js +0 -2
  474. package/dist/modality/check.js.map +0 -1
  475. package/dist/modality/ci.d.ts.map +0 -1
  476. package/dist/modality/ci.js.map +0 -1
  477. package/dist/modality/cli.js.map +0 -1
  478. package/dist/modality/codegen/model.d.ts +0 -3
  479. package/dist/modality/codegen/model.d.ts.map +0 -1
  480. package/dist/modality/codegen/model.js.map +0 -1
  481. package/dist/modality/codegen/replay-test.d.ts.map +0 -1
  482. package/dist/modality/codegen/replay-test.js.map +0 -1
  483. package/dist/modality/conform.d.ts +0 -3
  484. package/dist/modality/conform.d.ts.map +0 -1
  485. package/dist/modality/conform.js +0 -2
  486. package/dist/modality/conform.js.map +0 -1
  487. package/dist/modality/export-tla.d.ts +0 -3
  488. package/dist/modality/export-tla.d.ts.map +0 -1
  489. package/dist/modality/export-tla.js +0 -2
  490. package/dist/modality/export-tla.js.map +0 -1
  491. package/dist/modality/extract.d.ts.map +0 -1
  492. package/dist/modality/extract.js.map +0 -1
  493. package/dist/modality/features/check/command.d.ts.map +0 -1
  494. package/dist/modality/features/check/command.js.map +0 -1
  495. package/dist/modality/features/check/index.d.ts +0 -3
  496. package/dist/modality/features/check/index.d.ts.map +0 -1
  497. package/dist/modality/features/check/index.js +0 -2
  498. package/dist/modality/features/check/index.js.map +0 -1
  499. package/dist/modality/features/ci/command.d.ts.map +0 -1
  500. package/dist/modality/features/ci/command.js.map +0 -1
  501. package/dist/modality/features/ci/index.d.ts.map +0 -1
  502. package/dist/modality/features/ci/index.js.map +0 -1
  503. package/dist/modality/features/conform/command.d.ts.map +0 -1
  504. package/dist/modality/features/conform/command.js.map +0 -1
  505. package/dist/modality/features/conform/index.d.ts.map +0 -1
  506. package/dist/modality/features/conform/index.js.map +0 -1
  507. package/dist/modality/features/export/command.d.ts.map +0 -1
  508. package/dist/modality/features/export/command.js.map +0 -1
  509. package/dist/modality/features/export/index.d.ts.map +0 -1
  510. package/dist/modality/features/export/index.js +0 -2
  511. package/dist/modality/features/export/index.js.map +0 -1
  512. package/dist/modality/features/extract/command.d.ts.map +0 -1
  513. package/dist/modality/features/extract/command.js.map +0 -1
  514. package/dist/modality/features/extract/index.d.ts.map +0 -1
  515. package/dist/modality/features/extract/index.js.map +0 -1
  516. package/dist/modality/features/replay/command.d.ts.map +0 -1
  517. package/dist/modality/features/replay/command.js.map +0 -1
  518. package/dist/modality/features/replay/index.d.ts.map +0 -1
  519. package/dist/modality/features/replay/index.js.map +0 -1
  520. package/dist/modality/overlay.d.ts.map +0 -1
  521. package/dist/modality/overlay.js.map +0 -1
  522. package/dist/modality/registry/index.d.ts.map +0 -1
  523. package/dist/modality/registry/index.js.map +0 -1
  524. package/dist/modality/replay.d.ts +0 -3
  525. package/dist/modality/replay.d.ts.map +0 -1
  526. package/dist/modality/replay.js.map +0 -1
  527. package/dist/runtime/index.d.ts.map +0 -1
  528. package/dist/runtime/index.js.map +0 -1
  529. package/dist/sources/jotai/harness.d.ts.map +0 -1
  530. package/dist/sources/jotai/harness.js.map +0 -1
  531. package/dist/sources/jotai/index.d.ts +0 -11
  532. package/dist/sources/jotai/index.d.ts.map +0 -1
  533. package/dist/sources/jotai/index.js +0 -432
  534. package/dist/sources/jotai/index.js.map +0 -1
  535. package/dist/sources/router/harness.d.ts.map +0 -1
  536. package/dist/sources/router/harness.js.map +0 -1
  537. package/dist/sources/router/index.d.ts +0 -15
  538. package/dist/sources/router/index.d.ts.map +0 -1
  539. package/dist/sources/router/index.js +0 -41
  540. package/dist/sources/router/index.js.map +0 -1
  541. package/dist/sources/swr/harness.d.ts.map +0 -1
  542. package/dist/sources/swr/harness.js.map +0 -1
  543. package/dist/sources/swr/index.d.ts.map +0 -1
  544. package/dist/sources/swr/index.js +0 -528
  545. package/dist/sources/swr/index.js.map +0 -1
  546. package/dist/sources/use-state/harness.d.ts.map +0 -1
  547. package/dist/sources/use-state/harness.js.map +0 -1
  548. package/dist/sources/use-state/index.d.ts +0 -9
  549. package/dist/sources/use-state/index.d.ts.map +0 -1
  550. package/dist/sources/use-state/index.js.map +0 -1
  551. /package/dist/{kernel/ir → check}/types.js +0 -0
  552. /package/dist/{modality → cli}/ci.d.ts +0 -0
  553. /package/dist/{modality → cli}/ci.js +0 -0
  554. /package/dist/{modality → cli}/cli.d.ts +0 -0
  555. /package/dist/{modality → cli}/extract.js +0 -0
  556. /package/dist/{modality → cli}/features/ci/command.d.ts +0 -0
  557. /package/dist/{modality → cli}/features/ci/index.d.ts +0 -0
  558. /package/dist/{modality → cli}/features/ci/index.js +0 -0
  559. /package/dist/{modality → cli}/features/conform/index.d.ts +0 -0
  560. /package/dist/{modality → cli}/features/conform/index.js +0 -0
  561. /package/dist/{modality → cli}/features/extract/index.js +0 -0
  562. /package/dist/{modality → cli}/features/replay/index.d.ts +0 -0
  563. /package/dist/{modality → cli}/features/replay/index.js +0 -0
  564. /package/dist/{modality → cli}/replay.js +0 -0
  565. /package/dist/{kernel → core}/artifacts/index.d.ts +0 -0
  566. /package/dist/{kernel → core}/index.d.ts +0 -0
  567. /package/dist/{kernel → core}/index.js +0 -0
  568. /package/dist/{kernel → core}/ir/canonical.d.ts +0 -0
  569. /package/dist/{kernel → core}/ir/domains.d.ts +0 -0
  570. /package/dist/{kernel → core}/ir/types.d.ts +0 -0
  571. /package/dist/{kernel/report → core/ir}/types.js +0 -0
  572. /package/dist/{kernel → core}/ir/validator.d.ts +0 -0
  573. /package/dist/{kernel → core}/overlay/index.d.ts +0 -0
  574. /package/dist/{kernel → core}/props/index.d.ts +0 -0
  575. /package/dist/{kernel → core}/report/types.d.ts +0 -0
  576. /package/dist/{kernel/trace → core/report}/types.js +0 -0
  577. /package/dist/{kernel → core}/trace/types.d.ts +0 -0
  578. /package/dist/{checker/monitors → extract/engine/spi}/index.js +0 -0
@@ -0,0 +1,546 @@
1
+ import * as ts from "typescript";
2
+ import { callName, lineAndColumn, literalValue, propertyName, } from "../ast.js";
3
+ import { uniqueStrings } from "../ids.js";
4
+ import { templateRoutePattern } from "../routes.js";
5
+ import { effectWriteVars, summarizeAsyncSegment } from "./effects.js";
6
+ import { valueExpr } from "./expressions.js";
7
+ import { andGuard } from "./guards.js";
8
+ import { navigationCall } from "./navigation.js";
9
+ import { labelForEvent } from "./ui.js";
10
+ export function transitionsFromAsyncHandler(source, fileName, attr, expression, setters, component, effectApis, asyncOutcomes, locator, routePatterns, warnings) {
11
+ if (!ts.isBlock(expression.body))
12
+ return [];
13
+ const statements = expression.body.statements;
14
+ const tryStatement = statements.find(ts.isTryStatement);
15
+ const awaitStatement = tryStatement
16
+ ? tryStatement.tryBlock.statements.find((statement) => expressionStatementAwait(statement, effectApis))
17
+ : statements.find((statement) => expressionStatementAwait(statement, effectApis));
18
+ if (!awaitStatement)
19
+ return [];
20
+ const awaited = awaitedCall(awaitStatement, effectApis);
21
+ const op = awaited?.op;
22
+ if (!op)
23
+ return [];
24
+ const opArgs = awaited
25
+ ? effectCallArgs(awaited.call, setters, new Map())
26
+ : { args: {}, reads: [] };
27
+ const preStatements = tryStatement
28
+ ? statements.slice(0, statements.indexOf(tryStatement))
29
+ : statements.slice(0, statements.indexOf(awaitStatement));
30
+ const preSummaries = summarizeAsyncSegment(preStatements, setters);
31
+ const successStatements = tryStatement
32
+ ? tryStatement.tryBlock.statements.slice(tryStatement.tryBlock.statements.indexOf(awaitStatement) + 1)
33
+ : statements.slice(statements.indexOf(awaitStatement) + 1);
34
+ if (!tryStatement) {
35
+ const chained = transitionsFromSequentialAwait(source, fileName, attr, expression, awaitStatement, op, preSummaries, successStatements, setters, effectApis, component, locator, warnings);
36
+ if (chained.length > 0)
37
+ return chained;
38
+ }
39
+ if (containsAwaitedEffect(successStatements, effectApis) ||
40
+ (tryStatement?.catchClause &&
41
+ containsAwaitedEffect(tryStatement.catchClause.block.statements, effectApis))) {
42
+ warnings.push({
43
+ message: `Unextractable handler ${component}.${attr}`,
44
+ ...lineAndColumn(source, awaitStatement),
45
+ });
46
+ return [];
47
+ }
48
+ const successSummaries = summarizeAsyncSegment(successStatements, setters);
49
+ const catchSummaries = tryStatement?.catchClause
50
+ ? summarizeAsyncSegment(tryStatement.catchClause.block.statements, setters)
51
+ : [];
52
+ const preEffects = preSummaries.map((summary) => summary.effect);
53
+ const finallySummaries = tryStatement?.finallyBlock
54
+ ? summarizeAsyncSegment(tryStatement.finallyBlock.statements, setters)
55
+ : [];
56
+ const finallyEffects = finallySummaries.map((summary) => summary.effect);
57
+ const successEffects = [
58
+ ...successSummaries.map((summary) => summary.effect),
59
+ ...finallyEffects,
60
+ ];
61
+ const catchEffects = [
62
+ ...catchSummaries.map((summary) => summary.effect),
63
+ ...finallyEffects,
64
+ ];
65
+ const preReads = uniqueStrings([
66
+ ...preSummaries.flatMap((summary) => summary.reads),
67
+ ...opArgs.reads,
68
+ ]);
69
+ const successReads = uniqueStrings([
70
+ ...successSummaries.flatMap((summary) => summary.reads),
71
+ ...finallySummaries.flatMap((summary) => summary.reads),
72
+ ]);
73
+ const catchReads = uniqueStrings([
74
+ ...catchSummaries.flatMap((summary) => summary.reads),
75
+ ...finallySummaries.flatMap((summary) => summary.reads),
76
+ ]);
77
+ const successNavigate = firstNavigationInStatements(successStatements, routePatterns);
78
+ if (successEffects.length === 0 &&
79
+ catchEffects.length === 0 &&
80
+ !successNavigate)
81
+ return [];
82
+ const baseId = `${component}.${attr}.${op}`;
83
+ for (const read of uniqueStrings([...successReads, ...catchReads])) {
84
+ warnings.push({
85
+ message: `Stale-read risk ${baseId}:${read}`,
86
+ ...lineAndColumn(source, awaitStatement),
87
+ });
88
+ }
89
+ const sourceAnchor = [
90
+ { file: fileName, ...lineAndColumn(source, expression) },
91
+ ];
92
+ const enqueue = {
93
+ id: `${baseId}.start`,
94
+ cls: "user",
95
+ label: labelForEvent(attr, locator),
96
+ source: sourceAnchor,
97
+ guard: { kind: "lit", value: true },
98
+ effect: {
99
+ kind: "seq",
100
+ effects: [
101
+ ...preEffects,
102
+ {
103
+ kind: "enqueue",
104
+ op,
105
+ continuation: `${baseId}.cont`,
106
+ args: opArgs.args,
107
+ },
108
+ ],
109
+ },
110
+ reads: preReads,
111
+ writes: uniqueStrings([
112
+ ...preEffects.flatMap(effectWriteVars),
113
+ "sys:pending",
114
+ ]),
115
+ confidence: confidenceForEffects(preEffects),
116
+ };
117
+ const success = {
118
+ id: `${baseId}.success`,
119
+ cls: "env",
120
+ label: { kind: "resolve", op, outcome: "success" },
121
+ source: sourceAnchor,
122
+ guard: pendingIs(op),
123
+ effect: {
124
+ kind: "seq",
125
+ effects: [{ kind: "dequeue", index: 0 }, ...successEffects],
126
+ },
127
+ reads: uniqueStrings(["sys:pending", ...successReads]),
128
+ writes: [
129
+ ...new Set(["sys:pending", ...successEffects.flatMap(effectWriteVars)]),
130
+ ],
131
+ confidence: confidenceForEffects(successEffects),
132
+ };
133
+ const transitions = [
134
+ enqueue,
135
+ successNavigate
136
+ ? appendEffect(success, navigationEffect(successNavigate))
137
+ : success,
138
+ ];
139
+ if (catchEffects.length > 0 || asyncOutcomes[op]?.error !== undefined) {
140
+ const errorTransition = {
141
+ id: `${baseId}.error`,
142
+ cls: "env",
143
+ label: { kind: "resolve", op, outcome: "error" },
144
+ source: sourceAnchor,
145
+ guard: pendingIs(op),
146
+ effect: {
147
+ kind: "seq",
148
+ effects: [{ kind: "dequeue", index: 0 }, ...catchEffects],
149
+ },
150
+ reads: uniqueStrings(["sys:pending", ...catchReads]),
151
+ writes: [
152
+ ...new Set(["sys:pending", ...catchEffects.flatMap(effectWriteVars)]),
153
+ ],
154
+ confidence: confidenceForEffects(catchEffects),
155
+ };
156
+ transitions.push(errorTransition);
157
+ }
158
+ else {
159
+ warnings.push({
160
+ message: `Unhandled rejection ${baseId}`,
161
+ ...lineAndColumn(source, awaitStatement),
162
+ });
163
+ }
164
+ return transitions.map((transition) => ({
165
+ ...transition,
166
+ writes: [...new Set(transition.writes)],
167
+ }));
168
+ }
169
+ export function transitionsFromSequentialAwait(source, fileName, attr, expression, firstAwait, firstOp, preSummaries, successStatements, setters, effectApis, component, locator, warnings) {
170
+ const secondIndex = successStatements.findIndex((statement) => expressionStatementAwait(statement, effectApis));
171
+ if (secondIndex < 0)
172
+ return [];
173
+ const secondAwait = successStatements[secondIndex];
174
+ const secondOp = awaitedOp(secondAwait, effectApis);
175
+ const promiseAllOps = secondOp
176
+ ? undefined
177
+ : promiseAllAwaitOps(secondAwait, effectApis);
178
+ if (!secondOp && !promiseAllOps)
179
+ return [];
180
+ const betweenStatements = successStatements.slice(0, secondIndex);
181
+ const tailStatements = successStatements.slice(secondIndex + 1);
182
+ if (containsAwaitedEffect(tailStatements, effectApis))
183
+ return [];
184
+ const betweenSummaries = summarizeAsyncSegment(betweenStatements, setters);
185
+ const tailSummaries = summarizeAsyncSegment(tailStatements, setters);
186
+ const preEffects = preSummaries.map((summary) => summary.effect);
187
+ const betweenEffects = betweenSummaries.map((summary) => summary.effect);
188
+ const tailEffects = tailSummaries.map((summary) => summary.effect);
189
+ if (tailEffects.length === 0)
190
+ return [];
191
+ const preReads = uniqueStrings(preSummaries.flatMap((summary) => summary.reads));
192
+ const betweenReads = uniqueStrings(betweenSummaries.flatMap((summary) => summary.reads));
193
+ const tailReads = uniqueStrings(tailSummaries.flatMap((summary) => summary.reads));
194
+ const firstBaseId = `${component}.${attr}.${firstOp}`;
195
+ const secondBaseId = `${component}.${attr}.${secondOp ?? "Promise_all"}`;
196
+ for (const read of uniqueStrings([...betweenReads, ...tailReads])) {
197
+ warnings.push({
198
+ message: `Stale-read risk ${firstBaseId}:${read}`,
199
+ ...lineAndColumn(source, firstAwait),
200
+ });
201
+ }
202
+ warnings.push({
203
+ message: `Unhandled rejection ${firstBaseId}`,
204
+ ...lineAndColumn(source, firstAwait),
205
+ });
206
+ for (const op of promiseAllOps ?? [secondOp]) {
207
+ warnings.push({
208
+ message: `Unhandled rejection ${component}.${attr}.${op}`,
209
+ ...lineAndColumn(source, secondAwait),
210
+ });
211
+ }
212
+ const sourceAnchor = [
213
+ { file: fileName, ...lineAndColumn(source, expression) },
214
+ ];
215
+ const secondEnqueueEffects = promiseAllOps
216
+ ? promiseAllOps.map((op) => ({
217
+ kind: "enqueue",
218
+ op,
219
+ continuation: `${secondBaseId}.cont`,
220
+ args: {},
221
+ }))
222
+ : [
223
+ {
224
+ kind: "enqueue",
225
+ op: secondOp,
226
+ continuation: `${secondBaseId}.cont`,
227
+ args: {},
228
+ },
229
+ ];
230
+ const secondSuccess = promiseAllOps
231
+ ? {
232
+ id: `${secondBaseId}.success`,
233
+ cls: "env",
234
+ label: { kind: "internal", text: `${secondBaseId}.join` },
235
+ source: sourceAnchor,
236
+ guard: promiseAllGuard(promiseAllOps),
237
+ effect: {
238
+ kind: "seq",
239
+ effects: [
240
+ ...promiseAllOps
241
+ .map((_, index) => ({ kind: "dequeue", index }))
242
+ .reverse(),
243
+ ...tailEffects,
244
+ ],
245
+ },
246
+ reads: uniqueStrings(["sys:pending", ...tailReads]),
247
+ writes: uniqueStrings([
248
+ "sys:pending",
249
+ ...tailEffects.flatMap(effectWriteVars),
250
+ ]),
251
+ confidence: confidenceForEffects(tailEffects),
252
+ }
253
+ : {
254
+ id: `${secondBaseId}.success`,
255
+ cls: "env",
256
+ label: { kind: "resolve", op: secondOp, outcome: "success" },
257
+ source: sourceAnchor,
258
+ guard: pendingIs(secondOp),
259
+ effect: {
260
+ kind: "seq",
261
+ effects: [{ kind: "dequeue", index: 0 }, ...tailEffects],
262
+ },
263
+ reads: uniqueStrings(["sys:pending", ...tailReads]),
264
+ writes: uniqueStrings([
265
+ "sys:pending",
266
+ ...tailEffects.flatMap(effectWriteVars),
267
+ ]),
268
+ confidence: confidenceForEffects(tailEffects),
269
+ };
270
+ const transitions = [
271
+ {
272
+ id: `${firstBaseId}.start`,
273
+ cls: "user",
274
+ label: labelForEvent(attr, locator),
275
+ source: sourceAnchor,
276
+ guard: { kind: "lit", value: true },
277
+ effect: {
278
+ kind: "seq",
279
+ effects: [
280
+ ...preEffects,
281
+ {
282
+ kind: "enqueue",
283
+ op: firstOp,
284
+ continuation: `${firstBaseId}.cont`,
285
+ args: {},
286
+ },
287
+ ],
288
+ },
289
+ reads: preReads,
290
+ writes: uniqueStrings([
291
+ ...preEffects.flatMap(effectWriteVars),
292
+ "sys:pending",
293
+ ]),
294
+ confidence: confidenceForEffects(preEffects),
295
+ },
296
+ {
297
+ id: `${firstBaseId}.success`,
298
+ cls: "env",
299
+ label: { kind: "resolve", op: firstOp, outcome: "success" },
300
+ source: sourceAnchor,
301
+ guard: pendingIs(firstOp),
302
+ effect: {
303
+ kind: "seq",
304
+ effects: [
305
+ { kind: "dequeue", index: 0 },
306
+ ...betweenEffects,
307
+ ...secondEnqueueEffects,
308
+ ],
309
+ },
310
+ reads: uniqueStrings(["sys:pending", ...betweenReads]),
311
+ writes: uniqueStrings([
312
+ "sys:pending",
313
+ ...betweenEffects.flatMap(effectWriteVars),
314
+ ]),
315
+ confidence: confidenceForEffects(betweenEffects),
316
+ },
317
+ secondSuccess,
318
+ ];
319
+ return transitions.map((transition) => ({
320
+ ...transition,
321
+ writes: uniqueStrings(transition.writes),
322
+ }));
323
+ }
324
+ export function promiseAllGuard(ops) {
325
+ return ops
326
+ .map((op, index) => pendingIsAt(index, op))
327
+ .reduce(andGuard);
328
+ }
329
+ export function confidenceForEffects(effects) {
330
+ return effects.some((effect) => effect.kind === "havoc")
331
+ ? "over-approx"
332
+ : "exact";
333
+ }
334
+ export function setterAssignEffect(statement, setters) {
335
+ if (!ts.isExpressionStatement(statement) ||
336
+ !ts.isCallExpression(statement.expression))
337
+ return undefined;
338
+ const call = statement.expression;
339
+ if (!ts.isIdentifier(call.expression) || call.arguments.length !== 1)
340
+ return undefined;
341
+ const setter = setters.get(call.expression.text);
342
+ const value = literalValue(call.arguments[0]);
343
+ if (!setter || value === undefined)
344
+ return undefined;
345
+ return { kind: "assign", var: setter.varId, expr: { kind: "lit", value } };
346
+ }
347
+ export function expressionStatementAwait(statement, effectApis) {
348
+ return Boolean(awaitedOp(statement, effectApis) ??
349
+ promiseAllAwaitOps(statement, effectApis));
350
+ }
351
+ export function containsAwaitedEffect(statements, effectApis) {
352
+ return statements.some((statement) => {
353
+ let found = false;
354
+ const visit = (node, insideAwait = false) => {
355
+ if (found)
356
+ return;
357
+ if (ts.isAwaitExpression(node)) {
358
+ visit(node.expression, true);
359
+ return;
360
+ }
361
+ if (insideAwait && ts.isCallExpression(node)) {
362
+ const name = callName(node.expression);
363
+ if (name && effectApis.has(effectOpForCall(name, node))) {
364
+ found = true;
365
+ return;
366
+ }
367
+ }
368
+ ts.forEachChild(node, (child) => visit(child, insideAwait));
369
+ };
370
+ visit(statement);
371
+ return found;
372
+ });
373
+ }
374
+ export function awaitedOp(statement, effectApis) {
375
+ return awaitedCall(statement, effectApis)?.op;
376
+ }
377
+ export function awaitedCall(statement, effectApis) {
378
+ const awaitExpression = awaitedCallExpressionInStatement(statement);
379
+ if (!awaitExpression)
380
+ return undefined;
381
+ const name = callName(awaitExpression.expression);
382
+ if (!name)
383
+ return undefined;
384
+ const op = effectOpForCall(name, awaitExpression);
385
+ if (!effectApis.has(op))
386
+ return undefined;
387
+ return { op, call: awaitExpression };
388
+ }
389
+ export function awaitedCallExpressionInStatement(statement) {
390
+ if (ts.isExpressionStatement(statement) &&
391
+ ts.isAwaitExpression(statement.expression) &&
392
+ ts.isCallExpression(statement.expression.expression)) {
393
+ return statement.expression.expression;
394
+ }
395
+ if (ts.isVariableStatement(statement)) {
396
+ for (const declaration of statement.declarationList.declarations) {
397
+ if (declaration.initializer &&
398
+ ts.isAwaitExpression(declaration.initializer) &&
399
+ ts.isCallExpression(declaration.initializer.expression) &&
400
+ callName(declaration.initializer.expression.expression) === "fetch") {
401
+ return declaration.initializer.expression;
402
+ }
403
+ }
404
+ }
405
+ return undefined;
406
+ }
407
+ export function effectOpForCall(name, call) {
408
+ if (name !== "fetch")
409
+ return name;
410
+ const url = fetchUrl(call.arguments[0]);
411
+ const method = fetchMethod(call.arguments[1]) ?? "GET";
412
+ return url ? `${method} ${url}` : "fetch";
413
+ }
414
+ export function fetchUrl(argument) {
415
+ if (!argument)
416
+ return undefined;
417
+ if (ts.isStringLiteral(argument) ||
418
+ ts.isNoSubstitutionTemplateLiteral(argument))
419
+ return normalizeFetchUrl(argument.text);
420
+ if (ts.isTemplateExpression(argument)) {
421
+ const pattern = templateRoutePattern(argument);
422
+ return pattern
423
+ ? normalizeFetchUrl(pattern.replace(/\/:param(?=\/|$)/g, "/:id"))
424
+ : undefined;
425
+ }
426
+ return undefined;
427
+ }
428
+ export function normalizeFetchUrl(value) {
429
+ return value.startsWith("/") ? value : `/${value}`;
430
+ }
431
+ export function fetchMethod(argument) {
432
+ if (!argument || !ts.isObjectLiteralExpression(argument))
433
+ return undefined;
434
+ const method = argument.properties.find((property) => ts.isPropertyAssignment(property) &&
435
+ propertyName(property.name) === "method");
436
+ const value = method ? literalValue(method.initializer) : undefined;
437
+ return typeof value === "string" ? value.toUpperCase() : undefined;
438
+ }
439
+ export function firstNavigationInStatements(statements, routePatterns) {
440
+ for (const statement of statements) {
441
+ let found;
442
+ const visit = (node) => {
443
+ if (found)
444
+ return;
445
+ if (ts.isCallExpression(node))
446
+ found = navigationCall(node, undefined, routePatterns);
447
+ ts.forEachChild(node, visit);
448
+ };
449
+ visit(statement);
450
+ if (found)
451
+ return found;
452
+ }
453
+ return undefined;
454
+ }
455
+ export function navigationEffect(navigation) {
456
+ return {
457
+ kind: "navigate",
458
+ mode: navigation.mode,
459
+ ...(navigation.to ? { to: { kind: "lit", value: navigation.to } } : {}),
460
+ };
461
+ }
462
+ export function appendEffect(transition, effect) {
463
+ const current = transition.effect.kind === "seq"
464
+ ? transition.effect.effects
465
+ : [transition.effect];
466
+ const writes = uniqueStrings([
467
+ ...transition.writes,
468
+ ...effectWriteVars(effect),
469
+ ]);
470
+ const reads = uniqueStrings([
471
+ ...transition.reads,
472
+ ...(effect.kind === "navigate" ? ["sys:route", "sys:history"] : []),
473
+ ]);
474
+ return {
475
+ ...transition,
476
+ effect: { kind: "seq", effects: [...current, effect] },
477
+ reads,
478
+ writes,
479
+ };
480
+ }
481
+ export function effectCallArgs(call, setters, locals) {
482
+ const first = call.arguments[0];
483
+ if (!first)
484
+ return { args: {}, reads: [] };
485
+ if (ts.isObjectLiteralExpression(first)) {
486
+ const args = {};
487
+ const reads = new Set();
488
+ for (const property of first.properties) {
489
+ if (!ts.isPropertyAssignment(property) &&
490
+ !ts.isShorthandPropertyAssignment(property))
491
+ return { args: {}, reads: [] };
492
+ const name = propertyName(property.name);
493
+ if (!name)
494
+ return { args: {}, reads: [] };
495
+ const value = ts.isShorthandPropertyAssignment(property)
496
+ ? valueExpr(property.name, setters, locals)
497
+ : valueExpr(property.initializer, setters, locals);
498
+ if (!value)
499
+ return { args: {}, reads: [] };
500
+ args[name] = value.expr;
501
+ for (const read of value.reads)
502
+ reads.add(read);
503
+ }
504
+ return { args, reads: [...reads] };
505
+ }
506
+ const value = valueExpr(first, setters, locals);
507
+ return value
508
+ ? { args: { value: value.expr }, reads: value.reads }
509
+ : { args: {}, reads: [] };
510
+ }
511
+ export function promiseAllAwaitOps(statement, effectApis) {
512
+ if (!ts.isExpressionStatement(statement))
513
+ return undefined;
514
+ const expression = statement.expression;
515
+ if (!ts.isAwaitExpression(expression) ||
516
+ !ts.isCallExpression(expression.expression))
517
+ return undefined;
518
+ const call = expression.expression;
519
+ if (callName(call.expression) !== "Promise.all" ||
520
+ call.arguments.length !== 1 ||
521
+ !ts.isArrayLiteralExpression(call.arguments[0]))
522
+ return undefined;
523
+ const ops = [];
524
+ for (const element of call.arguments[0].elements) {
525
+ if (!ts.isCallExpression(element))
526
+ return undefined;
527
+ const name = callName(element.expression);
528
+ if (!name || !effectApis.has(name))
529
+ return undefined;
530
+ ops.push(name);
531
+ }
532
+ return ops.length > 0 ? ops : undefined;
533
+ }
534
+ export function pendingIs(op) {
535
+ return pendingIsAt(0, op);
536
+ }
537
+ export function pendingIsAt(index, op) {
538
+ return {
539
+ kind: "eq",
540
+ args: [
541
+ { kind: "read", var: "sys:pending", path: [String(index), "opId"] },
542
+ { kind: "lit", value: op },
543
+ ],
544
+ };
545
+ }
546
+ //# sourceMappingURL=async.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"async.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/async.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,QAAQ,EACR,aAAa,EACb,YAAY,EACZ,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAepD,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,MAAM,UAAU,2BAA2B,CACzC,MAAqB,EACrB,QAAgB,EAChB,IAAY,EACZ,UAA8B,EAC9B,OAAmC,EACnC,SAAiB,EACjB,UAAuB,EACvB,aAAgE,EAChE,OAA4B,EAC5B,aAAgC,EAChC,QAA6B;IAE7B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC;IAC9C,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,YAAY;QACjC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAClD,wBAAwB,CAAC,SAAS,EAAE,UAAU,CAAC,CAChD;QACH,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5B,wBAAwB,CAAC,SAAS,EAAE,UAAU,CAAC,CAChD,CAAC;IACN,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,OAAO,EAAE,EAAE,CAAC;IACvB,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACnB,MAAM,MAAM,GAAG,OAAO;QACpB,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC;QAClD,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5B,MAAM,aAAa,GAAG,YAAY;QAChC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACvD,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,qBAAqB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,iBAAiB,GAAG,YAAY;QACpC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CACpC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAC7D;QACH,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,OAAO,GAAG,8BAA8B,CAC5C,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,UAAU,EACV,cAAc,EACd,EAAE,EACF,YAAY,EACZ,iBAAiB,EACjB,OAAO,EACP,UAAU,EACV,SAAS,EACT,OAAO,EACP,QAAQ,CACT,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,OAAO,CAAC;IACzC,CAAC;IACD,IACE,qBAAqB,CAAC,iBAAiB,EAAE,UAAU,CAAC;QACpD,CAAC,YAAY,EAAE,WAAW;YACxB,qBAAqB,CACnB,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,EACzC,UAAU,CACX,CAAC,EACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,yBAAyB,SAAS,IAAI,IAAI,EAAE;YACrD,GAAG,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC;SACzC,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,cAAc,GAAG,YAAY,EAAE,WAAW;QAC9C,CAAC,CAAC,qBAAqB,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3E,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,gBAAgB,GAAG,YAAY,EAAE,YAAY;QACjD,CAAC,CAAC,qBAAqB,CAAC,YAAY,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC;QACtE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,cAAc,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG;QACrB,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;QACpD,GAAG,cAAc;KAClB,CAAC;IACF,MAAM,YAAY,GAAG;QACnB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;QAClD,GAAG,cAAc;KAClB,CAAC;IACF,MAAM,QAAQ,GAAG,aAAa,CAAC;QAC7B,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;QACnD,GAAG,MAAM,CAAC,KAAK;KAChB,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,aAAa,CAAC;QACjC,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;QACvD,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;KACxD,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,aAAa,CAAC;QAC/B,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;QACrD,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;KACxD,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,2BAA2B,CACjD,iBAAiB,EACjB,aAAa,CACd,CAAC;IACF,IACE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC3B,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,eAAe;QAEhB,OAAO,EAAE,CAAC;IACZ,MAAM,MAAM,GAAG,GAAG,SAAS,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,mBAAmB,MAAM,IAAI,IAAI,EAAE;YAC5C,GAAG,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG;QACnB,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE;KACzD,CAAC;IACF,MAAM,OAAO,GAAe;QAC1B,EAAE,EAAE,GAAG,MAAM,QAAQ;QACrB,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,MAAM,EAAE;YACN,IAAI,EAAE,KAAK;YACX,OAAO,EAAE;gBACP,GAAG,UAAU;gBACb;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE;oBACF,YAAY,EAAE,GAAG,MAAM,OAAO;oBAC9B,IAAI,EAAE,MAAM,CAAC,IAAI;iBAClB;aACF;SACF;QACD,KAAK,EAAE,QAAQ;QACf,MAAM,EAAE,aAAa,CAAC;YACpB,GAAG,UAAU,CAAC,OAAO,CAAC,eAAe,CAAC;YACtC,aAAa;SACd,CAAC;QACF,UAAU,EAAE,oBAAoB,CAAC,UAAU,CAAC;KAC7C,CAAC;IACF,MAAM,OAAO,GAAe;QAC1B,EAAE,EAAE,GAAG,MAAM,UAAU;QACvB,GAAG,EAAE,KAAK;QACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE;QAClD,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;QACpB,MAAM,EAAE;YACN,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,cAAc,CAAC;SAC5D;QACD,KAAK,EAAE,aAAa,CAAC,CAAC,aAAa,EAAE,GAAG,YAAY,CAAC,CAAC;QACtD,MAAM,EAAE;YACN,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;SACxE;QACD,UAAU,EAAE,oBAAoB,CAAC,cAAc,CAAC;KACjD,CAAC;IACF,MAAM,WAAW,GAAG;QAClB,OAAO;QACP,eAAe;YACb,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,gBAAgB,CAAC,eAAe,CAAC,CAAC;YAC1D,CAAC,CAAC,OAAO;KACZ,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,EAAE,CAAC,EAAE,KAAK,KAAK,SAAS,EAAE,CAAC;QACtE,MAAM,eAAe,GAAe;YAClC,EAAE,EAAE,GAAG,MAAM,QAAQ;YACrB,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;YAChD,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YACpB,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC;aAC1D;YACD,KAAK,EAAE,aAAa,CAAC,CAAC,aAAa,EAAE,GAAG,UAAU,CAAC,CAAC;YACpD,MAAM,EAAE;gBACN,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;aACtE;YACD,UAAU,EAAE,oBAAoB,CAAC,YAAY,CAAC;SAC/C,CAAC;QACF,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,uBAAuB,MAAM,EAAE;YACxC,GAAG,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACtC,GAAG,UAAU;QACb,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,MAAqB,EACrB,QAAgB,EAChB,IAAY,EACZ,UAA8B,EAC9B,UAAwB,EACxB,OAAe,EACf,YAAsC,EACtC,iBAA0C,EAC1C,OAAmC,EACnC,UAAuB,EACvB,SAAiB,EACjB,OAA4B,EAC5B,QAA6B;IAE7B,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5D,wBAAwB,CAAC,SAAS,EAAE,UAAU,CAAC,CAChD,CAAC;IACF,IAAI,WAAW,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,iBAAiB,CAAC,WAAW,CAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,QAAQ;QAC5B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,IAAI,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,iBAAiB,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;IAChE,IAAI,qBAAqB,CAAC,cAAc,EAAE,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACjE,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,aAAa,GAAG,qBAAqB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,aAAa,CAC5B,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CACjD,CAAC;IACF,MAAM,YAAY,GAAG,aAAa,CAChC,gBAAgB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CACrD,CAAC;IACF,MAAM,SAAS,GAAG,aAAa,CAC7B,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAClD,CAAC;IACF,MAAM,WAAW,GAAG,GAAG,SAAS,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;IACtD,MAAM,YAAY,GAAG,GAAG,SAAS,IAAI,IAAI,IAAI,QAAQ,IAAI,aAAa,EAAE,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC;QAClE,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,mBAAmB,WAAW,IAAI,IAAI,EAAE;YACjD,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC;SACrC,CAAC,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC;QACZ,OAAO,EAAE,uBAAuB,WAAW,EAAE;QAC7C,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC;KACrC,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,aAAa,IAAI,CAAC,QAAS,CAAC,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,uBAAuB,SAAS,IAAI,IAAI,IAAI,EAAE,EAAE;YACzD,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC;SACtC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG;QACnB,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE;KACzD,CAAC;IACF,MAAM,oBAAoB,GAAe,aAAa;QACpD,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,EAAE;YACF,YAAY,EAAE,GAAG,YAAY,OAAO;YACpC,IAAI,EAAE,EAAE;SACT,CAAC,CAAC;QACL,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,QAAS;gBACb,YAAY,EAAE,GAAG,YAAY,OAAO;gBACpC,IAAI,EAAE,EAAE;aACT;SACF,CAAC;IACN,MAAM,aAAa,GAAe,aAAa;QAC7C,CAAC,CAAC;YACE,EAAE,EAAE,GAAG,YAAY,UAAU;YAC7B,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,YAAY,OAAO,EAAE;YACzD,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE,eAAe,CAAC,aAAa,CAAC;YACrC,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE;oBACP,GAAG,aAAa;yBACb,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,CAAC,CAAC;yBACxD,OAAO,EAAE;oBACZ,GAAG,WAAW;iBACf;aACF;YACD,KAAK,EAAE,aAAa,CAAC,CAAC,aAAa,EAAE,GAAG,SAAS,CAAC,CAAC;YACnD,MAAM,EAAE,aAAa,CAAC;gBACpB,aAAa;gBACb,GAAG,WAAW,CAAC,OAAO,CAAC,eAAe,CAAC;aACxC,CAAC;YACF,UAAU,EAAE,oBAAoB,CAAC,WAAW,CAAC;SAC9C;QACH,CAAC,CAAC;YACE,EAAE,EAAE,GAAG,YAAY,UAAU;YAC7B,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAS,EAAE,OAAO,EAAE,SAAS,EAAE;YAC7D,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE,SAAS,CAAC,QAAS,CAAC;YAC3B,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,WAAW,CAAC;aACzD;YACD,KAAK,EAAE,aAAa,CAAC,CAAC,aAAa,EAAE,GAAG,SAAS,CAAC,CAAC;YACnD,MAAM,EAAE,aAAa,CAAC;gBACpB,aAAa;gBACb,GAAG,WAAW,CAAC,OAAO,CAAC,eAAe,CAAC;aACxC,CAAC;YACF,UAAU,EAAE,oBAAoB,CAAC,WAAW,CAAC;SAC9C,CAAC;IACN,MAAM,WAAW,GAAiB;QAChC;YACE,EAAE,EAAE,GAAG,WAAW,QAAQ;YAC1B,GAAG,EAAE,MAAM;YACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;YACnC,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;YACnC,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE;oBACP,GAAG,UAAU;oBACb;wBACE,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,OAAO;wBACX,YAAY,EAAE,GAAG,WAAW,OAAO;wBACnC,IAAI,EAAE,EAAE;qBACT;iBACF;aACF;YACD,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,aAAa,CAAC;gBACpB,GAAG,UAAU,CAAC,OAAO,CAAC,eAAe,CAAC;gBACtC,aAAa;aACd,CAAC;YACF,UAAU,EAAE,oBAAoB,CAAC,UAAU,CAAC;SAC7C;QACD;YACE,EAAE,EAAE,GAAG,WAAW,UAAU;YAC5B,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE;YAC3D,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;YACzB,MAAM,EAAE;gBACN,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;oBAC7B,GAAG,cAAc;oBACjB,GAAG,oBAAoB;iBACxB;aACF;YACD,KAAK,EAAE,aAAa,CAAC,CAAC,aAAa,EAAE,GAAG,YAAY,CAAC,CAAC;YACtD,MAAM,EAAE,aAAa,CAAC;gBACpB,aAAa;gBACb,GAAG,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC;aAC3C,CAAC;YACF,UAAU,EAAE,oBAAoB,CAAC,cAAc,CAAC;SACjD;QACD,aAAa;KACd,CAAC;IACF,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACtC,GAAG,UAAU;QACb,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;KACzC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAsB;IACpD,OAAO,GAAG;SACP,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAU,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;SAClD,MAAM,CAAC,QAAQ,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA4B;IAE5B,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;QACtD,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,OAAO,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAuC;IAEvC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAuB,EACvB,UAAuB;IAEvB,OAAO,OAAO,CACZ,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC;QAC9B,kBAAkB,CAAC,SAAS,EAAE,UAAU,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAmC,EACnC,UAAuB;IAEvB,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QACnC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,WAAW,GAAG,KAAK,EAAQ,EAAE;YACzD,IAAI,KAAK;gBAAE,OAAO;YAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,IAAI,WAAW,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACvC,IAAI,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;oBACxD,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;QAC9D,CAAC,CAAC;QACF,KAAK,CAAC,SAAS,CAAC,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,SAAuB,EACvB,UAAuB;IAEvB,OAAO,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,SAAuB,EACvB,UAAuB;IAEvB,MAAM,eAAe,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;IACpE,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,SAAuB;IAEvB,IACE,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACnC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC;QAC1C,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,EACpD,CAAC;QACD,OAAO,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC;IACzC,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACjE,IACE,WAAW,CAAC,WAAW;gBACvB,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,WAAW,CAAC;gBAC7C,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC;gBACvD,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,OAAO,EACnE,CAAC;gBACD,OAAO,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,IAAuB;IACnE,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;IACvD,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,QAAmC;IAEnC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,IACE,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC5B,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC;QAE5C,OAAO,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC/C,OAAO,OAAO;YACZ,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;YACjE,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,QAAmC;IAEnC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3E,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CACrC,CAAC,QAAQ,EAAqC,EAAE,CAC9C,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QACjC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,QAAQ,CAC3C,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,UAAmC,EACnC,aAAgC;IAEhC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,KAAqE,CAAC;QAC1E,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,KAAK;gBAAE,OAAO;YAClB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBAC3B,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;YACzD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,SAAS,CAAC,CAAC;QACjB,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAGhC;IACC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,UAAsB,EACtB,MAAgB;IAEhB,MAAM,OAAO,GACX,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;QAC9B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO;QAC3B,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,aAAa,CAAC;QAC3B,GAAG,UAAU,CAAC,MAAM;QACpB,GAAG,eAAe,CAAC,MAAM,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,aAAa,CAAC;QAC1B,GAAG,UAAU,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC,CAAC;IACH,OAAO;QACL,GAAG,UAAU;QACb,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,EAAE;QACtD,KAAK;QACL,MAAM;KACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,OAAmC,EACnC,MAA8B;IAE9B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3C,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAA2B,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACxC,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBAClC,CAAC,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;gBAE3C,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;gBACtD,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;gBAC3C,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,OAAO,KAAK;QACV,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;QACrD,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,UAAuB;IAEvB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3D,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;IACxC,IACE,CAAC,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC;QACjC,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,CAAC;QAE3C,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC;IACnC,IACE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,aAAa;QAC3C,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAE/C,OAAO,SAAS,CAAC;IACnB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAU;IAClC,OAAO,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,EAAU;IACnD,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,EAAE;YACnE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;SAC3B;KACF,CAAC;AACJ,CAAC"}
@@ -0,0 +1,26 @@
1
+ import * as ts from "typescript";
2
+ import type { Locator } from "modality-ts/core";
3
+ import type { ComponentDecl, ExtractableHandler, ExtractionWarning, SetterBinding } from "../types.js";
4
+ import { type ParsedGuard } from "./guards.js";
5
+ export declare function componentPropTrigger(source: ts.SourceFile, component: ComponentDecl, propName: string, setters: Map<string, SetterBinding>, warnings: ExtractionWarning[]): {
6
+ attr: string;
7
+ locator?: Locator;
8
+ guard?: ParsedGuard;
9
+ } | undefined;
10
+ export declare function transparentComponentPropTrigger(component: ComponentDecl, propName: string): {
11
+ attr: string;
12
+ locator?: Locator;
13
+ guard?: ParsedGuard;
14
+ } | undefined;
15
+ export declare function componentSpreadsPropsToElement(component: ComponentDecl): boolean;
16
+ export declare function forwardsComponentProp(node: ts.JsxAttribute, handlers: Map<string, ExtractableHandler>, component: ComponentDecl | undefined): boolean;
17
+ export declare function componentLocalHandlers(component: ComponentDecl): Map<string, ExtractableHandler>;
18
+ export declare function handlerCallsProp(handler: ExtractableHandler, component: ComponentDecl, propName: string, localHandlers: Map<string, ExtractableHandler>, seen?: Set<ExtractableHandler>): boolean;
19
+ export declare function handlerCallsForwardableProp(handler: ExtractableHandler, component: ComponentDecl, localHandlers: Map<string, ExtractableHandler>): boolean;
20
+ export declare function expressionReferencesForwardableProp(expression: ts.Expression, component: ComponentDecl): boolean;
21
+ export declare function expressionReferencesProp(expression: ts.Expression, component: ComponentDecl, propName: string): boolean;
22
+ export declare function callInvokesProp(expression: ts.Expression, propName: string, aliases: Set<string>, propObjects: Set<string>): boolean;
23
+ export declare function componentPropAliases(component: ComponentDecl, propName: string): Set<string>;
24
+ export declare function forwardableComponentPropNames(component: ComponentDecl): string[];
25
+ export declare function componentPropObjectNames(component: ComponentDecl): Set<string>;
26
+ //# sourceMappingURL=component-props.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"component-props.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/component-props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EACV,aAAa,EACb,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAGjE,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,SAAS,EAAE,aAAa,EACxB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,WAAW,CAAA;CAAE,GAAG,SAAS,CAyCtE;AAED,wBAAgB,+BAA+B,CAC7C,SAAS,EAAE,aAAa,EACxB,QAAQ,EAAE,MAAM,GACf;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,WAAW,CAAA;CAAE,GAAG,SAAS,CAOtE;AAED,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,aAAa,GACvB,OAAO,CAeT;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,aAAa,GAAG,SAAS,GACnC,OAAO,CAcT;AAED,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,aAAa,GACvB,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAejC;AAED,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,kBAAkB,EAC3B,SAAS,EAAE,aAAa,EACxB,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAC9C,IAAI,0BAAgC,GACnC,OAAO,CA4BT;AAED,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,kBAAkB,EAC3B,SAAS,EAAE,aAAa,EACxB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAC7C,OAAO,CAIT;AAED,wBAAgB,mCAAmC,CACjD,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,aAAa,GACvB,OAAO,CAIT;AAED,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,aAAa,EACxB,QAAQ,EAAE,MAAM,GACf,OAAO,CAcT;AAED,wBAAgB,eAAe,CAC7B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EACpB,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,GACvB,OAAO,CAYT;AAED,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,aAAa,EACxB,QAAQ,EAAE,MAAM,GACf,GAAG,CAAC,MAAM,CAAC,CAeb;AAED,wBAAgB,6BAA6B,CAC3C,SAAS,EAAE,aAAa,GACvB,MAAM,EAAE,CAgCV;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,aAAa,GACvB,GAAG,CAAC,MAAM,CAAC,CAOb"}