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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
config_allow
public javax.swing.JRadioButton config_allow
config_block
public javax.swing.JRadioButton config_block
config_skip
public javax.swing.JRadioButton config_skip
ConfigureGraphElement_UI
public ConfigureGraphElement_UI(java.lang.String label,
ConfigurableParameter<ConfigurableGraphElementOption> parameter,
int line_height)
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