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

Class ConfigureGraphElement_UI

java.lang.Object

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

org.processmining.plugins.petrinet.configurable.ui.ConfigureFeature_UI<ConfigurableGraphElementOption>

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

All Implemented Interfaces:

Structured_UI<ConfigurableParameter<?>,ConfigurableGraphElementOption>

public class ConfigureGraphElement_UI
extends ConfigureFeature_UI<ConfigurableGraphElementOption>

UI to represent a ConfigurableGraphElementFeature for configuring

Author:

dfahland

Field Summary

Fields

Modifier and Type	Field and Description
javax.swing.JRadioButton	config_allow
javax.swing.JRadioButton	config_block
javax.swing.JRadioButton	config_skip

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

BACKGROUND_ACTIVE, BACKGROUND_INACTIVE

Constructor Summary

Constructors

Constructor and Description
ConfigureGraphElement_UI(java.lang.String label, ConfigurableParameter<ConfigurableGraphElementOption> parameter, int line_height)

Method Summary

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

config_allow

public javax.swing.JRadioButton config_allow

config_block

public javax.swing.JRadioButton config_block

config_skip

public javax.swing.JRadioButton config_skip

Constructor Detail

ConfigureGraphElement_UI

public ConfigureGraphElement_UI(java.lang.String label,
                                ConfigurableParameter<ConfigurableGraphElementOption> parameter,
                                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<?>,ConfigurableGraphElementOption>

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

Returns:

object configured by this panel