Package org.processmining.models.graphbased.directed.petrinet.configurable.elements

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 (see ConfigurableGraphElementOption).

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

Modifier and Type	Method	Description
ConfigurableFeature<Transition,ConfigurableGraphElementOption>	cloneFor(Transition newElement)	Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().
void	executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)	Configures the transition of this configurable feature.
boolean	isStillExecutable(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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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. If ConfigurableGraphElementOption.BLOCK the transitions and its adjacent arcs are removed, if ConfigurableGraphElementOption.SKIP, the transition is made invisible, and if ConfigurableGraphElementOption.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: ConfigurableFeature

Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().

Throws:

InvalidConfigurationException