org.processmining.plugins.petrinet.configurable.ui.impl
Class ConfigureInteger_UI
java.lang.Object
org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI<ConfigurableParameter<?>,F>
org.processmining.plugins.petrinet.configurable.ui.ConfigureFeature_UI<java.lang.Integer>
org.processmining.plugins.petrinet.configurable.ui.impl.ConfigureInteger_UI
- All Implemented Interfaces:
- Structured_UI<ConfigurableParameter<?>,java.lang.Integer>
public class ConfigureInteger_UI
- extends ConfigureFeature_UI<java.lang.Integer>
UI to represent a ConfigurableIntegerFeature
for configuring.
- Author:
- dfahland
Field Summary |
protected com.fluxicon.slickerbox.components.NiceIntegerSlider |
slider
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
slider
protected com.fluxicon.slickerbox.components.NiceIntegerSlider slider
ConfigureInteger_UI
public ConfigureInteger_UI(java.lang.String label,
ConfigurableParameter<java.lang.Integer> feature,
int line_height)
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<ConfigurableParameter<?>,java.lang.Integer>
setValues
public void setValues(ConfigurableParameter<?> input)
- Description copied from interface:
Structured_UI
- Fill controls of this panel based on the values in the feature.
getConfigured
public java.lang.Integer getConfigured()
- Returns:
- object configured by this panel