public static class ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI extends ParameterizedIntegerFeature_UI<Place>
ParameterizedIntegerFeature_UI.IntegerParameter_UI, ParameterizedIntegerFeature_UI.ParameterizedArcWeightFeature_UI, ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI
expression, maxValue, minValue
BACKGROUND_ACTIVE, BACKGROUND_INACTIVE
Constructor and Description |
---|
ParameterizedPlaceMarkingFeature_UI(javax.swing.JComponent root,
ParameterizedPlaceMarking feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
ParameterizedPlaceMarking |
getConfigured() |
getInputParameters, initializeFeatureOptionsPanel, resizeToContents, setValues
getConfiguredElement, handlePanelIsActive, handlePanelIsInActive, initializeOptionsPanel, installFeatureRemoveHandler
getId, getPanel, getRoot, initialize, setId, setIdEditable, setRoot, showOptions
public ParameterizedPlaceMarkingFeature_UI(javax.swing.JComponent root, ParameterizedPlaceMarking feature, int line_height)
public ParameterizedPlaceMarking getConfigured() throws InvalidConfigurationException
InvalidConfigurationException