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

Methods

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