org.processmining.plugins.petrinet.configurable.ui.impl

Class ConfigureInteger_UI

java.lang.Object

org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI<ConfigurableParameter<?>,F>

org.processmining.plugins.petrinet.configurable.ui.ConfigureFeature_UI<java.lang.Integer>

org.processmining.plugins.petrinet.configurable.ui.impl.ConfigureInteger_UI

All Implemented Interfaces:

Structured_UI<ConfigurableParameter<?>,java.lang.Integer>

public class ConfigureInteger_UI
extends ConfigureFeature_UI<java.lang.Integer>

UI to represent a ConfigurableIntegerFeature for configuring.

Author:

dfahland

Field Summary

Fields

Modifier and Type	Field and Description
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 and Description
ConfigureInteger_UI(java.lang.String label, ConfigurableParameter<java.lang.Integer> feature, int line_height)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Integer	getConfigured()
protected void	initializeOptionsPanel(javax.swing.JPanel optionsPanel) The provided panel is filled with controls that set the values of this feature.
void	setValues(ConfigurableParameter<?> input) Fill controls of this panel based on the values in the feature.

Methods inherited from class org.processmining.plugins.petrinet.configurable.ui.ConfigureFeature_UI

getFeature

Methods inherited from class org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI

getId, getPanel, getRoot, handlePanelIsActive, handlePanelIsInActive, initialize, setId, setIdEditable, setRoot, showOptions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

slider

protected com.fluxicon.slickerbox.components.NiceIntegerSlider slider

Constructor Detail

ConfigureInteger_UI

public ConfigureInteger_UI(java.lang.String label,
                   ConfigurableParameter<java.lang.Integer> feature,
                   int line_height)

Method Detail

initializeOptionsPanel

protected void initializeOptionsPanel(javax.swing.JPanel optionsPanel)

Description copied from class: Configuration_UI

The provided panel is filled with controls that set the values of this feature.

Specified by:

initializeOptionsPanel in class Configuration_UI<ConfigurableParameter<?>,java.lang.Integer>

setValues

public void setValues(ConfigurableParameter<?> input)

Description copied from interface: Structured_UI

Fill controls of this panel based on the values in the feature.

getConfigured

public java.lang.Integer getConfigured()

Returns:

object configured by this panel