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

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<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
              extended by org.processmining.models.graphbased.directed.petrinet.configurable.elements.ConfigurableArc
All Implemented Interfaces:
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption>, ParameterizedFeature<ConfigurableParameter<ConfigurableGraphElementOption>>

public class ConfigurableArc
extends ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>

Configures a PetrinetEdge to be present or absent in a Petrinet.

Author:
dfahland

Field Summary
 
Fields inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature
ALL
 
Constructor Summary
ConfigurableArc(java.lang.String id, PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)
           
 
Method Summary
 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)
           
 
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

ConfigurableArc

public ConfigurableArc(java.lang.String id,
                       PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> 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 arc of this configurable feature. If ConfigurableGraphElementOption.BLOCK, the arcs is removed, otherwise the arc remains unchanged.

Parameters:
parent -
See Also:
ConfigurableFeature.executeConfiguration(org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurablePetrinet)

cloneFor

public ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement)
                                                                                                                         throws InvalidConfigurationException
Description copied from interface: ConfigurableFeature
Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().

Throws:
InvalidConfigurationException