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

java.lang.Object
  extended by org.processmining.plugins.petrinet.configurable.ui.widgets.Configuration_UI<ConfigurableParameter<?>,F>
      extended by org.processmining.plugins.petrinet.configurable.ui.ConfigureFeature_UI<ConfigurableGraphElementOption>
          extended by 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
 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
ConfigureGraphElement_UI(java.lang.String label, ConfigurableParameter<ConfigurableGraphElementOption> parameter, int line_height)
           
 
Method Summary
 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