gui/it.unibo.tuprolog.ui.gui.extension/ExtensionCommandContext

ExtensionCommandContext

data class ExtensionCommandContext(val page: PageState, val commandId: CommandId, val payload: Map<String, String>)

Everything an ExtensionActionHandler needs to service one extension-command dispatch.

Constructors

ExtensionCommandContext

constructor(page: PageState, commandId: CommandId, payload: Map<String, String>)

Properties

val commandId: CommandId

val page: PageState

Immutable snapshot of the page that owns the command.

val pageId: PageId

val payload: Map<String, String>