ide-swing/it.unibo.tuprolog.ui.swing.feature/SwingFeatureRenderer

SwingFeatureRenderer

interface SwingFeatureRenderer

Toolkit-specific renderer for a semantic extension feature.

Properties

open val displayName: String

Human-readable tab title.

abstract val featureId: FeatureId

Identifies this feature within PageFeatureState.values, and doubles as displayName's default.

requiredCapabilities

open val requiredCapabilities: Set<String>

Solver capabilities required for the renderer to be useful.

Functions

createComponent

abstract fun createComponent(context: SwingFeatureContext): JComponent

Builds this feature's (initially empty) tab component once, up front - populated later by render.

abstract fun render(component: JComponent, page: PageState, state: PageFeatureState)

Updates component (as returned by createComponent) to reflect page's current state.