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

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

public class ConfigurablePlace
extends ConfigurableGraphElementFeature<Place>

Configures a Place to 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
ConfigurablePlace(java.lang.String id, Place element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)
           
 
Method Summary
 ConfigurableFeature<Place,ConfigurableGraphElementOption> cloneFor(Place newElement)
          Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().
 void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
          Configures the place 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

ConfigurablePlace

public ConfigurablePlace(java.lang.String id,
                         Place 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 place of this configurable feature. If ConfigurablePlaceOptions#REMOVE the palce and its adjacent arcs are removed, if ConfigurableGraphElementOption#USE, the place 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<Place,ConfigurableGraphElementOption> cloneFor(Place newElement)
                                                                   throws InvalidConfigurationException
Description copied from interface: ConfigurableFeature
Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().

Throws:
InvalidConfigurationException