Package 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

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI
static class	ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI

Field Summary

Fields

Modifier and Type	Field	Description
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

Constructors

Constructor	Description
ConfigurableIntegerFeature_UI(javax.swing.JComponent root, ConfigurableIntegerFeature<T> feature, int line_height)

Method Summary

Modifier and Type	Method	Description
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()