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
Modifier and Type | Field and Description |
---|---|
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 |
Constructor and Description |
---|
IntegerParameter_UI(ConfigurableParameter<java.lang.Integer> param) |
Modifier and Type | Method and Description |
---|---|
void |
focusGained(java.awt.event.FocusEvent e) |
void |
focusLost(java.awt.event.FocusEvent e) |
ConfigurableParameter<java.lang.Integer> |
getConfigured() |
javax.swing.JPanel |
getPanel() |
void |
setValues(ConfigurableParameter<java.lang.Integer> param)
Fill controls of this panel based on the values in the feature.
|
protected void |
updateSliderFromMinMax() |
protected org.processmining.framework.util.ui.widgets.ProMTextField parameterName
protected com.fluxicon.slickerbox.components.NiceIntegerSlider slider
protected org.processmining.framework.util.ui.widgets.ProMTextField minValue
protected org.processmining.framework.util.ui.widgets.ProMTextField maxValue
public IntegerParameter_UI(ConfigurableParameter<java.lang.Integer> param)
public void setValues(ConfigurableParameter<java.lang.Integer> param)
Structured_UI
setValues
in interface Structured_UI<ConfigurableParameter<java.lang.Integer>,ConfigurableParameter<java.lang.Integer>>
public ConfigurableParameter<java.lang.Integer> getConfigured() throws java.lang.Exception
getConfigured
in interface Structured_UI<ConfigurableParameter<java.lang.Integer>,ConfigurableParameter<java.lang.Integer>>
java.lang.Exception
public javax.swing.JPanel getPanel()
public void focusGained(java.awt.event.FocusEvent e)
focusGained
in interface java.awt.event.FocusListener
public void focusLost(java.awt.event.FocusEvent e)
focusLost
in interface java.awt.event.FocusListener
protected void updateSliderFromMinMax()