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_UI
config_allow, config_block, config_default, config_skip, definesValuesForGroup
BACKGROUND_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, setValues
getConfiguredElement, handlePanelIsActive, handlePanelIsInActive, initializeOptionsPanel, installFeatureRemoveHandler
getId, getPanel, getRoot, initialize, setId, setIdEditable, setRoot, showOptions
public 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