org.processmining.plugins.petrinet.configurable.ui.impl
Class ParameterizedIntegerFeature_UI.IntegerParameter_UI
java.lang.Object
org.processmining.plugins.petrinet.configurable.ui.impl.ParameterizedIntegerFeature_UI.IntegerParameter_UI
- All Implemented Interfaces:
- java.awt.event.FocusListener, java.util.EventListener, Structured_UI<ConfigurableParameter<java.lang.Integer>,ConfigurableParameter<java.lang.Integer>>
- Enclosing class:
- ParameterizedIntegerFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
public class ParameterizedIntegerFeature_UI.IntegerParameter_UI
- extends java.lang.Object
- implements Structured_UI<ConfigurableParameter<java.lang.Integer>,ConfigurableParameter<java.lang.Integer>>, java.awt.event.FocusListener
Field Summary |
protected org.processmining.framework.util.ui.widgets.ProMTextField |
maxValue
|
protected org.processmining.framework.util.ui.widgets.ProMTextField |
minValue
|
protected org.processmining.framework.util.ui.widgets.ProMTextField |
parameterName
|
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 |
parameterName
protected org.processmining.framework.util.ui.widgets.ProMTextField parameterName
slider
protected com.fluxicon.slickerbox.components.NiceIntegerSlider slider
minValue
protected org.processmining.framework.util.ui.widgets.ProMTextField minValue
maxValue
protected org.processmining.framework.util.ui.widgets.ProMTextField maxValue
ParameterizedIntegerFeature_UI.IntegerParameter_UI
public ParameterizedIntegerFeature_UI.IntegerParameter_UI(ConfigurableParameter<java.lang.Integer> param)
setValues
public void setValues(ConfigurableParameter<java.lang.Integer> param)
- Description copied from interface:
Structured_UI
- Fill controls of this panel based on the values in the feature.
- Specified by:
setValues
in interface Structured_UI<ConfigurableParameter<java.lang.Integer>,ConfigurableParameter<java.lang.Integer>>
getConfigured
public ConfigurableParameter<java.lang.Integer> getConfigured()
throws java.lang.Exception
- Specified by:
getConfigured
in interface Structured_UI<ConfigurableParameter<java.lang.Integer>,ConfigurableParameter<java.lang.Integer>>
- Returns:
- object configured by this panel
- Throws:
java.lang.Exception
getPanel
public javax.swing.JPanel getPanel()
focusGained
public void focusGained(java.awt.event.FocusEvent e)
- Specified by:
focusGained
in interface java.awt.event.FocusListener
focusLost
public void focusLost(java.awt.event.FocusEvent e)
- Specified by:
focusLost
in interface java.awt.event.FocusListener
updateSliderFromMinMax
protected void updateSliderFromMinMax()