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

GuiExtensionRegistry

class GuiExtensionRegistry(extensions: Iterable<GuiExtension> = emptyList())

Aggregates every registered GuiExtension's contributions (solver profiles, features, commands) into one place, rejecting duplicate ids across extensions, and routes PageAction.ExtensionCommands to the owning extension's handler.

Constructors

constructor(extensions: Iterable<GuiExtension> = emptyList())

Properties

commands

val commands: List<CommandDescriptor>

features

val features: List<FeatureDescriptor>

solverProfiles

val solverProfiles: List<SolverProfile>

Functions

find

fun find(id: ExtensionId): GuiExtension?

handle

suspend fun handle(action: PageAction.ExtensionCommand, page: PageState): ExtensionCommandResult?