gui/it.unibo.tuprolog.ui.gui.controller/GuiController

GuiController

The toolkit-neutral core of the application: consumes GuiActions and exposes the resulting GuiModel. Every frontend (Swing, web, ...) talks to exactly one of these and never touches solver/state internals directly.

Inheritors

DefaultGuiController

Properties

effects

abstract val effects: Flow<GuiEffect>

Lossless, ordered, single-consumer requests to the hosting platform.

events

abstract val events: SharedFlow<GuiEvent>

Discrete, possibly-missed-if-unsubscribed notifications about what just happened (e.g. for logging/tests) - unlike effects, losing one doesn't break correctness since state always reflects the latest truth.

state

abstract val state: StateFlow<GuiState>

The full application state at any point in time; a frontend renders itself from this.

Functions

dispatch

abstract suspend fun dispatch(action: GuiAction)

Applies one action, updating GuiModel.state and/or emitting GuiModel.events/GuiModel.effects.

shutdown

abstract suspend fun shutdown()

Releases every resource this controller holds (solver sessions, coroutines); unusable afterwards.