org.processmining.models.graphbased.directed.petrinet.configurable.impl
Class ConfigurableParameterInteger

java.lang.Object
  extended by org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<java.lang.Integer>
      extended by org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterInteger
Direct Known Subclasses:
ConfigurableIntegerFeature

public class ConfigurableParameterInteger
extends ConfigurableParameter<java.lang.Integer>

A configurable parameter ranging over Integer.

Author:
dfahland

Constructor Summary
ConfigurableParameterInteger(java.lang.String id, java.lang.Integer min, java.lang.Integer max, java.lang.Integer defaultValue)
           
 
Method Summary
protected  boolean isValidIntervalValue(java.lang.Integer value)
           
 
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter
getDiscreteDomain, getId, 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

ConfigurableParameterInteger

public ConfigurableParameterInteger(java.lang.String id,
                                    java.lang.Integer min,
                                    java.lang.Integer max,
                                    java.lang.Integer defaultValue)
                             throws InvalidConfigurationException
Throws:
InvalidConfigurationException
Method Detail

isValidIntervalValue

protected final boolean isValidIntervalValue(java.lang.Integer value)
Specified by:
isValidIntervalValue in class ConfigurableParameter<java.lang.Integer>