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

Class ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI

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<Place>

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

All Implemented Interfaces:

java.awt.event.FocusListener, java.util.EventListener, Structured_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>

Enclosing class:

ConfigurableIntegerFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>

public static class ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI
extends ConfigurableIntegerFeature_UI<Place>

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.plugins.petrinet.configurable.ui.impl.ConfigurableIntegerFeature_UI

ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI, ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI

Field Summary

Fields inherited from class org.processmining.plugins.petrinet.configurable.ui.impl.ConfigurableIntegerFeature_UI

maxValue, minValue, slider

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

BACKGROUND_ACTIVE, BACKGROUND_INACTIVE

Constructor Summary

Constructors

Constructor and Description
ConfigurablePlaceMarkingFeature_UI(javax.swing.JComponent root, ConfigurableIntegerFeature<Place> feature, int line_height)

Method Summary

Modifier and Type	Method and Description
ConfigurableIntegerFeature<Place>	getConfigured()

Methods inherited from class org.processmining.plugins.petrinet.configurable.ui.impl.ConfigurableIntegerFeature_UI

focusGained, focusLost, initializeFeatureOptionsPanel, setValues, 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

Constructor Detail

ConfigurablePlaceMarkingFeature_UI

public ConfigurablePlaceMarkingFeature_UI(javax.swing.JComponent root,
                                          ConfigurableIntegerFeature<Place> feature,
                                          int line_height)

Method Detail

getConfigured

public ConfigurableIntegerFeature<Place> getConfigured()
                                                throws InvalidConfigurationException

Returns:

object configured by this panel

Throws:

InvalidConfigurationException