org.processmining.plugins.petrinet.configurable.ui
Class ConfigurableFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement,F>
java.lang.Object
org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
org.processmining.plugins.petrinet.configurable.ui.ConfigurableFeature_UI<T,F>
- All Implemented Interfaces:
- Structured_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
- Direct Known Subclasses:
- ConfigurableGraphElement_UI, ConfigurableIntegerFeature_UI, ParameterizedIntegerFeature_UI
public abstract class ConfigurableFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement,F>
- extends Configuration_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ConfigurableFeature_UI
public ConfigurableFeature_UI(javax.swing.JComponent root,
ConfigurableFeature<T,F> feature)
getConfiguredElement
protected T getConfiguredElement()
initializeOptionsPanel
protected void initializeOptionsPanel(javax.swing.JPanel optionsPanel)
- Description copied from class:
Configuration_UI
- The provided panel is filled with controls that set the values of this feature.
- Specified by:
initializeOptionsPanel
in class Configuration_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
initializeFeatureOptionsPanel
protected abstract void initializeFeatureOptionsPanel(javax.swing.JPanel featureOptionsPanel)
handlePanelIsActive
protected void handlePanelIsActive()
- Description copied from class:
Configuration_UI
- called when the mouse enters the panel
- Overrides:
handlePanelIsActive
in class Configuration_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
handlePanelIsInActive
protected void handlePanelIsInActive()
- Description copied from class:
Configuration_UI
- called when the mouse leaves the panel
- Overrides:
handlePanelIsInActive
in class Configuration_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
installFeatureRemoveHandler
public void installFeatureRemoveHandler(java.awt.event.ActionListener handler)
- Add handler that handles the removal of this group from a surrounding component or environment
- Parameters:
handler
-