public class ConfigurableArc extends ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
PetrinetEdge
to be present or absent in a Petrinet
.ALL
Constructor and Description |
---|
ConfigurableArc(java.lang.String id,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement)
Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement() . |
void |
executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the arc of this configurable feature.
|
boolean |
isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
clearElementVisualization, generateID, getConfiguredElement, getId, getInputParameters, getInputParametersByName, isValidValue, sameOptions, setInputParameter, updateElementVisualization, updateValue
isValidIntervalValue
getDiscreteDomain, getIntervalMax, getIntervalMin, getValue, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, setValue, updateParameter
public ConfigurableArc(java.lang.String id, PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue) throws InvalidConfigurationException
InvalidConfigurationException
public boolean isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
ConfigurableFeature.getConfiguredElement()
is still an element of parentpublic void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
ConfigurableGraphElementOption.BLOCK
, the arcs is removed,
otherwise the arc remains unchanged.public ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) throws InvalidConfigurationException
ConfigurableFeature
ConfigurableFeature.getConfiguredElement()
.InvalidConfigurationException