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

java.lang.Object
  org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<java.lang.Integer>
      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>