Class ConfigurableTransition
- java.lang.Object
-
- org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<ConfigurableGraphElementOption>
-
- org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterGraphElement
-
- org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature<Transition>
-
- org.processmining.models.graphbased.directed.petrinet.configurable.elements.ConfigurableTransition
-
- All Implemented Interfaces:
ConfigurableFeature<Transition,ConfigurableGraphElementOption>,ParameterizedFeature<ConfigurableParameter<ConfigurableGraphElementOption>>
public class ConfigurableTransition extends ConfigurableGraphElementFeature<Transition>
Configure a transition to be allowed, blocked, or skipped (seeConfigurableGraphElementOption).- Author:
- dfahland
-
-
Field Summary
-
Fields inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature
ALL
-
-
Constructor Summary
Constructors Constructor Description ConfigurableTransition(java.lang.String id, Transition element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ConfigurableFeature<Transition,ConfigurableGraphElementOption>cloneFor(Transition newElement)Create a clone of this feature using newElement asConfigurableFeature.getConfiguredElement().voidexecuteConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Configures the transition of this configurable feature.booleanisStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature
clearElementVisualization, generateID, getConfiguredElement, getId, getInputParameters, getInputParametersByName, isValidValue, sameOptions, setInputParameter, updateElementVisualization, updateValue
-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterGraphElement
isValidIntervalValue
-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter
getDiscreteDomain, getIntervalMax, getIntervalMin, getValue, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, setValue, updateParameter
-
-
-
-
Constructor Detail
-
ConfigurableTransition
public ConfigurableTransition(java.lang.String id, Transition element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue) throws InvalidConfigurationException- Throws:
InvalidConfigurationException
-
-
Method Detail
-
isStillExecutable
public boolean isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
- Returns:
- true iff this configuration can be executed on the parent, e.g.
if
ConfigurableFeature.getConfiguredElement()is still an element of parent
-
executeConfiguration
public void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Configures the transition of this configurable feature. IfConfigurableGraphElementOption.BLOCKthe transitions and its adjacent arcs are removed, ifConfigurableGraphElementOption.SKIP, the transition is made invisible, and ifConfigurableGraphElementOption.ALLOW, the transition is left unchanged.- Parameters:
parent-- See Also:
org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableFeature#executeConfiguration(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph)
-
cloneFor
public ConfigurableFeature<Transition,ConfigurableGraphElementOption> cloneFor(Transition newElement) throws InvalidConfigurationException
Description copied from interface:ConfigurableFeatureCreate a clone of this feature using newElement asConfigurableFeature.getConfiguredElement().- Throws:
InvalidConfigurationException
-
-