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
Fields Modifier and Type Field Description protected org.processmining.framework.util.ui.widgets.ProMTextFieldmaxValueprotected org.processmining.framework.util.ui.widgets.ProMTextFieldminValueprotected org.processmining.framework.util.ui.widgets.ProMTextFieldparameterNameprotected com.fluxicon.slickerbox.components.NiceIntegerSliderslider
-
Constructor Summary
Constructors Constructor Description IntegerParameter_UI(ConfigurableParameter<java.lang.Integer> param)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidfocusGained(java.awt.event.FocusEvent e)voidfocusLost(java.awt.event.FocusEvent e)ConfigurableParameter<java.lang.Integer>getConfigured()javax.swing.JPanelgetPanel()voidsetValues(ConfigurableParameter<java.lang.Integer> param)Fill controls of this panel based on the values in the feature.protected voidupdateSliderFromMinMax()
-
-
-
Field Detail
-
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
-
-
Constructor Detail
-
IntegerParameter_UI
public IntegerParameter_UI(ConfigurableParameter<java.lang.Integer> param)
-
-
Method Detail
-
setValues
public void setValues(ConfigurableParameter<java.lang.Integer> param)
Description copied from interface:Structured_UIFill controls of this panel based on the values in the feature.- Specified by:
setValuesin interfaceStructured_UI<ConfigurableParameter<java.lang.Integer>,ConfigurableParameter<java.lang.Integer>>
-
getConfigured
public ConfigurableParameter<java.lang.Integer> getConfigured() throws java.lang.Exception
- Specified by:
getConfiguredin interfaceStructured_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:
focusGainedin interfacejava.awt.event.FocusListener
-
focusLost
public void focusLost(java.awt.event.FocusEvent e)
- Specified by:
focusLostin interfacejava.awt.event.FocusListener
-
updateSliderFromMinMax
protected void updateSliderFromMinMax()
-
-