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,243 @@
1
+ import * as ts from "typescript";
2
+ import { componentNameFor, extractableHandlerInitializer, isExtractableHandler, isUseEffectCall, isUseReducerCall, isUseStateCall, lineAndColumn, providerComponentNames, } from "./ast.js";
3
+ import { componentDeclarations, calledCustomHook, customHookDeclarations, detectStatefulListComponents, inlineCustomHookState, isCustomHookDeclaration, isForwardablePropName, isIntrinsicJsxAttribute, listRenderedHandlerInfo, } from "./components.js";
4
+ import { bindContextHookObjectDeclaration, bindSetter, discoverContextBindings, setterBindingFromDecl, settersForComponent, } from "./context.js";
5
+ import { tagStableIdKey, withStableTransitionIds } from "./ids.js";
6
+ import { staticNavigationTransitions } from "./static-navigation.js";
7
+ import { inferUseStateDomain, initialValueForUseState, typeAliasDeclarations, } from "./domains.js";
8
+ import { transitionsFromTimerCall, timerSetterTaints, refSetterTaint, handlerSchedulesModeledTimer, } from "./transition/timers.js";
9
+ import { transitionsFromJsxAttribute, transitionsFromComponentPropAttribute, transitionsFromBoundedListAttribute, } from "./transition/handlers.js";
10
+ import { combineParsedGuards, disabledGuardFor, renderGuardFor, } from "./transition/guards.js";
11
+ import { componentGuardLocalsFor } from "./transition/locals.js";
12
+ import { forwardsComponentProp } from "./transition/component-props.js";
13
+ import { isEventAttribute } from "./transition/ui.js";
14
+ import { linkNavigationTransition } from "./transition/navigation.js";
15
+ import { transitionsFromUseEffect, useEffectWritesModeledState, } from "./transition/effects.js";
16
+ export function extractReactSourceTransitions(sourceText, options = {}) {
17
+ const fileName = options.fileName ?? "App.tsx";
18
+ const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
19
+ const typeAliases = typeAliasDeclarations(source);
20
+ const vars = options.stateVars ? [...options.stateVars] : [];
21
+ const transitions = [];
22
+ const warnings = [];
23
+ const route = options.route ?? "/";
24
+ const routePatterns = options.routePatterns ?? [];
25
+ const effectApis = new Set(options.effectApis ?? []);
26
+ const sourcePlugins = options.sourcePlugins ?? [];
27
+ const routerPlugin = options.routerPlugin;
28
+ const setters = new Map();
29
+ const contextBindings = discoverContextBindings(source, fileName, route, typeAliases);
30
+ const globalTaints = new Set();
31
+ const components = componentDeclarations(source);
32
+ const providerComponents = providerComponentNames(source);
33
+ const customHooks = customHookDeclarations(source);
34
+ const statefulListComponents = detectStatefulListComponents(source, components);
35
+ const reportedStatefulListComponents = new Set();
36
+ const reportedCustomHooks = new Set();
37
+ for (const decl of contextBindings.vars) {
38
+ if (!vars.some((candidate) => candidate.id === decl.id))
39
+ vars.push(decl);
40
+ }
41
+ for (const channel of options.writeChannels ?? []) {
42
+ const decl = vars.find((candidate) => candidate.id === channel.varId);
43
+ if (!decl)
44
+ continue;
45
+ bindSetter(setters, channel.symbolName, setterBindingFromDecl(decl));
46
+ }
47
+ for (const [symbolName, setter] of contextBindings.setters)
48
+ setters.set(symbolName, setter);
49
+ const handlers = new Map();
50
+ const visit = (node, componentName) => {
51
+ if (!componentName && isCustomHookDeclaration(node))
52
+ return;
53
+ const nextComponent = componentNameFor(node) ?? componentName;
54
+ if (ts.isVariableDeclaration(node) &&
55
+ ts.isIdentifier(node.name) &&
56
+ node.initializer) {
57
+ const handler = extractableHandlerInitializer(node.initializer);
58
+ if (handler)
59
+ handlers.set(node.name.text, handler);
60
+ }
61
+ if (ts.isFunctionDeclaration(node) &&
62
+ node.name &&
63
+ isExtractableHandler(node)) {
64
+ handlers.set(node.name.text, node);
65
+ }
66
+ if (ts.isVariableDeclaration(node) &&
67
+ node.initializer &&
68
+ isUseReducerCall(node.initializer)) {
69
+ warnings.push({
70
+ message: `Unsupported useReducer ${nextComponent ?? "Anonymous"}.useReducer`,
71
+ ...lineAndColumn(source, node),
72
+ });
73
+ }
74
+ bindContextHookObjectDeclaration(node, contextBindings, setters);
75
+ if (ts.isVariableDeclaration(node) &&
76
+ nextComponent &&
77
+ inlineCustomHookState(source, fileName, node, customHooks, vars, setters, nextComponent, route)) {
78
+ return;
79
+ }
80
+ const customHook = calledCustomHook(node, new Set(customHooks.keys()));
81
+ if (customHook && nextComponent) {
82
+ const key = `${nextComponent}.${customHook}`;
83
+ if (!contextBindings.hookReturns.has(customHook) &&
84
+ !reportedCustomHooks.has(key)) {
85
+ reportedCustomHooks.add(key);
86
+ warnings.push({
87
+ message: `Unextractable custom hook ${key}`,
88
+ ...lineAndColumn(source, node),
89
+ });
90
+ }
91
+ }
92
+ if (ts.isVariableDeclaration(node) &&
93
+ ts.isArrayBindingPattern(node.name) &&
94
+ node.initializer &&
95
+ isUseStateCall(node.initializer)) {
96
+ if (nextComponent && statefulListComponents.has(nextComponent)) {
97
+ if (!reportedStatefulListComponents.has(nextComponent)) {
98
+ reportedStatefulListComponents.add(nextComponent);
99
+ warnings.push({
100
+ message: `Unextractable stateful list item ${nextComponent}`,
101
+ ...lineAndColumn(source, node),
102
+ });
103
+ }
104
+ ts.forEachChild(node, (child) => visit(child, nextComponent));
105
+ return;
106
+ }
107
+ const stateName = node.name.elements[0];
108
+ const setterName = node.name.elements[1];
109
+ if (ts.isBindingElement(stateName) && ts.isIdentifier(stateName.name)) {
110
+ const domain = inferUseStateDomain(node.initializer, typeAliases);
111
+ const component = nextComponent ?? "Anonymous";
112
+ const varId = `local:${component}.${stateName.name.text}`;
113
+ if (!options.stateVars) {
114
+ vars.push({
115
+ id: varId,
116
+ domain,
117
+ origin: { file: fileName, ...lineAndColumn(source, node) },
118
+ scope: providerComponents.has(component)
119
+ ? { kind: "global" }
120
+ : { kind: "route-local", route },
121
+ initial: initialValueForUseState(node.initializer, domain),
122
+ });
123
+ }
124
+ if (setterName &&
125
+ ts.isBindingElement(setterName) &&
126
+ ts.isIdentifier(setterName.name)) {
127
+ if (!options.writeChannels)
128
+ bindSetter(setters, setterName.name.text, {
129
+ varId,
130
+ component,
131
+ stateName: stateName.name.text,
132
+ domain,
133
+ });
134
+ }
135
+ }
136
+ else {
137
+ warnings.push({
138
+ message: "Unsupported useState binding pattern",
139
+ ...lineAndColumn(source, node),
140
+ });
141
+ }
142
+ }
143
+ const link = linkNavigationTransition(source, fileName, node, nextComponent ?? "Anonymous", routePatterns);
144
+ if (link)
145
+ transitions.push(link);
146
+ const scopedSetters = settersForComponent(setters, nextComponent);
147
+ const refTaint = refSetterTaint(node, scopedSetters);
148
+ if (refTaint) {
149
+ const key = `Global taint ${refTaint.varId}`;
150
+ if (!globalTaints.has(key)) {
151
+ globalTaints.add(key);
152
+ warnings.push({
153
+ message: key,
154
+ ...lineAndColumn(source, refTaint.node),
155
+ });
156
+ }
157
+ }
158
+ transitions.push(...transitionsFromTimerCall(source, fileName, node, scopedSetters, nextComponent ?? "Anonymous"));
159
+ for (const timerTaint of timerSetterTaints(node, scopedSetters)) {
160
+ const key = `Global taint ${timerTaint.varId}`;
161
+ if (!globalTaints.has(key)) {
162
+ globalTaints.add(key);
163
+ warnings.push({
164
+ message: key,
165
+ ...lineAndColumn(source, timerTaint.node),
166
+ });
167
+ }
168
+ }
169
+ if (ts.isJsxAttribute(node) &&
170
+ ts.isIdentifier(node.name) &&
171
+ node.initializer &&
172
+ isForwardablePropName(node.name.text) &&
173
+ !isIntrinsicJsxAttribute(node)) {
174
+ const extracted = transitionsFromComponentPropAttribute(source, fileName, node, scopedSetters, handlers, components, nextComponent ?? "Anonymous", effectApis, options.asyncOutcomes ?? {}, sourcePlugins, routerPlugin, warnings);
175
+ transitions.push(...extracted);
176
+ if (extracted.length === 0) {
177
+ warnings.push({
178
+ message: `Unextractable handler ${nextComponent ?? "Anonymous"}.${node.name.text}`,
179
+ ...lineAndColumn(source, node),
180
+ });
181
+ }
182
+ }
183
+ if (ts.isJsxAttribute(node) &&
184
+ ts.isIdentifier(node.name) &&
185
+ node.initializer &&
186
+ isEventAttribute(node.name.text) &&
187
+ isIntrinsicJsxAttribute(node)) {
188
+ const listInfo = listRenderedHandlerInfo(node, vars, nextComponent ?? "Anonymous");
189
+ if (listInfo) {
190
+ if (listInfo.domain.kind === "boundedList") {
191
+ const extracted = transitionsFromBoundedListAttribute(source, fileName, node, scopedSetters, handlers, nextComponent ?? "Anonymous", {
192
+ varId: listInfo.varId,
193
+ domain: listInfo.domain,
194
+ itemName: listInfo.itemName,
195
+ });
196
+ if (extracted.length > 0) {
197
+ transitions.push(...tagStableIdKey(extracted, node));
198
+ ts.forEachChild(node, (child) => visit(child, nextComponent));
199
+ return;
200
+ }
201
+ }
202
+ warnings.push({
203
+ message: `Unextractable list-rendered handler ${nextComponent ?? "Anonymous"}.${node.name.text} over ${listInfo.domain.kind} ${listInfo.varId}`,
204
+ ...lineAndColumn(source, node),
205
+ });
206
+ ts.forEachChild(node, (child) => visit(child, nextComponent));
207
+ return;
208
+ }
209
+ const guardLocals = componentGuardLocalsFor(node, scopedSetters);
210
+ const guard = combineParsedGuards([
211
+ renderGuardFor(node, scopedSetters, warnings, source, nextComponent ?? "Anonymous", guardLocals),
212
+ disabledGuardFor(node, scopedSetters, warnings, source, nextComponent ?? "Anonymous", guardLocals),
213
+ ]);
214
+ const extracted = transitionsFromJsxAttribute(source, fileName, node, scopedSetters, handlers, nextComponent ?? "Anonymous", effectApis, options.asyncOutcomes ?? {}, sourcePlugins, routerPlugin, guard, routePatterns, contextBindings, warnings);
215
+ transitions.push(...extracted);
216
+ if (extracted.length === 0 &&
217
+ !forwardsComponentProp(node, handlers, components.get(nextComponent ?? "")) &&
218
+ !handlerSchedulesModeledTimer(node, handlers, scopedSetters)) {
219
+ warnings.push({
220
+ message: `Unextractable handler ${nextComponent ?? "Anonymous"}.${node.name.text}`,
221
+ ...lineAndColumn(source, node),
222
+ });
223
+ }
224
+ }
225
+ if (ts.isCallExpression(node) && isUseEffectCall(node)) {
226
+ const extracted = transitionsFromUseEffect(source, fileName, node, scopedSetters, nextComponent ?? "Anonymous");
227
+ transitions.push(...extracted);
228
+ if (extracted.length === 0 &&
229
+ useEffectWritesModeledState(node, scopedSetters) &&
230
+ !providerComponents.has(nextComponent ?? "")) {
231
+ warnings.push({
232
+ message: `Unextractable effect ${nextComponent ?? "Anonymous"}.useEffect`,
233
+ ...lineAndColumn(source, node),
234
+ });
235
+ }
236
+ }
237
+ ts.forEachChild(node, (child) => visit(child, nextComponent));
238
+ };
239
+ visit(source, undefined);
240
+ transitions.push(...staticNavigationTransitions(source, fileName, routePatterns, components));
241
+ return { vars, transitions: withStableTransitionIds(transitions), warnings };
242
+ }
243
+ //# sourceMappingURL=react-source-transitions.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"react-source-transitions.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/react-source-transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,6BAA6B,EAC7B,oBAAoB,EACpB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,sBAAsB,EACtB,4BAA4B,EAC5B,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,gCAAgC,EAChC,UAAU,EACV,uBAAuB,EACvB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAYtB,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,cAAc,EACd,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,2BAA2B,EAC3B,qCAAqC,EACrC,mCAAmC,GACpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAoBjC,MAAM,UAAU,6BAA6B,CAC3C,UAAkB,EAClB,UAAwC,EAAE;IAE1C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,IAAI,GAAmB,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,eAAe,GAAG,uBAAuB,CAC7C,MAAM,EACN,QAAQ,EACR,KAAK,EACL,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,sBAAsB,GAAG,4BAA4B,CACzD,MAAM,EACN,UAAU,CACX,CAAC;IACF,MAAM,8BAA8B,GAAG,IAAI,GAAG,EAAU,CAAC;IACzD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,OAAO;QACxD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,aAAiC,EAAQ,EAAE;QACvE,IAAI,CAAC,aAAa,IAAI,uBAAuB,CAAC,IAAI,CAAC;YAAE,OAAO;QAC5D,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC;QAC9D,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW,EAChB,CAAC;YACD,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAChE,IAAI,OAAO;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,IAAI;YACT,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,WAAW;YAChB,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,EAClC,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,0BAA0B,aAAa,IAAI,WAAW,aAAa;gBAC5E,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;aAC/B,CAAC,CAAC;QACL,CAAC;QACD,gCAAgC,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;QACjE,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,aAAa;YACb,qBAAqB,CACnB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,IAAI,EACJ,OAAO,EACP,aAAa,EACb,KAAK,CACN,EACD,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvE,IAAI,UAAU,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,GAAG,aAAa,IAAI,UAAU,EAAE,CAAC;YAC7C,IACE,CAAC,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC;gBAC5C,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAC7B,CAAC;gBACD,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,6BAA6B,GAAG,EAAE;oBAC3C,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,IAAI,CAAC,WAAW;YAChB,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,EAChC,CAAC;YACD,IAAI,aAAa,IAAI,sBAAsB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;oBACvD,8BAA8B,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;oBAClD,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,oCAAoC,aAAa,EAAE;wBAC5D,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;qBAC/B,CAAC,CAAC;gBACL,CAAC;gBACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;gBAC9D,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtE,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;gBAClE,MAAM,SAAS,GAAG,aAAa,IAAI,WAAW,CAAC;gBAC/C,MAAM,KAAK,GAAG,SAAS,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1D,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;oBACvB,IAAI,CAAC,IAAI,CAAC;wBACR,EAAE,EAAE,KAAK;wBACT,MAAM;wBACN,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;wBAC1D,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC;4BACtC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACpB,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;wBAClC,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;qBAC3D,CAAC,CAAC;gBACL,CAAC;gBACD,IACE,UAAU;oBACV,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;oBAC/B,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAChC,CAAC;oBACD,IAAI,CAAC,OAAO,CAAC,aAAa;wBACxB,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE;4BACxC,KAAK;4BACL,SAAS;4BACT,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI;4BAC9B,MAAM;yBACP,CAAC,CAAC;gBACP,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,sCAAsC;oBAC/C,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,wBAAwB,CACnC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,IAAI,WAAW,EAC5B,aAAa,CACd,CAAC;QACF,IAAI,IAAI;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACrD,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,gBAAgB,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC7C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG;oBACZ,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;iBACxC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,WAAW,CAAC,IAAI,CACd,GAAG,wBAAwB,CACzB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,aAAa,IAAI,WAAW,CAC7B,CACF,CAAC;QACF,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;YAChE,MAAM,GAAG,GAAG,gBAAgB,UAAU,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG;oBACZ,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;iBAC1C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACrC,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAC9B,CAAC;YACD,MAAM,SAAS,GAAG,qCAAqC,CACrD,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,UAAU,EACV,aAAa,IAAI,WAAW,EAC5B,UAAU,EACV,OAAO,CAAC,aAAa,IAAI,EAAE,EAC3B,aAAa,EACb,YAAY,EACZ,QAAQ,CACT,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC/B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,yBAAyB,aAAa,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;oBAClF,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,uBAAuB,CAAC,IAAI,CAAC,EAC7B,CAAC;YACD,MAAM,QAAQ,GAAG,uBAAuB,CACtC,IAAI,EACJ,IAAI,EACJ,aAAa,IAAI,WAAW,CAC7B,CAAC;YACF,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC3C,MAAM,SAAS,GAAG,mCAAmC,CACnD,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,aAAa,IAAI,WAAW,EAC5B;wBACE,KAAK,EAAE,QAAQ,CAAC,KAAK;wBACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;wBACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;qBAC5B,CACF,CAAC;oBACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACzB,WAAW,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;wBACrD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;wBAC9D,OAAO;oBACT,CAAC;gBACH,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,uCAAuC,aAAa,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE;oBAC/I,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;gBACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;gBAC9D,OAAO;YACT,CAAC;YACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC;gBAChC,cAAc,CACZ,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,MAAM,EACN,aAAa,IAAI,WAAW,EAC5B,WAAW,CACZ;gBACD,gBAAgB,CACd,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,MAAM,EACN,aAAa,IAAI,WAAW,EAC5B,WAAW,CACZ;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,2BAA2B,CAC3C,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,aAAa,IAAI,WAAW,EAC5B,UAAU,EACV,OAAO,CAAC,aAAa,IAAI,EAAE,EAC3B,aAAa,EACb,YAAY,EACZ,KAAK,EACL,aAAa,EACb,eAAe,EACf,QAAQ,CACT,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC/B,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,UAAU,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CACpC;gBACD,CAAC,4BAA4B,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,EAC5D,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,yBAAyB,aAAa,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;oBAClF,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,SAAS,GAAG,wBAAwB,CACxC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,aAAa,IAAI,WAAW,CAC7B,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC/B,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;gBACtB,2BAA2B,CAAC,IAAI,EAAE,aAAa,CAAC;gBAChD,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,EAC5C,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,wBAAwB,aAAa,IAAI,WAAW,YAAY;oBACzE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACzB,WAAW,CAAC,IAAI,CACd,GAAG,2BAA2B,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,CAC5E,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,uBAAuB,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC/E,CAAC"}
@@ -0,0 +1,9 @@
1
+ import * as ts from "typescript";
2
+ import type { ExprIR } from "modality-ts/core";
3
+ export declare function routeMountGuard(component: string, routePatterns: readonly string[]): ExprIR;
4
+ export declare function routeMountReads(component: string, routePatterns: readonly string[]): string[];
5
+ export declare function jsxRouteTarget(attribute: ts.JsxAttribute, routePatterns: readonly string[]): string | undefined;
6
+ export declare function routeTargetValue(expression: ts.Expression | undefined, routePatterns: readonly string[]): string | undefined;
7
+ export declare function templateRoutePattern(expression: ts.TemplateExpression): string | undefined;
8
+ export declare function normalizeRouteTarget(target: string, routePatterns: readonly string[]): string;
9
+ //# sourceMappingURL=routes.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"routes.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/routes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG/C,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,CAWR;AAED,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,EAAE,CAIV;AAED,wBAAgB,cAAc,CAC5B,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,GAAG,SAAS,CAUpB;AAED,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,EACrC,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,GAAG,SAAS,CAYpB;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,EAAE,CAAC,kBAAkB,GAChC,MAAM,GAAG,SAAS,CAKpB;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,MAAM,CAYR"}
@@ -0,0 +1,94 @@
1
+ import * as ts from "typescript";
2
+ import { literalValue } from "./ast.js";
3
+ export function routeMountGuard(component, routePatterns) {
4
+ const route = routeForComponent(component, routePatterns);
5
+ return route
6
+ ? {
7
+ kind: "eq",
8
+ args: [
9
+ { kind: "read", var: "sys:route" },
10
+ { kind: "lit", value: route },
11
+ ],
12
+ }
13
+ : { kind: "lit", value: true };
14
+ }
15
+ export function routeMountReads(component, routePatterns) {
16
+ return routeForComponent(component, routePatterns)
17
+ ? ["sys:history", "sys:route"]
18
+ : ["sys:route", "sys:history"];
19
+ }
20
+ export function jsxRouteTarget(attribute, routePatterns) {
21
+ if (!attribute.initializer)
22
+ return undefined;
23
+ if (ts.isStringLiteral(attribute.initializer))
24
+ return normalizeRouteTarget(attribute.initializer.text, routePatterns);
25
+ if (!ts.isJsxExpression(attribute.initializer) ||
26
+ !attribute.initializer.expression)
27
+ return undefined;
28
+ return routeTargetValue(attribute.initializer.expression, routePatterns);
29
+ }
30
+ export function routeTargetValue(expression, routePatterns) {
31
+ if (!expression)
32
+ return undefined;
33
+ const literal = literalValue(expression);
34
+ if (typeof literal === "string")
35
+ return normalizeRouteTarget(literal, routePatterns);
36
+ if (ts.isNoSubstitutionTemplateLiteral(expression))
37
+ return normalizeRouteTarget(expression.text, routePatterns);
38
+ if (ts.isTemplateExpression(expression)) {
39
+ const pattern = templateRoutePattern(expression);
40
+ return pattern ? normalizeRouteTarget(pattern, routePatterns) : undefined;
41
+ }
42
+ return undefined;
43
+ }
44
+ export function templateRoutePattern(expression) {
45
+ let value = expression.head.text;
46
+ for (const span of expression.templateSpans)
47
+ value += `:param${span.literal.text}`;
48
+ return value;
49
+ }
50
+ export function normalizeRouteTarget(target, routePatterns) {
51
+ const withoutQuery = target.split(/[?#]/)[0] || "/";
52
+ const slash = withoutQuery.startsWith("/")
53
+ ? withoutQuery
54
+ : `/${withoutQuery}`;
55
+ const matched = [...routePatterns]
56
+ .sort((left, right) => routePatternSpecificity(right) - routePatternSpecificity(left))
57
+ .find((pattern) => routePatternMatches(pattern, slash));
58
+ return matched ?? slash.replace(/\/:param(?=\/|$)/g, "/:id");
59
+ }
60
+ function routeForComponent(component, routePatterns) {
61
+ const normalized = normalizeComponentRouteName(component);
62
+ if (!normalized)
63
+ return undefined;
64
+ return routePatterns.find((pattern) => normalizeRouteComponentName(pattern) === normalized);
65
+ }
66
+ function normalizeComponentRouteName(component) {
67
+ return component.replace(/[^a-zA-Z0-9]/g, "").toLowerCase();
68
+ }
69
+ function normalizeRouteComponentName(route) {
70
+ const parts = route.replace(/^\/+/, "").split("/").filter(Boolean);
71
+ if (parts.length !== 1)
72
+ return "";
73
+ const [part] = parts;
74
+ if (!part || part.startsWith(":") || part === "*")
75
+ return "";
76
+ return part.replace(/[^a-zA-Z0-9]/g, "").toLowerCase();
77
+ }
78
+ function routePatternSpecificity(pattern) {
79
+ return pattern
80
+ .replace(/^\/+/, "")
81
+ .split("/")
82
+ .filter((part) => part && !part.startsWith(":") && part !== "*").length;
83
+ }
84
+ function routePatternMatches(pattern, target) {
85
+ const left = pattern.replace(/^\/+/, "").split("/");
86
+ const right = target.replace(/^\/+/, "").split("/");
87
+ if (left.length !== right.length)
88
+ return false;
89
+ return left.every((part, index) => part.startsWith(":") ||
90
+ part === "*" ||
91
+ part === right[index] ||
92
+ right[index] === ":param");
93
+ }
94
+ //# sourceMappingURL=routes.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"routes.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/routes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAExC,MAAM,UAAU,eAAe,CAC7B,SAAiB,EACjB,aAAgC;IAEhC,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC1D,OAAO,KAAK;QACV,CAAC,CAAC;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE;gBAClC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;aAC9B;SACF;QACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,SAAiB,EACjB,aAAgC;IAEhC,OAAO,iBAAiB,CAAC,SAAS,EAAE,aAAa,CAAC;QAChD,CAAC,CAAC,CAAC,aAAa,EAAE,WAAW,CAAC;QAC9B,CAAC,CAAC,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,SAA0B,EAC1B,aAAgC;IAEhC,IAAI,CAAC,SAAS,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC3C,OAAO,oBAAoB,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACzE,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1C,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;QAEjC,OAAO,SAAS,CAAC;IACnB,OAAO,gBAAgB,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAqC,EACrC,aAAgC;IAEhC,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,OAAO,OAAO,KAAK,QAAQ;QAC7B,OAAO,oBAAoB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAChD,OAAO,oBAAoB,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC9D,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACjD,OAAO,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAiC;IAEjC,IAAI,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,aAAa;QACzC,KAAK,IAAI,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACxC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,aAAgC;IAEhC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;IACpD,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC;QACxC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,IAAI,YAAY,EAAE,CAAC;IACvB,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC;SAC/B,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,uBAAuB,CAAC,KAAK,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,CACjE;SACA,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1D,OAAO,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,iBAAiB,CACxB,SAAiB,EACjB,aAAgC;IAEhC,MAAM,UAAU,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,aAAa,CAAC,IAAI,CACvB,CAAC,OAAO,EAAE,EAAE,CAAC,2BAA2B,CAAC,OAAO,CAAC,KAAK,UAAU,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAiB;IACpD,OAAO,SAAS,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAa;IAChD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IAC7D,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAe;IAC9C,OAAO,OAAO;SACX,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,KAAK,CAAC,GAAG,CAAC;SACV,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;AAC5E,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAe,EAAE,MAAc;IAC1D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,IAAI,CAAC,KAAK,CACf,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QACpB,IAAI,KAAK,GAAG;QACZ,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC;QACrB,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,CAC5B,CAAC;AACJ,CAAC"}
@@ -0,0 +1,3 @@
1
+ import * as ts from "typescript";
2
+ export declare function parseTsxSource(sourceText: string, fileName?: string): ts.SourceFile;
3
+ //# sourceMappingURL=source.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,wBAAgB,cAAc,CAC5B,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAY,GACnB,EAAE,CAAC,UAAU,CAQf"}
@@ -0,0 +1,5 @@
1
+ import * as ts from "typescript";
2
+ export function parseTsxSource(sourceText, fileName = "App.tsx") {
3
+ return ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
4
+ }
5
+ //# sourceMappingURL=source.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"source.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,UAAU,cAAc,CAC5B,UAAkB,EAClB,QAAQ,GAAG,SAAS;IAEpB,OAAO,EAAE,CAAC,gBAAgB,CACxB,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;AACJ,CAAC"}
@@ -0,0 +1,5 @@
1
+ import * as ts from "typescript";
2
+ import type { Transition } from "modality-ts/core";
3
+ import type { ComponentDecl } from "./types.js";
4
+ export declare function staticNavigationTransitions(source: ts.SourceFile, fileName: string, routePatterns: readonly string[], components: ReadonlyMap<string, ComponentDecl>): Transition[];
5
+ //# sourceMappingURL=static-navigation.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"static-navigation.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/static-navigation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAenD,OAAO,KAAK,EACV,aAAa,EAId,MAAM,YAAY,CAAC;AAEpB,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,GAC7C,UAAU,EAAE,CAuHd"}