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.
- package/README.md +9 -7
- package/dist/check/diagnostics/bounds.d.ts +4 -0
- package/dist/check/diagnostics/bounds.d.ts.map +1 -0
- package/dist/check/diagnostics/bounds.js +25 -0
- package/dist/check/diagnostics/bounds.js.map +1 -0
- package/dist/check/diagnostics/vacuity.d.ts +3 -0
- package/dist/check/diagnostics/vacuity.d.ts.map +1 -0
- package/dist/check/diagnostics/vacuity.js +22 -0
- package/dist/check/diagnostics/vacuity.js.map +1 -0
- package/dist/check/engine/check-model.d.ts +4 -0
- package/dist/check/engine/check-model.d.ts.map +1 -0
- package/dist/check/engine/check-model.js +162 -0
- package/dist/check/engine/check-model.js.map +1 -0
- package/dist/check/engine/initial-states.d.ts +3 -0
- package/dist/check/engine/initial-states.d.ts.map +1 -0
- package/dist/check/engine/initial-states.js +11 -0
- package/dist/check/engine/initial-states.js.map +1 -0
- package/dist/check/engine/model-api.d.ts +4 -0
- package/dist/check/engine/model-api.d.ts.map +1 -0
- package/dist/check/engine/model-api.js +15 -0
- package/dist/check/engine/model-api.js.map +1 -0
- package/dist/check/engine/mounts.d.ts +3 -0
- package/dist/check/engine/mounts.d.ts.map +1 -0
- package/dist/check/engine/mounts.js +13 -0
- package/dist/check/engine/mounts.js.map +1 -0
- package/dist/check/engine/stabilize.d.ts +3 -0
- package/dist/check/engine/stabilize.d.ts.map +1 -0
- package/dist/check/engine/stabilize.js +82 -0
- package/dist/check/engine/stabilize.js.map +1 -0
- package/dist/check/engine/state-utils.d.ts +12 -0
- package/dist/check/engine/state-utils.d.ts.map +1 -0
- package/dist/check/engine/state-utils.js +30 -0
- package/dist/check/engine/state-utils.js.map +1 -0
- package/dist/check/engine/transitions.d.ts +4 -0
- package/dist/check/engine/transitions.d.ts.map +1 -0
- package/dist/check/engine/transitions.js +15 -0
- package/dist/check/engine/transitions.js.map +1 -0
- package/dist/check/index.d.ts +14 -0
- package/dist/check/index.d.ts.map +1 -0
- package/dist/check/index.js +13 -0
- package/dist/check/index.js.map +1 -0
- package/dist/check/properties/checked-state.d.ts +3 -0
- package/dist/check/properties/checked-state.d.ts.map +1 -0
- package/dist/check/properties/checked-state.js +21 -0
- package/dist/check/properties/checked-state.js.map +1 -0
- package/dist/check/properties/finalize.d.ts +4 -0
- package/dist/check/properties/finalize.d.ts.map +1 -0
- package/dist/check/properties/finalize.js +71 -0
- package/dist/check/properties/finalize.js.map +1 -0
- package/dist/check/properties/leads-to.d.ts +8 -0
- package/dist/check/properties/leads-to.d.ts.map +1 -0
- package/dist/check/properties/leads-to.js +69 -0
- package/dist/check/properties/leads-to.js.map +1 -0
- package/dist/check/properties/observe.d.ts +5 -0
- package/dist/check/properties/observe.d.ts.map +1 -0
- package/dist/check/properties/observe.js +56 -0
- package/dist/check/properties/observe.js.map +1 -0
- package/dist/check/properties/reachable-from.d.ts +8 -0
- package/dist/check/properties/reachable-from.d.ts.map +1 -0
- package/dist/check/properties/reachable-from.js +19 -0
- package/dist/check/properties/reachable-from.js.map +1 -0
- package/dist/check/runtime/domains.d.ts +5 -0
- package/dist/check/runtime/domains.d.ts.map +1 -0
- package/dist/check/runtime/domains.js +53 -0
- package/dist/check/runtime/domains.js.map +1 -0
- package/dist/check/runtime/effects.d.ts +9 -0
- package/dist/check/runtime/effects.d.ts.map +1 -0
- package/dist/check/runtime/effects.js +86 -0
- package/dist/check/runtime/effects.js.map +1 -0
- package/dist/check/runtime/expr.d.ts +7 -0
- package/dist/check/runtime/expr.d.ts.map +1 -0
- package/dist/check/runtime/expr.js +49 -0
- package/dist/check/runtime/expr.js.map +1 -0
- package/dist/check/runtime/navigation.d.ts +7 -0
- package/dist/check/runtime/navigation.d.ts.map +1 -0
- package/dist/check/runtime/navigation.js +60 -0
- package/dist/check/runtime/navigation.js.map +1 -0
- package/dist/check/runtime/opaque.d.ts +3 -0
- package/dist/check/runtime/opaque.d.ts.map +1 -0
- package/dist/check/runtime/opaque.js +72 -0
- package/dist/check/runtime/opaque.js.map +1 -0
- package/dist/check/runtime/paths.d.ts +4 -0
- package/dist/check/runtime/paths.d.ts.map +1 -0
- package/dist/check/runtime/paths.js +28 -0
- package/dist/check/runtime/paths.js.map +1 -0
- package/dist/check/runtime/pending.d.ts +9 -0
- package/dist/check/runtime/pending.d.ts.map +1 -0
- package/dist/check/runtime/pending.js +5 -0
- package/dist/check/runtime/pending.js.map +1 -0
- package/dist/check/runtime/tokens.d.ts +7 -0
- package/dist/check/runtime/tokens.d.ts.map +1 -0
- package/dist/check/runtime/tokens.js +36 -0
- package/dist/check/runtime/tokens.js.map +1 -0
- package/dist/check/slicing/slice-model.d.ts +5 -0
- package/dist/check/slicing/slice-model.d.ts.map +1 -0
- package/dist/check/slicing/slice-model.js +48 -0
- package/dist/check/slicing/slice-model.js.map +1 -0
- package/dist/check/traces/step-facts.d.ts +3 -0
- package/dist/check/traces/step-facts.d.ts.map +1 -0
- package/dist/check/traces/step-facts.js +35 -0
- package/dist/check/traces/step-facts.js.map +1 -0
- package/dist/check/traces/trace.d.ts +8 -0
- package/dist/check/traces/trace.d.ts.map +1 -0
- package/dist/check/traces/trace.js +42 -0
- package/dist/check/traces/trace.js.map +1 -0
- package/dist/{checker/search/index.d.ts → check/types.d.ts} +16 -6
- package/dist/check/types.d.ts.map +1 -0
- package/dist/{kernel/ir → check}/types.js.map +1 -1
- package/dist/cli/check.d.ts +3 -0
- package/dist/cli/check.d.ts.map +1 -0
- package/dist/cli/check.js +2 -0
- package/dist/cli/check.js.map +1 -0
- package/dist/cli/ci.d.ts.map +1 -0
- package/dist/cli/ci.js.map +1 -0
- package/dist/{modality → cli}/cli.d.ts.map +1 -1
- package/dist/{modality → cli}/cli.js +183 -50
- package/dist/cli/cli.js.map +1 -0
- package/dist/cli/codegen/model.d.ts +3 -0
- package/dist/cli/codegen/model.d.ts.map +1 -0
- package/dist/{modality → cli}/codegen/model.js +18 -10
- package/dist/cli/codegen/model.js.map +1 -0
- package/dist/{modality → cli}/codegen/replay-test.d.ts +1 -1
- package/dist/cli/codegen/replay-test.d.ts.map +1 -0
- package/dist/{modality → cli}/codegen/replay-test.js +12 -12
- package/dist/cli/codegen/replay-test.js.map +1 -0
- package/dist/cli/conform.d.ts +3 -0
- package/dist/cli/conform.d.ts.map +1 -0
- package/dist/cli/conform.js +2 -0
- package/dist/cli/conform.js.map +1 -0
- package/dist/cli/defaults.d.ts +13 -0
- package/dist/cli/defaults.d.ts.map +1 -0
- package/dist/cli/defaults.js +57 -0
- package/dist/cli/defaults.js.map +1 -0
- package/dist/cli/export-tla.d.ts +3 -0
- package/dist/cli/export-tla.d.ts.map +1 -0
- package/dist/cli/export-tla.js +2 -0
- package/dist/cli/export-tla.js.map +1 -0
- package/dist/{modality → cli}/extract.d.ts +1 -1
- package/dist/cli/extract.d.ts.map +1 -0
- package/dist/cli/extract.js.map +1 -0
- package/dist/{modality → cli}/features/check/command.d.ts +3 -2
- package/dist/cli/features/check/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/check/command.js +67 -27
- package/dist/cli/features/check/command.js.map +1 -0
- package/dist/cli/features/check/index.d.ts +3 -0
- package/dist/cli/features/check/index.d.ts.map +1 -0
- package/dist/cli/features/check/index.js +2 -0
- package/dist/cli/features/check/index.js.map +1 -0
- package/dist/cli/features/ci/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/ci/command.js +66 -26
- package/dist/cli/features/ci/command.js.map +1 -0
- package/dist/cli/features/ci/index.d.ts.map +1 -0
- package/dist/cli/features/ci/index.js.map +1 -0
- package/dist/{modality → cli}/features/conform/command.d.ts +1 -1
- package/dist/cli/features/conform/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/conform/command.js +67 -25
- package/dist/cli/features/conform/command.js.map +1 -0
- package/dist/cli/features/conform/index.d.ts.map +1 -0
- package/dist/cli/features/conform/index.js.map +1 -0
- package/dist/{modality → cli}/features/export/command.d.ts +1 -1
- package/dist/cli/features/export/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/export/command.js +72 -27
- package/dist/cli/features/export/command.js.map +1 -0
- package/dist/{modality → cli}/features/export/index.d.ts +2 -2
- package/dist/cli/features/export/index.d.ts.map +1 -0
- package/dist/cli/features/export/index.js +2 -0
- package/dist/cli/features/export/index.js.map +1 -0
- package/dist/{modality → cli}/features/extract/command.d.ts +5 -4
- package/dist/cli/features/extract/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/extract/command.js +295 -82
- package/dist/cli/features/extract/command.js.map +1 -0
- package/dist/{modality → cli}/features/extract/index.d.ts +1 -1
- package/dist/cli/features/extract/index.d.ts.map +1 -0
- package/dist/cli/features/extract/index.js.map +1 -0
- package/dist/cli/features/init/command.d.ts +9 -0
- package/dist/cli/features/init/command.d.ts.map +1 -0
- package/dist/cli/features/init/command.js +23 -0
- package/dist/cli/features/init/command.js.map +1 -0
- package/dist/cli/features/init/index.d.ts +3 -0
- package/dist/cli/features/init/index.d.ts.map +1 -0
- package/dist/cli/features/init/index.js +2 -0
- package/dist/cli/features/init/index.js.map +1 -0
- package/dist/{modality → cli}/features/replay/command.d.ts +1 -1
- package/dist/cli/features/replay/command.d.ts.map +1 -0
- package/dist/{modality → cli}/features/replay/command.js +42 -16
- package/dist/cli/features/replay/command.js.map +1 -0
- package/dist/cli/features/replay/index.d.ts.map +1 -0
- package/dist/cli/features/replay/index.js.map +1 -0
- package/dist/{harness → cli/harness}/index.d.ts +1 -1
- package/dist/cli/harness/index.d.ts.map +1 -0
- package/dist/{harness → cli/harness}/index.js +128 -37
- package/dist/cli/harness/index.js.map +1 -0
- package/dist/{modality → cli}/overlay.d.ts +1 -1
- package/dist/cli/overlay.d.ts.map +1 -0
- package/dist/{modality → cli}/overlay.js +1 -1
- package/dist/cli/overlay.js.map +1 -0
- package/dist/{modality → cli}/registry/index.d.ts +2 -2
- package/dist/cli/registry/index.d.ts.map +1 -0
- package/dist/{modality → cli}/registry/index.js +32 -17
- package/dist/cli/registry/index.js.map +1 -0
- package/dist/cli/replay.d.ts +3 -0
- package/dist/cli/replay.d.ts.map +1 -0
- package/dist/cli/replay.js.map +1 -0
- package/dist/{runtime → cli/runtime}/index.d.ts +1 -1
- package/dist/cli/runtime/index.d.ts.map +1 -0
- package/dist/{runtime → cli/runtime}/index.js +37 -10
- package/dist/cli/runtime/index.js.map +1 -0
- package/dist/core/artifacts/index.d.ts.map +1 -0
- package/dist/{kernel → core}/artifacts/index.js +7 -2
- package/dist/core/artifacts/index.js.map +1 -0
- package/dist/core/index.d.ts.map +1 -0
- package/dist/core/index.js.map +1 -0
- package/dist/core/ir/canonical.d.ts.map +1 -0
- package/dist/{kernel → core}/ir/canonical.js +30 -7
- package/dist/core/ir/canonical.js.map +1 -0
- package/dist/core/ir/domains.d.ts.map +1 -0
- package/dist/{kernel → core}/ir/domains.js +18 -6
- package/dist/core/ir/domains.js.map +1 -0
- package/dist/core/ir/types.d.ts.map +1 -0
- package/dist/{kernel/trace → core/ir}/types.js.map +1 -1
- package/dist/core/ir/validator.d.ts.map +1 -0
- package/dist/{kernel → core}/ir/validator.js +48 -19
- package/dist/core/ir/validator.js.map +1 -0
- package/dist/core/overlay/index.d.ts.map +1 -0
- package/dist/{kernel → core}/overlay/index.js +35 -14
- package/dist/core/overlay/index.js.map +1 -0
- package/dist/core/props/index.d.ts.map +1 -0
- package/dist/{kernel → core}/props/index.js +69 -21
- package/dist/core/props/index.js.map +1 -0
- package/dist/{kernel → core}/report/types.d.ts.map +1 -1
- package/dist/{kernel → core}/report/types.js.map +1 -1
- package/dist/core/trace/types.d.ts.map +1 -0
- package/dist/core/trace/types.js +2 -0
- package/dist/core/trace/types.js.map +1 -0
- package/dist/extract/engine/index.d.ts +4 -0
- package/dist/extract/engine/index.d.ts.map +1 -0
- package/dist/extract/engine/index.js +4 -0
- package/dist/extract/engine/index.js.map +1 -0
- package/dist/{extraction → extract/engine}/pipeline/index.d.ts +1 -2
- package/dist/extract/engine/pipeline/index.d.ts.map +1 -0
- package/dist/{extraction → extract/engine}/pipeline/index.js +55 -18
- package/dist/extract/engine/pipeline/index.js.map +1 -0
- package/dist/{extraction → extract/engine}/spi/index.d.ts +17 -1
- package/dist/extract/engine/spi/index.d.ts.map +1 -0
- package/dist/extract/engine/spi/index.js.map +1 -0
- package/dist/extract/engine/ts/ast.d.ts +23 -0
- package/dist/extract/engine/ts/ast.d.ts.map +1 -0
- package/dist/extract/engine/ts/ast.js +97 -0
- package/dist/extract/engine/ts/ast.js.map +1 -0
- package/dist/extract/engine/ts/components.d.ts +21 -0
- package/dist/extract/engine/ts/components.d.ts.map +1 -0
- package/dist/extract/engine/ts/components.js +287 -0
- package/dist/extract/engine/ts/components.js.map +1 -0
- package/dist/extract/engine/ts/context.d.ts +10 -0
- package/dist/extract/engine/ts/context.d.ts.map +1 -0
- package/dist/extract/engine/ts/context.js +273 -0
- package/dist/extract/engine/ts/context.js.map +1 -0
- package/dist/extract/engine/ts/domains.d.ts +8 -0
- package/dist/extract/engine/ts/domains.d.ts.map +1 -0
- package/dist/extract/engine/ts/domains.js +262 -0
- package/dist/extract/engine/ts/domains.js.map +1 -0
- package/dist/extract/engine/ts/expressions.d.ts +2 -0
- package/dist/extract/engine/ts/expressions.d.ts.map +1 -0
- package/dist/extract/engine/ts/expressions.js +2 -0
- package/dist/extract/engine/ts/expressions.js.map +1 -0
- package/dist/extract/engine/ts/handlers.d.ts +4 -0
- package/dist/extract/engine/ts/handlers.d.ts.map +1 -0
- package/dist/extract/engine/ts/handlers.js +3 -0
- package/dist/extract/engine/ts/handlers.js.map +1 -0
- package/dist/extract/engine/ts/ids.d.ts +7 -0
- package/dist/extract/engine/ts/ids.d.ts.map +1 -0
- package/dist/extract/engine/ts/ids.js +63 -0
- package/dist/extract/engine/ts/ids.js.map +1 -0
- package/dist/extract/engine/ts/input-transitions.d.ts +5 -0
- package/dist/extract/engine/ts/input-transitions.d.ts.map +1 -0
- package/dist/extract/engine/ts/input-transitions.js +132 -0
- package/dist/extract/engine/ts/input-transitions.js.map +1 -0
- package/dist/extract/engine/ts/jsx.d.ts +3 -0
- package/dist/extract/engine/ts/jsx.d.ts.map +1 -0
- package/dist/extract/engine/ts/jsx.js +3 -0
- package/dist/extract/engine/ts/jsx.js.map +1 -0
- package/dist/extract/engine/ts/react-source-transitions.d.ts +24 -0
- package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -0
- package/dist/extract/engine/ts/react-source-transitions.js +243 -0
- package/dist/extract/engine/ts/react-source-transitions.js.map +1 -0
- package/dist/extract/engine/ts/routes.d.ts +9 -0
- package/dist/extract/engine/ts/routes.d.ts.map +1 -0
- package/dist/extract/engine/ts/routes.js +94 -0
- package/dist/extract/engine/ts/routes.js.map +1 -0
- package/dist/extract/engine/ts/source.d.ts +3 -0
- package/dist/extract/engine/ts/source.d.ts.map +1 -0
- package/dist/extract/engine/ts/source.js +5 -0
- package/dist/extract/engine/ts/source.js.map +1 -0
- package/dist/extract/engine/ts/static-navigation.d.ts +5 -0
- package/dist/extract/engine/ts/static-navigation.d.ts.map +1 -0
- package/dist/extract/engine/ts/static-navigation.js +425 -0
- package/dist/extract/engine/ts/static-navigation.js.map +1 -0
- package/dist/extract/engine/ts/transition/async.d.ts +45 -0
- package/dist/extract/engine/ts/transition/async.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/async.js +578 -0
- package/dist/extract/engine/ts/transition/async.js.map +1 -0
- package/dist/extract/engine/ts/transition/component-props.d.ts +26 -0
- package/dist/extract/engine/ts/transition/component-props.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/component-props.js +200 -0
- package/dist/extract/engine/ts/transition/component-props.js.map +1 -0
- package/dist/extract/engine/ts/transition/effects.d.ts +12 -0
- package/dist/extract/engine/ts/transition/effects.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/effects.js +139 -0
- package/dist/extract/engine/ts/transition/effects.js.map +1 -0
- package/dist/extract/engine/ts/transition/expressions.d.ts +34 -0
- package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/expressions.js +374 -0
- package/dist/extract/engine/ts/transition/expressions.js.map +1 -0
- package/dist/extract/engine/ts/transition/guards.d.ts +21 -0
- package/dist/extract/engine/ts/transition/guards.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/guards.js +258 -0
- package/dist/extract/engine/ts/transition/guards.js.map +1 -0
- package/dist/extract/engine/ts/transition/handlers.d.ts +32 -0
- package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/handlers.js +294 -0
- package/dist/extract/engine/ts/transition/handlers.js.map +1 -0
- package/dist/extract/engine/ts/transition/locals.d.ts +20 -0
- package/dist/extract/engine/ts/transition/locals.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/locals.js +123 -0
- package/dist/extract/engine/ts/transition/locals.js.map +1 -0
- package/dist/extract/engine/ts/transition/navigation.d.ts +21 -0
- package/dist/extract/engine/ts/transition/navigation.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/navigation.js +129 -0
- package/dist/extract/engine/ts/transition/navigation.js.map +1 -0
- package/dist/extract/engine/ts/transition/plugin-calls.d.ts +10 -0
- package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/plugin-calls.js +114 -0
- package/dist/extract/engine/ts/transition/plugin-calls.js.map +1 -0
- package/dist/extract/engine/ts/transition/statement-summary.d.ts +34 -0
- package/dist/extract/engine/ts/transition/statement-summary.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/statement-summary.js +502 -0
- package/dist/extract/engine/ts/transition/statement-summary.js.map +1 -0
- package/dist/extract/engine/ts/transition/timers.d.ts +15 -0
- package/dist/extract/engine/ts/transition/timers.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/timers.js +109 -0
- package/dist/extract/engine/ts/transition/timers.js.map +1 -0
- package/dist/extract/engine/ts/transition/ui.d.ts +12 -0
- package/dist/extract/engine/ts/transition/ui.d.ts.map +1 -0
- package/dist/extract/engine/ts/transition/ui.js +113 -0
- package/dist/extract/engine/ts/transition/ui.js.map +1 -0
- package/dist/extract/engine/ts/traversal.d.ts +3 -0
- package/dist/extract/engine/ts/traversal.d.ts.map +1 -0
- package/dist/extract/engine/ts/traversal.js +6 -0
- package/dist/extract/engine/ts/traversal.js.map +1 -0
- package/dist/extract/engine/ts/types.d.ts +46 -0
- package/dist/extract/engine/ts/types.d.ts.map +1 -0
- package/dist/extract/engine/ts/types.js +2 -0
- package/dist/extract/engine/ts/types.js.map +1 -0
- package/dist/extract/index.d.ts +2 -0
- package/dist/extract/index.d.ts.map +1 -0
- package/dist/extract/index.js +2 -0
- package/dist/extract/index.js.map +1 -0
- package/dist/extract/sources/jotai/discover.d.ts +3 -0
- package/dist/extract/sources/jotai/discover.d.ts.map +1 -0
- package/dist/extract/sources/jotai/discover.js +65 -0
- package/dist/extract/sources/jotai/discover.js.map +1 -0
- package/dist/extract/sources/jotai/domains.d.ts +6 -0
- package/dist/extract/sources/jotai/domains.d.ts.map +1 -0
- package/dist/extract/sources/jotai/domains.js +283 -0
- package/dist/extract/sources/jotai/domains.js.map +1 -0
- package/dist/{sources → extract/sources}/jotai/harness.d.ts +2 -2
- package/dist/extract/sources/jotai/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/jotai/harness.js +1 -1
- package/dist/extract/sources/jotai/harness.js.map +1 -0
- package/dist/extract/sources/jotai/index.d.ts +4 -0
- package/dist/extract/sources/jotai/index.d.ts.map +1 -0
- package/dist/extract/sources/jotai/index.js +3 -0
- package/dist/extract/sources/jotai/index.js.map +1 -0
- package/dist/extract/sources/jotai/plugin.d.ts +4 -0
- package/dist/extract/sources/jotai/plugin.d.ts.map +1 -0
- package/dist/extract/sources/jotai/plugin.js +19 -0
- package/dist/extract/sources/jotai/plugin.js.map +1 -0
- package/dist/extract/sources/jotai/transitions.d.ts +15 -0
- package/dist/extract/sources/jotai/transitions.d.ts.map +1 -0
- package/dist/extract/sources/jotai/transitions.js +44 -0
- package/dist/extract/sources/jotai/transitions.js.map +1 -0
- package/dist/extract/sources/jotai/writes.d.ts +8 -0
- package/dist/extract/sources/jotai/writes.d.ts.map +1 -0
- package/dist/extract/sources/jotai/writes.js +173 -0
- package/dist/extract/sources/jotai/writes.js.map +1 -0
- package/dist/{sources → extract/sources}/router/harness.d.ts +1 -1
- package/dist/extract/sources/router/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/router/harness.js +6 -2
- package/dist/extract/sources/router/harness.js.map +1 -0
- package/dist/extract/sources/router/index.d.ts +9 -0
- package/dist/extract/sources/router/index.d.ts.map +1 -0
- package/dist/extract/sources/router/index.js +22 -0
- package/dist/extract/sources/router/index.js.map +1 -0
- package/dist/extract/sources/router/navigation.d.ts +5 -0
- package/dist/extract/sources/router/navigation.d.ts.map +1 -0
- package/dist/extract/sources/router/navigation.js +16 -0
- package/dist/extract/sources/router/navigation.js.map +1 -0
- package/dist/extract/sources/router/routes.d.ts +4 -0
- package/dist/extract/sources/router/routes.d.ts.map +1 -0
- package/dist/extract/sources/router/routes.js +28 -0
- package/dist/extract/sources/router/routes.js.map +1 -0
- package/dist/extract/sources/shared/react-transition-extract.d.ts +13 -0
- package/dist/extract/sources/shared/react-transition-extract.d.ts.map +1 -0
- package/dist/extract/sources/shared/react-transition-extract.js +22 -0
- package/dist/extract/sources/shared/react-transition-extract.js.map +1 -0
- package/dist/extract/sources/swr/discover.d.ts +11 -0
- package/dist/extract/sources/swr/discover.d.ts.map +1 -0
- package/dist/extract/sources/swr/discover.js +175 -0
- package/dist/extract/sources/swr/discover.js.map +1 -0
- package/dist/extract/sources/swr/domains.d.ts +5 -0
- package/dist/extract/sources/swr/domains.d.ts.map +1 -0
- package/dist/extract/sources/swr/domains.js +99 -0
- package/dist/extract/sources/swr/domains.js.map +1 -0
- package/dist/{sources → extract/sources}/swr/harness.d.ts +2 -2
- package/dist/extract/sources/swr/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/swr/harness.js +3 -1
- package/dist/extract/sources/swr/harness.js.map +1 -0
- package/dist/extract/sources/swr/index.d.ts +6 -0
- package/dist/extract/sources/swr/index.d.ts.map +1 -0
- package/dist/extract/sources/swr/index.js +4 -0
- package/dist/extract/sources/swr/index.js.map +1 -0
- package/dist/extract/sources/swr/plugin.d.ts +4 -0
- package/dist/extract/sources/swr/plugin.d.ts.map +1 -0
- package/dist/extract/sources/swr/plugin.js +21 -0
- package/dist/extract/sources/swr/plugin.js.map +1 -0
- package/dist/{sources/swr/index.d.ts → extract/sources/swr/template.d.ts} +4 -6
- package/dist/extract/sources/swr/template.d.ts.map +1 -0
- package/dist/extract/sources/swr/template.js +331 -0
- package/dist/extract/sources/swr/template.js.map +1 -0
- package/dist/extract/sources/swr/transitions.d.ts +15 -0
- package/dist/extract/sources/swr/transitions.d.ts.map +1 -0
- package/dist/extract/sources/swr/transitions.js +43 -0
- package/dist/extract/sources/swr/transitions.js.map +1 -0
- package/dist/extract/sources/swr/writes.d.ts +3 -0
- package/dist/extract/sources/swr/writes.d.ts.map +1 -0
- package/dist/extract/sources/swr/writes.js +54 -0
- package/dist/extract/sources/swr/writes.js.map +1 -0
- package/dist/{sources → extract/sources}/use-state/harness.d.ts +2 -2
- package/dist/extract/sources/use-state/harness.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/use-state/harness.js +1 -1
- package/dist/extract/sources/use-state/harness.js.map +1 -0
- package/dist/extract/sources/use-state/index.d.ts +4 -0
- package/dist/extract/sources/use-state/index.d.ts.map +1 -0
- package/dist/{sources → extract/sources}/use-state/index.js +84 -31
- package/dist/extract/sources/use-state/index.js.map +1 -0
- package/dist/extract/sources/use-state/transitions.d.ts +4 -0
- package/dist/extract/sources/use-state/transitions.d.ts.map +1 -0
- package/dist/extract/sources/use-state/transitions.js +27 -0
- package/dist/extract/sources/use-state/transitions.js.map +1 -0
- package/dist/extract/sources/use-state/types.d.ts +67 -0
- package/dist/extract/sources/use-state/types.d.ts.map +1 -0
- package/dist/extract/sources/use-state/types.js +2 -0
- package/dist/extract/sources/use-state/types.js.map +1 -0
- package/package.json +85 -71
- package/dist/checker/encode/index.d.ts +0 -2
- package/dist/checker/encode/index.d.ts.map +0 -1
- package/dist/checker/encode/index.js +0 -2
- package/dist/checker/encode/index.js.map +0 -1
- package/dist/checker/index.d.ts +0 -6
- package/dist/checker/index.d.ts.map +0 -1
- package/dist/checker/index.js +0 -6
- package/dist/checker/index.js.map +0 -1
- package/dist/checker/monitors/index.d.ts +0 -2
- package/dist/checker/monitors/index.d.ts.map +0 -1
- package/dist/checker/monitors/index.js.map +0 -1
- package/dist/checker/search/eval.d.ts +0 -16
- package/dist/checker/search/eval.d.ts.map +0 -1
- package/dist/checker/search/eval.js +0 -308
- package/dist/checker/search/eval.js.map +0 -1
- package/dist/checker/search/index.d.ts.map +0 -1
- package/dist/checker/search/index.js +0 -556
- package/dist/checker/search/index.js.map +0 -1
- package/dist/checker/slicing/index.d.ts +0 -2
- package/dist/checker/slicing/index.d.ts.map +0 -1
- package/dist/checker/slicing/index.js +0 -2
- package/dist/checker/slicing/index.js.map +0 -1
- package/dist/checker/traces/index.d.ts +0 -2
- package/dist/checker/traces/index.d.ts.map +0 -1
- package/dist/checker/traces/index.js +0 -2
- package/dist/checker/traces/index.js.map +0 -1
- package/dist/extraction/index.d.ts +0 -34
- package/dist/extraction/index.d.ts.map +0 -1
- package/dist/extraction/index.js +0 -2982
- package/dist/extraction/index.js.map +0 -1
- package/dist/extraction/pipeline/index.d.ts.map +0 -1
- package/dist/extraction/pipeline/index.js.map +0 -1
- package/dist/extraction/spi/index.d.ts.map +0 -1
- package/dist/extraction/spi/index.js +0 -2
- package/dist/extraction/spi/index.js.map +0 -1
- package/dist/harness/index.d.ts.map +0 -1
- package/dist/harness/index.js.map +0 -1
- package/dist/kernel/artifacts/index.d.ts.map +0 -1
- package/dist/kernel/artifacts/index.js.map +0 -1
- package/dist/kernel/index.d.ts.map +0 -1
- package/dist/kernel/index.js.map +0 -1
- package/dist/kernel/ir/canonical.d.ts.map +0 -1
- package/dist/kernel/ir/canonical.js.map +0 -1
- package/dist/kernel/ir/domains.d.ts.map +0 -1
- package/dist/kernel/ir/domains.js.map +0 -1
- package/dist/kernel/ir/types.d.ts.map +0 -1
- package/dist/kernel/ir/validator.d.ts.map +0 -1
- package/dist/kernel/ir/validator.js.map +0 -1
- package/dist/kernel/overlay/index.d.ts.map +0 -1
- package/dist/kernel/overlay/index.js.map +0 -1
- package/dist/kernel/props/index.d.ts.map +0 -1
- package/dist/kernel/props/index.js.map +0 -1
- package/dist/kernel/trace/types.d.ts.map +0 -1
- package/dist/modality/check.d.ts +0 -3
- package/dist/modality/check.d.ts.map +0 -1
- package/dist/modality/check.js +0 -2
- package/dist/modality/check.js.map +0 -1
- package/dist/modality/ci.d.ts.map +0 -1
- package/dist/modality/ci.js.map +0 -1
- package/dist/modality/cli.js.map +0 -1
- package/dist/modality/codegen/model.d.ts +0 -3
- package/dist/modality/codegen/model.d.ts.map +0 -1
- package/dist/modality/codegen/model.js.map +0 -1
- package/dist/modality/codegen/replay-test.d.ts.map +0 -1
- package/dist/modality/codegen/replay-test.js.map +0 -1
- package/dist/modality/conform.d.ts +0 -3
- package/dist/modality/conform.d.ts.map +0 -1
- package/dist/modality/conform.js +0 -2
- package/dist/modality/conform.js.map +0 -1
- package/dist/modality/export-tla.d.ts +0 -3
- package/dist/modality/export-tla.d.ts.map +0 -1
- package/dist/modality/export-tla.js +0 -2
- package/dist/modality/export-tla.js.map +0 -1
- package/dist/modality/extract.d.ts.map +0 -1
- package/dist/modality/extract.js.map +0 -1
- package/dist/modality/features/check/command.d.ts.map +0 -1
- package/dist/modality/features/check/command.js.map +0 -1
- package/dist/modality/features/check/index.d.ts +0 -3
- package/dist/modality/features/check/index.d.ts.map +0 -1
- package/dist/modality/features/check/index.js +0 -2
- package/dist/modality/features/check/index.js.map +0 -1
- package/dist/modality/features/ci/command.d.ts.map +0 -1
- package/dist/modality/features/ci/command.js.map +0 -1
- package/dist/modality/features/ci/index.d.ts.map +0 -1
- package/dist/modality/features/ci/index.js.map +0 -1
- package/dist/modality/features/conform/command.d.ts.map +0 -1
- package/dist/modality/features/conform/command.js.map +0 -1
- package/dist/modality/features/conform/index.d.ts.map +0 -1
- package/dist/modality/features/conform/index.js.map +0 -1
- package/dist/modality/features/export/command.d.ts.map +0 -1
- package/dist/modality/features/export/command.js.map +0 -1
- package/dist/modality/features/export/index.d.ts.map +0 -1
- package/dist/modality/features/export/index.js +0 -2
- package/dist/modality/features/export/index.js.map +0 -1
- package/dist/modality/features/extract/command.d.ts.map +0 -1
- package/dist/modality/features/extract/command.js.map +0 -1
- package/dist/modality/features/extract/index.d.ts.map +0 -1
- package/dist/modality/features/extract/index.js.map +0 -1
- package/dist/modality/features/replay/command.d.ts.map +0 -1
- package/dist/modality/features/replay/command.js.map +0 -1
- package/dist/modality/features/replay/index.d.ts.map +0 -1
- package/dist/modality/features/replay/index.js.map +0 -1
- package/dist/modality/overlay.d.ts.map +0 -1
- package/dist/modality/overlay.js.map +0 -1
- package/dist/modality/registry/index.d.ts.map +0 -1
- package/dist/modality/registry/index.js.map +0 -1
- package/dist/modality/replay.d.ts +0 -3
- package/dist/modality/replay.d.ts.map +0 -1
- package/dist/modality/replay.js.map +0 -1
- package/dist/runtime/index.d.ts.map +0 -1
- package/dist/runtime/index.js.map +0 -1
- package/dist/sources/jotai/harness.d.ts.map +0 -1
- package/dist/sources/jotai/harness.js.map +0 -1
- package/dist/sources/jotai/index.d.ts +0 -11
- package/dist/sources/jotai/index.d.ts.map +0 -1
- package/dist/sources/jotai/index.js +0 -432
- package/dist/sources/jotai/index.js.map +0 -1
- package/dist/sources/router/harness.d.ts.map +0 -1
- package/dist/sources/router/harness.js.map +0 -1
- package/dist/sources/router/index.d.ts +0 -15
- package/dist/sources/router/index.d.ts.map +0 -1
- package/dist/sources/router/index.js +0 -41
- package/dist/sources/router/index.js.map +0 -1
- package/dist/sources/swr/harness.d.ts.map +0 -1
- package/dist/sources/swr/harness.js.map +0 -1
- package/dist/sources/swr/index.d.ts.map +0 -1
- package/dist/sources/swr/index.js +0 -528
- package/dist/sources/swr/index.js.map +0 -1
- package/dist/sources/use-state/harness.d.ts.map +0 -1
- package/dist/sources/use-state/harness.js.map +0 -1
- package/dist/sources/use-state/index.d.ts +0 -9
- package/dist/sources/use-state/index.d.ts.map +0 -1
- package/dist/sources/use-state/index.js.map +0 -1
- /package/dist/{kernel/ir → check}/types.js +0 -0
- /package/dist/{modality → cli}/ci.d.ts +0 -0
- /package/dist/{modality → cli}/ci.js +0 -0
- /package/dist/{modality → cli}/cli.d.ts +0 -0
- /package/dist/{modality → cli}/extract.js +0 -0
- /package/dist/{modality → cli}/features/ci/command.d.ts +0 -0
- /package/dist/{modality → cli}/features/ci/index.d.ts +0 -0
- /package/dist/{modality → cli}/features/ci/index.js +0 -0
- /package/dist/{modality → cli}/features/conform/index.d.ts +0 -0
- /package/dist/{modality → cli}/features/conform/index.js +0 -0
- /package/dist/{modality → cli}/features/extract/index.js +0 -0
- /package/dist/{modality → cli}/features/replay/index.d.ts +0 -0
- /package/dist/{modality → cli}/features/replay/index.js +0 -0
- /package/dist/{modality → cli}/replay.js +0 -0
- /package/dist/{kernel → core}/artifacts/index.d.ts +0 -0
- /package/dist/{kernel → core}/index.d.ts +0 -0
- /package/dist/{kernel → core}/index.js +0 -0
- /package/dist/{kernel → core}/ir/canonical.d.ts +0 -0
- /package/dist/{kernel → core}/ir/domains.d.ts +0 -0
- /package/dist/{kernel → core}/ir/types.d.ts +0 -0
- /package/dist/{kernel/report → core/ir}/types.js +0 -0
- /package/dist/{kernel → core}/ir/validator.d.ts +0 -0
- /package/dist/{kernel → core}/overlay/index.d.ts +0 -0
- /package/dist/{kernel → core}/props/index.d.ts +0 -0
- /package/dist/{kernel → core}/report/types.d.ts +0 -0
- /package/dist/{kernel/trace → core/report}/types.js +0 -0
- /package/dist/{kernel → core}/trace/types.d.ts +0 -0
- /package/dist/{checker/monitors → extract/engine/spi}/index.js +0 -0
|
@@ -0,0 +1,258 @@
|
|
|
1
|
+
import * as ts from "typescript";
|
|
2
|
+
import { isPropertyAccessLike, lineAndColumn, literalValue, } from "../ast.js";
|
|
3
|
+
import { unwrapTsExpression, valueExpr } from "./expressions.js";
|
|
4
|
+
import { stringAttribute } from "./ui.js";
|
|
5
|
+
export function applyParsedGuard(transitions, parsed) {
|
|
6
|
+
if (!parsed)
|
|
7
|
+
return transitions;
|
|
8
|
+
return transitions.map((transition) => transition.cls === "user"
|
|
9
|
+
? {
|
|
10
|
+
...transition,
|
|
11
|
+
guard: andGuard(parsed.expr, transition.guard),
|
|
12
|
+
reads: [...new Set([...transition.reads, ...parsed.reads])],
|
|
13
|
+
}
|
|
14
|
+
: transition);
|
|
15
|
+
}
|
|
16
|
+
export function combineParsedGuards(guards) {
|
|
17
|
+
const parsed = guards.filter((guard) => Boolean(guard));
|
|
18
|
+
if (parsed.length === 0)
|
|
19
|
+
return undefined;
|
|
20
|
+
return {
|
|
21
|
+
expr: parsed.map((guard) => guard.expr).reduce(andGuard),
|
|
22
|
+
reads: [...new Set(parsed.flatMap((guard) => guard.reads))],
|
|
23
|
+
};
|
|
24
|
+
}
|
|
25
|
+
export function renderGuardFor(eventAttribute, setters, warnings, source, component, locals = new Map()) {
|
|
26
|
+
const element = jsxElementForAttribute(eventAttribute);
|
|
27
|
+
if (!element)
|
|
28
|
+
return undefined;
|
|
29
|
+
const guards = [];
|
|
30
|
+
let current = element;
|
|
31
|
+
while (current.parent) {
|
|
32
|
+
const parent = current.parent;
|
|
33
|
+
if (ts.isBinaryExpression(parent) &&
|
|
34
|
+
parent.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken &&
|
|
35
|
+
parent.right === current) {
|
|
36
|
+
const parsed = parseConjunctiveGuardExpression(parent.left, setters, locals);
|
|
37
|
+
if (!parsed) {
|
|
38
|
+
warnings.push({
|
|
39
|
+
message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
|
|
40
|
+
...lineAndColumn(source, parent.left),
|
|
41
|
+
});
|
|
42
|
+
return undefined;
|
|
43
|
+
}
|
|
44
|
+
guards.push(parsed);
|
|
45
|
+
current = parent;
|
|
46
|
+
continue;
|
|
47
|
+
}
|
|
48
|
+
if (ts.isConditionalExpression(parent) && parent.whenTrue === current) {
|
|
49
|
+
const parsed = parseConjunctiveGuardExpression(parent.condition, setters, locals);
|
|
50
|
+
if (!parsed) {
|
|
51
|
+
warnings.push({
|
|
52
|
+
message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
|
|
53
|
+
...lineAndColumn(source, parent.condition),
|
|
54
|
+
});
|
|
55
|
+
return undefined;
|
|
56
|
+
}
|
|
57
|
+
guards.push(parsed);
|
|
58
|
+
current = parent;
|
|
59
|
+
continue;
|
|
60
|
+
}
|
|
61
|
+
if (ts.isConditionalExpression(parent) && parent.whenFalse === current) {
|
|
62
|
+
const parsed = parseConjunctiveGuardExpression(parent.condition, setters, locals);
|
|
63
|
+
if (!parsed) {
|
|
64
|
+
warnings.push({
|
|
65
|
+
message: `Unsupported render guard ${component}.${eventAttribute.name.getText(source)}`,
|
|
66
|
+
...lineAndColumn(source, parent.condition),
|
|
67
|
+
});
|
|
68
|
+
return undefined;
|
|
69
|
+
}
|
|
70
|
+
guards.push({
|
|
71
|
+
expr: { kind: "not", args: [parsed.expr] },
|
|
72
|
+
reads: parsed.reads,
|
|
73
|
+
});
|
|
74
|
+
current = parent;
|
|
75
|
+
continue;
|
|
76
|
+
}
|
|
77
|
+
if (ts.isParenthesizedExpression(parent) ||
|
|
78
|
+
ts.isJsxExpression(parent) ||
|
|
79
|
+
ts.isJsxElement(parent) ||
|
|
80
|
+
ts.isJsxFragment(parent)) {
|
|
81
|
+
current = parent;
|
|
82
|
+
continue;
|
|
83
|
+
}
|
|
84
|
+
return combineParsedGuards(guards);
|
|
85
|
+
}
|
|
86
|
+
return combineParsedGuards(guards);
|
|
87
|
+
}
|
|
88
|
+
export function jsxElementForAttribute(attribute) {
|
|
89
|
+
const attrs = attribute.parent;
|
|
90
|
+
if (!ts.isJsxAttributes(attrs))
|
|
91
|
+
return undefined;
|
|
92
|
+
const element = attrs.parent;
|
|
93
|
+
if (ts.isJsxOpeningElement(element) && ts.isJsxElement(element.parent))
|
|
94
|
+
return element.parent;
|
|
95
|
+
return ts.isJsxSelfClosingElement(element) ? element : undefined;
|
|
96
|
+
}
|
|
97
|
+
export function disabledGuardFor(eventAttribute, setters, warnings, source, component, locals = new Map()) {
|
|
98
|
+
const attrs = eventAttribute.parent;
|
|
99
|
+
if (!ts.isJsxAttributes(attrs))
|
|
100
|
+
return undefined;
|
|
101
|
+
const disabled = attrs.properties.find((property) => ts.isJsxAttribute(property) &&
|
|
102
|
+
ts.isIdentifier(property.name) &&
|
|
103
|
+
(property.name.text === "disabled" ||
|
|
104
|
+
property.name.text === "aria-disabled")) ?? submitButtonDisabledAttribute(eventAttribute);
|
|
105
|
+
if (!disabled)
|
|
106
|
+
return undefined;
|
|
107
|
+
const parsed = jsxAttributeBoolean(disabled, setters, locals);
|
|
108
|
+
if (!parsed) {
|
|
109
|
+
warnings.push({
|
|
110
|
+
message: `Unsupported disabled guard ${component}.${eventAttribute.name.getText(source)}`,
|
|
111
|
+
...lineAndColumn(source, disabled),
|
|
112
|
+
});
|
|
113
|
+
return undefined;
|
|
114
|
+
}
|
|
115
|
+
return { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads };
|
|
116
|
+
}
|
|
117
|
+
export function submitButtonDisabledAttribute(eventAttribute) {
|
|
118
|
+
if (!ts.isIdentifier(eventAttribute.name) ||
|
|
119
|
+
eventAttribute.name.text !== "onSubmit")
|
|
120
|
+
return undefined;
|
|
121
|
+
const element = jsxElementForAttribute(eventAttribute);
|
|
122
|
+
if (!element || !ts.isJsxElement(element))
|
|
123
|
+
return undefined;
|
|
124
|
+
let found;
|
|
125
|
+
const visit = (node) => {
|
|
126
|
+
if (found)
|
|
127
|
+
return;
|
|
128
|
+
if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
|
|
129
|
+
const tag = ts.isIdentifier(node.tagName) ? node.tagName.text : undefined;
|
|
130
|
+
if (tag === "button" &&
|
|
131
|
+
stringAttribute(node.attributes, "type") === "submit") {
|
|
132
|
+
found = node.attributes.properties.find((property) => ts.isJsxAttribute(property) &&
|
|
133
|
+
ts.isIdentifier(property.name) &&
|
|
134
|
+
(property.name.text === "disabled" ||
|
|
135
|
+
property.name.text === "aria-disabled"));
|
|
136
|
+
if (found)
|
|
137
|
+
return;
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
ts.forEachChild(node, visit);
|
|
141
|
+
};
|
|
142
|
+
visit(element);
|
|
143
|
+
return found;
|
|
144
|
+
}
|
|
145
|
+
export function jsxAttributeBoolean(attribute, setters, locals = new Map()) {
|
|
146
|
+
if (!attribute.initializer)
|
|
147
|
+
return { expr: { kind: "lit", value: true }, reads: [] };
|
|
148
|
+
if (ts.isStringLiteral(attribute.initializer))
|
|
149
|
+
return {
|
|
150
|
+
expr: { kind: "lit", value: attribute.initializer.text === "true" },
|
|
151
|
+
reads: [],
|
|
152
|
+
};
|
|
153
|
+
if (!ts.isJsxExpression(attribute.initializer) ||
|
|
154
|
+
!attribute.initializer.expression)
|
|
155
|
+
return undefined;
|
|
156
|
+
return parseConjunctiveGuardExpression(attribute.initializer.expression, setters, locals);
|
|
157
|
+
}
|
|
158
|
+
export function parseGuardExpression(expression, setters, locals = new Map()) {
|
|
159
|
+
const unwrapped = unwrapTsExpression(expression);
|
|
160
|
+
if (unwrapped !== expression)
|
|
161
|
+
return parseGuardExpression(unwrapped, setters, locals);
|
|
162
|
+
if (expression.kind === ts.SyntaxKind.TrueKeyword)
|
|
163
|
+
return { expr: { kind: "lit", value: true }, reads: [] };
|
|
164
|
+
if (expression.kind === ts.SyntaxKind.FalseKeyword)
|
|
165
|
+
return { expr: { kind: "lit", value: false }, reads: [] };
|
|
166
|
+
if (ts.isIdentifier(expression) || isPropertyAccessLike(expression))
|
|
167
|
+
return valueExpr(expression, setters, locals);
|
|
168
|
+
if (ts.isPrefixUnaryExpression(expression) &&
|
|
169
|
+
expression.operator === ts.SyntaxKind.ExclamationToken) {
|
|
170
|
+
const parsed = parseGuardExpression(expression.operand, setters, locals);
|
|
171
|
+
return parsed
|
|
172
|
+
? { expr: { kind: "not", args: [parsed.expr] }, reads: parsed.reads }
|
|
173
|
+
: undefined;
|
|
174
|
+
}
|
|
175
|
+
if (ts.isParenthesizedExpression(expression))
|
|
176
|
+
return parseGuardExpression(expression.expression, setters, locals);
|
|
177
|
+
if (ts.isBinaryExpression(expression))
|
|
178
|
+
return parseBinaryGuardExpression(expression, setters, locals);
|
|
179
|
+
return undefined;
|
|
180
|
+
}
|
|
181
|
+
export function parseBinaryGuardExpression(expression, setters, locals = new Map()) {
|
|
182
|
+
if (expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
|
|
183
|
+
expression.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
|
|
184
|
+
const left = parseGuardExpression(expression.left, setters, locals);
|
|
185
|
+
const right = parseGuardExpression(expression.right, setters, locals);
|
|
186
|
+
if (!left || !right)
|
|
187
|
+
return undefined;
|
|
188
|
+
return {
|
|
189
|
+
expr: {
|
|
190
|
+
kind: expression.operatorToken.kind ===
|
|
191
|
+
ts.SyntaxKind.AmpersandAmpersandToken
|
|
192
|
+
? "and"
|
|
193
|
+
: "or",
|
|
194
|
+
args: [left.expr, right.expr],
|
|
195
|
+
},
|
|
196
|
+
reads: [...new Set([...left.reads, ...right.reads])],
|
|
197
|
+
};
|
|
198
|
+
}
|
|
199
|
+
if (expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
|
|
200
|
+
expression.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken ||
|
|
201
|
+
expression.operatorToken.kind ===
|
|
202
|
+
ts.SyntaxKind.ExclamationEqualsEqualsToken ||
|
|
203
|
+
expression.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken) {
|
|
204
|
+
const left = parseGuardOperand(expression.left, setters, locals);
|
|
205
|
+
const right = parseGuardOperand(expression.right, setters, locals);
|
|
206
|
+
if (!left || !right)
|
|
207
|
+
return undefined;
|
|
208
|
+
return {
|
|
209
|
+
expr: {
|
|
210
|
+
kind: expression.operatorToken.kind ===
|
|
211
|
+
ts.SyntaxKind.ExclamationEqualsEqualsToken ||
|
|
212
|
+
expression.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken
|
|
213
|
+
? "neq"
|
|
214
|
+
: "eq",
|
|
215
|
+
args: [left.expr, right.expr],
|
|
216
|
+
},
|
|
217
|
+
reads: [...new Set([...left.reads, ...right.reads])],
|
|
218
|
+
};
|
|
219
|
+
}
|
|
220
|
+
return undefined;
|
|
221
|
+
}
|
|
222
|
+
export function parseGuardOperand(expression, setters, locals = new Map()) {
|
|
223
|
+
const unwrapped = unwrapTsExpression(expression);
|
|
224
|
+
if (unwrapped !== expression)
|
|
225
|
+
return parseGuardOperand(unwrapped, setters, locals);
|
|
226
|
+
const value = literalValue(expression);
|
|
227
|
+
if (value !== undefined)
|
|
228
|
+
return { expr: { kind: "lit", value }, reads: [] };
|
|
229
|
+
if (ts.isIdentifier(expression) || isPropertyAccessLike(expression))
|
|
230
|
+
return valueExpr(expression, setters, locals);
|
|
231
|
+
return parseGuardExpression(expression, setters, locals);
|
|
232
|
+
}
|
|
233
|
+
export function parseConjunctiveGuardExpression(expression, setters, locals = new Map()) {
|
|
234
|
+
const unwrapped = unwrapTsExpression(expression);
|
|
235
|
+
if (unwrapped !== expression)
|
|
236
|
+
return parseConjunctiveGuardExpression(unwrapped, setters, locals);
|
|
237
|
+
if (ts.isParenthesizedExpression(expression))
|
|
238
|
+
return parseConjunctiveGuardExpression(expression.expression, setters, locals);
|
|
239
|
+
if (ts.isBinaryExpression(expression) &&
|
|
240
|
+
expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
|
|
241
|
+
return combineParsedGuards([
|
|
242
|
+
parseConjunctiveGuardExpression(expression.left, setters, locals),
|
|
243
|
+
parseConjunctiveGuardExpression(expression.right, setters, locals),
|
|
244
|
+
]);
|
|
245
|
+
}
|
|
246
|
+
return parseGuardExpression(expression, setters, locals);
|
|
247
|
+
}
|
|
248
|
+
export function andGuard(left, right) {
|
|
249
|
+
if (isTrueLiteral(left))
|
|
250
|
+
return right;
|
|
251
|
+
if (isTrueLiteral(right))
|
|
252
|
+
return left;
|
|
253
|
+
return { kind: "and", args: [left, right] };
|
|
254
|
+
}
|
|
255
|
+
export function isTrueLiteral(expr) {
|
|
256
|
+
return expr.kind === "lit" && expr.value === true;
|
|
257
|
+
}
|
|
258
|
+
//# sourceMappingURL=guards.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"guards.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/guards.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAO1C,MAAM,UAAU,gBAAgB,CAC9B,WAAyB,EACzB,MAA+B;IAE/B,IAAI,CAAC,MAAM;QAAE,OAAO,WAAW,CAAC;IAChC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACpC,UAAU,CAAC,GAAG,KAAK,MAAM;QACvB,CAAC,CAAC;YACE,GAAG,UAAU;YACb,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC;YAC9C,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;SAC5D;QACH,CAAC,CAAC,UAAU,CACf,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAA4C;IAE5C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAwB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QACxD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,cAA+B,EAC/B,OAAmC,EACnC,QAA6B,EAC7B,MAAqB,EACrB,SAAiB,EACjB,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,OAAO,GAAG,sBAAsB,CAAC,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,OAAO,GAAY,OAAO,CAAC;IAC/B,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,IACE,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC7B,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YACnE,MAAM,CAAC,KAAK,KAAK,OAAO,EACxB,CAAC;YACD,MAAM,MAAM,GAAG,+BAA+B,CAC5C,MAAM,CAAC,IAAI,EACX,OAAO,EACP,MAAM,CACP,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,4BAA4B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACvF,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC;iBACtC,CAAC,CAAC;gBACH,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACtE,MAAM,MAAM,GAAG,+BAA+B,CAC5C,MAAM,CAAC,SAAS,EAChB,OAAO,EACP,MAAM,CACP,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,4BAA4B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACvF,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;iBAC3C,CAAC,CAAC;gBACH,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,+BAA+B,CAC5C,MAAM,CAAC,SAAS,EAChB,OAAO,EACP,MAAM,CACP,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,4BAA4B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBACvF,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;iBAC3C,CAAC,CAAC;gBACH,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;gBAC1C,KAAK,EAAE,MAAM,CAAC,KAAK;aACpB,CAAC,CAAC;YACH,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IACE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAC1B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YACvB,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EACxB,CAAC;YACD,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,SAA0B;IAE1B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7B,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC;QACpE,OAAO,OAAO,CAAC,MAAM,CAAC;IACxB,OAAO,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,cAA+B,EAC/B,OAAmC,EACnC,QAA6B,EAC7B,MAAqB,EACrB,SAAiB,EACjB,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC;IACpC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,QAAQ,GACZ,KAAK,CAAC,UAAU,CAAC,IAAI,CACnB,CAAC,QAAQ,EAA+B,EAAE,CACxC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9B,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;YAChC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAC5C,IAAI,6BAA6B,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,8BAA8B,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;YACzF,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC;SACnC,CAAC,CAAC;QACH,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,cAA+B;IAE/B,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAEvC,OAAO,SAAS,CAAC;IACnB,MAAM,OAAO,GAAG,sBAAsB,CAAC,cAAc,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,KAAkC,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1E,IACE,GAAG,KAAK,QAAQ;gBAChB,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,QAAQ,EACrD,CAAC;gBACD,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACrC,CAAC,QAAQ,EAA+B,EAAE,CACxC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;oBAC3B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAC9B,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;wBAChC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAC5C,CAAC;gBACF,IAAI,KAAK;oBAAE,OAAO;YACpB,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,SAA0B,EAC1B,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IAAI,CAAC,SAAS,CAAC,WAAW;QACxB,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3D,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC3C,OAAO;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE;YACnE,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1C,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;QAEjC,OAAO,SAAS,CAAC;IACnB,OAAO,+BAA+B,CACpC,SAAS,CAAC,WAAW,CAAC,UAAU,EAChC,OAAO,EACP,MAAM,CACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAyB,EACzB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,UAAU;QAC1B,OAAO,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1D,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC/C,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAChD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACjE,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,IACE,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC;QACtC,UAAU,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACtD,CAAC;QACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACzE,OAAO,MAAM;YACX,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACrE,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1C,OAAO,oBAAoB,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACtE,IAAI,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACnC,OAAO,0BAA0B,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACjE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAA+B,EAC/B,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IACE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QACvE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAC3D,CAAC;QACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,oBAAoB,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EACF,UAAU,CAAC,aAAa,CAAC,IAAI;oBAC7B,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACnC,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI;gBACV,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;aAC9B;YACD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;SACrD,CAAC;IACJ,CAAC;IACD,IACE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QACvE,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QACjE,UAAU,CAAC,aAAa,CAAC,IAAI;YAC3B,EAAE,CAAC,UAAU,CAAC,4BAA4B;QAC5C,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EACtE,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,iBAAiB,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EACF,UAAU,CAAC,aAAa,CAAC,IAAI;oBAC3B,EAAE,CAAC,UAAU,CAAC,4BAA4B;oBAC5C,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;oBACpE,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI;gBACV,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;aAC9B;YACD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;SACrD,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,UAAyB,EACzB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC;QACjE,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,UAAyB,EACzB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,UAAU;QAC1B,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrE,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC1C,OAAO,+BAA+B,CACpC,UAAU,CAAC,UAAU,EACrB,OAAO,EACP,MAAM,CACP,CAAC;IACJ,IACE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACjC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACvE,CAAC;QACD,OAAO,mBAAmB,CAAC;YACzB,+BAA+B,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;YACjE,+BAA+B,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC;SACnE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAa;IAClD,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;AACpD,CAAC"}
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
import type { AbstractDomain, ExprIR, Locator, Transition, Value } from "modality-ts/core";
|
|
2
|
+
import * as ts from "typescript";
|
|
3
|
+
import type { RouterPlugin, StateSourcePlugin } from "../../spi/index.js";
|
|
4
|
+
import type { BoundExpr, ComponentDecl, ContextBindings, ExtractableHandler, ExtractionWarning, SetterBinding } from "../types.js";
|
|
5
|
+
import { type ParsedGuard } from "./guards.js";
|
|
6
|
+
export declare function transitionsFromJsxAttribute(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, effectApis: Set<string>, asyncOutcomes: Record<string, {
|
|
7
|
+
success: Value;
|
|
8
|
+
error?: Value;
|
|
9
|
+
}>, sourcePlugins: readonly StateSourcePlugin[], routerPlugin: RouterPlugin | undefined, disabledGuard: ParsedGuard | undefined, routePatterns: readonly string[], contextBindings: ContextBindings, warnings: ExtractionWarning[]): Transition[];
|
|
10
|
+
export declare function transitionsFromComponentPropAttribute(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, components: Map<string, ComponentDecl>, component: string, effectApis: Set<string>, asyncOutcomes: Record<string, {
|
|
11
|
+
success: Value;
|
|
12
|
+
error?: Value;
|
|
13
|
+
}>, sourcePlugins: readonly StateSourcePlugin[], routerPlugin: RouterPlugin | undefined, warnings: ExtractionWarning[]): Transition[];
|
|
14
|
+
export declare function transitionsFromBoundedListAttribute(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, listInfo: {
|
|
15
|
+
varId: string;
|
|
16
|
+
domain: Extract<AbstractDomain, {
|
|
17
|
+
kind: "boundedList";
|
|
18
|
+
}>;
|
|
19
|
+
itemName: string;
|
|
20
|
+
}): Transition[];
|
|
21
|
+
export declare function readListItemBinding(varId: string, index: number): BoundExpr;
|
|
22
|
+
export declare function boundedListIndexGuard(varId: string, index: number): ExprIR;
|
|
23
|
+
export declare function transitionsFromResolvedHandler(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, effectApis: Set<string>, asyncOutcomes: Record<string, {
|
|
24
|
+
success: Value;
|
|
25
|
+
error?: Value;
|
|
26
|
+
}>, sourcePlugins: readonly StateSourcePlugin[], routerPlugin: RouterPlugin | undefined, disabledGuard: ParsedGuard | undefined, locator: Locator | undefined, routePatterns: readonly string[], contextBindings: ContextBindings, warnings: ExtractionWarning[]): Transition[];
|
|
27
|
+
export declare function sequentialTransitionFromHandler(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, handlers: Map<string, ExtractableHandler>, component: string, locator: Locator | undefined): Transition | undefined;
|
|
28
|
+
export declare function loopWriteTransitions(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, component: string, locator: Locator | undefined): Transition[];
|
|
29
|
+
export declare function conditionalTransitionFromHandler(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, handler: ExtractableHandler, setters: Map<string, SetterBinding>, component: string, locator: Locator | undefined): Transition | undefined;
|
|
30
|
+
export declare function stateNameForVar(varId: string, setters: Map<string, SetterBinding>): string | undefined;
|
|
31
|
+
export declare function escapedSetterTransitions(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, setters: readonly SetterBinding[], locator: Locator | undefined): Transition[];
|
|
32
|
+
//# sourceMappingURL=handlers.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/handlers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,MAAM,EACN,OAAO,EACP,UAAU,EACV,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAM1E,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACd,MAAM,aAAa,CAAC;AAsBrB,OAAO,EAIL,KAAK,WAAW,EAGjB,MAAM,aAAa,CAAC;AAuBrB,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,EAChE,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,aAAa,EAAE,WAAW,GAAG,SAAS,EACtC,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CAgCd;AAED,wBAAgB,qCAAqC,CACnD,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACtC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,EAChE,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CA0Cd;AAED,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE;IACR,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE;QAAE,IAAI,EAAE,aAAa,CAAA;KAAE,CAAC,CAAC;IACzD,QAAQ,EAAE,MAAM,CAAC;CAClB,GACA,UAAU,EAAE,CAiDd;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAK3E;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAQ1E;AAED,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,EAChE,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,aAAa,EAAE,WAAW,GAAG,SAAS,EACtC,OAAO,EAAE,OAAO,GAAG,SAAS,EAC5B,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CAiMd;AAED,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,GAAG,SAAS,CAyBxB;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,EAAE,CAuBd;AAED,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,GAAG,SAAS,CA2CxB;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,MAAM,GAAG,SAAS,CAGpB;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,SAAS,aAAa,EAAE,EACjC,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,EAAE,CAYd"}
|
|
@@ -0,0 +1,294 @@
|
|
|
1
|
+
import * as ts from "typescript";
|
|
2
|
+
import { lineAndColumn } from "../ast.js";
|
|
3
|
+
import { handlerExpression, jsxTagName } from "../components.js";
|
|
4
|
+
import { emptyContextBindings } from "../context.js";
|
|
5
|
+
import { safeId, tagStableIdKey, uniqueStrings } from "../ids.js";
|
|
6
|
+
import { inputTransitions } from "../input-transitions.js";
|
|
7
|
+
import { containsAwaitedEffect, containsAwaitInLoop, transitionsFromAsyncHandler, } from "./async.js";
|
|
8
|
+
import { componentPropTrigger, transparentComponentPropTrigger, } from "./component-props.js";
|
|
9
|
+
import { effectWriteVars, escapedSetters, havocSetterTransition, identityEffect, isLoopStatement, setterCallFrom, settersWrittenIn, singleSetterEffect, uniqueSetters, } from "./effects.js";
|
|
10
|
+
import { setterArgumentExpr } from "./expressions.js";
|
|
11
|
+
import { applyParsedGuard, combineParsedGuards, disabledGuardFor, parseGuardExpression, renderGuardFor, } from "./guards.js";
|
|
12
|
+
import { callSummaryFromHandler, componentGuardLocalsFor, componentScopeLocalsFor, inlinedHelperCall, } from "./locals.js";
|
|
13
|
+
import { navigationTransition } from "./navigation.js";
|
|
14
|
+
import { noopCallTransition, pluginWriteTransition, swrMutateTransition, } from "./plugin-calls.js";
|
|
15
|
+
import { effectFromSummaries, summarizeHandlerStatements, } from "./statement-summary.js";
|
|
16
|
+
import { isInputValueExpression, labelForEvent, locatorForEventAttribute, } from "./ui.js";
|
|
17
|
+
export function transitionsFromJsxAttribute(source, fileName, node, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, routePatterns, contextBindings, warnings) {
|
|
18
|
+
if (!node.initializer)
|
|
19
|
+
return [];
|
|
20
|
+
const expression = ts.isJsxExpression(node.initializer)
|
|
21
|
+
? node.initializer.expression
|
|
22
|
+
: undefined;
|
|
23
|
+
const handler = handlerExpression(expression, handlers);
|
|
24
|
+
if (!handler)
|
|
25
|
+
return [];
|
|
26
|
+
if (!ts.isIdentifier(node.name))
|
|
27
|
+
return [];
|
|
28
|
+
const attr = node.name.text;
|
|
29
|
+
const locator = locatorForEventAttribute(node);
|
|
30
|
+
return tagStableIdKey(transitionsFromResolvedHandler(source, fileName, node, attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, locator, routePatterns, contextBindings, warnings), handler);
|
|
31
|
+
}
|
|
32
|
+
export function transitionsFromComponentPropAttribute(source, fileName, node, setters, handlers, components, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, warnings) {
|
|
33
|
+
if (!node.initializer || !ts.isIdentifier(node.name))
|
|
34
|
+
return [];
|
|
35
|
+
const tag = jsxTagName(node);
|
|
36
|
+
if (!tag)
|
|
37
|
+
return [];
|
|
38
|
+
const callee = components.get(tag);
|
|
39
|
+
if (!callee)
|
|
40
|
+
return [];
|
|
41
|
+
const trigger = componentPropTrigger(source, callee, node.name.text, setters, warnings) ??
|
|
42
|
+
transparentComponentPropTrigger(callee, node.name.text);
|
|
43
|
+
if (!trigger)
|
|
44
|
+
return [];
|
|
45
|
+
const expression = ts.isJsxExpression(node.initializer)
|
|
46
|
+
? node.initializer.expression
|
|
47
|
+
: undefined;
|
|
48
|
+
const handler = handlerExpression(expression, handlers);
|
|
49
|
+
if (!handler)
|
|
50
|
+
return [];
|
|
51
|
+
const guardLocals = componentGuardLocalsFor(node, setters);
|
|
52
|
+
const callerGuard = combineParsedGuards([
|
|
53
|
+
renderGuardFor(node, setters, warnings, source, component, guardLocals),
|
|
54
|
+
disabledGuardFor(node, setters, warnings, source, component, guardLocals),
|
|
55
|
+
]);
|
|
56
|
+
return tagStableIdKey(transitionsFromResolvedHandler(source, fileName, node, trigger.attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, combineParsedGuards([trigger.guard, callerGuard]), trigger.locator, [], emptyContextBindings(), warnings), handler);
|
|
57
|
+
}
|
|
58
|
+
export function transitionsFromBoundedListAttribute(source, fileName, node, setters, handlers, component, listInfo) {
|
|
59
|
+
if (!node.initializer || !ts.isIdentifier(node.name))
|
|
60
|
+
return [];
|
|
61
|
+
const expression = ts.isJsxExpression(node.initializer)
|
|
62
|
+
? node.initializer.expression
|
|
63
|
+
: undefined;
|
|
64
|
+
const handler = handlerExpression(expression, handlers);
|
|
65
|
+
if (!handler)
|
|
66
|
+
return [];
|
|
67
|
+
const attr = node.name.text;
|
|
68
|
+
const summary = callSummaryFromHandler(handler, setters, new Map([[listInfo.itemName, readListItemBinding(listInfo.varId, 0)]]));
|
|
69
|
+
if (!summary)
|
|
70
|
+
return [];
|
|
71
|
+
const setterCall = setterCallFrom(summary.call, setters);
|
|
72
|
+
if (!setterCall)
|
|
73
|
+
return [];
|
|
74
|
+
const baseLocator = locatorForEventAttribute(node);
|
|
75
|
+
const transitions = [];
|
|
76
|
+
for (let index = 0; index < listInfo.domain.maxLen; index += 1) {
|
|
77
|
+
const locals = new Map(summary.locals);
|
|
78
|
+
locals.set(listInfo.itemName, readListItemBinding(listInfo.varId, index));
|
|
79
|
+
const assigned = setterArgumentExpr(setterCall.argument, setterCall.setter, setters, locals);
|
|
80
|
+
if (!assigned)
|
|
81
|
+
return [];
|
|
82
|
+
const locator = baseLocator
|
|
83
|
+
? { kind: "positional", base: baseLocator, index }
|
|
84
|
+
: undefined;
|
|
85
|
+
const guard = boundedListIndexGuard(listInfo.varId, index);
|
|
86
|
+
transitions.push({
|
|
87
|
+
id: `${component}.${attr}.${setterCall.setter.stateName}.${index}`,
|
|
88
|
+
cls: "user",
|
|
89
|
+
label: labelForEvent(attr, locator),
|
|
90
|
+
source: [{ file: fileName, ...lineAndColumn(source, node) }],
|
|
91
|
+
guard,
|
|
92
|
+
effect: {
|
|
93
|
+
kind: "assign",
|
|
94
|
+
var: setterCall.setter.varId,
|
|
95
|
+
expr: assigned.expr,
|
|
96
|
+
},
|
|
97
|
+
reads: uniqueStrings([listInfo.varId, ...assigned.reads]),
|
|
98
|
+
writes: [setterCall.setter.varId],
|
|
99
|
+
confidence: index <= 1 ? "exact" : "over-approx",
|
|
100
|
+
});
|
|
101
|
+
}
|
|
102
|
+
return transitions;
|
|
103
|
+
}
|
|
104
|
+
export function readListItemBinding(varId, index) {
|
|
105
|
+
return {
|
|
106
|
+
expr: { kind: "read", var: varId, path: [String(index)] },
|
|
107
|
+
reads: [varId],
|
|
108
|
+
};
|
|
109
|
+
}
|
|
110
|
+
export function boundedListIndexGuard(varId, index) {
|
|
111
|
+
const len = {
|
|
112
|
+
kind: "lenCat",
|
|
113
|
+
arg: { kind: "read", var: varId },
|
|
114
|
+
};
|
|
115
|
+
if (index === 0)
|
|
116
|
+
return { kind: "neq", args: [len, { kind: "lit", value: "0" }] };
|
|
117
|
+
return { kind: "eq", args: [len, { kind: "lit", value: "many" }] };
|
|
118
|
+
}
|
|
119
|
+
export function transitionsFromResolvedHandler(source, fileName, node, attr, handler, setters, handlers, component, effectApis, asyncOutcomes, sourcePlugins, routerPlugin, disabledGuard, locator, routePatterns, contextBindings, warnings) {
|
|
120
|
+
if (containsAwaitInLoop(handler)) {
|
|
121
|
+
warnings.push({
|
|
122
|
+
message: `Unextractable handler ${component}.${attr}`,
|
|
123
|
+
...lineAndColumn(source, handler),
|
|
124
|
+
});
|
|
125
|
+
return [];
|
|
126
|
+
}
|
|
127
|
+
const asyncTransitions = transitionsFromAsyncHandler(source, fileName, attr, handler, setters, component, effectApis, asyncOutcomes, locator, routePatterns, warnings);
|
|
128
|
+
if (asyncTransitions.length > 0)
|
|
129
|
+
return applyParsedGuard(asyncTransitions, disabledGuard);
|
|
130
|
+
if (ts.isBlock(handler.body) &&
|
|
131
|
+
containsAwaitedEffect(handler.body.statements, effectApis)) {
|
|
132
|
+
warnings.push({
|
|
133
|
+
message: `Unextractable handler ${component}.${attr}`,
|
|
134
|
+
...lineAndColumn(source, handler),
|
|
135
|
+
});
|
|
136
|
+
return [];
|
|
137
|
+
}
|
|
138
|
+
const conditionalTransition = conditionalTransitionFromHandler(source, fileName, node, attr, handler, setters, component, locator);
|
|
139
|
+
if (conditionalTransition)
|
|
140
|
+
return applyParsedGuard([conditionalTransition], disabledGuard);
|
|
141
|
+
const sequentialTransition = sequentialTransitionFromHandler(source, fileName, node, attr, handler, setters, handlers, component, locator);
|
|
142
|
+
if (sequentialTransition)
|
|
143
|
+
return applyParsedGuard([sequentialTransition], disabledGuard);
|
|
144
|
+
const loopTransitions = loopWriteTransitions(source, fileName, node, attr, handler, setters, component, locator);
|
|
145
|
+
if (loopTransitions.length > 0)
|
|
146
|
+
return applyParsedGuard(loopTransitions, disabledGuard);
|
|
147
|
+
const summary = callSummaryFromHandler(handler, setters, componentScopeLocalsFor(node, setters, contextBindings));
|
|
148
|
+
if (!summary)
|
|
149
|
+
return [];
|
|
150
|
+
const inlined = inlinedHelperCall(summary.call, handlers, setters);
|
|
151
|
+
const inlinedCall = inlined?.call ?? summary.call;
|
|
152
|
+
const locals = inlined?.locals ?? summary.locals;
|
|
153
|
+
const navigation = navigationTransition(source, fileName, node, attr, component, inlinedCall, locator, routerPlugin, routePatterns);
|
|
154
|
+
if (navigation)
|
|
155
|
+
return applyParsedGuard([navigation], disabledGuard);
|
|
156
|
+
const pluginWrite = pluginWriteTransition(source, fileName, node, attr, component, inlinedCall, setters, locals, sourcePlugins, locator);
|
|
157
|
+
if (pluginWrite)
|
|
158
|
+
return applyParsedGuard([pluginWrite], disabledGuard);
|
|
159
|
+
const swrMutate = swrMutateTransition(source, fileName, node, attr, component, inlinedCall, locator);
|
|
160
|
+
if (swrMutate)
|
|
161
|
+
return applyParsedGuard([swrMutate], disabledGuard);
|
|
162
|
+
const noop = noopCallTransition(source, fileName, node, attr, component, inlinedCall, locator);
|
|
163
|
+
if (noop)
|
|
164
|
+
return applyParsedGuard([noop], disabledGuard);
|
|
165
|
+
const setterCall = setterCallFrom(inlinedCall, setters);
|
|
166
|
+
if (!setterCall) {
|
|
167
|
+
const escaped = escapedSetters(inlinedCall, setters, locals);
|
|
168
|
+
if (escaped.length === 0)
|
|
169
|
+
return [];
|
|
170
|
+
return applyParsedGuard(escapedSetterTransitions(source, fileName, node, attr, component, escaped, locator), disabledGuard);
|
|
171
|
+
}
|
|
172
|
+
const { setter, argument } = setterCall;
|
|
173
|
+
if ((attr === "onChange" || attr === "onInput") &&
|
|
174
|
+
isInputValueExpression(inlinedCall.arguments[0], handler.parameters[0])) {
|
|
175
|
+
return applyParsedGuard(inputTransitions(source, fileName, node, attr, component, setter, locator), disabledGuard);
|
|
176
|
+
}
|
|
177
|
+
const assignment = setterArgumentExpr(argument, setter, setters, locals);
|
|
178
|
+
if (!assignment) {
|
|
179
|
+
return applyParsedGuard([
|
|
180
|
+
havocSetterTransition(source, fileName, node, attr, component, setter, locator, "unrepresentable"),
|
|
181
|
+
], disabledGuard);
|
|
182
|
+
}
|
|
183
|
+
return applyParsedGuard([
|
|
184
|
+
{
|
|
185
|
+
id: `${component}.${attr}.${setter.stateName}`,
|
|
186
|
+
cls: "user",
|
|
187
|
+
label: labelForEvent(attr, locator),
|
|
188
|
+
source: [{ file: fileName, ...lineAndColumn(source, node) }],
|
|
189
|
+
guard: { kind: "lit", value: true },
|
|
190
|
+
effect: { kind: "assign", var: setter.varId, expr: assignment.expr },
|
|
191
|
+
reads: assignment.reads,
|
|
192
|
+
writes: [setter.varId],
|
|
193
|
+
confidence: "exact",
|
|
194
|
+
},
|
|
195
|
+
], disabledGuard);
|
|
196
|
+
}
|
|
197
|
+
export function sequentialTransitionFromHandler(source, fileName, node, attr, handler, setters, handlers, component, locator) {
|
|
198
|
+
const summaries = summarizeHandlerStatements(handler, setters, { handlers });
|
|
199
|
+
const onlySummary = summaries?.[0];
|
|
200
|
+
if (!summaries ||
|
|
201
|
+
summaries.length === 0 ||
|
|
202
|
+
(summaries.length === 1 && onlySummary?.effect.kind !== "if"))
|
|
203
|
+
return undefined;
|
|
204
|
+
const effect = effectFromSummaries(summaries);
|
|
205
|
+
const effects = effect.kind === "seq" ? effect.effects : [effect];
|
|
206
|
+
const writes = uniqueStrings(effects.flatMap(effectWriteVars));
|
|
207
|
+
return {
|
|
208
|
+
id: `${component}.${attr}.${writes.map((id) => stateNameForVar(id, setters) ?? safeId(id)).join("_")}.seq`,
|
|
209
|
+
cls: "user",
|
|
210
|
+
label: labelForEvent(attr, locator),
|
|
211
|
+
source: [{ file: fileName, ...lineAndColumn(source, node) }],
|
|
212
|
+
guard: { kind: "lit", value: true },
|
|
213
|
+
effect,
|
|
214
|
+
reads: uniqueStrings(summaries.flatMap((summary) => summary.reads)),
|
|
215
|
+
writes,
|
|
216
|
+
confidence: effects.some((effect) => effect.kind === "havoc")
|
|
217
|
+
? "over-approx"
|
|
218
|
+
: "exact",
|
|
219
|
+
};
|
|
220
|
+
}
|
|
221
|
+
export function loopWriteTransitions(source, fileName, node, attr, handler, setters, component, locator) {
|
|
222
|
+
if (!ts.isBlock(handler.body))
|
|
223
|
+
return [];
|
|
224
|
+
const loopSetters = [];
|
|
225
|
+
const visit = (candidate) => {
|
|
226
|
+
if (isLoopStatement(candidate)) {
|
|
227
|
+
loopSetters.push(...settersWrittenIn(candidate, setters));
|
|
228
|
+
return;
|
|
229
|
+
}
|
|
230
|
+
ts.forEachChild(candidate, visit);
|
|
231
|
+
};
|
|
232
|
+
visit(handler.body);
|
|
233
|
+
return uniqueSetters(loopSetters).map((setter) => havocSetterTransition(source, fileName, node, attr, component, setter, locator, "loop"));
|
|
234
|
+
}
|
|
235
|
+
export function conditionalTransitionFromHandler(source, fileName, node, attr, handler, setters, component, locator) {
|
|
236
|
+
const body = handler.body;
|
|
237
|
+
if (!ts.isBlock(body) ||
|
|
238
|
+
body.statements.length !== 1 ||
|
|
239
|
+
!ts.isIfStatement(body.statements[0]))
|
|
240
|
+
return undefined;
|
|
241
|
+
const statement = body.statements[0];
|
|
242
|
+
const condition = parseGuardExpression(statement.expression, setters);
|
|
243
|
+
if (!condition)
|
|
244
|
+
return undefined;
|
|
245
|
+
const thenEffect = singleSetterEffect(statement.thenStatement, setters) ?? identityEffect();
|
|
246
|
+
const elseEffect = statement.elseStatement
|
|
247
|
+
? (singleSetterEffect(statement.elseStatement, setters) ?? identityEffect())
|
|
248
|
+
: identityEffect();
|
|
249
|
+
if (thenEffect.kind === "seq" && elseEffect.kind === "seq")
|
|
250
|
+
return undefined;
|
|
251
|
+
const writes = [
|
|
252
|
+
...new Set([
|
|
253
|
+
...effectWriteVars(thenEffect),
|
|
254
|
+
...effectWriteVars(elseEffect),
|
|
255
|
+
]),
|
|
256
|
+
];
|
|
257
|
+
const suffix = writes.map((id) => stateNameForVar(id, setters) ?? safeId(id)).join("_") ||
|
|
258
|
+
"if";
|
|
259
|
+
return {
|
|
260
|
+
id: `${component}.${attr}.${suffix}.if`,
|
|
261
|
+
cls: "user",
|
|
262
|
+
label: labelForEvent(attr, locator),
|
|
263
|
+
source: [{ file: fileName, ...lineAndColumn(source, node) }],
|
|
264
|
+
guard: { kind: "lit", value: true },
|
|
265
|
+
effect: {
|
|
266
|
+
kind: "if",
|
|
267
|
+
cond: condition.expr,
|
|
268
|
+
// biome-ignore lint/suspicious/noThenProperty: Effect IR serializes if branches with a "then" field.
|
|
269
|
+
then: thenEffect,
|
|
270
|
+
else: elseEffect,
|
|
271
|
+
},
|
|
272
|
+
reads: condition.reads,
|
|
273
|
+
writes,
|
|
274
|
+
confidence: "exact",
|
|
275
|
+
};
|
|
276
|
+
}
|
|
277
|
+
export function stateNameForVar(varId, setters) {
|
|
278
|
+
return [...setters.values()].find((setter) => setter.varId === varId)
|
|
279
|
+
?.stateName;
|
|
280
|
+
}
|
|
281
|
+
export function escapedSetterTransitions(source, fileName, node, attr, component, setters, locator) {
|
|
282
|
+
return setters.map((setter) => ({
|
|
283
|
+
id: `${component}.${attr}.${setter.stateName}.escaped`,
|
|
284
|
+
cls: "user",
|
|
285
|
+
label: labelForEvent(attr, locator),
|
|
286
|
+
source: [{ file: fileName, ...lineAndColumn(source, node) }],
|
|
287
|
+
guard: { kind: "lit", value: true },
|
|
288
|
+
effect: { kind: "havoc", var: setter.varId },
|
|
289
|
+
reads: [],
|
|
290
|
+
writes: [setter.varId],
|
|
291
|
+
confidence: "over-approx",
|
|
292
|
+
}));
|
|
293
|
+
}
|
|
294
|
+
//# sourceMappingURL=handlers.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"handlers.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/handlers.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAS3D,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,2BAA2B,GAC5B,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,oBAAoB,EACpB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,eAAe,EACf,cAAc,EACd,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAEhB,oBAAoB,EACpB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,sBAAsB,EACtB,aAAa,EACb,wBAAwB,GACzB,MAAM,SAAS,CAAC;AAEjB,MAAM,UAAU,2BAA2B,CACzC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,UAAuB,EACvB,aAAgE,EAChE,aAA2C,EAC3C,YAAsC,EACtC,aAAsC,EACtC,aAAgC,EAChC,eAAgC,EAChC,QAA6B;IAE7B,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO,cAAc,CACnB,8BAA8B,CAC5B,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,QAAQ,EACR,SAAS,EACT,UAAU,EACV,aAAa,EACb,aAAa,EACb,YAAY,EACZ,aAAa,EACb,OAAO,EACP,aAAa,EACb,eAAe,EACf,QAAQ,CACT,EACD,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,OAAmC,EACnC,QAAyC,EACzC,UAAsC,EACtC,SAAiB,EACjB,UAAuB,EACvB,aAAgE,EAChE,aAA2C,EAC3C,YAAsC,EACtC,QAA6B;IAE7B,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAChE,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,OAAO,GACX,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC;QACvE,+BAA+B,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,mBAAmB,CAAC;QACtC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC;QACvE,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC;KAC1E,CAAC,CAAC;IACH,OAAO,cAAc,CACnB,8BAA8B,CAC5B,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,OAAO,CAAC,IAAI,EACZ,OAAO,EACP,OAAO,EACP,QAAQ,EACR,SAAS,EACT,UAAU,EACV,aAAa,EACb,aAAa,EACb,YAAY,EACZ,mBAAmB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EACjD,OAAO,CAAC,OAAO,EACf,EAAE,EACF,oBAAoB,EAAE,EACtB,QAAQ,CACT,EACD,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,QAIC;IAED,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAChE,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,OAAO,GAAG,sBAAsB,CACpC,OAAO,EACP,OAAO,EACP,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACvE,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,kBAAkB,CACjC,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,MAAM,EACjB,OAAO,EACP,MAAM,CACP,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,WAAW;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,YAAqB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE;YAC3D,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3D,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,SAAS,IAAI,KAAK,EAAE;YAClE,GAAG,EAAE,MAAe;YACpB,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;YACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK;YACL,MAAM,EAAE;gBACN,IAAI,EAAE,QAAiB;gBACvB,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK;gBAC5B,IAAI,EAAE,QAAQ,CAAC,IAAI;aACpB;YACD,KAAK,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;YACjC,UAAU,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAE,OAAiB,CAAC,CAAC,CAAE,aAAuB;SACvE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,KAAa;IAC9D,OAAO;QACL,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE;QACzD,KAAK,EAAE,CAAC,KAAK,CAAC;KACf,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAa,EAAE,KAAa;IAChE,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,QAAiB;QACvB,GAAG,EAAE,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,EAAE,KAAK,EAAE;KAC3C,CAAC;IACF,IAAI,KAAK,KAAK,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,UAAuB,EACvB,aAAgE,EAChE,aAA2C,EAC3C,YAAsC,EACtC,aAAsC,EACtC,OAA4B,EAC5B,aAAgC,EAChC,eAAgC,EAChC,QAA6B;IAE7B,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,yBAAyB,SAAS,IAAI,IAAI,EAAE;YACrD,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,gBAAgB,GAAG,2BAA2B,CAClD,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,OAAO,EACP,SAAS,EACT,UAAU,EACV,aAAa,EACb,OAAO,EACP,aAAa,EACb,QAAQ,CACT,CAAC;IACF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC;QAC7B,OAAO,gBAAgB,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;IAC3D,IACE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QACxB,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAC1D,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,yBAAyB,SAAS,IAAI,IAAI,EAAE;YACrD,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,qBAAqB,GAAG,gCAAgC,CAC5D,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,SAAS,EACT,OAAO,CACR,CAAC;IACF,IAAI,qBAAqB;QACvB,OAAO,gBAAgB,CAAC,CAAC,qBAAqB,CAAC,EAAE,aAAa,CAAC,CAAC;IAClE,MAAM,oBAAoB,GAAG,+BAA+B,CAC1D,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,QAAQ,EACR,SAAS,EACT,OAAO,CACR,CAAC;IACF,IAAI,oBAAoB;QACtB,OAAO,gBAAgB,CAAC,CAAC,oBAAoB,CAAC,EAAE,aAAa,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,oBAAoB,CAC1C,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,SAAS,EACT,OAAO,CACR,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;QAC5B,OAAO,gBAAgB,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,sBAAsB,CACpC,OAAO,EACP,OAAO,EACP,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CACxD,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,OAAO,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAClD,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;IACjD,MAAM,UAAU,GAAG,oBAAoB,CACrC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,YAAY,EACZ,aAAa,CACd,CAAC;IACF,IAAI,UAAU;QAAE,OAAO,gBAAgB,CAAC,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,qBAAqB,CACvC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,MAAM,EACN,aAAa,EACb,OAAO,CACR,CAAC;IACF,IAAI,WAAW;QAAE,OAAO,gBAAgB,CAAC,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,mBAAmB,CACnC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,CACR,CAAC;IACF,IAAI,SAAS;QAAE,OAAO,gBAAgB,CAAC,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,kBAAkB,CAC7B,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,CACR,CAAC;IACF,IAAI,IAAI;QAAE,OAAO,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,OAAO,gBAAgB,CACrB,wBAAwB,CACtB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,OAAO,EACP,OAAO,CACR,EACD,aAAa,CACd,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC;IACxC,IACE,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,CAAC;QAC3C,sBAAsB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EACvE,CAAC;QACD,OAAO,gBAAgB,CACrB,gBAAgB,CACd,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,MAAM,EACN,OAAO,CACR,EACD,aAAa,CACd,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,gBAAgB,CACrB;YACE,qBAAqB,CACnB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,MAAM,EACN,OAAO,EACP,iBAAiB,CAClB;SACF,EACD,aAAa,CACd,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CACrB;QACE;YACE,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE;YAC9C,GAAG,EAAE,MAAM;YACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;YACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;YACnC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;YACpE,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YACtB,UAAU,EAAE,OAAO;SACpB;KACF,EACD,aAAa,CACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,QAAyC,EACzC,SAAiB,EACjB,OAA4B;IAE5B,MAAM,SAAS,GAAG,0BAA0B,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7E,MAAM,WAAW,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,IACE,CAAC,SAAS;QACV,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,EAAE,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAE7D,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;IAC/D,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;QAC1G,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,MAAM;QACN,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnE,MAAM;QACN,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;YAC3D,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,OAAO;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,SAAiB,EACjB,OAA4B;IAE5B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1D,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpB,OAAO,aAAa,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/C,qBAAqB,CACnB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,MAAM,EACN,OAAO,EACP,MAAM,CACP,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,OAA2B,EAC3B,OAAmC,EACnC,SAAiB,EACjB,OAA4B;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IACE,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QACjB,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5B,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAErC,OAAO,SAAS,CAAC;IACnB,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,UAAU,GACd,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;IAC3E,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa;QACxC,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;QAC5E,CAAC,CAAC,cAAc,EAAE,CAAC;IACrB,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7E,MAAM,MAAM,GAAG;QACb,GAAG,IAAI,GAAG,CAAC;YACT,GAAG,eAAe,CAAC,UAAU,CAAC;YAC9B,GAAG,eAAe,CAAC,UAAU,CAAC;SAC/B,CAAC;KACH,CAAC;IACF,MAAM,MAAM,GACV,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACxE,IAAI,CAAC;IACP,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,KAAK;QACvC,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,MAAM,EAAE;YACN,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,qGAAqG;YACrG,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,UAAU;SACjB;QACD,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM;QACN,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAa,EACb,OAAmC;IAEnC,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC;QACnE,EAAE,SAAS,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,OAAiC,EACjC,OAA4B;IAE5B,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9B,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,UAAU;QACtD,GAAG,EAAE,MAAe;QACpB,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,IAAI,EAAE;QAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;QACrD,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;QACtB,UAAU,EAAE,aAAsB;KACnC,CAAC,CAAC,CAAC;AACN,CAAC"}
|