org.processmining.models.graphbased.directed.petrinet.configurable.elements
Class ConfigurableTransition

java.lang.Object
  extended by org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<ConfigurableGraphElementOption>
      extended by org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterGraphElement
          extended by org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature<Transition>
              extended by 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
ConfigurableTransition(java.lang.String id, Transition element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)
           
 
Method Summary
 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