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) |