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,578 @@
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
+ if (containsAwaitInLoop(expression.body)) {
14
+ warnings.push({
15
+ message: `Unextractable handler ${component}.${attr}`,
16
+ ...lineAndColumn(source, expression),
17
+ });
18
+ return [];
19
+ }
20
+ const statements = expression.body.statements;
21
+ const tryStatement = statements.find(ts.isTryStatement);
22
+ const awaitStatement = tryStatement
23
+ ? tryStatement.tryBlock.statements.find((statement) => expressionStatementAwait(statement, effectApis))
24
+ : statements.find((statement) => expressionStatementAwait(statement, effectApis));
25
+ if (!awaitStatement)
26
+ return [];
27
+ const awaited = awaitedCall(awaitStatement, effectApis);
28
+ const op = awaited?.op;
29
+ if (!op)
30
+ return [];
31
+ const opArgs = awaited
32
+ ? effectCallArgs(awaited.call, setters, new Map())
33
+ : { args: {}, reads: [] };
34
+ const preStatements = tryStatement
35
+ ? statements.slice(0, statements.indexOf(tryStatement))
36
+ : statements.slice(0, statements.indexOf(awaitStatement));
37
+ const preSummaries = summarizeAsyncSegment(preStatements, setters);
38
+ const successStatements = tryStatement
39
+ ? tryStatement.tryBlock.statements.slice(tryStatement.tryBlock.statements.indexOf(awaitStatement) + 1)
40
+ : statements.slice(statements.indexOf(awaitStatement) + 1);
41
+ if (!tryStatement) {
42
+ const chained = transitionsFromSequentialAwait(source, fileName, attr, expression, awaitStatement, op, preSummaries, successStatements, setters, effectApis, component, locator, warnings);
43
+ if (chained.length > 0)
44
+ return chained;
45
+ }
46
+ if (containsAwaitedEffect(successStatements, effectApis) ||
47
+ (tryStatement?.catchClause &&
48
+ containsAwaitedEffect(tryStatement.catchClause.block.statements, effectApis))) {
49
+ warnings.push({
50
+ message: `Unextractable handler ${component}.${attr}`,
51
+ ...lineAndColumn(source, awaitStatement),
52
+ });
53
+ return [];
54
+ }
55
+ const successSummaries = summarizeAsyncSegment(successStatements, setters);
56
+ const catchSummaries = tryStatement?.catchClause
57
+ ? summarizeAsyncSegment(tryStatement.catchClause.block.statements, setters)
58
+ : [];
59
+ const preEffects = preSummaries.map((summary) => summary.effect);
60
+ const finallySummaries = tryStatement?.finallyBlock
61
+ ? summarizeAsyncSegment(tryStatement.finallyBlock.statements, setters)
62
+ : [];
63
+ const finallyEffects = finallySummaries.map((summary) => summary.effect);
64
+ const successEffects = [
65
+ ...successSummaries.map((summary) => summary.effect),
66
+ ...finallyEffects,
67
+ ];
68
+ const catchEffects = [
69
+ ...catchSummaries.map((summary) => summary.effect),
70
+ ...finallyEffects,
71
+ ];
72
+ const preReads = uniqueStrings([
73
+ ...preSummaries.flatMap((summary) => summary.reads),
74
+ ...opArgs.reads,
75
+ ]);
76
+ const successReads = uniqueStrings([
77
+ ...successSummaries.flatMap((summary) => summary.reads),
78
+ ...finallySummaries.flatMap((summary) => summary.reads),
79
+ ]);
80
+ const catchReads = uniqueStrings([
81
+ ...catchSummaries.flatMap((summary) => summary.reads),
82
+ ...finallySummaries.flatMap((summary) => summary.reads),
83
+ ]);
84
+ const successNavigate = firstNavigationInStatements(successStatements, routePatterns);
85
+ if (successEffects.length === 0 &&
86
+ catchEffects.length === 0 &&
87
+ !successNavigate)
88
+ return [];
89
+ const baseId = `${component}.${attr}.${op}`;
90
+ for (const read of uniqueStrings([...successReads, ...catchReads])) {
91
+ warnings.push({
92
+ message: `Stale-read risk ${baseId}:${read}`,
93
+ ...lineAndColumn(source, awaitStatement),
94
+ });
95
+ }
96
+ const sourceAnchor = [
97
+ { file: fileName, ...lineAndColumn(source, expression) },
98
+ ];
99
+ const enqueue = {
100
+ id: `${baseId}.start`,
101
+ cls: "user",
102
+ label: labelForEvent(attr, locator),
103
+ source: sourceAnchor,
104
+ guard: { kind: "lit", value: true },
105
+ effect: {
106
+ kind: "seq",
107
+ effects: [
108
+ ...preEffects,
109
+ {
110
+ kind: "enqueue",
111
+ op,
112
+ continuation: `${baseId}.cont`,
113
+ args: opArgs.args,
114
+ },
115
+ ],
116
+ },
117
+ reads: preReads,
118
+ writes: uniqueStrings([
119
+ ...preEffects.flatMap(effectWriteVars),
120
+ "sys:pending",
121
+ ]),
122
+ confidence: confidenceForEffects(preEffects),
123
+ };
124
+ const success = {
125
+ id: `${baseId}.success`,
126
+ cls: "env",
127
+ label: { kind: "resolve", op, outcome: "success" },
128
+ source: sourceAnchor,
129
+ guard: pendingIs(op),
130
+ effect: {
131
+ kind: "seq",
132
+ effects: [{ kind: "dequeue", index: 0 }, ...successEffects],
133
+ },
134
+ reads: uniqueStrings(["sys:pending", ...successReads]),
135
+ writes: [
136
+ ...new Set(["sys:pending", ...successEffects.flatMap(effectWriteVars)]),
137
+ ],
138
+ confidence: confidenceForEffects(successEffects),
139
+ };
140
+ const transitions = [
141
+ enqueue,
142
+ successNavigate
143
+ ? appendEffect(success, navigationEffect(successNavigate))
144
+ : success,
145
+ ];
146
+ if (catchEffects.length > 0 || asyncOutcomes[op]?.error !== undefined) {
147
+ const errorTransition = {
148
+ id: `${baseId}.error`,
149
+ cls: "env",
150
+ label: { kind: "resolve", op, outcome: "error" },
151
+ source: sourceAnchor,
152
+ guard: pendingIs(op),
153
+ effect: {
154
+ kind: "seq",
155
+ effects: [{ kind: "dequeue", index: 0 }, ...catchEffects],
156
+ },
157
+ reads: uniqueStrings(["sys:pending", ...catchReads]),
158
+ writes: [
159
+ ...new Set(["sys:pending", ...catchEffects.flatMap(effectWriteVars)]),
160
+ ],
161
+ confidence: confidenceForEffects(catchEffects),
162
+ };
163
+ transitions.push(errorTransition);
164
+ }
165
+ else {
166
+ warnings.push({
167
+ message: `Unhandled rejection ${baseId}`,
168
+ ...lineAndColumn(source, awaitStatement),
169
+ });
170
+ }
171
+ return transitions.map((transition) => ({
172
+ ...transition,
173
+ writes: [...new Set(transition.writes)],
174
+ }));
175
+ }
176
+ export function containsAwaitInLoop(node) {
177
+ let loopDepth = 0;
178
+ let found = false;
179
+ const visit = (candidate) => {
180
+ if (found)
181
+ return;
182
+ const isLoop = ts.isForStatement(candidate) ||
183
+ ts.isForInStatement(candidate) ||
184
+ ts.isForOfStatement(candidate) ||
185
+ ts.isWhileStatement(candidate) ||
186
+ ts.isDoStatement(candidate);
187
+ if (isLoop)
188
+ loopDepth += 1;
189
+ if (loopDepth > 0 && ts.isAwaitExpression(candidate)) {
190
+ found = true;
191
+ }
192
+ else {
193
+ ts.forEachChild(candidate, visit);
194
+ }
195
+ if (isLoop)
196
+ loopDepth -= 1;
197
+ };
198
+ visit(node);
199
+ return found;
200
+ }
201
+ export function transitionsFromSequentialAwait(source, fileName, attr, expression, firstAwait, firstOp, preSummaries, successStatements, setters, effectApis, component, locator, warnings) {
202
+ const secondIndex = successStatements.findIndex((statement) => expressionStatementAwait(statement, effectApis));
203
+ if (secondIndex < 0)
204
+ return [];
205
+ const secondAwait = successStatements[secondIndex];
206
+ const secondOp = awaitedOp(secondAwait, effectApis);
207
+ const promiseAllOps = secondOp
208
+ ? undefined
209
+ : promiseAllAwaitOps(secondAwait, effectApis);
210
+ if (!secondOp && !promiseAllOps)
211
+ return [];
212
+ const betweenStatements = successStatements.slice(0, secondIndex);
213
+ const tailStatements = successStatements.slice(secondIndex + 1);
214
+ if (containsAwaitedEffect(tailStatements, effectApis))
215
+ return [];
216
+ const betweenSummaries = summarizeAsyncSegment(betweenStatements, setters);
217
+ const tailSummaries = summarizeAsyncSegment(tailStatements, setters);
218
+ const preEffects = preSummaries.map((summary) => summary.effect);
219
+ const betweenEffects = betweenSummaries.map((summary) => summary.effect);
220
+ const tailEffects = tailSummaries.map((summary) => summary.effect);
221
+ if (tailEffects.length === 0)
222
+ return [];
223
+ const preReads = uniqueStrings(preSummaries.flatMap((summary) => summary.reads));
224
+ const betweenReads = uniqueStrings(betweenSummaries.flatMap((summary) => summary.reads));
225
+ const tailReads = uniqueStrings(tailSummaries.flatMap((summary) => summary.reads));
226
+ const firstBaseId = `${component}.${attr}.${firstOp}`;
227
+ const secondBaseId = `${component}.${attr}.${secondOp ?? "Promise_all"}`;
228
+ for (const read of uniqueStrings([...betweenReads, ...tailReads])) {
229
+ warnings.push({
230
+ message: `Stale-read risk ${firstBaseId}:${read}`,
231
+ ...lineAndColumn(source, firstAwait),
232
+ });
233
+ }
234
+ warnings.push({
235
+ message: `Unhandled rejection ${firstBaseId}`,
236
+ ...lineAndColumn(source, firstAwait),
237
+ });
238
+ for (const op of promiseAllOps ?? [secondOp]) {
239
+ warnings.push({
240
+ message: `Unhandled rejection ${component}.${attr}.${op}`,
241
+ ...lineAndColumn(source, secondAwait),
242
+ });
243
+ }
244
+ const sourceAnchor = [
245
+ { file: fileName, ...lineAndColumn(source, expression) },
246
+ ];
247
+ const secondEnqueueEffects = promiseAllOps
248
+ ? promiseAllOps.map((op) => ({
249
+ kind: "enqueue",
250
+ op,
251
+ continuation: `${secondBaseId}.cont`,
252
+ args: {},
253
+ }))
254
+ : [
255
+ {
256
+ kind: "enqueue",
257
+ op: secondOp,
258
+ continuation: `${secondBaseId}.cont`,
259
+ args: {},
260
+ },
261
+ ];
262
+ const secondSuccess = promiseAllOps
263
+ ? {
264
+ id: `${secondBaseId}.success`,
265
+ cls: "env",
266
+ label: { kind: "internal", text: `${secondBaseId}.join` },
267
+ source: sourceAnchor,
268
+ guard: promiseAllGuard(promiseAllOps),
269
+ effect: {
270
+ kind: "seq",
271
+ effects: [
272
+ ...promiseAllOps
273
+ .map((_, index) => ({ kind: "dequeue", index }))
274
+ .reverse(),
275
+ ...tailEffects,
276
+ ],
277
+ },
278
+ reads: uniqueStrings(["sys:pending", ...tailReads]),
279
+ writes: uniqueStrings([
280
+ "sys:pending",
281
+ ...tailEffects.flatMap(effectWriteVars),
282
+ ]),
283
+ confidence: confidenceForEffects(tailEffects),
284
+ }
285
+ : {
286
+ id: `${secondBaseId}.success`,
287
+ cls: "env",
288
+ label: { kind: "resolve", op: secondOp, outcome: "success" },
289
+ source: sourceAnchor,
290
+ guard: pendingIs(secondOp),
291
+ effect: {
292
+ kind: "seq",
293
+ effects: [{ kind: "dequeue", index: 0 }, ...tailEffects],
294
+ },
295
+ reads: uniqueStrings(["sys:pending", ...tailReads]),
296
+ writes: uniqueStrings([
297
+ "sys:pending",
298
+ ...tailEffects.flatMap(effectWriteVars),
299
+ ]),
300
+ confidence: confidenceForEffects(tailEffects),
301
+ };
302
+ const transitions = [
303
+ {
304
+ id: `${firstBaseId}.start`,
305
+ cls: "user",
306
+ label: labelForEvent(attr, locator),
307
+ source: sourceAnchor,
308
+ guard: { kind: "lit", value: true },
309
+ effect: {
310
+ kind: "seq",
311
+ effects: [
312
+ ...preEffects,
313
+ {
314
+ kind: "enqueue",
315
+ op: firstOp,
316
+ continuation: `${firstBaseId}.cont`,
317
+ args: {},
318
+ },
319
+ ],
320
+ },
321
+ reads: preReads,
322
+ writes: uniqueStrings([
323
+ ...preEffects.flatMap(effectWriteVars),
324
+ "sys:pending",
325
+ ]),
326
+ confidence: confidenceForEffects(preEffects),
327
+ },
328
+ {
329
+ id: `${firstBaseId}.success`,
330
+ cls: "env",
331
+ label: { kind: "resolve", op: firstOp, outcome: "success" },
332
+ source: sourceAnchor,
333
+ guard: pendingIs(firstOp),
334
+ effect: {
335
+ kind: "seq",
336
+ effects: [
337
+ { kind: "dequeue", index: 0 },
338
+ ...betweenEffects,
339
+ ...secondEnqueueEffects,
340
+ ],
341
+ },
342
+ reads: uniqueStrings(["sys:pending", ...betweenReads]),
343
+ writes: uniqueStrings([
344
+ "sys:pending",
345
+ ...betweenEffects.flatMap(effectWriteVars),
346
+ ]),
347
+ confidence: confidenceForEffects(betweenEffects),
348
+ },
349
+ secondSuccess,
350
+ ];
351
+ return transitions.map((transition) => ({
352
+ ...transition,
353
+ writes: uniqueStrings(transition.writes),
354
+ }));
355
+ }
356
+ export function promiseAllGuard(ops) {
357
+ return ops
358
+ .map((op, index) => pendingIsAt(index, op))
359
+ .reduce(andGuard);
360
+ }
361
+ export function confidenceForEffects(effects) {
362
+ return effects.some((effect) => effect.kind === "havoc")
363
+ ? "over-approx"
364
+ : "exact";
365
+ }
366
+ export function setterAssignEffect(statement, setters) {
367
+ if (!ts.isExpressionStatement(statement) ||
368
+ !ts.isCallExpression(statement.expression))
369
+ return undefined;
370
+ const call = statement.expression;
371
+ if (!ts.isIdentifier(call.expression) || call.arguments.length !== 1)
372
+ return undefined;
373
+ const setter = setters.get(call.expression.text);
374
+ const value = literalValue(call.arguments[0]);
375
+ if (!setter || value === undefined)
376
+ return undefined;
377
+ return { kind: "assign", var: setter.varId, expr: { kind: "lit", value } };
378
+ }
379
+ export function expressionStatementAwait(statement, effectApis) {
380
+ return Boolean(awaitedOp(statement, effectApis) ??
381
+ promiseAllAwaitOps(statement, effectApis));
382
+ }
383
+ export function containsAwaitedEffect(statements, effectApis) {
384
+ return statements.some((statement) => {
385
+ let found = false;
386
+ const visit = (node, insideAwait = false) => {
387
+ if (found)
388
+ return;
389
+ if (ts.isAwaitExpression(node)) {
390
+ visit(node.expression, true);
391
+ return;
392
+ }
393
+ if (insideAwait && ts.isCallExpression(node)) {
394
+ const name = callName(node.expression);
395
+ if (name && effectApis.has(effectOpForCall(name, node))) {
396
+ found = true;
397
+ return;
398
+ }
399
+ }
400
+ ts.forEachChild(node, (child) => visit(child, insideAwait));
401
+ };
402
+ visit(statement);
403
+ return found;
404
+ });
405
+ }
406
+ export function awaitedOp(statement, effectApis) {
407
+ return awaitedCall(statement, effectApis)?.op;
408
+ }
409
+ export function awaitedCall(statement, effectApis) {
410
+ const awaitExpression = awaitedCallExpressionInStatement(statement);
411
+ if (!awaitExpression)
412
+ return undefined;
413
+ const name = callName(awaitExpression.expression);
414
+ if (!name)
415
+ return undefined;
416
+ const op = effectOpForCall(name, awaitExpression);
417
+ if (!effectApis.has(op))
418
+ return undefined;
419
+ return { op, call: awaitExpression };
420
+ }
421
+ export function awaitedCallExpressionInStatement(statement) {
422
+ if (ts.isExpressionStatement(statement) &&
423
+ ts.isAwaitExpression(statement.expression) &&
424
+ ts.isCallExpression(statement.expression.expression)) {
425
+ return statement.expression.expression;
426
+ }
427
+ if (ts.isVariableStatement(statement)) {
428
+ for (const declaration of statement.declarationList.declarations) {
429
+ if (declaration.initializer &&
430
+ ts.isAwaitExpression(declaration.initializer) &&
431
+ ts.isCallExpression(declaration.initializer.expression) &&
432
+ callName(declaration.initializer.expression.expression) === "fetch") {
433
+ return declaration.initializer.expression;
434
+ }
435
+ }
436
+ }
437
+ return undefined;
438
+ }
439
+ export function effectOpForCall(name, call) {
440
+ if (name !== "fetch")
441
+ return name;
442
+ const url = fetchUrl(call.arguments[0]);
443
+ const method = fetchMethod(call.arguments[1]) ?? "GET";
444
+ return url ? `${method} ${url}` : "fetch";
445
+ }
446
+ export function fetchUrl(argument) {
447
+ if (!argument)
448
+ return undefined;
449
+ if (ts.isStringLiteral(argument) ||
450
+ ts.isNoSubstitutionTemplateLiteral(argument))
451
+ return normalizeFetchUrl(argument.text);
452
+ if (ts.isTemplateExpression(argument)) {
453
+ const pattern = templateRoutePattern(argument);
454
+ return pattern
455
+ ? normalizeFetchUrl(pattern.replace(/\/:param(?=\/|$)/g, "/:id"))
456
+ : undefined;
457
+ }
458
+ return undefined;
459
+ }
460
+ export function normalizeFetchUrl(value) {
461
+ return value.startsWith("/") ? value : `/${value}`;
462
+ }
463
+ export function fetchMethod(argument) {
464
+ if (!argument || !ts.isObjectLiteralExpression(argument))
465
+ return undefined;
466
+ const method = argument.properties.find((property) => ts.isPropertyAssignment(property) &&
467
+ propertyName(property.name) === "method");
468
+ const value = method ? literalValue(method.initializer) : undefined;
469
+ return typeof value === "string" ? value.toUpperCase() : undefined;
470
+ }
471
+ export function firstNavigationInStatements(statements, routePatterns) {
472
+ for (const statement of statements) {
473
+ let found;
474
+ const visit = (node) => {
475
+ if (found)
476
+ return;
477
+ if (ts.isCallExpression(node))
478
+ found = navigationCall(node, undefined, routePatterns);
479
+ ts.forEachChild(node, visit);
480
+ };
481
+ visit(statement);
482
+ if (found)
483
+ return found;
484
+ }
485
+ return undefined;
486
+ }
487
+ export function navigationEffect(navigation) {
488
+ return {
489
+ kind: "navigate",
490
+ mode: navigation.mode,
491
+ ...(navigation.to ? { to: { kind: "lit", value: navigation.to } } : {}),
492
+ };
493
+ }
494
+ export function appendEffect(transition, effect) {
495
+ const current = transition.effect.kind === "seq"
496
+ ? transition.effect.effects
497
+ : [transition.effect];
498
+ const writes = uniqueStrings([
499
+ ...transition.writes,
500
+ ...effectWriteVars(effect),
501
+ ]);
502
+ const reads = uniqueStrings([
503
+ ...transition.reads,
504
+ ...(effect.kind === "navigate" ? ["sys:route", "sys:history"] : []),
505
+ ]);
506
+ return {
507
+ ...transition,
508
+ effect: { kind: "seq", effects: [...current, effect] },
509
+ reads,
510
+ writes,
511
+ };
512
+ }
513
+ export function effectCallArgs(call, setters, locals) {
514
+ const first = call.arguments[0];
515
+ if (!first)
516
+ return { args: {}, reads: [] };
517
+ if (ts.isObjectLiteralExpression(first)) {
518
+ const args = {};
519
+ const reads = new Set();
520
+ for (const property of first.properties) {
521
+ if (!ts.isPropertyAssignment(property) &&
522
+ !ts.isShorthandPropertyAssignment(property))
523
+ return { args: {}, reads: [] };
524
+ const name = propertyName(property.name);
525
+ if (!name)
526
+ return { args: {}, reads: [] };
527
+ const value = ts.isShorthandPropertyAssignment(property)
528
+ ? valueExpr(property.name, setters, locals)
529
+ : valueExpr(property.initializer, setters, locals);
530
+ if (!value)
531
+ return { args: {}, reads: [] };
532
+ args[name] = value.expr;
533
+ for (const read of value.reads)
534
+ reads.add(read);
535
+ }
536
+ return { args, reads: [...reads] };
537
+ }
538
+ const value = valueExpr(first, setters, locals);
539
+ return value
540
+ ? { args: { value: value.expr }, reads: value.reads }
541
+ : { args: {}, reads: [] };
542
+ }
543
+ export function promiseAllAwaitOps(statement, effectApis) {
544
+ if (!ts.isExpressionStatement(statement))
545
+ return undefined;
546
+ const expression = statement.expression;
547
+ if (!ts.isAwaitExpression(expression) ||
548
+ !ts.isCallExpression(expression.expression))
549
+ return undefined;
550
+ const call = expression.expression;
551
+ if (callName(call.expression) !== "Promise.all" ||
552
+ call.arguments.length !== 1 ||
553
+ !ts.isArrayLiteralExpression(call.arguments[0]))
554
+ return undefined;
555
+ const ops = [];
556
+ for (const element of call.arguments[0].elements) {
557
+ if (!ts.isCallExpression(element))
558
+ return undefined;
559
+ const name = callName(element.expression);
560
+ if (!name || !effectApis.has(name))
561
+ return undefined;
562
+ ops.push(name);
563
+ }
564
+ return ops.length > 0 ? ops : undefined;
565
+ }
566
+ export function pendingIs(op) {
567
+ return pendingIsAt(0, op);
568
+ }
569
+ export function pendingIsAt(index, op) {
570
+ return {
571
+ kind: "eq",
572
+ args: [
573
+ { kind: "read", var: "sys:pending", path: [String(index), "opId"] },
574
+ { kind: "lit", value: op },
575
+ ],
576
+ };
577
+ }
578
+ //# 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,IAAI,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,yBAAyB,SAAS,IAAI,IAAI,EAAE;YACrD,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC;SACrC,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,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,mBAAmB,CAAC,IAAa;IAC/C,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,KAAK;YAAE,OAAO;QAClB,MAAM,MAAM,GACV,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;YAC5B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAC9B,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QAC9B,IAAI,MAAM;YAAE,SAAS,IAAI,CAAC,CAAC;QAC3B,IAAI,SAAS,GAAG,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YACrD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,MAAM;YAAE,SAAS,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,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"}