public static class ConfigurableGraphElement_UI.ConfigurableArc_UI extends ConfigurableGraphElement_UI<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
ConfigurableGraphElement_UI.ConfigurableArc_UI, ConfigurableGraphElement_UI.ConfigurablePlace_UI, ConfigurableGraphElement_UI.ConfigurableTransition_UIconfig_allow, config_block, config_default, config_skip, definesValuesForGroupBACKGROUND_ACTIVE, BACKGROUND_INACTIVE| Constructor and Description |
|---|
ConfigurableArc_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> feature,
int line_height) |
| Modifier and Type | Method and Description |
|---|---|
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
getConfigured() |
getDefaultValue, getPossibleValues, initializeFeatureOptionsPanel, setValuesgetConfiguredElement, handlePanelIsActive, handlePanelIsInActive, initializeOptionsPanel, installFeatureRemoveHandlergetId, getPanel, getRoot, initialize, setId, setIdEditable, setRoot, showOptionspublic ConfigurableArc_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> feature,
int line_height)
public ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> getConfigured() throws InvalidConfigurationException
InvalidConfigurationException