org.processmining.plugins.petrinet.configurable.ui.impl
Class ConfigurableIntegerFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
java.lang.Object
org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
org.processmining.plugins.petrinet.configurable.ui.ConfigurableFeature_UI<T,java.lang.Integer>
org.processmining.plugins.petrinet.configurable.ui.impl.ConfigurableIntegerFeature_UI<T>
- Type Parameters:
T
- node type of this ConfigurableIntegerFeature
- All Implemented Interfaces:
- java.awt.event.FocusListener, java.util.EventListener, Structured_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
- Direct Known Subclasses:
- ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI, ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI
public abstract class ConfigurableIntegerFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
- extends ConfigurableFeature_UI<T,java.lang.Integer>
- implements java.awt.event.FocusListener
UI element to represent a ConfigurableIntegerFeature
- Author:
- dfahland
Field Summary |
protected org.processmining.framework.util.ui.widgets.ProMTextField |
maxValue
|
protected org.processmining.framework.util.ui.widgets.ProMTextField |
minValue
|
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
minValue
protected org.processmining.framework.util.ui.widgets.ProMTextField minValue
maxValue
protected org.processmining.framework.util.ui.widgets.ProMTextField maxValue
ConfigurableIntegerFeature_UI
public ConfigurableIntegerFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<T> feature,
int line_height)
initializeFeatureOptionsPanel
protected void initializeFeatureOptionsPanel(javax.swing.JPanel optionsPanel)
- Specified by:
initializeFeatureOptionsPanel
in class ConfigurableFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement,java.lang.Integer>
setValues
public void setValues(ConfigurableFeature<?,?> input)
- 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<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
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()