org.processmining.plugins.petrinet.configurable.ui.impl
Class ConfigurableIntegerFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>

java.lang.Object
  extended by org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
      extended by org.processmining.plugins.petrinet.configurable.ui.ConfigurableFeature_UI<T,java.lang.Integer>
          extended by 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

Nested Class Summary
static class ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI
           
static class ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI
           
 
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
           
 
Fields inherited from class org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI
BACKGROUND_ACTIVE, BACKGROUND_INACTIVE
 
Constructor Summary
ConfigurableIntegerFeature_UI(javax.swing.JComponent root, ConfigurableIntegerFeature<T> feature, int line_height)
           
 
Method Summary
 void focusGained(java.awt.event.FocusEvent e)
           
 void focusLost(java.awt.event.FocusEvent e)
           
protected  void initializeFeatureOptionsPanel(javax.swing.JPanel optionsPanel)
           
 void setValues(ConfigurableFeature<?,?> input)
          Fill controls of this panel based on the values in the feature.
protected  void updateSliderFromMinMax()
           
 
Methods inherited from class org.processmining.plugins.petrinet.configurable.ui.ConfigurableFeature_UI
getConfiguredElement, handlePanelIsActive, handlePanelIsInActive, initializeOptionsPanel, installFeatureRemoveHandler
 
Methods inherited from class org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI
getId, getPanel, getRoot, initialize, setId, setIdEditable, setRoot, showOptions
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.processmining.plugins.petrinet.configurable.ui.widgets.Structured_UI
getConfigured
 

Field Detail

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

ConfigurableIntegerFeature_UI

public ConfigurableIntegerFeature_UI(javax.swing.JComponent root,
                                     ConfigurableIntegerFeature<T> feature,
                                     int line_height)
Method Detail

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()