org.processmining.plugins.petrinet.configurable.ui.impl
Class ConfigureInteger_UI

java.lang.Object
  extended by org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI<ConfigurableParameter<?>,F>
      extended by org.processmining.plugins.petrinet.configurable.ui.ConfigureFeature_UI<java.lang.Integer>
          extended by 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
           
 
Fields inherited from class org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI
BACKGROUND_ACTIVE, BACKGROUND_INACTIVE
 
Constructor Summary
ConfigureInteger_UI(java.lang.String label, ConfigurableParameter<java.lang.Integer> feature, int line_height)
           
 
Method Summary
 java.lang.Integer getConfigured()
           
protected  void initializeOptionsPanel(javax.swing.JPanel optionsPanel)
          The provided panel is filled with controls that set the values of this feature.
 void setValues(ConfigurableParameter<?> input)
          Fill controls of this panel based on the values in the feature.
 
Methods inherited from class org.processmining.plugins.petrinet.configurable.ui.ConfigureFeature_UI
getFeature
 
Methods inherited from class org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI
getId, getPanel, getRoot, handlePanelIsActive, handlePanelIsInActive, initialize, setId, setIdEditable, setRoot, showOptions
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

slider

protected com.fluxicon.slickerbox.components.NiceIntegerSlider slider
Constructor Detail

ConfigureInteger_UI

public ConfigureInteger_UI(java.lang.String label,
                           ConfigurableParameter<java.lang.Integer> feature,
                           int line_height)
Method Detail

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