| Modifier and Type | Method and Description |
|---|---|
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
ConfigurableFeature<Place,ConfigurableGraphElementOption> |
ConfigurablePlace.cloneFor(Place newElement) |
ConfigurableFeature<Transition,ConfigurableGraphElementOption> |
ConfigurableTransition.cloneFor(Transition newElement) |
| Modifier and Type | Field and Description |
|---|---|
static ConfigurableGraphElementOption[] |
ConfigurableGraphElementFeature.ALL |
| Modifier and Type | Method and Description |
|---|---|
static ConfigurableGraphElementOption |
ConfigurableGraphElementOption.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ConfigurableGraphElementOption[] |
ConfigurableGraphElementOption.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<ConfigurableParameter<ConfigurableGraphElementOption>> |
ConfigurableGraphElementFeature.getInputParameters() |
java.util.List<ConfigurableParameter<ConfigurableGraphElementOption>> |
ConfigurableGraphElementFeature.getInputParametersByName() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
ConfigurableParameterGraphElement.isValidIntervalValue(ConfigurableGraphElementOption value) |
static boolean |
ConfigurableGraphElementFeature.isValidValue(ConfigurableGraphElementOption o,
ConfigurableGraphElementOption[] allowed) |
static boolean |
ConfigurableGraphElementFeature.isValidValue(ConfigurableGraphElementOption o,
ConfigurableGraphElementOption[] allowed) |
static boolean |
ConfigurableGraphElementFeature.sameOptions(ConfigurableGraphElementOption[] o1,
ConfigurableGraphElementOption[] o2) |
static boolean |
ConfigurableGraphElementFeature.sameOptions(ConfigurableGraphElementOption[] o1,
ConfigurableGraphElementOption[] o2) |
| Constructor and Description |
|---|
ConfigurableGraphElementFeature(java.lang.String id,
T element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurableGraphElementFeature(java.lang.String id,
T element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurableParameterGraphElement(java.lang.String id,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurableParameterGraphElement(java.lang.String id,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
| Modifier and Type | Method and Description |
|---|---|
ConfigurableGraphElementOption |
ConfigureGraphElement_UI.getConfigured() |
protected ConfigurableGraphElementOption |
ConfigurableGraphElement_UI.getDefaultValue() |
protected ConfigurableGraphElementOption[] |
ConfigurableGraphElement_UI.getPossibleValues() |
| Constructor and Description |
|---|
ConfigureGraphElement_UI(java.lang.String label,
ConfigurableParameter<ConfigurableGraphElementOption> parameter,
int line_height) |