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

Class ConfigurablePlace

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<Place>

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

Constructors

Constructor	Description
ConfigurablePlace(java.lang.String id, Place element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)

Method Summary

Modifier and Type	Method	Description
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