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

GuiExtension

A pluggable bundle of GUI behavior (e.g. a specific solver profile, like PLP's), registered with a GuiExtensionRegistry and identified by id so its contributions can be looked up and its commands routed.

Properties

contributions

abstract val contributions: GuiContributions

What this extension actually adds to the application.

abstract val id: ExtensionId

Uniquely identifies this extension among every other one registered in the same application.