org.grinvin.invariants
Class IntegerValue
public class IntegerValue
Invariant type which allows integral values, positive and negative infinity
and undefined values. Identified by the string integer
.
IntegerValue
public IntegerValue(int value,
InvariantComputer computer)
Create an object of this type with the given integral value.
asDouble
public double asDouble()
Return the actual value as a real number. An undefined value is
represented by Double.NaN
.
- asDouble in interface InvariantValue
loadValue
public void loadValue(Element element)
Should be overridden to load the actual value from a JDOM-element.
Clients should throw an IOFormatException when element is not
in the correct format.
- loadValue in interface InvariantValue
element
- JDOM element, which is known to be of type
'value'
negativeInfinity
public static IntegerValue negativeInfinity(InvariantComputer computer)
Return an object of this type representing negative infinity.
positiveInfinity
public static IntegerValue positiveInfinity(InvariantComputer computer)
Return an object of this type representing positive infinity.
saveValue
public void saveValue(Element element)
Should be overridden to save the actual value into a JDOM-element.
- saveValue in interface InvariantValue
element
- JDOM element, which is of type 'value'
toText
public String toText()
Convert this value to a string, so it can be displayed
as part of a GUI.
- toText in interface InvariantValue
undefinedValue
public static IntegerValue undefinedValue(InvariantComputer computer)
Return an object of this type representing an undefined value.