org.processmining.plugins.properties.processmodel.abstractproperty

Class PropertyInteger

java.lang.Object

org.processmining.plugins.properties.processmodel.abstractproperty.HighLevelProperty<java.lang.Integer>

org.processmining.plugins.properties.processmodel.abstractproperty.PropertyInteger

All Implemented Interfaces:

java.io.Serializable, Property<java.lang.Integer>

Direct Known Subclasses:

NrOfControlTasks, NrOfResources

public abstract class PropertyInteger
extends HighLevelProperty<java.lang.Integer>

Author:

DSchunse

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PropertyInteger()

Method Summary

Modifier and Type	Method and Description
java.lang.Integer	clone(java.lang.Object element)
GUIProperty<java.lang.Integer>	getGUIProperty()
double	getValueDouble(java.lang.Object value)
java.lang.String	marshall(java.lang.Object value)
java.lang.Object	unmarshall(java.lang.String xml)

Methods inherited from class org.processmining.plugins.properties.processmodel.abstractproperty.HighLevelProperty

compare, equals, getDependencies, getIcon, getMeaningfulTypeConstructs, hashCode, hasOrdering, higherBetter, monotonicity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.processmining.plugins.properties.processmodel.Property

getDefaultValue, getID, getName

Constructor Detail

PropertyInteger

public PropertyInteger()

Method Detail

getValueDouble

public double getValueDouble(java.lang.Object value)

Specified by:

getValueDouble in interface Property<java.lang.Integer>

Overrides:

getValueDouble in class HighLevelProperty<java.lang.Integer>

Parameters:

value - The value one wants to have a single double of

Returns:

marshall

public java.lang.String marshall(java.lang.Object value)

Parameters:

value - the value of the object to be written

Returns:

the xml string of the object

unmarshall

public java.lang.Object unmarshall(java.lang.String xml)

Parameters:

xml - the xml fragment to be parsed

Returns:

the initialised data-structure

getGUIProperty

public GUIProperty<java.lang.Integer> getGUIProperty()
                                              throws java.lang.InstantiationException,
                                                     java.lang.IllegalAccessException

Specified by:

getGUIProperty in interface Property<java.lang.Integer>

Overrides:

getGUIProperty in class HighLevelProperty<java.lang.Integer>

Returns:

the GUI to set this property

Throws:

java.lang.InstantiationException

java.lang.IllegalAccessException

clone

public java.lang.Integer clone(java.lang.Object element)

Returns:

the cloned version of this property